資料介紹
為了增強計算樹邏輯在時序上的表達能力,以廣義可能性測度、決策過程和計算樹邏輯為基礎,硏究了具有決策過程的廣義可能性模糊時態(tài)計算樹邏輯的模型檢測。首先采用廣乂可能性決策過程作為系統(tǒng)模型;然后引λ模糊時態(tài)算子,枃造了模糊時態(tài)計算樹邏輯并給岀其在廣義可能性測度下的語義,得到新的廣義可能性模糊時態(tài)計算樹邏輯用來描述系統(tǒng)屬性;最后在廣乂可能性調度下通過模糊矩陣運算討論了¨soowithin、last、 nearly”等幾類模糊時態(tài)連接詞的具體計算方法,給岀相應的模型檢測算法。經驗證明,廣義可能性模糊時態(tài)計算樹邏輯是廣義可能性計算樹邏輯在模糊時序上的擴充,具有更強的表達能力。
- 基于廣義正交模糊集結算子的多屬性決策 2次下載
- 高安全性應用開發(fā)環(huán)境的時序性質驗證框架 1次下載
- 基于模糊集和概率分布的XML模型及計算 1次下載
- 基于度量線性時態(tài)邏輯與安全性綜述 5次下載
- 可檢測實時系統(tǒng)的正確性的符號化模型 6次下載
- 結合背景與前景的RGB-D圖像顯著性檢測模型 0次下載
- 一種基于攻擊樹模型的4G網絡評估方法 4次下載
- 時序邏輯符號模型檢測器 1次下載
- 一種廣義運動模糊模型 0次下載
- 一種模糊時態(tài)描述邏輯 0次下載
- 基于模糊評判法的入侵檢測模型研究
- 基于線性時態(tài)邏輯的Petri網模型檢測研究
- 戰(zhàn)場目標的模糊邏輯檢測與識別方法
- 基于可能性計算模型的信息系統(tǒng)風險評估系統(tǒng)設計
- 航空發(fā)動機T-S模型模糊廣義預測控制算法設計
- 深度學習中的模型權重 1636次閱讀
- 利用知識圖譜與Llama-Index技術構建大模型驅動的RAG系統(tǒng)(下) 1269次閱讀
- 基于XR806實現(xiàn)競技機器人先進模糊控制器 1103次閱讀
- 文件系統(tǒng)-多叉樹與二叉樹的轉化 1211次閱讀
- OpenCV FFT模糊檢測方法 1044次閱讀
- 硬件工程師問題分析方法——邏輯樹分析法 1849次閱讀
- 邏輯架構模型開發(fā)概念原則詳解 4698次閱讀
- 什么情況下基于樹的模型將超過神經網絡模型 1895次閱讀
- 單片模糊控制器NLX230的設計特點與應用分析 2676次閱讀
- U盤到底還有沒有發(fā)展的可能性 3651次閱讀
- 決策樹和隨機森林模型 8020次閱讀
- 模糊傳感器的結構特性及應用 1788次閱讀
- 數(shù)據(jù)挖掘算法:決策樹算法如何學習及分裂剪枝 5815次閱讀
- 云計算安全問題的探究與解析 672次閱讀
- 哈夫曼樹帶權路徑長度怎么計算 15.3w次閱讀
下載排行
本周
- 1NS1081/NS1081S/NS1081Q USB 3.0閃存數(shù)據(jù)手冊
- 0.40 MB | 4次下載 | 2 積分
- 2光伏并網逆變器原理
- 7.31 MB | 3次下載 | 2 積分
- 3T20電烙鐵原理圖資料
- 0.27 MB | 2次下載 | 免費
- 4PL83081 雙路恒流同步降壓轉換器技術手冊
- 3.34 MB | 1次下載 | 免費
- 5PL88052 4.8V至60V輸入,5A,同步降壓轉換器技術手冊
- 3.36 MB | 1次下載 | 免費
- 6LX8201微孔霧化驅動芯片電路圖資料
- 0.15 MB | 1次下載 | 免費
- 7PC6200_7V直流電機驅動器技術手冊
- 0.47 MB | 次下載 | 免費
- 8恒溫晶體振蕩器(OCXO)FOC-2D:20.6×20.6mm在通信基站和測試設備中的應用參數(shù)規(guī)格
- 485.75 KB | 次下載 | 免費
本月
- 1如何看懂電子電路圖
- 12.88 MB | 329次下載 | 免費
- 2RK3588數(shù)據(jù)手冊
- 2.24 MB | 14次下載 | 免費
- 3PC5502負載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 12次下載 | 免費
- 4STM32F10x參考手冊資料
- 13.64 MB | 12次下載 | 1 積分
- 5OAH0428 V1.0英文規(guī)格書
- 5.86 MB | 8次下載 | 免費
- 6NS1081/NS1081S/NS1081Q USB 3.0閃存數(shù)據(jù)手冊
- 0.40 MB | 4次下載 | 2 積分
- 7PID控制算法學習筆記資料
- 3.43 MB | 3次下載 | 2 積分
- 8光伏并網逆變器原理
- 7.31 MB | 3次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935132次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191415次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183349次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81599次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73818次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65990次下載 | 10 積分
評論