基于信息物理融合的個性化定制智能生產(chǎn)線
定 價:89 元
叢書名:網(wǎng)絡(luò)協(xié)同制造和智能工廠學(xué)術(shù)專著系列
- 作者:李迪 唐浩 周楠 王忠鋒 著
- 出版時間:2022/11/1
- ISBN:9787111713722
- 出 版 社:機械工業(yè)出版社
- 中圖法分類:F407.406.2
- 頁碼:
- 紙張:膠版紙
- 版次:
- 開本:16開
本書通過研究智能生產(chǎn)線信息物理系統(tǒng)架構(gòu)設(shè)計、智能生產(chǎn)線信息物理融合統(tǒng)一建模、智能生產(chǎn)線信息物理模型綜合計算與優(yōu)化,智能生產(chǎn)線信息物理系統(tǒng)驗證等關(guān)鍵技術(shù),建立面向個性化產(chǎn)品定制智能生產(chǎn)線設(shè)計和管控方法,提升我國混線生產(chǎn)能力。
當(dāng)前,制造業(yè)正面臨著巨大的轉(zhuǎn)型壓力,形成了勞動力成本迅速攀升、產(chǎn)能過剩、競爭激烈的態(tài)勢,迫使制造企業(yè)從低成本競爭轉(zhuǎn)向差異化競爭。在個性化定制智能生產(chǎn)模式下,產(chǎn)品的類型與批量多變、交付周期驟減、質(zhì)量與成本約束導(dǎo)致生產(chǎn)線設(shè)計和運行面臨新的挑戰(zhàn)。信息物理融合制造系統(tǒng)是信息物理系統(tǒng)在制造系統(tǒng)中的映射,其最終目標(biāo)是實現(xiàn)信息世界和物理世界的融合,在計算、通信和控制的基礎(chǔ)上通過網(wǎng)絡(luò)化的協(xié)同制造,實現(xiàn)生產(chǎn)過程的監(jiān)控,并通過自動化和智能化的管理實現(xiàn)個性化產(chǎn)品的預(yù)測性制造,以滿足個性化產(chǎn)品制造對效率、成本、質(zhì)量的綜合要求,也是我國占領(lǐng)未來制造業(yè)高地的關(guān)鍵所在。
目前,信息物理融合生產(chǎn)系統(tǒng)的構(gòu)建及其研究大多局限于概念層次。智能生產(chǎn)線是信息物理融合生產(chǎn)系統(tǒng)核心之一,對它的研究大多僅限于信息物理有限融合及實現(xiàn),難以在生產(chǎn)線的設(shè)計、運行、管控和優(yōu)化中發(fā)揮系統(tǒng)化理論、方法與技術(shù)層面的支撐作用,使得信息物理融合制造系統(tǒng)的性能預(yù)測、運行管控難以滿足個性化產(chǎn)品生產(chǎn)的要求。本書通過研究個性化定制智能生產(chǎn)線的信息物理融合系統(tǒng)架構(gòu)設(shè)計、統(tǒng)一建模、模型綜合計算與優(yōu)化、系統(tǒng)驗證等關(guān)鍵技術(shù),建立面向個性化產(chǎn)品定制智能生產(chǎn)線設(shè)計和管控方法,對提升我國混線生產(chǎn)能力,具有重要理論意義和工程應(yīng)用價值。
本書第1章介紹生產(chǎn)模式與制造系統(tǒng)的發(fā)展趨勢,以工業(yè)4.0參考架構(gòu)為基礎(chǔ),闡述信息物理生產(chǎn)系統(tǒng)是個性化定制生產(chǎn)的關(guān)鍵這一觀點。第2章介紹個性化定制智能生產(chǎn)線的設(shè)計與運行架構(gòu),從生產(chǎn)線的生命周期出發(fā),提出設(shè)計需求與運行需求,并以此提出基于組件與模型的設(shè)計運行統(tǒng)一框架;還介紹了項目組開發(fā)的智能生產(chǎn)線物理原型系統(tǒng),為后續(xù)章節(jié)的技術(shù)提供相關(guān)的驗證對象。第3章介紹信息物理融合組件的設(shè)計方法,以及多粒度多視角的組件建模方法,并以產(chǎn)品、工藝、資源為例,基于AutomationML標(biāo)準(zhǔn)定義了多粒度、多視角的組件。第4章介紹個性化定制智能生產(chǎn)線的形式化方法,提出一種基于工廠形式化建模語言的形式化建模方法;以“產(chǎn)品–工藝–資源”概念為中心,提出不同層次中生產(chǎn)線的模型仿真與驗證方法,并基于實例介紹離散事件驅(qū)動系統(tǒng)組件形式化模型的功能驗證和性能仿真,以證明所提方法的可用性。第5章介紹個性化定制生產(chǎn)模式下設(shè)備控制系統(tǒng)的形式化技術(shù),包括設(shè)備控制系統(tǒng)的結(jié)構(gòu)、組成及運行過程描述,提出設(shè)備資源控制系統(tǒng)的動態(tài)重構(gòu)的形式化建模方法,通過具體的PID計算過程對應(yīng)的功能塊網(wǎng)絡(luò)程序?qū)嵗炞C所提形式化建模方法和工具的有效性和開發(fā)模型的可信度。在完成生產(chǎn)線系統(tǒng)不同層級組件建模的情況下,第6章介紹個性化定制智能生產(chǎn)線的設(shè)計工具,著重介紹建模工具和仿真工具的實現(xiàn),包含快速開發(fā)所需要的建模和模型轉(zhuǎn)換工具,以及以模型為仿真對象的虛擬調(diào)試技術(shù),最后介紹相關(guān)的工具集成實現(xiàn)技術(shù)。第7章介紹以中間件理念為基礎(chǔ)的即插即生產(chǎn)信息物理融合框架,并闡述中間件與軟硬件的交互技術(shù);詳細(xì)介紹中間件與資源交互的資源適配器和與產(chǎn)品交互的產(chǎn)品適配器的設(shè)計及實現(xiàn)方法,并論述中間件和軟件交互的軟件適配器的設(shè)計及實現(xiàn)方法,為個性化定制智能生產(chǎn)線的即插即生產(chǎn)模式的實現(xiàn)提供基礎(chǔ)保障。第8章介紹面向個性化產(chǎn)品定制的可重構(gòu)車間調(diào)度理論,首先對資源重構(gòu)與調(diào)度進行關(guān)系分析和框架介紹,引入本體語義技術(shù),提出知識驅(qū)動的資源重構(gòu)機制和基于強化學(xué)習(xí)的自適應(yīng)調(diào)度方法,用于支撐生產(chǎn)異常情況下個性化產(chǎn)品的自適應(yīng)生產(chǎn)調(diào)度。第9章針對設(shè)備動態(tài)重構(gòu)在生產(chǎn)線運行時面臨的實時性和可靠性的挑戰(zhàn),從設(shè)備控制系統(tǒng)領(lǐng)域模型的設(shè)計、可重構(gòu)運動內(nèi)核環(huán)境的實現(xiàn)、自適應(yīng)重構(gòu)機制的構(gòu)建三個方面闡述設(shè)備運動控制系統(tǒng)如何適應(yīng)個性化產(chǎn)品定制對資源重構(gòu)的嚴(yán)苛要求;贗EC 61499國際標(biāo)準(zhǔn),我們開發(fā)了適應(yīng)于動態(tài)資源重構(gòu)的網(wǎng)絡(luò)化運動控制內(nèi)核,證明了所提運動控制系統(tǒng)可重構(gòu)方法的有效性。第10章介紹智能生產(chǎn)線的運行管控實施技術(shù),包括如何構(gòu)建車間的私有云架構(gòu),如何采用云原生技術(shù)實現(xiàn)面向個性化生產(chǎn)線設(shè)計、管控運行的微服務(wù)架構(gòu),并以華南理工大學(xué)個性化定制智能生產(chǎn)線的運行為例,驗證了本書中即插即生產(chǎn)相關(guān)技術(shù)的可行性。
本書由李迪教授、唐浩博士、周楠博士和王忠鋒研究員合著,華南理工大學(xué)研究生王戈、姚俠楠、張柳、羅子仁、楊澤霖等為本書實例整理和編寫提供了支持和幫助。全書由李迪審校。
本書是國家重點研發(fā)計劃“網(wǎng)絡(luò)協(xié)同制造和智能工廠”重點專項項目(2018YFB1700500)的研究成果總結(jié),在此特向科學(xué)技術(shù)部表示衷心的感謝。
本書的編寫不僅集成了作者對信息物理融合制造系統(tǒng)、智能生產(chǎn)線、個性化定制生產(chǎn)長期的關(guān)注、研究和思考,還參考了國內(nèi)外一些研究學(xué)者的思想觀點,在此謹(jǐn)向他們表示感謝。同時,特別感謝華南理工大學(xué)、中國科學(xué)院沈陽自動化研究所、東北大學(xué)、華中科技大學(xué)、浙江大學(xué)、上海交通大學(xué)、大連理工大學(xué)、海南大學(xué)、廣州中國科學(xué)院沈陽自動化研究所分所、武漢華創(chuàng)動力智能科技有限公司等單位在本書收集資料過程中給予的大力支持和幫助。
由于作者水平有限,書中難免存在疏漏之處,懇請廣大讀者批評指正。
作者
2021年12月22日
前言
第1章 緒論1
1.1 個性化定制是未來制造的趨勢1
1.2 制造系統(tǒng)及其演變3
1.3 信息物理融合系統(tǒng)概念5
1.4 信息物理融合生產(chǎn)系統(tǒng)是個性化定制智能生產(chǎn)的關(guān)鍵7
參考文獻9
第2章 個性化定制智能生產(chǎn)線的設(shè)計與運行架構(gòu)12
2.1 引言12
2.2 個性化定制智能生產(chǎn)線的設(shè)計需求14
2.2.1 生產(chǎn)線的功能驗證14
2.2.2 生產(chǎn)線的性能仿真14
2.2.3 生產(chǎn)線的虛擬調(diào)試15
2.3 個性化定制智能生產(chǎn)線的運行需求16
2.4 個性化定制智能生產(chǎn)線的設(shè)計與運行架構(gòu)17
2.4.1 相關(guān)架構(gòu)18
2.4.2 基于組件模型的個性化定制智能生產(chǎn)線的設(shè)計與運行架構(gòu)19
2.5 個性化禮盒生產(chǎn)線原型平臺實例20
2.5.1 UGBP的設(shè)計目標(biāo)20
2.5.2 UGBP的硬件分布及網(wǎng)絡(luò)構(gòu)成21
2.5.3 UGBP的產(chǎn)品工藝路線28
2.6 結(jié)論30
參考文獻30
第3章 個性化定制智能生產(chǎn)線的信息物理融合組件32
3.1 引言32
3.2 組件的設(shè)計方法33
3.2.1 組件的定義33
3.2.2 組件的多粒度、多視角建模方法35
3.2.3 組件的通用信息定義37
3.3 基于 AutomationML 的組件建模38
3.3.1 產(chǎn)品、資源、工藝組件的多粒度設(shè)計38
3.3.2 產(chǎn)品、資源、工藝組件的多視角建模42
3.4 結(jié)論51
參考文獻51
第4章 個性化定制智能生產(chǎn)線形式化方法54
4.1 引言54
4.1.1 組件建模54
4.1.2 形式化驗證55
4.2 智能生產(chǎn)線形式化建模架構(gòu)56
4.3 智能生產(chǎn)線形式化建模57
4.3.1 基于EFPD智能生產(chǎn)線PPR組件定義58
4.3.2 工藝組件的形式化定義60
4.3.3 產(chǎn)品組件的形式化定義61
4.3.4 資源組件的形式化定義62
4.3.5 組件交互語義的形式化定義62
4.3.6 基于有色Petri網(wǎng)的形式化模型轉(zhuǎn)換方法63
4.4 組件形式化建模與仿真實例65
4.4.1 組件的模型驗證機制65
4.4.2 組件形式化建模實例67
4.4.3 形式化模型驗證結(jié)果與仿真分析68
4.5 結(jié)論71
參考文獻71
第5章 設(shè)備控制系統(tǒng)的形式化方法74
5.1 引言74
5.2 設(shè)備控制系統(tǒng)的形式化建模方法概述75
5.3 設(shè)備控制系統(tǒng)的形式化建模語言的語法定義77
5.3.1 語法定義77
5.3.2 基于IEC 61499標(biāo)準(zhǔn)的語法定義80
5.4 設(shè)備控制系統(tǒng)的形式化建模語言的語義定義82
5.4.1 基于標(biāo)記變遷系統(tǒng)的操作語義82
5.4.2 面向時間自動機的轉(zhuǎn)換語義89
5.5 實例94
5.6 結(jié)論96
參考文獻97
第6章 個性化定制智能生產(chǎn)線的設(shè)計工具99
6.1 引言99
6.1.1 智能生產(chǎn)線的模型驅(qū)動設(shè)計99
6.1.2 智能生產(chǎn)線組件的信息集成101
6.1.3 智能生產(chǎn)線的設(shè)計工具鏈102
6.2 智能生產(chǎn)線的模型驅(qū)動設(shè)計方法102
6.2.1 模型驅(qū)動設(shè)計流程103
6.2.2 模型集成架構(gòu)設(shè)計105
6.2.3 模型構(gòu)建與轉(zhuǎn)換106
6.3 智能生產(chǎn)線的模型驅(qū)動工具鏈的設(shè)計與實現(xiàn)108
6.3.1 工具集成平臺的選用108
6.3.2 模型驅(qū)動工具鏈的定義109
6.3.3 模型驅(qū)動工具鏈的實現(xiàn)110
6.4 智能生產(chǎn)線的模型驅(qū)動工具鏈集成平臺116
6.4.1 模型構(gòu)建117
6.4.2 規(guī)劃調(diào)度118
6.4.3 模型驗證121
6.4.4 虛擬調(diào)試124
6.5 結(jié)論126
參考文獻126
第7章 即插即生產(chǎn)信息物理融合框架及智能適配器129
7.1 引言129
7.2 即插即生產(chǎn)信息物理融合框架131
7.2.1 異構(gòu)組件的集成方式131
7.2.2 基于中間件的信息物理融合運行框架132
7.2.3 基于服務(wù)的中間件與組件交互過程133
7.3 資源適配器134
7.3.1 資源適配器運行機制134
7.3.2 資源適配器實現(xiàn)方案136
7.4 產(chǎn)品適配器142
7.4.1 產(chǎn)品適配器運行機制142
7.4.2 產(chǎn)品適配器實現(xiàn)方案144
7.5 軟件適配器149
7.5.1 軟件組件AML建模149
7.5.2 軟件適配器運行機制152
7.5.3 軟件適配器實現(xiàn)方案153
7.6 結(jié)論155
參考文獻155
第8章 個性化定制智能生產(chǎn)線的資源重構(gòu)與生產(chǎn)調(diào)度158
8.1 引言158
8.1.1 可重構(gòu)制造系統(tǒng)的研究現(xiàn)狀159
8.1.2 資源重構(gòu)方法的研究現(xiàn)狀160
8.1.3 生產(chǎn)調(diào)度優(yōu)化方法的研究現(xiàn)狀160
8.2 資源重構(gòu)與生產(chǎn)調(diào)度的二元閉環(huán)結(jié)構(gòu)161
8.2.1 資源重構(gòu)與生產(chǎn)調(diào)度的關(guān)系分析161
8.2.2 可重構(gòu)生產(chǎn)線的“對象–過程”建模 163
8.3 本體知識驅(qū)動的資源重構(gòu)機制168
8.3.1 資源重構(gòu)概念的本體模型168
8.3.2 基于本體映射的多層級匹配方法173
8.3.3 語義推理規(guī)則與語義查詢語句177
8.4 基于強化學(xué)習(xí)的自適應(yīng)生產(chǎn)調(diào)度方法182
8.4.1 生產(chǎn)調(diào)度的 SMDP 建模182
8.4.2 基于卷積神經(jīng)網(wǎng)絡(luò)近似的模型求解方法190
8.5 實例192
8.5.1 資源重構(gòu)觸發(fā)實例192
8.5.2 生產(chǎn)調(diào)度實例194
8.6 結(jié)論198
參考文獻198
第9章 設(shè)備控制系統(tǒng)的動態(tài)重構(gòu)205
9.1 引言205
9.2 運動控制系統(tǒng)建模語言的元模型概念207
9.2.1 基于MetaGME工具的元模型概念207
9.2.2 設(shè)備控制系統(tǒng)組件的元模型概念208
9.3 設(shè)備控制系統(tǒng)實時可重構(gòu)運動內(nèi)核運行環(huán)境的設(shè)計211
9.3.1 控制系統(tǒng)的可重構(gòu)性實現(xiàn)方案211
9.3.2 組件化的內(nèi)核運行與任務(wù)調(diào)度框架設(shè)計214
9.3.3 基于 IEC 61499標(biāo)準(zhǔn)管理命令的動態(tài)重構(gòu)模塊218
9.4 實例222
9.5 結(jié)論227
參考文獻228
第10章 智能生產(chǎn)線的運行管控實施技術(shù)230
10.1 引言230
10.2 智能生產(chǎn)線的運行管控基本架