基于规则推理的实时信息物理监控系统  

Real-Time Cyber-Physical Monitoring and Control System Based on Rule Inference

作　　者：彭程 乔颖[1] 王宏安[1] PENG Cheng;QIAO Ying;WANG Hong-An(Institute of Software,Chinese Academy of Sciences,Beijing 100190,China;University of Chinese Academy of Sciences,Beijing 100049,China)

机构地区：[1]中国科学院软件研究所,北京100190 [2]中国科学院大学,北京100049

出　　处：《计算机系统应用》2020年第7期70-81,共12页Computer Systems & Applications

基　　金：国家重点研发计划(2018YFB0904505);北京市科委项目(KJY20190971)。

摘　　要：基于规则的CPS监控方法在降低监控复杂度和提升监控灵活性等方面具有显著优势.目前基于规则的CPS监控方法未考虑CPS监控场景的时间约束,仅仅利用各种优化技术来缩短监控的响应时间.为此,本文基于实时规则引擎建立了一个CPS的实时监控系统RTCPMS.该系统采用Rete网络表示监控规则,其核心是一个新的实时推理算法Rete-TC.Rete-TC算法引入了规则截止期,通过基于优先级的Beta节点调度方法,使得CPS监控的时间约束尽可能地被满足.模拟实验与智慧建筑应用案例验证了RTCPMS系统的有效性,且实验结果表明其核心算法Rete-TC的调度成功率优于传统的规则推理算法Rete.Rule-based CPS monitoring methods have significant advantages in reducing monitoring complexity and improving monitoring flexibility.Currently,rule-based CPS monitoring methods do not consider the timing constraints of CPS monitoring scenarios,and only use various optimization techniques to shorten the response time.Based on the realtime rule engine,a real-time monitoring system of CPS,RTCPMS,is established.The system uses Rete network to represent the monitoring rules,and its core is a new real-time inference algorithm Rete-TC.The Rete-TC algorithm introduces the rule deadline,and the timing constraints of CPS monitoring is satisfied as much as possible by the prioritybased Beta node scheduling method.The simulation experiment and smart building application case verify the effectiveness of the RTCPMS,and the experimental results show that the core algorithm Rete-TC has a better scheduling success ratio than the traditional rule inference algorithm Rete.

关 键 词：监控系统 规则推理 RETE 时间约束 信息物理系统 

分 类 号：TP277[自动化与计算机技术—检测技术与自动化装置]