论文部分内容阅读
在分析现有的完备化策略的基础上提出了关键规则分组优先提取策略,介绍了基于此策略的完备化算法及其具体实现,初步探讨了策略的选择对于提高此类系统演算效率的重要作用.
基于关键规则分组优先提取策略的完备化算法及其实现
【摘 要】
：
在分析现有的完备化策略的基础上提出了关键规则分组优先提取策略,介绍了基于此策略的完备化算法及其具体实现,初步探讨了策略的选择对于提高此类系统演算效率的重要作用.
【机 构】
：
华东理工大学计算机科学与工程系,上海,200237
【出 处】
：
华东理工大学学报（自然科学版）
【发表日期】
：
2000年5期
其他文献
研究了经典多重分形理论中广义维数和奇异谱的几何特性,通过严格的数学推导证明了广义维数(D)q、质量指数(ι)(q)、奇异性指数(ā)(q)和奇异谱(f)((a)(q))的单调性和极限,并
提出晶体材料力学性能的热力学微观机理,推导并得到有关晶体材料力学性能的一些重要关系式.对金属单晶材料的弹性性能及本构关系进行了研究,得到的结果和数据与实际现象和试
对化学反应与膜分离的动态过程进行了关联,建立并求解了一维数学模型,根据异丁烷脱氢反应速率方程和膜反应器数学模型对膜反应器中的异丁烷脱氢反应进行了具体分析,模拟了操
邻甲酚与丙烯腈经 Friedel- Crafts反应得到了 2 -甲基 - 4 -丙腈苯酚 ,再在甲醇中水解得到目标化合物。给出了该化合物及其中间体的质谱、核磁共振氢谱数据。讨论了不同催化
近年来，频频发生的各种风险事故，造成了公众恐慌、重大社会经济损失甚至人员伤亡。如2009年7月发生在河南杞县的钴－60辐射源卡井事故，引发全县虚惊和几十万人的集体大逃亡，时称“
对系统进行分析要计算系统时域频域特性 ,画出相应的图形 ,编程过程中遇到了几个问题 ,例如动态图形显示定位、复角计算及内插恢复计算等 ,文中提出了一种解决方法 ,不仅对正确分析系统很有意义 ,而且对理工科课件制作者也很有参考价值。
20多年来，我国孵化器培养了一大批行业龙头企业，造就了一大批高层次领军人才，成为支撑战略性新兴产业和国家高新区稳健发展的重要力量，推动了区域经济结构调整和发展方式的转变。
对于中小企业融资难的问题，社会各界给予了广泛的关注。每逢全国和地方各级人大、政协召开会议，代表们的相关提案也总是接二连三。银行与中小企业，作为两个不同的实体，各自都是以
合成了 N,N -二苄基 -2 -甲氧羰基 -六氢 -1 H-1 ,4 -二氮 艹卓 (3 )。 3经还原、氯取代、胺取代、胺脱苄、单酰化及酰化反应后得到了 1 0个带有 (1 -芳乙酰胺基 -2 -叔氨基