技术特征：
技术总结
本发明提供一种多核实时规则推理方法，适用于RETE网络，所述RETE网络包括α网络和β网络，其中所述α网络由α节点组成，且一个α节点对应条件元素Ci的一个约束；所述β网络由β节点组成，且一个β节点表示不同条件元素的逻辑组合。该方法利用多核处理器的特点，将α网络和β网络对应不同线程，并分配在不同核上执行，α网络和β网络的多个线程间通过一个β激活队列Q和β节点的实例队列共同完成通信，有效提高了规则匹配的并发性与效率。并且该方法按照β节点优先级来选择被处理的β节点，优先级越大，越优先占用处理器，可以使得规则截止期短的规则优先被处理，从而提高了规则推理的实时性。
技术研发人员：乔颖;徐超;王宏安
受保护的技术使用者：中国科学院软件研究所
技术研发日：2017.05.04
技术公布日：2017.09.08