中图网(原中国图书网):网上书店,尾货特色书店,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條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網
在線客服
主站蜘蛛池模板: 土壤有机碳消解器-石油|表层油类分析采水器-青岛溯源环保设备有限公司 | 南昌旅行社_南昌国际旅行社_南昌国旅在线| 播音主持培训-中影人教育播音主持学苑「官网」-中国艺考界的贵族学校 | 低气压试验箱_高低温低气压试验箱_低气压实验箱 |林频试验设备品牌 | 河南卓美创业科技有限公司-河南卓美防雷公司-防雷接地-防雷工程-重庆避雷针-避雷器-防雷检测-避雷带-避雷针-避雷塔、机房防雷、古建筑防雷等-山西防雷公司 | 恒压供水控制柜|无负压|一体化泵站控制柜|PLC远程调试|MCGS触摸屏|自动控制方案-联致自控设备 | 炭黑吸油计_测试仪,单颗粒子硬度仪_ASTM标准炭黑自销-上海贺纳斯仪器仪表有限公司(HITEC中国办事处) | 展厅装修公司|企业展厅设计|展厅制作|展厅搭建—广州展厅装饰公司 | 铝机箱_铝外壳加工_铝外壳厂家_CNC散热器加工-惠州市铂源五金制品有限公司 | 电竞馆加盟,沈阳网吧加盟费用选择嘉棋电竞_售后服务一体化 | 无菌水质袋-NASCO食品无菌袋-Whirl-Pak无菌采样袋-深圳市慧普德贸易有限公司 | 海德莱电力(HYDELEY)-无功补偿元器件生产厂家-二十年专业从事电力电容器 | 电磁流量计厂家_涡街流量计厂家_热式气体流量计-青天伟业仪器仪表有限公司 | 恒温振荡混匀器-微孔板振荡器厂家-多管涡旋混匀器厂家-合肥艾本森(www.17world.net) | 海峰资讯 - 专注装饰公司营销型网站建设和网络营销培训 | 传爱自考网_传爱自学考试网| 综合管廊模具_生态,阶梯护坡模具_检查井模具制造-致宏模具厂家 | 隔离变压器-伺服变压器--输入输出电抗器-深圳市德而沃电气有限公司 | 济南ISO9000认证咨询代理公司,ISO9001认证,CMA实验室认证,ISO/TS16949认证,服务体系认证,资产管理体系认证,SC食品生产许可证- 济南创远企业管理咨询有限公司 郑州电线电缆厂家-防火|低压|低烟无卤电缆-河南明星电缆 | 无机纤维喷涂棉-喷涂棉施工工程-山东华泉建筑工程有限公司▲ | 蒸压釜_蒸养釜_蒸压釜厂家-山东鑫泰鑫智能装备有限公司 | 截齿|煤截齿|采煤机截齿|掘进机截齿|旋挖截齿-山东卓力截齿厂家报价 | 酶联免疫分析仪-多管旋涡混合仪|混合器-莱普特科学仪器(北京)有限公司 | 单螺旋速冻机-双螺旋-流态化-隧道式-食品速冻机厂家-广州冰泉制冷 | 水冷式工业冷水机组_风冷式工业冷水机_水冷螺杆冷冻机组-深圳市普威机械设备有限公司 | 精雕机-火花机-精雕机 cnc-高速精雕机-电火花机-广东鼎拓机械科技有限公司 | 深圳市万色印象美业有限公司 | 行吊_电动单梁起重机_双梁起重机_合肥起重机_厂家_合肥市神雕起重机械有限公司 | SEO网站优化,关键词排名优化,苏州网站推广-江苏森歌网络 | 盛源真空泵|空压机-浙江盛源空压机制造有限公司-【盛源官网】 | 防腐木批发价格_深圳_惠州_东莞防腐木厂家_森源(深圳)防腐木有限公司 | 硅胶布|电磁炉垫片|特氟龙胶带-江苏浩天复合材料有限公司 | 帽子厂家_帽子工厂_帽子定做_义乌帽厂_帽厂_制帽厂 | 宽带办理,电信宽带,移动宽带,联通宽带,电信宽带办理,移动宽带办理,联通宽带办理 | 快速门厂家批发_PVC快速卷帘门_高速门_高速卷帘门-广州万盛门业 快干水泥|桥梁伸缩缝止水胶|伸缩缝装置生产厂家-广东广航交通科技有限公司 | 深圳展厅设计_企业展馆设计_展厅设计公司_数字展厅设计_深圳百艺堂 | 伸缩节_伸缩器_传力接头_伸缩接头_巩义市联通管道厂 | 温室大棚建设|水肥一体化|物联网系统| 氢氧化钾厂家直销批发-济南金昊化工有限公司 | Eiafans.com_环评爱好者 环评网|环评论坛|环评报告公示网|竣工环保验收公示网|环保验收报告公示网|环保自主验收公示|环评公示网|环保公示网|注册环评工程师|环境影响评价|环评师|规划环评|环评报告|环评考试网|环评论坛 - Powered by Discuz! | 铸铝门厂家,别墅大门庭院大门,别墅铸铝门铜门[十大品牌厂家]军强门业 |