软件工程环境按软件生命周期的不同阶段可分为4类，______包括程序正确性证明，验证

海绵状脑病的致病因子为

A．脑膜炎双球菌

B．真菌

C．朊蛋白

D．HPV

E．结核杆菌

当裂解气压缩机发生紧急停车时，室外需要做的应急处理有（）。

A、维持油温在正常值

B、接脱盐水，停止复水系统的运转

C、压缩机停转后，要立即进行盘车

D、停密封系统

财税库银税收收入电子缴库信息包括（）等业务处理过程的信息。

A、税收收入缴库

B、退库

C、免抵调

D、对账

E、更正

采用膨胀阀的压缩机制冷循环理论制冷系数可由（）求出。

A.单位压缩功／单位制冷量

B.与A相反

C.单位压缩功／单位排热量

D.与C相反

气柜升降试验的目的是试验罐体升降性能，检查各罐节升降的灵活性，试验罐体的（）。

A.焊接性

B.强度

C.气密性