杨立

作品数：2被引量：2H指数：1
导出分析报告
供职机构：中国科学院自动化研究所更多>>
发文主题：句法模式识别模式识别代数语义语义描述代换更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《计算机学报》更多>>
所获基金：中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模式的语义描述与识别被引量：2
《中国科学（E辑）》1996年第2期179-184,共6页杨立 戴汝为 
讨论了代数语义方法用于模式描述和识别的可行性.采用这种方法,模式结构被作为一种代数结构,其语义约束采用等式规范的形式给出,这样可以将识别问题变为一个等式断言采用等式项重写在规范中进行验证.并举例说明这种方法.
关键词：句法模式识别 语义模式识别 代数语义 模式识别 
对象类型的等价代换与规范化
《计算机学报》1994年第10期721-728,共8页杨立 
国家博士后基金
本文讨论了面向对象数据库模式中对象类型的规范化，基于对象集合的等价提出了类型的一种范式，给出了将类型转换为范式的规则，并且证明了范式的唯一性及转换规则的完备性．本文工作在面向对象数据库设计标准化方面迈出了一步．
关键词：数据库 规范化 等介代换 对象类型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部