“工業(yè)4.0”提出的智能化、網(wǎng)絡化的新型工業(yè)模式正影響著世界范圍內的工業(yè)體系。本文結合當前主流的異構協(xié)同計算模式思維,創(chuàng)新地在從系統(tǒng)中物理資源約束關系角度,研究如何生成具備協(xié)同式異構計算能力的群體模型。在對多機、多模塊的協(xié)同式異構智能體控制系統(tǒng)中,設備物理資源的調度約束關系是影響異構式系統(tǒng)的控制能力的關鍵因素。這是影響和制約復雜模型分解的關鍵因素。因此,本文以復雜模型為研究對象,基于程序切片技術對模型進行分解,從而生成相對應的群體模型,然后進一步分析系統(tǒng)依賴圖來研究群體子模型之間的協(xié)同關系,最終完成面向工控領域的群體協(xié)同模型生成技術研究。本文的主要工作概括如下:1、設計了一種以觸發(fā)事件為驅動、可以描述異構式系統(tǒng)資源的建模語言IMCL。該語言能夠將所有存在差異性的物理資源置于統(tǒng)一的工控系統(tǒng)抽象模型中,在實現(xiàn)平臺無關性的基礎上通過研究系統(tǒng)的控制邏輯,將復雜工業(yè)控制系統(tǒng)描述成語言形式的復雜模型。2、本文從控制器與物理資源形成的約束關系進行研究,提出了一種能夠自動化地將一個復雜模型分解成多個子模型的分解方法。該方法能夠在給定的資源約束前提下,把復雜系統(tǒng)中的所有物理設備資源,按照約束關系智能化地... 

【文章來源】：華東師范大學上海市 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：92 頁

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 背景
    1.2 研究目的與意義
    1.3 國內外研究現(xiàn)狀及分析
    1.4 論文主要創(chuàng)新貢獻
    1.5 論文組織與結構
第二章 工控系統(tǒng)建模與分析理論基礎
    2.1 異構工控系統(tǒng)特點
    2.2 異構復雜系統(tǒng)建模
        2.2.1 事件驅動機制
        2.2.2 通信協(xié)同機制
    2.3 程序切片技術
    2.4 本章小結
第三章 異構式系統(tǒng)建模語言
    3.1 IMCL設計目的
    3.2 IMCL抽象語法
        3.2.1 資源統(tǒng)一定義
        3.2.2 信號集合
        3.2.3 變集集合
        3.2.4 語言表達式
    3.3 IMCL異構系統(tǒng)建模
        3.3.1 系統(tǒng)建模過程
            案例: 溫控環(huán)境系統(tǒng)建模
        3.3.2 面向工控領域應用
            (i) FPGA與IMCL建模
            (ii)PLC與IMCL建模
    3.4 本章小結
第四章 群體協(xié)同模型生成
    4.1 群體模型生成方法
    4.2 復雜系統(tǒng)模型分解
        4.2.1 系統(tǒng)依賴圖分析
        4.2.2 群體模型分解算法
    4.3 群體模型協(xié)同技術
        4.3.1 協(xié)同設計原理
        4.3.2 群體模型協(xié)同算法
    4.4 算法實驗與分析
        4.4.1 系統(tǒng)依賴圖分析
        4.4.2 模型分解實驗
        4.4.3 模型協(xié)同實驗
    4.5 本章小結
第五章 工控領域應用案例研究
    5.1 應用案例:車間分揀系統(tǒng)
    5.2 分揀系統(tǒng)建模
        5.2.1 資源統(tǒng)一定義
        5.2.2 系統(tǒng)功能建模
    5.3 群體模型分解
        5.3.1 資源分配與約束
        5.3.2 系統(tǒng)分解分析
    5.4 群體模型協(xié)同分析
    5.5 本章小結
第六章 結語
    6.1 本文工作總結
    6.2 未來工作展望
參考文獻
附錄
致謝
研究成果


【參考文獻】：
期刊論文
[1]基于網(wǎng)絡的可信軟件大規(guī)模協(xié)同開發(fā)與演化[J]. 王懷民,尹剛,謝冰,劉旭東,魏峻,劉江寧.  中國科學:信息科學. 2014(01)
[2]基于蟻群算法的熱工系統(tǒng)模型辨識[J]. 韋根原,朱波,馬磊.  計算機仿真. 2014(01)
[3]基于動態(tài)插樁的程序分析工具的性能改進[J]. 代聲馨,洪玫,郭鑫宇,張鵬,祁琳瑩.  計算機應用研究. 2013(07)
[4]基于網(wǎng)絡模型的組件化軟件開發(fā)方法研究[J]. 陳亮,吳健,魏馳.  計算機測量與控制. 2013(01)
[5]基于描述任務邏輯的群體組織協(xié)同關系模型[J]. 張巍,曾亮,李思昆.  計算機工程與科學. 2013(01)
[6]基于復雜網(wǎng)絡的軟件開發(fā)方法研究[J]. 何明東,熊建斌,李振坤.  計算機技術與發(fā)展. 2011(06)
[7]云計算:系統(tǒng)實例與研究現(xiàn)狀[J]. 陳康,鄭緯民.  軟件學報. 2009(05)
[8]前向切片與后向切片之間關系的研究[J]. 易彤.  計算機工程與應用. 2008(12)
[9]模型驅動開發(fā)方法的應用研究[J]. 王赟華,陳蔚薇.  計算機工程. 2006(13)
[10]一種面向對象多層次協(xié)作模型研究[J]. 張道春,劉弘.  信息技術與信息化. 2006(01)

碩士論文
[1]面向對象程序動態(tài)切片系統(tǒng)的研究與實現(xiàn)[D]. 馬亮.南京航空航天大學 2007



本文編號：3570687