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