【摘 要】
：
由于智能手机电池容量有限,应用程序的功耗是其主要消耗之一,因为应用程序可能会产生意外功耗或能源错误,其中大多数是设计错误.为分析应用程序功耗和通信流量特性,提出使用
【机 构】
：
常州大学 计算机与人工智能学院 常州 213164
论文部分内容阅读
由于智能手机电池容量有限,应用程序的功耗是其主要消耗之一,因为应用程序可能会产生意外功耗或能源错误,其中大多数是设计错误.为分析应用程序功耗和通信流量特性,提出使用基于模型检测的功耗流量分析方法.把手机各硬件组件作为研究对象,对时间自动机模型进行扩展,使用模型检测工具UPPAAL构建模型.该方法可以在开发的早期阶段使用,为应用程序的设计和分析提供了异步功耗的形式化模型.设计WiFi省电模式实例进行研究分析,验证分析该模型的主要属性,然后用手机应用QQ进行了实验对比.分析结果表明,该模型符合一般模型验证需求,与PowerTutor的测量结果相比,其相对误差均低于7％,能为复杂手机系统提供可参考的建模分析思路.
其他文献
针对软件网络的高复杂性,以往基于度分布的结构熵只基于单一节点结构特性进行复杂性度量,对于度分布相同而结构不同的网络无法准确测量,为有效地度量大型软件网络的复杂性,设
L-N总线是研发自主智能建筑电气监控技术的成功尝试.针对L-N系统的有线布网特性,为解决监控系统后期应用终端的可扩展性,为L-N监控节点设计ZigBee无线通信子网,在监控系统底
为了解决现有DSP在线升级技术频繁升级失败及在线升级技术在四核DSP芯片上的应用问题,针对某国产四核DSP,应用RS422串口通信协议,设计了基于HPI总线和SDP协议的两种的在线升
研究利用AR技术对现实世界距离进行测量,提出搭载激光雷达扫描仪的移动设备AR测量方案,创新性的结合激光即时定位与地图构建(SLAM)技术,并基于ARKit工具包构建增强现实测量应用。应用在搭载激光雷达扫描仪的iPad Pro上测试运行,并分别在水平平面、垂直平面和空间任意点等场景中进行测量实验,实验结果表明,测量距离相对误差接近1.5%,达到测量应用的精度要求,并高于同类测量应用。因此,搭载激光雷
基于无线局域网络(WLAN)的定位是当前室内定位领域的主流技术之一.提出一种基于变分自编码器的WLAN定位方法,具备定位通路和接受信号强度(RSS)信号指纹重构通路,使得该方法既
心率变异性分析能够在情感识别中发挥重要作用,为了建立心电与情感类别之间的精准模型,提出了基于最大信息系数(maximal information coefficient,MIC)的特征选择方法.使用Au
针对无人机多传感器数据决策时存在的数据可靠性不足以及资源浪费的问题,提出一种基于BP神经网络的无人机惯性测量单元(IMU)多传感器冗余的补偿算法。将低精度的IMU传感器数据输入到BP神经网络,利用BP神经网络的非线性拟合能力,补偿低精度IMU数据的误差,然后利用基于置信度的数据仲裁算法对多个较高精度数据进行仲裁,输出经过数据融合后的传感器数据,此过程还可以进行传感器故障判断和定位。通过改变同类型传
针对罗兰-C信号幅度、二次相位延迟和形变等重要参数与地面电参数和地形起伏密切相关,设计开发了基于复杂地形下的罗兰-C信号模拟器.通过采用积分方程方法计算出不同频点下的
液晶屏电子仪表因其示数精确,抗干扰能力强的特性,逐渐取代了指针式仪表,在工业生产中得到了广泛的应用。针对液晶屏的自身的显示特性和显示原理,提出一种利用信息熵进行自适应彩色形态学预处理且基于HSV空间和色调映射V通道增强液晶屏区域分割方法,并结合了双通道图像加权融合的区域图像增强算法研究,实现液晶屏位置区域的分割。对多种液晶屏图像的分割实验的结果表明,较之传统液晶屏分割方案,该方法对单色液晶屏的分割
在语文教学中,阅读与写作紧密结合,阅读离不开写作,写作离不开阅读。辅之相应的活动,如展开读书会、作文比赛,考试试题的设计等,使阅读与写作双翼齐飞,从而提高了学生的阅读