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

高技术通讯 1998年第4期8卷 12-15页

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

在吸取了ＰＶＭ和Ｊａｖａ语言的思想及技术的基础上，开发出了基于Ｊａｖａ的并行虚拟机环境，它为异构环境下的分布并行程序设计提供了虚拟并行平台和基于该平台之上的简洁的通信手段。介绍了ＪａｖａＰＶＭ的设计和实现，可以看出它... 详细信息

在吸取了ＰＶＭ和Ｊａｖａ语言的思想及技术的基础上，开发出了基于Ｊａｖａ的并行虚拟机环境，它为异构环境下的分布并行程序设计提供了虚拟并行平台和基于该平台之上的简洁的通信手段。介绍了ＪａｖａＰＶＭ的设计和实现，可以看出它实现了ＰＶＭ的所有主要功能，又摆脱了对单一操作系统（Ｕｎｉｘ）的依赖。

关键词： Java JavaPVM 分布式计算

来源：评论

学校读者我要写书评

暂无评论

OOZE求精技术自动化的探讨

引用

计算机研究与发展 1998年第2期35卷 173-177页

作者：袁晓东陈家骏郑国梁南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

文中立足于一种Ｚ的面向对象扩充广谱语言ＯＯＺＥ，研究其从软件规格说明到可执行程序求精过程中的自动化技术．重点讨论了数据求精技术，对Ｚ中的几种复合数据类型及其嵌套结构、ＯＯＺＥ中的类结构提出了相应的自动求精规则。

关键词： OOZE 数据求精操作求精软件工程

来源：评论

学校读者我要写书评

暂无评论

Agent的行为自信度及其修改规则

引用

计算机学报 1998年第1期21卷 40-46页

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

在多Agent系统中，个体Agent除了具有自治性、应激性、主动性外，还应当具有社会性以完成只有协作才能解决的问题．这种社会性要求Agent能及时响应其它Agent的服务请求，对自己的行为作出承诺．但是，有能力和意图并不一定有信心．本文... 详细信息

在多Agent系统中，个体Agent除了具有自治性、应激性、主动性外，还应当具有社会性以完成只有协作才能解决的问题．这种社会性要求Agent能及时响应其它Agent的服务请求，对自己的行为作出承诺．但是，有能力和意图并不一定有信心．本文从Agent的社会行为出发，为A-gent引入行为自信度的概念，并提出了理性Agent应当遵守的行为自信度修改规则．最后给出了一个动作委托算法，为设计具体的多Agent系统提供了一个可行的解决方案．

关键词：多Agent系统行为自信度动作集人工智能

来源：评论

学校读者我要写书评

暂无评论

离散时段演算的符号模型验证

引用

计算机学报 1998年第2期21卷 103-110页

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

模型验证是对有限状态系统的一种形式化确认方法．近几年，模型验证方法已逐步扩展到实时系统应用中．为解决实时系统的模型验证问题，本文采用离散时段演算作为实时系统规格说明的形式语言，用时间自动机作为实时系统的实现模型，对模... 详细信息

模型验证是对有限状态系统的一种形式化确认方法．近几年，模型验证方法已逐步扩展到实时系统应用中．为解决实时系统的模型验证问题，本文采用离散时段演算作为实时系统规格说明的形式语言，用时间自动机作为实时系统的实现模型，对模型验证问题进行了细致的分析，并提出了一种具有实际应用价值的方法──商技术．该方法可以避免当多个时间自动机并行组合时可能产生的状态空间组合爆炸问题，同时还可以简化整个模型验证问题．

关键词：离散时段演算模型验证符号模型实时系统

来源：评论

学校读者我要写书评

暂无评论

C++的一种并发扩充方案

引用

软件学报 1998年第8期9卷 586-591页

作者：陈家骏赵建华郑国梁南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

该文给出了一种对Ｃ＋＋进行并发扩充的方案．它基于这样的并发面向对象模型：系统由一组自治的并发对象构成，对象可以有一个体，一旦对象被创建，对象体就开始执行；对象间采用同步消息传递，允许对象内部的并发；对象的并发控制分散... 详细信息

该文给出了一种对Ｃ＋＋进行并发扩充的方案．它基于这样的并发面向对象模型：系统由一组自治的并发对象构成，对象可以有一个体，一旦对象被创建，对象体就开始执行；对象间采用同步消息传递，允许对象内部的并发；对象的并发控制分散在各方法的激励条件中．文章还给出了一种转换策略，把扩充的Ｃ＋＋描述转换成Ｃ＋＋描述，使之能被现有的Ｃ＋＋编译器识别．转换中利用了某些多任务操作系统（如Ｗｉｎｄｏｗｓ９５）所提供的多线程和同步设施．

关键词：面向对象并发扩充 C++语言程序设计语言

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

面向Agent软件工程(Ⅰ):Agent计算、编程风范与语言设计

引用

计算机科学 1998年第3期25卷 1-7页

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

Agent技术源于人工智能,现已融入主流计算机的各个领域。

关键词：软件工程人工智能 Agent 计算编程风范

来源：评论

学校读者我要写书评

暂无评论

一种基于异构网络的NOW中的群通信模型

引用

计算机研究与发展 1998年第11期35卷 1042-1047页

作者：吴礼发谢立孙钟秀南京大学计算机科学系南京大学计算机软件新技术国家重点实验室

工作站网络（ＮＯＷ）作为一种新的并行计算结构越来越受到人们的重视．文中讨论了基于异构网络的ＮＯＷ中的群通信问题．提出了一种群通信层次模型，较好地解决了异构网络环境中的群通信问题．其实现群通信的思想是将参与群通信操作的... 详细信息

工作站网络（ＮＯＷ）作为一种新的并行计算结构越来越受到人们的重视．文中讨论了基于异构网络的ＮＯＷ中的群通信问题．提出了一种群通信层次模型，较好地解决了异构网络环境中的群通信问题．其实现群通信的思想是将参与群通信操作的结点按它们所处的子网分成一个个基计算域，通过这些基计算域的并行操作来达到降低通信时延同时又不增加太多网络流量的目的，并且还可以在不同的子网中选择最合适的群通信实现．这一做法将全网内面向进程的群通信操作变为面向子网的群通信操作．文中还提出了相应的分布式组管理协议．．

关键词：工作站网络并行计算群通信

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：