電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
為了增強(qiáng)計(jì)算樹(shù)邏輯在時(shí)序上的表達(dá)能力，以廣義可能性測(cè)度、決策過(guò)程和計(jì)算樹(shù)邏輯為基礎(chǔ)，硏究了具有決策過(guò)程的廣義可能性模糊時(shí)態(tài)計(jì)算樹(shù)邏輯的模型檢測(cè)。首先采用廣乂可能性決策過(guò)程作為系統(tǒng)模型;然后引λ模糊時(shí)態(tài)算子，枃造了模糊時(shí)態(tài)計(jì)算樹(shù)邏輯并給岀其在廣義可能性測(cè)度下的語(yǔ)義，得到新的廣義可能性模糊時(shí)態(tài)計(jì)算樹(shù)邏輯用來(lái)描述系統(tǒng)屬性;最后在廣乂可能性調(diào)度下通過(guò)模糊矩陣運(yùn)算討論了¨soowithin、last、 nearly”等幾類模糊時(shí)態(tài)連接詞的具體計(jì)算方法，給岀相應(yīng)的模型檢測(cè)算法。經(jīng)驗(yàn)證明，廣義可能性模糊時(shí)態(tài)計(jì)算樹(shù)邏輯是廣義可能性計(jì)算樹(shù)邏輯在模糊時(shí)序上的擴(kuò)充，具有更強(qiáng)的表達(dá)能力。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于廣義正交模糊集結(jié)算子的多屬性決策 2次下載
- 高安全性應(yīng)用開(kāi)發(fā)環(huán)境的時(shí)序性質(zhì)驗(yàn)證框架 1次下載
- 基于模糊集和概率分布的XML模型及計(jì)算 1次下載
- 基于度量線性時(shí)態(tài)邏輯與安全性綜述 5次下載
- 可檢測(cè)實(shí)時(shí)系統(tǒng)的正確性的符號(hào)化模型 6次下載
- 結(jié)合背景與前景的RGB-D圖像顯著性檢測(cè)模型 0次下載
- 一種基于攻擊樹(shù)模型的4G網(wǎng)絡(luò)評(píng)估方法 4次下載
- 時(shí)序邏輯符號(hào)模型檢測(cè)器 1次下載
- 一種廣義運(yùn)動(dòng)模糊模型 0次下載
- 一種模糊時(shí)態(tài)描述邏輯 0次下載
- 基于模糊評(píng)判法的入侵檢測(cè)模型研究
- 基于線性時(shí)態(tài)邏輯的Petri網(wǎng)模型檢測(cè)研究
- 戰(zhàn)場(chǎng)目標(biāo)的模糊邏輯檢測(cè)與識(shí)別方法
- 基于可能性計(jì)算模型的信息系統(tǒng)風(fēng)險(xiǎn)評(píng)估系統(tǒng)設(shè)計(jì)
- 航空發(fā)動(dòng)機(jī)T-S模型模糊廣義預(yù)測(cè)控制算法設(shè)計(jì)
- 深度學(xué)習(xí)中的模型權(quán)重 390次閱讀
- 利用知識(shí)圖譜與Llama-Index技術(shù)構(gòu)建大模型驅(qū)動(dòng)的RAG系統(tǒng)（下） 925次閱讀
- 基于XR806實(shí)現(xiàn)競(jìng)技機(jī)器人先進(jìn)模糊控制器 937次閱讀
- 文件系統(tǒng)-多叉樹(shù)與二叉樹(shù)的轉(zhuǎn)化 746次閱讀
- OpenCV FFT模糊檢測(cè)方法 763次閱讀
- 硬件工程師問(wèn)題分析方法——邏輯樹(shù)分析法 1486次閱讀
- 邏輯架構(gòu)模型開(kāi)發(fā)概念原則詳解 4529次閱讀
- 什么情況下基于樹(shù)的模型將超過(guò)神經(jīng)網(wǎng)絡(luò)模型 1819次閱讀
- 單片模糊控制器NLX230的設(shè)計(jì)特點(diǎn)與應(yīng)用分析 2557次閱讀
- U盤(pán)到底還有沒(méi)有發(fā)展的可能性 3541次閱讀
- 決策樹(shù)和隨機(jī)森林模型 7868次閱讀
- 模糊傳感器的結(jié)構(gòu)特性及應(yīng)用 1547次閱讀
- 數(shù)據(jù)挖掘算法：決策樹(shù)算法如何學(xué)習(xí)及分裂剪枝 5629次閱讀
- 云計(jì)算安全問(wèn)題的探究與解析 629次閱讀
- 哈夫曼樹(shù)帶權(quán)路徑長(zhǎng)度怎么計(jì)算 15.1w次閱讀
上傳資料賺積分下載排行
本周
- 1山景DSP芯片AP8248A2數(shù)據(jù)手冊(cè)
- 1.06 MB | 532次下載 | 免費(fèi)
- 2RK3399完整板原理圖（支持平板，盒子VR）
- 3.28 MB | 339次下載 | 免費(fèi)
- 3TC358743XBG評(píng)估板參考手冊(cè)
- 1.36 MB | 330次下載 | 免費(fèi)
- 4DFM軟件使用教程
- 0.84 MB | 295次下載 | 免費(fèi)
- 5元宇宙深度解析—未來(lái)的未來(lái)-風(fēng)口還是泡沫
- 6.40 MB | 227次下載 | 免費(fèi)
- 6迪文DGUS開(kāi)發(fā)指南
- 31.67 MB | 194次下載 | 免費(fèi)
- 7元宇宙底層硬件系列報(bào)告
- 13.42 MB | 182次下載 | 免費(fèi)
- 8FP5207XR-G1中文應(yīng)用手冊(cè)
- 1.09 MB | 178次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 2555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33566次下載 | 免費(fèi)
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費(fèi)
- 4開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21549次下載 | 免費(fèi)
- 5電氣工程師手冊(cè)免費(fèi)下載(新編第二版pdf電子書(shū))
- 0.00 MB | 15349次下載 | 免費(fèi)
- 6數(shù)字電路基礎(chǔ)pdf(下載)
- 未知 | 13750次下載 | 免費(fèi)
- 7電子制作實(shí)例集錦 下載
- 未知 | 8113次下載 | 免費(fèi)
- 8《LED驅(qū)動(dòng)電路設(shè)計(jì)》 溫德?tīng)栔?/a>
- 0.00 MB | 6656次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537798次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191187次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183279次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138040次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論