正則模型類的時(shí)態(tài)可定義性
大?。?/span>0.60 MB 人氣： 2017-12-29 需要積分：2
推薦 + 挑錯(cuò) + 收藏(0) + 用戶評(píng)論（0）
標(biāo)簽：時(shí)態(tài)(5462)
正則模型是非正規(guī)模態(tài)邏輯的模型，通過(guò)定義正則模型的不相交并、C2t-互模擬、生成子模型、C2t-超濾擴(kuò)張等模型上的運(yùn)算，可以證明一個(gè)正則模型類在時(shí)態(tài)語(yǔ)言中可定義當(dāng)且僅當(dāng)它在不相交并、滿C2t-互模擬像、C2t-超濾擴(kuò)張下封閉，并且它的補(bǔ)類在C2t-超濾擴(kuò)張下封閉，該刻畫(huà)定理說(shuō)明了時(shí)態(tài)語(yǔ)言在正則模型類上的表達(dá)力。
?
非常好我支持^.^
(0) 0%
不好我反對(duì)
(0) 0%
下載地址
正則模型類的時(shí)態(tài)可定義性下載
相關(guān)電子資料下載
- 長(zhǎng)電科技董事CEO鄭力剖析芯片產(chǎn)業(yè)當(dāng)下時(shí)態(tài) 2532
- 分層時(shí)態(tài)記憶的神經(jīng)網(wǎng)絡(luò)形態(tài)結(jié)構(gòu)是怎樣的 548
- 高效的海量時(shí)態(tài)數(shù)據(jù)計(jì)算！騰訊TDSQL全時(shí)態(tài)數(shù)據(jù)庫(kù)系統(tǒng)論文入選VLDB 478
- Wayve致力于開(kāi)發(fā)時(shí)態(tài)預(yù)測(cè)模型 是構(gòu)建智能安全自動(dòng)駕駛汽車的關(guān)鍵 1243
- 進(jìn)行時(shí)態(tài)的數(shù)字化轉(zhuǎn)型 工業(yè)互聯(lián)網(wǎng)“下半場(chǎng)”開(kāi)啟 3542