检索结果-内蒙古大学图书馆

软件学报 1999年第7期10卷 766-771页

作者：许满武潘光睿周荣国宋晓梁刘东升南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

文章讨论一阶反合一问题以及求反合一子完备集的算法．在合一问题中，有多种求解合一问题的方法，其中研究得较为彻底的是用转换规则进行求解的方法．在研究反合一问题的过程中，人们也陆续提出了许多转换规则，这样做的结果是最终给出... 详细信息

文章讨论一阶反合一问题以及求反合一子完备集的算法．在合一问题中，有多种求解合一问题的方法，其中研究得较为彻底的是用转换规则进行求解的方法．在研究反合一问题的过程中，人们也陆续提出了许多转换规则，这样做的结果是最终给出的是已解出形．该文在已解出形的基础上讨论一种方法，以给出具体解的完备集（反合一子完备集）．通过引入Ｇθ和Ｚ函数，使求解更为方便、直观．

关键词：反合一反合一子计算机科学算法

来源：评论

学校读者我要写书评

暂无评论

ND-P0lya中协变-反变问题的处理方法

引用

计算机学报 1999年第9期22卷 953-957页

作者：唐宝马晓星陶先平吕建南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

协变-反变问题讨论面向对象语言中继承机制和多态计算的关系,是当前面向对象程序设计语言中的一个重要的理论问题.反变的方法重定义不符合思维习惯,一般采用协变精化的设计方法.但抛弃反变后的面向对象程序设计,在多态计算中会产生类型... 详细信息

协变-反变问题讨论面向对象语言中继承机制和多态计算的关系,是当前面向对象程序设计语言中的一个重要的理论问题.反变的方法重定义不符合思维习惯,一般采用协变精化的设计方法.但抛弃反变后的面向对象程序设计,在多态计算中会产生类型问题.针对这一问题,该文基于Castagna的重载函数模型,提出处理协变相关类型问题的类型系统和计算模型,并在ND-Polya语言及系统中具体实现.该方法可以应用到其它协变面向对象语言中.

关键词：面向对象语言协变-反变类型

来源：评论

学校读者我要写书评

暂无评论

多Agent系统构造环境ABE的研究

引用

计算机科学 1999年第8期26卷 58-61页

作者：郭磊艾早阳陈世福计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

1 引言 Agent技术是当今人工智能、计算机软件等领域的研究热点之一,有关agent的各项研究在国外已得到迅猛发展。多agent系统已成为分布式人工智能研究的一个十分活跃的领域。美国、日本等发达国家对多agent开发环境已进行了多年的研究... 详细信息

1 引言 Agent技术是当今人工智能、计算机软件等领域的研究热点之一,有关agent的各项研究在国外已得到迅猛发展。多agent系统已成为分布式人工智能研究的一个十分活跃的领域。美国、日本等发达国家对多agent开发环境已进行了多年的研究,从软件工程到分布式系统,从多媒体技术到Internet,……,agent理论与技术均受到广泛的关注和研究,并取得了一些成果。为了方便某些特定类型的面向agent应用的开发工作,一些相应的agent开发环境已经研制成功。IBM公司开发的ABE系统(AgentBuilding Environment)就是其中之一。该系统目前可以从Internet下载,同时已有一些由该系统开发的应用程序可供下载,其影响颇大。

关键词： ABE系统 Agent系统人工智能

来源：评论

学校读者我要写书评

暂无评论

Internet市场若干关键技术的研究

引用

计算机科学 1999年第12期26卷 31-34页

作者：杨凡周笑波陈道蓄谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 引言如何集成Internet上异构、自治的资源是目前业界面临的挑战之一。传统集成异构数据资源的研究大都把注意力集中于在集成中出现的语义和模式上的异构性问题,提出的解决方法通常依赖于提出一种语义丰富的数据模型,这种数据模型使得... 详细信息

1 引言如何集成Internet上异构、自治的资源是目前业界面临的挑战之一。传统集成异构数据资源的研究大都把注意力集中于在集成中出现的语义和模式上的异构性问题,提出的解决方法通常依赖于提出一种语义丰富的数据模型,这种数据模型使得分布式数据之间的语义连接表示变得更容易。如联合数据库采用一个由集成的联合模式和包装器(Wrapper)

关键词： Interent网数据集成数据资源 Internet市场

来源：评论

学校读者我要写书评

暂无评论

桌面文档会议系统实现中的关键技术分析

引用

计算机科学 1999年第7期26卷 63-66,73页

作者：李成锴茅兵陈道蓄谢立南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

1 引言随着工作站和个人计算机性能的飞速提高以及计算机网络和分布式计算技术的发展,特别是In-ternet应用的迅速普及,使得CSCW的研究成为当前的热点。同时,合作与交流在当今的社会生活中越来越普遍,并成为大型项目工程必不可少的工作方... 详细信息

1 引言随着工作站和个人计算机性能的飞速提高以及计算机网络和分布式计算技术的发展,特别是In-ternet应用的迅速普及,使得CSCW的研究成为当前的热点。同时,合作与交流在当今的社会生活中越来越普遍,并成为大型项目工程必不可少的工作方式,这也是CSCW技术的发展动力。CSCW反映了人们对计算机的功能需求的改变,即希望计算机系统的功能从传统地解决计算问题发展为辅助多个用户之间的合作活动。目前。

关键词：文档会议系统 CSCW Internet网电子邮件

来源：评论

学校读者我要写书评

暂无评论

并行支撑环境JavaPVM的研究及实现

引用

计算机科学 1999年第6期26卷 29-32页

作者：胡宁周笑波杜鹏谢立南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

Parallel-supported environment plays a very important role in distributed/parallel system. We design and implement a parallel-supported environment JavaPVM on a network which consists of heterogenous platform and hete... 详细信息

关键词： JavaPVM 并行支撑环境分布式计算并行处理共享信息软件工程

来源：评论

学校读者我要写书评

暂无评论

结合形式化的面向对象设计方法与支撑系统

引用

软件学报 1999年第4期10卷 409-414页

作者：郑明春段会川高波张家重山东师范大学计算机科学系南京大学计算机软件新技术国家重点实验室

为了有效地结合形式化和非形式化设计方法各自的优点，克服其不足之处，以尽可能保证软件设计的质量与可靠性，文章提出了一种将形式化方法与非形式化的面向对象设计方法ＨＯＯＤ（ｈｉｅｒａｒｃｈｉｃａｌｏｂｊｅｃｔ－ｏｒｉｅｎｔ... 详细信息

为了有效地结合形式化和非形式化设计方法各自的优点，克服其不足之处，以尽可能保证软件设计的质量与可靠性，文章提出了一种将形式化方法与非形式化的面向对象设计方法ＨＯＯＤ（ｈｉｅｒａｒｃｈｉｃａｌｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｄｅｓｉｇｎ）相结合的途径，并介绍了其机器支撑环境的设计与实现．该途径在对层次式面向对象设计方法ＨＯＯＤ进行必要扩充的基础上，有机地集成了Ｚ语言等形式规约技术．支持这一途径的支撑环境提供了一套方便灵活的图形构筑工具、语法制导的形式语言与文本编辑工具，以及自动检查机制等．

关键词：面向对象 HOOD 面向对象程序设计支撑系统

来源：评论

学校读者我要写书评

暂无评论

情形实例驱动的需求分析方法

引用

计算机科学 1999年第1期26卷 79-84页

作者：火清宁张朝良白赣洪朱鸿金凌紫南京大学计算机软件研究所软件新技术国家重点实验室南京210093

一引言软件需求定义是软件需求的完整描述,是开发者和用户之间对最终的软件产品的功能和性能等方面达成的共识和契约。需求分析过程能否获得准确全面地反映用户需求的需求定义对软件产品的质量以及开发开销都具有重要影响。由于软件产... 详细信息

一引言软件需求定义是软件需求的完整描述,是开发者和用户之间对最终的软件产品的功能和性能等方面达成的共识和契约。需求分析过程能否获得准确全面地反映用户需求的需求定义对软件产品的质量以及开发开销都具有重要影响。由于软件产品的规模日益扩大,复杂性不断提高,软件需求分析已成为一项非常困难的任务。

关键词：情形实例驱动软件需求分析软件产品

来源：评论

学校读者我要写书评

暂无评论

形式描述语言COOZ的集成支撑环境COOZ-Tools

引用

计算机工程与设计 1999年第1期20卷 38-43页

作者：袁晓东胡德强许皓李勇郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系

介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌ... 详细信息

介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的软件开发，它主要由如下工具组成：规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。

关键词：形式描述语言面向对象 COOZ COOZ-Tools

来源：评论

学校读者我要写书评

暂无评论

多种网络应用程序接口的实现

引用

计算机工程与应用 1999年第12期35卷 94-97,100页

作者：王运翔金志权谢立南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

ＢＳＤＵｎｉｘ的ＳＯＣＫＥＴ和ＡＴ＆ＴＳｙｓｔｅｍＶ的ＴＬＩ（ＴｒａｎｓｐｏｒｔＬａｙｅｒＩｎｔｅｒｆａｃｅ）是Ｕｎｉｘ系统中主流的网络应用程序接。ＡＰＩ。ＳＯＣＫＥＴ与系统Ｉ／Ｏ相关连，而ＴＬＩ通过流机制实现，都分... 详细信息

ＢＳＤＵｎｉｘ的ＳＯＣＫＥＴ和ＡＴ＆ＴＳｙｓｔｅｍＶ的ＴＬＩ（ＴｒａｎｓｐｏｒｔＬａｙｅｒＩｎｔｅｒｆａｃｅ）是Ｕｎｉｘ系统中主流的网络应用程序接。ＡＰＩ。ＳＯＣＫＥＴ与系统Ｉ／Ｏ相关连，而ＴＬＩ通过流机制实现，都分别依赖于各自操作系统的特性和机制。在操作系统国产化的要求下，同时提供ＳＯＣＫＥＴ和ＴＬＩ能极大提高系统的兼容性，但通过互相模拟或者提供两套系统都不能很好地同时实现ＳＯＣＫＥＴ和ＴＬＩ。ＣＯＮＥＴＶ２．０作为国产网络系统软件，采用优秀的ｘ－ｋｅｒｎｅｌ机制，它先进的面向对象和多线程特性很好地解决了以上难题。文章扼要说明了ＳＯＣＫＥＴ和ＴＬＩ的差异，并详细讨论了在ＣＯＮＥＴＶ２．０中同时实现两者的细节。

关键词：网络软件应用程序接口通信协议 Internet网

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：