中图网(原中国图书网):网上书店,尾货特色书店,30万种特价书低至2折!

歡迎光臨中圖網 請 | 注冊
> >>
列車運行控制系統實時性的建模與驗證

包郵 列車運行控制系統實時性的建模與驗證

作者:謝雨飛
出版社:中國鐵道出版社出版時間:2018-05-01
開本: 其他 頁數: 128
本類榜單:工業技術銷量榜
中 圖 價:¥35.6(7.4折) 定價  ¥48.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>

列車運行控制系統實時性的建模與驗證 版權信息

列車運行控制系統實時性的建模與驗證 本書特色

本書系統地介紹了列車運行控制系統實時性的特點,以及建模與驗證方法。重點闡述了基于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余篇。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網
在線客服
主站蜘蛛池模板: 上海防爆真空干燥箱-上海防爆冷库-上海防爆冷柜?-上海浦下防爆设备厂家? | PC构件-PC预制构件-构件设计-建筑预制构件-PC构件厂-锦萧新材料科技(浙江)股份有限公司 | 玻璃钢罐_玻璃钢储罐_盐酸罐厂家-河北华盛节能设备有限公司 | SDG吸附剂,SDG酸气吸附剂,干式酸性气体吸收剂生产厂家,超过20年生产使用经验。 - 富莱尔环保设备公司(原名天津市武清县环保设备厂) | vr安全体验馆|交通安全|工地安全|禁毒|消防|安全教育体验馆|安全体验教室-贝森德(深圳)科技 | 真空泵维修保养,普发,阿尔卡特,荏原,卡西亚玛,莱宝,爱德华干式螺杆真空泵维修-东莞比其尔真空机电设备有限公司 | 天一线缆邯郸有限公司_煤矿用电缆厂家_矿用光缆厂家_矿用控制电缆_矿用通信电缆-天一线缆邯郸有限公司 | 除甲醛公司-甲醛检测-广西雅居环境科技有限公司 | 圆窗水平仪|伊莉莎冈特elesa+ganter | 壹车网 | 第一时间提供新车_资讯_报价_图片_排行! | 巨野月嫂-家政公司-巨野县红墙安康母婴护理中心 | 必胜高考网_全国高考备考和志愿填报信息平台| 石英陶瓷,石英坩埚,二氧化硅陶瓷-淄博百特高新材料有限公司 | 防伪溯源|防窜货|微信二维码营销|兆信_行业内领先的防伪防窜货数字化营销解决方案供应商 | 知名电动蝶阀,电动球阀,气动蝶阀,气动球阀生产厂家|价格透明-【固菲阀门官网】 | 全自动定氮仪-半自动凯氏定氮仪厂家-祎鸿仪器 | BAUER减速机|ROSSI-MERSEN熔断器-APTECH调压阀-上海爱泽工业设备有限公司 | 青岛侦探_青岛侦探事务所_青岛劝退小三_青岛调查出轨取证公司_青岛婚外情取证-青岛探真调查事务所 | 首页|专注深圳注册公司,代理记账报税,注册商标代理,工商变更,企业400电话等企业一站式服务-慧用心 | 石磨面粉机|石磨面粉机械|石磨面粉机组|石磨面粉成套设备-河南成立粮油机械有限公司 | 吸污车_吸粪车_抽粪车_电动三轮吸粪车_真空吸污车_高压清洗吸污车-远大汽车制造有限公司 | 国产频谱分析仪-国产网络分析仪-上海坚融实业有限公司 | 上海橡胶接头_弹簧减震器_金属软接头厂家-上海淞江集团 | 查分易-成绩发送平台官网 | 多功能三相相位伏安表-变压器短路阻抗测试仪-上海妙定电气 | 深圳南财多媒体有限公司介绍| 聚合氯化铝价格_聚合氯化铝厂家_pac絮凝剂-唐达净水官网 | 高压直流电源_特种变压器_变压器铁芯-希恩变压器定制厂家 | 天空彩票天下彩,天空彩天空彩票免费资料,天空彩票与你同行开奖,天下彩正版资料大全 | 列管冷凝器,刮板蒸发器,外盘管反应釜厂家-无锡曼旺化工设备有限公司 | 二手注塑机回收_旧注塑机回收_二手注塑机买卖 - 大鑫二手注塑机 二手光谱仪维修-德国OBLF光谱仪|进口斯派克光谱仪-热电ARL光谱仪-意大利GNR光谱仪-永晖检测 | 北京银联移动POS机办理_收银POS机_智能pos机_刷卡机_收银系统_个人POS机-谷骐科技【官网】 | 真空冷冻干燥机_国产冻干机_冷冻干燥机_北京四环冻干 | 南京雕塑制作厂家-不锈钢雕塑制作-玻璃钢雕塑制作-先登雕塑厂 | 乳化沥青设备_改性沥青设备_沥青加温罐_德州市昊通路桥工程有限公司 | 伊卡洛斯软装首页-电动窗帘,别墅窗帘,定制窗帘,江浙沪1000+别墅窗帘案例 | 【化妆品备案】进口化妆品备案流程-深圳美尚美化妆品有限公司 | 酒吧霸屏软件_酒吧霸屏系统,酒吧微上墙,夜场霸屏软件,酒吧点歌软件,酒吧互动游戏,酒吧大屏幕软件系统下载 | 日本SMC气缸接头-速度控制阀-日本三菱伺服电机-苏州禾力自动化科技有限公司 | 热缩管切管机-超声波切带机-织带切带机-无纺布切布机-深圳市宸兴业科技有限公司 | 新中天检测有限公司青岛分公司-山东|菏泽|济南|潍坊|泰安防雷检测验收 |