開學來的第一次討論班，關于公理的細化（細粒度公理定位），雖然不是自己的研究方向，但是感覺師姐講的很好，一些專業(yè)詞匯不理解，但是有關自己模型診斷的知識還是有些的。下面是自己在該次討論班的些許感觸。通過聽師姐講述，大體了解師姐主要是做，對公理進行細化，就像一系列的公理（師姐講述時用MUPS）給出，但要判斷是否正確，如果不細化的話，可能找到矛盾的是單個公理，細化之后可以對公理進行等價分解，從而找到更小級別的（分解后的公理，可能是多個）錯誤。從而是我想到對一些給定的故障候選集合進行求最小碰撞集合的操作。其中候選碰撞集合就相當于師姐講的MUPS，在診斷中，可能候選診斷集合不是全部給出的，那么需要隨著診斷的進行不斷的添加新的診斷集合，根據故障候選集合（MUPS）計算最小故障集合（細化后所得到的公理）。我可以理解為，診斷過程中，細化前，診斷出故障發(fā)生在全加器中，細化后故障精確到全加器中的門電路（如與門，或門，異或門等的故障）。經過細化使得獲得出錯的位置更加明確，當然得到的結果可能不止一個，可能是多個。

問題一：師姐說在細化的過程中，是生成MUPS和求最小碰撞集合同時進行的，使我想到了樹形結構實現求最小碰撞集合的過程中，有剪枝的過程，可能會出現結點是已有結點的子集等情況，不明白在公理細化的過程中是否會有這種問題，如果想避免它發(fā)生，是不是事先得對公理進行篩選，例如看看是不是存在包含關系等。

問題二：公理的細化，勢必會增加系統的空間和時間復雜度，我在想它在公理上的應用，實際的效益會彌補這些不足嗎？公理細化是應用在哪里？我能想到的就是在做數學證明題中，證明步驟的判斷（判斷該步驟是否是由已有公理推算出來的）。

問題三：我總是與模型診斷聯系起來，我會想到模型診斷中求最小碰集，可能結果也不是唯一的，那是我們可以給系統添加些觀測，排除一些沖突集，最終能找到一個集合，即找到系統出現當時觀測的的真正原因故障。當然，也可能找不到唯一確定的故障。而師姐提出的公理細化就是想盡可能找到公理不一致的原因，細化的目的也是為了找尋細化前公理中是否存在不滿足條件的情況。那么她找到這些不滿足的情況后就停止了，還是會對其進行修改那就不確定了。模型診斷方向是通過對系統建模，系統描述，部件描述，系統觀測和預期觀測進行比較找到不同后，尋找故障發(fā)生的原因，可能有多個，再通過其他觀測進行比較檢驗，測試，最終確定唯一的故障。接下來是對故障進行修復，使系統表現出預期的狀態(tài)。

本文名稱：討論班-09-04-創(chuàng)新互聯
網頁路徑：http://www.chinadenli.net/article46/dccdhg.html

成都網站建設公司_創(chuàng)新互聯，為您提供自適應網站、小程序開發(fā)、定制網站、服務器托管、Google、品牌網站建設

廣告

聲明：本網站發(fā)布的內容（圖片、視頻和文字）以用戶投稿、用戶轉載內容為主，如果涉及侵權請盡快告知，我們將會在第一時間刪除。文章觀點不代表本網站立場，如需處理請聯系客服。電話：028-86922220；郵箱：631063699@qq.com。內容未經允許不得轉載，或轉載時需注明來源： 創(chuàng)新互聯