位置：成果数据库 > 期刊 > 期刊详情页
基于关键规则分组优先提取策略的完备化算法及其实现
  • 期刊名称：华东理工大学学报
  • 时间：0
  • 作者或编辑：3448
  • 页码：2000,26(5):451-454
  • 语言：中文
  • 分类：O224[理学—运筹学与控制论;理学—数学] TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：华东理工大学计算机科学与工程系,上海200237
  • 相关基金：国家自然科学基金! ( 6990 30 0 4 ;6970 30 0 8);上海市高等学校青年科学基金!( 98Q16)资助项目
  • 相关项目：基于重写归纳的推理技术及应用
作者： 钱群力|邵志清||虞慧群|
关键词： 完备化算法, 关键规则, 分组优化提取策略
中文摘要：

在分析现有的完备化策略的基础上提出了关键规则分组优先提取策略，介绍了基于此策略的完备化算法及其具体实现，初步探讨了策略的选择对于提高此类系统演算效率的重要作用。

同期刊论文项目
基于重写归纳的推理技术及应用
期刊论文 9
同项目期刊论文
分布式实时系统的一种转化方法
线性混合系统符号模型验证中的参数分析方法
基于控制周期特征式的线性混合自动机验证
嵌入式系统设计的一种协同仿真方法
C 对Generic程序设计技术的支持
用构造基证明归纳定理
CFSM模型的有限自动机语义
基于重写归纳技术的串行加法器的描述和验证