计算机联锁软件安全性测试评估研究和实践

阐述了铁路计算机联锁软件安全性质量评价的概念．介绍了服务于安全性质量保障的联锁软件测试的原理和所开发研制的通用自动化测试评估平台。文章对8年来利用平台所进行的计算机联锁制式测试、制式复查测试和现场联锁软件抽样测试的结果进行了介绍和分析．从中可以了解软件安全性测试在我国目前计算机联锁软件安全性质量管理中的重要作用。     

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

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

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

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

我国铁路计算机联锁发展的启示与展望

我国铁路计算机联锁的研究与应用,起步于20世纪80年代。随着我国铁路实施第六次大提速,对计算机联锁系统的安全性和可靠性提出了更高的要求,铁道部制订了一系列规范、标准、要求和规定,实施制造特许证、制式合格证和产品合同证的三证管理,并不断完善和提高计算机联锁系统功能。我国铁路计算机联锁按照系统工程理论进行设计,实现“设备集中,结构合并,功能模块,信息共享”的一体化,强化“计算机联锁系统技术标准”的权威性和严肃性,提高计算机联锁系统智能、自检、互联能力,积极开展安全评估认证工作。     

计算机联锁标准站研究

本文针对测试计算机联锁系统时采用的标准站,分析了该站的具体构成要素,阐述了标准站对联锁软件的技术要求及其中的技术难点,描述了继电联锁存在的一些问题,并介绍了计算机联锁软件处理一些联锁问题可采用的方法和措施。     

计算机联锁过渡施工新方法

介绍了由继电联锁的6502电气集中制式转换成计算机联锁制式，以计算机联锁为平台进行站场改造时的过渡方法，并对其安全性、经济性、可靠性进行了分析。     

计算机联锁标准站研究

本文针对测试计算机联锁系统时采用的标准站，分析了该站的具体构成要素，阐述了标准站对联锁软件的技术要求及其中的技术难点，描述了继电联锁存在的一些问题，并介绍了计算机联锁软件处理一些联锁问题可采用的方法和措施。     

计算机联锁系统供电电源探讨

计算机联锁是目前我国铁路车站的主要联锁控制系统,对系统的故障-安全及可靠性要求极高.十几年来,已有双机热备、三取二以及二乘二取二等制式的计算机联锁系统通过铁道部鉴定并上道使用.但是从多年的应用实践中或多或少地发现,各种制式的联锁系统中电源供电的可靠性存在一定的问题,从这个角度来说在一定程度上降低了计算机联锁的系统可靠性.本文将对计算机联锁系统电源供电存在的问题进行初步分析及探讨.     

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

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

基于测试用例的通用联锁规则自动测试系统

为提高通用联锁规则测试效率和准确率,解决当前人工测试方式重复劳动多且颗粒度较大的问题,研发一种基于测试用例的通用联锁规则自动测试系统。根据计算机联锁系统的物理架构,模块化仿真各子系统,以减少对硬件设备的依赖。系统可读取、解析并自动执行测试用例,将测试用例中定义变量的预期跳变时序解析为以指定变量为基准的相对周期,并建立一定顺序的“变量-跳变周期”矢量关系链表;同时,周期性地追踪关键变量,将测试结果与预期的矢量关系链表进行对比,以识别通用联锁规则中可能的时序问题。该系统已多次应用在国铁、城轨等相关项目的联锁规则测试中,效果良好,可为同类型项目测试提供参考。     

德国与我国机车车辆用螺栓技术的对比分析

介绍DIN25201《铁路车辆及其部件的设计准则螺栓连接》对紧固件的风险等级分级、设计、防松和安装等要求,并与我国目前铁路用螺栓紧固件实际应用情况进行对比分析,列举我国机车车辆用螺栓在应用上的一些成绩和存在的差距,推广先进的紧固件应用理念。     

我国列车通信网络的发展与应用

简述与列车通信网络有关的一些计算机局域网的基本概念和现场总线的情况，重点叙述列车通信网络在我国的发展与应用情况，提出作的一些看法。     

组建网站常用技术的研究与实现

作者在开发网站的实际工作中,对网站的运行平台,Web服务器和响应的开发工具记性了研究,对所采用的开发工具,在使用的过程中进行了比较,,结合网站的开发实践,给出了组建网站所使用的技术及网站的Web服务器配置的实例.     

盾构隧道管片螺栓烧熔的结构安全分析与加固

介绍地铁区间隧道发生的罕见接触网短路事故:由于短路电流,造成盾构隧道管片螺栓烧熔,产生高温引起管片破损,使止水条变形漏水.为确保运营隧道的安全,对受损管片钢筋及混凝土进行检测及鉴定分析,并对该区间管片受损段进行深入的数值模拟分析,在此基础上完成管片的修复加固设计.     

盾构工程在岩溶发育区的综合技术与实践

论述在岩溶发育区盾构施工需考虑突水、地表塌陷、岩溶顶板塌陷、盾构机体下垂等风险。在运营期间,车辆振动可能引发地表塌陷、管片下方溶土洞坍塌,导致车辆运行存在风险。广州地铁在岩溶发育区的多条线路采用盾构施工,大多于2010年底投入运营。结合岩溶发育区盾构工程实践,总结、思考广州地铁在勘察—设计—施工建设全过程的综合处理技术。     

基于ARX的铁路涵洞CAD的开发探讨

结合青藏线《新建铁路涵洞辅助设计软件》和宝兰二线《增建二线铁路涵洞接长CAD》开发应用中的经验，提出了在Windows操作系统下基于ARX做铁路涵洞CAD二次开发的方法，并对开发流程、ARX的原理、MFC的应用、数据库、32位的动态链接库等技术做了阐述。     

关于交直流传动电力机车轮轨防擦伤的研究

针对既有防空转防滑行系统存在的不足,通过理论分析、大量实践调研,并参考国内外最新研究成果,开发了新型防空转防滑行系统。新系统能实时检测各轮对黏着状态,自动控制达到最大牵引力,在大秦线SS4改型机车的运行考核中取得良好效果。     

RADIUS服务器的模块化及多线程实现

介绍了远程认证拨号使用服务的服务器的功能和应用,并且提出了一种运用面向对象和多线程的技术,对远程认证拨号使用服务的服务器功能进行实现的方法.     

Internet个人主页服务的实现方法

作者阐述了使用HTTP服务器Apache 1.3实现个人主页服务的方法,并提出了在个人主页管理中遇到的问题和解决的方法.     

轨道刚度及谐振阻尼器对钢轨波浪磨耗增长和振动水平的影响

通过对我国几个具有不同轨道刚度和钢轨阻尼的地铁轨道系统进行检测分析,介绍轨道系统钢轨的振动水平和波浪磨耗增长,与轨道刚度和钢轨谐振阻尼的关系。在每一个测试线路段,对钢轨表面粗糙度(包含波浪磨耗)的测试都在一定的时段间隔对同一测试位置重复测量,测试结果提供了很有价值的数据,能够在一个中长期范围内对钢轨粗糙度的增长和轨道钢轨振动水平的变化进行对比和分析。通过测试结果可以明显看出,在刚度较高的轨道上,钢轨的粗糙度较高,而在安装了谐振式阻尼扣件的线路上,钢轨粗糙度反而有所下降。与普通扣件的轨道相比,安装低刚度谐振式钢轨扣件的轨道,其钢轨本身在垂直方向及横向振动水平均有所下降。