计算机联锁进一步发展的探索

计算机联锁的发展包括技术上和功能上两个方面。新一代计算机联锁的本质是智能化。本文对计算机联锁在系统一体化、完善自检功能、车站程序控制、增加智能化功能、车站作业自动化等方面的需求作了初步探讨。     

计算机联锁系统自动测试系统研究

针对如何持续提升联锁软件测试的有效性和测试效率这一问题,分析计算机联锁软件自动测试的需求,以灰盒测试为思想,采用层次化框架结构,设计实现一种基于脚本驱动的自动测试系统.该自动测试软件能够提升计算机联锁测试效率,保障联锁测试的可靠性.     

车站信号计算机联锁设备仿真测试系统研究

计算机联锁系统(CIS)是安全苛求系统,针对目前计算机联锁系统的安全测试以软件测试、人工操作为主,存在测试不完备、效率低,远离实际应用等问题,提出了一种自动化联锁仿真测试方案,并结合工程以实际的计算机联锁系统为对象研制出联锁仿真测试系统,实测结果表明:该系统功能完善,达到了完备、高效安全测试的目的.     

重庆轨道交通2号线计算机联锁系统的发码设计

以重庆轨道交通2号线延伸段工程采用的TYJLIII型计算机联锁系统为研究对象,对该计算机联锁系统的联锁逻辑软件和操作显示软件进行发码特殊功能研究。提出了在不影响既有软件结构基础上新增发码模块的设计实现方法。测试验证结果表明,新增发码模块不影响既有计算机联锁系统软件结构,并满足设计需求。车站现场使用情况表明,采用这种发码设计方法的TYJL-III型计算机联锁系统能在保障既有计算机联锁系统可靠性和安全性前提下,更好地满足重庆轨道交通的工程设计和运营要求。     

新型分布式计算机联锁系统的研究与设计

在计算机联锁技术条件框架基础上,应用分布式控制系统和多Agent系统技术,提出了一种新型的分布式、智能化计算机联锁控制系统的设计方案。分析了分布式控制和多Agent体系用于计算机联锁系统的可行性,并给出了系统的基本结构设计和智能体单元功能设计。该设计方案从结构上可以提高计算机联锁系统的可靠性和安全性。     

铁路计算机联锁系统发展的思考

计算机联锁系统是保障车站通过能力和行车安全的重要信号设备。列车运行控制系统CTCS和分散自律调度集中CTC的快速发展，对计算机联锁系统的进一步发展提出了新的要求，基于这一背景，提出了发展一体化、全电子化、智能化、区域联锁化新一代计算机联锁系统的设想。     

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

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

基于Event-B的联锁进路控制建模验证方法研究

计算机联锁系统具有典型的安全苛求特性.传统的联锁软件开发方法难以完整准确地定义需求,单纯依靠测试也无法发现软件中的所有错误,使软件在功能完整性和安全性方面难以得到保证.本文利用形式化Event-B方法和相关工具对联锁系统的核心功能-进路控制的相关功能需求和安全需求进行了建模、精化和验证,对开发高安全苛求和高可靠性的联锁软件提供了新的方法借鉴.     

仿真计算机联锁接口的设计

介绍了仿真计算机联锁接口的设计,重点描述其故障仿真模型。目前该测试系统已经成功地应用于计算机联锁机构和轨旁设备的测试中,可以模拟计算机联锁机构和轨旁设备之间的信号传输故障,在计算机联锁机构和轨旁设备的测试中起到了重要的作用。     

计算机联锁软件基于测试的安全性评价基准研究

计算机联锁是一个典型的安全性苛求系统,它必须考虑许多防范致险因素造成影响的技术需求。同时,对可能引起不安全的各种软件缺陷应有效发现,并对软件的安全性给出公正准确和不引起争议的评价。系统的安全性测试是考察联锁软件安全性功能最周密的技术手段。在前期测试研究工作的基础上,本文系统地论述了基于测试的安全性评价基准问题。文章定义了某些新的概念,如不安全事项、防范致险元集合、扩充防范能力等。对安全性问题的不同分类基准作了形式化的描述。这些论述为进一步发展计算机联锁软件安全性测试及评价,改善计算机联锁质量管理提供了有用的理论依据。文章还对一些联锁软件测试实例进行了分析。     

区域计算机联锁系统在大连快轨3号线续建线的应用

车站联锁系统是保证现代城市轨道交通行车安全的重要设备。区域计算机联锁系统是在车站计算机联锁基础上结合了网络安全传输等技术发展的网络化、智能化、集成化的信号控制系统,它将整个控制区域视为一个车站．使用一套联锁机完成多个车站的联锁逻辑运算和集中控制．实现车站联锁、区间闭塞和站间联系的一体化控制。     

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

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

铁路计算机联锁系统仿真测试平台的研究

针对目前计算机联锁系统采用人工测试存在的测试不充分、效率低下等问题,提出一种可进行联锁系统功能自动化测试的仿真测试平台设计方案。该方案通过分析联锁系统的系统结构以及人工测试流程,确定仿真测试平台的设计思路和实现方式,最终实现联锁功能的自动化测试目标。     

适用于高速铁路的计算机联锁测试平台设计

因高速铁路和客运专线的建设需要,计算机联锁系统增加了新的控制功能和外部接口,如正线车站的点灯和灭灯功能,以及与列控系统的安全通信接口等。计算机联锁的新增功能和通信接口直接影响着整个系统的安全性和可靠性。因此,研究科学的、全面的测试方法,设计适合高速铁路的计算机联锁测试平台,对提高计算机联锁系统的安全性、可靠性具有重要的意义。重点对测试平台的结构、测试案例、测试方法等进行了叙述。     

JARC-1000型或门动态继电器测试电路

目前计算机联锁系统使用已相当普遍,但联锁系统接口设备中的JARC-1000型或门动态继电器的管理与维修,还存在一些问题.由于是新型继电器,既有测试设备无法对该继电器进行测试,故障继电器也无法进行检测,工作很被动.     

建立局级计算机联锁仿真试验中心的重要性探讨

计算机联锁系统是保证行车安全和效率的重要信号设备,本文通过分析铁路运输安全的现实需求,提出了一种建立原铁路局现铁路局集团公司级(以下简称局级)计算机联锁仿真试验中心的可行性方案。通过建设和有效运行本地化的联锁试验中心,旨在提高铁路运输生产单位测试联锁关系的质量和效率,为运输安全安全提供新的保障。     

计算机联锁软件的黑盒测试过程分析与实现

结合计算机联锁系统的硬件和联锁软件的特征,介绍了软件的测试目的、步骤、黑盒测试中等价类划分法以及安全测试常用的故障树分析法。基于由测试软件、联锁软件和车站信号设备仿真系统组成的测试平台的联锁软件测试,在联锁软件黑盒测试覆盖率准则的基础上,举例介绍了用等价类划分法编写测试用例和用故障树分析法编写安全性测试用例以及测试流程,并用python伪代码实现了“进路正常选出”的测试用例。通过上面的方法来体现黑盒测试在计算机联锁软件逻辑运算功能的重要性。     

基于监测数据的计算机联锁系统安全性研究

为保证计算机联锁系统安全可靠,在投入使用前,联锁厂商会对其进行验证和测试,由于实际运行环境的复杂性和随机性,很难在实验室中进行模拟分析,现结合现场的监测数据,提出一种方法,对计算机联锁系统的列车进路控制是否符合安全进行实时的分析判断。     

Windows NT环境下计算机联锁系统模拟平台设计

计算机联锁模拟系统是计算机联锁系统进行基本联锁功能实验的测试平台。本文从系统结构、通信方式、软件开发几个方面介绍了在Windows NT环境下进行计算机联锁系统模拟平台设计的方法。     

基于A*搜索算法的城轨联锁系统仿真研究

进路搜索是计算机联锁软件的核心模块,搜索算法直接影响进路搜索的效率。为提高进路搜索效率,采用A*搜索算法进行进路搜索,为测试算法性能,使用C#编程语言搭建城轨联锁仿真平台进行仿真研究。在该仿真平台上,主要模拟城轨联锁系统中的进路处理过程,构建站场型数据结构,将A*搜索算法应用到进路搜索过程中,利用启发信息指导搜索,使搜索更高效、智能化。最后完善仿真平台的联锁功能,实现联锁人机交互。