程序正确性证明最常用的方法是______，它对程序提出一组命题。如果在数学上证明这些

可实现冲头平移调节的压片机是（）。

A.单冲压片机

B.旋转式压片机

C.高速旋转式压片机

患者，男性，60岁，脑梗死后3周，洼田饮水试验时屡屡呛咳，全量咽下困难，该检查结果为（）。

A.洼田饮水试验Ⅰ级

B.洼田饮水试验Ⅱ级

C.洼田饮水试验Ⅲ级

D.洼田饮水试验Ⅳ级

E.洼田饮水试验Ⅴ级

引起人类感染的主要轮状病毒分为A组和B组。引起婴幼儿腹泻的主要是______人轮状病毒；引起成人腹泻的人轮状病毒是_______，又称为____________________。

快递服务要求快件须单独封装、具有名址、重量和尺寸限制，并实行统一定价和付费结算方式。

从氧传感器送来的信号空燃比过稀信号持续时间大于规定值时，按照正常的控制程序，如果氧传感器输送给发动机控制模块的信号表明混合气偏稀，那喷油器就会在闭环控制程序的作用下（）其喷油脉冲宽，以此来（）混合气的浓度，如果氧传感器正常、如果发动机处于闭环控制状态，那传感器应该能检测到混合气变浓的情况，否则说明（）、氧传感器与（）之间的电路连接有故障、发动机控制模块（）或（）。