CTCS-3级列控系统无线闭塞中心仿真研究

基于Visio studio 2008平台设计了无线闭塞中心(RBC)仿真系统、简易的车载仿真系统和仿真系统内部数据库。实现了列车注册、注销、列车行车许可计算等列车运行管理功能及与车载子系统通信功能的仿真。     

企业固定资产管理分析

固定资产管理是企业管理的重要组成部分,在企业生产经营中发挥着重要的作用。介绍了固定资产管理的主要内容,深入探讨了企业固定资产管理存在的风险,并对改进企业固定资产管理进行了研究。     

基于TCN的车辆控制单元(VCU)的研究与设计

详细介绍了基于TCN的VCU通信系统的构成、车辆控制单元硬件平台的系统方案设计、软件平台的系统设计以及VCU的主要功能。现场应用表明,VCU功能强大,性能稳定,可靠性高。     

基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法

提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。     

铁路路基段差异风化工程特性研究

结合拟建贵广铁路高培二号隧道出口外路基工点(DK308+500～DK308+560),对基岩(砂岩夹硅质页岩、炭质页岩)中的差异风化现象进行了研究。探讨了差异风化的成因、机理,工程特性及其对铁路工程的危害,并提出了相应的工程勘察、设计和处理措施建议,对类似的路基工程具有一定的参考价值。     

高地温隧洞热—结构耦合分析

在分析某引水隧道区域工程地质情况的基础上,运用有限元分析软件,采用热学理论模拟温度场,并通过热—结构耦合方式,求出衬砌结构在温度场影响下的结构应力值以及在温度和内水压力联合影响下的结构应力值,据此对分析结果提出了工程设计措施。     

基于UML的CTCS-3级列控系统运营场景分析方法研究及应用

CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础,提出一套适用于CTCS-3级列控系统运营场景的分析和验证方法,并以＂RBC切换＂场景为例,运用该方法分析了其活性、死锁、活锁、确定性和部分安全性。     

CTCS-3级列控系统避撞协议的建模、设计和实现

CTCS-3级列控系统中的车载设备和RBC之间通过避撞协议进行协调控制。根据列车避撞安全需求,采用安全UML中的安全用例图和安全类图表示避撞协议模型,实现在任意时间间隔内,列车运行速度不超过期望速度,并且列车位置永远不能越过行车许可(MA)的安全功能。避撞协议的安全功能通过连续避撞策略和离散避撞策略的形式化精化实现。前者给出了列车速度和位置为连续变量的情况下,避撞协议的静态结构、动态交互和连续控制策略;后者利用离散逻辑实现了连续避撞策略的离散化。通过对离散避撞策略的进一步精化,生成避撞协议的实时程序代码。严格的形式逻辑WDC*的推理保证了连续避撞策略、离散避撞策略和最终代码精化的正确性和安全性。     

电加热道岔融雪系统设计与实践

介绍了电加热道岔融雪系统的研发背景,叙述了电加热道岔融雪系统的工作原理,控制模式。该系统基于西门子S7-400 PLC设计,具有安全、可靠、使用方便等特点。     

基于灰色理论的轨道几何状态中长期时变参数预测模型的研究

根据轨道几何不平顺的发展特性,在灰色预测理论的基础上,考虑模型参数随时间的变化,并优化背景值,建立以轨道几何不平顺检测数据为时间序列的非等时距灰色时变参数模型。为更好地描述轨道几何不平顺影响因素间复杂的函数关系,提高模型拟合和预测精度,基于残差分析引入周期性函数,对模型进行组合修正。应用此模型对轨道质量指数TQI数据进行分析预测,并对其精度进行检验。结果表明:模型能较好地反映轨道质量随时间发展的随机波动特征,拟合、预测精度高,适合进行中长期预测,可为了解和掌握轨道质量状态的发展规律提供新的方法。