進(jìn)程代數(shù)：對(duì)稱(chēng)與動(dòng)作細(xì)化

定　價(jià)：￥25.00

作　者：	王永祥、吳盡昭、蔣建民
出版社：	科學(xué)出版社
叢編項(xiàng)：	數(shù)學(xué)機(jī)械化叢書(shū)；10
標(biāo)　簽：	方法

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787030188656	出版時(shí)間：	2007-06-01	包裝：	平裝
開(kāi)本：	0開(kāi)	頁(yè)數(shù)：	88	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　并發(fā)系統(tǒng)常常在結(jié)構(gòu)上展示出對(duì)稱(chēng)性，這種對(duì)稱(chēng)結(jié)構(gòu)一般來(lái)說(shuō)具有相同或相近的性質(zhì)，《進(jìn)程代數(shù)：對(duì)稱(chēng)與動(dòng)作細(xì)化》討論了并發(fā)系統(tǒng)的進(jìn)程代數(shù)語(yǔ)言及其事件結(jié)構(gòu)模型中的對(duì)稱(chēng)性、對(duì)稱(chēng)約簡(jiǎn)、對(duì)稱(chēng)約簡(jiǎn)對(duì)動(dòng)作細(xì)化的影響以及基于束動(dòng)作變遷的偏序約簡(jiǎn)與應(yīng)用，力圖在結(jié)構(gòu)層次上建立對(duì)建模語(yǔ)言和模型進(jìn)行約簡(jiǎn)及細(xì)化的基本理論和方法，為高效機(jī)械化設(shè)計(jì)和分析并發(fā)系統(tǒng)服務(wù)。《進(jìn)程代數(shù)：對(duì)稱(chēng)與動(dòng)作細(xì)化》可以供高年級(jí)大學(xué)生、研究生、教師和科研人員作為了解數(shù)學(xué)機(jī)械化基本思想與方法在形式化并發(fā)系統(tǒng)設(shè)計(jì)與分析中應(yīng)用的參考書(shū)。

作者簡(jiǎn)介

暫缺《進(jìn)程代數(shù)：對(duì)稱(chēng)與動(dòng)作細(xì)化》作者簡(jiǎn)介

圖書(shū)目錄

第一章　緒論
　1.1　對(duì)稱(chēng)
　1.2　動(dòng)作細(xì)化
　1.3　相關(guān)工作
　1.4　本書(shū)貢獻(xiàn)
　1.5　本書(shū)組織
第二章　理論基礎(chǔ)
　2.1　進(jìn)程代數(shù)
　2.2　事件結(jié)構(gòu)
　2.3　動(dòng)作細(xì)化
　2.4　標(biāo)記變遷系統(tǒng)
　2.5　模型檢驗(yàn)
第三章　進(jìn)程代數(shù)中的對(duì)稱(chēng)性
　3.1　引言
　3.2　進(jìn)程代數(shù)與白同構(gòu)
　3.3　進(jìn)程代數(shù)的對(duì)稱(chēng)性
　3.4　行為等價(jià)的保持
　3.5　一個(gè)約簡(jiǎn)算法
　3.6　例子
　3.7　小結(jié)
第四章　事件結(jié)構(gòu)模型的對(duì)稱(chēng)性
　4.1　引言
　4.2　事件結(jié)構(gòu)中的對(duì)稱(chēng)
　4.3　對(duì)稱(chēng)與等價(jià)
　4.4　動(dòng)作細(xì)化的保持
　4.5　對(duì)稱(chēng)約簡(jiǎn)算法
　4.6　語(yǔ)法和語(yǔ)義層次上對(duì)稱(chēng)約簡(jiǎn)的重合性
　4.7　小結(jié)
第五章　對(duì)稱(chēng)與自互模擬
　5.1　引言
　5.2　自互模擬
　5.3　自互模擬與對(duì)稱(chēng)的區(qū)別
　5.4　自互模擬與對(duì)稱(chēng)的聯(lián)系
　5.5　小結(jié)
第六章　等價(jià)在動(dòng)作細(xì)化下的保持
　6.1　引言
　6.2　交織等價(jià)
　6.3　步進(jìn)等價(jià)
　6.4　動(dòng)作細(xì)化下等價(jià)的保持
　6.5　小結(jié)
第七章　基子束動(dòng)作的偏序約簡(jiǎn)
　7.1　引言
　7.2　傳統(tǒng)的偏序約簡(jiǎn)
　7.3　動(dòng)作與束動(dòng)作
　7.4　束動(dòng)作的基本思想
　7.5　束動(dòng)作路徑掃描跡等價(jià)
　7.6　束動(dòng)作偏序約簡(jiǎn)
　7.7　束動(dòng)作偏序約簡(jiǎn)的實(shí)現(xiàn)
　7.8　小結(jié)
參考文獻(xiàn)