分布式嵌入式系统的自适应能耗管理和分析
本文选题:分布式嵌入式系统 + 多Agent ; 参考:《软件学报》2014年02期
【摘要】:以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系统的基本组件进行建模,根据组件间关系形成能耗模型,以刻画系统的执行流程和能耗属性.最后,利用CTL描述系统性质,并借助Petri网的操作语义来验证方法的正确性和有效性.具体实例应用及实验结果表明:该方法能够有效地降低分布式实时系统的能耗,正确描述能耗自适应调整过程,简化建模和分析过程,对开发具有低能耗DES具有重要的理论意义和实用价值.
[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.
【作者单位】: 华东理工大学计算机科学与工程系;计算机软件新技术国家重点实验室(南京大学);上海应用技术学院计算机科学与信息工程系;
【基金】:国家自然科学基金(61173048,61300041) 高等学校博士学科点专项科研基金(20130074110015) 上海市教育委员会科研创新项目(12YZ166) 中央高校基本科研业务费专项基金(WH1314038) 上海市科委重大项目(12510503800)
【分类号】:TP368.1
【参考文献】
相关期刊论文 前4条
1 张滕滕;吴晓;李长德;董云卫;;基于CSP的构件化嵌入式软件能耗分析与评估方法研究[J];计算机学报;2009年09期
2 李力行;金芝;李戈;;基于时间自动机的物联网服务建模和验证[J];计算机学报;2011年08期
3 范贵生;虞慧群;陈丽琼;刘冬梅;;策略驱动的可靠嵌入式系统建模及分析方法[J];软件学报;2011年06期
4 刘啸滨;郭兵;沈艳;熊冰;王继禾;伍元胜;刘云本;;嵌入式软件体系结构级能耗建模方法[J];软件学报;2012年02期
【共引文献】
相关期刊论文 前10条
1 刘啸滨;郭兵;沈艳;王继禾;伍元胜;;嵌入式软件算法级功耗BP网络模型研究[J];电子科技大学学报;2011年06期
2 张广泉;张侃;祝义;周航;;基于体系结构能耗建模的CPS软件可信性评估方法[J];电子学报;2013年11期
3 陈志辉;;基于时间自动机的信息物理融合系统建模与验证[J];计算机与现代化;2012年10期
4 周宇;胡军;葛季栋;;一种层次式时间自动机模型检测方法[J];计算机应用与软件;2012年11期
5 陈海明;崔莉;谢开斌;;物联网体系结构与实现方法的比较研究[J];计算机学报;2013年01期
6 封飞;陈名才;张广泉;邵玉珍;李烨静;;基于混成自动机的车联网服务建模方法[J];南通大学学报(自然科学版);2013年02期
7 袁博;汪斌强;;一种基于构件重构的路由器能耗细粒度调整方法[J];计算机学报;2013年07期
8 汤瀑;叶林;郭立鹏;张亮;;物联网系统的组合与验证[J];计算机工程;2013年09期
9 纪明宇;王海涛;陈志远;;基于自动机的概率计算树逻辑验证方法[J];计算机工程;2013年12期
10 王瑾;孙景昊;何兴权;孟亚坤;;重载列车上人员攀车行为感知及其时间自动机模型[J];计算机科学;2013年S2期
相关博士学位论文 前4条
1 董新平;物联网产业成长研究[D];华中师范大学;2012年
2 袁博;基于可重构技术的网络节点节能问题关键技术研究[D];解放军信息工程大学;2012年
3 张小云;云计算环境中可信服务模型及其关键问题研究[D];武汉大学;2013年
4 徐兰;基于MAS的复杂质量结构产品质量设计模型研究[D];南京航空航天大学;2012年
相关硕士学位论文 前9条
1 马伟民;基于组件技术的人机界面(HMI)研究[D];杭州电子科技大学;2009年
2 韦佳;基于ZigBee无线传感器网络的智能开关研究与设计[D];江南大学;2012年
3 李朦曦;基于ARM的血压监护仪的研制[D];南京理工大学;2013年
4 李显杰;中断驱动的嵌入式软件性能动态评测方法[D];大连理工大学;2013年
5 易良辰;普适环境下基于抽象状态机的服务组合的分析与验证[D];上海交通大学;2013年
6 葛祥旭;基于嵌入式系统的煤矿综采自动化通信控制系统设计与实现方法研究[D];山东大学;2013年
7 毛海明;基于无线传感器网络的移动智能照明控制系统设计与实现[D];杭州电子科技大学;2013年
8 唐涛;基于增广着色Petri网的嵌入式系统建模方法研究[D];西华大学;2013年
9 张侃;基于体系结构能耗建模的CPS软件可信性评估研究[D];苏州大学;2013年
【二级参考文献】
相关期刊论文 前8条
1 赵霞;郭耀;雷志勇;陈向群;;基于模拟器的嵌入式操作系统能耗估算与分析[J];电子学报;2008年02期
2 陈丽琼;邵志清;范贵生;;分布式实时嵌入式系统的能耗建模与分析[J];华东理工大学学报(自然科学版);2009年02期
3 侯丽珊;金芝;吴步丹;;需求驱动的Web服务建模及其验证:一个基于本体的方法[J];中国科学E辑:信息科学;2006年10期
4 张琳琳;应时;倪友聪;赵楷;文静;;一种软件体系结构关注点分析方法[J];计算机学报;2009年09期
5 张滕滕;吴晓;李长德;董云卫;;基于CSP的构件化嵌入式软件能耗分析与评估方法研究[J];计算机学报;2009年09期
6 郭兵;沈艳;邵子立;;绿色计算的重定义与若干探讨[J];计算机学报;2009年12期
7 王小明;一种软件结构复杂度度量模型及其自动实现[J];计算机应用;1999年06期
8 马建刚;黄涛;汪锦岭;徐罡;叶丹;;面向大规模分布式计算发布订阅系统核心技术[J];软件学报;2006年01期
【相似文献】
相关期刊论文 前10条
1 段丹青,陈松乔,杨卫平;基于人工免疫的多Agent自适应入侵检测系统[J];微机发展;2004年08期
2 陈雷,王延章;多Agent的MPLS流量工程自适应策略研究[J];计算机工程与应用;2005年09期
3 章韵;王静玉;陈志;鲍贵城;周峰;扈罗全;;基于Q学习的无线传感器网络自组织方法研究[J];传感技术学报;2010年11期
4 熊瑞平,殷国富,戈鹏;基于多Agent原理的CAPP结构体系研究[J];现代制造工程;2003年12期
5 杜慧敏;构建多Agent环境下的网上协同信息服务[J];现代情报;2004年07期
6 李雄,徐宗昌,郭齐胜;基于多Agent的多传感器仿真系统总体分析[J];情报指挥控制系统与仿真技术;2005年03期
7 吕智勇;王燕;张束;;基于免疫的多Agent入侵检测系统[J];信息技术;2006年05期
8 蒋一波;王万良;;基于MAS自治与合作机制的广域网远程监控系统[J];计算机工程与应用;2006年26期
9 曲晓棠;;基于多Agent的智能网络教学模型浅析[J];福建电脑;2006年12期
10 曾杰;陈华斌;;基于有色Petri Net多Agent入侵检测系统实现[J];微计算机信息;2006年36期
相关会议论文 前10条
1 何宏;黄兴;孙虹;武聪聪;董宏;;基于VHDL和FPGA的自适应数字频率计设计[A];2010中国仪器仪表学术、产业大会(论文集2)[C];2010年
2 黎杰;周猛军;祝吾杰;胡丽媛;;基于自适应微分进化算法的供水调度优化[A];2010中国仪器仪表与测控技术大会论文集[C];2010年
3 曾杰;郭创新;刘育骐;梁年生;;记忆递归网络预测控制器及其在水压频率综合调节中的研究[A];1996中国控制与决策学术年会论文集[C];1996年
4 邢志伟;封锡盛;王宁;;水下机器人神经网络直接自适应控制[A];2003中国控制与决策学术年会论文集[C];2003年
5 袁驷;和雪峰;;一个高效的一维有限元自适应求解的新方案[A];工程力学学术研讨会论文集[C];2004年
6 程春悦;吕英华;;基于可变对角加载的自适应波束形成算法[A];通信理论与信号处理新进展——2005年通信理论与信号处理年会论文集[C];2005年
7 刘程远;王小铭;;基于自适应融合系数矩阵的图像隐藏算法[A];第十二届全国图象图形学学术会议论文集[C];2005年
8 贾利琴;汪晋宽;田丹;;基于子空间跟踪的自适应多用户检测方法[A];第七届青年学术会议论文集[C];2005年
9 齐娜;;传声器阵列的宽带自适应恒定束宽波束形成方法[A];2005年声频工程学术交流会论文集[C];2005年
10 罗z,
本文编号:1733644
本文链接:https://www.wllwen.com/kejilunwen/jisuanjikexuelunwen/1733644.html