XiaoMi-AI文件搜索系统
World File Search Systemrailway
关于政府数字铁路计划和加速部署数字信号技术的政策建议
委员会的结论是，需要改进信号和交通管理技术，才能在英国打造世界一流的铁路网络。委员会支持加快开发欧洲列车控制系统 (ETCS)、交通管理软件和驾驶员咨询系统的想法，但这应取决于对数字铁路业务案例的仔细考虑、资金的明确性以及对该计划将如何影响现有的改进和更新工作计划的清晰理解。
增强地下铁路隧道的活塞效应
列车在隧道中移动时产生的气流可用于地下铁路通风。这种气流的大小在很大程度上取决于列车的阻塞率（列车和隧道横截面积之比）。本研究调查了由于改变列车气动阻力而对产生的气流的影响，以此来改变阻塞率。气动阻力的改变是通过使用不同倾斜角度的机翼来实现的。开发了一种列车穿越隧道的二维计算流体动力学模型，并使用文献中的实验数据进行了验证。然后，该模型用于研究机翼对置换空气量的影响以及对列车所做气动功（列车因空气阻力所做的功）的影响。本研究结果表明，使用固定角度 10 的翼型，通风气流可增加 3%，而不会增加气动功。通过在列车运动的不同阶段使用不同角度的组合，可实现最大 8% 的空气排量增加，同时不会增加列车所做的气动功。这相当于列车产生的空气排量在列车运动期间额外提供 1:6 m3 s1 的空气供应。2016 作者。由 Elsevier Ltd. 出版。这是一篇根据 CC BY-NC-ND 许可开放获取的文章（http://creativecommons.org/licenses/by-nc-nd/4.0/）。
基于模型的铁路关键系统安全系统工程
形式化语言的开发和应用是计算机科学领域的长期挑战。其中一个特别的挑战是工业界的接受度。尽管许多成功案例证明了形式化方法在工业实践中的适用性，但它们在工业界的使用仍然有限。本论文提出了一些基于模型的法国铁路联锁系统（RIS）的建模和验证方法，旨在利用形式化方法有效确保铁路交通安全。本论文主要解决两个问题。第一个问题是用有色 Petri 网（CPN）对联锁系统进行建模。接下来，介绍一个通用而紧凑的建模框架，其中联锁规则以分层结构建模，而铁路布局以地理视角建模。然后，提出一种建模模式。这是一个尊重法国国家规则的参数化模型。它是一个通用的可重复使用的解决方案，可以应用于不同的站。然后，将基于事件的概念引入 RIS 低级部分的建模过程，以便更好地描述基于低级继电器的联锁逻辑的内部交互。第二个问题是将有色 Petri 网转换为 B 机，这可以帮助设计人员从分析到实现。引入了一种描述 B 机中的多集及其行为的机制，以允许
了解人为因素对澳大利亚铁路事故和事件的影响
审查了 40 份铁路安全调查报告，并采用了一个理论框架（人为因素分析和分类系统 (HFACS)）作为识别与澳大利亚铁路事故/事件相关的错误的手段。总体而言，HFACS 被证明在对现有调查报告中的错误进行分类以及捕获所有相关的铁路人为因素数据方面非常有用。结果显示，近一半的事故是由设备故障引起的，其中大部分是由于维护或监控程序不足造成的。在其余情况下，注意力不集中（即基于技能的错误）与警觉性下降和身体疲劳有关，是导致事故和事件的最常见不安全行为。设备设计不当（例如驾驶员安全系统）经常被认为是组织影响因素，并且可能导致因注意力不集中而导致的事故/意外事件数量相对较多。几乎所有事故都与至少一种组织影响有关，这表明资源管理、组织氛围和组织流程的改进对于减少澳大利亚的事故和意外事件至关重要。未来的工作将旨在修改 HFACS，以生成特定于铁路的框架，用于未来的错误识别、事故分析和事故调查。© 2008 Elsevier Ltd. 保留所有权利。