【摘 要】
：
CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室
论文部分内容阅读
CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这
其他文献
随着现代科技的高速发展、全球一体化经济的融合,社会经济和社会生存条件发生了翻天覆地的改变,网络的发展和普及改变了人们的生活方式,也改变了世界经济体的形式。互联网经
目的 探讨腹腔镜联合醋酸曲普瑞林治疗子宫内膜异位症的效果,总结临床经验以提高治疗水平。方法 将80例子宫内膜异位症患者随机分成2组,各40例。对照组给予腹腔镜联合孕三烯
<正> 陆医生回家探亲,刚进村就看见邻居文大爷家的门窗上都贴着血红的桃符。后来一打听.原来是文大爷的儿媳妇产后第七天.突然出现四肢无力.软瘫在床上。请乡村医生看.又看不
在全球空气污染最严重的10个大中城市中,北京排在第3位,其中机动车排放造成的污染就占整个空气污染的67%.因此,要在2008年以前实现蓝天绿地和绿色奥运的承诺,仍然任重道远.北
古代诗词中多形容美女“肤如凝脂,面如白玉”,现在也有“一白遮百丑”之说,可见要成为公认的“美女”,皮肤白润细腻、光滑柔软是必备条件之一。想象一下风抚过绸缎那种丝丝密
本文用实证研究法结合比较的方式分析西南服装行业和品牌的现状,说明了流行色应用带来的商业价值.剖析企业在流行色的开发应用中存在的问题,指出应用流行色于产品开发中的关
<正> 老赵有个老毛病-偏头痛,一旦发作起来,疼得他是呼天抢地,满床打滚,恨不得一头撞在墙上。吃过好些药,但都只能顶上一时,过后犯起来疼得更厉害。后来经朋友介绍,老赵总算
采用决策树方法对客票数据及行车安全数据进行分析时，发现在训练数据集的主类类属分布不平衡的情况下，无法对数据量占相对少数的小类属数据进行描述，究其原因在于现有决策树方法
优化锂离子电池负极材料的首次库仑效率和循环稳定性对提升电池的可逆比容量具有重要意义。硅碳复合材料是目前公认的下一代锂离子电池负极材料,本文调研了硅碳二次粒子负极
<正> 别名 学名凤梨.也叫黄梨、番梨、露兜子,婆那娑等。产地 菠萝是一种热带植物.原产于南美洲,后从巴西传入我国。也有记载为大约在18世纪末.来华的葡萄牙传教士首次把菠萝