可信构造是指采用自身可证的全流程方法在系统开发过程中逐步形成系统的可信属性。Tc CBTC（Train-centric CBTC,以车载为核心CBTC）系......

现有电力生产管理系统存在不能如期完成实施、运行不稳定和功能可用性不强等可信问题.本文提出一种由系统构建、系统实施过程管理......

基于通信的列车控制系统(communication based train control system,简称CBTC)已经成为世界范围内建造轨道交通信号系统的标准制......