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

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

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

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 背景
    1.2 研究目的與意義
    1.3 國內(nèi)外研究現(xiàn)狀及分析
    1.4 論文主要?jiǎng)?chuàng)新貢獻(xiàn)
    1.5 論文組織與結(jié)構(gòu)
第二章 工控系統(tǒng)建模與分析理論基礎(chǔ)
    2.1 異構(gòu)工控系統(tǒng)特點(diǎn)
    2.2 異構(gòu)復(fù)雜系統(tǒng)建模
        2.2.1 事件驅(qū)動(dòng)機(jī)制
        2.2.2 通信協(xié)同機(jī)制
    2.3 程序切片技術(shù)
    2.4 本章小結(jié)
第三章 異構(gòu)式系統(tǒng)建模語言
    3.1 IMCL設(shè)計(jì)目的
    3.2 IMCL抽象語法
        3.2.1 資源統(tǒng)一定義
        3.2.2 信號(hào)集合
        3.2.3 變集集合
        3.2.4 語言表達(dá)式
    3.3 IMCL異構(gòu)系統(tǒng)建模
        3.3.1 系統(tǒng)建模過程
            案例: 溫控環(huán)境系統(tǒng)建模
        3.3.2 面向工控領(lǐng)域應(yīng)用
            (i) FPGA與IMCL建模
            (ii)PLC與IMCL建模
    3.4 本章小結(jié)
第四章 群體協(xié)同模型生成
    4.1 群體模型生成方法
    4.2 復(fù)雜系統(tǒng)模型分解
        4.2.1 系統(tǒng)依賴圖分析
        4.2.2 群體模型分解算法
    4.3 群體模型協(xié)同技術(shù)
        4.3.1 協(xié)同設(shè)計(jì)原理
        4.3.2 群體模型協(xié)同算法
    4.4 算法實(shí)驗(yàn)與分析
        4.4.1 系統(tǒng)依賴圖分析
        4.4.2 模型分解實(shí)驗(yàn)
        4.4.3 模型協(xié)同實(shí)驗(yàn)
    4.5 本章小結(jié)
第五章 工控領(lǐng)域應(yīng)用案例研究
    5.1 應(yīng)用案例:車間分揀系統(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 本章小結(jié)
第六章 結(jié)語
    6.1 本文工作總結(jié)
    6.2 未來工作展望
參考文獻(xiàn)
附錄
致謝
研究成果


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

碩士論文
[1]面向?qū)ο蟪绦騽?dòng)態(tài)切片系統(tǒng)的研究與實(shí)現(xiàn)[D]. 馬亮.南京航空航天大學(xué) 2007



本文編號(hào)：3570687