智能情境化印刷系統(tǒng)的進(jìn)程代數(shù)建模與仿真驗(yàn)證
發(fā)布時(shí)間:2023-04-10 18:06
隨著個(gè)性化需求變得越來越普遍,對(duì)定制產(chǎn)品的需求也在增加,企業(yè)快速推出新產(chǎn)品的壓力越來越大。印刷生產(chǎn)系統(tǒng)必須實(shí)時(shí)地感知當(dāng)前情境,即實(shí)時(shí)生產(chǎn)環(huán)境與生產(chǎn)需求,并在盡可能少的人工干預(yù)下進(jìn)行智能、動(dòng)態(tài)、快速地配置和組織各類制造資源,重構(gòu)制造系統(tǒng)以滿足生產(chǎn)需求。本課題針對(duì)印刷生產(chǎn)系統(tǒng)的智能化生產(chǎn)需求,研究了智能情境化印刷生產(chǎn)系統(tǒng)的架構(gòu)體系,并實(shí)現(xiàn)了對(duì)其進(jìn)行代數(shù)建模及仿真驗(yàn)證。主要完成的工作有:(1)將情境感知和馬爾科夫邏輯網(wǎng)絡(luò)(MLN)的概念融入到Agent的設(shè)計(jì)中,構(gòu)建了智能情境化印刷生產(chǎn)系統(tǒng)的框架體系,該智能化系統(tǒng)能夠通過捕獲實(shí)時(shí)情境信息進(jìn)行分析計(jì)算,并根據(jù)不同產(chǎn)品的生產(chǎn)工藝需求高效地變更生產(chǎn)路線。(2)基于Agent技術(shù)提出了適用于印刷生產(chǎn)系統(tǒng)的Agent-Resource-Worker(ARW)組元模型,并運(yùn)用ARW組元模型和進(jìn)程代數(shù)構(gòu)建印刷生產(chǎn)系統(tǒng)的代數(shù)模型。該代數(shù)模型綜合ARW組元模型的復(fù)合機(jī)制,結(jié)合印刷生產(chǎn)特點(diǎn),對(duì)印刷生產(chǎn)流程進(jìn)行代數(shù)建模,該數(shù)學(xué)模型能夠模擬重構(gòu)后的印刷生產(chǎn)系統(tǒng)的流程與功能。(3)對(duì)獲得的印刷生產(chǎn)系統(tǒng)進(jìn)程代數(shù)模型進(jìn)行驗(yàn)證與仿真,驗(yàn)證了該代數(shù)模型的有效性;谶M(jìn)程代數(shù)的...
【文章頁(yè)數(shù)】:72 頁(yè)
【學(xué)位級(jí)別】:碩士
【文章目錄】:
摘要
Abstract
1 緒論
1.1 研究背景及意義
1.2 國(guó)內(nèi)外研究現(xiàn)狀
1.3 研究?jī)?nèi)容
1.4 論文組織結(jié)構(gòu)
2 相關(guān)基礎(chǔ)理論
2.1 情境感知決策
2.1.1 情境感知的基礎(chǔ)內(nèi)容
2.1.2 馬爾科夫邏輯網(wǎng)絡(luò)
2.2 進(jìn)程代數(shù)
2.3 本章小結(jié)
3 情境感知決策Agent的結(jié)構(gòu)設(shè)計(jì)
3.1 上下文信息分類
3.2 決策庫(kù)的設(shè)計(jì)
3.3 框架設(shè)計(jì)
3.4 決策思路
3.5 本章小結(jié)
4 印刷生產(chǎn)系統(tǒng)流程建模
4.1 ARW組元模型
4.2 基于ARW組元模型的流程建模
4.3 印刷生產(chǎn)系統(tǒng)的代數(shù)建模
4.4 本章小結(jié)
5 系統(tǒng)驗(yàn)證與仿真
5.1 進(jìn)程代數(shù)推理驗(yàn)證
5.2 mCRL2 仿真
5.2.1 mCRL2 工具集
5.2.2 mCRL2 仿真結(jié)果分析
5.3 本章小結(jié)
6 總結(jié)與展望
6.1 總結(jié)
6.2 展望
致謝
參考文獻(xiàn)
附錄1
附錄2
攻讀學(xué)位期間研究成果
本文編號(hào):3788581
【文章頁(yè)數(shù)】:72 頁(yè)
【學(xué)位級(jí)別】:碩士
【文章目錄】:
摘要
Abstract
1 緒論
1.1 研究背景及意義
1.2 國(guó)內(nèi)外研究現(xiàn)狀
1.3 研究?jī)?nèi)容
1.4 論文組織結(jié)構(gòu)
2 相關(guān)基礎(chǔ)理論
2.1 情境感知決策
2.1.1 情境感知的基礎(chǔ)內(nèi)容
2.1.2 馬爾科夫邏輯網(wǎng)絡(luò)
2.2 進(jìn)程代數(shù)
2.3 本章小結(jié)
3 情境感知決策Agent的結(jié)構(gòu)設(shè)計(jì)
3.1 上下文信息分類
3.2 決策庫(kù)的設(shè)計(jì)
3.3 框架設(shè)計(jì)
3.4 決策思路
3.5 本章小結(jié)
4 印刷生產(chǎn)系統(tǒng)流程建模
4.1 ARW組元模型
4.2 基于ARW組元模型的流程建模
4.3 印刷生產(chǎn)系統(tǒng)的代數(shù)建模
4.4 本章小結(jié)
5 系統(tǒng)驗(yàn)證與仿真
5.1 進(jìn)程代數(shù)推理驗(yàn)證
5.2 mCRL2 仿真
5.2.1 mCRL2 工具集
5.2.2 mCRL2 仿真結(jié)果分析
5.3 本章小結(jié)
6 總結(jié)與展望
6.1 總結(jié)
6.2 展望
致謝
參考文獻(xiàn)
附錄1
附錄2
攻讀學(xué)位期間研究成果
本文編號(hào):3788581
本文鏈接:http://sikaile.net/projectlw/qgylw/3788581.html
最近更新
教材專著