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

计算机科学 2000年第2期27卷 48-51页

作者：王智慧黄宜华张福炎计算机软件新技术国家重点实验室南京大学计算机与科学系南京210093

1 引言大型文献的创作是一种涉及到总编、美术、策划以及多个作者之间的协作活动,超媒体技术的出现为大型文献创作者提供了一种新的创作方式,能够很好地支持这种协作活动。常规文献是连续的线性结构,文献在组织结构上没有划分手段,因此... 详细信息

1 引言大型文献的创作是一种涉及到总编、美术、策划以及多个作者之间的协作活动,超媒体技术的出现为大型文献创作者提供了一种新的创作方式,能够很好地支持这种协作活动。常规文献是连续的线性结构,文献在组织结构上没有划分手段,因此协同写作时难以进行分工。超媒体文献的离散化节点和超链组织有利于多人协作时任务的划分,多成员可在分布环境下分担完成文献中的不同部分,通过超链可将各部分链接起来,保持整个文献的完整性。对于读者,超文本技术允许有选择地阅读其中感兴趣的部分。

关键词：电子出版物 WWW 超媒体协同创作多媒体

来源：评论

学校读者我要写书评

暂无评论

一种面向方案设计的装配建模表示方法

引用

计算机辅助设计与图形学学报 2000年第1期12卷 28-33页

作者：孙正兴张福炎蔡士杰南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

ＣＡＤ系统对方案设计支持的关键是建立独立于几何细节而又表达功构关系的装配模型．本文试图运用逻辑装配单元的定义来实现产品功能需求和结构表现间的有效关联，分别讨论了方案设计中功能描述和几何构形表示方式，形式化表达了方案设... 详细信息

ＣＡＤ系统对方案设计支持的关键是建立独立于几何细节而又表达功构关系的装配模型．本文试图运用逻辑装配单元的定义来实现产品功能需求和结构表现间的有效关联，分别讨论了方案设计中功能描述和几何构形表示方式，形式化表达了方案设计的逻辑造型和装配建模过程，给出了支持自顶向下方案设计的装配模板定义。

关键词：装配建模 CAD 装配模板产品方案设计机械设计

来源：评论

学校读者我要写书评

暂无评论

一种分析和理解程序的方法──程序切片

引用

计算机研究与发展 2000年第3期37卷 284-291页

作者：李必信郑国梁王云峰李宣东南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

程序切片是一种分析和理解程序的技术，是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解．程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关，而且与影响该变量的值的语句和谓词以及受该变量的值影响的语... 详细信息

程序切片是一种分析和理解程序的技术，是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解．程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关，而且与影响该变量的值的语句和谓词以及受该变量的值影响的语句和谓词有关．文中详细阐述了程序切片技术的研究与进展情况，并对目前存在各种程序切片方法和工具进行了比较；简单介绍了文中提出的面向对象的分层切片方法及其算法的思想；最后分析了程序切片技术目前还存在的一些问题及其发展趋势．

关键词：数据依赖程序切片分层切片面向对象源程序

来源：评论

学校读者我要写书评

暂无评论

Java自动并行编译系统JAPS中表达式分离技术的研究

引用

计算机科学 2000年第1期27卷 13-18页

作者：王征方斐陈道蓄谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

一、引言 1.1 自动并行编译的提出并行程序设计基本上有两种途径:显式途径和隐式途径。研究者设计了很多的并行程序设计语言,这就是所谓的“显式途径”。但是,并没有一种并行程序设计语言成为流行的语言,主要的问题在于并行程序的编制困... 详细信息

一、引言 1.1 自动并行编译的提出并行程序设计基本上有两种途径:显式途径和隐式途径。研究者设计了很多的并行程序设计语言,这就是所谓的“显式途径”。但是,并没有一种并行程序设计语言成为流行的语言,主要的问题在于并行程序的编制困难,对程序员的要求高。相比较而言,隐式途径,即自动并行编译技术就有许多的优势。用户使用串行语言编制程序。

关键词： Java语言并行编译系统 JAPS 表达式分离

来源：评论

学校读者我要写书评

暂无评论

扩充KQML以实现合同网

引用

计算机工程与应用 2000年第4期36卷 110-113页

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

ＫＱＭＬ目前已成了ａｇｅｎｔ通讯语言的事实标准，并得到广泛应用。该文在对ＫＱＭＬ的语义分析的基础上指出它不利于ＡＧＥＮＴ间任务级的高级复杂交互，不能实现合同网，为此扩充了ＫＱＭＬ。文章给出了８条扩充原语的定义、语... 详细信息

ＫＱＭＬ目前已成了ａｇｅｎｔ通讯语言的事实标准，并得到广泛应用。该文在对ＫＱＭＬ的语义分析的基础上指出它不利于ＡＧＥＮＴ间任务级的高级复杂交互，不能实现合同网，为此扩充了ＫＱＭＬ。文章给出了８条扩充原语的定义、语义及在合同网上的应用。

关键词：合同网 KQML 原语 DSS 决策支持系统

来源：评论

学校读者我要写书评

暂无评论

一个支持软件需求测试任务分析方法的工具

引用

计算机工程与应用 2000年第3期36卷 50-54页

作者：白赣洪张朝良火清宁朱鸿郑国梁南京大学计算机软件研究所软件新技术国家重点实验室南京210093

需求定义模型测试的任务分析方法，把需求情形实例当作需求模型的测试用例，用任务活动序列描述情形，并提供给任务分析专家和用户进行对照分析。情形实例的活动序列描述以文字的形式描述系统行为的细节，表达清晰，较需求模型更容易被... 详细信息

需求定义模型测试的任务分析方法，把需求情形实例当作需求模型的测试用例，用任务活动序列描述情形，并提供给任务分析专家和用户进行对照分析。情形实例的活动序列描述以文字的形式描述系统行为的细节，表达清晰，较需求模型更容易被用户所理解。文章介绍支持该方法的一个需求模型测试自动化工具ＳＲＤＭＴｅｓｔ．

关键词：软件需求测试 SRDMTest工具人机交互软件开发

来源：评论

学校读者我要写书评

暂无评论

一种层次式面向对象需求模型的设计

引用

南京大学学报（自然科学版） 2000年第2期36卷 148-154页

作者：陶先平张建莹南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所江苏南京210093

在总结了面向对象需求分析代表性工作的基础上,提出一种新的层次式面向对象需求分析模型,在该模型中较严格地定义了层次间的精化/抽象关系,使得系统需求模型具有较好的层次结构,呈现为多版本并存的多根树,从而提高了需求模型的易理解性... 详细信息

在总结了面向对象需求分析代表性工作的基础上,提出一种新的层次式面向对象需求分析模型,在该模型中较严格地定义了层次间的精化/抽象关系,使得系统需求模型具有较好的层次结构,呈现为多版本并存的多根树,从而提高了需求模型的易理解性,易维护性和可靠性.并有利于系统的自动开发.

关键词：面向对象方法需求模型精化抽象

来源：评论

学校读者我要写书评

暂无评论

JAPS中的并行任务支撑平台PTSP

引用

计算机科学 2000年第7期27卷 5-7,81页

作者：李晓明陈道蓄谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 概述在现代计算技术中,分布并行处理越来越成为一种关键性的技术.这种由许多小任务合作解决大问题的方法,在过去几年发挥着越来越重要的作用,从高性能科学计算到日常事务的应用程序,都广泛接受和采纳分布并行处理,这是由于对高性能、... 详细信息

1 概述在现代计算技术中,分布并行处理越来越成为一种关键性的技术.这种由许多小任务合作解决大问题的方法,在过去几年发挥着越来越重要的作用,从高性能科学计算到日常事务的应用程序,都广泛接受和采纳分布并行处理,这是由于对高性能、低代价及强计算能力的需求所导致的,而大规模并行处理机(MPP)

关键词： JAPS PTSP 并行任务支撑平台并行编译

来源：评论

学校读者我要写书评

暂无评论

精化演算支撑工具PRT的研究

引用

计算机科学 2000年第3期27卷 47-50,46页

作者：杨朝晖王云峰郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精... 详细信息

1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精化演算中的转换规则可以演算出精化的程序。利用精化演算从规约导出程序的过程由大量步骤构成,非常适合利用机器工具进行辅助。本文对精化工具进行了需求分析和功能分析,研究了一个新的精化工具PRT(Program Refinement Tool)并与现有的一些工具进行了比较。

关键词：程序正确性精化演算支撑工具 PRT 程序结构

来源：评论

学校读者我要写书评

暂无评论

JAPS中任务调度协议的设计与实现

引用

计算机科学 2000年第12期27卷 16-19,6页

作者：李晓明陈道蓄谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 背景和系统概述在并行编译系统中,主要的目标是分析程序中的依赖关系。通过依赖分析得到的结果将源程序划分成可以并行执行的部分,然后在一定的运行时支撑平台上并行执行。并行执行的基本要求是程序的并行语义和串行语义必须一致。在... 详细信息

1 背景和系统概述在并行编译系统中,主要的目标是分析程序中的依赖关系。通过依赖分析得到的结果将源程序划分成可以并行执行的部分,然后在一定的运行时支撑平台上并行执行。并行执行的基本要求是程序的并行语义和串行语义必须一致。在以NOW基础的并行计算系统中,由于通信开销较大,一般需要发掘在任务层次上的并行性。

关键词： JAPS 任务调度协议并行编译系统

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：