公开(公告)号：CN103870562B

公开(公告)日：2017-04-19

申请号：CN201410081701.2

申请日：2014-03-06

Applicant: 北京邮电大学

Inventor： 孙岩 ,  王若思 ,  罗红

IPC: G06F17/30 ,  G06F17/50

Abstract: 本发明公开了一种智能楼宇系统中的规则验证方法，对新建规则进行新建规则验证，确定存在潜在冲突时，获得所述潜在冲突的解决方案；确定所述新建规则的执行条件满足时，对所述新建规则进行执行规则验证，确定存在设备冲突和/或环境冲突时，获得相应的解决方案。本发明还公开了一种智能楼宇系统中的规则验证系统。

公开(公告)号：CN103870562A

公开(公告)日：2014-06-18

申请号：CN201410081701.2

申请日：2014-03-06

Applicant: 北京邮电大学

Inventor： 孙岩 ,  王若思 ,  罗红

IPC: G06F17/30 ,  G06F17/50

CPC classification number: G06F17/30522

Abstract: 本发明公开了一种智能楼宇系统中的规则验证方法，对新建规则进行新建规则验证，确定存在潜在冲突时，获得所述潜在冲突的解决方案；确定所述新建规则的执行条件满足时，对所述新建规则进行执行规则验证，确定存在设备冲突和/或环境冲突时，获得相应的解决方案。本发明还公开了一种智能楼宇系统中的规则验证系统。