1) truth maintenance system
正确性维护系统
2) truth maintenance system
正确性维持系统
3) correct maintenance
正确维护
4) system correctness
系统级正确性
1.
We proposed the conception of class correctness and system correctness for the certification of object-oriented programming.
介绍当今流行的各种程序正确性验证方法的基础上,讨论了在面向对象程序设计的正确性验证中所遇到的特殊问题,提出了类级正确性和系统级正确性的概念,将公理证明方法加以扩充,使之可以用于面向对象程序系统的证明,并用特征调用的概念解决了证明中出现的计算过程中止性的问题。
5) system maintainability
系统可维护性
6) Stand for which is right
维护正确的言行
补充资料:如何正确使用和维护农用水泵
当前正值防汛抗旱时节,农用水泵被广泛使用,如何正确使用和维护农用水泵对灌溉、排涝以及泵的正常运转和寿命至关重要。
一、水泵的安装
水泵的安装与校正是关键性的第一步,尽管水泵机组在出厂时已校正,但由于运输、装配等原因,会导致不同程度的变形或松动,因此,水泵在安装时要边安装、边校正。
1、安装步聚
(1)清除底座上的油腻和污垢,把底座放在地基上。
(2)用水平仪检查底座水平度,允许用楔铁找平。
(3)用水泥浇灌底座和地脚螺栓孔眼。
(4)水泥干固后应检查底座和地脚螺检孔眼是否松动,适当拧紧地脚螺栓,重新检查水平度。
(5)清理底座的支持平面,水泵脚及电机脚的平面,并把水泵和电机安装到底座上。
(6)检查和调整水泵与电机轴心线的重合度,检查水泵轴与电机轴中心线是否一致,两联轴器外圆的上下左右差值不超过0.1mm,可用薄片调整使其同心;两联轴器端面留间隙2-3mm。
2、水泵在安装时必须注意:
(1)水泵的实际吸水吸程必须低于水泵的允许吸程。
(2)水泵的进水管应尽量短、直,在水平线上不得向上凸起或高于水泵,以避免水泵运行时气蚀增加,效率降低。
(3)水泵出口管应适当扩大,并尽量接近出水的水面,过高或过低都会增加动力消耗。长距离输送时应取较大管径。泵的管路应有专用支架,不允许管路重量加在泵上,避免把泵压坏。
(4)水泵底阀或进水管口离水源底部和水源边缘的距离不得小于进水管的直径,进水管入水深度不得小于0.5米。安装2台以上水泵时,底阀或进水管口之间的距离不得小于2倍底阀或进水管口的外径。
(5)排出管路逆止阀应装在闸阀的外面,泵扬程20米以上均应安装逆止阀。
(6)带轮的直径应根据转速计算确定,在按公式计算带轮直径时应考虑胶带打滑的因素,对计算值作适当调整。
二、水泵的起动、运转与停止
水泵的起动、运转及停止应严格按操作规程进行。
一、水泵的安装
水泵的安装与校正是关键性的第一步,尽管水泵机组在出厂时已校正,但由于运输、装配等原因,会导致不同程度的变形或松动,因此,水泵在安装时要边安装、边校正。
1、安装步聚
(1)清除底座上的油腻和污垢,把底座放在地基上。
(2)用水平仪检查底座水平度,允许用楔铁找平。
(3)用水泥浇灌底座和地脚螺栓孔眼。
(4)水泥干固后应检查底座和地脚螺检孔眼是否松动,适当拧紧地脚螺栓,重新检查水平度。
(5)清理底座的支持平面,水泵脚及电机脚的平面,并把水泵和电机安装到底座上。
(6)检查和调整水泵与电机轴心线的重合度,检查水泵轴与电机轴中心线是否一致,两联轴器外圆的上下左右差值不超过0.1mm,可用薄片调整使其同心;两联轴器端面留间隙2-3mm。
2、水泵在安装时必须注意:
(1)水泵的实际吸水吸程必须低于水泵的允许吸程。
(2)水泵的进水管应尽量短、直,在水平线上不得向上凸起或高于水泵,以避免水泵运行时气蚀增加,效率降低。
(3)水泵出口管应适当扩大,并尽量接近出水的水面,过高或过低都会增加动力消耗。长距离输送时应取较大管径。泵的管路应有专用支架,不允许管路重量加在泵上,避免把泵压坏。
(4)水泵底阀或进水管口离水源底部和水源边缘的距离不得小于进水管的直径,进水管入水深度不得小于0.5米。安装2台以上水泵时,底阀或进水管口之间的距离不得小于2倍底阀或进水管口的外径。
(5)排出管路逆止阀应装在闸阀的外面,泵扬程20米以上均应安装逆止阀。
(6)带轮的直径应根据转速计算确定,在按公式计算带轮直径时应考虑胶带打滑的因素,对计算值作适当调整。
二、水泵的起动、运转与停止
水泵的起动、运转及停止应严格按操作规程进行。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条