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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

关键词： Java JavaPVM 分布式计算

来源：评论

学校读者我要写书评

暂无评论

OOZE求精技术自动化的探讨

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种对象关系模型层次控制算法

引用

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

作者：鲍一民张建莹伊波南京大学计算机软件研究所南京大学计算机软件新技术国家重点实验室

面向对象需求模型的研究是软件需求领域一个热门的课题。对象需求模型一个很重要的内容是对象关系模型，它具有层次的特点，在构模和管理中存在一定的特殊性。针对这个问题，本文提出了一种对象关系模型层次控制的算法，它具有灵活、高... 详细信息

面向对象需求模型的研究是软件需求领域一个热门的课题。对象需求模型一个很重要的内容是对象关系模型，它具有层次的特点，在构模和管理中存在一定的特殊性。针对这个问题，本文提出了一种对象关系模型层次控制的算法，它具有灵活、高效的特点，在实际的系统应用中，取得了较好的效果。

关键词：对象关系模型层次控制算法

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：