電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
為了增強(qiáng)計(jì)算樹邏輯在時序上的表達(dá)能力，以廣義可能性測度、決策過程和計(jì)算樹邏輯為基礎(chǔ)，硏究了具有決策過程的廣義可能性模糊時態(tài)計(jì)算樹邏輯的模型檢測。首先采用廣乂可能性決策過程作為系統(tǒng)模型;然后引λ模糊時態(tài)算子，枃造了模糊時態(tài)計(jì)算樹邏輯并給岀其在廣義可能性測度下的語義，得到新的廣義可能性模糊時態(tài)計(jì)算樹邏輯用來描述系統(tǒng)屬性;最后在廣乂可能性調(diào)度下通過模糊矩陣運(yùn)算討論了¨soowithin、last、 nearly”等幾類模糊時態(tài)連接詞的具體計(jì)算方法，給岀相應(yīng)的模型檢測算法。經(jīng)驗(yàn)證明，廣義可能性模糊時態(tài)計(jì)算樹邏輯是廣義可能性計(jì)算樹邏輯在模糊時序上的擴(kuò)充，具有更強(qiáng)的表達(dá)能力。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于廣義正交模糊集結(jié)算子的多屬性決策 2次下載
- 高安全性應(yīng)用開發(fā)環(huán)境的時序性質(zhì)驗(yàn)證框架 1次下載
- 基于模糊集和概率分布的XML模型及計(jì)算 1次下載
- 基于度量線性時態(tài)邏輯與安全性綜述 5次下載
- 可檢測實(shí)時系統(tǒng)的正確性的符號化模型 6次下載
- 結(jié)合背景與前景的RGB-D圖像顯著性檢測模型 0次下載
- 一種基于攻擊樹模型的4G網(wǎng)絡(luò)評估方法 4次下載
- 時序邏輯符號模型檢測器 1次下載
- 一種廣義運(yùn)動模糊模型 0次下載
- 一種模糊時態(tài)描述邏輯 0次下載
- 基于模糊評判法的入侵檢測模型研究
- 基于線性時態(tài)邏輯的Petri網(wǎng)模型檢測研究
- 戰(zhàn)場目標(biāo)的模糊邏輯檢測與識別方法
- 基于可能性計(jì)算模型的信息系統(tǒng)風(fēng)險(xiǎn)評估系統(tǒng)設(shè)計(jì)
- 航空發(fā)動機(jī)T-S模型模糊廣義預(yù)測控制算法設(shè)計(jì)
- 深度學(xué)習(xí)中的模型權(quán)重 1636次閱讀
- 利用知識圖譜與Llama-Index技術(shù)構(gòu)建大模型驅(qū)動的RAG系統(tǒng)（下） 1269次閱讀
- 基于XR806實(shí)現(xiàn)競技機(jī)器人先進(jìn)模糊控制器 1103次閱讀
- 文件系統(tǒng)-多叉樹與二叉樹的轉(zhuǎn)化 1211次閱讀
- OpenCV FFT模糊檢測方法 1044次閱讀
- 硬件工程師問題分析方法——邏輯樹分析法 1849次閱讀
- 邏輯架構(gòu)模型開發(fā)概念原則詳解 4698次閱讀
- 什么情況下基于樹的模型將超過神經(jīng)網(wǎng)絡(luò)模型 1895次閱讀
- 單片模糊控制器NLX230的設(shè)計(jì)特點(diǎn)與應(yīng)用分析 2676次閱讀
- U盤到底還有沒有發(fā)展的可能性 3651次閱讀
- 決策樹和隨機(jī)森林模型 8020次閱讀
- 模糊傳感器的結(jié)構(gòu)特性及應(yīng)用 1788次閱讀
- 數(shù)據(jù)挖掘算法：決策樹算法如何學(xué)習(xí)及分裂剪枝 5815次閱讀
- 云計(jì)算安全問題的探究與解析 672次閱讀
- 哈夫曼樹帶權(quán)路徑長度怎么計(jì)算 15.3w次閱讀
上傳資料賺積分下載排行
本周
- 1DeepSeek:從入門到精通
- 5.36 MB | 9次下載 | 1 積分
- 2IP6823 支持 qi 認(rèn)證的無線充電發(fā)射控制 SOC
- 1.01 MB | 1次下載 | 免費(fèi)
- 3IP6824? 全集成QI?無線充電發(fā)射控制SOC
- 1.22 MB | 1次下載 | 免費(fèi)
- 4PESD18VY1BBIF保護(hù)二極管規(guī)格書
- 4.56MB | 次下載 | 免費(fèi)
- 574HC4050緩沖器規(guī)格書
- 217.58KB | 次下載 | 免費(fèi)
- 674HC193;74HC7193二進(jìn)制加減計(jì)數(shù)器規(guī)格書
- 327.93KB | 次下載 | 免費(fèi)
- 774HC73-Q100雙JK觸發(fā)器規(guī)格書
- 220.85KB | 次下載 | 免費(fèi)
- 8ASW3410 USB3.1高速數(shù)據(jù)開關(guān)切換規(guī)格書
- 1.39 MB | 次下載 | 免費(fèi)
本月
- 1A7159和A7139射頻芯片的資料免費(fèi)下載
- 0.20 MB | 55次下載 | 5 積分
- 2零死角玩轉(zhuǎn)STM32F103—指南者
- 26.78 MB | 41次下載 | 1 積分
- 3PIC12F629/675 數(shù)據(jù)手冊免費(fèi)下載
- 2.38 MB | 36次下載 | 5 積分
- 4PIC16F716 數(shù)據(jù)手冊免費(fèi)下載
- 2.35 MB | 18次下載 | 5 積分
- 5GD32F4xx用戶手冊
- 14.49MB | 14次下載 | 免費(fèi)
- 6DeepSeek:從入門到精通
- 5.36 MB | 9次下載 | 1 積分
- 7dsPIC33EDV64MC205電機(jī)控制開發(fā)板用戶指南
- 5.78MB | 8次下載 | 免費(fèi)
- 8STC15系列常用寄存器匯總免費(fèi)下載
- 1.60 MB | 7次下載 | 5 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935124次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420063次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73813次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評論