国家科技支撑计划(2009BAG14B01)
- 作品数：15 被引量：91H指数：6
- 相关作者：马连川罗仁士唐涛陈黎洁宁滨更多>>
- 相关机构：北京交通大学北京市基础设施投资有限公司北京交控科技有限公司更多>>
- 发文基金：国家科技支撑计划国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：交通运输工程自动化与计算机技术电子电信更多>>
- 贝叶斯网络在轨道交通屏蔽门系统安全分析中的应用被引量：9
- 2011年
- 安全是城市轨道交通的重要因素。随着轨道交通系统复杂度的不断提高、系统动态性和可维修性的不断增加,典型的故障树法和事件树法已经不能满足系统的故障预测与故障定位分析。探讨了使用贝叶斯网络进行轨道交通屏蔽门的安全评价。这是首次将贝叶斯网络引入轨道交通系统的安全分析中。建立了轨道交通屏蔽门系统模型,构造了轨道交通屏蔽门的贝叶斯网络,分析造成屏蔽门夹人这一危险源的原因和后果;同时比较了贝叶斯网络安全分析法与经典分析法的结果。结果表明,静态的贝叶斯网络在分析上可以作为经典故障树法和事件树法的综合分析法,其双向推理可以在相应的证据输入的支持下获得系统的故障预测概率,并判断出故障发生后系统部件对故障的贡献概率,从而为系统的设计和维护提供建议。
- 商晖燕飞李开成
- 关键词：贝叶斯网络城市轨道交通
- 基于模型的安全比较核设计
- 2011年
- 目的研究安全比较核的结构,并应用于2乘2取2结构的安全系统.方法利用Simu-link和其相关工具对安全比较核进行建模与验证,使用Simulink HDL Coder对所建模型进行自动代码生成,将生成的代码和工程应用于Altera Cyclone II系列的EP2C5T144芯片进行实物测试,在FPGA上将其实现基于模型的设计.结果便于产品的修改和维护.设计过程不需要编写代码,相比于传统的设计方法节省了近50%的时间,有着更高的可靠性,并且在FPGA资源的消耗上减少了约10%.结论基于模型的设计方法在设计流程的任何阶段都可以对模型进行修改,而不会影响之前的工作,有着极高的效率.标准化的自动代码生成也保证了其可靠性.该设计方法有很强的应用价值.
- 刘明端穆建成马连川尚麟宇
- 关键词：SIMULINKHDLCODERFPGA
- 基于单车仿真和作图解析的城轨折返能力分析方法被引量：3
- 2011年
- 针对线路折返能力的公式解析法和图解法目前所存在的缺点和不足,提出了1种借助单车仿真及作图解析法来分析城市轨道交通线路折返能力的方法。该方法采用简化线路布置图和简化的列车运行时间-距离示意图的方法使列车相互之间限制条件的分析变得简单直观,为复杂的折返方式提供了1种通用、简洁、直观的分析途径;该方法对关键点的计算确定以及列车的仿真不仅参照ERTMS/ETCS等国际标准充分考虑了列车模型相关参数,还考虑了同类信号系统的控车模型以及信号系统工作设计流程。应用该方法对北京亦庄线宋家庄站进行折返能力分析,通过与实际列车运行数据进行比较,证明该方法是有效的,分析结果与实测数据基本一致。
- 马琳陈德旺
- 关键词：信号系统
- 列车运行控制系统中安全通信协议的形式化分析被引量：11
- 2012年
- 安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修改后的安全通信协议进行研究,综合安全层、信道与应用层模型提出无线通信系统模型的分层结构,通过改变信道与应用层模型的参数,分析修改的安全通信协议中安全连接建立的时间特性。分析结果表明:信道丢包率为0.1、0.05、0.01的情况下,修改的安全通信协议安全连接建立时间特性是符合规范要求的。
- 陈黎洁单振宇唐涛
- 关键词：安全通信协议ETCS有色PETRI网形式化分析
- 一种城轨移动闭塞正线通过能力的分析方法被引量：2
- 2012年
- 针对目前能力分析方法存在列车运行间隔与设计间隔差异很大的问题,本文提出了借助计算机单车仿真及作图解析法来分析城轨移动闭塞正线通过能力的方法。该方法结合信号系统ATP/ATO控车模型进行单车仿真和能力分析,借助作图解析法进行分析,同时考虑了联锁或运营限制条件对能力造成的影响。通过设计间隔计算结果与实测结果对比可以看到,实测结果与设计间隔的平均误差为0.4 S。数据表明,运用该方法可以得到接近实际的分析结果。
- 马琳陈德旺吴智利
- 关键词：城市轨道交通
- 考虑ATP限速的ATO控制算法研究被引量：23
- 2012年
- 一般列车自动运行(ATO)控制算法不直接考虑列车自动防护系统(ATP)限速的约束,因此可能造成列车在正常运行情况下的紧急停车。本文提出一种基于模型预测控制MPC(Model Predictive Control)的ATO控制算法,在控制器设计中直接考虑ATP限速约束,能够保证在ATO控制列车正常运行情况下不会触发ATP紧急制动,从而提高列车运行效率和舒适度。仿真结果表明该方法是有效的。
- 王义惠罗仁士于振宇宁滨
- 关键词：列车自动控制模型预测控制
- 考虑乘客流影响的列车运行调整难点研究被引量：6
- 2011年
- 本文针对基于通信的列车控制(CBTC)系统中列车运行的特点,研究了运行调整中的难点问题—晚点传播,即在前行列车发生初始延误的条件下,引起后行列车或其自身的后效晚点现象。分析了乘客流对列车晚点的影响,在建立列车停站模型时,考虑乘客流的影响,提高该系统的可行性。建立了以列车总晚点时间为优化函数的运行调整模型,最后利用matlab中的遗传算法工具箱对此进行求解,实验结果显示了该模型应用于实际运行调整时的可行性和有效性。
- 徐蒨郜春海曹芳
- 关键词：CBTC系统运行调整遗传算法
- 基于行为反应控制的UCAV自主航路规划研究被引量：5
- 2010年
- 无人作战飞机(UCAV)自主航路规划整个过程是动态、实时、局部的,环境信息是不确定的,其研究的主要目标不同于一般航路规划,不仅要使无人作战飞机获得优化的航路,更重要的是让其具备自主寻求最优航路的能力。文章从混合主动控制的观点出发,设计了一种基于行为反应控制的自主寻优方法。采用分级组合的方法建立了航路规划模型,底层将任务目标作为李雅普诺夫行为控制函数,建立了航路优先级模型,上层利用多目标决策算法进行自主航路选择。并利用突发局部威胁进行了仿真实验,结果表明了系统设计的合理性和有效性。
- 聂文华薛燕荣
- 关键词：无人作战飞机
- CBTC列车安全定位中通信中断时间的研究被引量：7
- 2012年
- 通信中断的存在会对目前城市轨道交通的CBTC列车安全定位产生影响,进而影响列车安全间隔距离。CBTC车地通信系统大多采用无线局域网技术。越区切换中断是导致通信中断的主要原因,根据IEEE 802.11协议的越区切换流程,本文推导出越区切换中断时间与列车速度的关系表达式,在此基础上根据安全定位的实现方法和移动闭塞系统中列车安全间隔距离的计算方法,推导出通信中断时间与影响安全定位的因素之一——估计的运行距离及列车运行安全间隔之间的关系表达式。建立两列列车追踪运行模型,仿真不同通信中断时间下两列车的追踪间隔距离。采用此关系表达式进行理论计算的结果与仿真结果验证了通信中断时间与估计的运行距离及列车运行安全间隔的关系表达式是合理的。
- 刘宏杰陈黎洁
- 关键词：通信中断越区切换
- 铁路避撞系统RCAS的关键问题研究被引量：9
- 2012年
- 基于车-车通信的铁路避撞系统RCAS(Railway Collision Avoidance System)使列车能周期地获取邻近区域的运行状况信息,若有潜在的碰撞危险则向司机发出警告并给出建议,从而避免碰撞事故的发生。此系统独立于传统运营机制下的安全设备,可提高列车运行的安全性,且具有提高效率的潜能,可缩短相邻列车的追踪间隔。本文详细论述RCAS的体系结构、定位算法、通信机制及碰撞检测机制,并根据目前研究现状展望将来的研究方向,以期对我国铁路发展提供参考。
- 王义惠罗仁士曹芳宁滨
- 关键词：铁路避撞列车控制
