LR规则经济性设计的探讨

以LR规则为基础，探讨尺度规格相近、用途相似的船舶如何减少钢材重量、减少系统配置而降低成本，获得优化经济性的可行性和方法。     

丰田大霸王汽车电动车门锁系统不工作

故障现象一辆丰田大霸王PREVIA(1997年车型)汽车在一次长途旅行回来后,到洗车场进行洗车,但第2天车门锁系统便不工作了,无论是使用车门锁手动开关,还是使用车门钥匙均无效.     

别克君威2．0及2．5车4T65-E型自动变速驱动桥技术规格（二）

别克君威2．0及2．5车4T65-E型自动变速驱动桥节气门开度（用节气门位置传感器信号电压表示）与换档速度（输出轴速度）的关系、液压油温度（TFT）传感器的电阻及信号电压、各电磁阀及传感器的电阻、压力控制电磁阀电流与油路压力的关系和紧固件规格及拧紧力矩分别如表5、表6、表7、表8和表9所列。     

计算机联锁软件的Z规格说明

计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。