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

面向AGENT的程序设计语言AOPLID

引用

扬州大学学报（自然科学版） 1999年第3期2卷 65-69页

作者：李斌张东摩朱梧槚扬州大学工学院计算机系扬州225009 南京航空航天大学计算机科学研究所南京210016 南京大学软件新技术国家重点实验室南京210093

AOPLID语言是以现有的情境演算理论和基于意向驱动方式的agent模型为理论框架而建立的一种面向agent的程序设计语言.介绍了该语言的程序组成及程序的运行方式。

关键词：程序设计情境演算 AOPLID语言 agent 人工智能

来源：评论

学校读者我要写书评

暂无评论

编程控制和操纵Windows 95 Task Bar

引用

网络新媒体技术 1999年第1期 31-31页

作者：赵欣谢立南京大学计算机系、南京大学国家计算机软件重点实验室 210093 南京大学计算机系、南京大学国家计算机软件重点实验室

Task Bar实际上是一个标准Windows95控件。应用程序通过发消息向其中添加、修改或删除某个任务条图标。消息的发送是通过调用函数SehllotifyIcon函数来实现的。该函数原形如下: ShellotifyIcon(UINT message,NOTIFYICONDATA ＆tnd);其中... 详细信息

Task Bar实际上是一个标准Windows95控件。应用程序通过发消息向其中添加、修改或删除某个任务条图标。消息的发送是通过调用函数SehllotifyIcon函数来实现的。该函数原形如下: ShellotifyIcon(UINT message,NOTIFYICONDATA ＆tnd);其中:message可以取以下值:NIMDD在TaskBar矩形中添加一个图标,表示在TaskBar中添加一个由TaskBar管理的程序;NIMODIFY修改由系统维护的某个任务条图标的属

关键词：图标消息回调新闻鼠标事件 Windows 95 Task Bar 句柄提示信息标志符应用软件应用程序

来源：评论

学校读者我要写书评

暂无评论

冻结/解冻机制——软件开发环境中的一种新机制

引用

软件学报 1998年第2期9卷 121-124页

作者：左细平宋方敏徐永森曾凡聪南京大学计算机软件新技术国家重点实验室南京大学计算机系

通常在软件开发环境中动态快速原型开发和高效产品生成之间存在着一条显著的鸿沟，即先在动态环境下进行快速原型开发，原型开发成功后，再重新编码以生成高效产品．显然，这造成了软件开发时间和费用的浪费．本文提出了一种新的机制—... 详细信息

通常在软件开发环境中动态快速原型开发和高效产品生成之间存在着一条显著的鸿沟，即先在动态环境下进行快速原型开发，原型开发成功后，再重新编码以生成高效产品．显然，这造成了软件开发时间和费用的浪费．本文提出了一种新的机制——冻结／解冻机制，旨在消除这条鸿沟，使得从快速原型能够平滑过渡到高效产品．

关键词：软件开发面向对象冻结机制解冻机制

来源：评论

学校读者我要写书评

暂无评论

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

支持分布式多媒体的对象管理系统DMOMS

引用

计算机科学 1998年第5期25卷 94-98页

作者：高瀚昭杨国良曾庆凯谢立南京大学计算机系计算机软件国家重点实验室南京210093

引言近年来,在计算机领域发展最快的当属多媒体技术和网络通信技术。然而,在分布式网络下开发多媒体应用程序不可避免地会遇到一些的问题[lJ:(1)对不同媒体数据(如文本,图片,声音等)如何进行组织;(2)如何开发简单而有效的工具对数据进... 详细信息

引言近年来,在计算机领域发展最快的当属多媒体技术和网络通信技术。然而,在分布式网络下开发多媒体应用程序不可避免地会遇到一些的问题[lJ:(1)对不同媒体数据(如文本,图片,声音等)如何进行组织;(2)如何开发简单而有效的工具对数据进行管理;(3)多媒体数据的本地处理方法;(4)如何在网络各节点分布数据;‘5)与现有标准及开放平台的兼容性。近几年来围绕这一领域也开展了很多研究。

关键词：分布式多媒体对象管理系统多媒体数据通信

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一个面向对象的并行执行模型

引用

电子学报 1998年第2期26卷 103-105页

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

本文提出了一个可挖掘运行时刻并行性的面向对象的并行执行模型ＥＭ，它运用引用分析和路径分析信息来控制信件的收发。实验表明，ＥＭ的效率优于重运行等机制。

关键词：并行编译执行模型引用分析路径分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：