【摘 要】
：
CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室
论文部分内容阅读
CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这
其他文献
随着现代科技的高速发展、全球一体化经济的融合,社会经济和社会生存条件发生了翻天覆地的改变,网络的发展和普及改变了人们的生活方式,也改变了世界经济体的形式。互联网经
本文用实证研究法结合比较的方式分析西南服装行业和品牌的现状,说明了流行色应用带来的商业价值.剖析企业在流行色的开发应用中存在的问题,指出应用流行色于产品开发中的关
采用决策树方法对客票数据及行车安全数据进行分析时，发现在训练数据集的主类类属分布不平衡的情况下，无法对数据量占相对少数的小类属数据进行描述，究其原因在于现有决策树方法
优化锂离子电池负极材料的首次库仑效率和循环稳定性对提升电池的可逆比容量具有重要意义。硅碳复合材料是目前公认的下一代锂离子电池负极材料,本文调研了硅碳二次粒子负极