logo
首页 首页 教育论文中心 教育论文中心 广告服务 广告服务 论文搜索 论文搜索 论文发表 论文发表 汇款确认 汇款确认 会员专区 会员专区 在线购卡 在线购卡 服务帮助 服务帮助 联系我们 联系我们 网站地图 网站地图 快速搜索 会员专区 硕士论文 会员专区 博士论文
当前位置:教育论文中心首页--硕士论文--基于CBTC的联锁系统进路控制形式化建模与验证
博硕论文分类列表
工业技术 交通运输 农业科学
生物科学 航空航天 历史地理
医学卫生 语言文字 环境科学
综合图书 政治法律 社会科学
马列主义、毛泽东思想 艺术
数理科学和化学 文学
天文学、地理科学 军事
文化科学、教育体育 经济
自然科学总论 哲学
查看更多分类
论文搜索
 
相关论文
城市轨道交通线网资源利用效率评价
空沟对运行列车引起环境振动影响的
薄壁筒体构件超声无损检测技术及缺
基于粘滑驱动原理的跨尺度纳米级定
MEMS传感器三维引线键合系统研
门式起重机随机地震响应及可靠度分
轮式装载机降噪技术研究
离心压缩机叶轮冲蚀磨损与动力特性
大运距煤炭输送系统设计及关键技术
微纳米机电系统力电耦合理论与数值
含缺陷起重机箱形梁结构的弹塑性断
基于非线性振动声学调制的结构损伤
基于时序的山东省环境数据可视分析
景区客运索道生态环境影响评价
五台山景区旅游碳排放及碳吸收估算
基于丝/毛纤维染色同色性及锦纶汗
基于计算机绘图软件的方巾图案设计
内衣织物触感的表征与评价研究
亚油酸对食品模拟体系晚期糖基化终
儿茶素类单体的降尿酸功效研究
镁合金表面PA-LBL涂层增强耐
科目列表
市场营销 管理理论 人力资源
电子商务 社会实践 先进教育
伦理道德 艺术理论 环境保护
农村研究 交通相关 烟草论文
电子电气 财务分析 融资决策
电影艺术 国学论文 材料工程
语文论文 数学论文 英语论文
政治论文 物理论文 化学论文
生物论文 美术论文 历史论文
地理论文 信息技术 班主任
音乐论文 体育论文 劳技论文
自然论文 德育管理 农村教育
素质教育 三个代表 旅游管理
国际贸易 哲学论文 工商管理
证券金融 社会学 审计论文
会计论文 建筑论文 电力论文
水利论文 园林景观 农林学
中医学 西医学 心理学
公安论文 法学法律 思想汇报
法律文书 总结报告 演讲稿
物业管理 经济学 论文指导
计算机 护理论文 社会调查
军事论文 化工论文 财政税收
保险论文 物流论文 语言教育
教育教学 给水排水 暖通论文
结构论文 综合类别 硕士论文
博士论文    
 
 
基于CBTC的联锁系统进路控制形式化建模与验证
 
     论文目录
 
摘要第6-7页
Abstract第7页
第1章 绪论第10-14页
    1.1 研究背景和意义第10-11页
    1.2 国内外发展现状第11-12页
        1.2.1 CBTC联锁系统的发展概况第11页
        1.2.2 时间自动机在铁路信号领域的使用概况第11-12页
    1.3 论文的主要内容及结构第12-14页
        1.3.1 论文主要内容第12-13页
        1.3.2 论文结构第13-14页
第2章 时间自动机及UPPAAL第14-23页
    2.1 形式化方法第14-15页
    2.2 时间自动机第15-18页
        2.2.1 时间转换系统第15-16页
        2.2.2 时间自动机的语法和语义第16-17页
        2.2.3 时间自动机网络第17-18页
    2.3 UPPAAL第18-21页
        2.3.1 UPPAAL的结构第18-19页
        2.3.2 UPPAAL基本概念第19-21页
    2.4 基于UPPAAL的CBTC联锁系统建模分析流程第21-23页
第3章 基于时间自动机的CBTC联锁系统建模第23-49页
    3.1 联锁系统概述第24-25页
    3.2 CBTC联锁系统第25-27页
        3.2.1 CBTC联锁系统与传统联锁系统的区别第25页
        3.2.2 CBTC联锁系统功能第25-27页
    3.3 基于时间自动机的CBTC联锁进路控制流程建模第27-49页
        3.3.1 进路控制逻辑概述第28-30页
        3.3.2 CBTC联锁系统时间自动机网络模型第30-32页
        3.3.3 道岔控制模块第32-37页
        3.3.4 进路联锁模块第37-43页
        3.3.5 信号机控制模块第43-47页
        3.3.6 联锁逻辑变量时间约束第47-49页
第4章 进路控制流程的时间自动机网络仿真与验证第49-67页
    4.1 联锁逻辑仿真第49-56页
    4.2 形式化验证第56-67页
        4.2.1 功能需求的验证第60-62页
        4.2.2 安全需求的验证第62-64页
        4.2.3 时间约束的验证第64-67页
结论第67-68页
致谢第68-69页
参考文献第69-73页
攻读硕士学位期间发表的论文及科研成果第73页

 
论文编号BS3214618,这篇论文共73
会员购买按0.35元/页下载,共需支付25.55元。        直接购买按0.5元/页下载,共需要支付36.5元 。
  • 我还不是会员,我要注册会员
  • 会员下载论文更优惠!充值还送钱!
  • 我只需要这一篇论文,无需注册!
  • 直接网上支付,方便快捷!
  •  您可能感兴趣的论文
    版权申明:本目录由www.jylw.com网站制作,本站并未收录原文,如果您是作者,需要删除本篇论文目录请通过QQ或其它联系方式告知我们,我们承诺24小时内删除。
     
     
    | 会员专区 | 在线购卡 | 广告服务 | 网站地图 |
    版权所有 教育论文中心 Copyright(C) All Rights Reserved
    联系方式: QQ:277865656 或写信给我