机译:铁路联锁系统的基于组件的拓扑模型
Department of Instrumental Engineering, Zhejiang University, Hangzhou 310027, China;
System Development Center, Zhejiung Insigma Rail Transportation Engineering Co., Ltd., Hangzhou 310007, China;
Department of Instrumental Engineering, Zhejiang University, Hangzhou 310027, China;
interlocking system; signaling system; station topology; component-based model;
机译:基于Petri网的基于组件的分布式铁路联锁系统建模与分析
机译:基于Petri网的基于组件的分布式铁路联锁系统建模与评估
机译:基于组件的分布式铁路联锁系统的正式安全框架
机译:基于未指导拓扑的移动块铁路互锁系统的正式模型
机译:一种用于建立和评估基于组件的系统的性能模型的方法。
机译:可扩展的智能城市系统互操作性的基于组件的建模:以能源需求响应系统集成为例
机译:复杂控制系统可靠性建模与分析:在铁路联锁中的应用