证明程序正确最常用的方法是______，它对程序提出一组命题，如在数学上证明这些命题不成立，就能保证程序不发生错误。
参考答案：归纳断言法
TSGl-630／25型受电弓滑板上升和下降至同一高度时，静态接触压力差不大于（）。
A、15N
B、17N
C、19N
D、21N
有效温度是指（）
A.受试者所感受的不同热感觉的温度
B.与人皮肤温度有关的温度感
C.人在不同温度、湿度和风速的综合作用下所产生的主观感觉指标
D.人在室温下的温热感觉
E.用体温计测得人体的实际温度
