基于时间自动机的实时系统形式化建模与验证



基于时间自动机的实时系统形式化建模与验证

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→一般性问题论文→理论、方法论文→自动机理论论文

基于时间自动机的实时系统形式化建模与验证

论文目录
摘要	第1-4 页
Abstract	第4-7 页
第一章绪论	第7-12 页
· 研究背景	第7-8 页
· 研究现状	第8-10 页
· 研究内容	第10-11 页
· 本文组织结构	第11-12 页
第二章基于时间自动机的形式化方法	第12-30 页
· 形式化建模	第16-21 页
· 时间自动机概述	第16-17 页
· 时间自动机模型	第17-21 页
· 形式化验证	第21-30 页
· 基于时间自动机的验证	第25-26 页
· 时间自动机验证工具 UPPAAL	第26-30 页
第三章基于时间自动机的实时系统建模	第30-40 页
· 实时系统概述	第30-31 页
· 实时系统的时间自动机建模	第31-35 页
· 转换系统	第31-32 页
· 有时间约束的转换系统	第32-33 页
· 实时系统时间自动机模型的优化	第33-35 页
· 应用实例分析	第35-40 页
第四章基于时间自动机的实时系统验证	第40-58 页
· 基于时间自动机的实时系统验证方法	第40-50 页
· 区域自动机	第40-42 页
· 可达性分析	第42-47 页
· 启发式验证方法	第47-50 页
· 时间自动机验证工具 UPPAAL 的验证	第50-53 页
· 应用实例分析	第53-58 页
第五章总结和展望	第58-59 页
1. 本文工作总结	第58 页
2. 下一步工作	第58-59 页
参考文献	第59-63 页
攻读硕士期间发表(录用)的论文	第63-64 页
致谢	第64 页

本篇论文共64页，点击这进入下载页面。

更多论文
基于时间自动机的实时系统形式化建
基于RS的土地利用规划环境影响评价
P-TiO₂可见光光催化剂的
城镇垃圾处理产业化投融资模式多属
我国海事赔偿责任限制程序完善之研
基于混合架构的继电保护整定计算与
电子封装材料用新型环氧树脂的制备
可复用日志构件的设计与实现
调度员培训仿真中电网复杂故障的分
国际海事条约在中国的适用问题研究
中药有效成分提取及药物微囊化研究
配电网自动跟踪补偿消弧装置微机控
固体碱催化剂上丙酮气相缩合制异佛
我国海域船舶碰撞造成油污损害责任
国库统计分析资料库系统的设计与实
DTS-TSS系统中实时通信交互技术的研
特低渗透泉头组地层与油田开发研究
Quick Bird影像在城市总体规划中的
外商投资企业国内上市的法律问题研
南通市福彩网上办公系统关键技术的
松辽盆地南部长岭凹陷—华字井阶地
柔性线路板在制品跟踪与管理系统的
水电厂远程监测及分析系统研究与开
东海东北部大陆架划界问题研究
从单一孔到等级孔孔材料的合成与设
无线传感器网络中基于声音能量的目
基于B/S模式的IDC机房虚拟仿真系统
磁性复合粒子的表面修饰及其在蛋白
配电GIS中配网拓扑特征提取及网络拓
国际互联网版权保护若干问题比较研
钛酸盐纳米管的结构稳定性和光学特
华中电网水电优化调度系统数据库设
基于多Agent的网络教学系统的研究与
无正本提单交货法律问题研究
电沉积纳米晶铜微观组织与变形机制
船舶融资租赁交易中所有权相关法律

实时系统论文时间自动机论文建模模型检测论文转换系统论文可达性论文 UPPAAL论文
版权申明：目录由用户jas16**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved