列車運(yùn)行安全行為建模與形式化技術(shù)研究

定　價(jià)：￥45.00

作　者：	陳永，胡曉輝
出版社：	中國(guó)鐵道出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買這本書(shū)可以去

ISBN：	9787113225797	出版時(shí)間：	2017-01-01	包裝：
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：		字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　隨著我國(guó)鐵路事業(yè)的快速發(fā)展，對(duì)列車運(yùn)行控制系統(tǒng)安全性的研究已成為目前鐵路運(yùn)輸系統(tǒng)的重要研究問(wèn)題。形式化方法為設(shè)計(jì)高可信系統(tǒng)提供了重要途徑?！读熊囘\(yùn)行安全行為建模與形式化技術(shù)研究》采用形式化理論、復(fù)雜系統(tǒng)建模等理論對(duì)列車運(yùn)行過(guò)程中安全關(guān)鍵因素，如無(wú)線通信網(wǎng)絡(luò)性能、計(jì)算機(jī)聯(lián)鎖控制系統(tǒng)、多列車安全追蹤等問(wèn)題進(jìn)行了深入研究。《列車運(yùn)行安全行為建模與形式化技術(shù)研究》取材新穎，深入淺出地介紹了列車安全運(yùn)行高可信形式化理論體系，體現(xiàn)了列控系統(tǒng)形式化研究方面的新理論和進(jìn)展。通過(guò)大量的案例，配以實(shí)現(xiàn)過(guò)程，使讀者能夠快速掌握形式化理論和實(shí)現(xiàn)方法?！读熊囘\(yùn)行安全行為建模與形式化技術(shù)研究》適合作為交通運(yùn)輸、計(jì)算機(jī)科學(xué)、自動(dòng)控制、系統(tǒng)工程等專業(yè)高年級(jí)本科生教材、也可作為研究生及相關(guān)學(xué)科領(lǐng)域工程技術(shù)研究人員的參考用書(shū)。

作者簡(jiǎn)介

暫缺《列車運(yùn)行安全行為建模與形式化技術(shù)研究》作者簡(jiǎn)介

圖書(shū)目錄

第1章緒論
1．1 列車運(yùn)行安全背景及意義
1．2 基于無(wú)線通信的列車運(yùn)行控制系統(tǒng)
1．2．1 列車運(yùn)行控制系統(tǒng)構(gòu)成與分類
1．2．2 CTCS列控系統(tǒng)
1．2．3 GSM-R鐵路無(wú)線通信系統(tǒng)
1．3 列車控制形式化研究現(xiàn)狀
1．4 本書(shū)內(nèi)容與結(jié)構(gòu)安排
第2章形式化建模理論與復(fù)雜系統(tǒng)理論
2．1 建?；纠碚?br />2．1．1 系統(tǒng)、模型、仿真的基本概念
2．1．2 系統(tǒng)模型的分類
2．1．3 建模方法的分類
2．1．4 建模的一般原則
2．1．5 建模步驟的劃分
2．2 形式化理論
2．2．1 形式化概念
2．2．2 形式化分類
2．2．3 形式化驗(yàn)證方法
2．2．4 常見(jiàn)的形式化建模方法
2．3 復(fù)雜系統(tǒng)建模理論
2．3．1 復(fù)雜系統(tǒng)
2．3．2 復(fù)雜適應(yīng)系統(tǒng)理論
2．3．3 分布式人工智能
2．3．4 多智能體基礎(chǔ)理論
2．4 Event-B方法及Rodin平臺(tái)
2．4．1 Event-B基本結(jié)構(gòu)
2．4．2 Event-B數(shù)學(xué)體系
2．4．3 Event-B模型精化和證明義務(wù)
2．4．4 RODIN平臺(tái)
本章小結(jié)
第3章交通系統(tǒng)建模
3．1 交通系統(tǒng)仿真
3．1．1 交通系統(tǒng)仿真基本概念
3．1．2 系統(tǒng)分類與系統(tǒng)模型
3．2 交通流理論
3．2．1 交通流理論分類
3．2．2 交通流理論參數(shù)
3．2．3 交通流主要研究?jī)?nèi)容
3．3 交通多分辨率建模方法
3．3．1 宏觀交通建模仿真
3．3．2 微觀交通建模仿真
3．3．3 中觀交通建模仿真
本章小結(jié)
第4章 CTCS-4級(jí)車地通信機(jī)制的形式化研究
4．1 通信順序進(jìn)程形式化理論基礎(chǔ)
4．1．1 通信與遞歸
4．1．2 CSP的運(yùn)算符
4．1．3 過(guò)程行為
4．1．4 進(jìn)程的跡
4．1．5 CSP模型檢測(cè)工具
4．1．6 故障發(fā)散檢測(cè)器FDR
4．2 基于MAs的RBC切換場(chǎng)景描述及車地通信信息交互流的實(shí)現(xiàn)
4．2．1 列控系統(tǒng)多Agent系統(tǒng)抽象
4．2．2 基于CPN的混合Agent模型
4．2．3 MAS模型形式化定義
4．2．4 基于CORBA的發(fā)布訂閱模式的車地通信
4．3 基于CSP的車地實(shí)時(shí)通信協(xié)議形式化建模與驗(yàn)證
4．3．1 MAS系統(tǒng)通信協(xié)議形式化驗(yàn)證框架
4．3．2 列控系統(tǒng)實(shí)時(shí)通信協(xié)議的形式化建模
4．3．3 CSP語(yǔ)言對(duì)車地實(shí)時(shí)通信協(xié)議建模
4．3．4 Casper+FDR對(duì)實(shí)時(shí)通信協(xié)議驗(yàn)證
4．4 注入故障的Agent~黽信模型
4．4．1 故障導(dǎo)向安全性功能分析與驗(yàn)證
4．4．2 列控系統(tǒng)消息處理實(shí)時(shí)性分析
4．4．3 通信時(shí)效性分析
本章小結(jié)
第5章基于SPN的高可信無(wú)線通信形式化建模與分?jǐn)?br />第6章基于細(xì)胞膜計(jì)算的無(wú)線通信并行形式化建模
第7章車站進(jìn)路聯(lián)鎖控制邏輯的形式化研究
第8章列車安全距離控制形式化建模與驗(yàn)證
第9章高可信無(wú)線通信下平直線路多列車追蹤特性研究
第10章線路彎道環(huán)境下多列車追蹤交通流特性形式化建模
第11章列控系統(tǒng)等級(jí)轉(zhuǎn)換運(yùn)營(yíng)場(chǎng)景形式化研究
第12章列控系統(tǒng)降級(jí)場(chǎng)景建模與仿真
附錄A IEC61508安全標(biāo)準(zhǔn)介紹
附錄B 高速鐵路設(shè)計(jì)術(shù)語(yǔ)和符號(hào)
附錄C 《鐵路技術(shù)管理規(guī)程》（高速鐵路部分）有關(guān)線路、橋架及隧道部分摘錄
附錄D 《鐵路技術(shù)管理規(guī)程》（高速鐵路部分）有關(guān)車站及樞紐部分摘錄
參考文獻(xiàn)