计算机联锁教学及故障诊断专家系统

计算机联锁教学及故障诊断专家系统以教学为目的，通过对联锁系统的使用现状和不同教学对象的分析，提出系统需求；在联锁系统通用模型的基础上，采用面向对象的方法建立联锁系统通用的知识库模型；说明故障诊断专家子系统的规则库的模型及推理机制；系统的实现方案和整体功能结构。     

面向安全的计算机联锁系统联锁逻辑测试实施规范

PMI(计算机联锁)是CBTC(基于通信的列车控制)系统中实现联锁计算的子系统。分析了由城市轨道交通信号固有的逻辑耦合以及自仪泰雷兹面向客户功能需求的系统开发模式造成的PMI联锁逻辑的复杂性;概述了城市轨道交通系统所承担的巨大公共安全责任和实时高强度运营负荷,对PMI联锁逻辑的安全性和可靠性提出的要求;介绍了面向安全的PMI联锁逻辑测试实施规范;介绍了基于规范的PMI联锁逻辑测试实施工具的开发,并提出了进一步开发的几点构想。     

计算机联锁工程设计CAD软件

目前我国铁路上使用的计算机联锁设备,是由多家不同研制单位提供.虽然部分单位提供了各自的工程设计接口软件,但却缺乏统一性.为此,开发了一套通用的计算机联锁工程设计软件,原则上可适用于各种类型的计算机联锁. 1 软件概述 1.1 设计思想 1.开放性.主要是:①针对各厂家的计算机联锁,建立各自的数据库,能够自动识别联锁类型,确定软件的运行方向和运行结果;②用户可针对某些特殊电路自行设计数据库,根据软件进行相应的组合排列、分配相应的分线盘端子、生成相应的电路和配线图设计.     

基于站场图形网络的计算机联锁软件在高速铁路的应用研究

为适应高速铁路列控系统接口需求,计算机联锁系统接入信号安全数据网[1]的同时,应用软件需要新增进路模块来实现接口的应用信息交互。进路模块利用原有联锁软件网络化结构的选路原理,实现了进路信息存储;利用进路中道岔的大号码特征,实现符合黄闪黄条件信号显示自动计算。软件采用模块化设计的同时,对软件需求、设计、结构、安全性进行全面分析,确保联锁子系统软件的兼容性和可持续开发性。基于升级的计算机联锁软件不仅满足高速铁路列车控制系统的需求,也提高了原有软件的安全性和可靠性。     

嵌入式联锁软件模拟自动测试平台的研究

为满足联锁软件黑箱测试的要求，对联锁软件安全性需求进行了分级形式化表达，阐述了嵌入式联锁软件模拟自动测试平台的分布式结构模型及其实现方案，最后，给出了自动测试平台得到的联锁软件分类测试结果。     

面向形式化验证的联锁翻译器软件设计

根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件.最后详细说明翻译器软件基于函数式语言OCaml的代码实现.     

基于需求建模的联锁软件自动化测试技术的研究与实现

基于需求的测试是软件测试的本质.通过采用线性关系抽取技术的需求建模方法,设计出一种以需求驱动生成测试用例,并结合相应的软件测试平台,完成其自动执行的测试技术.该技术能够对联锁软件中逻辑关系比较复杂的需求进行整理和化简,并能够以最小数目的测试用例实现最大化功能覆盖率的自动化测试.     

基于ActiveX技术的联锁表自动生成软件

对联锁表设计的现状和发展方向进行了分析，介绍了基于ActiveX技术的联锁表自动生成软件的功能特点、主要功能模块、关键算法及其在实践中的应用。     

计算机联锁系统在城市轨道交通应用中的新变化

根据城市轨道交通信号系统的特点,分析了城市轨道交通计算机联锁系统相对于国铁计算机联锁系统的一些新需求;介绍了计算机联锁系统因之增加的与外围设备的各种安全接口;详细分析了城市轨道交通的这些新需求、与外围设备的各种新接口对于联锁逻辑判断所产生的一些变化和影响。     

计算机联锁软件的Z规格说明

计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。     

既有线站改过渡信号方案研究

结合南疆吐库二线站改过渡工程,总结了几种既有线车站插铺道岔纳入既有联锁过渡工程的设计原则,电路处理方法等。对如何规范站改过渡信号工程设计,确保既有线联锁车站安全具有一定的借鉴意义。     

联锁系统逻辑测试方法研究

联锁系统是轨道交通列车运行控制系统的重要组成部分,它对列车的运行安全和效率有重要的影响.目前,地铁联锁测试通常归结于对系统进行相应的场景复现,按照测试序列对进路进行相应的操作,观察联锁的逻辑是否正确.根据该测试方法编制的测试序列,测试内容重复,测试效率较低.本文采用等价类划分方法的思想,对地铁联锁系统的测试需求进行归类,优化了测试序列,提高了测试效率,并且以北京地铁亦庄站的联锁系统测试进行了验证.     

自动仿真测试平台在联锁车站软件测试中的应用研究

联锁车站软件是计算机联锁通用软件针对具体工程的特殊应用。采用自动仿真测试平台进行联锁车站软件测试,虽然较传统人工测试存在优越性,但同时也带来一定的应用风险。为此,采用功能FMECA方法识别自动仿真测试平台的高风险失效模式,并制定风险控制措施;以此为基础设计出一种应用自动仿真测试平台的联锁车站软件测试方案;最后对该方案采用过程FMECA方法进行验证。结果表明,该方案在满足既有测试需求的基础上,对仿真测试平台的相关风险均实现了有效控制,从而保证了联锁车站软件测试的质量。     

城市轨道交通联锁表自动生成软件的开发与实现

城市轨道交通联锁表自动生成软件依据城市轨道交通信号系统既有的联锁表格式和编制原则，采用模块化设计思想，利用现代化计算机技术，根据输入的站场线路拓扑图及相关轨旁设备数据，构建抽象的图型数据结构信息，通过广度图论优先搜索算法遍历全线站场线路拓扑，完成联锁表进路及进路相关信息的自动搜索，生成并且保存为标准格式的联锁表及进路图。目前该软件已在实际的工程项目中得到较好的应用。     

基于OpenCV的计算机联锁自动测试系统研究

针对当前国内计算机联锁软件测试中存在的人工测试效率低、第三方测试难度大、严重依赖测试人员技术水平问题，基于OpenCV图像处理技术、AutoItX自动测试库，设计并实现了计算机联锁自动测试系统。系统通过计算机联锁上位机界面采用图像处理技术获取铁路站场数据；基于站场数据，采用进路搜索算法生成站场联锁表，进而基于联锁表生成相关测试用例；对测试用例编写测试脚本，实现对计算机联锁系统的自动测试。研究结果表明，该系统实现了第三方对计算机联锁系统的自动测试，能够有效地减少人工操作，在降低对测试人员技术水平的要求的同时提高了测试效率。     

基于VxWorks的计算机联锁控制系统软件研究

铁路车站信号计算机联锁控制系统是实时、多任务、安全苛求的计算机控制系统.分析DOS和Windows环境联锁控制软件设计存在的问题,结合VxWorks操作系统的特点,研究基于VxWorks实现联锁控制的可行性,在此基础上提出了一种VxWorks环境下设计联锁软件的方法,并进行了详细的系统设计.针对一个实际站场的编码测试结果表明,在VxWorks环境下更易于满足联锁软件对实时性、多任务调度的设计要求,并有利于提高系统的安全性.     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

铁路信号基础知识 第一讲 从车站联锁到信息联锁

从车站联锁到信息联锁是技术发展的必然趋势，提出信息联锁的概念有利于从大系统范围内在最大程度上满足用户需求，确保行车安全。     

基于自定义实体的联锁表自动生成软件设计与实现

为提高联锁表编制效率和准确性，设计基于自定义实体的联锁表自动生成软件。使用AutoCAD二次开发接口，读取利用ObjectARX创建的信号设备自定义实体的数据信息；根据信号设备平面布置图的结构特点自动生成站场型数据结构；利用深度优先搜索（DFS, Depth First Search）算法搜索进路，并根据联锁表编制原则，处理进路数据和生成联锁数据。现场试用结果表明，该软件能与信号设备平面布置图实时交互，快速访问AutoCAD数据库，直接调用其中实体，生成标准格式的铁路车站联锁表及地铁车辆联锁表，准确率超过99%，且具有较高的通用性。     

全电子联锁开发和应用研究

从计算机联锁系统的发展出发,给出全电子联锁系统的定义,分析全电子联锁系统的特点,与现有联锁系统的主要区别。在开发和应用方面,研究应遵守的标准和规范,提出安全要求,并对信号机和道岔模块完成的功能进行重点讨论。