文档介绍：摘要其次,本文研究了定性组合建模的过程性知识——有关模型片断使用的模型假设侣真的框架体系,并实现了两类仿真算法——改进定性仿真算法和模糊定性仿真算法。前名本文研究了定性仿真蚨ㄐ酝评的建模问题。自二J兰桶耸甏岳矗ㄐ仿真在问题描述和推理算法方面得到了较好的发展,并在系统分析、诊断、设计、预测等领域月:展了应用研究。但作为一门新的仿真理论,,并因此制约着定性仿真的进一步推广和应用。牵⒄构赜诙ㄐ越9痰难芯浚罢腋ㄖㄐ越男路椒ǎ统晌6ㄐ苑抡领域一个新的热点。在对定性仿真理论和定性建模过程研究的基础上,本文提出定性组合建模的思想,实现了相关的建模和仿真算法。从知识描述的角度,提出面向对象的组合建模方法;从建模过程的角度,提出摹于模型假设的关联推理算法;从模型检验的角度,。夺文的主要研究内容和创新成果如下:首先,针对组合建模与面向对象仿真在知识表示、对象描述、建模算法等方面的类似特点,本文提出了面向对象的定性组合建模思想,通过将面向对象方法引入组合建模体系,建立了面向对象组合建模的形式化描述机制,实现了定性建模知识单元的面向对象描述,这是本文的一个主要特色和创新。息,从模型片断库的结构出发,提出模型假设的分层描述模型:针对其在建模中的作用,建立了模型假设到建模决策的映射机制。在此基础上,本文继续研究了一类特殊的模型侣设,即关联假设,后者从模型片断与被描述对象问的关系出发,将模型片断与建模任务聪系起来,本文提出基于关联假设的推理算法,就是利用关联假设来辅助定性建模任务中郇模型片断选取。最后,本文实现了定性组合建模中的仿真算法。定性模型的特点,决定了定性组合菇模是一个需要重复调整和完善的迭代过程,建模与仿真是通过定性微分方程相关联的两叶子任务,建模是仿真的基础,仿真是对建模结果的检验。为此,本文建立了组合建模与∥是将定性仿真算法看作一类约束满足问题,用约束逻辑程序加以改进,不仅为解决定性付真问题提供了逻辑框架,而且也是一种规范化的程序描述语言:模糊定性仿真算法则是剥纯定性仿真算法在知识描述、状态转移规则、过滤算法等方面的改进,是一类半定量描述方法,有利于在定性仿真领域综合定量信息,同时提高算法的效率。关键词:定性仿真,组合建模,面向对象,模型片断,模型假设,模糊集,算法国防科学技术大学研究生院学位论文第
里堕堂垫查查堂坚窒生堕堂垡笙塞—,’,琺·,,/,,琧,琫,琿琺瑆,,猘猙.—,.:,.甌.,琺,”.,簅,瑂.:,,,—猻、琤,,.総“畉琣
第一章绪论§课题研究背景定性推理或定性仿真侨斯ぶ悄芰域一个相当活跃的研究方向,在模耻的形式化描述和推理算法,直至应用等方面得到了很好的发展;与此形成鲜明对比的是,定性仿真是基丁模型的应用,推理和仿真部是在定性模型的基础U沟模ńN侍庥毙淳觯⑶抑两窭抛哦ㄐ苑抡娴母9惴的推广“曲于宅怍镆型的特眯性,我们仍然缺乏芙ㄐ越<际醯纳钊胙芯亢涂尚械溺模方法,偶有学者涉足,也是筚路蓝缕,始终没有得到彻底解决。。我们从知识描述的角度考虑定性建模刈‘象,提出面向对缘的组合建模描述方法。考虑建模任务与不同模型描述之间的关系着手,提出基关联假没的建模算法。将建模与仿真看作互为联系的两个环节,仿真足对建模结果的检验和补充,并实现了相应的仿真算法。本章首先介绍了课题的研究背景。定性仿真的迅速发展,迫切需要有力的建模工具的支持,在分析该领域存存的问题以及可行的解决途径之后,提出本文的研究思路。,最后是论文的组织结构。模型是客观系统某。方面本质幅性的描述,它以某种确定的形式缥淖帧⒎拧图表、实物、数学公式等峁┕赜诟孟低车闹J叮P褪俏颐怯美慈鲜犊凸凼澜绲挠欣工具。当我们需要了解客观世界的特定对象及其动态变化时,通常比照该对象进行某种程度的近似或模拟埃⒁桓瞿P停缓笸üP投钥凸鄱韵蠼蟹治觯私饪凸鄱韵蟮演化过程,借此加深我们对客观世界的理解。“是关于物理现象的、依据特定建模目标的概念化表示,并且存在一个相应的推理机制,能够由此推导出关于该客观对象的新信息浚客观系统是复杂的,系统的属性也是多方面的,模型一般不是系统对象本身,而是现实系统的描述、模仿或抽象。对于大多数研究目的而言,没有必要考虑系统的全部属性,因此模型只是系统某一方面本质属性的描述,只包含建模者感兴趣的方面。本质属性的选取完全取决于系统的研究目的,创建模型的目标指导着客观对象的概念化过程,它决定客观对象的哪些属性必须在模型中有所体现,以及怎样描述这些属性。现实