發(fā)布時(shí)間：2017-12-18 07:22

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

  更多相關(guān)文章： 關(guān)系結(jié)構(gòu) 加標(biāo)轉(zhuǎn)換系統(tǒng) 互模擬

【摘要】：由于互模擬的概念幾乎同時(shí)在計(jì)算機(jī)科學(xué)、模態(tài)邏輯和集合論中產(chǎn)生,本文試圖給出一種能夠刻畫(huà)計(jì)算機(jī)科學(xué)、模態(tài)邏輯和集合論中互模擬概念的統(tǒng)一定義。因此,本文首先簡(jiǎn)單介紹互模擬產(chǎn)生的原因及作用;其次,給出兩個(gè)加標(biāo)轉(zhuǎn)換系統(tǒng)之間的互模擬定義,并說(shuō)明由此定義如何得到計(jì)算機(jī)科學(xué)中、模態(tài)邏輯中以及集合論中互模擬的定義;最后證明在這種定義下,互模擬的一些基本性質(zhì)。
【作者單位】： 南開(kāi)大學(xué)哲學(xué)系;
【基金】：國(guó)家哲學(xué)社科基金項(xiàng)目(08BZX049)
【分類號(hào)】：B812
【正文快照】： 【主持人語(yǔ)】本期刊登的兩篇文章《互模擬的一些基本性質(zhì)》和《弗協(xié)調(diào)多主體認(rèn)知邏輯系CnEmK》屬于現(xiàn)代邏輯研究的內(nèi)容,也是作者們近年來(lái)所取得的最新研究成果。在上個(gè)世紀(jì)70年代,互模擬的概念幾乎在計(jì)算機(jī)科學(xué)、模態(tài)邏輯和集合論中同時(shí)產(chǎn)生。在計(jì)算機(jī)科學(xué)中,它是并發(fā)系統(tǒng)中

【相似文獻(xiàn)】

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

1 李娜;姚從軍;;互模擬理論的邏輯研究述評(píng)[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)(社會(huì)科學(xué));2010年02期

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

5 姚從軍;;同構(gòu)、P-態(tài)射、互模擬與模態(tài)等價(jià)性[J];西南大學(xué)學(xué)報(bào)(社會(huì)科學(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期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前5條

1 顏鋒;陳韜略;韓婷婷;呂建;;Pi演算的一種變例及其開(kāi)互模擬[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

2 武彥平;;通信距離受限的進(jìn)程代數(shù)研究[A];2009年研究生學(xué)術(shù)交流會(huì)通信與信息技術(shù)論文集[C];2009年

3 蕭德云;莫以為;;混合系統(tǒng)的驗(yàn)證與控制綜合[A];第二十一屆中國(guó)控制會(huì)議論文集[C];2002年

4 陳曉江;楊琛;馮健;房鼎益;;并發(fā)系統(tǒng)模型檢測(cè)中的狀態(tài)約減算法[A];2007年全國(guó)開(kāi)放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集(下冊(cè))[C];2007年

5 郭美云;;一般群體知識(shí)的多主體認(rèn)知邏輯[A];2005年邏輯研究專輯[C];2005年

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

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

2 史t，

本文編號(hào)：1303322