作者：刘泓漫; 郝忠孝联合公式非循环执行路径触发图规则集主动数据库
摘要：针对触发图中有环时，在实际运行中仅执行有限次，该规则集可能是可终止的，通过对规则集的静态分析，提出了联合公式的概念，给出了判定联合公式是否满足条件的算法和时间复杂度分析，联合公式的提出，简化了非循环路径的判定工作，为判定主动规则触发图为有环时的可终止性奠定了基础。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《哈尔滨理工大学学报》（CN：23-1404/N）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《哈尔滨理工大学学报》为中文优秀期刊（2008版）；中国科技优秀期刊(优秀板)；此外，还被美国《化学文摘》（CA）、美国《乌利希期刊指南》（Ulrich P D）、《中国数学文摘》、中国期刊网、万方数据——数字化期刊网等十余种检索数据库和文摘刊物收录和摘引。获奖情况：获国家教育部期刊评比三等奖。
省级期刊
人气 238531 评论 36
人气 154224 评论 33
人气 151901 评论 53
人气 123135 评论 54
