【摘 要】
：
为分析安卓应用回调函数的时序调用关系,提出一种全局、细粒度的回调函数建模方法,涵盖对生命周期、非生命周期及不同类型组件间的回调函数处理,关注回调序列上的注册对象定
【机 构】
：
国网天津市电力公司电力科学研究院,南开大学计算机与控制工程学院
【基金项目】
：
天津市自然科学基金重点基金项目(17JCZDJC30700)
论文部分内容阅读
为分析安卓应用回调函数的时序调用关系,提出一种全局、细粒度的回调函数建模方法,涵盖对生命周期、非生命周期及不同类型组件间的回调函数处理,关注回调序列上的注册对象定义及操作。利用模型检测语言NuSMV表征生成的回调序列,LTL(linear temporal logic)表示目标验证属性,得以自动化地验证应用缺陷。通过设计一个移动应用回调排序原型系统SQDroid,并将该系统应用在数据竞争缺陷检测上,验证了该方法的有效性。
其他文献
针对非线性动力学行为的特点,利用计算机仿真技术,应用数学微分方程理论以及Matlab软件对超混沌类Lorenz系统的非线性动力学行为及其计算机仿真情况展开具体分析与探索,包括L
目的：探索诺和龙治疗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种重金属元素的含量,将其与其他城
在私法上,人身自由权作为一项基本的民事权利,在本质上属于防御权,保护着主体人格利益的完整性不受侵犯。但是,在现行法律体系中,关于人身自由权的保护主要体现在公法的规范