环境上下文一致性错误的可靠修复技术

发布时间：2017-11-20 15:39

  本文关键词：环境上下文一致性错误的可靠修复技术

  更多相关文章： 普适计算 上下文感知应用 上下文一致性错误 修复

【摘要】：在普适计算中,上下文持续快速变化,上下文感知应用根据上下文的变化自动调整自身的状态和行为以作出适应。然而,由于不可预测的环境噪声和动态变化等诸多因素的影响,很容易造成上下文一致性错误。不幸的是,上下文一致性错误会导致上下文感知应用表现异常甚至失效。因此需要对上下文一致性错误进行自动修复。但已有的方法,有的做了太强的假设而无法满足现实中要求。有的基于各种启发式的方法来选择删除可疑的上下文,但正确性是难以保证的。有的需要人的干预而不能自动修复。总之,现有的技术不能很好的解决这个问题。为了解决这个问题,本文在一整套形式化的定义和严密的逻辑推导的基础上循序渐进地提出了三种自动修复上下文一致性错误的新技术,用以满足不同的需求。这三种修复技术分别是完整修复(complete-fixing)、保守修复(conservative-fixing)和混合修复(hybrid-fixing)。这些修复基本上分为以下三个阶段：(1)检测上下文一致性错误；(2)生成抽象修复用例；(3)具体执行以验证上下文一致错误是否已经修复。其中complete-fixing技术能够保证修复的完整性,但必须以时间效率和空间效率为代价。conservative-fixing技术在公式内部存在简单依赖关系的情况下,对共享元素加锁来保证修复的正确性。这种技术在时间效率上有了一定的提高,但在一定程度上损失了一些修复能力。hybrid-fixing技术结合了对一致性约束的静态分析和修复动作的动态产生,即使在一致性约束内部存在复杂依赖关系的情况下,也能确保所生成的修复用例必然正确。令人满意的是,这项修复技术在显著提高修复成功率的同时,并只花费了很小的时间开销。最后通过模拟实验和真实的场景,我们发现：第一,我们的技术具有有用性,能够解决一些现实的问题；第二,我们的技术具有很好的拓展性,只需要极少的工作量就可以拓展解决一些相关的问题；第三,我们的技术具有很好的灵活性,可以与相关技术——如partial constraint checking技术——进行有效的结合。总而言之,我们的技术相对与已有的技术在综合考虑修复能力、修复正确性和时间效率上都有很大优势。
【学位授予单位】：南京大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP38

【相似文献】

中国期刊全文数据库 前10条

1 张玉琦,洪晓光,王海洋;一致性约束在多版本数据库中的实现方法[J];计算机工程与应用;2000年06期

2 李沅;李凯;;基于一致性约束的图像匹配算法[J];化学工程与装备;2008年11期

3 梁浩;王明哲;;系统体系结构设计的一致性约束和检验[J];兵工自动化;2006年06期

4 王浩;范启富;;一类基于iSIGHT的多学科优化方法研究[J];微计算机信息;2009年34期

5 赵越;汪世敏;王娟;;基于灭点径向一致性约束的摄像机内参数求解[J];机械工程师;2009年08期

6 朱安民;陈燕明;;基于特征点一致性约束的实时目标跟踪算法[J];深圳大学学报(理工版);2013年03期

7 刘天亮;金飞逸;罗立民;;基于特征单应矩阵的双目摄像机系统贪婪标定方法(英文)[J];Journal of Southeast University(English Edition);2009年02期

8 周敬利,罗秋明,余胜生;使用视差一致性约束的立体匹配与遮掩检测[J];小型微型计算机系统;2003年10期

9 姜伟;杨炳儒;隋海峰;;自适应半监督边界费舍尔分析[J];计算机科学;2011年03期

10 刘蓉;陈晓红;;新的大群体一致性学习修正决策方法[J];系统工程与电子技术;2008年05期

中国重要会议论文全文数据库 前1条

1 陈明;王树鹏;云晓春;吴广君;;基于二维云模型过滤的重复图像发现[A];2013年全国通信软件学术会议论文集[C];2013年

中国硕士学位论文全文数据库 前1条

1 陈小康;环境上下文一致性错误的可靠修复技术[D];南京大学;2014年

，

本文编号：1207673