基于模型的列车运行控制系统设计与验证方法--聚文网

精选

¥5.83

世界图书名著昆虫记绿野仙踪木偶奇遇记儿童书籍彩图注音版

¥5.39

正版世界名著文学小说名家名译中学生课外阅读书籍图书批发 70册

¥8.58

简笔画10000例加厚版2-6岁幼儿童涂色本涂鸦本绘画本填色书正版

¥5.83

世界文学名著全49册中小学生青少年课外书籍文学小说批发正版

¥4.95

全优冲刺100分测试卷一二三四五六年级上下册语文数学英语模拟卷

¥8.69

父与子彩图注音完整版小学生图书批发儿童课外阅读书籍正版1册

¥24.2

好玩的洞洞拉拉书0-3岁宝宝早教益智游戏书机关立体翻翻书4册

¥7.15

幼儿认字识字大王3000字幼儿园中班大班学前班宝宝早教启蒙书

¥11.55

用思维导图读懂儿童心理学培养情绪管理与性格培养故事指导书

¥19.8

少年读漫画鬼谷子全6册在漫画中学国学小学生课外阅读书籍正版

¥64

科学真好玩

¥12.7

一年级下4册·读读童谣和儿歌

¥38.4

原生态新生代(传统木版年画的当代传承国际研讨会论文集)

¥11.14

法国经典中篇小说

¥11.32

上海的狐步舞--穆时英(中国现代文学馆馆藏初版本经典)

¥21.56

猫的摇篮(精)

¥30.72

幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书

旧时风物(精)

三希堂三帖/墨林珍赏

寒山子庞居士诗帖/墨林珍赏

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

进宴仪轨(精)/中国古代舞乐域外图书

舞蹈音乐的基础理论与应用

内容简介

唐涛、赵林、徐田华、吕继东、牛儒等编著的这本《基于模型的列车运行控制系统设计与验证方法》主要介绍基于模型的列车运行控制系统设计与验证方法，着重阐述设计与验证方法的原理、实现技术以及应用。全书共六章，主要内容包括：列控系统需求的建模与验证，列控系统的安全分析，基于模型的列控系统软件设计，基于模型的测试，列控系统的运行时验证。
《基于模型的列车运行控制系统设计与验证方法》可以作为轨道交通控制专业研究生的学习用书，也可以供有关工程技术人员参考。

第一章绪论
第一节列车运行控制系统
第二节列控系统开发方法的发展趋势
参考文献
第二章列控系统需求的建模与验证
第一节基于UML扩展的建模方法
第二节基于混合通信顺序进程的建模方法
第三节需求模型的验证
参考文献
第三章列控系统的安全分析
第一节安全分析方法及其演变
第二节基于模型安全分析的建模思想
第三节基于模型安全分析的建模语言
第四节基于MBSA方法的列控系统安全分析
参考文献
第四章基于模型的列控系统软件设计
第一节软件设计理论和方法
第二节基于模型的软件开发――SCADE
第三节基于模型驱动和DSL的列控系统设计
参考文献
第五章基于模型的测试
第一节基于时间自动机的建模方法
第二节基于观测自动机的测试案例自动生成方法
第三节基于数据驱动的测试平台
参考文献
第六章列控系统的运行时验证
第一节运行时验证的发展
第二节基于自动机的监视器构造
第三节基于公式重写的运行监控
第四节列控领域应用
参考文献

基于模型的列车运行控制系统设计与验证方法

库存： {{selectedSku?.stock}} 库存充足