搜索结果: 1-2 共查到“安全科学技术 Control System”相关记录2条 . 查询时间(0.156 秒)
Experimentation of the Subway Smoke Control System
Experimentation the Subway Smoke Control System
2015/8/10
As a fast, comfortable urban transport tool with big capacity, subway has a
history of more than a hundred years. It has been widely adopted in most of the major developed countries or regions and ha...
Verification of the safety communication protocol in train control system using colored Petri net
EURORADIO The safety communication protocol Colored petri net Verification
2012/4/16
This paper deals with formal and simulation-based verification of the safety communication protocol in ETCS (European Train Control System). The safety communication protocol controls the establishmen...