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

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年第1期19卷 33-39页

作者：江晖钱树人李景春季叶枫南京大学计算机科学与技术系软件新技术国家重点实验室

本文基于语言学中的语义分类、真值语义理论和语用学概念提出了一种基于语境的语义理解机制；并根据此机制，应用面向对象的设计思想设计和实现了一个基于语境的命令语义理解系统（ＯＯＲＣＵＢＳＳ）。

关键词：自然语言理解面向对象语境自然语言处理

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

True Type汉字字形编辑器的设计与实现

引用

计算机研究与发展 1998年第5期35卷 422-425页

作者：黄源王瑜张福炎南京大学多媒体计算机研究所南京大学计算机软件新技术国家重点实验室

文中介绍了一个适合汉字字形特点的、基于ＴｒｕｅＴｙｐｅ字形标准的汉字字形编辑器，包括该编辑器的设计思想、关键技术以及实现情况．

关键词：汉字字形字形编辑器 TrueType字形信息处理

来源：评论

学校读者我要写书评

暂无评论

流程结构复杂性量度分析及其应用

引用

小型微型计算机系统 1998年第7期19卷 69-73页

作者：钱树人季叶枫朱怀宏李景春江晖南京大学计算机科学与技术系软件新技术国家重点实验室

本文以目前常用的Ｃ／Ｃ＋＋语言作为背景语言，对语句组合结构和自定义函数调用结构应用图工具进行了复杂性量度分析。对语句组合结构复杂性更进一步作了实例的量度值统计和应用性分析。

关键词：软件质量量度分析软件开发

来源：评论

学校读者我要写书评

暂无评论

JAVA新类库中的MVC结构以及通信实现方法

引用

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

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

Ｓｗｉｎｇ的组件是按照ＭＶＣ模型来构造的。本文介绍了Ｓｗｉｎｇ中ＭＶＣ结构及其通信实现方法。

关键词： Swing MVC 事件通知 Java语言类库

来源：评论

学校读者我要写书评

暂无评论

一种基于几何变换的高效的线裁剪新算法

引用

软件学报 1998年第10期9卷 728-733页

作者：汪灏泓吴锐迅蔡士杰南京大学计算机软件新技术国家重点实验室

线裁剪是计算机图形学的重要基础问题之一．在对现有的两种优秀算法作了分析之后提出一种利用简单几何变换，将裁剪问题简化为对两种基本情况的处理，并先后对被裁剪线段的首末端点作变换处理的新算法，有效地克服了上述两种方法中存在... 详细信息

线裁剪是计算机图形学的重要基础问题之一．在对现有的两种优秀算法作了分析之后提出一种利用简单几何变换，将裁剪问题简化为对两种基本情况的处理，并先后对被裁剪线段的首末端点作变换处理的新算法，有效地克服了上述两种方法中存在的调用函数多、基本情况处理复杂等弱点．理论分析和实例测试均表明，该算法优于当前国际最快的几种裁剪方法．

关键词：几何变换线裁剪算法计算机图形学

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：