软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2014年
2期
419-438
,共20页
范贵生%虞慧群%陈丽琼%刘冬梅
範貴生%虞慧群%陳麗瓊%劉鼕梅
범귀생%우혜군%진려경%류동매
分布式嵌入式系统%多Agent%能耗%自适应%Petri网
分佈式嵌入式繫統%多Agent%能耗%自適應%Petri網
분포식감입식계통%다Agent%능모%자괄응%Petri망
distributed embedded system%multi-agent%energy consumption%adaptive%Petri net
以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系统的基本组件进行建模,根据组件间关系形成能耗模型,以刻画系统的执行流程和能耗属性.最后,利用CTL描述系统性质,并借助Petri网的操作语义来验证方法的正确性和有效性.具体实例应用及实验结果表明:该方法能够有效地降低分布式实时系统的能耗,正确描述能耗自适应调整过程,简化建模和分析过程,对开发具有低能耗DES具有重要的理论意义和实用价值.
以降低分佈式嵌入式繫統整體能耗為目標,立足設備屬性及其關繫,從繫統的啟動設備集和設備動態供電電壓兩箇方麵著手,提齣一種基于Agent的自適應能耗管理及其分析方法.在此基礎上,給齣分佈式嵌入式能耗網(DE-Net),併利用DE-Net模型對繫統的基本組件進行建模,根據組件間關繫形成能耗模型,以刻畫繫統的執行流程和能耗屬性.最後,利用CTL描述繫統性質,併藉助Petri網的操作語義來驗證方法的正確性和有效性.具體實例應用及實驗結果錶明:該方法能夠有效地降低分佈式實時繫統的能耗,正確描述能耗自適應調整過程,簡化建模和分析過程,對開髮具有低能耗DES具有重要的理論意義和實用價值.
이강저분포식감입식계통정체능모위목표,립족설비속성급기관계,종계통적계동설비집화설비동태공전전압량개방면착수,제출일충기우Agent적자괄응능모관리급기분석방법.재차기출상,급출분포식감입식능모망(DE-Net),병이용DE-Net모형대계통적기본조건진행건모,근거조건간관계형성능모모형,이각화계통적집행류정화능모속성.최후,이용CTL묘술계통성질,병차조Petri망적조작어의래험증방법적정학성화유효성.구체실례응용급실험결과표명:해방법능구유효지강저분포식실시계통적능모,정학묘술능모자괄응조정과정,간화건모화분석과정,대개발구유저능모DES구유중요적이론의의화실용개치.
