首页--自然科学总论论文--系统科学论文--系统工程论文--系统分析论文--系统模型、系统建模论文

随机切换系统的建模与分析

摘要第1-5页
Abstract第5-11页
第一章 绪论第11-17页
   ·研究背景与意义第11-12页
   ·研究现状第12-14页
     ·系统模型的研究现状第12-13页
     ·形式化建模的研究现状第13-14页
     ·模型检查的研究现状第14页
   ·研究内容第14-15页
   ·文章的组织结构第15-16页
   ·文章的贡献第16-17页
第二章 随机过程和随机微分方程第17-27页
   ·随机过程回顾第17-22页
     ·随机过程第17-19页
     ·Markov链相关理论第19-22页
   ·随机微分方程的相关理论第22-27页
     ·随机微分方程的相关理论第22-23页
     ·随机微分方程的时间离散第23-24页
     ·随机微分方程的Markov近似第24-27页
第三章 随机切换系统第27-37页
   ·基于混合系统的一些讨论第27-30页
     ·离散动态第28-29页
     ·连续动态第29-30页
   ·随机切换系统的一般形式(连续形式)第30-33页
     ·一个简单的例子第31-32页
     ·本文所研究的系统第32-33页
   ·随机切换系统的切换逻辑第33-34页
   ·随机切换系统的离散形式第34-35页
   ·随机切换系统的Markov近似第35-37页
第四章 基于Petri网的随机切换系统建模第37-49页
   ·可微Petri网回顾第37-38页
   ·连续动态的映射规则第38-43页
     ·一个随机微分方程到Petri网的映射第38-39页
     ·待切换的随机微分方程到Petri网的映射第39-40页
     ·概率选择实现的说明第40-41页
     ·多变量系统的映射规则第41-43页
   ·切换逻辑的映射规则第43-46页
     ·Markov控制结构的映射第43-45页
     ·一般状态控制结构的映射第45-46页
   ·切换逻辑与连续动态的集成第46-47页
   ·映射正确性的检查第47-49页
第五章 建立随机可微Petri网第49-55页
   ·定义第49-50页
   ·语义第50-53页
   ·状态演化图的计算第53-55页
第六章 随机可微Petri网模型的验证第55-61页
   ·形式化验证和线性时序逻辑第55-56页
   ·概率模型检查和PRISM简介第56-57页
   ·模型检查的框架第57-61页
     ·生成状态空间的Markov链第57-58页
     ·生成SDPN可达图的Markov链第58页
     ·等价性证明第58-61页
第七章 实例分析第61-71页
   ·实例描述第61-62页
   ·问题的Markov链模型第62-63页
   ·问题的随机可微Petri网模型第63-65页
   ·采用PRISM进行验证第65-71页
     ·PRISM文本描述第65-68页
     ·实验分析第68-71页
第八章 总结与展望第71-73页
参考文献第73-79页
致谢第79-80页
攻读学位期间的研究成果第80页

论文共80页,点击 下载论文
上一篇:分数阶广义Hamilton系统动力学的基本理论
下一篇:灰色缓冲算子与序列光滑性研究