首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机的应用论文--信息处理(信息加工)论文--模式识别与装置论文

基于可达集过近似的混合系统验证方法

摘要第1-6页
ABSTRACT第6-13页
第一章 绪论第13-18页
   ·混合系统的概念和特点第13-14页
   ·混合系统的发展概况第14页
   ·混合系统的典型例子第14-15页
     ·双容水箱系统第14-15页
     ·房间温度控制系统第15页
   ·混合系统的形式化验证第15-17页
     ·系统仿真与形式化验证第16页
     ·混合系统的形式化验证的发展第16页
     ·基于模型检验的混合系统形式化验证工具第16-17页
   ·本文的主要内容第17-18页
第二章 混合系统验证中的基本概念第18-24页
   ·迁移系统与商迁移系统第18-19页
     ·迁移系统第18页
     ·商迁移系统第18页
     ·离散抽象迁移系统第18-19页
   ·仿真与仿真对第19-20页
   ·混合系统形式验证的可决策性第20页
   ·模型检验技术第20-24页
     ·计算树逻辑CTL第21-23页
       ·计算树逻辑的组成第21-22页
       ·计算树逻辑实例第22-23页
     ·基于动作的时序逻辑ACTL第23-24页
第三章 混合系统的形式化验证原理第24-38页
   ·混合系统形式化验证的流程第24-25页
   ·混合系统建模第25-28页
     ·混合自动机第25-26页
     ·混合自动机建模实例第26-28页
       ·双容水箱系统第26-27页
       ·房间温度控制系统第27-28页
   ·初始划分第28-30页
     ·初始划分的必要性第28-29页
     ·切换面的分类第29页
     ·初始划分的标准第29-30页
   ·可达集近似第30-36页
     ·流管道计算的原理第30-32页
       ·可达集的表示法和算法的选择第30-32页
       ·流管道的分段近似第32页
     ·流管道计算的方法第32-34页
       ·流管道的过近似算法第33页
       ·线性系统的仿射第33-34页
     ·不变集内的流管道计算第34-35页
     ·下一个不变集的初始状态的确定第35-36页
   ·商迁移系统迁移关系的确定第36页
   ·商迁移系统的模型检验第36页
   ·商迁移系统的细划分第36-38页
     ·细划分的定义第37页
     ·细划分的原则第37-38页
第四章 一类混合系统迁移关系的简化算法第38-45页
   ·问题的提出第38页
   ·结论和证明第38-40页
   ·简化算法第40页
   ·算法的程序框图第40-43页
     ·商迁移系统迁移关系简化算法的程序框图第41页
     ·流管道过近似的程序框图第41-42页
     ·仿射计算的程序框图第42-43页
   ·算法保守性的讨论第43-45页
     ·保守性讨论一第43页
     ·保守性讨论二第43-45页
第五章 验证实例第45-59页
   ·分段线性系统第45-49页
     ·问题描述第45-46页
     ·建立混合自动机模型第46-47页
     ·验证规范第47页
     ·可达集近似计算第47-49页
     ·系统验证第49页
   ·小球系统第49-58页
     ·问题描述第49-51页
     ·建立混合自动机模型第51页
     ·验证过程第51-54页
       ·用可达集近似的方法计算迁移关系第52页
       ·用顶点仿真与可达集近似结合的方法计算迁移关系第52-54页
     ·小球系统的商迁移系统第54页
     ·对比与分析第54-58页
       ·计算量的对比分析第54-55页
       ·保守性的对比分析第55-58页
   ·结论第58-59页
第六章 总结与展望第59-61页
   ·本文总结第59-60页
   ·后续研究工作的建议第60-61页
参考文献第61-64页

论文共64页,点击 下载论文
上一篇:基于基体—夹杂型复合材料的密肋复合墙体等效弹性抗侧刚度的研究
下一篇:铁路沿线建筑利用地源热泵技术采暖制冷的适宜性研究