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

计算机研究与发展 1999年第9期36卷 1086-1091页

作者：黄源萧嵘张福炎南京大学计算机软件新技术国家重点实验室南京210093 南京大学多媒体计算机研究所南京210093

文中论述了作为解决神经网络“黑箱问题”有效手段的规则提取方法，分析了基于结构分解和输入输出映射的神经网络规则提取的各种算法，概括了它们的基本思想并分析了它们的优劣，在相似权值法的基础上提出ＣＳＷ算法，有效解决了连... 详细信息

文中论述了作为解决神经网络“黑箱问题”有效手段的规则提取方法，分析了基于结构分解和输入输出映射的神经网络规则提取的各种算法，概括了它们的基本思想并分析了它们的优劣，在相似权值法的基础上提出ＣＳＷ算法，有效解决了连续值输入网络的规则提取问题．将ＣＳＷ算法应用于ＩＲＩ

关键词：神经网络规则提取结构分解法输入输出映射法

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于Internet的信息资源发现技术与实现

引用

计算机研究与发展 1999年第11期36卷 1369-1374页

作者：王继成邹涛杨小江潘金贵张福炎南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

Ｉｎｔｅｒｎｅｔ上大量、异质、分布、动态的信息造成了“信息过载”．在信息充斥的情况下，如何有效地为用户提供基于Ｉｎｔｅｒｎｅｔ的资源发现服务已经成为一项重要而迫切的研究课题．搜索引擎部分地解决了资源发现的问题，然而其... 详细信息

Ｉｎｔｅｒｎｅｔ上大量、异质、分布、动态的信息造成了“信息过载”．在信息充斥的情况下，如何有效地为用户提供基于Ｉｎｔｅｒｎｅｔ的资源发现服务已经成为一项重要而迫切的研究课题．搜索引擎部分地解决了资源发现的问题，然而其效果却远不能使人满意．文中首先提出了分布协作式资源发现策略，讨论了资源发现服务中所涉及的几项关键技术，包括：多维文档立方体数据模型、Ｗｅｂ文档检索、基于Ｚ３９．５０的书目检索以及基于Ａｇｅｎｔ的用户接口等，并给出了相应的解决方案．在此基础上，文中构造了一个系统原型ＲＤＳＣＣ。

关键词：资源发现信息资源 Internet网信息处理

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于特征段的正交矢量化及其符号识别方法

引用

计算机研究与发展 1999年第1期36卷 85-90页

作者：邹荣金陈冀兵苏丰蔡士杰张福炎南京大学计算机软件新技术国家重点实验室南京大学多媒体技术研究所

文中提出一种使用特征段的工程图矢量化方法，通过抽取图像中部分具有显著特征的行段建立特征矢量线段，经过延伸、合并求交等运算获取完整准确的矢量线．为避免毛刺、小弯度直线矢量化产生的奇异性，该研究运用正交双向矢量化的方法分... 详细信息

文中提出一种使用特征段的工程图矢量化方法，通过抽取图像中部分具有显著特征的行段建立特征矢量线段，经过延伸、合并求交等运算获取完整准确的矢量线．为避免毛刺、小弯度直线矢量化产生的奇异性，该研究运用正交双向矢量化的方法分别在Ｘ和Ｙ方向对倾斜角小于４５°和大于４５°的直线分别进行特征段抽取．对粘连弯头短直线及端点符号识别也作了研究．

关键词：工程图矢量化特征段建筑结构图符号识别

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于主动网络技术的电信网络管理模型

引用

计算机工程 1999年第9期25卷 29-31页

作者：袁俊何丹杨培根南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

介绍了TMN的基本概念．从技术的角度探讨了TMN的体系结构，并指出了现行TMN的不足之处。最后提出了一种基于主动网络技术的电信网络管理模型-ATMN。

关键词：电信管理网络网络管理主动网络

来源：评论

学校读者我要写书评

暂无评论

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系统人工智能

来源：评论

学校读者我要写书评

暂无评论

线性混合系统的一种验证方法

引用

南京大学学报（自然科学版） 1999年第1期35卷 58-65页

作者：侯建民李宣东樊晓聪郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学系

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展，混合系统在各行各业中都得到广泛应用，但是由于混合系统涉及到连续时间，因此其验证问题始终没有得到完善的解决．近年来，人们普遍采用模型检验方法对混合系... 详细信息

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展，混合系统在各行各业中都得到广泛应用，但是由于混合系统涉及到连续时间，因此其验证问题始终没有得到完善的解决．近年来，人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统，因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机，然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验，该方法能够有效地验证线性混合系统．

关键词：混合系统混合自动机模型检验线性混合系统

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：