三模冗余计算机联锁系统可靠性安全性分析

铁路运输事业的发展已经给车站联锁技术提出了更高的要求，随着计算机技术的飞速发展，以计算机为核心的联锁系统已得到了很大的发展和完善。对于计算机联锁系统来说，提高可靠性和安全性是非常重要的问题，利用计算机容错技术则是提高计算机联锁系统的可靠性和安全性的有效手段。     

计算机联锁控制系统数学模型的研究

利用现代控制理论与系统工程学的方法，研究计算机联锁控制系统建立数学模型的方法。系统建模后，利用状态树的方法把系统的全部状态过程分解为若干个子过程，针对每一个过程，建立起系统的解析模型。根据解析模型，选择适当的编程语言，可将系统模型为计算机程序模型。这样的系统建模方法与解析方式，能够准确地描述计算机联锁控制系统的全部动态过程以及表达各个变量之间的复杂关系，从而使计算机联锁控制系统编程标准化，同时也为     

计算机联锁控制系统检验方法的研究

从分析影响现代安全系统的可靠性和安全性的因素出发，提出一个实现对计算机联锁系统功能性和安全性进行自动或半自动检验的系统模型，并分析了该检验系统的模块功能。     

计算机联锁控制系统中的MMI技术

计算机联锁控制系统按系统的层次结构分为三层：人机会话层、联锁层、执行层。本文着重对其中人机会话层的人机接口ＭＭＩ的任务组成、实现和程序设计技术作详细的论述。     

计算机联锁控制系统输入与输出接口的研究

介绍了在计算机联锁系统中，满足信号自动控制要求的输入，输出接口电路的基本工作原理，分析了保证输入，输出接口电路安全性的主要技术措施。     

计算机联锁控制系统安全性保障体系的一种模型

根据铁道部１９９４年颁布的《微机联锁系统暂行技术条件》，在阐述可靠性，安全性，故障－安全等概念及其之间的基础上，提出了一种计算机联锁控制系统安全性保障体系的模型。从这一模型可以清楚地了解到计算机联锁控制系统安全性保障体系的内涵。该模型的提出对计算机联锁控制系统安全性保障的实现奠定了理论基础。     

从电气联锁到计算机联锁

随着科学技术的进步，电气联锁系统正被计算机联锁系统所取代。本文讨论了在计算机联锁系统中联锁功能的某些改善和联锁软件的设计思路。     

计算机联锁控制系统中对特殊联锁条件的处理

针对计算机联锁控制系统中对特殊联锁条件的处理，尤其是对到发线出岔的处理，在比较继电集中与计算机控制两种方法的基础上，阐明了计算机联锁控制系统对于像到发线出岔等的特殊联锁条件的处理，无论在功能上，还是在方法上，都能使车站信号控制系统获得较大的改进。本文对于提高车站信号控制系统的功能、提高运输效率、改变人们对于传统的车站信号控制系统的认识有一定的参考价值。     

计算机联锁控制系统软件体系结构的研究

根据计算机软件工程学所同的程序设计方法，把计算机联锁控制系统软件的设计与具体编制作为一项软件工程，在阐述了计算机软件工程学的指导方法的基础上，阐明了计算机联锁控制系统的功能，程序模块的调度方法，最后对计算机联锁控制系统软件的体系结构作了比较详细的解说，对了解与掌握计算机联锁控制系统的软件或编制该类软件有很大的参考价值。     

计算机联锁系统可靠性研究

从硬件结构，软件设计，编码技术以及抗干扰等方面对铁路计算机联锁系统的可靠性分析进行了阐述，通过对数据信息传输的各项改进，提高了数据信息和整个计算机联锁系统的安全可靠性。     

一种分布式三模冗余控制系统的实现

论述一种分布式三模冗余控制系统的实现,包括系统ＣＰＵ的选择、系统通信网络的实现、系统的同步策略以及三模冗余输出表决器的设计等。实际表明这种系统设计方案能保证系统具有很高的可靠性、可用性和较快的开发速度。     

三模冗余结构微机联锁系统的安全度分析

脸用马尔可夫模型,在考虑故障覆盖率影响的情况下,对三模冗余结构微机联锁系统的安全度进行详细的推导,得出了该系统安全度的定量表达式,分析了在典型情况下的系统安全性能人结果结合实际应用进行了有意义的讨论。     

车站联锁控制系统的仿真

微机联锁系统是以微型计算机为主要技术手段实现车站联锁的系统，自适应车站联锁模拟控制系统是一套车站联锁的仿真模拟系统，阐述了自适应车站模拟控制系统与微机联锁系统的关系。介绍了自适应车站模拟控制系统的功能，设计和特点。     

最小割集在计算机联锁系统中的安全分析与研究

利用故障树分析法对三取二铁路信号计算机联锁系统进行分析,建立三取二模型的故障树.阐述最小割集理论及其在事故分析中的作用,着重提出了对故障树底部事件进行排序分级的加权结构重要度分析法.利用加权结构重要度分析法为系统安全分析提供了新的方法和途径.     

计算机联锁控制系统的进路生成算法研究

提出了一种有效分解车站站场图形的方法，构造出由股道区段组成的子集链。在此基础上进路生成问题转化为变约束条件的优化问题。通过对子集的处理消除了约束条件。给出了适于生成进路的遗传算法。理论分析及仿真实验结果表明给出的进路生成算法的有首效性及实用性。     

微机联锁现场总线的故障—安全特性

构成微机联锁现场总线控制系统的现场必须是故障－安全的。利用集合论对故障－安全现场总线的完全态、准危险态进行了定义、进而描述了它的故障－安全特性，即在现场总线自身的故障或受到外界干扰的情况下能以极高概率实现现场总线的安全态。为了实现故障－安全特性，必须采用避错、容错等高可靠技术和完全确认型故障－安全技术。     

计算机联锁软件数据结构的分析及应用

简述了计算机联锁软件的层次结构图及所应具备的功能．给出了基于站场型数据结构进路自动生成的搜索算法及该算法所涉及的对象：信号机、道岔、轨道电路的数据结构的形式及描述．这种数据结构有利于联锁程序的标准化、模块化，有利于提高系统的可靠性和安全性．     

VME总线助力高铁信号联锁系统

VMEbus在铁路设备中的使用不仅减少了产品开发周期，还极大降低了设计成本，提高了国产设备的竞争力，保证了产品具有较长的产品生命周期。     

车站电气集中计算机联锁模拟系统的开发研究

介绍一个车站电气集中计算机联锁沙盘模拟教学系统，论述了系统的结构与组成，系统整体特点，软、硬件工作原理以及软、硬件系统开发过程中的设计思路，提出了为满足实时性等设计要求而采取的具体解决方案，该系统现已成功地应用于铁路培训基地中．