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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

扩充KQML以实现合同网

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

扩充析取逻辑程序的争论语义(英文)

引用

软件学报 2000年第3期11卷 293-299页

作者：王克文周立柱陈火旺清华大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室南京210093 国防科学技术大学计算机学院

该文探讨争论推理在扩充逻辑程序中的实现及其关系问题 .基于“相干原理”,建立了扩充逻辑程序的争论推理框架 ,多种争论推理形式都可以嵌入其中 .特别是提出了一种谨慎语义 Acc.同时又定义了良基语义的一种合理扩充 Mod,以处理较为大... 详细信息

该文探讨争论推理在扩充逻辑程序中的实现及其关系问题 .基于“相干原理”,建立了扩充逻辑程序的争论推理框架 ,多种争论推理形式都可以嵌入其中 .特别是提出了一种谨慎语义 Acc.同时又定义了良基语义的一种合理扩充 Mod,以处理较为大胆的推理形式 .另外也研究了相关的理论性质 .

关键词：析取逻辑程序明显否定争论推理语义

来源：评论

学校读者我要写书评

暂无评论

支持向量机理论综述

引用

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

作者：萧嵘王继成张福炎南京大学软件新技术国家重点实验室计算机科学与技术系南京210093

1 引言随着信息技术的发展,人类积累的数据量呈几何级数递增。如何从这些数据中发掘出有效的信息而不被信息海洋所淹没已经成为迫在眉睫的问题。对数据挖掘相关领域的研究,例如数据分类、聚类,函数模拟和规则抽取等技术,逐渐成为当前计... 详细信息

1 引言随着信息技术的发展,人类积累的数据量呈几何级数递增。如何从这些数据中发掘出有效的信息而不被信息海洋所淹没已经成为迫在眉睫的问题。对数据挖掘相关领域的研究,例如数据分类、聚类,函数模拟和规则抽取等技术,逐渐成为当前计算机基础技术研究的重心之一。支持向量机(Support Vector Machine,SVM)方法作为一种解决多维函数预测的通用工具,

关键词：支持向量机理论模式识别三维对象识别计算机

来源：评论

学校读者我要写书评

暂无评论

并发面向对象模型中继承异常的一种解决方案

引用

计算机科学 2000年第3期27卷 51-54页

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

1 引言继承机制是面向对象软件开发中的重要设施,是实现软件复用和扩充的一种有效的语言机制,它是顺序面向对象语言的一个基本特点。但是,在将面向对象技术与并发相结合的过程中,对并发控制机制处理不当,将会引起继承机制与并发控制间... 详细信息

1 引言继承机制是面向对象软件开发中的重要设施,是实现软件复用和扩充的一种有效的语言机制,它是顺序面向对象语言的一个基本特点。但是,在将面向对象技术与并发相结合的过程中,对并发控制机制处理不当,将会引起继承机制与并发控制间的冲突问题。这种冲突主要表现在:定义子类时需要修改(重定义)父类中的所有代码才能实现自身的并发控制,从而使得子类无法继承父类的代码,产生继承异常现象、继承异常的出现将进一步破坏面向对象技术的两大优点,即:继承和封装。所以,如何有效地避免继承异常或将继承异常的产生降低到最小的程度是并发面向对象模型所要研究的一个重要问题。

关键词：继承异常面向对象软件开发继承机制

来源：评论

学校读者我要写书评

暂无评论

CIMS环境下基于面向对象技术的信息集成研究

引用

计算机科学 2000年第2期27卷 52-56,72页

作者：李必信高同启王武荣郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093 合肥经济技术学院合肥230051

1 概述信息技术既给企业带来了严酷的市场竞争和挑战,也为企业带来了新的机遇。信息技术和现代化管理技术的结合可以为企业提供如下的生产模式、管理技术和设计、制造技术:①物料资源规划(MRP)、制造资源规划(MRP-Ⅱ)和企业资源规划(ERP... 详细信息

1 概述信息技术既给企业带来了严酷的市场竞争和挑战,也为企业带来了新的机遇。信息技术和现代化管理技术的结合可以为企业提供如下的生产模式、管理技术和设计、制造技术:①物料资源规划(MRP)、制造资源规划(MRP-Ⅱ)和企业资源规划(ERP)。这是西方制造业管理技术的精华。借助产品和部件的构成数据、工艺数据和设备状况数据,将市场对产品的需求转变为对加工过程和外购原材料、零部件的需求,这样。

关键词： CIMS 面向对象信息集成 PDM系统

来源：评论

学校读者我要写书评

暂无评论

面向置标文档的文档转换技术研究

引用

中文信息学报 2000年第4期14卷 53-58,64页

作者：李景春武港山王强张福炎南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

文档系统间的转换是文档内容共享和协作的必然途径 ,转换根据不同应用目的包括失真 ,不失真和增值三种方式。置标文档是用标签 (Tag)进行文档结构描述的文档。本文介绍了一种面向置标文档的文档转换增值技术 ,给出了一种文档转换描述语... 详细信息

文档系统间的转换是文档内容共享和协作的必然途径 ,转换根据不同应用目的包括失真 ,不失真和增值三种方式。置标文档是用标签 (Tag)进行文档结构描述的文档。本文介绍了一种面向置标文档的文档转换增值技术 ,给出了一种文档转换描述语言 ,用户可以利用它来定义转换信息从而实现文档间复杂的转换。

关键词：失真置标文档文档转换技术文档转换描述语言

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：