高速铁路列控中心软件安全性需求形式化建模

列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法.根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述.通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性.     

耐久性混凝土对水泥品质的要求

铁路客运专线要求采用耐久性混凝土,其中对所用水泥的品质要求比常规混凝土严格,结合对《铁路混凝土结构耐久性设计暂行规定》和《铁路混凝土工程施工质量验收补充标准》的理解,介绍耐久性混凝土所需水泥的主要技术要求。     

舰船装饰材料的发展及应用

介绍了我国舰船装饰材料的发展过程,以及舰船装饰材料在舰船上的应用要求,如耐火性、无毒性、耐腐蚀性、耐用性、装饰性、工艺性、可维修性等,还必须满足重量轻、强度高的要求。文章还就如何选用舰船装饰材料提出了几点建议。     

高速公路路面养护要求及其要点探讨

随着我国高速公路建设的快速发展与高速公路网的逐步完善,公路管理部门的工作重心将逐步从公路网的建设转向对已有公路的养护、改建和维护已有高速公路网上。根据高速公路路面养护的要求和要点,总结了不同路面的具体养护技术,为同行提供参考。     

正确认识和处理"五大关系"是构建和谐社会的本质要求——学习胡锦涛在《全国统战工作会议上的讲话》

胡锦涛同志《在全国统战工作会议上的讲话》深刻论述了正确认识和处理政党关系、民族关系、宗教关系、阶层关系、海内外同胞关系这五个方面的重大关系,是马克思主义中国化的最新成果.正确认识和处理好"五大关系"是构建和谐社会的本质要求,是构建社会主义和谐社会的必然要求.     

关于地铁中漏泄同轴电缆的选择、配置和建议

简要介绍了漏泄同轴电缆的原理和基本性能,提出了以提高接收电平作勾选择和配置漏泄同轴电缆基本要求的计算方法,并举出了实例,还提出了建议。     

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

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

协调版共同结构规范对阿芙拉型油船的影响分析

针对协调版共同结构规范与共同结构规范的差异,以阿芙拉型油船为目标船型,通过中国船级社的CSR-H软件,分别开展全货舱计算分析。通过描述性要求计算、舱段有限元分析、细化强度分析、疲劳强度筛选、疲劳强度计算,重点分析协调共同结构规范对该型船的结构设计影响,以及钢材质量的变化。分析结果表明：描述性要求对结构的节点形式以及纵向构件的改变较大,将会导致空船质量增加;而直接结算只是对局部强度有所影响,对空船质量增加有限。     

对SOLAS Ⅱ-1章新修正案有关客船舱底排水设备要求的修改建议

简要介绍了修改后的SOLAS第Ⅱ-1章第35-1条有关舱底排水设备的修改内容;通过对客船舱底排水设备附加要求与分舱、破损稳性要求之间相关性的分析,认为以舱底泵特征数作为设置舱底排水设备附加要求的临界条件是不合理的,从而对该部分内容提出了修改建议。本文的建议已为IMO SLF 48次会议的中国提案所采纳。SLF会议建议该提案提交MSC会议作进一步的讨论。     

基于Zachman框架的信息系统需求工程建模方法

全面而准确地描述信息系统的本质需要从多个角度建立其需求模型.本文提出了一种基于Zachm an框架的信息系统需求工程建模方法,从多个不同的方面构建了描述需求的模型,形成了分析信息系统需求的建模框架.这种框架具有多视角、灵活应对变化、与技术无关以及与现有建模方法有效集成4大优点.