本文選題：不確定觀測(cè) + 離散事件系統(tǒng)�。� 參考：《軟件學(xué)報(bào)》2017年05期

【摘要】：從系統(tǒng)診斷的角度來看,可診斷性是離散事件系統(tǒng)的一個(gè)重要性質(zhì).其要求系統(tǒng)發(fā)生故障后經(jīng)過有限步的觀測(cè)可以檢測(cè)并隔離故障.為簡(jiǎn)單起見,對(duì)離散事件系統(tǒng)可診斷性的研究大都假定觀測(cè)是確定的,即觀測(cè)到的事件序列與系統(tǒng)實(shí)際發(fā)生的可觀測(cè)事件序列一致.而在實(shí)際應(yīng)用中,由于感知器的精度、信息傳輸通道的噪聲等原因,所獲取的觀測(cè)往往是不確定的.重點(diǎn)研究觀測(cè)不確定條件下離散事件系統(tǒng)的可診斷性問題.首先擴(kuò)展了傳統(tǒng)可診斷性的定義,定義了觀測(cè)不確定條件下的可診斷性;然后,分別給出各類觀測(cè)不確定條件下的可診斷性判定方法;在更一般的情況下,各類觀測(cè)不確定可能共同存在,因此,最后給出一般情況下的可診斷性判定方法.
[Abstract]:From the point of view of system diagnosis , it is an important property of discrete event system .
【作者單位】： 廣東省委黨校信息技術(shù)教研部;廣西可信軟件重點(diǎn)實(shí)驗(yàn)室(桂林電子科技大學(xué));貴州省黔南師范學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金(61603152,61463044,61363030) 廣西可信軟件重點(diǎn)實(shí)驗(yàn)室研究課題(KX201604,KX201606,KX201419,KX201330) 貴州省科技廳項(xiàng)目(LH[2014]7421) 廣西自然科學(xué)基金(2015GXNSFAA139285)~~
【分類號(hào)】：TP311

【參考文獻(xiàn)】

相關(guān)期刊論文 前4條

1 王曉宇;歐陽丹彤;趙相福;;不完備離散事件系統(tǒng)的可診斷性[J];軟件學(xué)報(bào);2015年06期

2 王曉宇;歐陽丹彤;趙劍;;不完備模型下的離散事件系統(tǒng)診斷方法[J];軟件學(xué)報(bào);2012年03期

3 趙相福;歐陽丹彤;;離散事件系統(tǒng)基于模型診斷的研究進(jìn)展[J];計(jì)算機(jī)科學(xué)與探索;2011年02期

4 韓旭;史忠植;林芬;;基于模型診斷的研究進(jìn)展[J];高技術(shù)通訊;2009年05期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 成奕東;聞新;王爾申;;Livingstone故障診斷軟件的技術(shù)特征分析[J];機(jī)械工程師;2017年03期

2 文習(xí)明;余泉;常亮;王駒;;不確定觀測(cè)下離散事件系統(tǒng)的可診斷性[J];軟件學(xué)報(bào);2017年05期

3 佘曉娓;趙相福;;用MDMC-HS-tree方法計(jì)算極小碰集[J];浙江師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2016年04期

4 童菲;李鐵強(qiáng);馬淵;;華為光接口單元故障可診斷度分析[J];信息系統(tǒng)工程;2016年10期

5 陳忱;;基于改進(jìn)BPSO的最小碰集搜索方法應(yīng)用研究[J];山東工業(yè)技術(shù);2016年12期

6 柴瑞亞;朱怡安;陸偉;史佳龍;;基于擴(kuò)展窗口的時(shí)序不完備診斷方法研究[J];計(jì)算機(jī)科學(xué);2015年10期

7 王曉宇;歐陽丹彤;趙相福;;不完備離散事件系統(tǒng)的可診斷性[J];軟件學(xué)報(bào);2015年06期

8 陸偉;張龍妹;朱怡安;;離散事件系統(tǒng)部分可診斷性分析[J];計(jì)算機(jī)科學(xué);2015年02期

9 王肖;趙相福;;基于模型診斷的候選空間單調(diào)性研究[J];計(jì)算機(jī)集成制造系統(tǒng);2013年12期

10 陳治佐;劉興釗;呂高煥;;Livingstone用于航天器推進(jìn)系統(tǒng)故障診斷[J];太赫茲科學(xué)與電子信息學(xué)報(bào);2013年05期

【二級(jí)參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 王曉宇;歐陽丹彤;趙劍;;不完備模型下的離散事件系統(tǒng)診斷方法[J];軟件學(xué)報(bào);2012年03期

2 陳藹祥;陳清亮;潘久輝;姜云飛;楊晉吉;;通過診斷圖分析的快速診斷算法[J];計(jì)算機(jī)學(xué)報(bào);2009年08期

3 韓旭;史忠植;林芬;;基于模型診斷的研究進(jìn)展[J];高技術(shù)通訊;2009年05期

4 張學(xué)農(nóng);姜云飛;陳藹祥;張立成;;基于模型診斷的分步求解[J];軟件學(xué)報(bào);2008年03期

5 趙相福;歐陽丹彤;;基于模型的診斷中產(chǎn)生所有極小沖突集的新方法[J];吉林大學(xué)學(xué)報(bào)(工學(xué)版);2007年02期

6 陳琳;黃杰;龔正虎;;一種求解最小診斷代價(jià)的小生境遺傳算法[J];計(jì)算機(jī)學(xué)報(bào);2005年12期

7 欒尚敏,戴國(guó)忠;利用結(jié)構(gòu)信息的故障診斷方法[J];計(jì)算機(jī)學(xué)報(bào);2005年05期

8 李占山,姜云飛,王濤;基于模型的診斷問題分解及其算法[J];計(jì)算機(jī)學(xué)報(bào);2003年09期

9 陳榮,姜云飛;含約束的基于模型的診斷系統(tǒng)[J];計(jì)算機(jī)學(xué)報(bào);2001年02期

10 ;Optimization　of　Measuring　Points　in　Model-based　Diagnosis[J];Journal of Harbin Institute of Technology;1998年01期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 李勇華;實(shí)時(shí)離散事件系統(tǒng)適定性監(jiān)控的一個(gè)結(jié)果[J];控制理論與應(yīng)用;1993年01期

2 邢清華,劉付顯;關(guān)于離散事件系統(tǒng)異步仿真中時(shí)鐘管理機(jī)制的理論探討[J];計(jì)算機(jī)工程與應(yīng)用;2001年01期

3 俞新貞,吳澄;離散事件系統(tǒng)的穩(wěn)定性[J];控制與決策;2001年01期

4 蔡逸凡;李承家;;模糊離散事件系統(tǒng)的性質(zhì)[J];杭州電子科技大學(xué)學(xué)報(bào);2009年01期

5 王曉宇;歐陽丹彤;趙相福;馮宇軒;;在離散事件系統(tǒng)中尋找診斷路徑的方法[J];吉林大學(xué)學(xué)報(bào)(理學(xué)版);2010年03期

6 王曉宇;歐陽丹彤;趙劍;耿雪娜;;基于沖突的離散事件系統(tǒng)診斷方法[J];吉林大學(xué)學(xué)報(bào)(工學(xué)版);2013年02期

7 徐心和;一類離散事件系統(tǒng)的模型建立與動(dòng)態(tài)分析[J];東北工學(xué)院學(xué)報(bào);1987年03期

8 徐心和,于海斌;用于離散事件系統(tǒng)研究的代數(shù)方法[J];信息與控制;1990年03期

9 徐心和,于海斌;用于離散事件系統(tǒng)研究的代數(shù)方法(三)[J];信息與控制;1990年05期

10 任彥斌;;離散事件系統(tǒng)理論及應(yīng)用國(guó)際研討會(huì)在沈召開[J];自動(dòng)化學(xué)報(bào);1991年05期

相關(guān)會(huì)議論文 前10條

1 盧建寧;趙光宙;;布爾離散事件系統(tǒng)的監(jiān)控理論[A];第二十四屆中國(guó)控制會(huì)議論文集（下冊(cè)）[C];2005年

2 朱列新;鄭大鐘;;線性離散事件系統(tǒng)頻域分析[A];1989年控制理論及其應(yīng)用年會(huì)論文集（中）[C];1989年

3 李勇華;;離散事件系統(tǒng)的一類最優(yōu)控制問題[A];1993中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1993年

4 唐乾玉;韓曾晉;;隨機(jī)離散事件系統(tǒng)的優(yōu)化[A];1995中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1995年

5 陳文德;齊向東;鄧述慧;;離散事件系統(tǒng)的周期分析[A];1989年控制理論及其應(yīng)用年會(huì)論文集（中）[C];1989年

6 朱更新;鄭大鐘;;離散事件系統(tǒng)二元變換方法[A];1991年控制理論及其應(yīng)用年會(huì)論文集（上）[C];1991年

7 唐乾玉;陳翰馥;韓曾晉;;基于擾動(dòng)分析的隨機(jī)離散事件系統(tǒng)的優(yōu)化算法[A];1995年中國(guó)控制會(huì)議論文集（下）[C];1995年

8 邢清華;劉付顯;;關(guān)于離散事件系統(tǒng)異步仿真中時(shí)鐘管理機(jī)制的理論探討[A];1994中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1994年

9 張豐;王眾托;;離散事件系統(tǒng)監(jiān)控的受控序貫決策過程模型[A];1993中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1993年

10 蔣智平;吳智銘;;給定離散事件系統(tǒng)監(jiān)督器的優(yōu)化[A];1991年控制理論及其應(yīng)用年會(huì)論文集（上）[C];1991年

相關(guān)博士學(xué)位論文 前9條

1 冉寧;基于Petri網(wǎng)的離散事件系統(tǒng)的監(jiān)控器綜合與故障檢測(cè)[D];浙江大學(xué);2017年

2 耿雪娜;離散事件系統(tǒng)的可診斷性問題研究[D];吉林大學(xué);2017年

3 陸飛華;離散事件系統(tǒng)的混合監(jiān)控理論[D];浙江大學(xué);2009年

4 畢翔;帶約束條件的模糊離散事件系統(tǒng)監(jiān)控理論研究[D];合肥工業(yè)大學(xué);2013年

5 趙相福;離散事件系統(tǒng)基于模型診斷的若干問題研究[D];吉林大學(xué);2009年

6 王曉宇;離散事件系統(tǒng)下基于模型診斷方法的若干問題研究[D];吉林大學(xué);2014年

7 陳曉亮;基于Petri網(wǎng)的離散事件系統(tǒng)混或診斷和監(jiān)督控制研究[D];西安電子科技大學(xué);2014年

8 李旭暉;移動(dòng)Agent描述與仿真中若干問題的研究[D];武漢大學(xué);2003年

9 張瑤瑤;基于約束轉(zhuǎn)換的離散事件系統(tǒng)監(jiān)控器綜合[D];浙江大學(xué);2007年

相關(guān)碩士學(xué)位論文 前10條

1 羅敏楠;模糊離散事件系統(tǒng)的診斷[D];陜西師范大學(xué);2010年

2 王雅楠;模糊離散事件系統(tǒng)中的謂詞變換及控制不變度[D];太原理工大學(xué);2016年

3 辛珊珊;雙子中無自環(huán)加權(quán)時(shí)間事件圖的最小周期及其應(yīng)用[D];河北師范大學(xué);2016年

4 胡芹;基于離散事件系統(tǒng)的云資源動(dòng)態(tài)調(diào)度控制[D];廣東工業(yè)大學(xué);2016年

5 劉清蘭;模糊離散事件系統(tǒng)的多故障診斷方法研究[D];華僑大學(xué);2016年

6 陳奇;基于模型的若干故障診斷方法研究與實(shí)現(xiàn)[D];浙江師范大學(xué);2016年

7 謝晉;基于Petri網(wǎng)的廣義互斥約束轉(zhuǎn)換算法研究[D];浙江大學(xué);2017年

8 劉俊萍;離散事件系統(tǒng)與模糊離散事件系統(tǒng)的可控性及可觀測(cè)性關(guān)系研究[D];陜西師范大學(xué);2008年

9 楊芳;離散事件系統(tǒng)中基于模型診斷的符號(hào)化計(jì)算[D];吉林大學(xué);2012年

10 王曉宇;針對(duì)離散事件系統(tǒng)的基于模型故障診斷改進(jìn)方法的研究[D];吉林大學(xué);2010年

，

本文編號(hào)：1944636