天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

智能情境化印刷系統(tǒng)的進程代數(shù)建模與仿真驗證

發(fā)布時間:2023-04-10 18:06
  隨著個性化需求變得越來越普遍,對定制產(chǎn)品的需求也在增加,企業(yè)快速推出新產(chǎn)品的壓力越來越大。印刷生產(chǎn)系統(tǒng)必須實時地感知當前情境,即實時生產(chǎn)環(huán)境與生產(chǎn)需求,并在盡可能少的人工干預下進行智能、動態(tài)、快速地配置和組織各類制造資源,重構制造系統(tǒng)以滿足生產(chǎn)需求。本課題針對印刷生產(chǎn)系統(tǒng)的智能化生產(chǎn)需求,研究了智能情境化印刷生產(chǎn)系統(tǒng)的架構體系,并實現(xiàn)了對其進行代數(shù)建模及仿真驗證。主要完成的工作有:(1)將情境感知和馬爾科夫邏輯網(wǎng)絡(MLN)的概念融入到Agent的設計中,構建了智能情境化印刷生產(chǎn)系統(tǒng)的框架體系,該智能化系統(tǒng)能夠通過捕獲實時情境信息進行分析計算,并根據(jù)不同產(chǎn)品的生產(chǎn)工藝需求高效地變更生產(chǎn)路線。(2)基于Agent技術提出了適用于印刷生產(chǎn)系統(tǒng)的Agent-Resource-Worker(ARW)組元模型,并運用ARW組元模型和進程代數(shù)構建印刷生產(chǎn)系統(tǒng)的代數(shù)模型。該代數(shù)模型綜合ARW組元模型的復合機制,結合印刷生產(chǎn)特點,對印刷生產(chǎn)流程進行代數(shù)建模,該數(shù)學模型能夠模擬重構后的印刷生產(chǎn)系統(tǒng)的流程與功能。(3)對獲得的印刷生產(chǎn)系統(tǒng)進程代數(shù)模型進行驗證與仿真,驗證了該代數(shù)模型的有效性。基于進程代數(shù)的...

【文章頁數(shù)】:72 頁

【學位級別】:碩士

【文章目錄】:
摘要
Abstract
1 緒論
    1.1 研究背景及意義
    1.2 國內外研究現(xiàn)狀
    1.3 研究內容
    1.4 論文組織結構
2 相關基礎理論
    2.1 情境感知決策
        2.1.1 情境感知的基礎內容
        2.1.2 馬爾科夫邏輯網(wǎng)絡
    2.2 進程代數(shù)
    2.3 本章小結
3 情境感知決策Agent的結構設計
    3.1 上下文信息分類
    3.2 決策庫的設計
    3.3 框架設計
    3.4 決策思路
    3.5 本章小結
4 印刷生產(chǎn)系統(tǒng)流程建模
    4.1 ARW組元模型
    4.2 基于ARW組元模型的流程建模
    4.3 印刷生產(chǎn)系統(tǒng)的代數(shù)建模
    4.4 本章小結
5 系統(tǒng)驗證與仿真
    5.1 進程代數(shù)推理驗證
    5.2 mCRL2 仿真
        5.2.1 mCRL2 工具集
        5.2.2 mCRL2 仿真結果分析
    5.3 本章小結
6 總結與展望
    6.1 總結
    6.2 展望
致謝
參考文獻
附錄1
附錄2
攻讀學位期間研究成果



本文編號:3788581

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/projectlw/qgylw/3788581.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權申明:資料由用戶6bfa2***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com