1.&n

發(fā)展壯大離不開廣大客戶長(zhǎng)期以來的信賴與支持，我們將始終秉承“誠(chéng)信為本、服務(wù)至上”的服務(wù)理念，堅(jiān)持“二合一”的優(yōu)良服務(wù)模式，真誠(chéng)服務(wù)每家企業(yè)，認(rèn)真做好每個(gè)細(xì)節(jié)，不斷完善自我，成就企業(yè)，實(shí)現(xiàn)共贏。行業(yè)涉及VR全景等，在成都網(wǎng)站建設(shè)、全網(wǎng)整合營(yíng)銷推廣、WAP手機(jī)網(wǎng)站、VI設(shè)計(jì)、軟件開發(fā)等項(xiàng)目上具有豐富的設(shè)計(jì)經(jīng)驗(yàn)。bsp;A Theory of Dianosis from First Principles
本文主要講述了如何通過一階邏輯來對(duì)系統(tǒng)進(jìn)行描述，以及對(duì)系統(tǒng)進(jìn)行故障分析，主要是基于de Kleer的理論，通過判斷系統(tǒng)描述和觀測(cè)是否一致來判定系統(tǒng)可能哪些地方存在故障，從而得到所有可能故障的集合，然后通過定義最小碰撞集合（最小故障集合），在可能故障的基礎(chǔ)上，求最小故障集合（最小碰集）通過樹形結(jié)構(gòu)，對(duì)可能故障集合進(jìn)行分析，求得最小故障集合。文中作者用一些方法對(duì)故障樹進(jìn)行修剪，使得減少?zèng)]有重復(fù)和冗余，提高效率。根據(jù)求得的最小故障集合中有單個(gè)部件故障和多個(gè)部件故障之分，又提出了單故障診斷。通過系統(tǒng)描述，和部件的觀測(cè)得出的最小故障集合。但是沒有確定發(fā)生的是哪個(gè)故障，之后作者又提出了通過一定的策略來提取單個(gè)故障，即通過添加相應(yīng)的觀測(cè)值來與系統(tǒng)描述以及部件觀測(cè)相對(duì)照，若符合一定的條件，便可以排除相應(yīng)的最小故障集合中的故障，從而達(dá)到分離和確定故障的目的，同時(shí)文中也提到有可能添加的觀測(cè)與最小故障集合中的每一個(gè)都不符合，那是該怎么辦？未解決。自己感覺文中用樹形結(jié)構(gòu)來進(jìn)行最小沖突候選集合的計(jì)算雖然用了削減的方法，但是感覺效率還是不是很高。即求最小碰撞集合的方法有待提高。
2. Diagnosability of Discrete-Event systems
定義了，可診斷性和I-可診斷性。通過自動(dòng)機(jī)的模型定義可診斷器?？稍\斷器中的狀態(tài)用狀態(tài)和故障標(biāo)簽描述，通過看回路中故障標(biāo)簽是否一致來判斷是否可診斷。其中第一了幾種狀態(tài)，模糊狀態(tài)（ambigous），確定狀態(tài)（F-certain），不確定狀態(tài)（F-uncertain）通過看環(huán)路中的狀態(tài)是否處于不確定和模糊狀態(tài)，若是則表示系統(tǒng)是不可診斷的。同時(shí)給出了系統(tǒng)是客觀測(cè)的充分條件和必要條件。I-診斷性要求每個(gè)故障對(duì)應(yīng)有相應(yīng)的指示器可觀測(cè)事件，同時(shí)也給出了I-診斷的條件。診斷器的方法比較繁瑣，如果量大時(shí)，他的效率會(huì)很低。所以作為判斷可診斷性的基本方法。本文首次提出了診斷器的方法。
網(wǎng)頁題目：論文記錄-創(chuàng)新互聯(lián)
網(wǎng)頁路徑：http://weahome.cn/article/ejops.html