共查询到17条相似文献,搜索用时 62 毫秒
1.
介绍一种新型的无线列车调度系统。重点介绍了系统组成和工作原理、无线基站原理框图、系统比选音调门限电平划分、比选音调识别单元、系统信令分配原则和系统的频率配置。 相似文献
2.
3.
4.
介绍一种基于GPS和GSM的列车调度系统车载台的设计方法.车载台以AT89C52单片机为控制器,使用GPS模块获得列车运行的位置信息,通过GSM模块实现与监控中心的无线通信,从而完成监控中心对管辖区内列车的调度工作.这对列车的高速安全运行和科学管理具有重要的意义. 相似文献
5.
研建专业的列车线路碰撞试验台对于科学再现列车碰撞冲击响应、真实评估列车碰撞安全性能具有重要意义。为满足标准规定的多种碰撞场景下的试验需求,针对列车线路碰撞试验台的线路开展方案设计,实现有限的设计空间内机车驱动加速、碰撞试验以及碰撞后制动等试验过程的合理分配。基于MotionView动力学仿真软件,构建3种碰撞场景下列车的三维多刚体动力学仿真模型,该模型包含驱动、制动和碰撞3种载荷工况。基于MoltionSolve动力学求解器,分别针对3种碰撞场景开展动力学仿真分析,研究不同碰撞场景下各节车辆的运行距离和运行速度随时间变化规律,得到了各个试验过程所需线路的最小长度。研究结果表明:综合考虑3种碰撞场景,最终确定线路设计方案为机车驱动段线路长度为830m,碰撞试验段线路长度为120 m,试验后制动段线路长度为550 m。并通过与一次5编组列车线路对撞试验的对比,验证了提出的线路设计方案的合理性。该线路设计方案完全可以满足碰撞场景1和场景2的所有碰撞试验过程,碰撞场景3的机车驱动加速工况和试验后制动工况可以利用外围环线进行。 相似文献
6.
为进一步提高全自动无人驾驶系统的安全性,采用Petri网理论在全生命周期早期对系统运营场景的实现流程进行形式化建模与验证。选取正线运营中的列车停站这一典型运营场景,进行对象提取与状态分析,结合各对象与库所、变迁的对应关系,建立Petri网模型,并利用仿真软件PIPE对其有效性和正确性进行形式化验证。针对可能出现的异常情况对模型进行优化,设置车门与站台门开关时序,避免乘客拥挤时出现安全隐患。试验结果表明:建立的Petri网模型有界、安全且无死锁,满足列车停站场景功能需求,模型的可靠性和有效性得以验证,为全自动无人驾驶系统的开发应用与安全分析提供理论支撑。 相似文献
7.
8.
9.
10.
探讨了铁路调度集中系统向城轨列车自动监控系统发展的可行性,指出了其中的主要技术差别。提出率先实现列车自动监控系统国产化具有重大的现实意义。 相似文献
11.
分析I-Logix公司的Rhapsody软件的主要特性,在Rhapsody开发环境下对北京地铁1号线的ATP系统车载设备进行UML建模,并介绍系统级调试功能。 相似文献
12.
13.
结合地铁运营的特点,以无线系统和信号ATS系统的系统构成和功能为基础,阐述了无线调度系统实现车次管理的方法。 相似文献
14.
列车调度软件是ATS系统的核心,以往的ATS系统列车调度软件,按照传统的"V"型软件开发流程进行。由于采用手工编码方式,编码工作量大,实现完整测试非常困难,开发出来的软件安全性和可靠性难以保障。提出了以SCADE作为应用开发环境平台,既能够开发出高质量和高可用的软件,又能缩短开发周期降低开发成本,通过对ATS系统中列车调度软件的分析和设计,说明了基于SCADE的列车调度软件设计方法的可行性,同时,在未来ATS系统软件开发中具备广阔的应用前景。 相似文献
15.
16.
由计算机自动进行列车运行的调度指挥,并根据未来运输变化的需要,自动和辅助制定列车运行计划,通过网络传送列车运行调整信息和调度命令,自动进行列车运行轨迹的绘制. 相似文献
17.
CTCS-3级列控系统RBC控车场景建模与验证 总被引:1,自引:1,他引:0
《铁道标准设计通讯》2017,(11):143-147
应用统一建模语言UML与模型检验工具PHAVer(Polyhedral Hybrid Automaton verifier)相结合的方法,研究CTCS-3级列控系统RBC控车场景:列车注册与启动、行车许可、等级转换、列车注销的混成性。首先通过UML支持的扩展机制,引入构造型(Stereotype)对UML进行面向混成性的扩展,建立RBC控车场景UML模型,实现对RBC控车场景混成性的描述。然后依据UML到PHAVer的转换规则,将UML模型转换成PHAVer模型。最后,依据CTCS-3级列控系统需求规范,总结RBC控车场景的功能需求,运用PHAVer进行验证,证明CTCS-3级列控系统需求规范的正确性。 相似文献