论文部分内容阅读
近年以来,以物联网技术为依托的智能家居服务受到了越来越多的广泛应用。不仅可以提供信息交流的途径,还可以培养人们良好的生活习惯,有效的节约时间与资源。在智能家居中,用户是通过订阅、执行场景来享受智能家居所带来的舒适与便捷。但是随着场景中规则的不断增多以及规则内容之间的复杂度的增大,在执行规则的过程中可能会发生许多冲突。为了解决这个问题,本文研究和设计了一种规则冲突避免和冲突检测的方法。 首先,基于场景设计了规则冲突避免方法,在制定场景时,我们将规则按照不同的功能分成五类(安全管理类、娱乐管理类、环境管理类、能量管理类和警报管理类),并且赋予不同的优先级。在为场景添加规则时根据所属的功能不同,为规则选择不同的优先级。在执行时如果不同类型的规则之间发生了冲突,那么可以根据优先级进行冲突避免。 对同一场景中同类型的规则,首先将用户、触发器、环境实体和执行器这四个部分从每条规则中抽取出来,建立UTEA(User_Trigger_Environment_Actuator)形式化的模型;进而定义了11种规则之间的关系,并且通过分析这些关系归纳出了5种冲突类型,最后设计了冲突检测算法。基于UTEA形式化模型检测同一场景中存在的冲突,不仅能处理一些控制设备的冲突,而且还能够检测出环境实体之间可能发生的冲突。 基于场景优先级的冲突避免方法能够在场景执行时有效的发现冲突,进而进行冲突避免;基于UTEA模型的冲突检测方法不仅能够判断出两两规则之间的冲突,而且能够检测出多个规则之间的冲突,提升系统执行效率,具有高扩展性和高移植性。本文提出的方法已经应用于智能家居实际系统中,经过长期实验观察发现该方法能够高效的检测出规则冲突并且有效的进行冲突避免。