基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

地铁低净空隧道接触网非工作支结构优化设计

分析了深圳地铁一期工程中,在低净空隧道接触网锚段关节(绝缘及非绝缘)转换柱处,固定非工作支接触线的无螺栓单线定位线夹出现滑移及脱槽的原因,提出了解决该类问题的具体方案,并组织实施,消除了安全隐患。     

第5次铁路大提速与铁路信号

我国铁路先后进行的5次大规模提速,对拓展铁路运输市场、加快铁路技术发展发挥了巨大的作用,同时也为铁路信号带来了良好的发展机遇。铁路信号技术装备不仅在数量上有了大幅度的增长,而且在技术含量上也有了明显的提升,一定程度上实现了铁路信号技术设备的更新换代。提速道岔分动外锁闭转换设备全面上道,大号码道岔的运用有了     

手持GPS在铁路勘测中的应用

介绍了手持GPS在铁路勘测中的应用方法 ,就坐标系统转换进行了详细的描述 ,并结合西安高速铁路勘测工程实例加以验证。     

软件无线电技术在铁路通信中的应用

首先介绍目前先进的软件无线电技术,然后通过实际的研发项目,详细地描述此技术在铁路高速移动接入通信系统中的应用.     

全自动来车报警装置的研制和应用

红外线探测设备多安装在进站的咽喉处，车流密度大，曲线较多。过去红外线工作人员在进行设备维护和处理临时故障时采取的是双人作业、专人防护的安全控制措施，其缺点是防护距离短，多方向来车时防护困难，受     

道岔位置表示冗余系统的应用

道岔转换设备是直接关系到行车安全及运输效率的重要设备。在对目前我国道岔转换技术进行全面分析的基础上，提出了道岔位置表示冗余系统方案，并对该方案的系统构成及系统特征进行了分析。     

船舶应充分利用太阳能来节约能耗

科学技术的迅速发展，为人类利用无污染的取之不尽，用之不竭的太阳能展现了广阔的前景。现在对航运系统来说，太阳能的利用对节约船舶燃料消耗，降低船舶运输成本，增加经济效益有着十分积极的作用，但船上和太阳能还是一个空白点。因此，航运系统单位应将充分利用太阳能，节约船舶能耗的问题摆在较重要的工作日程上，尽快研究实施。     

基于Web Service的船舶全寿命动态信息共享技术的研究

阐述了实施船舶全寿命信息共享的重要性，分析了传统信息共享技术的缺陷及采用Web服务技术实现船舶全寿命信息共享的优势，提出了一个基于Web服务的船舶全寿命动态信息系统中信息共享的模型，并给出了一种利用通用标识符UID(Universal Identifier)及两层数据转换来实现船舶生命周期视图间映射的方法。最后根据该模型开发了一个原型系统。     

大断面平顶直墙地铁风道二衬施工受力转换技术

大断面双层双跨平顶直墙暗挖地铁风道施工时具有开挖跨度相对较大、临时支护体系繁多、二次结构受力转换复杂的特点,针对某地铁车站风道双层段的工程实践,分析大断面平顶直墙结构施工时的关键技术环节,如中洞法开挖、受力转换、分块模筑等.结果表明,关键工序合理,切实可行,施工过程中通过受力转换确保了原初期支护结构的稳定和安全,施工过程中严格监测控制,使风道二次衬砌质量得到保证,加快了衬砌施工进度,对整个风道工期控制起到了积极作用.