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

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