论文部分内容阅读
提出一种基于进化图的规则终止性静态分析的方法,全面考虑了触发图、活化图和惰化图.这种基于进化图的分析方法比传统基于图的分析方法分析更为精确,之后提出了规则终止性分析算法并证明了其正确性.
主动数据库的规则终止性分析
【摘 要】
：
提出一种基于进化图的规则终止性静态分析的方法,全面考虑了触发图、活化图和惰化图.这种基于进化图的分析方法比传统基于图的分析方法分析更为精确,之后提出了规则终止性分
【机 构】
：
齐齐哈尔大学信息科学与电气工程系
【出 处】
：
齐齐哈尔大学学报：自然科学版
【发表日期】
：
2004年3期
【基金项目】
：
黑龙江省自然科学基金
其他文献
一、科学发展观指导下的体育教育人才培养的基本点是实事求是体育教育专业的存在和发展是客观需要的产物，它的一切活动，都与经济发展、社会进步休戚相关。体育教育人才的培养，必
VR(Virtual Reality)技术在现阶段的各领域得到广泛应用,通过对虚拟现实系统的分析,结合核动力设备的装配工艺过程的实现特点总结出一套切实可行的实现虚拟装配方案.方案总体
选择自制的吸水树脂丙烯酸/丙烯酰胺共聚物(P(AA-AM))与氯化聚乙烯(CPE)为共混原料,以CPE-g-PEG两亲性接枝共聚物为增容剂,机械共混制备了增容型吸水膨胀弹性体(WSE).对共混
将花生藤晾干后粉碎制成颗粒对繁殖獭兔进行饲喂试验,试验期60d,从繁殖獭兔妊娠至仔兔断奶。试验分6个组,对照组Ⅰ只喂基础日粮,试验Ⅱ、Ⅲ、Ⅳ、Ⅴ组分别添加20%、25%、30%
图案作为一门学科是各艺术类专业（美术类）必修的一门基础课：作为知识的产物，是人们物质生活与文化生活两者相结合的一种美术形式，始终贯穿着“用”与“美”的两重性。随着社会的进
2017年全国热处理行业厂长经理大会暨服务型制造高峰论坛定于9月22-25日在福建省厦门市召开。全国热处理行业厂长经理大会是热处理行业的年度盛会,已成为同行业及相关行业同
数控技术作为先进制造技术的重要组成部分,已经在制造业被广泛地应用."CAXA制造工程师"是目前在国内使用率最高、服务最好、全中文界面的国产数控铣削自动编程软件,它特别有
在一定配方和相应的工艺条件下,研究了脱硫温度对再生胶硬度、拉伸强度、拉断伸长率的影响,再将生产出的硬度为40邵尔A的再生胶与天然胶并用,研究了再生胶用量对胶料硬度、拉
本文通过长丰县楼西村新农村建设农民意愿调查的典型个案分析，探讨了安徽省江淮分水岭地区新农村建设的任务及其重点任务的排序、建设的难点及其突破途径选择，为江淮分水岭推进