论文部分内容阅读
描述了符号化模型检验策略和相应的工具软件SMV,通过该工具验证了铁路计算机联锁控制逻辑的设计符合其安全规范,最后分析了模型检验面临的困难以及今后的努力方向。
计算机联锁控制逻辑的模型检验方法
【摘 要】
：
描述了符号化模型检验策略和相应的工具软件SMV,通过该工具验证了铁路计算机联锁控制逻辑的设计符合其安全规范,最后分析了模型检验面临的困难以及今后的努力方向。
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室讲师,北京交通大学电子信息工程学院教授
【出 处】
：
铁道通信信号
【发表日期】
：
2009年5期
其他文献
阐述铁通建设DWDM系统的必要性、紧迫性和可行性，通过对安徽铁通建设的省干DWDM波分系统的实践，提出在组网和网络建设中需要关注的问题。
针对我国铁路信号现状和对铁路信号设备维护工作的分析研究，认为有必要在铁路信号设备维护中引入危险运行监测理念，以便对我国就铁路信号设备运行中危险运行值的识别、评价、监
4月26日,中国粮油学会营养分会、国家公众营养改善项目办公室、国家发改委公众营养与发展中心等单位在国务院新闻办举办了＂营养强化大米＂上市仪式,仪式上提出营养强化大米未来
<正>对全国633个国家重点生态功能区县开展的一项综合评价表明,我国县域经济生态现状不容乐观,"工业才能富县"观念亟待转变。《中国县域经济生态文明指数》对全国633个国家重
在上海旅行时，朋友带我到外滩欣赏黄浦江江岸的美景。外滩灯火辉煌，处处闪着光泽。可惜人实在太多了，上海的本地人已经够挤了，还有来自世界各地的观光客，看着美丽的黄浦江，每个人都
【正】为切实解决新形势下城市基层党建工作面临的退休党员多、"两新"组织党员多、流动党员多、驻街单位不隶属街道党组织多,党员组织生活经常化少、教育活动场所少、教育培
日前,中共中央组织部、国家人口计划生育委员会等11部委联合发出《关于加强人口和计划生育工作若干政策措施的通知》(以下简称《通知》)。《通知》指出,各有关部门
本文结合工程实际，通过在某隧道使用TGP206与TSP203进行地质超前预报对比试验，探讨地震波在隧道地质超前预报中的应用研究；经过对比分析和经验总结，来合理改进设备和提高预报准确