基于HCSP的列控系统安全性建模与验证分析

高速铁路列车运行控制系统是保证列车安全、高效运行的核心设备，如何验证系统功能的正确性从而提高系统的安全性是至关重要的。引入了一种基于进程演算的方法—混合通信顺序进程（HCSP ，Hybrid Communication Sequential Process），利用该方法对列控系统进行了形式化描述，并针对典型的场景—注册与启动场景进行了HCSP建模，通过引入转换规则，进行了相应模型转换，应用模型检验工具UPPAAL进行了仿真和功能验证，验证结论表明了场景模型功能的正确性以及方法的可行性。     

探究新能源汽车的技术原理及特点

本文简要介绍了新能源汽车的定义、种类,阐述了新能源汽车的技术原理及特点。     

物资消耗定额管理中的问题

铁路运输企业出现的全行业亏损状态已经持续了几年，为缓解当前的困难，铁道部决定于1997年在全路推广邯钢经验，实行成本否决。必须坚持企业经营管理以财务管理为中心，财务管理以成本管理为重点，把成本否决作为企业经营管理的切人点，各项工作都要从提高经济效益出发。物资消耗占路局运营可变成本的60％强，具有较大的节约潜力。作为物资管理基础工作的物资消耗定额管理，应当在强化企业经营管理、提高经济效益的工作中，发挥应有的作用。笔者曾参加呼和浩特铁路局1997年成本否决工作组，参与了方案的制订与目标成本的测算工作，分系统对…     

重庆市公交优先发展浅议

在分析公交优先发展战略的基础上，结合重庆市城市交通特征，分析了重庆市公交优先发展的意义，并重庆市发展对轻轨交通和巴士快速交通系统进行探讨，提出了在重庆市应尽快发展巴士快速交通系统(BRT)，解决快速增长的城市客运交通需求．     

螺杆泵转子的铣刀设计问题

本文论述螺杆泵转子的铣刀设计问题，证明了在转子螺旋面上的接触线分支最多有三条。给出了在多条接触线情况下，如何选择最优的接触线的方法，最终完成铣刀的设计。     

碳纤维片材加固技术在港口工业建筑中的应用

采用碳纤维片材对旧建筑进行加固是近年应用的一项新技术,本文以廊道的主梁结构加固为例,介绍碳纤维片材加固在港口工业建筑中的应用。     

谈高速公路建设项目档案信息化管理

高速公路档案信息化的建设是新形势下档案发展的必然趋势。为实现这一目标,需要我们加强对高速公路建设项目信息化建设的研究,使档案管理水平得到提高,更有利于高速公路建设服务的提高。在此基础上,本文对高速公路建设项目档案信息化建设进行了分析。     

有限元接触算法在连杆强度分析中的应用

介绍了有限元接触算法的原理及计算流程；通过对某型号运输车发动机活塞连杆组建立装配模型，应用有限元软件对其进行了网格划分，建立了接触对，并运用有限元接触算法分析了该连杆的强度。