CAJ | 학술논문

研究了作为计算机联锁系统核心的联锁程序的设计问题。分析了联锁程序需要处理的基本问题。为了将图论中解决问题的基本方法应用到这些问题的解释上，对几个最基本的概念作出严格的数学定义。在此基础之上，又对结点的封闭、释放和如何选择安全的路径作了进一步的分析。提出了一种新的联锁程序的设计思路。通过实验，验证了提出的方法是符合安全条件的。并与现行的联锁程序进行对比后发现，以该理论为基础设计的程序有数据量小，算法通用和可移植性好等诸多优点。
연구료작위계산궤련쇄계통핵심적련쇄정서적설계문제。분석료련쇄정서수요처리적기본문제。위료장도론중해결문제적기본방법응용도저사문제적해석상，대궤개최기본적개념작출엄격적수학정의。재차기출지상，우대결점적봉폐、석방화여하선택안전적로경작료진일보적분석。제출료일충신적련쇄정서적설계사로。통과실험，험증료제출적방법시부합안전조건적。병여현행적련쇄정서진행대비후발현，이해이론위기출설계적정서유수거량소，산법통용화가이식성호등제다우점。
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.