张爱玲
- 作品数：3 被引量：8H指数：2
- 供职机构：兰州交通大学自动化与电气学院更多>>
- 发文基金：铁道部重点科技项目更多>>
- 相关领域：交通运输工程自动化与计算机技术更多>>
- 基于CPN的切换模式下行车许可生成过程研究被引量：2
- 2012年
- 文中针对高铁列控行车许可存在的规范化设计问题,根据CTCS-3级列控系统RBC行车许可的生成机制,设计了一种基于Petri网理论的行车许可生成的模型,并运用CPN-Tools仿真工具动态仿真了CTCS-3级列控系统下的RBC切换模式的行车许可生成过程,观察相邻RBC交接时列车运行过程中的通信机制及信息传输,最后通过分析模型的一些性能验证了该模型的正确性。为行车许可模块的设计提供一种规范的正确的软件设计方法,减少软件开发过程中存在的一些缺陷,使列车运行更安全更可靠。
- 张爱玲徐智宗岩康健
- 软计算技术在铁路智能分布监控系统中的应用研究
- 党建武王阳萍赵庶旭马宏锋闵永智陈永李珺张霞胡岳鹏周振华王印明宗岩樊永霞张爱玲
- 该项目以软计算方法及其融合理论为研究基础，将软计算、多智能体、模式识别与图像处理理论相结合研究铁路综合分布监控系统中环境异物检测、列车号识别及分布式监测与控制三个子问题，成功研发铁路运营与安全综合监控系统。该项目能够为铁...
- 关键词：
- 关键词：软计算方法交通运输工程
- CTCS-3级列控系统RBC行车许可生成的形式化建模与分析
- CTCS-3级列控系统是我国在引进国外新技术并不断消化吸收再创新的情况下,研发出的适合本国国情的列控系统。目前我国铁路正大力应用和研究该系统,它极大地提高了铁路运输的可靠性、安全性。但是根据我国铁路的基本国情,列控系统仍...
- 张爱玲
- 关键词：CTCS-3级列控系统着色PETRI网
- 文献传递
