首页--工业技术论文--自动化技术、计算机技术论文--自动化技术及设备论文--一般性问题论文--设计、性能分析与综合论文

基于带连续变量的Statecharts的信息物理融合系统的建模与验证

摘要第1-6页
Abstract第6-10页
第1章 引言第10-14页
   ·研究背景第10-11页
   ·发展现状第11页
   ·应用项目背景第11-12页
   ·研究工作第12页
   ·论文结构第12-14页
第2章 Statecharts介绍以及模型验证第14-26页
   ·Statecharts定义第14-15页
   ·Statechart项定义第15-16页
   ·Statecharts的限制条件第16-18页
     ·同步假说第16页
     ·保持因果关系假说第16-17页
     ·表达优先假说第17页
     ·其它限制条件第17-18页
   ·一些Statecharts的变型介绍第18-19页
     ·Basic Statecharts介绍第18页
     ·时间Statecharts介绍第18-19页
   ·Kripke Structure第19-20页
   ·时态逻辑第20-25页
     ·迁移系统第20-21页
     ·线性时态逻辑及其验证方法第21-22页
     ·计算树时态逻辑及其验证方法第22-25页
   ·本章小结第25-26页
第3章 带连续变量的Statecharts第26-38页
   ·带连续变量的Statecharts的定义第26-27页
   ·Statechart项定义第27-28页
   ·带连续变量的Statecharts的操作语义与说明语义第28-32页
     ·En(Conf,I, Xconf,T)函数定义第28-29页
     ·操作语义第29-30页
     ·说明语义第30-32页
   ·跨边界的Statecharts的离散状态激活集的变迁第32-33页
   ·带连续变量的Statecharts的状态变化第33-35页
     ·时延变迁第34页
     ·离散变迁第34-35页
   ·建模与分析第35-36页
     ·建模方法第35-36页
     ·可达状态集分析第36页
   ·本章小结第36-38页
第4章 带连续变量的Statecharts的验证第38-46页
   ·现有Statecharts验证方法介绍第38-40页
     ·Statemate第38页
     ·Promela和SPIN第38页
     ·NuSMV第38-40页
   ·CTL验证方法第40-45页
     ·将带连续变量的Statecharts转换成Kripke Structure第40-42页
     ·将需要验证的性质转换成CTL公式第42页
     ·使用CTL带连续变量的Statecharts进行验证第42-45页
   ·本章小结第45-46页
第5章 信息物理融合系统的建模与验证第46-58页
   ·信息物理融合系统介绍第46-49页
     ·概念介绍第46-47页
     ·研究现状第47-48页
     ·与物联网的异同第48-49页
     ·信息物理融合系统中的QoS第49页
   ·信息物理融合系统的模型第49-51页
     ·时空模型第49-50页
     ·Physicalnet模型第50-51页
   ·带连续变量的Statecharts对信息物理融合系统建模第51-52页
   ·带连续变量的Statecharts对信息物理融合系统验证第52-56页
     ·上文验证方法的不足第52页
     ·Online验证第52-55页
     ·Online验证与Offline验证比较第55-56页
   ·验证结果的使用第56-57页
   ·本章小结第57-58页
第6章 安全信息联动工程系统第58-65页
   ·安全信息联动工程系统介绍第58页
   ·安全信息联动工程系统分析第58-59页
   ·安全信息联动工程系统建模第59-62页
   ·安全信息联动工程系统验证第62-64页
     ·Offline验证第62-64页
     ·Online验证第64页
   ·本章小结第64-65页
第7章 总结与展望第65-67页
   ·工作总结第65-66页
   ·工作展望第66-67页
参考文献第67-72页
致谢第72-73页
攻读硕士学位期间参加的科研项目第73-74页
攻读硕士学位期间发表的学术论文第74页

论文共74页,点击 下载论文
上一篇:基于门户和企业服务总线的应用集成研究及应用
下一篇:企业激励体系与一线管理人员的离职意愿影响关系的实证研究