首页> 中文期刊> 《设备管理与维修》 >铁路信号联锁逻辑形式化建模研究

铁路信号联锁逻辑形式化建模研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

鉴于铁路的信号系统的复杂性,提出一种B方法与通信顺序进程结合的形式化方法,探索用数学的方式为铁路信号联锁形式化建模.

著录项

来源
《设备管理与维修》 |2020年第22期|118-120|共3页
作者
陈良;
展开▼
作者单位

中铁十九局集团电务工程有限公司北京 100076;

展开▼
原文格式 PDF
正文语种 chi
中图分类联锁（车站信号）;
关键词
铁路信号; 联锁逻辑; 形式化建模研究;

相似文献

中文文献
外文文献
专利

1. 铁路信号联锁逻辑形式化建模研究 [J] . 王玉麟 . 黑龙江科技信息 . 2018,第018期
2. 铁路信号联锁逻辑形式化建模研究 [J] . 王玉麟 . 科学技术创新 . 2018,第018期
3. 铁路信号联锁逻辑形式化建模研究 [J] . 陈邦兴 ,吴芳美 . 铁道学报 . 2002,第006期
4. 铁路信号联锁逻辑形式化描述的研究 [J] . 李剑峰 . 煤矿机械 . 2009,第10期
5. 基于Petri网的铁路信号联锁逻辑形式化描述的研究 [J] . 韩晓燕 ,颜荣正 . 煤矿现代化 . 2005,第005期
6. 基于梯形逻辑的联锁系统形式化验证方法 [C] . YU Lizhen ,于丽贞 ,XU Zhongwei . 2013年全国开放式分布与并行计算学术年会 . 2013
7. 铁路信号联锁系统安全规范的形式化描述与验证方法 [A] . 张越 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号