本文關(guān)鍵詞：基于直覺模糊時(shí)間Petri網(wǎng)的不確定性時(shí)間推理方法

  更多相關(guān)文章： 直覺模糊集 Petri網(wǎng) 時(shí)序邏輯 時(shí)間推理

【摘要】：針對(duì)Petri網(wǎng)模型在對(duì)復(fù)雜不確定性時(shí)間信息描述和推理方面的局限性,在定義直覺模糊時(shí)間函數(shù)以及網(wǎng)絡(luò)變遷約減規(guī)則的基礎(chǔ)上,融合直覺模糊時(shí)序邏輯(IFTL)、直覺模糊Petri網(wǎng)(IFPN)以及線性邏輯推理的理論優(yōu)勢(shì),構(gòu)建了直覺模糊時(shí)間Petri網(wǎng)(IFTPN)推理模型,并提出了基于IFTPN的不確定性時(shí)間推理算法,較好地解決了態(tài)勢(shì)評(píng)估中沖突事件間的不確定性時(shí)間推理問題。最后,通過典型的戰(zhàn)場(chǎng)想定驗(yàn)證了該時(shí)間推理方法的有效性和優(yōu)越性。
【作者單位】： 咸陽師范學(xué)院;西安通信學(xué)院;空軍工程大學(xué)防空反導(dǎo)學(xué)院;
【關(guān)鍵詞】： 直覺模糊集 Petri網(wǎng) 時(shí)序邏輯 時(shí)間推理
【基金】：國(guó)家自然科學(xué)基金(61272011,61309022) 國(guó)家重點(diǎn)實(shí)驗(yàn)室基金(2012ADL-DW0301) 陜西省自然科學(xué)青年基金資助項(xiàng)目(2013JQ8031)
【分類號(hào)】：TP301.1
【正文快照】： *0引言由于系統(tǒng)的隨機(jī)性、缺乏屬性參數(shù)以及信息不完備等因素的影響,戰(zhàn)場(chǎng)態(tài)勢(shì)在時(shí)間信息方面存在較大的模糊不確定性,而這類時(shí)間知識(shí)的描述與推理是整個(gè)態(tài)勢(shì)評(píng)估系統(tǒng)建模需要研究和解決的關(guān)鍵問題,也是其智能化的集中體現(xiàn)[1-3]。直覺模糊Petri網(wǎng)(Intuitionistic Fuzzy Petri N

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫 前10條

1 吳志林;張文輝;;命題線性時(shí)序邏輯的對(duì)偶模型問題的復(fù)雜性(英文)[J];軟件學(xué)報(bào);2007年07期

2 Ю.Я.巴齊列夫斯基;莫莎;;時(shí)序邏輯函數(shù)論的幾個(gè)問題(上)[J];電子計(jì)算機(jī)動(dòng)態(tài);1961年06期

3 趙興賢,林春亭;狀態(tài)圖法在氣動(dòng)時(shí)序邏輯回路設(shè)計(jì)上的應(yīng)用[J];大連海運(yùn)學(xué)院學(xué)報(bào);1983年01期

4 鄭茂松;;時(shí)序邏輯語言[J];計(jì)算機(jī)科學(xué);1983年06期

5 姜文彬;四值邏輯與脈沖異步時(shí)序邏輯網(wǎng)絡(luò)分析和設(shè)計(jì)[J];電子學(xué)報(bào);1990年03期

6 劉蔚東;;關(guān)于時(shí)序邏輯設(shè)計(jì)中的自啟動(dòng)問題[J];電工技術(shù);1997年08期

7 黃佳;;基于行為時(shí)序邏輯的安全協(xié)議研究[J];信息通信;2012年04期

8 謝揚(yáng)光;同步時(shí)序邏輯網(wǎng)絡(luò)的圖上作業(yè)設(shè)計(jì)法[J];長(zhǎng)春郵電學(xué)院學(xué)報(bào);1986年02期

9 姜文彬;脈沖型時(shí)序邏輯網(wǎng)絡(luò)設(shè)計(jì)的解析方法[J];計(jì)算機(jī)學(xué)報(bào);1989年04期

10 姜文彬;脈沖型時(shí)序邏輯網(wǎng)絡(luò)設(shè)計(jì)（Ⅲ）[J];山東建材學(xué)院學(xué)報(bào);1995年02期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫 前2條

1 章超;李彩虹;李廉;;SPIN在同步時(shí)序邏輯中的應(yīng)用[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

2 馮荷飛;曹子寧;;交錯(cuò)時(shí)序認(rèn)知邏輯在安全協(xié)議中的應(yīng)用[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國(guó)邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議論文集[C];2008年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫 前6條

1 逄濤;命題投影時(shí)序邏輯符號(hào)模型檢測(cè)及其應(yīng)用研究[D];西安電子科技大學(xué);2014年

2 劉萬偉;擴(kuò)展時(shí)序邏輯的推理及符號(hào)化模型檢驗(yàn)技術(shù)[D];國(guó)防科學(xué)技術(shù)大學(xué);2009年

3 楊琛;打結(jié)不變的命題投影時(shí)序邏輯與模型檢測(cè)[D];西安電子科技大學(xué);2010年

4 萬良;基于行為時(shí)序邏輯TLA的系統(tǒng)、規(guī)則與協(xié)議檢測(cè)的研究[D];貴州大學(xué);2009年

5 張南;命題投影時(shí)序邏輯的完備公理系統(tǒng)與形式驗(yàn)證[D];西安電子科技大學(xué);2012年

6 趙常智;基于運(yùn)行時(shí)驗(yàn)證的軟件監(jiān)控關(guān)鍵技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2011年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 劉照洋;基于行為時(shí)序邏輯TLA的網(wǎng)絡(luò)協(xié)議的描述與驗(yàn)證[D];貴州大學(xué);2015年

2 張麗;命題投影時(shí)序邏輯的判定性和表達(dá)性[D];西安電子科技大學(xué);2007年

3 楊琳琳;基于時(shí)序邏輯的安全協(xié)議驗(yàn)證方法的研究[D];南京航空航天大學(xué);2010年

4 韓冰;線性時(shí)序邏輯在失業(yè)保險(xiǎn)審計(jì)中的應(yīng)用研究[D];哈爾濱工程大學(xué);2010年

5 田聰;命題投影時(shí)序邏輯的可判定性[D];西安電子科技大學(xué);2007年

6 林麗秀;時(shí)序邏輯轉(zhuǎn)換斷言圖的研究[D];電子科技大學(xué);2013年

7 趙延珂;基于時(shí)序邏輯模型驗(yàn)證的入侵檢測(cè)方法研究[D];鄭州大學(xué);2014年

8 李亞利;基于可能性測(cè)度的時(shí)序邏輯性質(zhì)研究[D];陜西師范大學(xué);2013年

9 葛徐駿;基于時(shí)序邏輯的雙向一致性檢測(cè)[D];華東師范大學(xué);2015年

10 黃貽望;基于行為時(shí)序邏輯模型檢測(cè)的研究與應(yīng)用[D];貴州大學(xué);2009年

，

本文編號(hào)：684520