2024年8月26日
星期一
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
周荣国
作品数:
3
被引量:0
H指数: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年
文章讨论一阶反合一问题以及求反合一子完备集的算法.在合一问题中,有多种求解合一问题的方法,其中研究得较为彻底的是用转换规则进行求解的方法.在研究反合一问题的过程中,人们也陆续提出了许多转换规则,这样做的结果是最终给出的是已解出形.该文在已解出形的基础上讨论一种方法,以给出具体解的完备集(反合一子完备集).通过引入Gθ和Z函数,使求解更为方便、直观.
许满武
潘光睿
周荣国
宋晓梁
刘东升
关键词:
计算机科学
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张