列車運行控制系統實時性的建模與驗證 版權信息
- ISBN:9787113253097
- 條形碼:9787113253097 ; 978-7-113-25309-7
- 裝幀:70g膠版紙
- 冊數:暫無
- 重量:暫無
- 所屬分類:>>
列車運行控制系統實時性的建模與驗證 本書特色
本書系統地介紹了列車運行控制系統實時性的特點,以及建模與驗證方法。重點闡述了基于UML、CSP、時間自動機、著色Petri網、馬爾可夫鏈等理論和方法的列控系統,探討了實現列控系統實時性建模與驗證所必須的理論與關鍵技術。在應用方面,介紹了支持相關研究方法的技術手段及其算法。本書適合作為高等院校鐵路信號及相關專業的教學參考用書,也可供相關領域研究人員參考。
列車運行控制系統實時性的建模與驗證 內容簡介
本書系統地介紹了列車運行控制系統實時性的特點,以及建模與驗證方法。重點闡述了基于UML、CSP、時間自動機、著色Petri網、馬爾可夫鏈等理論和方法的列控系統,探討了實現列控系統實時性建模與驗證所必須的理論與關鍵技術。在應用方面,介紹了支持相關研究方法的技術手段及其算法。本書適合作為高等院校鐵路信號及相關專業的教學參考用書,也可供相關領域研究人員參考。
列車運行控制系統實時性的建模與驗證 目錄
第1章列車運行控制系統實時性概述1
1.1列車運行控制系統簡介1
1.1.1列車運行控制系統的現狀與發展1
1.1.2列車運行控制系統的組成2
1.1.3列車運行控制系統的特點3
1.2列車運行控制系統的實時性要求5
1.3國內外研究現狀6
1.4列車運行控制系統實時性的建模與驗證方法8
第2章基于UML的列控系統實時性研究10
2.1UML概述10
2.1.1UML的定義10
2.1.2UML的組成10
2.1.3UML建模機制14
2.2UML擴展機制15
2.2.1約束15
2.2.2標記值16
2.2.3構造型17
2.3列控系統的UML模型18
2.3.1用例圖18
2.3.2類圖19
2.3.3活動圖21
2.3.4部署圖22
2.3.5序列圖23
2.3.6狀態圖26
2.4基于UML的模型轉換方法29
2.4.1模型轉換的概念30
2.4.2UML元模型31
第3章基于UML與CSP的實時系統建模與分析35
3.1CSP相關理論36
3.1.1CSP的語法和語義36
3.1.2CSP的實時性擴展37
3.2UML到CSP的轉換規則39
3.2.1活動圖轉換規則39
3.2.2狀態圖轉換規則41
3.3模型轉換中特性的保持與轉換規則的證明45
3.3.1模型轉換中特性的保持45
3.3.2模型轉換規則的證明46
3.4UML轉換至CSP的列控系統實時性分析實例50
第4章基于時間自動機的系統建模與驗證53
4.1時間自動機53
4.1.1時間約束和時間解釋53
4.1.2時間語言55
4.1.3時間自動機的語義55
4.1.4時間自動機的積57
4.2基于時間自動機的形式化建模58
4.3模型檢驗方法驗證實時系統59
4.3.1時序邏輯60
4.3.2時序邏輯的時間化62
4.3.3驗證流程64
4.4定理證明方法驗證實時系統65
4.5基于時間自動機的列控系統模型實例67
4.5.1案例描述67
4.5.2案例模型的時間約束68
4.5.3案例建模與驗證分析69
第5章基于著色Petri網的系統建模與分析72
5.1著色Petri網72
5.1.1Petri網概述72
5.1.2Petri網的結構73
5.1.3Petri網的行為特性74
5.1.4著色Petri網的定義76
5.2基于著色Petri網的復雜系統實時性任務的建模及其分析77
5.2.1復雜系統結構和實時性任務的基本假設77
5.2.2基于著色Petri網的復雜系統實時性任務建模78
5.2.3基于著色Petri網模型的復雜系統實時性任務的可靠性分析79
5.2.4著色Petri網中復雜系統實時性評價方法80
5.3基于著色Petri網的列控系統分析實例82
5.3.1實例描述82
5.3.2CPN模型的建立85
5.3.3時間模型的建立與驗證91
第6章基于馬爾可夫鏈的實時系統分析94
6.1馬爾可夫鏈理論94
6.1.1馬爾可夫鏈94
6.1.2狀態轉移95
6.1.3馬爾可夫分析96
6.2馬爾可夫鏈在列車行車時間預測中的應用98
6.2.1隱馬爾可夫鏈98
6.2.2自回歸模型算法99
6.2.3時間性和關聯性聚類算法100
6.2.4維特比算法102
6.3多元馬爾可夫鏈與列控系統信息時效性評價104
6.3.1列控系統的信息時效性判定104
6.3.2多元馬爾可夫鏈模型的構造109
6.3.3模型參數的估計111
參考文獻115
展開全部
列車運行控制系統實時性的建模與驗證 作者簡介
謝雨飛,男,任教于北京建筑大學電氣與信息工程學院。主要研究方向:復雜系統建模與求解、網絡安全技術等,主持國家自然基金項目1項,發表EI、核心期刊論文10余篇。