定性组合建模与仿真的理论和方法研究
| 摘要 | 第1-8页 |
| ABSTRACT | 第8-9页 |
| 第一章 绪论 | 第9-22页 |
| ·课题研究背景 | 第9-13页 |
| ·问题的提出 | 第9-10页 |
| ·定性建模技术 | 第10-11页 |
| ·已有的研究基础 | 第11-12页 |
| ·课题的研究意义 | 第12-13页 |
| ·国内外研究现状 | 第13-18页 |
| ·定性组合建模 | 第13-16页 |
| ·定性归纳建模 | 第16-17页 |
| ·国内研究现状 | 第17-18页 |
| ·研究内容与主要创新 | 第18-22页 |
| ·研究内容 | 第18-20页 |
| ·主要特色和创新 | 第20-21页 |
| ·论文组织结构 | 第21-22页 |
| 第二章 定性组合建模与仿真的理论基础 | 第22-39页 |
| ·库珀的定性仿真理论 | 第22-26页 |
| ·概述 | 第22-23页 |
| ·基本概念 | 第23-24页 |
| ·定性模型 | 第24-26页 |
| ·定性仿真过程 | 第26页 |
| ·定性组合建模 | 第26-34页 |
| ·定性模型的可组合性质 | 第26-27页 |
| ·组合建模方法 | 第27-29页 |
| ·定性组合建模 | 第29-31页 |
| ·定性组合建模的步骤 | 第31-33页 |
| ·定性组合建模与面向对象 | 第33-34页 |
| ·模型假设与关联推理 | 第34-35页 |
| ·辅助定性建模的信息 | 第34页 |
| ·基于模型假设的关联推理 | 第34-35页 |
| ·定性组合建模中的仿真算法 | 第35-39页 |
| ·模型组合与仿真的结合 | 第35-36页 |
| ·模型边界问题 | 第36-37页 |
| ·定性仿真与半定量仿真 | 第37-39页 |
| 第三章 定性组合建模的面向对象描述 | 第39-60页 |
| ·定性组合建模的概念框架 | 第39-41页 |
| ·定性组合建模的建模环境 | 第39-40页 |
| ·定性组合建模的概念框架 | 第40-41页 |
| ·定性组合建模的OMT模型 | 第41-46页 |
| ·组合建模的面向对象特性 | 第41-42页 |
| ·定性组合建模的对象模型 | 第42-44页 |
| ·定性组合建模的动态模型 | 第44-45页 |
| ·定性组合建模的功能模型 | 第45-46页 |
| ·定性组合建模的面向对象描述 | 第46-57页 |
| ·建模类描述 | 第46-51页 |
| ·仿真类描述 | 第51-54页 |
| ·调度类描述 | 第54-57页 |
| ·模型描述示例 | 第57-60页 |
| ·概念域说明 | 第57页 |
| ·模型片断描述 | 第57-60页 |
| 第四章 模型假设研究 | 第60-71页 |
| ·问题的提出 | 第60-61页 |
| ·模型片断库的结构 | 第61-66页 |
| ·复合模型片断和假设类 | 第61-63页 |
| ·模型片断库的结构 | 第63-66页 |
| ·模型假设描述 | 第66-70页 |
| ·模型假设的分类 | 第66-67页 |
| ·模型假设的组成 | 第67-68页 |
| ·辅助建模决策的模型假设 | 第68-69页 |
| ·模型假设的框架表示 | 第69-70页 |
| ·小结 | 第70-71页 |
| 第五章 基于关联推理的模型组合算法 | 第71-86页 |
| ·模型与任务的关联 | 第71-74页 |
| ·关联推理任务划分 | 第71-72页 |
| ·模型片断的因果向 | 第72-73页 |
| ·基于关联推理的定性组合建模 | 第73-74页 |
| ·关联推理的问题描述 | 第74-78页 |
| ·模型输入 | 第74-75页 |
| ·关联性的表示 | 第75-77页 |
| ·模型的属性 | 第77-78页 |
| ·基于关联推理的组合建模算法 | 第78-83页 |
| ·任务划分 | 第78页 |
| ·算法流程图 | 第78-79页 |
| ·算法说明 | 第79-83页 |
| ·一个电池的例子 | 第83-86页 |
| 第六章 定性组合建模中的仿真算法 | 第86-100页 |
| ·改进定性仿真算法 | 第86-93页 |
| ·基本定性仿真 | 第86-87页 |
| ·定性仿真算法的CSP描述 | 第87-89页 |
| ·QSIM的量空间 | 第89页 |
| ·几类符号函数 | 第89-90页 |
| ·约束函数描述 | 第90-92页 |
| ·改进约束过滤算法 | 第92页 |
| ·小结 | 第92-93页 |
| ·模糊定性仿真 | 第93-99页 |
| ·模型定性值表示 | 第93-94页 |
| ·模糊关系约束 | 第94-95页 |
| ·状态转移机制 | 第95-96页 |
| ·时基过滤 | 第96-97页 |
| ·“阈值”过滤 | 第97-98页 |
| ·模糊定性仿真的特点 | 第98-99页 |
| ·小结 | 第99-100页 |
| 第七章 定性组合建模与仿真的实现 | 第100-114页 |
| ·定性组合建模的任务模型 | 第100-102页 |
| ·定性建模的任务模型 | 第100-102页 |
| ·主要功能设计 | 第102-104页 |
| ·基本模型单元的创建 | 第104-109页 |
| ·变量与量空间的创建 | 第104-105页 |
| ·主体的创建 | 第105-106页 |
| ·约束关系 | 第106-107页 |
| ·结构关系和激活条件 | 第107-108页 |
| ·创建模型片断 | 第108-109页 |
| ·仿真与行为表现 | 第109-111页 |
| ·功能框架 | 第109页 |
| ·仿真算法 | 第109-110页 |
| ·规则引擎 | 第110页 |
| ·真值维护系统 | 第110页 |
| ·仿真控制与结果表现 | 第110-111页 |
| ·定性组合建模示例 | 第111-114页 |
| 第八章 结论与展望 | 第114-118页 |
| ·关于本文 | 第114-116页 |
| ·进一步的研究与展望 | 第116-118页 |
| 致谢 | 第118-120页 |
| 参考文献 | 第120-126页 |
| 附录: 攻读博士学位期间发表的主要论文 | 第126页 |
