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

【摘要】：以降低分布式嵌入式系統(tǒng)整體能耗為目標(biāo),立足設(shè)備屬性及其關(guān)系,從系統(tǒng)的啟動設(shè)備集和設(shè)備動態(tài)供電電壓兩個方面著手,提出一種基于Agent的自適應(yīng)能耗管理及其分析方法.在此基礎(chǔ)上,給出分布式嵌入式能耗網(wǎng)(DE-Net),并利用DE-Net模型對系統(tǒng)的基本組件進(jìn)行建模,根據(jù)組件間關(guān)系形成能耗模型,以刻畫系統(tǒng)的執(zhí)行流程和能耗屬性.最后,利用CTL描述系統(tǒng)性質(zhì),并借助Petri網(wǎng)的操作語義來驗(yàn)證方法的正確性和有效性.具體實(shí)例應(yīng)用及實(shí)驗(yàn)結(jié)果表明:該方法能夠有效地降低分布式實(shí)時系統(tǒng)的能耗,正確描述能耗自適應(yīng)調(diào)整過程,簡化建模和分析過程,對開發(fā)具有低能耗DES具有重要的理論意義和實(shí)用價值.
[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ù)國家重點(diǎn)實(shí)驗(yàn)室(南京大學(xué));上海應(yīng)用技術(shù)學(xué)院計(jì)算機(jī)科學(xué)與信息工程系;
【基金】：國家自然科學(xué)基金(61173048,61300041) 高等學(xué)校博士學(xué)科點(diǎn)專項(xiàng)科研基金(20130074110015) 上海市教育委員會科研創(chuàng)新項(xiàng)目(12YZ166) 中央高校基本科研業(yè)務(wù)費(fèi)專項(xiàng)基金(WH1314038) 上海市科委重大項(xiàng)目(12510503800)
【分類號】：TP368.1

【參考文獻(xiàn)】

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

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

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

3 張小云;云計(jì)算環(huán)境中可信服務(wù)模型及其關(guā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ǎng)絡(luò)的智能開關(guān)研究與設(shè)計(jì)[D];江南大學(xué);2012年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

8 蔣一波;王萬良;;基于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入侵檢測系統(tǒng)實(shí)現(xiàn)[J];微計(jì)算機(jī)信息;2006年36期

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

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

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

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

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

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

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

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

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

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

10 羅z，

本文編號：1733644