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

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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语言编程语言

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一个基于NC++的可视化分布式程序设计模型

引用

计算机工程 1998年第9期24卷 3-6页

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

并行、分布式系统应用日益广泛，但它的开发却很困难，可视化是其解决方法之一。给出了一个以面向对象的分布式程序设计语言NC＋＋为基础的可视化分布式程序设计的基本模型VGOM，将一个分布式程序的特征用图加以描述；同时在原有NC＋＋... 详细信息

并行、分布式系统应用日益广泛，但它的开发却很困难，可视化是其解决方法之一。给出了一个以面向对象的分布式程序设计语言NC＋＋为基础的可视化分布式程序设计的基本模型VGOM，将一个分布式程序的特征用图加以描述；同时在原有NC＋＋语言基础上增加了高层的基于图结构的图操作原语，包括通信原语等，从而提供结构化的通信方式。在SUN工作站上，使用Motif与PVM实现了该模型。

关键词：可视化程序设计程序设计视图程序面向对象

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一个业务处理专用中间件SuperNUMM的设计与实现

引用

计算机研究与发展 1998年第12期35卷 1107-1111页

作者：周文辉张灵玲潘金贵南京大学多媒体计算机研究所南京210093 南京大学计算机软件新技术国家重点实验室南京210093

文中从应用程序间通信、运用操作设计、服务程序运行环境、安全管理等方面介绍了一个业务处理专用中间件—— Super NUMM的设计和实现 .Super NUMM为设计和实现基于 Client/Server计算结构的业务处理系统提供了一种机制 ,在这种机制下 ... 详细信息

文中从应用程序间通信、运用操作设计、服务程序运行环境、安全管理等方面介绍了一个业务处理专用中间件—— Super NUMM的设计和实现 .Super NUMM为设计和实现基于 Client/Server计算结构的业务处理系统提供了一种机制 ,在这种机制下 ,用户只要设计与具体业务处理相关的部分 ,并能对业务处理系统进行运用设计 ,使业务处理系统效率高、安全性好和稳定可靠 .目前 ,Super NU MM已在 Windows NT和

关键词：客户/服务器中间件 SuperNUMM 计算机应用模式

来源：评论

学校读者我要写书评

暂无评论

并行软件辅助开发工具NUCAPPT的设计与实现

引用

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

作者：姜殿启徐鸿张德富周维四高余良南京大学计算机软件新技术国家重点实验室胜利油田地科院

该文首先简要介绍并行软件开发环境分类及其环境特性。然后讨论了一个并行软件辅助开发工具—ＮＵＣＡＰＰＴ。ＮＵＣＡＰＰＴ将组成并行计算任务的各子任务分配到对应的处理器，并对分配到各处理器的任务间的数据通信进行优化。它不仅... 详细信息

该文首先简要介绍并行软件开发环境分类及其环境特性。然后讨论了一个并行软件辅助开发工具—ＮＵＣＡＰＰＴ。ＮＵＣＡＰＰＴ将组成并行计算任务的各子任务分配到对应的处理器，并对分配到各处理器的任务间的数据通信进行优化。它不仅能保证任务分配后各处理器负载比较平衡，通信等待时间较小，而且能简化并行程序的编制过程，提高所编并行程序的质量。

关键词：软件开发环境 NUCAPPT 并行程序软件工具

来源：评论

学校读者我要写书评

暂无评论

基于OSI参考模型的一致性测试理论和方法

引用

计算机工程 1998年第6期24卷 15-17页

作者：毛迪林丛锁高传善复旦大学计算机科学系上海200433 南京大学计算机软件新技术国家重点实验室南京210093

以TP4运输层协议为例，阐述了OSI一致性测试的理论和方法。在对OSI一致性测试和TP4协议进行简介的基础上，给出了在TCP／IP环境中实现OSITP4协议一致性协同测试的关键技术和方法。

关键词：一致性测试 OSI 参考模型 TCP/IP协议

来源：评论

学校读者我要写书评

暂无评论

非一致线性递推计算到多处理机上的分解

引用

计算机学报 1998年第S1期21卷 46-51页

作者：张德富陈崚南京大学计算机软件新技术国家重点实验室南京210093 扬州大学师范学院计算机科学系扬州225002

对于一致线性递推计算（ULR）进行独立分解、使它分解为若干可独立计算的独立集，从而分配到具有分布式存储器的多处理机上去并行执行，已有许多很好的方法．本文则提出了几种对非一致线性递推计算（NLR）独立分解的方法，可将NLR分解... 详细信息

对于一致线性递推计算（ULR）进行独立分解、使它分解为若干可独立计算的独立集，从而分配到具有分布式存储器的多处理机上去并行执行，已有许多很好的方法．本文则提出了几种对非一致线性递推计算（NLR）独立分解的方法，可将NLR分解成由一个或多个子平面、或由网状格点构成的独立集．本文还给出应用各种方法的充要条件．

关键词：并行处理多处理机递推计算

来源：评论

学校读者我要写书评

暂无评论

从汉语句子中提取逻辑函子的一种方法

引用

软件学报 1998年第6期9卷 444-447页

作者：靳光瑾陆汝占上海交通大学计算机科学与工程系南京大学计算机软件新技术国家重点实验室

文章介绍一种从汉语语句中提取逻辑函子的方法．该方法基于汉语配价理论，用组合逻辑方法将动词结构表示成逻辑函子，解决了多个ＮＰ竞争一个论元位置的问题．该方法体现了如何计算汉语语句语义的思想．

关键词：汉语句子逻辑函子自然语言处理计算机

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：