基于符号合流方程的定性仿真方法及其应用 |
论文目录 | | | 第一章 引言 | 第1-18
页 | | · 研究定性仿真的意义和目标 | 第11-15
页 | | · 仿真技术是一门新兴的迅速发展的高新技术 | 第11-13
页 | | · 何谓仿真(simulation) | 第11-12
页 | | · 仿真能解决许多难题 | 第12
页 | | · 仿真技术的应用 | 第12
页 | | · 仿真技术的优点及代价 | 第12-13
页 | | · 仿真技术的分类 | 第13-14
页 | | · 定性仿真的现实意义 | 第14-15
页 | | · 定性仿真的优点 | 第14-15
页 | | · 定性仿真的实用价值 | 第15
页 | | · 本文研究的目标 | 第15-16
页 | | · 定性仿真的回顾与发展 | 第16-17
页 | | · 定性仿真的三大理论派别 | 第16-17
页 | | · 模糊仿真方法 | 第16
页 | | · 基于归纳学习的方法 | 第16
页 | | · 朴素物理方法 | 第16-17
页 | | · 定性仿真还在发展中 | 第17
页 | | · 内容安排 | 第17-18
页 | | 第二章 定性仿真的几种基本方法 | 第18-35
页 | | · 定性推理中 De Kleer 的符号计算理论 | 第18-24
页 | | · 问题的提出 | 第18
页 | | · De Kleer 的方法 | 第18-24
页 | | · 几个有关的概念 | 第18-19
页 | | · 定性量空间的符号集及定性运算定义 | 第19-22
页 | | · 符号合流方程的建立 | 第22-23
页 | | · De Kleer 方法存在的不足之处 | 第23-24
页 | | · Kuipers 的定性仿真理论 | 第24-26
页 | | · 概述 | 第24-25
页 | | · QSIM 算法的主要步骤 | 第25-26
页 | | · 通用函数状态转换表 | 第26
页 | | · Williams 的归并符号与实数的混合代数系统 | 第26-35
页 | | · Williams 方法的意义 | 第26-27
页 | | · Q1 代数系统 | 第27-28
页 | | · Q1 的定义结构 | 第27
页 | | · SR1、PI1、ZI1 代数简介 | 第27-28
页 | | · SR1 的代数运算定义 | 第28-30
页 | | · SR1 的定性加、定性减运算规则 | 第28-29
页 | | · SR1 的定性乘、定性除运算规则 | 第29-30
页 | | · SR1 的基本性质 | 第30-33
页 | | · SR1 的封闭性 | 第30-31
页 | | · 实代数与符号代数 | 第31
页 | | · 定性负的定义如下 | 第31
页 | | · < S′, ⊕, (?) >和< R, +, ×>的共同性质 | 第31-32
页 | | · < S′, ⊕, (?) >的独特性质 | 第32-33
页 | | · 映射“[ ]”对S′和R 的联系 | 第33
页 | | · < R, +, ×>和< S′, ⊕, (?) >性质对比 | 第33
页 | | · Q1 混合代数系统解决了R、S′间映射中加减问题 | 第33-35
页 | | 第三章 基于符号合流方程的定性仿真方法 | 第35-50
页 | | · 基于符号合流方程的定性仿真 | 第35-42
页 | | · 定性推理的三个基本方法的弱点 | 第35-37
页 | | · 本文采用“符号合流方程定性仿真”的立足点 | 第37-38
页 | | · 本文采用“符号合流方程”所依据的理论 | 第38-40
页 | | · 符号合流方程的来源 | 第40-41
页 | | · 建立符号合流方程方法小结 | 第41-42
页 | | · 基于符号合流方程的定性仿真方法的步骤及符号合流模型的建立 | 第42
页 | | · 步骤 | 第42
页 | | · 符号合流模型的建立 | 第42
页 | | · 符号合流方程的求解方法 | 第42-50
页 | | · 排除法 | 第42-45
页 | | · 定性消解法 | 第45-48
页 | | · 试错法 | 第48-50
页 | | 第四章 在宏观经济分析中的应用 | 第50-70
页 | | · 导言 | 第50
页 | | · 供求模型 | 第50-52
页 | | · 修正的凯恩斯模型(modified Keynesian model) | 第52-57
页 | | · IS 曲线 | 第53-55
页 | | · LM 曲线 | 第55-56
页 | | · IS–LM 模型 | 第56-57
页 | | · 总需求—总供给模型 | 第57-69
页 | | · 总需求函数 | 第58-61
页 | | · 总供给函数 | 第61-65
页 | | · 总供求均衡 | 第65-67
页 | | · 总供求均衡变化的符号合流模型 | 第67-69
页 | | · 对总供求均衡变化符号合流模型仿真的意义 | 第69-70
页 | | 第五章 面向对象的系统分析与设计 | 第70-79
页 | | · 面向对象的分析 | 第70-71
页 | | · 需求分析 | 第70
页 | | · 建立对象模型 | 第70-71
页 | | · 确定类 | 第70-71
页 | | · 分析类之间的关系 | 第71
页 | | · 面向对象的设计 | 第71-75
页 | | · 设计问题域子系统 | 第71-72
页 | | · 设计人机交互子系统 | 第72-75
页 | | · C#程序语言简介 | 第75-76
页 | | · 用C#编制程序 | 第76-79
页 | | 第六章 总结与展望 | 第79-81
页 | | · 总结 | 第79-80
页 | | · 展望 | 第80-81
页 | | 参考文献 | 第81-85
页 | | 致谢 | 第85-86
页 | | 个人简历 | 第86页 |
|
|
|
