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

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

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

【相似文獻】

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

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

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

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

4 鄭茂松;;時序邏輯語言[J];計算機科學;1983年06期

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

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

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

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

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

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

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

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

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

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

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

2 劉萬偉;擴展時序邏輯的推理及符號化模型檢驗技術(shù)[D];國防科學技術(shù)大學;2009年

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

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

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

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

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

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

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

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

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

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

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

7 趙延珂;基于時序邏輯模型驗證的入侵檢測方法研究[D];鄭州大學;2014年

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

9 葛徐駿;基于時序邏輯的雙向一致性檢測[D];華東師范大學;2015年

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

，

本文編號：684520