logo
首页 首页 教育论文中心 教育论文中心 广告服务 广告服务 论文搜索 论文搜索 论文发表 论文发表 汇款确认 汇款确认 会员专区 会员专区 在线购卡 在线购卡 服务帮助 服务帮助 联系我们 联系我们 网站地图 网站地图 快速搜索 会员专区 硕士论文 会员专区 博士论文
当前位置:教育论文中心首页--硕士论文--基于安全状态机的计算机联锁系统建模与分析
博硕论文分类列表
工业技术 交通运输 农业科学
生物科学 航空航天 历史地理
医学卫生 语言文字 环境科学
综合图书 政治法律 社会科学
马列主义、毛泽东思想 艺术
数理科学和化学 文学
天文学、地理科学 军事
文化科学、教育体育 经济
自然科学总论 哲学
查看更多分类
论文搜索
 
相关论文
铁路货车自导向转向架关键参数匹配
综合舒适度模拟试验台气压控制系统
基于CBTC的联锁系统进路控制形
城市轨道交通线网资源利用效率评价
空沟对运行列车引起环境振动影响的
薄壁筒体构件超声无损检测技术及缺
基于粘滑驱动原理的跨尺度纳米级定
MEMS传感器三维引线键合系统研
门式起重机随机地震响应及可靠度分
轮式装载机降噪技术研究
离心压缩机叶轮冲蚀磨损与动力特性
大运距煤炭输送系统设计及关键技术
微纳米机电系统力电耦合理论与数值
含缺陷起重机箱形梁结构的弹塑性断
基于非线性振动声学调制的结构损伤
基于时序的山东省环境数据可视分析
景区客运索道生态环境影响评价
五台山景区旅游碳排放及碳吸收估算
基于丝/毛纤维染色同色性及锦纶汗
基于计算机绘图软件的方巾图案设计
内衣织物触感的表征与评价研究
科目列表
市场营销 管理理论 人力资源
电子商务 社会实践 先进教育
伦理道德 艺术理论 环境保护
农村研究 交通相关 烟草论文
电子电气 财务分析 融资决策
电影艺术 国学论文 材料工程
语文论文 数学论文 英语论文
政治论文 物理论文 化学论文
生物论文 美术论文 历史论文
地理论文 信息技术 班主任
音乐论文 体育论文 劳技论文
自然论文 德育管理 农村教育
素质教育 三个代表 旅游管理
国际贸易 哲学论文 工商管理
证券金融 社会学 审计论文
会计论文 建筑论文 电力论文
水利论文 园林景观 农林学
中医学 西医学 心理学
公安论文 法学法律 思想汇报
法律文书 总结报告 演讲稿
物业管理 经济学 论文指导
计算机 护理论文 社会调查
军事论文 化工论文 财政税收
保险论文 物流论文 语言教育
教育教学 给水排水 暖通论文
结构论文 综合类别 硕士论文
博士论文    
 
 
基于安全状态机的计算机联锁系统建模与分析
 
     论文目录
 
摘要第6-7页
Abstract第7页
第1章 绪论第10-13页
    1.1 研究背景及意义第10-11页
    1.2 国内外研究现状第11-12页
        1.2.1 计算机联锁系统发展现状第11页
        1.2.2 形式化方法在铁路信号系统中的研究现状第11-12页
    1.3 论文主要内容与结构第12-13页
第2章 安全状态机与SCADE第13-24页
    2.1 形式化方法概述第13页
    2.2 安全状态机理论第13-22页
        2.2.1 同步假设第13-14页
        2.2.2 安全状态机概述第14-17页
        2.2.3 安全状态机特征第17-19页
        2.2.4 格局转移机制第19-22页
    2.3 SCADE第22-24页
        2.3.1 SCADE概述第22-23页
        2.3.2 安全状态机仿真第23页
        2.3.3 SCADE形式化验证第23-24页
第3章 计算机联锁系统分析第24-33页
    3.1 计算机联锁系统概述第24-27页
        3.1.1 计算机联锁系统结构第24-25页
        3.1.2 计算机联锁系统的冗余设计第25-27页
    3.2 CBTC系统概述第27-31页
        3.2.1 CBTC系统结构第27-28页
        3.2.2 CBTC系统的联锁功能第28-30页
        3.2.3 计算机联锁与CBTC子系统的信息交互第30-31页
    3.3 CBTC计算机联锁系统与传统联锁系统的区别第31-33页
        3.3.1 结构区别第31页
        3.3.2 功能区别第31-33页
第4章 基于安全状态机的计算机联锁系统建模第33-56页
    4.1 计算机联锁模块划分第33-34页
    4.2 道岔模块第34-39页
        4.2.1 道岔需求第34-36页
        4.2.2 道岔请求命令执行第36-37页
        4.2.3 道岔选排一致第37-39页
    4.3 进路模块第39-52页
        4.3.1 进路请求第39-40页
        4.3.2 道岔锁闭第40-41页
        4.3.3 进路检查第41-43页
        4.3.4 接近联锁第43-46页
        4.3.5 区段方向联锁第46-51页
        4.3.6 站台安全状态第51-52页
    4.4 信号机模块第52-54页
    4.5 集成模块第54-56页
第5章 计算机联锁系统模型验证与分析第56-65页
    5.1 计算机联锁系统模型仿真第56-59页
        5.1.1 道岔模块仿真第56-58页
        5.1.2 计算机联锁集成模型仿真第58-59页
    5.2 计算机联锁系统模型形式化验证第59-65页
        5.2.1 SCADE形式化验证与仿真第59-60页
        5.2.2 SCADE形式化验证流程第60-61页
        5.2.3 计算机联锁形式化验证第61-65页
结论第65-66页
致谢第66-67页
参考文献第67-70页
附录1 道岔模型测试用例第70-73页
附录2 集成模型测试用例第73-81页
附录3 道岔模块安全属性及形式化验证结果第81-82页
附录4 进路模块安全属性及形式化验证结果第82-84页
附录5 信号机模块安全属性及形式化验证结果第84-85页
附录6 集成模块安全属性及形式化验证结果第85-86页
攻读硕士学位期间发表的论文第86页

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