形式以及相应的电路结构才能实现。在HJ04A系统中，我们总结并采用了动/静形式结合相位判断的安全逻辑变量表达形式，也即用“脉动电平逻辑”表达设备的危险侧状态信息，很好地满足了联锁系统对安全逻辑的容错要求。
2.2.4. 算法冗余
联锁系统的系统层故障表现为产生了不正确的输出控制命令（包括危险侧控制命令），控制命令的错误有二种可能引发的原因。
系统中传输、存贮过程中的信息畸变必将体现在逻辑运算变量中， 从而 造成逻辑运算错误， 这一点已在前面介绍的3.2.2与2.2.3条中有过描述并提出了相应的解决方案。
联锁或PLC复 核软件出错一方面有可能是由各自的CPU或所使用的指 令引发的， 但更多的是被转化为程序的任务、技术条件的错误。因此， 能够识别技术条件的错误， 也就能预防由此而 引发错误运算结果的输出。
基于“同样一个数据变换调理错误或程序错误（永久性或暂时性）在二套算法不同的程序中同时出现的概率极小”[4]这样一个基本认识，HJ04A系统的控制命令生成采用了二级运算结果的一致判决机制，也就是双份软件判别机制。
3. 总结
3.1 在单模控制体系结构中，通过对铁路信号的深入分析，较为完整地建立了铁路信号联锁系统的故障模型并提出了相应的故障诊断与安全导向方案。
3.1 联锁、复核层软件技术特征表
3.2 在铁路信号领域内较早采用了二级集散式控制体系结构，即采用联锁、复核二级检查机制，有效地解决了因CPU与编程语言缺陷、算法与编码错误而有可能带来的系统错误输出问题。
3.3 采用变换联锁信号的表达形式来解决系统的I/O接口安全性问题，研制了一整套故障—安全的结合电路，有效地防范了“s-a-0”或“s-a-1”固定逻辑型故障对系统整体安全性的破坏。
3.4 联锁、复核二级用户程序均有效实现了程序、数据分离的设计思想。
3.5 建立了一套量化计算联锁系统可靠性与安全性的评价体系。 总 结
这次毕业设计结合我段卡路屯站电气集中大修设计进行的，通过这次设计使我能够较系统学习了6502电气集中，提高了分析问题和解决问题的能力。由于水平有限很多观点阐明的不一定正确，
还有待于今后工作中去摸索和学习，更希望能够得到老师的指教。通过这次设计更增加我对信号专业的热爱，以后的日子我会更加刻苦的学习。非常感谢指导老师的批改。
2004年6月1日