CTCS-2级列控车载设备现场测试序列辅助生成工具

为解决人工编制现场测试序列工作量大、效率低下的问题,设计与开发了CTCS-2级列车运行控制(简称:列控)车载设备现场测试序列辅助生成工具.给出了现场测试序列的设计原则,并分析提出了功能需求.根据功能需求,将软件结构划分为列控基础数据管理、图形界面绘制、测试案例数据管理、测试案例执行距离计算、测试序列生成和测试序列数据管...     

可调螺距螺旋桨模糊控制系统的分析及应用

对可调螺距螺旋桨控制系统的进行了分析,给出了模糊控制在可调桨控制系统在螺距调节时的应用,具有很好的实际应用价值。     

深水供应船首锚机区域支撑结构计算和加强研究

深水供应船的首部锚机区域结构承载较大,对于锚机区域的船体支撑结构的要求较高,而考虑到锚机的布置位置和方向的特殊,结构加强会较为困难。锚机区域船体支撑结构是锚机正常工作的有力保障,通过有限元计算实例,可以发现在兼顾结构强度、构件布置的前提下,做到对应与锚机一个方向的充足加强,就能满足规范要求,保证结构安全。     

深水三用工作船兼容储存输送装置研究

介绍兼容储存输送装置的设计,该装置实现了对各种液、固物料的兼容,在完成对钻井平台的物料供应后还能接收钻井作业产生的钻屑、浮油等废弃物,增加了船舶的附加值。     

铁路信号系统风险严重度综合评判

为更科学地评估铁路信号系统的风险严重度,根据铁路信号系统的特点,在专家打分法的基础上,综合应用层次分析法、加权平均型综合函数和最大隶属度原则,提出了铁路信号系统风险严重度综合评判方法.以微机化自动站间闭塞系统为例,分析了系统延时建立闭塞的风险严重度,并对其进行了综合评判.     

我国高速公路服务区功能完善与拓展的思考与建议

文章突破了传统高速公路"全封闭式"的理念,在"选点开放式"的新理念指导下,遵循"分级匹配"原则,基于对高速公路地理特征的优劣分析,对高速公路服务区的功能完善与拓展提出了思考与建议。     

高速列车动车转向架气动噪声数值分析

为研究高速列车动车转向架气动噪声特性,建立了动车转向架空气动力学模型,采用定常RNGk-湍流模型与宽频带噪声源模型对其气动噪声声源进行初步探讨,并结合非定常LES大涡模拟与Lighthill声学比拟理论进行了远场气动噪声分析。研究结果表明:动车转向架气动噪声源为轮对、构架、牵引电机1、枕梁、垂向减振器、抗侧滚扭杆等结构的迎风侧凸起部位,且构架对动车转向架远场气动噪声的贡献最大,其次为轮对和抗侧滚扭杆,然后为垂向减振器和枕梁,牵引电机1、牵引电机2、空气弹簧和横向减振器对远场气动噪声的贡献较小。动车转向架远场气动噪声是宽频噪声,具有衰减特性、幅值特性和气动噪声指向性。在低频部分能量较大,中心频率为25、50Hz,且分布规律不随运行速度的改变而变化。      

面向列控系统安全软件黑盒测试的 危险分析方法

针对高速铁路列控系统安全软件黑盒测试中对危险事件的可测性、全面性和优先性的需求,研究能够生成有效危险事件测试集的危险分析方法。根据列控系统接口交互信息的类型及特点,改进HAZOP的引导词及节点参数并进行接口危险辨识;然后利用风险矩阵评估接口危险事件的风险等级,提出面向安全软件黑盒测试的接口危险分析方法—HAZOP-I;将该方法应用到CTCS-3级列车运行控制系统运行场景中。研究结果表明:该方法能够为列控系统安全软件黑盒测试提供满足需求的危险事件测试集。     

基于UPPAAL的二乘二取二逻辑建模与仿真

二乘二取二冗余结构以其高安全性和高可靠性特点,被广泛应用于核电、航空航天和铁路等安全关键领域。为验证二乘二取二冗余结构的核心逻辑,保证其高安全性和高可靠性的要求,对二乘二取二逻辑进行建模与验证。基于时间自动机理论,以列控车载ATP子系统二乘二取二冗余逻辑为研究对象,在分析工作原理的基础上,利用UPPAAL工具建立二乘二取二冗余逻辑的时间自动机模型,分别验证二乘、二取冗余逻辑的基本安全属性。根据验证后的软件逻辑模型,实现冗余逻辑仿真。模型构建与程序仿真的结果表明:车载ATP二乘二取二冗余逻辑结构具有高安全性与高可靠性。     

高铁信号系统安全关键功能测试建模方法

测试模型是高铁信号系统安全关键功能测试用例编制的重要基础,针对高铁信号系统安全关键功能测试建模过程中描述信号系统领域特征不够全面的问题,提出时间状态机测试建模理论和测试用例生成方法. 分析高铁信号系统测试建模的特点,提出信号系统安全关键功能测试模型的建模需求;以有限状态机理论为研究基础,结合功能逻辑和时钟约束提出时间状态机建模方法,采用Z规格说明语言给出时间状态机的形式化定义;将时间状态机转换为时间自动机,证明转换之间的一致性,并基于时间自动机的测试理论自动生成测试用例,再以计算机联锁系统中的道岔转换功能为例,建立时间状态机测试模型并生成测试用例. 最后,将两种方法生成的测试案例进行对比,结果表明:在功能逻辑方面,基于时间状态机建模方法生成的测试案例100% 地覆盖了基于时间自动机建模方法生成的测试案例,并新增了16条具有时钟约束的测试案例,能够满足高铁信号系统安全关键功能测试建模的需求.