摘要
基于微机联锁安全软件中描述车站拓扑结构布置图的四叉双向链表数据结构，提出一种称为ＲＤＳ结构的强韧存储结构。理论上证明了ＲＤＳ是２－可测、１－可纠的。最后，给出了ＲＤＳ结构的插入。
In this paper, according to the 4-double-linked list data structure used to represent any track layout in the Microcomputer Interlocking system, a kind of robust storage structure RDS is proposed. It is proved theoretically that RDS is 2-detectable, 1-correctable. At last, the insert and delete algorithms for RDS are presented.
关键词
安全软件
强韧存储结构
数据结构
微机联锁
data structure, microcomputer interlocking, reliability, robustness, safety
