属性驱动的列车控制系统需求建模与验证

形式化语言越来越多地用来描述列车控制系统需求规范,其精确的语法和语义一方面有助于创建精确的需求模型、消除理解差异,另一方面也为进一步分析验证提供了基础.通过提出一种基于属性的需求分析方法,利用具体的形式化技术来分析需求.首先将由自然语言描述的需求规范转换为属性描述语言(PSL)形式化规范,并通过仿真和博弈分别进行语义检查和可实现性验证,最后通过断言来检验形式化语言所刻画的系统的精确性和完整性.该方法从自然语言形式的需求约束中直接提取相关需求规范,构造形式化模型并进行验证,为需求的早期确认提供了一种新的实用途径.并以CTCS-3级列控系统RBC切换场景为例,说明该方法的有效性.     

我国BRT快速公交发展概况及用车趋势分祈

以BRT技术组成特性和应用模式为基础,分析了BRT客车产品配置及要求趋势.     

ITS在我国道路安全管理中的应用与对策分析

针对我国目前的道路交通安全形势,分析了在道路交通安全管理中发展智能交通的必要性.阐述了ITS技术在欧美发达国家道路交通安全管理中的研究重点与发展现状.以此作为参考,分析了智能交通系统在我国道路交通安全管理中的研究与应用现状,从而揭示了ITS在我国道路交通安全管理中存在的问题与不足,并提出了解决相关的问题的措施与建议.     

中美桥梁设计规范的内力计算比较研究

现行《公路桥涵设计通用规范》(JTG D60-2004)、《公路钢筋混凝土及预应力混凝土桥涵设计规范》(JTG D62-2004)与美国桥梁结构规范(AASHTO LRFD)是不同的体系。着重介绍AASHTO LRFD的内力设计方法和计算公式,并对2套规范作一定量的比较分析研究。结果表明两者计算出的承载力基本相同,但受荷载、材料、横向分布系数、荷载效应分项系数及计算公式等影响,AASHTO LRFD计算得到的组合内力值偏大。     

轮胎技术发展现状及探讨

随着汽车的高性能化和高速化,人们对汽车行驶速度、行驶安全性、操纵稳定性、乘坐舒适性和节能经济性等方面的要求不断提高,轮胎不仅要求式样新颖、安全、经济,而且要绿色环保,因此需要大力发展轮胎新技术。对子午线轮胎、轻量化轮胎等关键技术的发展现状进行了探讨,并对轮胎新技术的应用和优越性作了总结分析。     

新型波形梁护栏端头开发

为降低由于碰撞波形梁护栏端头引起的乘员伤亡, 参考国内外相关标准, 依据中国的交通流特性, 提出波形梁护栏端头的碰撞试验条件和评价标准, 采用有限元仿真分析和实车足尺碰撞试验相结合的技术手段, 开发出一种满足评价标准的新型波形梁护栏端头。计算结果表明: 开发的新型波形梁护栏端头利用卷曲波形梁吸收车辆动能, 能够有效避免波形梁插入车体和翻车事故的发生, 车体重心加速度小于20g, 保护了乘员安全, 同时能够为标准段护栏提供足够约束力, 保证标准段护栏的正常防护能力。护栏端头满足评价标准的要求, 可为失控车辆提供安全防护。     

公路机电项目技术规范编制的探讨

本文结合多年机电工程管理,探讨了高速公路机电工程项目的技术规范编制工作。高速公路机电工程项目技术规范是机电工程建设前期工作的重点和难点,作为工程施工建设的依据,在后续的工程建设中的起到关键作用。     

既有混凝土梁桥抗震性能评价

针对既有混凝土梁桥抗震性能评价尚无规范可循的现状,结合正在实行的《公路桥梁抗震设计细则》（JTG／T B02－01－2008）以及《公路桥梁抗震性能评价细则》（征求意见稿）,对相关规定对比分析,明确既有混凝土梁桥抗震性能评价方法。根据桥梁的重要程度、建造年代、设计标准等确定抗震性能目标;对桥梁进行调研,针对构造措施、构造细节等进行一级评价;对关键构件进行详细的抗震能力评价,依据结构形式、材料实际强度等,对其整体抗震性能进行二级评价;综合评价结果,针对存在的问题提出解决建议。将该方法应用于京沪高速公路某混凝土梁桥,得出该桥总体抗震性能不满足要求,建议优化支座布置方式及更改支座型号,或采取减隔震措施。应用实例验证该评价方法思路清晰、步骤明确、便于应用。     

新型尾轴密封弹簧组冲击响应分析

利用Ansys软件对轴密封弹簧组进行了冲击载荷响应分析研究.根据前联邦德国国防军舰建造规范BV043/85,采用2个正、反半正弦波输入冲击加速度,进而模拟轴密封装置冲击载荷作用的时间历程.通过比较不同冲击环境下动、静环端面接触压强与比压随时间的变化情况,分析冲击作用对该轴密封弹簧组端面密封性能的影响.数值模拟的结果验证了轴密封装置在冲击环境下的可靠性.     

关于新标准《驼峰气动专用技术条件》的一些说明

本文介绍了铁道行业标准《驼峰气动专用技术条件》修订的主要原因和依据，新标准的主要特点，技术指标及说明，以便为使用和设计单位更好地理解和执行新标准提供一些参考。