排序方式: 共有364条查询结果,搜索用时 0 毫秒
271.
CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法. 相似文献
272.
273.
本文从网络化角度概述轨道交通自动售检票系统读写器建设的目标,按读写器软件和硬件两个部分阐述苏州轨道交通关于读写器的具体建设思路,并总结在该思路指导下具体的实施体会,可对其他城市地铁建设提供一定的参考. 相似文献
274.
275.
276.
277.
278.
快速公交因其大运量、快速、舒适、安全、环保、成本低等优点在国内外各大城市迅猛发展,在解决城市交通问题中也凸显出重要地位。BRT的时空双向优先系统及该系统为BRT车辆提供相应的专用路及信号优先技术,为提高BRT服务水平,优化公众出行方式奠定基础,其全面的介绍分析也为BRT更好的实现快速、优先服务做准备。 相似文献
279.
280.