作者：王霞,刘宁,王恪铭 单位：国家发展和改革委员会综合运输研究所 出版：《综合运输》2019年第02期 页数：8页  （PDF与DOC格式可能不同） PDF编号：PDFYSZH2019020130 DOC编号：DOCYSZH2019020139 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 铁路平交道口作为铁路安全的瓶颈，其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车，对于双线双向接车没有给出详细的规范。为了丰富实际流程，基于道口管理规范，探讨双线双向道口连续接车的问题，同时考虑道口接车作业流程中存在的异常，提出流程方案。分析系统环境属性、功能属性和安全属性，并利用UPPAAL时间自动机进行建模仿真，对模型的属性进行验证，根据验证结果确认方案流程的可行性。结果表明，本文所提出的多参数道口作业流程更符合实际情况，改进了多列车接车流程，并提出了接车过程中异常情况下的应对方案。

    📙 相关资料

    1. 《基于时间自动机的温室环境监控物联网系统建模》PDF+DOC 由于温室环境的复杂性，系统设计的不合理会直接导致数据的不确定和系统的不稳定。基于体系结构的物联网层次模型对物联网的实施具有指导意义，但是体系结构模型没有提供系统建模工具和模型验证的方法。基于时间自动机理论的建模与模型验证方法是一种对物联网系统建模的有效手段，能在系统设计时提高系统的稳定性，保证系统设......
    2. 《铁路道口智能防护系统研制》PDF+DOC 铁路道口作为铁路安全的薄弱环节，人身伤亡安全事故时有发生。随着铁路运营里程和速度地不断提升，铁路道口的安全防护压力也越来越大。通过调研道口现有安全防护设备现状，采用先进安全控制理念和数字控制技术，研究一套铁路道口智能防护系统，以有效防范道口安全事故的发生。...
    3. 《企业铁路道口智能集控系统》PDF+DOC 1 前言 工业企业共拥有平交道口一万多处，其中60％以上是三、四级无人看守道口。此外，企业内还有许多临时道口和车辆行人通行便道，有众多铁路线进入车间、仓库，火车推进式进入这些环境噪声大、光照不良、作业人员注意力集中的场所。由于这些道口情况复杂，道口安全防护设施的装备率不足6％，因此企业铁路道口成为企......
    4. 《用超声波探测道口障碍物的道口安全新技术》PDF+DOC 运用高新技术有效管理道口安全是目前迫切需要解决的课题。介绍了利用超声波传感器探测道口障碍物的新型装置，阐述了该装置的结构、工作原理与特征，并具体分析了超声探测的方法及探测范围。...
    5. 《铁路道口预警与防护系统综述》PDF+DOC 铁路道口一直都是铁路安全的薄弱环节，事故频发，威胁着人们生命财产的安全。铁路道口预警与防护系统的出现为保障道口附近的安全提供了一种方法，达到了减员增效的目的。文章介绍了6种具体的道口预警与防护设备，简述了相关的检测原理；同时介绍1个系统的4个重要组成部分，各部分涉及的检测方式及其工作原理，并对各方式......
    6. 《基于UPPAAL的数据关联时序有限自动机模型验证》PDF+DOC 对数据关联过程建立了时序有限自动机模型，时序有限自动机时钟变量只取整数值，从而减小数据关联过程生成的状态空间。在一定的时间约束下，使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性。...

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。