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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

任务间的次并行性

引用

软件学报 1998年第12期9卷 917-921页

作者：杜建成徐融陈道蓄谢立南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

首先给出了任务间次并行性存在的条件，讨论了两个任务之间的通讯、通讯等待开销的计算和任务间次并行性发掘的一般过程．此外，还就代码移动和任务合并对增强并行性、消减不必要的通讯等待开销的影响作了说明．

关键词：数据并行性任务并行性程序自动并行化

来源：评论

学校读者我要写书评

暂无评论

基于ATM的群通信问题的研究

引用

软件学报 1998年第8期9卷 561-565页

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

群通信在并行计算中起着重要的作用．ＡＴＭ（ａｓｙｎｃｈｒｏｎｏｕｓｔｒａｎｓｆｅｒｍｏｄｅ）网络有许多特点使之适合群通信．如何有效地利用ＡＴＭ的这些特点来实现群通信操作是一个重要的研究课题．该文提出了一种基于ＡＴＭ的... 详细信息

群通信在并行计算中起着重要的作用．ＡＴＭ（ａｓｙｎｃｈｒｏｎｏｕｓｔｒａｎｓｆｅｒｍｏｄｅ）网络有许多特点使之适合群通信．如何有效地利用ＡＴＭ的这些特点来实现群通信操作是一个重要的研究课题．该文提出了一种基于ＡＴＭ的群通信结构——混合树（Ｈｙｂｒｉｄ－Ｔｒｅｅ），该结构适合动态组中的群通信，并且能有效地利用ＡＴＭ的特点．

关键词： ATM 群通信多目标发送计算机网络

来源：评论

学校读者我要写书评

暂无评论

基于实例推理的智能刺绣编程系统

引用

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

作者：李红兵李宁陈世福南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

本文介绍基于实例推理的智能刺绣编程系统。根据电脑刺绣领域问题的需要，建立了描述刺绣样品的实例模型，利用动态存储模型技术实现实例的存储和检索，在此基础上给出了基于实例的推理流程和算法、实例重用和实例保留算法等。基于实例... 详细信息

本文介绍基于实例推理的智能刺绣编程系统。根据电脑刺绣领域问题的需要，建立了描述刺绣样品的实例模型，利用动态存储模型技术实现实例的存储和检索，在此基础上给出了基于实例的推理流程和算法、实例重用和实例保留算法等。基于实例推理方法可大大提高绣品的质量和刺绣编程的效率。

关键词：实例推理刺绣编程系统计算机

来源：评论

学校读者我要写书评

暂无评论

基于 Java 的分布并行计算环境 JavaPVM

引用

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

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

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

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

关键词： Java JavaPVM 分布式计算

来源：评论

学校读者我要写书评

暂无评论

OOZE求精技术自动化的探讨

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：