搜索筛选:
搜索耗时0.0319秒,为你在为你在23,761,000篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘泓漫,郝忠孝,
来源：哈尔滨理工大学学报 年份：2004
针对触发图中有环时，在实际运行中仅执行有限次，该规则集可能是可终止的，通过对规则集的静态分析，提出了联合公式的概念，给出了判定联合公式是否满足条件的算法和时间复杂度分析，联......
相关搜索：
