基于图论的联锁程序的研究与设计

计算机工程与应用 ›› 2013, Vol. 49 ›› Issue (21): 46-50.

基于图论的联锁程序的研究与设计

石擎宇，谭丽，成利刚

兰州交通大学自动化与电气工程学院，兰州 730070

出版日期:2013-11-01 发布日期:2013-10-30

Design of interlocking program on graph theory

SHI Qingyu, TAN Li, CHENG Ligang

School of Automation & Electrical Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China

Online:2013-11-01 Published:2013-10-30

摘要/Abstract

摘要： 研究了作为计算机联锁系统核心的联锁程序的设计问题。分析了联锁程序需要处理的基本问题。为了将图论中解决问题的基本方法应用到这些问题的解释上，对几个最基本的概念作出严格的数学定义。在此基础之上，又对结点的封闭、释放和如何选择安全的路径作了进一步的分析。提出了一种新的联锁程序的设计思路。通过实验，验证了提出的方法是符合安全条件的。并与现行的联锁程序进行对比后发现，以该理论为基础设计的程序有数据量小，算法通用和可移植性好等诸多优点。

关键词: 联锁, 数据结构, 车站信号

Abstract: This paper focuses on the design problem of the interlocking program, which is the core part of computer interlocking system. The most essential problem of the interlocking program is analyzed. To apply the basic method of graph on this issue, the strict mathematical definition of some basic conception is given. Based on these, it is analyzed how to capture and release a node, and how to find a safe route. A new scheme of interlocking program is presented. The experiments on real data prove that the method presented is safe. And compared with the present interlocking system, the program based on the paper has many advantages, such as less data and better portability.

Key words: interlocking, data structure, signal of station

石擎宇，谭丽，成利刚. 基于图论的联锁程序的研究与设计[J]. 计算机工程与应用, 2013, 49(21): 46-50.

SHI Qingyu, TAN Li, CHENG Ligang. Design of interlocking program on graph theory[J]. Computer Engineering and Applications, 2013, 49(21): 46-50.

[1]	苏庆，汤毅豪，曾永安，刘添添，郑力明. 单链结构实时识别及可视化布局算法研究[J]. 计算机工程与应用, 2019, 55(16): 240-245.
[2]	苏迪，刘竹松. 一种新型的Merkle哈希树云数据完整性审计方案[J]. 计算机工程与应用, 2018, 54(1): 70-76.
[3]	徐懿彬1，徐学荣2. 一种新型有序数据结构：容量平衡三叉查找树[J]. 计算机工程与应用, 2017, 53(9): 63-71.
[4]	胡晓辉1，韩佳芮2. 车站联锁进路控制逻辑的形式化方法[J]. 计算机工程与应用, 2016, 52(17): 229-234.
[5]	董晓芬1，2，张伟1，庞明勇1，2. 空间剖分树形查找结构的效率分析[J]. 计算机工程与应用, 2016, 52(15): 73-78.
[6]	秦发园1，戴胜华1，徐昱2. 进路建立过程的时间有色petri网建模与仿真[J]. 计算机工程与应用, 2015, 51(8): 266-270.
[7]	林俊锋，黄常标，祁杨停. 三角网格模型分治加工中区域分割算法的研究[J]. 计算机工程与应用, 2015, 51(12): 184-188.
[8]	张舒青，徐中伟，陈祖希. 基于项重写系统的联锁系统模型检测方法研究[J]. 计算机工程与应用, 2014, 50(3): 49-54.
[9]	赵景昌1，白润才1，刘光伟1，刘威2. 一种基于TIN的等值线快速生成算法[J]. 计算机工程与应用, 2014, 50(24): 10-15.
[10]	高银花1，陈进2，庞明勇2. 一种通用的网格模型动态数据组织结构[J]. 计算机工程与应用, 2013, 49(16): 129-132.
[11]	朱会东1，段赵磊1，黄艳1，2. 面向链式数据结构的间隔预取策略[J]. 计算机工程与应用, 2012, 48(24): 57-61.
[12]	张友鹏，权海宁. 新型分布式全电子计算机联锁系统研究[J]. 计算机工程与应用, 2012, 48(24): 187-191.
[13]	刘慧婷¹，倪志伟². 经验模态分解在数据流概要生成中的应用[J]. 计算机工程与应用, 2010, 46(22): 6-8.
[14]	郭荣佐^1，2，黄君³，王霖². 嵌入式联锁控制器软件体系结构动态建模研究[J]. 计算机工程与应用, 2010, 46(2): 213-217.
[15]	王继东^1,2,陈桂林¹. 基于半边数据结构的最短路径算法及其实现[J]. 计算机工程与应用, 2009, 45(8): 118-120.