论文部分内容阅读
指出基于触发图和活化图主动规则终止性分析算法的，错误，提出触发可达和触发可达集，并在此基础上对原算法进行修正。
主动规则执行终止性分析算法的修正
【摘 要】
：
指出基于触发图和活化图主动规则终止性分析算法的，错误，提出触发可达和触发可达集，并在此基础上对原算法进行修正。
【机 构】
：
吉林大学计算机科学系
【出 处】
：
吉林大学自然科学学报
【发表日期】
：
2000年2期
【基金项目】
：
国家自然科学基金!(批准号 :69673 0 15 )
其他文献
采用扫描电子显微镜和背散射电子取向成像技术分析研究了低压电解电容器用阳极铝箔的腐蚀结构、晶粒尺寸和晶界分布对比电容的影响及相关机理.结果表明,在铝箔的晶界附近,尤
为了研究液态Cu和Al的短程有序结构,建立了液态微观结构的纳米晶粒模型.根据这个模型,从晶体X射线衍射学的角度出发,通过对一定晶格结构的固态Cu和Al衍射峰进行宽化处理,计算
提出了中频热推弯管工艺加热温度与推制速度两个工艺参数自动控制方案.该方案采用两个单片机协同完成管坯推制成形过程中,感应加热温度检测和中频电源整流逆变控制;用一个单
水热条件下，制得了ZnHPO4单晶．对其进行了粉末X射线衍射分析、红外光谱、元素分析和单晶X射线衍射分析．单晶结构分析结果表明，该晶体属于单斜晶系，P2（1）／c间群，a=0．46251（14）nm，b=1．3608（4）nm
用Ｌｉａｐｕｎｏｖ第二方法，研究恢复力为ｆ（ｘ）的ｋ拍振荡方程ｘ＋ｐ（ｅ＾２－ｋ）ｘ＋ｆ（ｘ）＝０零解的稳定性。
影像学技术在泌尿系结石ＥＳＷＬ治疗的临床作用黄曼云①荣向阳周红薇泌尿系结石的治疗，除传统观念多采用中药排石、手术取石外，８０年代出现了另一种治疗方法，即ＥＳＷＬ（体外冲击波碎石），它是一种聚焦
研究了热水法及复合酶法提取百合多糖(LBP)的最佳条件, 对两种方法得到的多糖的生物活性进行了比较分析. 发现复合酶法能显著提高百合多糖的提取率, 可达31.03%, 是热水法的2
以两种不同的方法对螺旋离心泵叶轮的结构参数进行了定义，在此基础上提出这些结构参数的确定方法，并提供了有并试验结果。
采用平板爆炸复合方法制备T2/QBe2复合板材,并利用金相和扫描电镜电子背散射衍射技术对复合界面附近处QBe2和T2侧产生的绝热剪切变形及形变孪生的微观特征进行了观测.结果表
为分析与2012年彝良地震前有关的热红外异常现象，我们选取了99°E-109°E、23°N-33°N范围内从2010年11月1日至2012年10月31日为期两年由中国静止气象卫星FY