【摘 要】
：
在普适计算中,上下文持续快速变化,上下文感知的应用根据上下文变化自动调整自身的行为以作出适应.然而,由于不可预测和控制的环境噪声以及环境动态变化等诸多因素的影响,环
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京市中国210023;南京大学计算机科学与技术系,南京市中国210023
【出 处】
：
第十二届全国软件与应用学术会议(NASAC2012)
论文部分内容阅读
在普适计算中,上下文持续快速变化,上下文感知的应用根据上下文变化自动调整自身的行为以作出适应.然而,由于不可预测和控制的环境噪声以及环境动态变化等诸多因素的影响,环境上下文很容易发生一致性错误,从而导致应用表现异常甚至失效.为了解决这个问题,上下文一致性错误需要被自动并正确地修复,本文基于已有工作提出了一项新的修复技术Hybrid-fixing,它结合了对一致性约束的静态分析和修复动作的动态产生,以确保所生成的修复用例必然正确,即便一致性约束内部存在复杂的依赖关系.实验结果表明,这项修复技术大幅提高了复杂约束依赖关系下一致性错误修复的成功率,并只花费了很小的时间开销.
其他文献
本文对水泵水轮机非同步导叶流道内流动状态以及压力脉动进行数值分析.借助CFD软件CFX对非同步导叶投入使用的模型水泵水轮机全流道进行数值计算;计算选用SST k-ω模型完成定
本文以刚果布拉柴维尔吉利水厂二期建筑方案设计为个案,分析热带雨林气候建筑特点,针对其地址条件功能需要及建筑风格提出设计方案.论述本土化设计才能实现建筑的可持续发展.
N型插指背结背接触太阳能电池(IBC,Interdigitated Back-contact SolarCells)具有超过20％的光电转化效率,因此得到了光伏研究领域的极高关注.针对IBC电池制备工艺中出现的短路
采用TCAD软件研究了IBC电池的P型发射区表面的电极的覆盖率(p-MCR)对于电池性能的影响.增加p-MCR可以提升IBC电池的填充因子(FF),但电池的开路电压(Voc)却相应降低,而对于短
抽水蓄能机组瞬态特性对电站乃至电网的安全运行至关重要,本文建立了某抽蓄电站包括引水系统、调压井、水泵水轮机组与尾水等部件的全过流系统几何模型,联合单相流和VOF两相
我国的抽水蓄能电站有向高水头和大容量发展的趋势,可逆式转轮的设计要兼顾水轮机和水泵两种运行特性,由于高水头水泵水轮机转轮的形状接近离心泵,且叶片安放角分布规律对水
Ad Hoc网络的对等体系结构和节点资源受限使得其比传统网络面临更多的安全威胁.近年来,恶意程序研究已成为国际上网络安全和信息安全领域最前沿和最活跃的研究方向之一,无线
充电设施的规划与建设是解决电动汽车发展问题的重要方面.电动汽车在公共交通领域发展迅速,并广泛采用换电模式.本文在充分考虑了电动公交汽车换电电量需求和充换电行为后提
本文首先阐述了新一代智能变电站中继电保护故障记录信息流方案,指出了继电保护故障可视化分析的应用方式.同时分析了电力系统图形描述规范(G语言)表达图形的方法,并对继电保
电网的无功规划和电压无功优化控制能降低电网损耗、提高电压质量.目前配电网的电压无功治理还处在初级阶段,配网的无功规划和电压无功控制技术研究还不够成熟.论文针对配电