[工學(xué)]廈門大學(xué)軟件學(xué)院20xx年本科畢業(yè)設(shè)計論文答辯工作安排-免費閱讀

　　

【正文】 沒有了他們，我的生活將了無生趣。我們提出含缺省約束的診斷系統(tǒng)的目的是希望在模型不完備的情況下，先以已有的可靠模型描述和待證偽的假設(shè)為前提計算診斷空間，若這些假設(shè)中某條被后來的觀測或者其他的可靠描述反駁，則需要對假設(shè)集合進(jìn)行修正。第四章 總結(jié)我們提出的含有假設(shè)性約束的診斷系統(tǒng)與文獻(xiàn)[5]和文獻(xiàn)[6]中的貢獻(xiàn)并不相同。如果觀測到的結(jié)果是，并且我們相信造成觀測結(jié)果的所有原因都在中，那么可以取，則根據(jù)定理17計算得 ，即診斷為電源和電線都是正常的，燈泡壞了。（充分性）設(shè)是的缺省本原蘊含，由上面證明可知它一定是一個含缺省約束的基于模型的部分診斷。這就是說是的一個蘊含式。用表示的所有形如子句形式的缺省本原蘊含式的合取式，形如，對其中每一，都有，特別地，若，則。因此，對于每個被覆蓋的可滿足的文字的合取式，有。這與是部分診斷矛盾。證畢。定理13 若是系統(tǒng)的一個含缺省約束的基于模型最小診斷，則也是一個含缺省約束診斷的充分必要條件是的所有最小沖突都是正的。當(dāng)分別取為和時，可以分別得到含缺省約束的系統(tǒng)的基于一致性部分診斷和部分溯因診斷的定義。我們下面證明這樣的在中的包含的沖突一定會形如。于是，而中只有正文字，因此可知從而是的蘊含，而是一個最小診斷，任何一個的子集都沒有以上的性質(zhì)，因此也是的本原蘊含。由定理8有是一個診斷。又因為是一個沖突集，根據(jù)沖突集的定義，它是由推出的子句集，因此是可滿足的。一個沖突稱為最小的，當(dāng)且僅當(dāng)該沖突的任一真子子句都不是沖突。在僅僅用正確行為的模型來刻畫一個設(shè)備時，我們可以得出結(jié)論“若是系統(tǒng)的一個含缺省約束的基于模型最小診斷，且有，則也是一個診斷”，但若在正確行為的模型中加入了對錯誤行為的描述，則上面的結(jié)論就并不一定成立了，因為一個最小診斷的錯誤部件集的超集并不一定構(gòu)成一個診斷。基于以上思想，我們提出了下面的含有缺省約束的診斷系統(tǒng)，或稱診斷問題。而轉(zhuǎn)化后的公式為，其中表示不被相信。從人類認(rèn)識過程看，知識是在認(rèn)識的進(jìn)化過程中從不完全到相對完全，并不斷接近客觀真理，因此知識的不完全性與認(rèn)識的特定階段相關(guān)，而非單調(diào)理論所描述的也僅僅是關(guān)于某一問題特定階段的知識，知識中的錯誤和新知識是在認(rèn)識過程中，當(dāng)它與人們的預(yù)測及試驗不一致時和遇到了新的觀測事實后才被發(fā)現(xiàn)，推理的非單調(diào)性也是在對錯誤的修正時才呈現(xiàn)出來，因而在含缺省假設(shè)的條件下，我們可以討論基于認(rèn)識進(jìn)程的診斷過程，研究知識的進(jìn)化對于診斷結(jié)果的影響。定義20[18] 設(shè)是上一閉缺省理論，為閉公式集，定義為滿足以下條件的最小集：；；若，且，則。這些假設(shè)將加入到可以肯定為真的對待診斷設(shè)備的已知可靠描述中，形成對設(shè)備的新描述，并在新描述的基礎(chǔ)上進(jìn)行推斷得出診斷結(jié)果。 診斷效率不高對于復(fù)雜一些的診斷問題，診斷的效率不高。且這種含約束的診斷與溯因診斷并不相同。圖中給定了一組合法的電路輸入值，并把電路輸出的正常值放在方括號里面。已經(jīng)證明，在封閉的擴(kuò)展因果理論中，溯因診斷和基于一致性的診斷是一樣的。例如，設(shè)觀測。定義16[9] 假設(shè)是命題語言。有人將診斷看成是帶一致性約束的溯因問題，并提出了一個如前文所示的統(tǒng)一定義[14]，使得不同的邏輯定義都可在這一定義中進(jìn)行表示，并能夠進(jìn)行比較。1998年，有人在教育系統(tǒng)中使用了GDE來診斷學(xué)習(xí)者的學(xué)習(xí)行為[5]。不過有人已經(jīng)證明，在這種情況下，使用最小診斷這個概念沒有任何實際用途。正是由于我們已知溯因診斷的結(jié)果空間被包含在基于一致性診斷的結(jié)果空間中[23]，因此，可以采用一種統(tǒng)一的定義機(jī)制來包含兩種不同的基于模型診斷方法。舉一個簡化的例子如下[13]。此處不再贅述。由于基于一致性的最小診斷無法刻畫診斷空間，為此文獻(xiàn)[3]提出了基于一致性的中心診斷。定義6[1] 稱一個基于一致性診斷為最小基于一致性診斷當(dāng)且僅當(dāng)對于的任意一個真子集都不是一個診斷。顯然定義1和定義2最大的區(qū)別在于定義2增加了的部分。（3）診斷辨別的基本任務(wù)：當(dāng)有多個診斷通過測試時，應(yīng)該要搜集什么樣的額外信息才能辨別它們，以得出最后的診斷。因此，基于模型方法的使用費用相對低一些。因此，它所包容的故障類型是固定的且較少。模型可以分為不同的類型：結(jié)構(gòu)型、功能型、行為型，或者他們的組合。它的主要思想如圖1所示[2]。本文進(jìn)一步給出了在加入這些假設(shè)后診斷系統(tǒng)的相關(guān)基本概念，包括含缺省約束的基于模型診斷、最小診斷、部分診斷、中心診斷、蘊含、蘊含式及本原蘊含等等。在校外進(jìn)行實習(xí)的同學(xué)，如果確實無法將開發(fā)的軟件帶回學(xué)校進(jìn)行演示，可采用截屏、拍照、攝像等方式，將自己所做的工作在答辯過程中展示出來，否則要影響答辯成績。二、 論文評閱時間學(xué)院將安排有關(guān)教師對學(xué)生的論文進(jìn)行評閱，評閱教師認(rèn)真填寫評閱意見，并給出評閱成績。指導(dǎo)教師對學(xué)生的論文應(yīng)進(jìn)行認(rèn)真的修改，包括論文內(nèi)容和論文格式，特別是論文格式，應(yīng)嚴(yán)格按照學(xué)校的要求執(zhí)行。 答辯要求每位學(xué)生的論文答辯時間為15分鐘，其中10分鐘為學(xué)生報告時間（包括軟件或硬件系統(tǒng)的演示時間），5分鐘為答辯小組教師提問時間。本文在目前已知的對待診斷設(shè)備的可靠描述之外，提出了可加入一部分假設(shè)性信息作為對無法完備模型的補充，并且這些假設(shè)采用了從規(guī)范缺省理論中的規(guī)則轉(zhuǎn)化而成的公式形式。關(guān)鍵詞：含缺省假設(shè)的診斷問題；基于模型的中心診斷；缺省本原蘊含/蘊含式AbstractModelbased diagnosis was a rising technology for diagnosis in recent years. It covered some disadvantages of the traditional diagnosis and gets better results. But a plete and sound model was considered as default in modelbased diagnosis systems, and such a criteria was often difficult to reach in practice, which disconnected the diagnosis theory and reality.This paper added some assumptions into the sound descriptions of the device to be diagnosed as a supplement of the inplete model, and all the assumptions were described by formulae transformed from default rules of normal default theory. These assumptions with the sound descriptions of the device that were sure to be true formed a new description of the device to be diagnosed. The diagnosis was concluded from the new descriptions. The aim of such a practice is to shrink the diagnosis result set by adding the assumptions. The basic concepts of the diagnosis system with some new assumptions were also listed including modelbased diagnosis with default assumptions, minimal diagnosis, partial diagnosis, kernel diagnosis, implicant, implicate and prime implicant, etc. And the paper showed different methods to characterize the new diagnosis system which were minimal diagnosis and kernel diagnosis respectively. The paper also indicated that in modelbased diagnosis with default constraints the superset of the wrong ponents in minimal diagnosis was still a diagnosis if and only if the conflicts of the system were positive. And this paper also characterized the minimal diagnosis and kernel diagnosis, including two methods for kernel diagnosis and their pare. The methods showed of the straight link between modelbased diagnosis and the prime implicants / implicates in this assumptionadded modelbased diagnosis system. In the end, this paper indicates that the link is the generalization of kernel consistencybased diagnosis and kernel abductive diagnosis, which connects the theory with implementing.Key words: diagnosis problem containing default constraints。基于模型診斷的基本任務(wù)[1]是從模型和觀測出發(fā)進(jìn)行推理，從而決定出哪些部件產(chǎn)生故障，才能夠解釋出現(xiàn)的所有差異。而如前所述，基于模型的診斷方法做的是面向征兆的診斷，即當(dāng)觀測到的行為與預(yù)期行為出現(xiàn)差異時(這時的觀測又稱為征兆)才進(jìn)行診斷推理，從模型和征兆出發(fā)找出可能出故障的部件。對每一設(shè)備都需要建立一個新的規(guī)則集。 基于模型診斷的基本過程基于模型的診斷分為診斷產(chǎn)生、診斷測試以及診斷辨別3個階段[2]。定義1 [1]一個系統(tǒng)是一個三元組，其中：是系統(tǒng)描述，是一階語句的集合；是系統(tǒng)組成部件，是一個有限的常量集；為觀察集，是一階語句的集合。定義3[1] 文字為或。稱是的一個本原蘊含(Prime implicant) 當(dāng)且僅當(dāng)能覆蓋的唯一的的蘊含是本身。該方法的基本定義如下：定義13[6] 設(shè)，則的溯因診斷為，使得是可滿足的，且。而溯因診斷的限制較強(qiáng)，已經(jīng)證明，它所提供的解釋集是基于一致性診斷提供的解釋集的子集。由于完備是指每一觀察的所有原因都在中，因此由溯因診斷方法給出的唯一解是合理的，而由基于一致性方法給出的另一解是不合理的。但是，由于知識本身是不完備的，所以若想很完美地模型化一個現(xiàn)實的診斷問題往往非常困難。開發(fā)故障模型已有實際的系統(tǒng)實現(xiàn)，即GDE(General Diagnostic Engine)系統(tǒng)。另外還有幾種方法分述如下：（1）溯因診斷[1]另一種限制診斷空間的方法即為溯因診斷，正如本文前面已舉的實例那樣，溯因診斷能夠?qū)谝恢滦栽\斷所產(chǎn)生的診斷空間進(jìn)行限制，有時甚至能直接得出真正的解。因果關(guān)系知識是常識推理的一個重要部分。它應(yīng)該是從設(shè)計角度能解釋得通得，并可能帶有一點類似啟發(fā)式型得信息。正是因為伴隨關(guān)系理論的加入縮小了上面經(jīng)典因果理論的診斷空間。在實際應(yīng)用中，可使用這些診斷方法，通過分析涉及表示每一觀測原子的那部分模型的完備性來適當(dāng)選擇需要被邏輯推出的觀測原子集，使得診斷空間不大，又不會丟失有用解。圖3 全加器含約束診斷系統(tǒng)的約束又被分為判別約束和候選約束，判別約束都是候選約束，反之不然。在此情況下，要建立完備可靠的經(jīng)典因果理論模型幾乎是不可能的。在不斷獲知新的征兆的過程中，前面的診斷甚至有可能與新的征兆出現(xiàn)不一致，這些都需要結(jié)合其他領(lǐng)域的邏輯理論進(jìn)行研究。這兩種方法將能有效地把理論與實現(xiàn)聯(lián)系起來。由于一般的閉缺省理論可能不存在擴(kuò)充，因此Reiter提出了一種常用的缺省理論即規(guī)范缺省理論[18]。于是，為了解決完備性問題，我們可以在目前已知的對待診斷設(shè)備的可靠描述之外，再引入一些其他的相關(guān)信息，如文獻(xiàn)[14]中所描述的定義信息和伴隨信息，或如文獻(xiàn)[16]中所定義的一些約束，或如本文將要提出的假設(shè)性的補充信息，這些相關(guān)信息的最直接目的就是縮小龐大的診斷空間。由此，我們可以在信念修正的框架中繼續(xù)深入討論。定義24稱一含缺省約束的基于模型診斷為含缺省約束的基于模型最小診斷當(dāng)且僅當(dāng)對于的任一真子集，都不是一個含缺省約束的基于模型的診斷。空子句也被視作正子句。但在作出新的刻畫之前，我們?nèi)杂斜匾紫扔米钚≡\斷的概念來描述含缺省假設(shè)的基于模型診斷方法，以便與新的刻畫方法作一個比較。定理9已知含缺省約束的診斷系統(tǒng)如定義22，是它的一個最小