【摘 要】
：
为分析智能家居网关协议转换过程中的能量消耗情况,利用符号执行对路径敏感的特性,提出一种基于符号执行的协议级能耗分析模型。用符号执行将协议转换部分的不可达路径排除,
【机 构】
：
四川师范大学计算机科学学院,四川工商职业技术学院经济与管理系
【基金项目】
：
国家自然科学基金面上基金项目(61373162、61373163),国家自然科学青年科学基金项目(61701331),国家科技支撑计划基金项目(2014BAH11F01、2014BAH11F02),四川省科技支撑计划基金项目(2015GZ0079)
论文部分内容阅读
为分析智能家居网关协议转换过程中的能量消耗情况,利用符号执行对路径敏感的特性,提出一种基于符号执行的协议级能耗分析模型。用符号执行将协议转换部分的不可达路径排除,用指令级能耗分析模型对家居网关协议层级的能耗进行分析。在STM32F103硬件平台上,对Modbus/TCP和Modbus/RTU协议进行转换,实验结果表明,该模型计算得到的能耗与实际测量的能耗误差在4.9%左右,能够较准确评估家居网关在协议级的能量消耗,为智能家居网关的低功耗设计提供指导。
其他文献
目的：探索诺和龙治疗2型糖尿病的疗效。方法：40例2型糖尿病患者在常规治疗基础上，给予诺和龙每次0．5～2．0mg，每日3次，餐前服用，观察12周。结果：空腹血糖治疗前9．9±3．5mmol／L，明显高于治
本文适当变换梯形明渠水力计算公式,同时建立水利计算的2种数学模型,同时进行编程计算(Matlab数学软件),计算结果显示该法可以对图表不依赖,计算方便快捷,且具有较高的精度,可以实际参考应用于工程中。
关键词 先天性 致畸因素 胎儿 doi:10.3969/j.issn.1007-614x.2009.20.124 先天性畸形包含两个方面:一是指婴儿出生前,在母孕期发育紊乱引起的形态、结构、功能、代谢、精神、行为等方面的异常。形态结构异常表现为无脑儿、脊柱裂、兔唇、四肢异常等;生理功能和代谢缺陷常常导致先天性智力低下,以及聋哑、致盲等异常;二是指婴儿出生后表现为肉眼可看见,或者辅助技术诊断
患儿，男，6岁，既往体检，于2007年10月1日下午6：00左右出现脐周腹痛，伴发热，恶心无腹泻，无其他临床表现和诱因，经当地村医注射阿托品0．5mg疼痛缓解，于2日凌晨3：00左右再次出现发热腹痛，村医
本文以处理图像去噪为例进行阐述,分别从偏微分方程数字图像处理的概念入手,通过分析研究偏微分方程的数字图像去噪的发展历程、优点、方法,得出了基于偏微分方程的数字图像处理技术更加先进和适用于现代图像处理,同时也拓宽了图像处理的算法。
随着我国新课程改进的不断深入,中学体育教学方法的创新研究成为教师教学的重点。并且提出兴趣是重要的心理和情感支持,可以在极大程度上激发学生积极参加体育锻炼。通过在初
本文主要针对于电气工程与自动化控制技术在供电系统中的应用进行分析,通过分析电气自动化存在的弊端,提出了未来电气工程自动化控制技术的主要发展策略。希望能够通过本文的分析帮助我国电气工程与自动化控制技术水平在供电系统方面得到更好的发展与提升。
采用3S技术相结合的方法在西安二环内采集城市表层土壤样品78个,利用X-Ray荧光分析仪(XRF)测定土壤样品中Co、Cr、Cu、Mn、Ni、Pb、Zn、V等8种重金属元素的含量,将其与其他城
在私法上,人身自由权作为一项基本的民事权利,在本质上属于防御权,保护着主体人格利益的完整性不受侵犯。但是,在现行法律体系中,关于人身自由权的保护主要体现在公法的规范
为分析安卓应用回调函数的时序调用关系,提出一种全局、细粒度的回调函数建模方法,涵盖对生命周期、非生命周期及不同类型组件间的回调函数处理,关注回调序列上的注册对象定