基于时间自动机模型的安全计算机平台的形式化验证

众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。     

接触网“V”形天窗停电作业触电伤害与预防

针对在繁忙干线电气化区段实行接触网＂V＂形天窗停电作业发生的触电伤害进行了整体分析,并提出了一些相应的意见和建议,为牵引供电系统的安全运行和维护提供借鉴。     

出口加纳动车组动车车体强度有限元分析及结构优化

以出口加纳动车组车体为对象,参考TB/T 1335-1996<铁道车辆强度设计及试验鉴定规范>制定了<加纳动车组车体结构强度规范>,采用有限元法计算了动车车体强度和刚度并进行了模态分析,根据计算结果对动车车体进行了结构优化,保证了动车最大轴重满足设计要求.     

改性沥青基本性能浅析

黑龙江省属于高寒地区，近几年来黑色路面几乎无人问津，一度呈停滞状态。原因是黑色路面破损严重，地产石料多偏酸陛，与沥青结合不好。更有偏见认为黑龙江人不该修黑色路面，于是白色路面突飞猛进地发展起来，几年过去了，由于耐不住寒冷，也因染了地方病而失宠。     

公路环境保护与环境影响评价

1公路环境保护 公路环境保护是基于生态可持续发展原则调节与控制"公路工程与路域环境"对立统一关系的发生与发展.公路环境保护由两项基本工作组成:一是分析因修建公路而对环境产生的各种影响及其影响的程度和范围,根据需要采取专门的环境保护措施,积极开展环境保护的有关工作;二是在公路的设计、施工及运营管理过程中,注意凸显公路各组成部分的环保功能,使公路在运输功能发挥的同时,对沿线环境的负影响最小.     

城市道路交通与景观协调设计方法

介绍了协调设计的指导思想和协调设计原则，分析了协调设计的方法。指出协调设计方法主要适用于城市新建和改建的主次干道，对于新建道路，在断面设计上应考虑到远期流量增大的需要，预留出拓宽车道的土地，各类交通设施的设计与景观和环境相协调，对于改建道路，应消除道路上各种不协调的设计因素。     

构建全省网管通信网络平台

为适应电信管理网络向集中管理、集中维护方向发展的趋势,建立数据通信网为现有各分散的网管系统(如电话交换网管、传输网管、支撑网管等)提供一个统一的数据通信网络平台。各网管系统的信息都可以在此数据通信网上进行传递,使数据通信网成为一个真正的综合数据通信网。其网络结构是采用以省为中心,辐射地、市的广域网络,形成双星形网络结构。     

高速公路通信、收费、监控系统维护有关技术标准的制定和说明

《宁连宁通高速公路通信、收费、监控系统维护技术规范》是江苏省高速公路三大系统维护技术规范的编制基础，具有较好的科学性和实用性。     

GTM方法设计沥青混凝土路面在丹拉公路张家口段的应用

道路路面组成设计采用GTM法,中表面层采用SBS改性沥青,这样做可以很好地解决高速公路夏季高温车辙,冬季低温开裂的问题.     

钢带软管内压和弯曲研究

复合材料管已成为管道发展的热点和趋势。文中对钢带软管在同时受到内压和弯曲组合载荷作用下的力学性能进行了研究。基于建立的钢带软管的环向和径向力学平衡方程,提出了不同弯曲半径下该种类型管道的爆破压力理论计算方法。文中还进行了有限元数值模拟,并与理论计算结果对比分析,分析结果表明文中提出的爆破压力计算方法可作为此类管在同时受到内压及弯曲组合载荷作用下的通用算法,为解决此类工程问题提供重要参考。