- 相关推荐
计算机联锁控制逻辑的模型检验方法
描述了符号化模型检验策略和相应的工具软件SMV,通过该工具验证了铁路计算机联锁控制逻辑的设计符合其安全规范,最后分析了模型检验面临的困难以及今后的努力方向.
作 者： 燕飞 唐涛 Yan Fei Tang Tao 作者单位： 燕飞,Yan Fei(北京交通大学轨道交通控制与安全国家重点实验室,100044,北京)唐涛,Tang Tao(北京交通大学电子信息工程学院,100044,北京)
刊 名： 铁道通信信号 英文刊名： RAILWAY SIGNALLING & COMMUNICATION 年，卷(期)： 2009 45(5) 分类号： U2 关键词： 铁路计算机联锁系统 形式化方法 模型检验【计算机联锁控制逻辑的模型检验方法】相关文章：
水环境的非点源污染模型及污染控制方法04-29
基于模糊逻辑系统的转子振动控制方法研究04-29
群集模型的软控制研究04-28
运动干涉检测的模糊逻辑控制04-26
逻辑斯蒂曲线的几个推广模型与应用04-30
基于描述逻辑的地图语义模型初步研究04-27
工作压力的要求--控制模型04-29
浅议数学模型方法04-26
逻辑演算与形式化方法04-30
计算机联锁控制系统在柳钢铁路中的运用04-28