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

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

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

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

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

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

形式化方法在铁路信号系统软件设计中的应用

首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP软件的移动授权分配功能规格进行了实例说明。     

铁路信号联锁逻辑形式化建模研究

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发，还是对联锁软件的测试都是非常重要的。 铁路大站的联锁逻辑十分复杂，对其进行形式化描述是一项艰难的工作。目前，国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念，采用层次化有色Petri网，以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的，以车站联锁设备的层次化有色Petri网模型为背景，介绍了铁路车站信号联锁逻辑的形式化描述的基本方法。     

铁路车站计算机联锁软件研究与设计

计算机联锁是铁路车站的重要系统之一,主要是控制列车在站内的安全运行。联锁系统分硬件和软件系统,联锁逻辑运算模块是计算机联锁软件系统的核心,其完整性和优越性决定着联锁系统的功能和性能。针对基于"与或"逻辑的联锁软件逻辑繁琐、集成度和可移植性差等问题,在采用模块化思想和结构化语言的基础上,通过分析联锁逻辑运算模块的功能需求和实现方法,设计了详尽的软件执行流程。通过实际应用,结果表明采用模块化结构和结构化语言的联锁软件功能完善,具有良好的可维护性和可移植性,符合计算机联锁技术条件第8条规定。     

联锁系统UML模型的建立与形式化验证

针对目前计算机联锁系统建模与验证难度较大的问题,提出一种UML(Unified Modeling Language)与NuSMV(New Symbolic Model Verifier)相结合的计算机联锁模型形式化检验方法。以一个标准站场中的一条接车进路建立过程为例,对联锁系统需求进行分析并通过UML建立相应的模型,再列出它与NuSMV之间的映射关系并实现将UML模型自动转换为NuSMV形式化模型,最后完成对计算机联锁系统的验证,检测其需求中可能存在的漏洞。该方法能够降低对计算机联锁系统形式化建模与验证的难度与减少人工建模时可能出现的错误,为计算机联锁系统形式化模型的建立与验证提供一种新思路。     

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

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

铁路信号安全关键软件形式化建模

针对现行建模方法不能满足铁路信号系统安全关键软件的时钟约束需求和模型复杂度较高的问题,分析SyncCharts建模方法,针对其缺少形式化规范和时钟约束的问题,扩展出具有时钟属性的Timed SyncCharts建模方法。首先,采用Z语言系统地给出了Timed SyncCharts的形式化定义;其次,结合Timed SyncCharts的组件元素,确定Timed SyncCharts的宏步转移机制;然后,提出将Timed SyncCharts转化为Kripke结构的规则,保证了模型分析的可行性;最后,建立计算机联锁软件道岔定位需求的Timed SyncCharts模型,证明该方法的可行性和有效性。     

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

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

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

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

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

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

铁路轨枕现状及发展

研究目的:本文对轨枕的主要功能和分类方法加以论述,同时简述我国铁路轨枕的发展过程及存在的问题。研究方法:通过搜集资料了解我国铁路轨枕及城市轨道交通轨枕的发展历程;总结轨枕分类方法;介绍木枕、混凝土枕及城轨交通用特殊轨枕的主要特点,并调查研究了各类轨枕在设计、制造、使用、养护维修中存在的问题。研究结果:提供了先进国家适用于高速铁路轨枕的发展动态,以及我国已运营4年的秦沈客运专线用轨道板和正处于设计招标阶段的京津城际轨道交通用轨道板等信息。研究结论:我国铁路轨枕及城市轨道交通轨枕的发展应遵循:增加混凝土枕类型以满足不同铺设条件的需要;提高混凝土枕的使用寿命,并开发研制轨枕新品种,适应我国铁路高速、重载以及城市轨道交通迅猛发展的需求。     

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

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

基于HHT方法的电气化铁道谐波检测与分析

将希尔伯特-黄变换(HHT)方法用于电气化铁道谐波检测中.由于电气化铁道谐波电压、电流信号中基波能量很大,其它次数的谐波能量相对较小,使得经验模态分解 (EMD)方法在应用中出现模态混叠现象,不能准确地提取任意频率的谐波信号.为改善经验模态分解过程中产生的模态混叠现象,本文采用Yang提出的基于Fourier变换的EMD方法对电气化铁道谐波信号进行筛分.通过该方法可以有效地提取出任意频率的谐波分量,进而计算其Hilbert谱.通过对电气化铁道牵引变电所实测谐波电压、电流数据进行分析,结果表明:利用改进的HHT方法可以得到电气化铁道各次谐波准确的时频分布.最后通过HHT方法计算出各次谐波电压、电流含有率及总谐波电压、电流畸变率,并对计算结果进行分析.HHT 方法为电气化铁道谐波检测与分析提供了一种新的途径.     

提高铁道基础结构的可靠性 确保铁路运输安全

本文对 1999年得到欧盟批准、并由欧盟提供所需资金之半数的课题项目 :“适用于铁道基础结构之作业和后勤保障的方法”的背景做了简要介绍。从安全和可靠性、以可靠性为中心的维修及其实际应用、铁道的基础结构及风险等方面 ,论述了提高铁道基础结构机械装置的可靠性对确保铁路运输安全的重要意义。     

基于模糊综合评价理论,实现减速顶制造、维修质量的有效评估

结合减速顶的生产、维修实际,分析基于模糊综合评价理论进行减速顶的制造、维修质量评估的必要性,同时建立模糊评价的数学模型,并对实例进行模型设计和计算,为减速顶生产、运用、维修质量评估提供一条新思路。     

细水雾自动灭火系统及其在地铁的应用

对细水雾灭火系统的定义、分类,灭火机理以及在地铁的应用情况进行了简要介绍。     

ATS子系统单播泛洪引发网络风暴仿真及网络优化

列车自动监控(ATS)子系统网络的稳定和优化,关乎整个信号系统的稳定和安全。以真实线路硬件和组网方式为基础,模拟仿真了网络中的单播泛洪网络风暴,收集了第一手的数据资料,并对数据通信系统(DCS)网络结构优化做了进一步的分析。     

铁路地理信息系统研究

铁路地理信息系统是一个利用计算机网络技术,采用分布式数据库系统建立的专业化管理与决策空间信息系统,支持管理和科技人员快速查询全国铁路资源及铁路沿线环境状况,实现政务办公、综合分析、战略决策、信息管理等方面自动化,以及防治铁路灾害决策科学化。本文从我国铁路地理信息系统的需求分析入手,探讨全国铁路地理信息系统的总体设计。