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

计算机辅助设计与图形学学报 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 决策支持系统

来源：评论

学校读者我要写书评

暂无评论

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 任务调度协议并行编译系统

来源：评论

学校读者我要写书评

暂无评论

程序切片技术的研究与应用

引用

计算机科学 2000年第1期27卷 31-35页

作者：张勇翔李必信郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

软件逆向工程和维护通常是一种繁复的任务,它需要对程序的大量阅读,透切理解,耗费大量的人力物力。正是基于这种情况,产生了大量有关程序理解的技术,而程序切片技术是其中比较突出的一种。程序切片技术(Program slicing)最早由MarkWeise... 详细信息

软件逆向工程和维护通常是一种繁复的任务,它需要对程序的大量阅读,透切理解,耗费大量的人力物力。正是基于这种情况,产生了大量有关程序理解的技术,而程序切片技术是其中比较突出的一种。程序切片技术(Program slicing)最早由MarkWeiser提出,他论述了通过遍历程序依赖图(ProgramDependence Graph,PDG)得到过程内切片(intrapro cedural slice)的技术。此后,Horwitz通过将PDG扩展为系统依赖图(System Dependence Graph,SDG)

关键词：程序切片面向对象软件逆向工程软件维护

来源：评论

学校读者我要写书评

暂无评论

一个协同开发框架中的用户协同层模型

引用

计算机科学 2000年第3期27卷 22-25页

作者：黄丽雯李成锴周笑波谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 引言计算机支持协同工作CSCW(Computer-Support-ed Cooperative Work)以辅助人与人在日常工作中的交互为目的,支持一组用户参与一个共同的任务,并提供给他们访问共享环境的接口,由此为这个用户群提供协同支持。它反映了人们对计算机... 详细信息

1 引言计算机支持协同工作CSCW(Computer-Support-ed Cooperative Work)以辅助人与人在日常工作中的交互为目的,支持一组用户参与一个共同的任务,并提供给他们访问共享环境的接口,由此为这个用户群提供协同支持。它反映了人们对计算机功能需求的改变,即希望计算机从传统的解决计算问题发展为辅助用户的交互活动。对于计算机支持协同工作要求尽可能体现用户之间的协同以方便用户的协同工作。

关键词： CSCW 用户协同层模型 Java语言计算机网络

来源：评论

学校读者我要写书评

暂无评论

虚拟驾驶环境中混合交通控制的设计与实现

引用

计算机科学 2000年第2期27卷 76-78,87页

作者：张旦钱蔚王莞徐福培南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 引言汽车驾驶模拟器(简称模拟器)是将计算机仿真技术应用于教学的一个教学仿真系统。它使用实车驾驶室的环境,并实时地生成虚拟环境来模拟驾驶训练中的声音和视景效果,从而给学员以在真车实景中训练的感受。虚拟驾驶环境就是在汽车驾... 详细信息

1 引言汽车驾驶模拟器(简称模拟器)是将计算机仿真技术应用于教学的一个教学仿真系统。它使用实车驾驶室的环境,并实时地生成虚拟环境来模拟驾驶训练中的声音和视景效果,从而给学员以在真车实景中训练的感受。虚拟驾驶环境就是在汽车驾驶模拟器中构造的虚拟环境。

关键词：虚拟驾驶环境汽车驾驶模拟器混合交换控制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：