您的位置： 专家智库 > >

周荣国

作品数：3 被引量：0H指数：0
供职机构：南京大学计算机科学与技术系更多>>
发文基金：国家高技术研究发展计划国家自然科学基金江苏省自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

  • 2篇自动化与计算...
  • 1篇文化科学

主题

  • 2篇计算机
  • 2篇计算机科学
  • 1篇中间件
  • 1篇数据处理
  • 1篇机读
  • 1篇机读目录
  • 1篇机读目录格式
  • 1篇MARC

机构

  • 3篇南京大学

作者

  • 3篇宋晓梁
  • 3篇周荣国
  • 3篇许满武
  • 2篇潘光睿
  • 1篇刘东生

传媒

  • 1篇计算机应用研...
  • 1篇软件学报
  • 1篇计算机科学

年份

  • 2篇1999
  • 1篇1998
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
反合一研究初步
1998年
引言合一是一类重要的计算问题,它广泛地应用于计算机科学的各个分支领域。随着研究领域的拓宽,合一问题的种类也逐渐丰富起来,其中比较典型的包括:方程式合一,高阶合一以及半合一。总的说来,在研究这些合一时主要关心的是“相等”的问题。后来,人们在研究函数式语言的模式匹配时。
潘光睿周荣国宋晓梁刘东升许满武
关键词：计算机科学
MARC数据处理中间件MDPM的设计和应用
1999年
MARC是国际上和我国普遍采用的机读目录格式标准,中间件MDPM实现了机读化的书目MARC数据处理功能，包括书目数据生成、更新、存储、数据检索、数据交换等。在MDPM系统基础上,我们提出了资料书目数据库建设和书目数据处理领域中的三层软件系统结构模型。
周荣国宋晓梁刘东生许满武
关键词：机读目录格式中间件数据处理
一阶反合一研究
1999年
文章讨论一阶反合一问题以及求反合一子完备集的算法．在合一问题中，有多种求解合一问题的方法，其中研究得较为彻底的是用转换规则进行求解的方法．在研究反合一问题的过程中，人们也陆续提出了许多转换规则，这样做的结果是最终给出的是已解出形．该文在已解出形的基础上讨论一种方法，以给出具体解的完备集（反合一子完备集）．通过引入Ｇθ和Ｚ函数，使求解更为方便、直观．
许满武潘光睿周荣国宋晓梁刘东升
关键词：计算机科学
全选 清除 导出
共1页<1>
聚类工具0