计算机联锁软件测试方法研究

安全是铁路运输生产永恒的主题,联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有举足轻重的作用。文章描述了被测联锁系统的体系结构以及自动测试系统的设计,采用了基于灰盒测试方法来完成对计算机联锁系统各部分软件的功能与性能测试。     

基于Event-B的一种联锁逻辑的形式化建模研究

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利用自动机模型和形式化语言对车站的一种信号联锁逻辑进行建模研究,并通过逐步精化的方法扩展联锁功能,依赖不变式技术形式化地保证了该模型的安全性。所建模型通过Rodin平台的验证,结果表明它们是安全的。     

铁道信号计算机联锁控制系统探究

计算机因其在铁路实践中表现的安全性、经济可靠性院原高于继电集中而受到了现代化铁路建设的欢迎.未来建设中,计算机联锁十分具有发展潜力,是火车站联锁设备主要发展方向,而计算机联锁改建施工的顺利程度,是决定车站整体改造是否成功的重要环节.     

铁路信号计算机联锁设备维护与管理

铁路信号计算机联锁设备维护与管理对铁路运输行车安全有着重要的影响,设备维护质量直接影响着信号设备的安全性、可靠性,维护不到位还有可能导致行车事故的发生。所以设备维护管理部门一定要重视铁路信号计算机联锁设备的维修与管理工作,在平时的工作中注意积累维修经验,把握维修要点,总结故障发生规律,有重点的开展维修工作,确保设备的安全运行。本文谈论铁路信号计算机联锁设备维护与管理的方法与措施。     

地铁计算机联锁系统软件开发中的抗干扰技术

地铁计算机联锁软件是一个具有高可靠性、高可用性、高安全性的系统软件,需要在硬件和软件上采取一系列方法来满足用户的需求。重点介绍了在计算机联锁系统中如何实现软件抗干扰的方法,并对每一种方法进行了阐述,这些方法都在实际工程中得到应用,并被证明是用软件抗干扰的有效方法,可以达到最大限度地降低干扰对系统工作的影响,确保系统软件及时发现因干扰导致的程序出错。     

DS6-K5B型计算机联锁系统研究

目前,我国铁路建设进入快速发展阶段,与铁路运营与安全有关的计算机联锁控制系统发展也越来越快,本文以二乘二取二为架构,对DS6-K5B型计算机联锁系统进行了研究.采用中央逻辑控制层、人机对话层、执行表示层设计了DS6-K5B型计算机联锁系统架构,由外部接口模块、站场图形信息查询模块、数据存储模块、软件监控模块、通信模块、远程维护模块组成DS6-K5B的监测系统,应用DS6-K5B联锁系统的进程通信技术和数据压缩技术,DS6-K5B计算机联锁监测系统采用Microsoft Windows作为运行平台,通过在多个车站、客运专线进行应用,结果表明系统的运行稳定性良好,这有力的对各站维护DS6-K5B计算机联锁设备提供了支持,为今后DS6-K5B型计算机联锁系统的研究提供了参考.     

浅谈EI32-JD型微机联锁的构成及故障处理

随着计算机技术的迅猛发展,尤其是对可靠性技术和容错技术的深入研究,计算机联锁技术已趋成熟,在不断地推广使用,朔黄铁路为适应重载铁路大运量的需求,提高设备运行的安全性、可靠性,于2009年将EI32型计算机联锁在部分车站投入使用,结合现场,本文就EI32-JD型计算机联锁设备的组成结构、电源设备、简单故障处理做简要总结.     

软件组件技术在计算机联锁系统中的应用

企业对计算机联锁系统的要求越来越高,使得现有的系统无法从根本上解决问题,施工效率也得不到提高.本文介绍了一套基于软件组件的灵活、通用的铁路信号计算机联锁系统的架构,模块组成等.该套系统不仅提高了施工单位的效率,还给用户节约了资金,加强了性能,从而大大提高了企业的竞争力.     

k5b计算机联锁系统简单故障分析处理

计算机联锁系统是在铁路方面应用最重要的系统之一。计算机联锁系统,是辅助实现铁路的现代化和铁路的自动化的一项重要的基础设施。通过计算机联锁系统的应用,能够实现车站之间的联锁,起到一个高效的、安全的作用。k5b计算机联锁系统故障是在该系统应用中出现的常见问题,对于k5b计算机联锁系统故障进行分析与处理,能够更好地保障k5b计算机联锁系统的正常运行,更好地为我国的铁路部门服务。     

浅析计算机网络安全问题及其防范措施

随着互联网技术的广泛应用,在方便人们日常生活的同时,计算机网络安全问题也日益凸显.本文就计算机网络安全的现状及存在的各种安全问题予以分析,进而提出相应的防范措施,如安装计算机安全防护软件软件、实时监控入侵信息、提高用户的计算机使用能力、对漏洞补丁的及时更新与下载及强化用户账号的安全性等,旨在提升计算机网络安全水平,为社会提供更优质的计算机网络服务.     

世界各国计算机联锁系统的发展

计算机联锁系统的研制成功,填补了我国车站计算机联锁技术领域的空白。计算机联锁系统采用通信技术、可靠性与容错技术以及"故障—安全"技术实现铁路车站联锁要求的实时控制系统。各国计算机车站联锁系统发展迅速,历经二十余年的发展,我国铁路计算机联锁从路外到路内,从小站到大站,至今已有千余个车站使用了计算机联锁系统。     

铁路信号计算机联锁技术及运用之研究

铁路信号计算机联锁技术对铁路正常运行具有非常重要的意义和作用,可以有效提升铁路运行的稳定性和安全性以及高效性,是现代化铁路的重要基础设施。因此,本文主要探究铁路信号计算机联锁技术的应用与研究,从而为铁路信号的智能化与网络化提供了坚实的基础和保证。     

铁路计算机联锁软件测试技术的优化实现

铁路信号的联锁逻辑非常复杂,针对联锁逻辑的测试工作也就十分的艰巨.目前计算机联锁软件测试领域所涉及的测试技术也在不断研究过程中,将Petri网等形式化描述方法引入联锁测试是国内外研究的一个重要方向.介绍了软件测试的一般方法,并引入有色Petri网的概念与特点,将有色Petri网建模方法应用到计算机联锁软件测试技术中,给出一种优化实现.     

计算机联锁系统研究

铁路行车需求量的日益增长,将车站的作业效率与安全提高到了同一重要级别,因此计算机联锁系统应运而生.首先对比了三取二表决系统、双机热备系统和二乘二取二系统各自冗余结构的特点,得出二乘二取二体系结构的计算机联锁系统较其他系统表现突出,其次对二乘二取二体系结构的计算机联锁系统进行了全面系统的分析,具体为通过对结构、原理和功能...     

铁路车站联锁软件进路搜索算法优化

针对大型复杂铁路车站计算机联锁软件进路搜索算法存在回溯搜索的不足,通过对车站联锁软件数据结构和进路搜索算法的具体分析,采用站场型数据结构并对深度优先搜索(Depth First Search,DFS)算法增加约束条件,提出DFS高度无往返优化算法,达到进路搜索高度无往返的优化目标.结合实例仿真,并在包神铁路巴图塔车站进...     

DS6-K5B计算机联锁系统结构和故障分析

信号对于铁路运输来说至关重要,信号技术同时也是保障铁路运输行车安全的重要因素,因此,DS6-K5B计算机联锁设备在越来越多的铁路线上投入运用。文章分析了DS6-K5B计算机联锁系统结构和故障原因,以期确保铁路运输工作的安全。     

浅谈计算机软件安全检测方法

各种软件应用是计算机运作的价值所在，随着网络的进步，软件的安全性也更多地引起了人们的注意，而软件安全检测就成为安全运用软件的重要手段，文章将结合安全检测中容易出现的几个问题进行阐述。     

计算机联锁软件设计和锁闭模块设计

根据计算机联锁软件设计可靠性和安全性的要求，采用统一建模语言UML对其进行建模，可以保证列车安全、高速的运行。     

计算机网络系统弊端及安全软件开发建议

计算机网络系统的开发,网络安全问题首当其冲,建立完整的计算机网络安全管理系统,是保障网络系统正常运行的重要前提.笔者基于网络完全的视角,分析当前计算机网络常见的安全威胁问题,进而研讨如何开发相对应的计算机安全软件,以提高计算机网络系统运行的安全性.     

计算机联锁控制系统的研究与发展趋势

随着科技进步,电气联锁系统正被计算机联锁系统取代。文章介绍和分析了国内计算机联锁运用的现状和存在的问题,从容错技术方面讨论了容错的一般方法和在计算机联锁系统中的应用。描述了国产计算机联锁的发展概况,探讨了计算机联锁系统的发展趋势。