陈小康
- 作品数：6 被引量：3H指数：1
- 供职机构：南京大学计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术更多>>
- 环境上下文一致性错误的可靠修复技术
- 在普适计算中，上下文持续快速变化，上下文感知应用根据上下文的变化自动调整自身的状态和行为以作出适应。然而，由于不可预测的环境噪声和动态变化等诸多因素的影响，很容易造成上下文一致性错误。不幸的是，上下文一致性错误会导致上下...
- 陈小康
- 关键词：普适计算时间开销
- Hybrid-fixing:上下文一致性错误的正确修复
- 在普适计算中,上下文持续快速变化,上下文感知的应用根据上下文变化自动调整自身的行为以作出适应.然而,由于不可预测和控制的环境噪声以及环境动态变化等诸多因素的影响,环境上下文很容易发生一致性错误,从而导致应用表现异常甚至失...
- 陈小康许畅江磊
- 关键词：软件工程普适计算环境信息
- 文献传递
- 基于搜索的上下文一致性错误处理
- 2014年
- 近年来,随着智能设备的普及和传感技术的发展,上下文感知程序的应用越来越广泛。但是由于环境噪声难以预测和控制,程序所获得的上下文经常存在一致性错误。处理这类错误的方法很多,但大都忽视了两方面的问题:1)不同一致性约束之间存在相互干扰;2)处理这类错误的操作本身可能对程序的正常运行造成负面影响。以处理这两方面的问题为目标,提出了一种新的基于搜索的上下文一致性错误处理方法,亦即既设计出一个搜索空间来查找避免约束间相互干扰和对程序产生负面影响的解,又采用了一种增量式评估方案来加速搜索的效率。经实验评估,新方法能够在很短的时间内达到非常接近最优解的效果。
- 江磊许畅陈小康
- 关键词：副作用普适计算
- 非一致上下文的自动修复技术被引量：2
- 2013年
- 在普适计算中,上下文持续快速变化,上下文感知的应用根据上下文变化自动调整自身的行为以适应这种变化。然而,由于不可预测的环境噪声和动态变化等诸多因素的影响,很容易造成上下文不一致。非一致上下文会导致应用异常,甚至失败。为了解决这个问题,提出了一种自动修复上下文的新技术。它分为两个阶段:生成抽象修复用例;执行用例,以验证上下文不一致性是否已经修复。从用户的实际需要出发,生成的修复用例可以分别满足完整性或正确性。实验结果表明,这种技术在修复成功率上远远超过其他技术。
- 陈小康许畅江磊
- 关键词：普适计算
- Hybrid-Fixing:上下文一致性错误的正确修复被引量：1
- 2015年
- 在普适计算中,上下文持续快速变化,上下文感知应用根据上下文变化自动调整自身的行为以作出适应.然而,由于不可预测和控制的环境噪声以及环境动态变化等诸多因素的影响,环境上下文会发生一致性错误,从而导致应用表现异常甚至失效.为了解决这些问题,上下文一致性错误需要被自动并正确地修复,现基于已有工作提出了一项新的修复技术hybrid-fixing,它结合了对一致性约束的静态分析和修复动作的动态产生,即使一致性约束内部存在复杂依赖关系,也能确保所生成的修复用例必然正确.实验结果表明,这项修复技术大幅提高了一致性约束内部存在复杂依赖关系下一致性错误修复的成功率,并只花费了很小的时间开销.
- 陈小康许畅江磊
- 关键词：普适计算上下文
- 非一致上下文的自动修复技术
- 在普适计算中，上下文持续快速变化，上下文感知的应用根据上下文变化自动调整自身的行为以作出适应。然而，由于不可预测的环境噪声和动态变化等诸多因素的影响，很容易造成上下文的不一致。非一致上下文会导致应用的异常甚至失败。为了解...
- 陈小康许畅江磊
- 关键词：普适计算
- 文献传递
