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

【摘要】：正則模型是非正規(guī)模態(tài)邏輯的模型,通過(guò)定義正則模型的不相交并、C2t-互模擬、生成子模型、C2t-超濾擴(kuò)張等模型上的運(yùn)算,可以證明一個(gè)正則模型類在時(shí)態(tài)語(yǔ)言中可定義當(dāng)且僅當(dāng)它在不相交并、滿C2t-互模擬像、C2t-超濾擴(kuò)張下封閉,并且它的補(bǔ)類在C2t-超濾擴(kuò)張下封閉.該刻畫定理說(shuō)明了時(shí)態(tài)語(yǔ)言在正則模型類上的表達(dá)力.
[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é)計(jì)算機(jī)與信息工程學(xué)院;西南大學(xué)計(jì)算機(jī)與信息科學(xué)學(xué)院;
【基金】：國(guó)家社會(huì)科學(xué)基金重大項(xiàng)目(14ZDB016)~~
【分類號(hào)】：O141

【相似文獻(xiàn)】

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

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

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

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

，

本文編號(hào)：2015312