【摘 要】
：
联锁表是联锁安全逻辑的体现,本文针对联锁表数据的安全逻辑验证问题,提出一种基于CSP的验证方法.首先对联锁表数据进行建模,将联锁表数据抽象为调度员、道岔、信号机、区段
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室
论文部分内容阅读
联锁表是联锁安全逻辑的体现,本文针对联锁表数据的安全逻辑验证问题,提出一种基于CSP的验证方法.首先对联锁表数据进行建模,将联锁表数据抽象为调度员、道岔、信号机、区段和联锁控制器5个进程的并发组合模型,并对各进程进行建模.依据联锁系统安全约束条件,从功能性和安全性两个方面,通过对模型正确性的验证来说明数据的安全逻辑正确性.最后以北京地铁亦庄站联锁表数据的安全逻辑验证为例,说明该方法的可行性.
其他文献
在轨道电路系统的研发测试中,利用计算机仿真技术模拟高速铁路列控中心子系统,实现与轨道电路子系统之间的安全通信,不仅可以降低ZPW-2000A轨道电路实体设备试验的高昂费用,
为了让自己的丈夫成为开宝马、住豪宅的“伟丈夫”，年轻少妇牺牲色相换来了丈夫事业上的风生水起。2010年11月23日，南京市别墅区连续强奸案告破。审讯室内，涉嫌强奸的唐宏彬坦白交代，让办案民警愕然。这个外表俊朗的年轻老总，竟然有着痛入骨髓的情感之殇。用强奸情敌之妻来一解心头之恨的复仇行动，带来悔之不及的悲剧。 爱妻违心出轨 打造“伟丈夫” 唐宏彬和妻子侯肖薇都出生在南京市郊的农村。200
通过对铁路12306用户频繁出现取消交易操作现象及其产生原因的分析,提出了相关的解决方案,旨在维护正常的售票秩序,提高用户满意度.并以Z66为例进行方法应用分析,验证了本方
针对LKJ2000型列车监控记录装置各功能模块的交换信号,如机车工况信号、机车压力传感器信号,研制了基于单片机的模拟接口电路,可产生相应匹配的交换信号,用于LKJ2000型列车监
本文以武冈城际铁路电源及环境监控系统为模板,从系统体系架构、逻辑架构、数据存储和主要功能4个方面进行详细介绍,对该系统在武冈城际铁路实际部署和应用予以阐述。
为满足铁路各级企业经营管理者和国有资本监管部门对国有资本变动情况进行事后、事中的有效监管,实现国有资本监管工作面向过程动态监管的需要,在原铁路企业国有资本监管报表
女友不幸死亡，“妻子”突然现身讨要房产，并欲将汪其林告上法庭。焦头烂额的汪其林悔不当初，糊涂的“报恩”却让自己惹上了麻烦。汪其林和女友、“妻子”之间到底发生了什么? 患难兄弟相求，为报恩瞒着女友替婚 今年30岁的汪其林与女友熊晶晶是大学同班同学，2002年毕业后，汪其林进入家具公司工作，熊晶晶做了导游。 两年后，汪其林向熊晶晶求婚。可是，也许是因为生活在离异家庭的阴影，也许是接受了前
当今社会信息技术飞速发展，计算机网络得到普及，铁路业务与信息化结合日益紧密，信息系统在铁路运输组织、安全生产、客户服务、经营管理等方面发挥着越来越重要的作用，业务依赖性
随着国内城市轨道交通的蓬勃发展,城市轨道交通运营企业急需大量具备实际操作能力的综合性运营人才.而他们的教学工作主要依赖于仿真平台.本文提出了一个可行的ATS系统仿真模
从非接触式雨量监测设备的测量原理出发,利用正交试验方法,在人工模拟降雨环境下进行动态对比试验,利用试验数据分析非接触式雨量监测设备的准确性和可靠性,探讨针对非接触式雨量监测设备准确性和可靠性的试验方法。