定性仿真理論及其應(yīng)用

定性仿真理論及其應(yīng)用

定性仿真理論及其應(yīng)用

摘要： 本文首先介紹了定性仿真的產(chǎn)生背景及理論發(fā)展?fàn)顩r，然后說(shuō)明了定性仿真在各領(lǐng)域的應(yīng)用情況，最后對(duì)定性仿真的發(fā)展方向進(jìn)行了探討。
關(guān)鍵詞：定性仿真，定性模型
　

1 定性仿真的產(chǎn)生與理論現(xiàn)狀

定性仿真(Qualitative Simulation)是以非數(shù)字手段處理信息輸入、建模、行為分析和結(jié)果輸出等仿真環(huán)節(jié)，通過(guò)定性模型推導(dǎo)系統(tǒng)的定性行為描述。定性仿真是系統(tǒng)仿真的一個(gè)分支，是系統(tǒng)仿真與人工智能理論交叉產(chǎn)生的新領(lǐng)域。相對(duì)于傳統(tǒng)的數(shù)字仿真，定性仿真有其獨(dú)到之處：這種仿真能處理多種形式的信息，有推理能力和學(xué)習(xí)能力，能初步模仿人類思維方式，人機(jī)界面更符合人的思維習(xí)慣，所得結(jié)果更容易理解。

定性仿真的研究中，美國(guó)學(xué)者起步較早。70年代后期，美國(guó)XEROX實(shí)驗(yàn)室的John de Kleer 和Seely Brown 在設(shè)計(jì)一個(gè)電路教學(xué)系統(tǒng)時(shí)發(fā)現(xiàn)，以常規(guī)的數(shù)學(xué)模型和仿真方法難以使學(xué)生很快明白電路的工作過(guò)程，而在實(shí)際教學(xué)中，老師并不是先給出數(shù)學(xué)公式，而是先講解電路的工作原理，采用定性的描述方法，那么是否可以用計(jì)算機(jī)來(lái)模擬這一方法呢？同樣在許多的實(shí)際工作中，人們更多的是依靠這種對(duì)系統(tǒng)原理性的理解，而這種理解的基礎(chǔ)就是定性知識(shí)。很多專家學(xué)者開(kāi)始探索如何在數(shù)字仿真中引入定性知識(shí)。

1983年，John de Kleer 和Seely Brown發(fā)表了有關(guān)定性仿真的第一篇論文A Qualitative Physics Based On Confluence?，產(chǎn)生了巨大反響，揭開(kāi)了定性仿真研究熱潮的序幕。美國(guó)麻省理工學(xué)院的Kenneth D. Forbus則對(duì)定性仿真理論作了全面的總結(jié)；1986年美國(guó)德州大學(xué)的Benjamin Kuipers在 Qualitative Simulation”一文中提出了動(dòng)態(tài)仿真算法QSIM，使定性仿真接近于實(shí)用。1984年人工智能雜志第一次出版了關(guān)于定性問(wèn)題的專集。此后定性問(wèn)題的研究成為人工智能和系統(tǒng)建模與仿真領(lǐng)域的一個(gè)熱點(diǎn)，許多學(xué)者加入到這一研究領(lǐng)域中，產(chǎn)生了大量的研究成果。1991年，人工智能雜志又出版了有關(guān)定性推理的第二本專集，標(biāo)志著該領(lǐng)域理論研究逐漸成熟并且向應(yīng)用領(lǐng)域擴(kuò)展。90年代以來(lái)，該領(lǐng)域的研究情況可謂方興未艾，在IEEE的相關(guān)雜志上和撊斯ぶ悄軘等國(guó)際刊物上經(jīng)�？梢钥吹蕉ㄐ苑抡娣矫娴难芯砍晒�。國(guó)內(nèi)該領(lǐng)域的研究起步較晚，目前從事定性理論研究的僅限于少數(shù)院校的少數(shù)研究者。

定性仿真產(chǎn)生之后，在理論上出現(xiàn)了百家爭(zhēng)鳴的局面，研究者們根據(jù)自己的見(jiàn)解提出了各自的建模和仿真理論。目前，基本可分為三個(gè)理論派別，即模糊仿真方法、基于歸納學(xué)習(xí)的方法和樸素物理學(xué)方法。

模糊數(shù)學(xué)方法可以解決模型信息與測(cè)量數(shù)據(jù)的不確定性，所以在定性理論中一般用來(lái)作為一種描述手段。最初，系統(tǒng)的定性值是采用區(qū)間模糊數(shù)的行為來(lái)描述的，英國(guó)的Qiang Shen進(jìn)一步將其發(fā)展到用凸模糊數(shù)來(lái)描述定性值，在數(shù)據(jù)表示上前進(jìn)了一大步。此后，又有人在其基礎(chǔ)上引入了概率論，來(lái)度量生成的多個(gè)行為的可信度。當(dāng)前的模糊定性理論，在模糊數(shù)表示方面都存在一大弱點(diǎn)，那就是系統(tǒng)真實(shí)值與模糊量空間的映射問(wèn)題，即如何確定描述系統(tǒng)的模糊量。

歸納推理法是定性仿真的一個(gè)新方向，它起源于通用系統(tǒng)理論，主要利用其中的通用系統(tǒng)問(wèn)題求解（General System Problem Solve）技術(shù)。輸入盡可能多的行為，通過(guò)歸納學(xué)習(xí)的方式，構(gòu)造系統(tǒng)的定性模型，進(jìn)行仿真研究。歸納推理法最突出的優(yōu)勢(shì)在于它完全不需要對(duì)象系統(tǒng)的結(jié)構(gòu)信息，不需要預(yù)先提供任何模型。但是，這種方法需要采集大量的數(shù)據(jù)并處理和維護(hù)；而且，由于現(xiàn)實(shí)條件的限制，不能保證歸納的完備性。

樸素物理方法在理論和應(yīng)用上發(fā)展得最為成熟，它興起于一些人工智能專家對(duì)樸素物理系統(tǒng)的定性推理研究。根據(jù)建立系統(tǒng)定性模型的方法，又可分為很多派別，比較有影響的有：Seely Brown和John de Kleer提出的基于摿鲾?shù)母拍畹睦碚摚琄. D. Forbus 的定性過(guò)程理論，B.J.Kuipers基于約束的用定性微分方程描述的定性仿真理論等。 　

　

2 定性仿真的應(yīng)用

現(xiàn)在，定性仿真技術(shù)與物理、化工、生態(tài)、生物、社會(huì)等學(xué)科相互滲透、結(jié)合，在系統(tǒng)監(jiān)測(cè)、故障診斷、系統(tǒng)行為分析、解釋以及預(yù)測(cè)等方面發(fā)揮著越來(lái)越大的作用。 國(guó)外文獻(xiàn)報(bào)導(dǎo)較多而且應(yīng)用取得成效比較明顯的應(yīng)用領(lǐng)域主要有：工程和工業(yè)過(guò)程；電子電路分析和故障診斷；醫(yī)藥和醫(yī)療診斷；社會(huì)經(jīng)濟(jì)領(lǐng)域。 下面有選擇地按照應(yīng)用領(lǐng)域介紹其中比較典型的項(xiàng)目。

　

2.1 工程和工業(yè)過(guò)程

這里工程指?jìng)鹘y(tǒng)的工程領(lǐng)域及一些工程設(shè)備，如蒸餾塔、高壓鍋爐、汽輪機(jī)等人造設(shè)備；工業(yè)過(guò)程指一些連續(xù)系統(tǒng)，如機(jī)械制造、發(fā)酵、化工過(guò)程和電站等 。這方面的應(yīng)用項(xiàng)目比較多見(jiàn)。

ARTIST是歐洲的ESPRIT 計(jì)劃中的一個(gè)項(xiàng)目，項(xiàng)目領(lǐng)導(dǎo)者是蘇格蘭的Heriot-Watt大學(xué)的Leitch.R，完成于1993年7月。此項(xiàng)目建立了定性動(dòng)態(tài)模型，應(yīng)用于過(guò)程監(jiān)測(cè)與故障診斷。Leitch等人建立了一個(gè)基于定性微分方程(QDE)和模糊量空間的定性仿真器： Fusim, 現(xiàn)已應(yīng)用在輸配電網(wǎng)絡(luò)和化工廠蒸餾塔的過(guò)程監(jiān)控、分析、診斷上。

ESPRIT計(jì)劃中另一應(yīng)用定性推理的重要項(xiàng)目是：TIGER工程-汽輪機(jī)的監(jiān)測(cè)、診斷系統(tǒng)�，F(xiàn)已應(yīng)用在 Exxon化工廠的大型工業(yè)汽輪機(jī)以及Dassault航空中心的宇宙飛船輔助動(dòng)力單元。系統(tǒng)應(yīng)用定性仿真來(lái)預(yù)測(cè)汽輪機(jī)啟動(dòng)及負(fù)載改變時(shí)的可能行為�！�

　

2.2 電子電路分析和故障診斷

定性仿真的一個(gè)很重要的應(yīng)用領(lǐng)域便是電子電路分析和故障診斷。定性推理的先驅(qū)人物de Kleer早在1976年便開(kāi)發(fā)了使用定性知識(shí)研究電子線路的系統(tǒng) LOCAL，即根據(jù)電路部件已測(cè)知的正常行為和錯(cuò)誤行為，分析實(shí)際行為和預(yù)測(cè)行為的不一致之處，然后指出電路的故障點(diǎn)。這種思想后來(lái)發(fā)展成了基于模型的故障診斷理論(model-based diagnosis therory)。時(shí)至今日，由于定性推理和仿真技術(shù)的不斷進(jìn)步，該應(yīng)用領(lǐng)域的發(fā)展前景更為廣闊。

這類項(xiàng)目中，最為典型的是Dague.P等人開(kāi)發(fā)的模擬電路故障診斷工具-DEDALE。Dague對(duì)該系統(tǒng)進(jìn)行了一系列實(shí)驗(yàn)，聲稱：DEDALE系統(tǒng)能診斷出電路故障的75％，另外的25％故障沒(méi)有構(gòu)成對(duì)電路性能的顯著影響，并且可以通過(guò)其他手段檢測(cè)出。Electronique Serge Dassault 繼續(xù)這個(gè)領(lǐng)域的研究工作，已推出一個(gè)名為“DIAGMASTER”的商業(yè)化產(chǎn)品。

下一頁(yè)

【定性仿真理論及其應(yīng)用】相關(guān)文章：

OFDM技術(shù)研究及其系統(tǒng)仿真05-11

公鑰密碼原理及其應(yīng)用05-13

目標(biāo)規(guī)劃及其在經(jīng)濟(jì)中的應(yīng)用05-11

孟子“四端”說(shuō)的形成及其理論意義04-19

公允價(jià)值、預(yù)期現(xiàn)值法及其應(yīng)用06-01

關(guān)于現(xiàn)代教育技術(shù)及其應(yīng)用09-19

人格權(quán)的理論基礎(chǔ)及其立法體例06-09

探討教育理論在課堂教學(xué)中應(yīng)用的教育理論論文（精選11篇）05-26

DS2438及其在單總線微網(wǎng)中的應(yīng)用05-31

第三代移動(dòng)通信技術(shù)及其應(yīng)用論文04-29