離散事件動態(tài)系統(tǒng)

第1章  緒論                  
     1. 1  離散事件動態(tài)系統(tǒng)                  
     離散事件動態(tài)系統(tǒng)的研究背景                  
     離散事件                  
     離散事件動態(tài)系統(tǒng)                  
     離散事件動態(tài)系統(tǒng)示例                  
     1. 2  離散事件動態(tài)系統(tǒng)的建模和分析方法                  
     DEDS建模問題的基本性                  
     DEDS的建模和分析方法                  
     DEDS建模與分析中的困難因素                  
     1. 3  本書的論述范圍                  
     本書的體系結(jié)構(gòu)                  
     本書的基本內(nèi)容                  
   第2章  性能層次的建模與分析方法之一：排隊網(wǎng)絡(luò)方法                  
     2. 1  排隊網(wǎng)絡(luò)模型及其特性                  
     排隊網(wǎng)絡(luò)                  
     排隊網(wǎng)絡(luò)的特性                  
     2. 2  單一服務(wù)中心模型                  
     單一服務(wù)中心模型的特性                  
     VI／M／I系統(tǒng)的穩(wěn)態(tài)性能分析                  
     對Little公式的注記                  
     M／M/c系統(tǒng)的穩(wěn)態(tài)性能分析                  
     2. 3  生滅過程模型                  
     生滅過程                  
     生滅過程穩(wěn)態(tài)解的表達(dá)式                  
     損失制M／M/c／k排隊網(wǎng)絡(luò)模型                  
     服務(wù)速率依賴狀態(tài)的M／M／1模型                  
     2. 4  Jackson排隊網(wǎng)絡(luò)模型                  
     Jackson開環(huán)排隊網(wǎng)絡(luò)的特性                  
     Jackson開環(huán)排隊網(wǎng)絡(luò)的穩(wěn)態(tài)分析                  
     Jackson閉環(huán)排隊網(wǎng)絡(luò)                  
     Buzen算法                  
     2. 5  排隊網(wǎng)絡(luò)的推廣模型                  
     BCMP排隊網(wǎng)絡(luò)                  
     Kelly排隊網(wǎng)絡(luò)                  
     2. 6  基于排隊網(wǎng)絡(luò)模型的實用分析方法                  
     操作分析法的變量和假設(shè)                  
     操作分析法分析系統(tǒng)的性能                  
     平均值分析法                  
     2. 7  Fork—Join排隊網(wǎng)絡(luò)                  
     Fork—Join排隊網(wǎng)絡(luò)的背景和描述                  
     兩個并聯(lián)服務(wù)臺Fork—Join系統(tǒng)                  
     M個并聯(lián)服務(wù)臺Fork—Join系統(tǒng)                  
     具有集中緩沖器的批輸入Fork—Join系統(tǒng)                  
     2. 8  排隊網(wǎng)絡(luò)方法在柔性制造系統(tǒng)研究中的應(yīng)用                  
     2. 9  小結(jié)和評述                  
   第3章  性能層次的建模與分析方法之二：攝動分析方法(PA)                  
     3. 1  PA方法的基本模型和研究思路                  
     基本模型                  
     研究思路                  
     三個核心步驟                  
     3. 2  PA方法的基本分析步驟之一：樣本軌道的描述                  
     服務(wù)中心的三種工況狀態(tài)                  
     事件和變量                  
     系統(tǒng)狀態(tài)方程                  
     3. 3  PA方法的基本分析步驟之二：攝動的產(chǎn)生                  
     由隨機變量均值的攝動導(dǎo)出隨機變量樣本值的攝動                  
     攝動樣本軌道的構(gòu)造                  
     尋找NP和PP上的相應(yīng)事件                  
     3. 4  PA方法的基本分析步驟之三：攝動的傳播                  
     無窮小攝動下攝動的傳播                  
     有限攝動下攝動的傳播                  
     3. 5  PA方法的基本分析步驟之四：估計系統(tǒng)性能對參數(shù)的靈敏度                  
     排隊網(wǎng)絡(luò)輸出率對平均服務(wù)時間的靈敏度                  
     服務(wù)中心輸出率對系統(tǒng)內(nèi)顧客數(shù)的靈敏度                  
     服務(wù)中心輸出率對路徑概率的靈敏度                  
     顧客在服務(wù)中心的平均逗留時間對平均服務(wù)時間的靈敏度                  
     服務(wù)中心平均隊長對服務(wù)中心平均服務(wù)時間的靈敏度                  
     3. 6  PA方法估計的無偏性和強一致性問題                  
     PA基本方法存在的問題                  
     PA方法用于靈敏度估計的無偏性條件                  
     PA方法用于靈敏度估計的強一致性條件                  
     3. 7  PA方法的推廣形式                  
     推廣攝動分析                  
     平滑攝動分析                  
     3. 8  一類Fork—Join排隊網(wǎng)絡(luò)的攝動分析                  
     一類無限緩沖Fork—Join排隊系統(tǒng)的攝動分析                  
     一類有限緩沖樹型Fork—Join排隊系統(tǒng)的攝動分析                  
     3. 9  PA方法分析制造系統(tǒng)優(yōu)化問題的應(yīng)用舉例                  
     3, 10小結(jié)和評述                  
   第4章  代數(shù)層次的建模與分析方法：極大代數(shù)方法                  
     4. 1  離散事件動態(tài)系統(tǒng)的代數(shù)層次模型                  
     緩沖區(qū)容量無限的串行生產(chǎn)線                  
     狀態(tài). 輸入和輸出                  
     系統(tǒng)的代數(shù)層次模型                  
     4. 2  離散事件動態(tài)系統(tǒng)在極大代數(shù)下的線性模型                  
     極大代數(shù)及其基本運算                  
     串行生產(chǎn)線的開環(huán)線性模型                  
     串行生產(chǎn)線的閉環(huán)線性模型                  
     4. 3  離散事件動態(tài)系統(tǒng)在極大代數(shù)上的特征結(jié)構(gòu)                  
     有向圖分析法                  
     系統(tǒng)矩陣的不可簡約性                  
     不可簡約矩陣在極大代數(shù)上的特征值                  
     可簡約矩陣在極大代數(shù)上的特征值                  
     不可簡約矩陣在極大代數(shù)上的特征向量                  
     可簡約矩陣在極大代數(shù)上的特征向量                  
     矩陣的周期性                  
     4. 4  離散事件動態(tài)系統(tǒng)的穩(wěn)定性和周期性穩(wěn)態(tài)                  
     系統(tǒng)輸出的演化過程                  
     系統(tǒng)輸出演化過程的穩(wěn)定性                  
     不可簡約系統(tǒng)的周期性穩(wěn)態(tài)                  
     可簡約系統(tǒng)的周期性穩(wěn)態(tài)                  
     4. 5  離散事件動態(tài)系統(tǒng)周期性穩(wěn)態(tài)特征參量的配置                  
     不可簡約系統(tǒng)的周期性穩(wěn)態(tài)特征參量配置                  
     4. 6  離散事件動態(tài)系統(tǒng)直接進(jìn)入均勻周期性穩(wěn)態(tài)的途徑                  
     均勻周期性穩(wěn)態(tài)                  
     直接進(jìn)入均勻周期性穩(wěn)態(tài)的途徑：不可簡約系統(tǒng)情況                  
     直接進(jìn)入均勻周期性穩(wěn)態(tài)的途徑：可簡約系統(tǒng)情況                  
     4. 7  小結(jié)和評述                  
   第5章  代數(shù)層次的建模與分?jǐn)D方法：對極大代數(shù)方法的進(jìn)一步討論                  
     5. 1  離散事件動態(tài)系統(tǒng)周期性穩(wěn)態(tài)性能的攝動分析                  
     問題提法和基本約定                  
     基本極大代數(shù)運算下矩陣攝動量的估計                  
     系統(tǒng)參數(shù)攝動下穩(wěn)態(tài)參量k改變值的估計                  
     5. 2  離散事件動態(tài)系統(tǒng)周期性穩(wěn)態(tài)性能的魯棒性                  
     基本概念                  
     單個參數(shù)攝動情形的魯捧性分析                  
     多個參數(shù)同時增性攝動情形的魯棒性分析                  
     5. 3  離散事件動態(tài)系統(tǒng)特征結(jié)構(gòu)參數(shù)的辨識                  
     問題的提法                  
     對系統(tǒng)特征值的估計                  
     利用穩(wěn)態(tài)數(shù)據(jù)辨識系統(tǒng)的特征值和特征向量                  
     5. 4  離散事件動態(tài)系統(tǒng)的能控性及其判據(jù)                  
     系統(tǒng)模型                  
     系統(tǒng)狀態(tài)的能控性                  
     系統(tǒng)狀態(tài)能控性的判據(jù)                  
     系統(tǒng)能控性在狀態(tài)反饋作用下的不變性                  
     不完全能控系統(tǒng)的結(jié)構(gòu)分解                  
     5. 5  離散事件動態(tài)系統(tǒng)的集結(jié)與輸入—輸出等價                  
     集結(jié)與輸入—輸出等價                  
     極大代數(shù)上線性系統(tǒng)狀態(tài)空間模型的集結(jié)與等價                  
     幾點討論                  
     5. 6  有限緩沖容量串行生產(chǎn)線的建模和周期性穩(wěn)態(tài)                  
     有限緩沖容量的串行生產(chǎn)線                  
     有限緩沖容量串行生產(chǎn)線的狀態(tài)空間模型                  
     有限緩沖容量串行生產(chǎn)線的閉環(huán)動態(tài)模型和穩(wěn)態(tài)周期過程                  
     5. 7  有限緩沖容量串行生產(chǎn)線的阻塞問題                  
     阻塞現(xiàn)象和無阻塞性定義                  
     單批次加工過程的無阻塞條件                  
     多批次加工過程的無阻塞條件                  
     系統(tǒng)結(jié)構(gòu)無阻塞性及其判別準(zhǔn)則                  
     緩沖區(qū)容量的最小配置                  
     加工參數(shù)區(qū)間攝動下的系統(tǒng)無阻塞性                  
     5. 8  離散事件動態(tài)系統(tǒng)事件序列性的魯棒性                  
     基本概念                  
     事件序列性魯棒性的判據(jù)：仿射線性函數(shù)情形                  
     事件序列性魯棒性的判據(jù)：多項式函數(shù)情形                  
     5. 9  離散事件動態(tài)系統(tǒng)的傳遞函數(shù)                  
     極大代數(shù)上的Z變換                  
     極大代數(shù)上的傳遞函數(shù)                  
     圖方法確定系統(tǒng)傳遞函數(shù)矩陣                  
     廣義分式及其約簡                  
     5. 10  基于傳遞函數(shù)的離散事件動態(tài)系統(tǒng)的穩(wěn)態(tài)分析和控制                  
     有理式的周期性                  
     系統(tǒng)在周期輸入下的穩(wěn)態(tài)分析                  
     穩(wěn)態(tài)反饋控制                  
     5. 11  裝配生產(chǎn)線的建模                  
     裝配生產(chǎn)線                  
     裝配生產(chǎn)線的變量和參量                  
     裝配生產(chǎn)線的狀態(tài)空間模型                  
     5. 12  小結(jié)和評述                  
   第6章  邏輯層次的建模與分析方法之一：佩特里網(wǎng)方法                  
     6. 1  佩特里網(wǎng)及其規(guī)則                  
     佩特里網(wǎng)                  
     佩特里網(wǎng)圖                  
     變遷的發(fā)射規(guī)則                  
     6. 2  佩特里網(wǎng)的動態(tài)運行過程                  
     分析動態(tài)運行過程的算法                  
     運行過程分析舉例                  
     6. 3  佩特里網(wǎng)的基本性質(zhì)                  
     可達(dá)性                  
     有界性和安全性                  
     活性                  
     死鎖                  
     沖突                  
     6. 4  佩特里網(wǎng)可達(dá)性的分析方法                  
     可達(dá)樹分析法                  
     矩陣方程分析法                  
     6. 5  佩特里網(wǎng)可達(dá)性分析的計算復(fù)雜性問題                  
     算法與問題復(fù)雜性                  
     佩特里網(wǎng)可達(dá)性分析的計算復(fù)雜性問題                  
     6. 6  佩特里網(wǎng)的活性分析                  
     狀態(tài)機和子網(wǎng)                  
     子網(wǎng)間的連接                  
     模塊                  
     環(huán)                  
     網(wǎng)的鎖定性質(zhì)                  
     6. 7  佩特里網(wǎng)的控制問題                  
     受控佩特里網(wǎng)和受控標(biāo)識圖                  
     受控標(biāo)識圖的禁止／允許狀態(tài)規(guī)范控制：謂詞方法                  
     受控標(biāo)識圖的控制策略的活性                  
     受控標(biāo)識圖的禁止／允許狀態(tài)規(guī)范控制：代數(shù)方法                  
     6. 8  佩特里網(wǎng)的綜合                  
     制造系統(tǒng)的佩特里網(wǎng)模型                  
     并聯(lián)互斥連接                  
     串聯(lián)互斥連接                  
     6. 9  擴(kuò)展佩特里網(wǎng)                  
     賦時佩特里網(wǎng)                  
     隨機佩特里網(wǎng)                  
     加色佩特里網(wǎng)                  
     高級佩特里網(wǎng)                  
     6. 10  佩特里網(wǎng)方法在離散制造系統(tǒng)研究中的應(yīng)用                  
     6. 11  小結(jié)和評述                  
   第7章  邏輯層次的建模與分析方法之二：自動機／形式語言方法                  
     7. 1  自動機和形式語言                  
     形式語言                  
     語言的運算                  
     正規(guī)集                  
     自動機                  
     7. 2  事件反饋監(jiān)控                  
     受控自動機                  
     監(jiān)控器                  
     閉環(huán)離散事件過程                  
     閉環(huán)離散事件過程廠／Gf產(chǎn)生的語言                  
     7. 3  系統(tǒng)能控性和監(jiān)控器的存在性                  
     能控性                  
     系統(tǒng)能控性和監(jiān)控器                  
     7. 4  基本監(jiān)控綜合問題和最大能控子語言                  
     基本監(jiān)控綜合問題                  
     目標(biāo)語言和最大能控子語言的一些屬性                  
     語言集合上的右不變等價關(guān)系和正規(guī)語言判據(jù)                  
     最大能控語言的生成                  
     O算子的算法                  
     最大能控語言的另一種算法                  
     7. 5  能觀測性和觀測約束下的監(jiān)控器                  
     語言的能觀測性                  
     觀測約束下的監(jiān)控器                  
     觀測約束下的基本監(jiān)控問題                  
     可識別性                  
     7. 6  分散監(jiān)控和分散化監(jiān)控                  
     分散監(jiān)控                  
     分散化監(jiān)控                  
     7. 7  狀態(tài)反饋監(jiān)控                  
     謂詞及其運算                  
     狀態(tài)反饋                  
     對狀態(tài)反饋的閉環(huán)系統(tǒng)的分析                  
     兩類反饋監(jiān)控問題的關(guān)系                  
     7. 8  其他形式的監(jiān)控問題                  
     允許阻塞的監(jiān)控問題                  
     賦時自動機的監(jiān)控問題                  
     7. 9  事件反饋監(jiān)控問題基于可達(dá)樹的分析                  
     符號串空間中自動機的可達(dá)樹                  
     監(jiān)控作用的實現(xiàn)                  
     7. 10  小結(jié)與評述                  
   第8章  離散制造系統(tǒng)的調(diào)度問題                  
     8. 1  生產(chǎn)調(diào)度問題的分類和描述                  
     開環(huán)車間型和閉環(huán)車間型調(diào)度問題                  
     Job—5hop調(diào)度問題和Flow—ShoP調(diào)度問題                  
     調(diào)度問題的基本假定                  
     調(diào)度問題的描述：圖論形式                  
     調(diào)度問題的描述：代數(shù)形式                  
     調(diào)度問題的可行解                  
     調(diào)度問題性能指標(biāo)的典型形式                  
     調(diào)度問題類型的簡明表示法                  
     調(diào)度問題的求解方法                  
     8. 2  正規(guī)性能指標(biāo)的活動調(diào)度和等價關(guān)系                  
     基于正規(guī)性能指標(biāo)的活動調(diào)度                  
     性能指標(biāo)的等價性                  
     8. 3  單機調(diào)度                  
     問題和基本假定                  
     n／1／／F最優(yōu)調(diào)度問題                  
     n／1／／Lmax最優(yōu)調(diào)度問題                  
     n／1／／nr最優(yōu)調(diào)度問題                  
     8. 4  雙機調(diào)度                  
     雙機調(diào)度問題的Johnson算法                  
     多機Flow—Shop最優(yōu)調(diào)度的屬性                  
     Johnson算法調(diào)度解的最優(yōu)性                  
     Johnson算法對一類三機Flow—Shop調(diào)度問題的應(yīng)用                  
     8. 5  分支定界法                  
     分支定界法的基本思路                  
     分支定界法求解置換Flow—shop調(diào)度問題                  
     分支定界法求解Job—Shop調(diào)度問題                  
     8. 6  求解Flow—Shop排序問題的搜索型啟發(fā)式算法                  
     屬于NP完全問題的調(diào)度問題示例                  
     啟發(fā)式算法之一：Palmer方法                  
     啟發(fā)式算法之二：Gupta方法                  
     啟發(fā)式算法之三：BG(Bonney—Gundry)方法                  
     啟發(fā)式算法之四：CDS(Campleu—Dudek—Smith)方法                  
     啟發(fā)式算法之五：Dannenbring方法                  
     8. 7  規(guī)則型調(diào)度方法和典型調(diào)度規(guī)則                  
     規(guī)則型調(diào)度方法的基本思路                  
     靜態(tài)調(diào)度問題和動態(tài)調(diào)度問題                  
     調(diào)度規(guī)則及分類                  
     典型的調(diào)度規(guī)則                  
     8. 8  鄰域搜索方法                  
     鄰域搜索的基本思路                  
     鄰域結(jié)構(gòu)                  
     8. 9  模擬退火優(yōu)化方法                  
     SA算法的尋優(yōu)機制                  
     SA算法的描述                  
     基于非齊次馬氏鏈模型的SA算法的收斂性分析                  
     一個典型的Job—Shop調(diào)度問題                  
     8. 10  遺傳算法的基本原理和基本框架                  
     遺傳算法的基本機理                  
     遺傳算法的基本框架                  
     Job—Shop調(diào)度問題的基因鏈編碼方式                  
     GA的特點                  
     對GA的改進(jìn)                  
     8. 11  GA／SA混合算法                  
     GA／SA混合算法的提出                  
     一類GA／SA混合算法                  
     GA／SA混合算法的收斂性                  
     8. 12  圖靈機和語言的NP完全問題                  
     圖靈機