本文選題：正則模型 + 時態(tài)語言��； 參考：《軟件學(xué)報》2017年05期

【摘要】：正則模型是非正規(guī)模態(tài)邏輯的模型,通過定義正則模型的不相交并、C2t-互模擬、生成子模型、C2t-超濾擴張等模型上的運算,可以證明一個正則模型類在時態(tài)語言中可定義當(dāng)且僅當(dāng)它在不相交并、滿C2t-互模擬像、C2t-超濾擴張下封閉,并且它的補類在C2t-超濾擴張下封閉.該刻畫定理說明了時態(tài)語言在正則模型類上的表達力.
[Abstract]:A regular model is a model of irregular modal logic. By defining the disjoint of regular models, C2t- intersimulation, generating submodels, and C2t- ultrafiltration expansion and other models, it can be proved that a regular model class can be defined in the temporal language if and only if it is not intersected and is full of C2t- interanalog images and C2t- ultrafiltration expansion is closed, and Its complement classes are closed under C2t- ultrafiltration expansion. The characterization theorem illustrates the expressive power of temporal languages on regular model classes.
【作者單位】： 西南大學(xué)邏輯與智能研究中心;河南師范大學(xué)計算機與信息工程學(xué)院;西南大學(xué)計算機與信息科學(xué)學(xué)院;
【基金】：國家社會科學(xué)基金重大項目(14ZDB016)~~
【分類號】：O141

【相似文獻】

相關(guān)期刊論文 前1條

1 李濤;李前忠;左永春;;基于正則模型預(yù)測Cys_2His_2型鋅指蛋白與DNA相互作用[J];生物物理學(xué)報;2009年S1期

相關(guān)會議論文 前1條

1 李濤;李前忠;左永春;;基于正則模型預(yù)測Cys_2His_2型鋅指蛋白與DNA相互作用[A];第十一次中國生物物理學(xué)術(shù)大會暨第九屆全國會員代表大會摘要集[C];2009年

，

本文編號：2015312