计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2012年
10期
221-223
,共3页
余兴超%董荣胜%孙栋栋%邵梅
餘興超%董榮勝%孫棟棟%邵梅
여흥초%동영성%손동동%소매
时间博弈自动机%形式化综合%道岔自动控制系统%控制策略%完全信息博弈%软件密集型系统
時間博弈自動機%形式化綜閤%道岔自動控製繫統%控製策略%完全信息博弈%軟件密集型繫統
시간박혁자동궤%형식화종합%도차자동공제계통%공제책략%완전신식박혁%연건밀집형계통
为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码.仿真结果表明,该控制策略可以有效提高列车的行车效率.
為提高道岔自動控製繫統的運行效率,引入時間博弈自動機理論,建立列車、控製器、道岔和故障檢測器的時間博弈自動機網絡模型,使用TCTL公式描述穫勝條件,應用策略綜閤工具Uppaal-Tiga輸齣穫勝策略併生成控製代碼.倣真結果錶明,該控製策略可以有效提高列車的行車效率.
위제고도차자동공제계통적운행효솔,인입시간박혁자동궤이론,건립열차、공제기、도차화고장검측기적시간박혁자동궤망락모형,사용TCTL공식묘술획성조건,응용책략종합공구Uppaal-Tiga수출획성책략병생성공제대마.방진결과표명,해공제책략가이유효제고열차적행차효솔.
