随着规则引擎技术在防护工程智能化系统中的快速应用,迫切需要解决不同联动规则之间的潜在冲突,以确保系统的高可靠运行。为此,提出一种基于统计模型检验技术的规则冲突检测方法。首先,系统分析了不同规则之间的冲突,以及规则与系统不...随着规则引擎技术在防护工程智能化系统中的快速应用,迫切需要解决不同联动规则之间的潜在冲突,以确保系统的高可靠运行。为此,提出一种基于统计模型检验技术的规则冲突检测方法。首先,系统分析了不同规则之间的冲突,以及规则与系统不变式约束之间的冲突,定义了规则冲突的类型;其次,提出用价格时间自动机网络(network of priced timed automata,NPTA)模型描述系统联动规则、动态触发源和执行器,并用时序逻辑规约描述规则冲突;再次,提出基于上述形式化模型和规约,利用统计模型检验技术开展冲突检测。最后,以某典型防护工程智能化系统为例开展案例研究,验证该方法的有效性。展开更多
文摘随着规则引擎技术在防护工程智能化系统中的快速应用,迫切需要解决不同联动规则之间的潜在冲突,以确保系统的高可靠运行。为此,提出一种基于统计模型检验技术的规则冲突检测方法。首先,系统分析了不同规则之间的冲突,以及规则与系统不变式约束之间的冲突,定义了规则冲突的类型;其次,提出用价格时间自动机网络(network of priced timed automata,NPTA)模型描述系统联动规则、动态触发源和执行器,并用时序逻辑规约描述规则冲突;再次,提出基于上述形式化模型和规约,利用统计模型检验技术开展冲突检测。最后,以某典型防护工程智能化系统为例开展案例研究,验证该方法的有效性。
