| 第一章 引言 | 第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页 |
