分布式仿真系统动态重构技术研究
| 摘要 | 第1-16页 |
| ABSTRACT | 第16-18页 |
| 第一章 绪论 | 第18-35页 |
| ·研究背景 | 第18-21页 |
| ·问题描述 | 第21-23页 |
| ·相关研究现状与立题依据 | 第23-31页 |
| ·分布式系统中的动态重构技术研究 | 第23-25页 |
| ·分布式仿真动态重构技术的相关研究 | 第25-30页 |
| ·立题依据 | 第30-31页 |
| ·论文的研究内容、组织结构和主要贡献 | 第31-35页 |
| ·论文的主要研究问题 | 第31-32页 |
| ·论文组织结构和研究内容 | 第32-33页 |
| ·论文的主要贡献 | 第33-35页 |
| 第二章 基于DEVS与反射理论的可重构仿真框架 | 第35-53页 |
| ·仿真重构的相关概念 | 第35-42页 |
| ·建模与仿真框架 | 第35-36页 |
| ·动态系统描述的层次 | 第36页 |
| ·基于实体空间的仿真重构再认识 | 第36-42页 |
| ·基于DEVS的可重构建模与仿真开发框架 | 第42-49页 |
| ·DEVS形式化规范 | 第42-46页 |
| ·支持仿真重构的DEVS组件描述方法 | 第46-48页 |
| ·基于可确认组件装配的重构方法 | 第48页 |
| ·模型集成的仿真系统开发 | 第48-49页 |
| ·基于反射理论的仿真动态调整机制 | 第49-52页 |
| ·反射理论基础 | 第50-51页 |
| ·反射式分布仿真动态调整机制 | 第51-52页 |
| ·小结 | 第52-53页 |
| 第三章 DEVS模型的组合语义及其验证方法研究 | 第53-74页 |
| ·引言 | 第53页 |
| ·基于TTS的并行DEVS模型操作语义描述 | 第53-59页 |
| ·时间转移系统(TTS) | 第54-55页 |
| ·并行DEVS模型执行语义的抽象仿真器描述 | 第55-56页 |
| ·基于时间迹的DEVS模型语义形式描述 | 第56-58页 |
| ·DEVS模型向TTS的语义等价转换 | 第58-59页 |
| ·DEVS向时间自动机的语义等价转换方法研究 | 第59-69页 |
| ·时间自动机 | 第59-62页 |
| ·转换原理 | 第62页 |
| ·转换过程及证明 | 第62-69页 |
| ·DEVS模型的理论验证方法 | 第69-73页 |
| ·相容性检验 | 第69-70页 |
| ·基于时态逻辑的DEVS模型语义性质验证 | 第70-73页 |
| ·小结 | 第73-74页 |
| 第四章 DEVS动态结构模型及其分布仿真方法研究 | 第74-102页 |
| ·引言 | 第74-75页 |
| ·DSDEVS与dynDEVS形式规范的比较 | 第75-78页 |
| ·DSDEVS规范 | 第75-76页 |
| ·dynDEVS规范 | 第76-77页 |
| ·DSDEVS与dynDEVS的比较 | 第77-78页 |
| ·PVDSDE动态结构模型 | 第78-87页 |
| ·总体结构 | 第78-79页 |
| ·原子模型 | 第79页 |
| ·耦合模型 | 第79-82页 |
| ·耦合封闭性的证明 | 第82-84页 |
| ·模型执行协议 | 第84-87页 |
| ·PVDSDE/HLA的扁平式仿真机制 | 第87-91页 |
| ·两种分布仿真实现模式的比较 | 第87页 |
| ·扁平式仿真的模型组织 | 第87-89页 |
| ·扁平式仿真的实现结构 | 第89-90页 |
| ·扁平式仿真的调度机制 | 第90-91页 |
| ·PVDSDE/HLA仿真的时间推进方法研究 | 第91-101页 |
| ·两种时间推进方式 | 第91-92页 |
| ·相关研究 | 第92页 |
| ·协调者控制的时间推进算法 | 第92-93页 |
| ·映射式时间推进算法 | 第93-101页 |
| ·小结 | 第101-102页 |
| 第五章 支持多剧情并发重构的仿真克隆技术研究 | 第102-128页 |
| ·引言 | 第102页 |
| ·相关研究 | 第102-104页 |
| ·基本概念 | 第104-109页 |
| ·仿真克隆与仿真复制 | 第104-105页 |
| ·仿真克隆与动态结构模型的关系 | 第105页 |
| ·决策点 | 第105页 |
| ·HLA仿真克隆的层次 | 第105-106页 |
| ·主动和被动克隆 | 第106页 |
| ·完全克隆与递增克隆 | 第106-109页 |
| ·剧情树 | 第109页 |
| ·体系结构 | 第109-113页 |
| ·单联邦与多联邦方案 | 第109-111页 |
| ·采用与不采用DDM的单联邦克隆 | 第111-112页 |
| ·中间件方法 | 第112-113页 |
| ·剧情区分算法 | 第113-120页 |
| ·点区域算法 | 第113-114页 |
| ·递归区域分割算法 | 第114-118页 |
| ·算法的适用性分析 | 第118-120页 |
| ·实现机制 | 第120-127页 |
| ·具有反射能力的松祸合联邦成员结构 | 第120-122页 |
| ·克隆过程 | 第122-127页 |
| ·小结 | 第127-128页 |
| 第六章 原型系统的实现与应用 | 第128-146页 |
| ·原型系统的总体结构 | 第128页 |
| ·模型集成的DEVS组件开发 | 第128-135页 |
| ·领域相关建模语言(DSML) | 第129-130页 |
| ·模型集成计算的原理 | 第130页 |
| ·MetaGME元建模语言 | 第130-132页 |
| ·基于GME的DEVS领域相关建模 | 第132-133页 |
| ·基于DEVS GME的组件及仿真开发 | 第133-135页 |
| ·可重构DEVS仿真系统开发的通用支撑结构实现 | 第135-139页 |
| ·总体结构 | 第135-136页 |
| ·仿真调度器与适配器的内部实现 | 第136-137页 |
| ·HLA仿真克隆工具的内部实现 | 第137-139页 |
| ·应用实例 | 第139-145页 |
| ·应用背景 | 第140页 |
| ·系统结构 | 第140-141页 |
| ·剧情设计 | 第141页 |
| ·仿真实验的建立与执行 | 第141-144页 |
| ·实验结果 | 第144-145页 |
| ·总结 | 第145-146页 |
| 第七章 总结与展望 | 第146-149页 |
| ·论文工作总结 | 第146-147页 |
| ·下一步工作展望 | 第147-149页 |
| 作者在学期间取得的学术成果 | 第149-151页 |
| 致谢 | 第151-153页 |
| 参考文献 | 第153-164页 |
