Timed RAISE方法在列控系统等级转换场景中的应用研究

高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。     

安徽召开营运客车类型划分及等级评定工作座谈会

为贯彻执行交通行业标准《营运客车类型划分及等级评定》（JT／T325—2006），加强源头管理，加快调整我省旅客运输的运力结构，安徽省运管局于2月28日在合肥召开了营运客车类型划分及等级评定工作座谈会，全国17家主流客车生产企业安徽区域的销售负责人参加。     

旧桥改造技术

随着时间的推移，任何公路桥梁都将成为旧桥，都会因各种原因不同程度地存在缺陷，病害需要维修、加固和改造。公路旧桥具有荷载等级低，使用年限长的特点。过去年代修建于各地城镇和各级公路上的桥梁，负担着十分沉重的交通荷载及繁重的交通量。由于历史的种种原因，如建桥当时的资金紧缺，设计荷载及泄洪标准偏低，     

谈非整公里路段怎样评定养护质量等级

为正确贯彻实施交通部《公路养护质量检查评定标准》（ＪＴＪ０２５－９４）推动公路养护质量检查评定工作的进一步发展。本文针对评定工作中的一大难点－非整公里路段评定－进行了详细地说明，并提出评定中常出现错误，供有关养护人员参考。     

山区高速公路行车交通事故成因及对策

近年来，一些内陆山区省份的高速(高等级)公路陆续建成通车，仅以贵州省为例，截至2002年底已先后开通高速(高等级)公路800多公里，可见，高速(高等级)公路运输在山区交通运输中扮演着越来越重要的角色。然而，其高发的交通事故也成为一个严峻的事实摆在人们面前，以贵州省为例，2001年全省高速(高等级)公路就发生特大交通事故18起，     

改性沥青对沥青混合料的影响

利用沥青混合料车辙、间接拉伸、小梁弯曲和冻融劈裂试验，通过重交沥青和不同PG等级的SBS改性沥青对SMA-16混合料的力学性能测试，表明改性后的沥青混合料性能要优于非改性沥青，其中PG64-34对沥青混合料有较低的温度敏感性，更适于东北寒冷地区。     

试谈路政违法行为的等级划分与处理标准

依据《公路法》、《行政处罚法》及其它有关法规，结合目前厦门路政管理的实际，探讨路政违法行为进行等级划分，并明确由不同级别的路政管理机关按照相应的处罚程序作出适当的处罚决定，这有利于规范路政违法行为的处理，提高路政执法水平，并有利于集中力量打击重大违法行为，维护公路路产路权。