位置：成果数据库 > 期刊 > 期刊详情页
用构造基证明归纳定理
  • 期刊名称：华东理工大学学报
  • 时间：0
  • 作者或编辑：3448
  • 页码：2000,26(5):529-533
  • 语言：中文
  • 分类：TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：华东理工大学计算机科学与工程系,上海200237
  • 相关基金：国家自然科学基金!资助项目 ( 6990 30 0 4 ;6970 30 0 8)
  • 相关项目：基于重写归纳的推理技术及应用
作者： 张静|邵志清||
关键词： 构造函数符号, 构造基, 证明, 归纳定理
中文摘要：

在测试集方法的基础，引入一个新的概念－构造基，用于产生完全的但非冗余的不可归的约基项；提出构造基归纳原理，将显式归纳证明和隐式归纳证明有机地结合在一起。对测试集方法做出了改进，实验表明：这种方法提高了归纳定理的证明效率。

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