包邮列车运行控制系统实时性的建模与验证
- ISBN:9787113253097
- 装帧:70g胶版纸
- 册数:暂无
- 重量:暂无
- 开本:其他
- 页数:128
- 出版时间:2018-05-01
- 条形码:9787113253097 ; 978-7-113-25309-7
本书特色
本书系统地介绍了列车运行控制系统实时性的特点,以及建模与验证方法。重点阐述了基于UML、CSP、时间自动机、着色Petri网、马尔可夫链等理论和方法的列控系统,探讨了实现列控系统实时性建模与验证所必须的理论与关键技术。在应用方面,介绍了支持相关研究方法的技术手段及其算法。本书适合作为高等院校铁路信号及相关专业的教学参考用书,也可供相关领域研究人员参考。
内容简介
本书系统地介绍了列车运行控制系统实时性的特点,以及建模与验证方法。重点阐述了基于UML、CSP、时间自动机、着色Petri网、马尔可夫链等理论和方法的列控系统,探讨了实现列控系统实时性建模与验证所必须的理论与关键技术。在应用方面,介绍了支持相关研究方法的技术手段及其算法。本书适合作为高等院校铁路信号及相关专业的教学参考用书,也可供相关领域研究人员参考。
目录
作者简介
谢雨飞,男,任教于北京建筑大学电气与信息工程学院。主要研究方向:复杂系统建模与求解、网络安全技术等,主持国家自然基金项目1项,发表EI、核心期刊论文10余篇。
-
黑科技驱动世界的100项技术
¥21.9¥69.8 -
中国传统民俗文化:建筑系列:中国古代桥梁
¥19.6¥58.0 -
黑科技:驱动世界的100项技术(八品)
¥21.9¥69.8 -
工业机器人操作与编程
¥19.6¥58.0 -
新能源汽车构造原理与仿真技术研究
¥20.1¥59.8 -
大家小书:世界桥梁趣谈
¥17.1¥35.0 -
航空航天概论(第5版)
¥36.8¥65.0 -
城镇市容环境卫生建设标准汇编 垃圾分类、检测和收集转运卷
¥153.0¥180.0 -
图解中国传统服饰我在明朝穿什么
¥49.4¥88.0 -
业余无线电通信 第五版
¥62.6¥79.0 -
新能源汽车电机及控制技术
¥17.5¥36.0 -
陈总编爱车热线书系汽车不神秘:汽车构造透视图典(全彩典雅版)
¥52.0¥69.9 -
大数据时代石油价格的复杂性及预测
¥18.0¥42.0 -
渡河工程
¥20.2¥60.0 -
石油数据组织与分析
¥28.0¥40.0 -
船检文化
¥41.0¥50.0 -
民国时期的减灾研究(1912-1937)
¥20.4¥24.0 -
中国服饰史-(附赠光盘)
¥13.2¥33.0 -
电子系统设计——信号与通信系统篇
¥51.4¥69.0 -
生命教育丛书:防灾避难与危机处理
¥20.9¥49.8