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

Knight:一个通用知识挖掘工具

引用

计算机研究与发展 1998年第4期35卷 338-343页

作者：陈栋徐洁磐南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

现有知识挖掘系统普遍存在通用性不好，发现方法单一的弱点．文中介绍了一个通用知识挖掘工具：Ｋｎｉｇｈｔ系统．Ｋｎｉｇｈｔ系统可以适应多个应用领域的不同要求，在知识发现流程中，引入了进化程序设计、信息论等新的思想方法．

关键词：遗传算法知识挖掘工具 Knight系统

来源：评论

学校读者我要写书评

暂无评论

可视化分布式程序设计中的任务信道描述模型

引用

小型微型计算机系统 1998年第5期19卷 12-17页

作者：柳颖赵欣方斐谢立南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

利用可视化技术简化分布式应用的开发是目前的研究热点之一。要使用可视化技术，首先要解决如何描述一个分布式的应用。与传统顺序程序不同，分布式应用必须考虑到资源共享、通信与同步、复制、任务分配等等。本文提出了任务信道描述模... 详细信息

利用可视化技术简化分布式应用的开发是目前的研究热点之一。要使用可视化技术，首先要解决如何描述一个分布式的应用。与传统顺序程序不同，分布式应用必须考虑到资源共享、通信与同步、复制、任务分配等等。本文提出了任务信道描述模型，讨论了如何在该模型中描述分布式应用的上述特征，着重探讨通信与同步的描述问题，给出了若干不同类型的应用描述实例。

关键词：分布式程序设计可视化技术任务信道模型

来源：评论

学校读者我要写书评

暂无评论

一种用于网络计算的接口模型NCIM

引用

软件学报 1998年第11期9卷 851-856页

作者：赵振平杨培根南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

分析研究了当前网络计算的传统模型，指出了它们在服务资源表示中的不足，提出了新的接口模型，能够精确、全面地描述计算资源所提供的服务，以期增进计算机之间的交互，使之能够自动地发现并共享网络上的软件资源．

关键词：网络计算计算机网络接口模型 NCIM

来源：评论

学校读者我要写书评

暂无评论

软件可靠性估计与计算复杂性的关系浅析

引用

软件学报 1998年第9期9卷 713-717页

作者：朱鸿南京大学计算机软件研究所南京大学计算机软件新技术国家重点实验室

软件可靠性估计是软件可靠性研究的重要问题之一．提出一种根据软件随机测试的结果进行软件可靠性估计的方法．它使被测软件的复杂性成为估计公式中的一个因素，从而克服了现有同类方法把软件看作是黑箱的缺点．它以软件的邻域集合的伪... 详细信息

软件可靠性估计是软件可靠性研究的重要问题之一．提出一种根据软件随机测试的结果进行软件可靠性估计的方法．它使被测软件的复杂性成为估计公式中的一个因素，从而克服了现有同类方法把软件看作是黑箱的缺点．它以软件的邻域集合的伪维数作为软件复杂性度量，从而使根据软件的可能错误空间进行可靠性估计成为可能．还证明了算法的计算复杂性与软件所可能计算的函数集合的伪维数之间存在着一定的联系．

关键词：软件可靠性可靠性估计复杂性分析

来源：评论

学校读者我要写书评

暂无评论

一个新的高阶双向联想记忆模型及其性能估计

引用

软件学报 1998年第11期9卷 814-819页

作者：陈松灿南京航空航天大学计算机系南京大学计算机软件新技术国家重点实验室

提出了一个新的高阶双向联想记忆模型．它推广了由Ｔａｉ及Ｊｅｎｇ所提出的高阶双向联想记忆模型ＨＯＢＡＭ（ｈｉｇｈｅｒ－ｏｒｄｅｒｂｉｄｉｒｅｃｔｉｏｎａｌａｓｓｏｃｉａｔｉｖｅｍｅｍｏｒｙ）及修正的具有内连接的双向联想... 详细信息

提出了一个新的高阶双向联想记忆模型．它推广了由Ｔａｉ及Ｊｅｎｇ所提出的高阶双向联想记忆模型ＨＯＢＡＭ（ｈｉｇｈｅｒ－ｏｒｄｅｒｂｉｄｉｒｅｃｔｉｏｎａｌａｓｓｏｃｉａｔｉｖｅｍｅｍｏｒｙ）及修正的具有内连接的双向联想记忆模型ＭＩＢＡＭ（ｍｏｄｉｆｉｅｄｉｎｔｒａｃｏｎｎｅｃｔｅｄｂｉｄｉｒｅｃｔｉｏｎａｌａｓｓｏｃｉａｔｉｖｅｍｅｍｏｒｙ），通过定义能量函数，证明了新模型在同步与异步更新方式下的稳定性，从而能够保证所有被训练模式对成为该模型的渐近稳定点．借助统计分析原理，估计了所提模型的存储容量．计算机模拟证实此模型不仅具有较高的存储容量，而且还具有较好的纠错能力．

关键词：联想记忆神经网络高阶非线性存储容量

来源：评论

学校读者我要写书评

暂无评论

Z应用于通信协议形式化描述的研究

引用

计算机工程与应用 1998年第11期34卷 26-28页

作者：袁晓东徐殿祥郑国梁南京大学计算机软件新技术国家重点实验室

Ｚ语言是一被广泛使用的形式化规格说明语言，该文在其上扩充了时间描述机制Ｔｉｍｅ模式，使之适应于对通信协议的形式化描述，并以流行的ＹＭＯＤＥＭ通信协议为例详细介绍了如何用Ｚ对通信协议进行形式化描述以及在此基础上协议的具... 详细信息

Ｚ语言是一被广泛使用的形式化规格说明语言，该文在其上扩充了时间描述机制Ｔｉｍｅ模式，使之适应于对通信协议的形式化描述，并以流行的ＹＭＯＤＥＭ通信协议为例详细介绍了如何用Ｚ对通信协议进行形式化描述以及在此基础上协议的具体实现方法。

关键词： Z规格说明形式通信协议 YMODEM协议

来源：评论

学校读者我要写书评

暂无评论

三维场景编辑器的设计与实现

引用

小型微型计算机系统 1998年第8期19卷 39-43页

作者：徐斌丁浩杰徐福培南京大学计算机系软件新技术国家重点实验室

汽车驾驶训练模拟器是一种能正确模拟汽车驾驶操作，并能在主要性能上获得与实车同样感觉的汽车驾驶训练仿真教学设备。三维场景编辑器是三维模拟驾驶软件中的一个子系统。本文描述了三维场景编辑系统ＭａｐＥｄｉｔｏｒ的设计与实现。... 详细信息

汽车驾驶训练模拟器是一种能正确模拟汽车驾驶操作，并能在主要性能上获得与实车同样感觉的汽车驾驶训练仿真教学设备。三维场景编辑器是三维模拟驾驶软件中的一个子系统。本文描述了三维场景编辑系统ＭａｐＥｄｉｔｏｒ的设计与实现。ＭａｐＥｄｉｔｏｒ与主系统的接口是一定格式的地景文件，是提供给用户进行地景计算机辅助设计的工具。它的实现给出了一种快速实现图形编辑的方法。实践表明，这是一种有效的方法。

关键词：场景编辑器三维 CAD 汽车驾驶

来源：评论

学校读者我要写书评

暂无评论

面向对象逻辑语言LKO的类型系统

引用

计算机研究与发展 1998年第3期35卷 246-250页

作者：徐殿祥郑国梁南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统．在谓词声明中，类型由有序的构子构造而成．子句中变量类型由类型推理决定．对象类型由方法声明决定，独立于继承，便于代码复用．它可作为基类型参与项类型构造．

关键词：面向对象程序设计类型逻辑语言 LKO语言

来源：评论

学校读者我要写书评

暂无评论

JAVA新类库中Swing的事件传送机制

引用

小型微型计算机系统 1998年第12期19卷 65-71页

作者：刘芳珠耿曙光潘金贵南京大学多媒体计算机研究所计算机软件新技术国家重点实验室

ＳＵＮ公司最新发布的一套ＡＰＩ中的Ｓｗｉｎｇ组件集采用了ＭＶＣ结构，其中Ｍ、Ｖ、Ｃ三者间的事件传送及与外界的通信机制相当重要。本文从Ｓｗｉｎｇ的组件如何响应外部事件、如何处理自身的变化及如何把自身变化传递给外界三个方... 详细信息

ＳＵＮ公司最新发布的一套ＡＰＩ中的Ｓｗｉｎｇ组件集采用了ＭＶＣ结构，其中Ｍ、Ｖ、Ｃ三者间的事件传送及与外界的通信机制相当重要。本文从Ｓｗｉｎｇ的组件如何响应外部事件、如何处理自身的变化及如何把自身变化传递给外界三个方面详细阐述Ｓｗｉｎｇ的事件传送机制。

关键词： Swing组件集 Java语言类库事件传送

来源：评论

学校读者我要写书评

暂无评论

Agent规范与编程语言SPLAW的语法和语义

引用

计算机学报 1998年第8期21卷 682-693页

作者：樊晓聪徐殿祥候建民郑国梁南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

本文描述了Agent规范与编程语言SPLAW的语法，为SPLAW中的各种语言成分提供了操作语义，并基于标记转换系统给出Agent性质的证明规则．由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML，使遵循同一标准的Agent之间能进行... 详细信息

本文描述了Agent规范与编程语言SPLAW的语法，为SPLAW中的各种语言成分提供了操作语义，并基于标记转换系统给出Agent性质的证明规则．由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML，使遵循同一标准的Agent之间能进行协作问题求解．SPLAW首次为Agent提供继承支持，使其可以实现具有面向对象特征的多线程系统．SPLAW屏弃了为语言引入内部模态词的缺陷，试图从外部为Agent赋予信念、愿望、意念等心智状态，有助于统一Agent的理论研究和实际系统设计．

关键词： AOP Agent规范 SPLAW语言编程语言

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：