【技术实现步骤摘要】
物联网设备调度冲突检测方法及系统
本专利技术涉及物联网
，具体涉及物联网设备调度冲突检测方法及系统。
技术介绍
市场上已经出现了各种物联网系统，它们由事件驱动的智能应用程序控制，这些应用程序将感应数据、用户输入或其他来自互联网的外部触发器作为输入，并通过执行器指挥一个或多个智能设备提供不同形式的自动化。如今互联智能设备的数量正在急剧增加，从2010年的125亿台到今年的500亿台。预计在2025年，全球范围内将达到754.4亿台。为了应对这一趋势，在过去几年中，各公司开始向普通消费者推销智能设备，为大众市场的普适计算创造了动力。因此，长期以来在学术文献中讨论的给终端用户提供工具对环境进行编程的想法，现在正在为更多的人提供可能。它们通常采用"IFtrigger，THENaction"的形式，如"IF温度超过25摄氏度，THEN打开空调"，这被称为触发动作编程(TAP)，很多平台都支持TAP，如IFTTT、苹果的Homekit和亚马逊的Alexa。遗憾的是，这些平台并没有提出措施来保障物联网不同服务间的一致...
【技术保护点】
1.一种物联网设备调度冲突检测方法，其特征在于，具体步骤包括：/n获取设备模型数据，其中所述设备模型包括设备自动机和设备注册表；/n根据所述设备模型数据，将设备调度指令转换成条件指令；/n根据历史数据中设备调度冲突确定调度冲突规则；/n基于所述调度冲突规则检测所述条件指令是否为冲突状态；/n若为冲突状态，进行第一冲突消解；若为未冲突状态或冲突消解后执行二次检测；/n所述二次检测将条件指令转换成SMT公式，并将所述SMT公式输入SMT求解器进行检测，判断是否为冲突状态；/n若为冲突状态，进行第二冲突消解；若为未冲突状态或冲突消解后执行所述条件指令。/n
【技术特征摘要】
1.一种物联网设备调度冲突检测方法，其特征在于，具体步骤包括：
获取设备模型数据，其中所述设备模型包括设备自动机和设备注册表；
根据所述设备模型数据，将设备调度指令转换成条件指令；
根据历史数据中设备调度冲突确定调度冲突规则；
基于所述调度冲突规则检测所述条件指令是否为冲突状态；
若为冲突状态，进行第一冲突消解；若为未冲突状态或冲突消解后执行二次检测；
所述二次检测将条件指令转换成SMT公式，并将所述SMT公式输入SMT求解器进行检测，判断是否为冲突状态；
若为冲突状态，进行第二冲突消解；若为未冲突状态或冲突消解后执行所述条件指令。
2.根据权利要求1所述的一种物联网设备调度冲突检测方法，其特征在于，所述设备调度指令转换成条件指令具体步骤包括：
从设备注册表中获取物联网设备的待执行操作语句；
根据所述待执行操作语句确定API；
通过所述设备自动机确定所述API的待触发状态语句；所述待触发状态语句替换所述待执行语句；
得到条件指令。
3.根据权利要求1所述的一种物联网设备调度冲突检测方法，其特征在于，所述调度冲突规则包括：两条条件指令之间存在至少三种冲突；
结果状态冲突：相同触发条件，不同待执行状态；
条件结果倒置冲突：两条条件指令触发条件和待执行状态位置互换；
状态覆盖冲突：其中一条条件指令的触发条件涵盖另一条件指令的触发条件范围，但有不同的待执行状态。
4.根据权利要求3所述的一种物联网设备调度冲突检测方法，其特征在于，基于所述调度冲突规则检测所述条件指令是否为冲突状态具体步骤如下：
对于任意两条条件指令，首先通过文字对比检测触发条件是否相同；如果相同，再检测待执行状态是否是同一设备的不同状态，如果是，则结果状态冲突，返回真并输出冲突的条件指令；
其次，检测其中一条条件指令的触发条件是否为另一条条件指令的待执行操作，同时检测待执行操作是否为另一条条件指令的触发条件，如果是，则条件结果倒置冲突，返回真并输出冲突的条件指令；
最后，首先检测两条条件指令的触发条件是否可能同时发生，如果可能，再检测待执行操作是否是同一设备的不同状态，如果是，则发生了状态覆盖冲突，返回真并输出冲突的条件指令；
如果上述三步都没有发现冲突，则根据规则检测不出冲突，返回假，算法结束。
5.根据权利要求3所述的一种物联网设备调度冲突检测方法，其特征在于，所述二次检测具体步骤如下：
将条件指令转换成SMT公式，并输入SMT求解器；
输...
【专利技术属性】
技术研发人员：金芝，陈小红，边寒，
申请(专利权)人：北京大学，华东师范大学，
类型：发明
国别省市：北京;11
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。