期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
铁路信号联锁逻辑形式化建模研究
被引量：
2
下载PDF
职称材料
导出
摘要
文章针对铁路信号联锁逻辑形式化建模展开了分析,并且从有色Petri网结构、建模实践等方面进行论述,目的在于探究更有效率的建模方案,为今后相关工作的顺利进行提供参考。
作者
王玉麟
机构地区
朔黄铁路发展有限责任公司肃宁分公司
出处
《科学技术创新》
2018年第18期65-66,共2页
Scientific and Technological Innovation
关键词
铁路信号
联锁逻辑形式化
建模
分类号
U284.3 [交通运输工程—交通信息工程及控制]
引文网络
相关文献
节点文献
二级参考文献
11
参考文献
8
共引文献
15
同被引文献
13
引证文献
2
二级引证文献
0
参考文献
8
1
宋薇.
铁路信号联锁设备的故障研究[J]
.中国高新区,2017,0(10X):89-89.
被引量：4
2
胡东成.
铁路信号联锁设备的故障分析[J]
.通讯世界,2016,22(6):109-109.
被引量：6
3
李钰龙.
甘河工业园西区铁路信号联锁系统方案设计[J]
.中国新技术新产品,2016(10):17-18.
被引量：3
4
李春莹,吴昕.
铁道信号联锁设备的故障分析[J]
.信息通信,2014,27(12):184-184.
被引量：8
5
赵军.
对一起铁路信号联锁机脱机故障的分析研究[J]
.科技创新与生产力,2014(11):55-56.
被引量：2
6
中国铁路信号联锁系统市场研究及展望[J]
.中国科技财富,2011(3):40-41.
被引量：1
7
董传博.
翻车机与铁路信号联锁工程[J]
.中国设备工程,2006(1):41-42.
被引量：2
8
蔡洪祥.
铁路信号设备故障查找中借用电源方法的探讨[J]
.科技资讯,2008,6(23).
被引量：2
二级参考文献
11
1
刘伯鸿,董昱.
铁路信号联锁设备的故障诊断[J]
.信息技术,2007,31(5):61-64.
被引量：5
2
TB10071-2000,铁路信号站内联锁设计规范[S].
3
铁路信号设计规范[S].TB10007-2006.
4
中华人民共和国铁道部.铁路技术管理规程铁道部令第29号[S].
5
王智.
铁路信号设备联锁安全预控管理[J]
.铁道通信信号,2012,48(2):13-16.
被引量：6
6
唐佩.
铁道信号联锁设备的故障诊断分析[J]
.河南科技,2013,32(4):115-115.
被引量：13
7
郜雁冰.
浅谈铁道信号联锁设备的故障分析[J]
.中小企业管理与科技,2014(8):279-280.
被引量：11
8
郭威.
关于铁路信号联锁设备的故障诊断分析[J]
.科技风,2014(6):42-42.
被引量：6
9
李春莹,吴昕.
铁道信号联锁设备的故障分析[J]
.信息通信,2014,27(12):184-184.
被引量：8
10
陆海涛.
关于铁路信号连锁设备的故障分析[J]
.通讯世界（下半月）,2016(8):22-23.
被引量：4
共引文献
15
1
魏韬.
铁路信号联锁故障诊断方法及具体应用[J]
.智能城市,2021(2):139-140.
2
李峥.
铁道信号联锁设备的故障及处置方式分析[J]
.中国科技纵横,2018,0(5):59-60.
3
宋国经.
计算机联锁与翻车机系统结合电路的特殊设计[J]
.铁道通信信号,2015,0(11):42-44.
4
汤飞龙.
论如何诊断铁道信号联锁设备故障[J]
.城市建筑,2015,0(33):317-317.
5
胡东成.
铁路信号联锁设备的故障分析[J]
.通讯世界,2016,22(6):109-109.
被引量：6
6
李文钊.
铁路信号联锁设备故障的研究[J]
.环球市场,2016,0(29):204-204.
被引量：1
7
忽昊.
关于铁路信号联锁设备(K5B)的故障诊断分析[J]
.科学与信息化,2016,0(28):43-43.
8
童燕琳,刘茜,朱双.
铁路信号联锁设备的故障诊断技术分析[J]
.科学与信息化,2019,0(14):5-5.
9
陈兴亚.
铁路信号连锁设备的常见故障及诊断方法分析[J]
.科学与信息化,2019,0(14):69-69.
10
董高云,余文兵,周庭梁.
嵌入式系统下位机故障定位及分析方案研究[J]
.铁路计算机应用,2020,29(5):72-77.
被引量：1
同被引文献
13
1
陈钢铁,帅斌.
运输路径优化蚁群算法问题研究[J]
.铁道运输与经济,2010,32(9):68-72.
被引量：4
2
张勇,王超琦.
CTCS-3级列控系统车载设备测试序列优化生成方法[J]
.中国铁道科学,2011,32(3):100-106.
被引量：17
3
赵显琼,唐涛.
多端口形式化测试自动生成方法在CTCS-3车载系统中的应用[J]
.铁道学报,2011,33(7):44-51.
被引量：10
4
赵显琼,郑伟,唐涛.
一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用[J]
.铁道学报,2012,34(5):70-80.
被引量：8
5
张友兵,唐涛.
基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析[J]
.铁道学报,2012,34(7):49-55.
被引量：17
6
张庚有.
铁路信号域形式化方法初探[J]
.中国新通信,2014,16(6):86-86.
被引量：1
7
袁磊,吕继东,刘雨,李辰岭,赵伟慧.
一种全覆盖的列控车载系统测试用例自动生成算法研究[J]
.铁道学报,2014,36(8):55-62.
被引量：22
8
赵晓宇,杨志杰,吕旌阳.
基于有色Petri网的车载设备模式转换测试序列生成方法[J]
.中国铁道科学,2017,38(4):115-123.
被引量：16
9
李耀,郭进,杨扬,马亮.
铁路信号安全关键软件形式化建模[J]
.铁道学报,2017,39(9):74-80.
被引量：6
10
王鲲.
基于通信顺序进程与B方法的CBTC计算机联锁系统的形式化建模与验证[J]
.中国铁道科学,2018,39(3):101-109.
被引量：8
引证文献
2
1
陈良.
铁路信号联锁逻辑形式化建模研究[J]
.设备管理与维修,2020(22):118-120.
2
齐凡瑞,李强.
列控系统RBC测试序列优化生成方法[J]
.北京交通大学学报,2022,46(2):11-19.
1
裴慧霞,高艳平.
浅析联锁设备故障在铁道信号检测维修中的重要性[J]
.信息通信,2018,31(4):194-195.
被引量：6
2
陈育呈.
浅谈数学建模与计算机应用的融合[J]
.神州,2018,0(3):106-106.
3
铁文钊.
东方石化储运火炬系统联锁逻辑部分优化方案[J]
.化工管理,2018(16):138-139.
被引量：1
4
于文涛.
形式化验证在轨道交通领域的应用[J]
.电脑知识与技术,2018,14(5):263-264.
被引量：3
5
李源源,宗伟,刘连光.
智能变电站通信网络及其安全问题分析[J]
.智能电网（汉斯）,2013,3(5):141-146.
6
杨勇,娄淑华.
思想政治教育方法论元理论研究论纲——关于新时代思想政治教育学科创新的思考[J]
.思想教育研究,2018(6):13-17.
被引量：6
7
孙雯.
投票理论阐释的新视角——从逻辑的角度看[J]
.世界哲学,2018(1):114-121.
被引量：1
8
倪元龙,王芳.
倾斜摄影技术在城市三维建模中的应用[J]
.国土资源信息化,2018(3):26-29.
被引量：3
9
岳莉莉,杨毅.
区域微网可拓式设计及实例分析[J]
.智能电网（汉斯）,2017,7(5):372-380.
10
佟业飞,修有成,刘赞.
膀胱癌动物模型的建立方法对比及成瘤监测技术的进展[J]
.临床与病理杂志,2018,38(5):1092-1095.
科学技术创新
2018年 第18期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
