基于离散事件系统的客运专线车站作业仿真系统研究

客运专线动车组运行具有小编组、高速度和高密度的特点,客运专线车站作业组织中对时间要求严格,作业复杂性增加,使得在实际运营过程中很难用公式对其车站各种能力和指标进行准确描述,而系统仿真则是解决这一问题的有效方法.进行客运专线车站作业系统仿真的研究可以为客运专线车站设计提供支撑和建议,为运营提供可靠的参考数据.车站作业系统是一个典型的微观离散事件系统,旨在此系统理论基础上研究客运专线车站作业仿真的方法,构架仿真系统结构,建立车站作业仿真模型,设计咽喉区进路排列优化高速算法与到发线运用问题的解决方案等,在此基础上开发客运专线车站作业仿真系统,证明论文所研究车站作业仿真模型、子模型及选择的仿真策略的有效性.     

基于GIS的铁路选线智能环境及领域本体建模方法

提出基于GIS的铁路选线智能环境(GBRLIE)的智能选线综合解决方案。铁路选线智能环境的既有研究,以及GIS技术、人工智能技术和其他计算机技术的发展为解决方案的研究奠定了基础。在GBRLIE的知识表达上,本体提供了信息共享、互操作的中间件,可保证知识系统从概念分析到系统建立的概念一致性,能保持数据和知识的语义统一。本体位于GBRLIE的逻辑表示层,包括领域本体、方法本体和应用本体。领域本体是对研究领域可共享和重用静态知识的描述,采用UML和面向对象技术进行表示,可克服专用本体描述语言和表示方法的不足。领域本体的形式化描述把关系和规则当作概念处理,用UML表示本体、概念、关系、规则、约束、公理。应用提出的领域本体表示方法描述了铁路选线几何构成本体,列出选线设计中的部分规则及约束。     

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

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

铁路危险货物运输自动配装技术的研究

分析影响危险货物运输安全的各种要素,研究危险货物配装表、危险货物配装经验的规则提炼和一阶谓词逻辑描述.在此基础上,提出一种基于多Agent系统的分布式专家系统,包括基于框架和产生式规则的混合知识库设计以及基于多Agent的竞争、协同优化配装系统实现.研究表明,多Agent自动配装专家系统能够有效组织、管理和运用危险贷物运输自动配装的启发式知识,显著提高配装效率,降低配装作业技术要求,具有较高的实用价值.     

基于元模型的通用性列控仿真平台基础环境研究

为实现列控仿真系统可重用性、可扩展性及可组合性的目标奠定底层基础,提出将列控系统分为控制器和控制对象,即列车控制策略和列车运行基本环境,在列控仿真系统中将控制器和控制对象分离设计。通过总结不同轨道交通系统运行的共性特征,将线路拓扑结构、列车模型和驾驶模型作为列车运行基础环境的3部分,采用元模型思想形式化描述列车运行基础环境的3部分,设计了基础线路数据库与仿真线路拓扑结构映射的关键算法和列车运行规则。采用高速铁路线路数据实现了列车运行基础环境,结果表明:所做研究在满足列控仿真平台需求的基础上,达到了列控仿真系统平台运行基础环境通用性目标。     

角色自律分散系统的RN-C形式化描述方法

旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点.     

客运专线综合防灾安全监控仿真系统的设计与开发

为了开发客运专线综合防灾安全监控系统,在实验室局域网环境下搭建综合防灾安全监控仿真系统。仿真系统采用基于面向服务的系统架构,由调度中心级防灾监控子系统、站段防灾监控子系统和现场监测子系统组成。仿真系统网络由调度中心与车站间通信网络、车站综合信息网络、区间与车站通信网络构成。利用半实物仿真技术进行仿真系统设计,将现场监测传感器和数据采集器作为实体引入仿真系统,验证了现场数据采集、数据处理与传输的实时性与完整性,实现了对风、雨和温度等灾害信息集中监测、报警预警、事故管理、综合查询、统计分析等功能。本仿真系统已在客运专线防灾安全监控系统的初步设计方案中得到应用。     

基于知识工程的码序集中智能评测研究

依据知识工程的概念,将轨道电路码序规范抽象为规则,进而将码序的生成逻辑以基于规则的知识表示方法加以描述,研究了一种适用于客运专线,并可集中对全线码序进行智能动态实时评测的方法。     

基于动态贝叶斯网络的接触网系统可靠性研究

针对传统可靠性研究方法在进行接触网系统可靠性建模与分析时存在的不足之处,利用动态贝叶斯网络技术对接触网系统在考虑维修因素和不考虑维修因素情况下的可靠性进行动态估计,并识别出系统的薄弱环节.在建立接触网系统故障树模型的基础之上,根据故障树中逻辑门向动态贝叶斯网络的映射规则,建立接触网系统的动态贝叶斯网络模型.利用动态贝叶斯网络的双向推理功能对模型进行求解,正向推理得到接触网系统可靠度和可用度随时间的动态演变规律,并进行比较分析;反向推理完成对接触网系统的故障诊断,找到影响系统可靠性的薄弱零部件.研究结果表明:所提方法能够很好地描述接触网系统的动态特性和可维修性,分析结果可以为系统的智能维护、日常检修提供参考.     

客运专线CTCS-3级列控系统无线闭塞中心的建模与验证

本文分析客运专线CTCS-3级列控系统中无线闭塞中心(RBC)子系统软件的功能和性能约束,在此基础上采用时间自动机理论进行RBC子系统形式化语义描述,建立TER-QSR时间自动机网络模型,并应用UPPAAL验证工具对RBC子系统进行仿真分析,验证RBC的安全性(Safety)和受限活性(Bounded Liveness),同时进行RBC切换时间的优化。     

TBM上PLC系统的抗干扰技术

TBM由PLC系统集中控制,对液压系统的温度、液位、压力、转速及机械机构的动作进行检测,使之按照设定的程序运行．从而完成各种工作状态。对PLC控制系统各种干扰因素进行分析,并在抗干扰设计中采取多种抗干扰措施,从而有效地抑制干扰,使PLC控制系统正常工作。     

全路信息系统时钟同步的实现

从铁路信息系统的实际情况出发,阐述了时钟同步的意义,时间基准的选取以及时间信息的传播,并在此基础上提出了一种精度高、可靠性好、成本较低并满足铁路信息系统对时钟精度的要求的时间同步方案.     

避雷器分布对雷击跳闸率影响探讨

以京沪高速铁路接触网设计中的防雷措施为例,针对该线情况进行了理论分析和模拟计算,通过对避雷器分布方式与雷击跳闸概率关系的分析,提出了依据不同雷区等级差异设置避雷器,最后对避雷器的设置分布和安装方式提出了建议。     

负弯矩作用下结合梁挠度计算方法研究

钢－砼结合梁在负弯矩作用下，随着荷载逐渐增加，混凝土板中的裂缝不断产生和发展，梁的刚度也随之逐渐下降，荷载－挠度关系趋于非线性，因而材料力学中求挠曲线的二次积分法对负弯矩作用下的砼－钢结合梁无法获得解析解。本文提出了求钢－砼结合梁负弯矩作用下挠度的数值积分法，把非线性问题转化为短区间的线性问题，推导了计算公式，建立了计算模型，编写了电算程序，通过反复迭代计算先获得结合梁截面的弯矩－曲率（M－φ）关系，再根据这一关系进一步求得结合梁各截面的给定荷载下的挠度，从而可绘出梁的某一级荷载下的挠曲线或某一截面的荷载－挠度（P－Δ）曲线，本文利用编写的电算程序对芜湖桥的两根大型试验结合梁T1，T2梁进行了试算，并与实测结果进行对比，计算结果与实测结果吻合较好。     

房间式客车空调机组性能检测装置的研究

介绍了房间式铁路客车空调机组性能检测装置,经实际使用,取得比较理想的效果.     

铁道行业监理现状分析

铁路工程建设实行监理，对于提高铁路工程建设管理水平，控制质量，取得了明显的成效。此对铁道行业的监理情况进行了简单的介绍，并重点分析了施工监理中存在的问题和监理工作的前景展望。     

既有线提速接触网锚段关节改造方案的优化

对哈大线接触网锚段关节的设计特点进行简要分析,提出了我国电气化铁路接触网锚段关节设计存在的问题和改造方案。通过论证后指出,我国既有线已采用的3跨、4跨锚段关节稍加改造,即可满足列车2 0 0km/h运行速度需要