離散動(dòng)態(tài)規(guī)劃與Bellman代數(shù)內(nèi)容簡(jiǎn)介

本書建立了一個(gè)與最優(yōu)化原理足夠貼近的代數(shù)系統(tǒng)。叫做Bellman半環(huán)，從而建立了離散動(dòng)態(tài)規(guī)劃的基本公理系統(tǒng)，證明了Bellman代數(shù)（包括極大代數(shù)和極小代數(shù)）是最優(yōu)化原理成立的一個(gè)充分條件。

全書分三個(gè)部分共8章，以原理為基礎(chǔ)，以Bellman代數(shù)為工具，討論離散動(dòng)態(tài)規(guī)劃的基礎(chǔ)理論、算法和應(yīng)用?；竟硐到y(tǒng)能夠推廣為一般公理系統(tǒng)，用以討論k階優(yōu)化解問題、多目標(biāo)非劣解問題，并建立匹配優(yōu)化原理，得到了關(guān)于路和匹配的多種優(yōu)化問題的求解公式。本書表明，離散動(dòng)態(tài)規(guī)劃是一門既具有公理化基礎(chǔ)又具有代數(shù)工具的、專門討論決策優(yōu)化學(xué)問的應(yīng)用數(shù)學(xué)分支。

本書可作為應(yīng)用數(shù)學(xué)、管理科學(xué)等專業(yè)研究生學(xué)習(xí)教材和專業(yè)人員的參考書籍。

第一部分 基礎(chǔ)理論

第1章 離散動(dòng)態(tài)規(guī)劃的基本公理系統(tǒng)與Bellman代數(shù)

1.1 策略優(yōu)化問題及最優(yōu)化原理

1.1.1 兩個(gè)例題

1.1.2　最優(yōu)化原理

1.2 對(duì)最優(yōu)化原理的討論

1.2.1 策略的代數(shù)結(jié)構(gòu)

1.2.2 策略優(yōu)劣的比較

1.2.3 Bellman公理

1.3 動(dòng)態(tài)規(guī)劃的基本公理系統(tǒng)與求解公式

1.3.1 Bellman半環(huán)

1.3.2 基本公理系統(tǒng)

1.3.3 求解公式

1.4 幾個(gè)重要的代數(shù)系統(tǒng)

1.4.1 Bellman半環(huán)的基本性質(zhì)

1.4.2　強(qiáng)優(yōu)選準(zhǔn)域

1.4.3 Bellman代數(shù)

1.5 實(shí)數(shù)集上一些代數(shù)系統(tǒng)舉例

1.5.1 實(shí)數(shù)集上的Bellman半環(huán)的例

1.5.2 實(shí)數(shù)集上的強(qiáng)優(yōu)選準(zhǔn)域與Bellman代數(shù)的例

1.5.3 幾個(gè)非強(qiáng)優(yōu)選準(zhǔn)域的例子

1.6 四類最優(yōu)策略

1.7 圖論模型及三個(gè)基本問題

1.7.1 決策與策略的圖形表示

1.7：2 動(dòng)態(tài)規(guī)劃問題的分類 三個(gè)基本問題

1.8 關(guān)于Bellman代數(shù)的注記

參考文獻(xiàn)

第2章 決策數(shù)確定型問題

2.1 基本概念

2.2 遞推公式Ⅰ

2.3 問題Ⅰ的（?。┚仃嚹Ｐ?

2.4 問題Ⅰ的圖論模型

2.4.1 圖論模型

2.4.2 數(shù)字例

2.5 賦值多階段有向圖中求解所有最優(yōu)路及其長(zhǎng)度的程序

2.6 資源分配問題

2.6.1 問題的一般討論

2.6.2 數(shù)字例 摹矩陣法

2.6.3摹多項(xiàng)式法

2.7　計(jì)數(shù)Bellman半環(huán)

參考文獻(xiàn)

第3章 決策數(shù)簡(jiǎn)單不確定型問題

3.1 引言

3.2 最優(yōu)化原理和遞推公式Ⅱ

3.3 問題Ⅱ的兩種模型

3.3.1　矩陣模型

3.3.2 圖論模型

3.4　兩種計(jì)算公式

3.4.1 逆序遞推公式與計(jì)算表

3.4.2 順序遞推公式與計(jì)算表

3.4.3 數(shù)字例

3.5 基本庫(kù)存問題

3.5.1 一般問題的討論

3.5.2 數(shù)字例

3.6 基本設(shè)備更新問題 數(shù)字例

3.7 矩陣連乘式最優(yōu)結(jié)合方式的算法

3.8 賦值上三角有向圖中求解所有最短路及其長(zhǎng)度的程序

3.9 工程計(jì)劃的統(tǒng)籌問題

參考文獻(xiàn)

第4章 決策數(shù)不確定型問題

4.1 圖論模型

4.2 網(wǎng)絡(luò)的基本代數(shù)性質(zhì)

4.2.1 基本性質(zhì)

……

第二部分　理論推廣

第5章　基本公理系統(tǒng)的第一類推廣

第6章　基本公理系統(tǒng)的第二類推廣

第三部分　應(yīng)用問題

第7章　匹配優(yōu)化問題

第8章　數(shù)學(xué)物理方法中的應(yīng)用

附錄　組合圖論與抽象代數(shù)的基本知識(shí)

參考文獻(xiàn)

秦裕瑗，1924年生于揚(yáng)州。1950年畢業(yè)于上海大同大學(xué)數(shù)學(xué)系。先后任教子同濟(jì)大學(xué)、武漢測(cè)繪學(xué)院和武漢科技大學(xué)。主要講授高等數(shù)學(xué)、泛函分析、動(dòng)態(tài)規(guī)劃。組合最優(yōu)化和運(yùn)籌學(xué)等十多門課程。 1882年被評(píng)為教授。1992年起享受國(guó)務(wù)院政府特殊津貼。曾任華中工學(xué)院等三所大學(xué)的兼職教授。先后應(yīng)邀在美國(guó)、加拿大、聯(lián)邦德國(guó)、民主德國(guó)、波蘭、捷克斯洛伐克和奧地利等7個(gè)國(guó)家的14所大學(xué)進(jìn)行學(xué)術(shù)演講或?qū)W術(shù)交流。1989年9月-1990年2月。經(jīng)奧地利國(guó)家科學(xué)部批準(zhǔn)。任Graz技術(shù)大學(xué)客座教授，授課一學(xué)期，講授自己的英文專著。1989年獲湖北省人事廳與省教育委員會(huì)授予的湖北省優(yōu)秀教師獎(jiǎng)，1990年列入世界數(shù)學(xué)家名冊(cè)，1992年獲國(guó)務(wù)院頒發(fā)的“作出突出貢獻(xiàn)”政府特殊津貼證書，1993年獲國(guó)家教委科技進(jìn)步三等獎(jiǎng)，1995年獲國(guó)家測(cè)繪局授予的科技貢獻(xiàn)二等獎(jiǎng)（第二作者）。發(fā)表學(xué)術(shù)論文40余篇。出版的著作有《嘉量原理——有限型多階段決策問題的一個(gè)新處理》、OptimunPath Problems in Networks、《運(yùn)籌學(xué)簡(jiǎn)明教程》（與秦明復(fù)合編、第二版為普通高等教育“十一五”國(guó)家級(jí)規(guī)劃教材）、《一元代數(shù)方程縱橫談》；譯著有[德]Roth·高等數(shù)學(xué)。第二卷（與鄧立生合作）、第三卷、第四卷三個(gè)分冊(cè)，[德]W·戴根·K·包美爾·微積分題解。上、下卷；另有一本《最優(yōu)路問題——極優(yōu)代數(shù)方法》已送審。

本項(xiàng)目以串并混合型離散制造系統(tǒng)為研究對(duì)象，主要開展了變動(dòng)作業(yè)計(jì)劃約束下系統(tǒng)整體預(yù)防性維護(hù)活動(dòng)的動(dòng)態(tài)調(diào)度研究。首先，通過分析離散制造系統(tǒng)系統(tǒng)層維護(hù)調(diào)度的參數(shù)構(gòu)成、基本輸入和狀態(tài)轉(zhuǎn)移等需求，研究建立了基于役齡遞減和故障率遞增的設(shè)備層混合式修復(fù)非新規(guī)則，實(shí)現(xiàn)了設(shè)備層的維護(hù)調(diào)度建模。然后，基于組成本理論和動(dòng)態(tài)規(guī)劃方法，分析了變動(dòng)作業(yè)計(jì)劃對(duì)組成本及動(dòng)態(tài)調(diào)度過程的約束機(jī)制，建立了機(jī)會(huì)維護(hù)下離散制造系統(tǒng)整體的動(dòng)態(tài)維護(hù)調(diào)度策略。之后，結(jié)合設(shè)備層的維護(hù)調(diào)度模型，研究了不同配置型式下設(shè)備提前或延期維護(hù)的節(jié)余成本的計(jì)算方法，完成了系統(tǒng)層維護(hù)調(diào)度目標(biāo)函數(shù)的構(gòu)建，實(shí)現(xiàn)了系統(tǒng)層維護(hù)調(diào)度策略的分階段的動(dòng)態(tài)優(yōu)化。最后，分別以八設(shè)備串行離散制造系統(tǒng)和三階段四設(shè)備串并混合型離散制造系統(tǒng)為仿真測(cè)試平臺(tái)，通過仿真分析展示了本研究維護(hù)調(diào)度策略的具體決策過程，同時(shí)通過與其他兩種維護(hù)調(diào)度策略，即所有作業(yè)區(qū)間設(shè)備都提前維護(hù)的策略和所有作業(yè)區(qū)間設(shè)備都延期維護(hù)的策略進(jìn)行對(duì)比分析，進(jìn)一步驗(yàn)證了本研究維護(hù)調(diào)度策略和優(yōu)化模型的有效性。 本研究的動(dòng)態(tài)維護(hù)調(diào)度理論融入了變動(dòng)作業(yè)計(jì)劃約束，不僅對(duì)提高離散制造系統(tǒng)的維護(hù)調(diào)度水平具有現(xiàn)實(shí)意義，而且促進(jìn)了維護(hù)調(diào)度和作業(yè)調(diào)度兩個(gè)研究領(lǐng)域的交叉與耦合。在本項(xiàng)目預(yù)定研究計(jì)劃的基礎(chǔ)上，項(xiàng)目組還進(jìn)行了拓展研究，開展了多種維護(hù)技術(shù)下的多設(shè)備離散制造系統(tǒng)的維護(hù)調(diào)度研究以及考慮產(chǎn)線緩沖區(qū)條件下的多設(shè)備系統(tǒng)的維護(hù)調(diào)度研究，并取得了一系列的研究成果。 通過項(xiàng)目組研究成員3年來的共同努力，項(xiàng)目組最終完成了項(xiàng)目研究報(bào)告一份，發(fā)表和錄用期刊論文16篇，其中SCI/EI論文12篇，包括《Reliability Engineering and System Saftety》、《European Journal of Operational Research》、《Computers and Industry Engineering》等國(guó)際知名SCI期刊論文3篇。此外，執(zhí)行期間項(xiàng)目組還組織或參與了制造系統(tǒng)維護(hù)相關(guān)的學(xué)術(shù)會(huì)議2次，培養(yǎng)博碩士生6名。 2100433B

以串并混合型離散制造系統(tǒng)為研究對(duì)象，開展變動(dòng)作業(yè)計(jì)劃約束下系統(tǒng)整體預(yù)防性維護(hù)活動(dòng)的動(dòng)態(tài)調(diào)度研究。首先，通過分析系統(tǒng)層維護(hù)調(diào)度的參數(shù)構(gòu)成、基本輸入和狀態(tài)轉(zhuǎn)移等需求，研究建立基于役齡遞減和故障率遞增的混合式修復(fù)非新規(guī)則，實(shí)現(xiàn)設(shè)備層的維護(hù)調(diào)度建模。然后，基于組成本理論和動(dòng)態(tài)規(guī)劃方法，分析變動(dòng)作業(yè)計(jì)劃對(duì)組成本及動(dòng)態(tài)調(diào)度過程的約束機(jī)制，建立機(jī)會(huì)維護(hù)下系統(tǒng)整體的動(dòng)態(tài)維護(hù)調(diào)度策略。之后，結(jié)合設(shè)備層的維護(hù)調(diào)度模型，研究不同配置下設(shè)備提前或延期維護(hù)的節(jié)余成本的計(jì)算方法，完成系統(tǒng)層維護(hù)調(diào)度目標(biāo)函數(shù)的構(gòu)建，實(shí)現(xiàn)系統(tǒng)層維護(hù)調(diào)度策略的分階段的動(dòng)態(tài)優(yōu)化。最后，以三階段四設(shè)備組成的離散機(jī)械制造系統(tǒng)為測(cè)試床，通過仿真運(yùn)行和對(duì)比分析，驗(yàn)證本研究維護(hù)調(diào)度策略和優(yōu)化模型的有效性。本研究的動(dòng)態(tài)維護(hù)調(diào)度理論融入變動(dòng)作業(yè)計(jì)劃約束，不僅對(duì)提高離散制造系統(tǒng)的維護(hù)調(diào)度水平具有現(xiàn)實(shí)意義，而且將促進(jìn)維護(hù)調(diào)度和作業(yè)調(diào)度兩個(gè)研究領(lǐng)域的交叉與耦合。

動(dòng)態(tài)規(guī)劃就是解決多階段決策最優(yōu)化問題的一種思想方法。

樹形動(dòng)態(tài)規(guī)劃階段

將所給問題的過程，按時(shí)間或空間特征分解成若干相互聯(lián)系的階段，以便按次序去求每階段的解。

樹形動(dòng)態(tài)規(guī)劃狀態(tài)

各階段開始時(shí)的客觀條件叫做狀態(tài)。

樹形動(dòng)態(tài)規(guī)劃決策

當(dāng)各段的狀態(tài)取定以后，就可以做出不同的決定，從而確定下一階段的狀態(tài)，這種決定稱為決策。

樹形動(dòng)態(tài)規(guī)劃策略

由開始到終點(diǎn)的全過程中，由每段決策組成的決策序列稱為全過程策略，簡(jiǎn)稱策略。

樹形動(dòng)態(tài)規(guī)劃狀態(tài)轉(zhuǎn)移方程

前一階段的終點(diǎn)就是后一階段的起點(diǎn)，前一階段的決策選擇導(dǎo)出了后一階段的狀態(tài)，這種關(guān)系描述了由k階段到k 1階段狀態(tài)的演變規(guī)律，稱為狀態(tài)轉(zhuǎn)移方程。