单项选择题
形式化方法是一种基于数学的方法或工具，支持规格语言的语法检查和规格属性的证明。
未知题型形式化方法是一种基于数学的方法或工具，支持规格语言的语法检查和规格属性的证明。
常见的触电形式有单相触电，两相触电和跨步电压触电（）A.正确B．错误
未知题型常见的触电形式有单相触电，两相触电和跨步电压触电（）
某饭店安装了热风干手器，打开它就有热风吹到手上，手上的水很快就被吹干，其主要原因是（）A.加快了水面附近空气的...
单项选择题某饭店安装了热风干手器，打开它就有热风吹到手上，手上的水很快就被吹干，其主要原因是（）
