本文關(guān)鍵詞：雙模擬及其一些基本性質(zhì)

  更多相關(guān)文章： 雙模擬 模擬 互模擬 加標(biāo)轉(zhuǎn)換系統(tǒng)

【摘要】：模擬和互模擬是分別比同態(tài)和同構(gòu)弱的一對概念,論文給出一個(gè)比模擬強(qiáng)但又比互模擬弱的概念——雙模擬,并考察與此相關(guān)的一些問題:在模擬的基礎(chǔ)上,定義"雙模擬"的概念,并說明如何從雙模擬得到互模擬;證明雙模擬的一些基本性質(zhì);討論模擬、互模擬與雙模擬之間的關(guān)系。
【作者單位】： 湖南科技學(xué)院思政部;中國社科院博士后流動(dòng)站;
【基金】：2012年國家社科基金項(xiàng)目(12BZX060)
【分類號】：B81
【正文快照】： ~~雙模擬及其一些基本性質(zhì)@姚從軍$湖南科技學(xué)院思政部!湖南永州425100$中國社科院博士后流動(dòng)站!北京100732模擬和互模擬是分別比同態(tài)和同構(gòu)弱的一對概念,論文給出一個(gè)比模擬強(qiáng)但又比互模擬弱的概念——雙模擬,并考察與此相關(guān)的一些問題:在模擬的基礎(chǔ)上,定義"雙模擬"的概念,

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前2條

1 姚從軍;;走進(jìn)模態(tài)邏輯的互模擬[J];科學(xué)技術(shù)哲學(xué)研究;2010年03期

2 李娜;姚從軍;;互模擬的一些基本性質(zhì)[J];云南師范大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2010年05期

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前1條

1 姚從軍;;雙模擬與模態(tài)邏輯[J];重慶理工大學(xué)學(xué)報(bào)(社會科學(xué));2011年08期

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 李娜;姚從軍;;互模擬理論的邏輯研究述評[J];哲學(xué)動(dòng)態(tài);2010年04期

2 姚從軍;;走進(jìn)模態(tài)邏輯的互模擬[J];科學(xué)技術(shù)哲學(xué)研究;2010年03期

3 姚從軍;;互模擬的含義、特征及主要應(yīng)用[J];重慶理工大學(xué)學(xué)報(bào)(社會科學(xué));2010年02期

4 姚從軍;;互模擬在理論和實(shí)踐中的應(yīng)用[J];沈陽師范大學(xué)學(xué)報(bào)(社會科學(xué)版);2009年06期

5 姚從軍;;同構(gòu)、P-態(tài)射、互模擬與模態(tài)等價(jià)性[J];西南大學(xué)學(xué)報(bào)(社會科學(xué)版);2010年02期

6 姚從軍;;互模擬——檢驗(yàn)集合相等的一個(gè)新工具[J];湖南科技學(xué)院學(xué)報(bào);2011年03期

7 姚從軍;;模型等價(jià)性的一個(gè)充分必要條件[J];學(xué)術(shù)論壇;2009年10期

8 馬明輝;;走向模型論的模態(tài)邏輯[J];邏輯學(xué)研究;2009年01期

9 趙欣;學(xué)車感悟[J];汽車運(yùn)用;1999年10期

10 劉奮榮;;偏好變化的一個(gè)量化模型(英文)[J];邏輯學(xué)研究;2009年03期

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 陳靖;帶實(shí)時(shí)的傳值與移動(dòng)系統(tǒng)研究[D];中國科學(xué)院研究生院（軟件研究所）;2003年

2 史t，

本文編號：1221110