出版時(shí)間:2005-1 出版社:清華大學(xué) 作者:林闖 頁數(shù):368
Tag標(biāo)簽:無
內(nèi)容概要
《隨機(jī)Petri網(wǎng)和系統(tǒng)性能評價(jià)(第2版)》是隨機(jī)Petri網(wǎng)理論和技術(shù)方面的專著,主要內(nèi)容包括:各種隨機(jī)Petri網(wǎng)理論和分析技術(shù);隨機(jī)Petri網(wǎng)的模型方法、模型的分解和壓縮技術(shù)以及性能界限求解技術(shù);隨機(jī)Petri網(wǎng)在通信協(xié)議、ATM網(wǎng)絡(luò)、柔性制造系統(tǒng)、計(jì)算機(jī)系統(tǒng)和軟件系統(tǒng)性能評價(jià)、工作流中的應(yīng)用;隨機(jī)Petri網(wǎng)軟件工具。《隨機(jī)Petri網(wǎng)和系統(tǒng)性能評價(jià)(第2版)》內(nèi)容基本上是自包含的,內(nèi)容新穎,容易理解,便于應(yīng)用。主要讀者對象是計(jì)算機(jī)、自動控制等相關(guān)專業(yè)的大學(xué)高年級學(xué)生、研究生、工程技術(shù)和科研人員。
書籍目錄
第1章 Petri網(wǎng)的基本概念和術(shù)語1.1 Petri網(wǎng)研究與發(fā)展簡況1.2 Petri 網(wǎng)模型介紹1.3 網(wǎng)的基礎(chǔ)知識1.4 位置/變遷(P/T)系統(tǒng)1.5 高級Petri網(wǎng)(HLPN)系統(tǒng)1.6 不同級別系統(tǒng)之間的關(guān)系與變換參考文獻(xiàn)第2章 幾種隨機(jī)Petri網(wǎng)模型與分析方法2.1 隨機(jī)時(shí)間變遷的實(shí)施2.2 隨機(jī)Petri網(wǎng)(SPN)2.3 廣義隨機(jī)Petri網(wǎng)(GSPN)2.4 隨機(jī)回報(bào)網(wǎng)(SRN)2.5 確定與隨機(jī)Petri網(wǎng)(DSPN)2.6 隨機(jī)Petri網(wǎng)與排隊(duì)論參考文獻(xiàn)第3章 隨機(jī)高級Petri網(wǎng)(SHLPN)3.1 SHLPN的定義和復(fù)合標(biāo)識概念3.2 具有標(biāo)識變量的SHLPN3.3 廣義隨機(jī)高級Petri網(wǎng)(GSHLPN)3.4 SHLPN的標(biāo)記流路和S-不變量參考文獻(xiàn)第4章 隨機(jī)Petri網(wǎng)的模型方法4.1 模型抽象組織4.2 模型精化設(shè)計(jì)參考文獻(xiàn)第5章 隨機(jī)Petri網(wǎng)的分解和壓縮技術(shù)5.1 時(shí)間數(shù)量級分解5.2 接近無關(guān)的分解5.3 響應(yīng)時(shí)間保留壓縮替換5.4 流等價(jià)壓縮替換5.5 層次模型和分層分析5.6 乘積形式解5.7 非乘積解隨機(jī)Petri網(wǎng)的乘積形式近似求解5.8 問題和研究方向參考文獻(xiàn)第6章 隨機(jī)Petri網(wǎng)性能界限求解技術(shù)6.1 循環(huán)SPN性能瓶頸的確定6.2 標(biāo)識圖穩(wěn)定狀態(tài)性能的界限6.3 GSPN模型的吞吐量界限6.4 隨機(jī)Petri網(wǎng)非乘積解系統(tǒng)的判定與界限求解參考文獻(xiàn)第7章 在通信網(wǎng)絡(luò)協(xié)議性能評價(jià)中的應(yīng)用7.1 網(wǎng)絡(luò)協(xié)議服務(wù)的性能規(guī)定與模型7.2 網(wǎng)絡(luò)傳輸協(xié)議的模型與性能評價(jià)7.3 CSMA/CD總線局部網(wǎng)協(xié)議的性能模型參考文獻(xiàn)第8章 在ATM網(wǎng)絡(luò)模型和性能評價(jià)中的應(yīng)用8.1 允許接納控制模型8.2 傳輸控制模型8.3 動態(tài)優(yōu)先級信元丟棄方案模型8.4 實(shí)時(shí)傳輸調(diào)度和信元丟失控制的綜合方案模型參考文獻(xiàn)第9章 在柔性制造系統(tǒng)性能模型中的應(yīng)用9.1 在設(shè)計(jì)中的應(yīng)用9.2 在調(diào)度控制中的應(yīng)用9.3 在可靠性模型和分析中的應(yīng)用9.4 在緩沖優(yōu)先調(diào)度策略穩(wěn)定性分析中的應(yīng)用參考文獻(xiàn)第10章 在計(jì)算機(jī)和軟件系統(tǒng)模型性能評價(jià)中的應(yīng)用10.1 多處理機(jī)系統(tǒng)的模型與性能分析10.2 一種資源共享系統(tǒng)的模型和近似性能分析10.3 并行程序的性能模型10.4 客戶機(jī)一服務(wù)器樣式的分布軟件模型與吞吐量計(jì)算參考文獻(xiàn)第11章 在Web服務(wù)器集群中的應(yīng)用11.1 可擴(kuò)展的Web服務(wù)器體系結(jié)構(gòu)與負(fù)載共享模型11.2 SHLPN模型11.3 QoS-aware負(fù)載均衡策略及其性能評價(jià)指標(biāo)11.4 數(shù)值結(jié)果11.5 近似性能分析……第12章 在工作流中的應(yīng)用第13章 隨機(jī)Petri網(wǎng)分析軟件工具附錄A 概率、隨機(jī)過程和馬爾可夫鏈基礎(chǔ)附錄B 詞匯和術(shù)語
章節(jié)摘錄
第5章 隨機(jī)Petri網(wǎng)的分解和壓縮技術(shù) 1981年隨機(jī)Petri(stochastic Petri net,SPN)提出以來,SPN的理論、分析技術(shù)和應(yīng)用已經(jīng)得到了很大發(fā)展。SPN模型的特性日益受到人們的喜愛,但其狀態(tài)空間爆炸是性能數(shù)量分析技術(shù)面臨的主要問題。隨機(jī)網(wǎng)理論的不斷發(fā)展雖然對解決狀態(tài)空間爆炸總理帶來一定的進(jìn)展,但是不能從根本上解決狀態(tài)空間隨模型增長而指數(shù)性增長的問題,因而對復(fù)雜和大規(guī)模系統(tǒng)模型的分析求解仍然是極大的挑戰(zhàn)?! 〗鉀Q隨機(jī)網(wǎng)狀態(tài)空間指數(shù)性增長的有效方法之一就是采用“分而治之”的策略。分是指模型的分解,從模型的網(wǎng)結(jié)構(gòu)上或狀態(tài)空間進(jìn)行分割,將一個(gè)模型分割成多個(gè)子模型;治是指模型的壓縮,將子模型壓縮成更簡單的模型、模型元素或模型參數(shù)。最后求解化簡模型的性能參數(shù)。在如此的性能分析中,應(yīng)注意性能參數(shù)準(zhǔn)確性與計(jì)算復(fù)雜性的折中。性能參數(shù)解的準(zhǔn)確性要求越高,求解計(jì)算的復(fù)雜性就越強(qiáng),同時(shí)對網(wǎng)模型分解、壓縮的程度和方法就越少。反之亦然。另一個(gè)重要問題是層次分解和壓縮,要求能夠?qū)哟蔚厥褂梅纸夂蛪嚎s技術(shù),不但要能對整體模型進(jìn)行分解和壓縮,而且要能對子模型進(jìn)行分解和壓縮。根據(jù)實(shí)際模型的規(guī)模和數(shù)值求解的精度要求,可以進(jìn)行多層次的分解和壓縮。還要考慮一個(gè)問題是在進(jìn)行模型的分解和壓縮中,應(yīng)保證解的存在,在固定點(diǎn)迭代中應(yīng)保證解的收斂性。解的存在和解的收斂是模型分解和壓縮技術(shù)的重要理論問題。能保證解的存在和解的收斂的分解和壓縮技術(shù)才是有普遍意義的方法和技術(shù)?! ?/pre>圖書封面
圖書標(biāo)簽Tags
無評論、評分、閱讀與下載
- 還沒讀過(26)
- 勉強(qiáng)可看(189)
- 一般般(322)
- 內(nèi)容豐富(1338)
- 強(qiáng)力推薦(109)
隨機(jī)Petri網(wǎng)和系統(tǒng)性能評價(jià) PDF格式下載