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

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

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

来源：评论

学校读者我要写书评

暂无评论

扩充KQML以实现合同网

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于分布对象的高性能计算技术的探讨

引用

计算机工程与应用 2000年第5期36卷 77-80页

作者：王晔刘祁王晨张德富南京大学软件新技术国家重点实验室南京大学计算机系南京210093

近几年来，分布对象技术引起了一些从事高性能计算技术研究者的注意，他们试图利用分布对象技术的封装。易于扩展和复用的特性，构造易用的、可复用的高性能计算系统。分布对象结构可分为构件框架层、分布结构层和进程通信层。针对这三... 详细信息

近几年来，分布对象技术引起了一些从事高性能计算技术研究者的注意，他们试图利用分布对象技术的封装。易于扩展和复用的特性，构造易用的、可复用的高性能计算系统。分布对象结构可分为构件框架层、分布结构层和进程通信层。针对这三个层次，将基于分布对象的高性能计算研究分为三类并分别进行了综述和分析。最后简单介绍所实现的一个分布对象的高性能计算框架ＨＰＣＡ。

关键词：分布对象高性能计算分布式计算面向对象

来源：评论

学校读者我要写书评

暂无评论

二级电网调度管理系统

引用

计算机工程 2000年第11期26卷 182-184页

作者：陈佩佩符松项晓晶南京大学软件新技术国家重点实验室南京大学计算机系南京210093

介绍农电局电网调度管理系统的系统结构，ＯＤＢＣ实现异构数据库之间的数据交换技术，以及利用ＡＤＡＭ４０１７进行实时采集变压器数据的过程．

关键词：电网调度分布式数据库 ODBC数据采集

来源：评论

学校读者我要写书评

暂无评论

类型系统λω×≤的PER模型

引用

计算机研究与发展 2000年第8期37卷 1006-1011页

作者：周晓聪李文军李师贤中山大学计算机科学系广州510275 南京大学计算机软件新技术国家重点实验室南京210093

类型系统是近年来理论计算机科学的研究热点之一 .1999年周晓聪曾在文献 [1]中提出并研究了类型系统λω× ≤ 及其性质 .类型系统λω× ≤ 是λω×的扩充 ,引入了子类型关系和受限的全称类型 .与 System F的各种扩充相... 详细信息

类型系统是近年来理论计算机科学的研究热点之一 .1999年周晓聪曾在文献 [1]中提出并研究了类型系统λω× ≤ 及其性质 .类型系统λω× ≤ 是λω×的扩充 ,引入了子类型关系和受限的全称类型 .与 System F的各种扩充相比 ,它区分各种上下文 ,使得规则和性质的研究更为清晰 .研究该类型系统的 PER模型作为其语义解释。

关键词：类型系统子类型关系 PER模型面向对象

来源：评论

学校读者我要写书评

暂无评论

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