位置：立项数据库 > 立项详情页
基于重写归纳的推理技术及应用
  • 项目名称：基于重写归纳的推理技术及应用
  • 项目类别：青年科学基金项目
  • 批准号：69903004
  • 申请代码：F020201
  • 项目来源：国家自然科学基金
  • 研究期限：2000-01-01-2002-12-01
  • 项目负责人：邵志清
  • 负责人职称：教授
  • 依托单位：华东理工大学
  • 批准年度：1999
中文摘要：

本文分析了国家自然科学基金项目《基于重写归纳的推理技术及应用》的研究背景，论述了项目研究过程中采用的定理证明和模型检查相结合的研究方法，介绍了项目在归纳推理的原理、算法、应用等方面的研究成果。

中文主题词： 重写 ,归纳 ,推理
结论摘要：

英文主题词rewrite ,induction ,reasoning

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 9
  • 0
  • 0
  • 0
  • 0
期刊论文
分布式实时系统的一种转化方法
线性混合系统符号模型验证中的参数分析方法
基于控制周期特征式的线性混合自动机验证
嵌入式系统设计的一种协同仿真方法
基于关键规则分组优先提取策略的完备化算法及其实现
C 对Generic程序设计技术的支持
用构造基证明归纳定理
CFSM模型的有限自动机语义
基于重写归纳技术的串行加法器的描述和验证
相关项目
本体的构建理论和推理实现
期刊论文 9 会议论文 8
Web规模RDF图数据的高效率路径查询及推理研究
期刊论文 8 会议论文 11
人造物概念的加工基于用途的认知模型和眼动研究
期刊论文 6 会议论文 2
视角理论及其在本体集成中的应用
期刊论文 44 会议论文 17
实时反应式系统中基于ECA规则的推理方法研究
期刊论文 2 会议论文 4
描述逻辑循环定义的理论框架及其推理机制研究
期刊论文 52 会议论文 1
基于信任和策略的普适计算隐私保护技术研究
期刊论文 4 会议论文 5
基于本体的几何定理机器证明
期刊论文 17 会议论文 2
邵志清的项目
基于概念精化的嵌入式系统的构件开发方法
期刊论文 25 会议论文 6 获奖 1