離散事件動(dòng)態(tài)系統(tǒng)的PN機(jī)理論

定　價(jià)：￥18.00

作　者：	蔣昌俊著
出版社：	科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

ISBN：	9787030082183	出版時(shí)間：	2000-01-01	包裝：	精裝
開本：	21cm	頁(yè)數(shù)：	202頁(yè)	字?jǐn)?shù)：

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

　　本書是在作者近幾年學(xué)習(xí)和工作中取得的研究成果的基礎(chǔ)上撰寫而成，著重論述集系統(tǒng)物理結(jié)構(gòu)與動(dòng)態(tài)行為于一體的PN機(jī)理論及其分析方法，反映了這一領(lǐng)域的研究現(xiàn)狀和主要成果。全書共分八章，第一章緒論，綜述了DEDS的研究現(xiàn)狀，論述了本工作的必要性。第二章為預(yù)備知識(shí)。第三章是PN機(jī)理論框架的建立，研究了矢量文法、PN機(jī)及其語(yǔ)言關(guān)系。第四章至第七章分別研究了PN語(yǔ)言的性質(zhì)及其在系統(tǒng)建模和行為分析方面的應(yīng)用。第八章研究了基于行為表達(dá)式的系統(tǒng)性能分析方法。本書適合于大專院校、科研單位從事控制科學(xué)、計(jì)算機(jī)科學(xué)和系統(tǒng)科學(xué)等領(lǐng)域的師生和科技工作者閱讀。

作者簡(jiǎn)介

暫缺《離散事件動(dòng)態(tài)系統(tǒng)的PN機(jī)理論》作者簡(jiǎn)介

圖書目錄

前言
第一章緒論
1.1引言
1.2離散事件動(dòng)態(tài)系統(tǒng)模型
1.3內(nèi)容的安排
參考文獻(xiàn)
第二章基本知識(shí)
2.1形式語(yǔ)言自動(dòng)機(jī)理論
2.2Petri網(wǎng)
2.3袋與袋冪集
參考文獻(xiàn)
第三章PN機(jī)與矢量文法
3.1矢量文法及其分類
3.2丘規(guī)矢量文法細(xì)分及其與經(jīng)典文法的關(guān)系
3.3混雜PN機(jī)
3.4廣義混雜PN機(jī)
3.5PN機(jī)范式及其語(yǔ)言關(guān)系
3.6
3.7本章小結(jié)
參考文獻(xiàn)
第四章PN語(yǔ)言的判型實(shí)現(xiàn)與識(shí)別器
4.1判別PN語(yǔ)言屬型的算法基礎(chǔ)
4.2判型算法描述
4.3PN語(yǔ)言的串行識(shí)別器算法
4.4PN語(yǔ)言的并行識(shí)別器算法
本章小結(jié)
參考文獻(xiàn)
第五章行為表達(dá)式與安全PN機(jī)
5.1行為表達(dá)式
5.2安全PN機(jī)模型的構(gòu)造
5.3行為表達(dá)式到安全PN機(jī)轉(zhuǎn)換算法
5.4本章小結(jié)
參考文獻(xiàn)
第六章PN機(jī)的遞階操作
6.1PN機(jī)的HT操作
6.2HT操作的行為關(guān)系
6.3HT操作的保性研究
6.4PN機(jī)的HP操作
6.5HP操作的行為關(guān)系
6.6HP操作的保性研究
6.7基于遞階操作的系統(tǒng)建模方法
6.8應(yīng)用:機(jī)械臂抓物系統(tǒng)建模
6.9本章小結(jié)
參考艾獻(xiàn)
第七章PN機(jī)的合成操作
7.1同步合成與共享合成
7.2結(jié)構(gòu)性質(zhì)
7.3基于PN語(yǔ)言的活性刻畫
7.4活性控制
7.5動(dòng)態(tài)不變性
7.6行為相關(guān)性
7.7本章小結(jié)
參考文獻(xiàn)
第八章PN機(jī)的性能分析
8.1基于可達(dá)圖的分析方法
8.2基于矩姆函數(shù)的分析方法
8.3基于行為表達(dá)式的分析方法
8.4本章小結(jié)
參考文獻(xiàn)