宋晓梁
- 作品数:6 被引量:186H指数:2
- 供职机构:南京大学计算机科学与技术系更多>>
- 发文基金:国家高技术研究发展计划江苏省自然科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术文化科学更多>>
- 反合一研究初步
- 1998年
- 引言合一是一类重要的计算问题,它广泛地应用于计算机科学的各个分支领域。随着研究领域的拓宽,合一问题的种类也逐渐丰富起来,其中比较典型的包括:方程式合一,高阶合一以及半合一。总的说来,在研究这些合一时主要关心的是“相等”的问题。后来,人们在研究函数式语言的模式匹配时。
- 潘光睿周荣国宋晓梁刘东升许满武
- 关键词:计算机科学
- MARC数据处理中间件MDPM的设计和应用
- 1999年
- MARC是国际上和我国普遍采用的机读目录格式标准,中间件MDPM实现了机读化的书目MARC数据处理功能,包括书目数据生成、更新、存储、数据检索、数据交换等。在MDPM系统基础上,我们提出了资料书目数据库建设和书目数据处理领域中的三层软件系统结构模型。
- 周荣国宋晓梁刘东生许满武
- 关键词:机读目录格式中间件数据处理
- 可重用构件的合成技术被引量:18
- 1999年
- 现已有许多人在研究构件合成的途径并提出了各种构件合成的形式.本文提出了一种基于软件插口的构件合成技术,讨论如何把不同系统的可重用构件通过软件插口组合起来,从而使构件的重用更带有一般性。
- 刘东生宋晓梁周容国许满武
- 关键词:插口面向对象软件工程
- 一阶反合一研究
- 1999年
- 文章讨论一阶反合一问题以及求反合一子完备集的算法.在合一问题中,有多种求解合一问题的方法,其中研究得较为彻底的是用转换规则进行求解的方法.在研究反合一问题的过程中,人们也陆续提出了许多转换规则,这样做的结果是最终给出的是已解出形.该文在已解出形的基础上讨论一种方法,以给出具体解的完备集(反合一子完备集).通过引入Gθ和Z函数,使求解更为方便、直观.
- 许满武潘光睿周荣国宋晓梁刘东升
- 关键词:计算机科学
- 中间件技术研究与应用
- 该文在系统地分析了中间件技术并认真地探索它们的优点的基础上,提出了中间件SLK.SLK是基于消息队列(Message Queuing)的中间件,它的主要功能是在应用程度之间传送消息,这些消息可以在不同的网络协议、不同的...
- 宋晓梁
- 关键词:中间件分布式对象消息队列
- 中间件及其在三层客户机/服务器模型中的应用被引量:168
- 1999年
- 本文介绍了中间件的五种类型及其各自的特点,并讨论了中间件在三层的客户机/服务器模型中应用的一个实例。
- 宋晓梁刘东生许满武
- 关键词:中间件计算机应用