發(fā)布時(shí)間：2018-04-11 00:30

  本文選題：分布式嵌入式系統(tǒng) + 多Agent　； 參考：《軟件學(xué)報(bào)》2014年02期

【摘要】：以降低分布式嵌入式系統(tǒng)整體能耗為目標(biāo),立足設(shè)備屬性及其關(guān)系,從系統(tǒng)的啟動(dòng)設(shè)備集和設(shè)備動(dòng)態(tài)供電電壓兩個(gè)方面著手,提出一種基于Agent的自適應(yīng)能耗管理及其分析方法.在此基礎(chǔ)上,給出分布式嵌入式能耗網(wǎng)(DE-Net),并利用DE-Net模型對(duì)系統(tǒng)的基本組件進(jìn)行建模,根據(jù)組件間關(guān)系形成能耗模型,以刻畫(huà)系統(tǒng)的執(zhí)行流程和能耗屬性.最后,利用CTL描述系統(tǒng)性質(zhì),并借助Petri網(wǎng)的操作語(yǔ)義來(lái)驗(yàn)證方法的正確性和有效性.具體實(shí)例應(yīng)用及實(shí)驗(yàn)結(jié)果表明:該方法能夠有效地降低分布式實(shí)時(shí)系統(tǒng)的能耗,正確描述能耗自適應(yīng)調(diào)整過(guò)程,簡(jiǎn)化建模和分析過(guò)程,對(duì)開(kāi)發(fā)具有低能耗DES具有重要的理論意義和實(shí)用價(jià)值.
[Abstract]:In order to reduce the overall energy consumption of distributed embedded system as the goal, based on the equipment attribute and relationship from two aspects of starting system equipment and equipment of dynamic power supply, this paper proposes an adaptive energy management and analysis method based on Agent. On this basis, given the distributed embedded network (DE-Net), and the energy consumption of the basic components of modeling the system uses DE-Net model, according to the relationship between the formation of component energy consumption model, to describe the process of this system and energy attributes. Finally, using CTL to describe the nature of the system, and the correctness and validity of the operational semantics of Petri network to verify the method. The application examples and experimental results show that this method can effectively reduce the energy consumption distributed real-time system, correctly describe the process of adaptive adjustment of energy consumption, simplify the process of modeling and analysis, has the advantages of low energy consumption DES is important to the development of On significance and practical value.

【作者單位】： 華東理工大學(xué)計(jì)算機(jī)科學(xué)與工程系;計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室(南京大學(xué));上海應(yīng)用技術(shù)學(xué)院計(jì)算機(jī)科學(xué)與信息工程系;
【基金】：國(guó)家自然科學(xué)基金(61173048,61300041) 高等學(xué)校博士學(xué)科點(diǎn)專(zhuān)項(xiàng)科研基金(20130074110015) 上海市教育委員會(huì)科研創(chuàng)新項(xiàng)目(12YZ166) 中央高校基本科研業(yè)務(wù)費(fèi)專(zhuān)項(xiàng)基金(WH1314038) 上海市科委重大項(xiàng)目(12510503800)
【分類(lèi)號(hào)】：TP368.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前4條

1 張滕滕;吳曉;李長(zhǎng)德;董云衛(wèi);;基于CSP的構(gòu)件化嵌入式軟件能耗分析與評(píng)估方法研究[J];計(jì)算機(jī)學(xué)報(bào);2009年09期

2 李力行;金芝;李戈;;基于時(shí)間自動(dòng)機(jī)的物聯(lián)網(wǎng)服務(wù)建模和驗(yàn)證[J];計(jì)算機(jī)學(xué)報(bào);2011年08期

3 范貴生;虞慧群;陳麗瓊;劉冬梅;;策略驅(qū)動(dòng)的可靠嵌入式系統(tǒng)建模及分析方法[J];軟件學(xué)報(bào);2011年06期

4 劉嘯濱;郭兵;沈艷;熊冰;王繼禾;伍元?jiǎng)?劉云本;;嵌入式軟件體系結(jié)構(gòu)級(jí)能耗建模方法[J];軟件學(xué)報(bào);2012年02期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 劉嘯濱;郭兵;沈艷;王繼禾;伍元?jiǎng)?;嵌入式軟件算法級(jí)功耗BP網(wǎng)絡(luò)模型研究[J];電子科技大學(xué)學(xué)報(bào);2011年06期

2 張廣泉;張侃;祝義;周航;;基于體系結(jié)構(gòu)能耗建模的CPS軟件可信性評(píng)估方法[J];電子學(xué)報(bào);2013年11期

3 陳志輝;;基于時(shí)間自動(dòng)機(jī)的信息物理融合系統(tǒng)建模與驗(yàn)證[J];計(jì)算機(jī)與現(xiàn)代化;2012年10期

4 周宇;胡軍;葛季棟;;一種層次式時(shí)間自動(dòng)機(jī)模型檢測(cè)方法[J];計(jì)算機(jī)應(yīng)用與軟件;2012年11期

5 陳海明;崔莉;謝開(kāi)斌;;物聯(lián)網(wǎng)體系結(jié)構(gòu)與實(shí)現(xiàn)方法的比較研究[J];計(jì)算機(jī)學(xué)報(bào);2013年01期

6 封飛;陳名才;張廣泉;邵玉珍;李燁靜;;基于混成自動(dòng)機(jī)的車(chē)聯(lián)網(wǎng)服務(wù)建模方法[J];南通大學(xué)學(xué)報(bào)(自然科學(xué)版);2013年02期

7 袁博;汪斌強(qiáng);;一種基于構(gòu)件重構(gòu)的路由器能耗細(xì)粒度調(diào)整方法[J];計(jì)算機(jī)學(xué)報(bào);2013年07期

8 湯瀑;葉林;郭立鵬;張亮;;物聯(lián)網(wǎng)系統(tǒng)的組合與驗(yàn)證[J];計(jì)算機(jī)工程;2013年09期

9 紀(jì)明宇;王海濤;陳志遠(yuǎn);;基于自動(dòng)機(jī)的概率計(jì)算樹(shù)邏輯驗(yàn)證方法[J];計(jì)算機(jī)工程;2013年12期

10 王瑾;孫景昊;何興權(quán);孟亞坤;;重載列車(chē)上人員攀車(chē)行為感知及其時(shí)間自動(dòng)機(jī)模型[J];計(jì)算機(jī)科學(xué);2013年S2期

相關(guān)博士學(xué)位論文 前4條

1 董新平;物聯(lián)網(wǎng)產(chǎn)業(yè)成長(zhǎng)研究[D];華中師范大學(xué);2012年

2 袁博;基于可重構(gòu)技術(shù)的網(wǎng)絡(luò)節(jié)點(diǎn)節(jié)能問(wèn)題關(guān)鍵技術(shù)研究[D];解放軍信息工程大學(xué);2012年

3 張小云;云計(jì)算環(huán)境中可信服務(wù)模型及其關(guān)鍵問(wèn)題研究[D];武漢大學(xué);2013年

4 徐蘭;基于MAS的復(fù)雜質(zhì)量結(jié)構(gòu)產(chǎn)品質(zhì)量設(shè)計(jì)模型研究[D];南京航空航天大學(xué);2012年

相關(guān)碩士學(xué)位論文 前9條

1 馬偉民;基于組件技術(shù)的人機(jī)界面（HMI）研究[D];杭州電子科技大學(xué);2009年

2 韋佳;基于ZigBee無(wú)線傳感器網(wǎng)絡(luò)的智能開(kāi)關(guān)研究與設(shè)計(jì)[D];江南大學(xué);2012年

3 李朦曦;基于ARM的血壓監(jiān)護(hù)儀的研制[D];南京理工大學(xué);2013年

4 李顯杰;中斷驅(qū)動(dòng)的嵌入式軟件性能動(dòng)態(tài)評(píng)測(cè)方法[D];大連理工大學(xué);2013年

5 易良辰;普適環(huán)境下基于抽象狀態(tài)機(jī)的服務(wù)組合的分析與驗(yàn)證[D];上海交通大學(xué);2013年

6 葛祥旭;基于嵌入式系統(tǒng)的煤礦綜采自動(dòng)化通信控制系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)方法研究[D];山東大學(xué);2013年

7 毛海明;基于無(wú)線傳感器網(wǎng)絡(luò)的移動(dòng)智能照明控制系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];杭州電子科技大學(xué);2013年

8 唐濤;基于增廣著色Petri網(wǎng)的嵌入式系統(tǒng)建模方法研究[D];西華大學(xué);2013年

9 張侃;基于體系結(jié)構(gòu)能耗建模的CPS軟件可信性評(píng)估研究[D];蘇州大學(xué);2013年

【二級(jí)參考文獻(xiàn)】

相關(guān)期刊論文 前8條

1 趙霞;郭耀;雷志勇;陳向群;;基于模擬器的嵌入式操作系統(tǒng)能耗估算與分析[J];電子學(xué)報(bào);2008年02期

2 陳麗瓊;邵志清;范貴生;;分布式實(shí)時(shí)嵌入式系統(tǒng)的能耗建模與分析[J];華東理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年02期

3 侯麗珊;金芝;吳步丹;;需求驅(qū)動(dòng)的Web服務(wù)建模及其驗(yàn)證:一個(gè)基于本體的方法[J];中國(guó)科學(xué)E輯:信息科學(xué);2006年10期

4 張琳琳;應(yīng)時(shí);倪友聰;趙楷;文靜;;一種軟件體系結(jié)構(gòu)關(guān)注點(diǎn)分析方法[J];計(jì)算機(jī)學(xué)報(bào);2009年09期

5 張滕滕;吳曉;李長(zhǎng)德;董云衛(wèi);;基于CSP的構(gòu)件化嵌入式軟件能耗分析與評(píng)估方法研究[J];計(jì)算機(jī)學(xué)報(bào);2009年09期

6 郭兵;沈艷;邵子立;;綠色計(jì)算的重定義與若干探討[J];計(jì)算機(jī)學(xué)報(bào);2009年12期

7 王小明;一種軟件結(jié)構(gòu)復(fù)雜度度量模型及其自動(dòng)實(shí)現(xiàn)[J];計(jì)算機(jī)應(yīng)用;1999年06期

8 馬建剛;黃濤;汪錦嶺;徐罡;葉丹;;面向大規(guī)模分布式計(jì)算發(fā)布訂閱系統(tǒng)核心技術(shù)[J];軟件學(xué)報(bào);2006年01期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 段丹青,陳松喬,楊衛(wèi)平;基于人工免疫的多Agent自適應(yīng)入侵檢測(cè)系統(tǒng)[J];微機(jī)發(fā)展;2004年08期

2 陳雷,王延章;多Agent的MPLS流量工程自適應(yīng)策略研究[J];計(jì)算機(jī)工程與應(yīng)用;2005年09期

3 章韻;王靜玉;陳志;鮑貴城;周峰;扈羅全;;基于Q學(xué)習(xí)的無(wú)線傳感器網(wǎng)絡(luò)自組織方法研究[J];傳感技術(shù)學(xué)報(bào);2010年11期

4 熊瑞平,殷國(guó)富,戈鵬;基于多Agent原理的CAPP結(jié)構(gòu)體系研究[J];現(xiàn)代制造工程;2003年12期

5 杜慧敏;構(gòu)建多Agent環(huán)境下的網(wǎng)上協(xié)同信息服務(wù)[J];現(xiàn)代情報(bào);2004年07期

6 李雄,徐宗昌,郭齊勝;基于多Agent的多傳感器仿真系統(tǒng)總體分析[J];情報(bào)指揮控制系統(tǒng)與仿真技術(shù);2005年03期

7 呂智勇;王燕;張束;;基于免疫的多Agent入侵檢測(cè)系統(tǒng)[J];信息技術(shù);2006年05期

8 蔣一波;王萬(wàn)良;;基于MAS自治與合作機(jī)制的廣域網(wǎng)遠(yuǎn)程監(jiān)控系統(tǒng)[J];計(jì)算機(jī)工程與應(yīng)用;2006年26期

9 曲曉棠;;基于多Agent的智能網(wǎng)絡(luò)教學(xué)模型淺析[J];福建電腦;2006年12期

10 曾杰;陳華斌;;基于有色Petri Net多Agent入侵檢測(cè)系統(tǒng)實(shí)現(xiàn)[J];微計(jì)算機(jī)信息;2006年36期

相關(guān)會(huì)議論文 前10條

1 何宏;黃興;孫虹;武聰聰;董宏;;基于VHDL和FPGA的自適應(yīng)數(shù)字頻率計(jì)設(shè)計(jì)[A];2010中國(guó)儀器儀表學(xué)術(shù)、產(chǎn)業(yè)大會(huì)（論文集2）[C];2010年

2 黎杰;周猛軍;祝吾杰;胡麗媛;;基于自適應(yīng)微分進(jìn)化算法的供水調(diào)度優(yōu)化[A];2010中國(guó)儀器儀表與測(cè)控技術(shù)大會(huì)論文集[C];2010年

3 曾杰;郭創(chuàng)新;劉育騏;梁年生;;記憶遞歸網(wǎng)絡(luò)預(yù)測(cè)控制器及其在水壓頻率綜合調(diào)節(jié)中的研究[A];1996中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1996年

4 邢志偉;封錫盛;王寧;;水下機(jī)器人神經(jīng)網(wǎng)絡(luò)直接自適應(yīng)控制[A];2003中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];2003年

5 袁駟;和雪峰;;一個(gè)高效的一維有限元自適應(yīng)求解的新方案[A];工程力學(xué)學(xué)術(shù)研討會(huì)論文集[C];2004年

6 程春悅;呂英華;;基于可變對(duì)角加載的自適應(yīng)波束形成算法[A];通信理論與信號(hào)處理新進(jìn)展——2005年通信理論與信號(hào)處理年會(huì)論文集[C];2005年

7 劉程遠(yuǎn);王小銘;;基于自適應(yīng)融合系數(shù)矩陣的圖像隱藏算法[A];第十二屆全國(guó)圖象圖形學(xué)學(xué)術(shù)會(huì)議論文集[C];2005年

8 賈利琴;汪晉寬;田丹;;基于子空間跟蹤的自適應(yīng)多用戶檢測(cè)方法[A];第七屆青年學(xué)術(shù)會(huì)議論文集[C];2005年

9 齊娜;;傳聲器陣列的寬帶自適應(yīng)恒定束寬波束形成方法[A];2005年聲頻工程學(xué)術(shù)交流會(huì)論文集[C];2005年

10 羅z，

本文編號(hào)：1733644