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

南京大学学报（自然科学版） 1999年第1期35卷 58-65页

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

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展，混合系统在各行各业中都得到广泛应用，但是由于混合系统涉及到连续时间，因此其验证问题始终没有得到完善的解决．近年来，人们普遍采用模型检验方法对混合系... 详细信息

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展，混合系统在各行各业中都得到广泛应用，但是由于混合系统涉及到连续时间，因此其验证问题始终没有得到完善的解决．近年来，人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统，因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机，然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验，该方法能够有效地验证线性混合系统．

关键词：混合系统混合自动机模型检验线性混合系统

来源：评论

学校读者我要写书评

暂无评论

并行支撑环境JavaPVM的研究及实现

引用

计算机科学 1999年第6期26卷 29-32页

作者：胡宁周笑波杜鹏谢立南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

Parallel-supported environment plays a very important role in distributed/parallel system. We design and implement a parallel-supported environment JavaPVM on a network which consists of heterogenous platform and hete... 详细信息

关键词： JavaPVM 并行支撑环境分布式计算并行处理共享信息软件工程

来源：评论

学校读者我要写书评

暂无评论

三级长线图形信息系统

引用

计算机工程与应用 1999年第2期35卷 76-79页

作者：陈仲肃盖云雷陈佩佩訾小超金志权南京大学软件新技术国家重点实验室南京大学计算机系

“长线图形信息系统”是一个分布式的图形数据库管理系统。文章介绍该系统的分布数据库设计和系统实现技术。针对图形数据在广域网上传输的特点，提出了一种用修改集（Ｍｓｅｔ）处理图形数据传输的方法。

关键词：通信线路图形信息系统长途通信维护

来源：评论

学校读者我要写书评

暂无评论

一种结构化模型的O-O实现

引用

计算机工程与科学 1999年第6期21卷 1-4页

作者：樊莉萍陈世福丁琛周驰南京大学计算机软件新技术国家重点实验室

本文分析了模型库的结构方式，并提出了用结构化建模的方法组织决策支持系统的模型库，重点阐述了结构化模型的一些基本概念，然后结合一能源决策支持系统具体实例；

关键词：面向对象决策支持系统能源程序设计方法

来源：评论

学校读者我要写书评

暂无评论

形式描述语言COOZ的集成支撑环境COOZ-Tools

引用

计算机工程与设计 1999年第1期20卷 38-43页

作者：袁晓东胡德强许皓李勇郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系

介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌ... 详细信息

介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的软件开发，它主要由如下工具组成：规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。

关键词：形式描述语言面向对象 COOZ COOZ-Tools

来源：评论

学校读者我要写书评

暂无评论

Parfsnow++:一个充分使用内存的并行文件系统

引用

电子学报 1999年第2期27卷 81-82页

作者：李群谢立孙钟秀南京大学计算机系软件新技术国家重点实验室

本文介绍了一个在工作站网络环境下实现的加入了分布式共享存储器机制的并行文件系统Ｐａｒｆｓｎｏｗ＋＋，它充分使用工作站的内存资源进行数据共享和替换．本文介绍了此文件系统的系统组成、文件操作．最后给出了性能评价．

关键词：并行文件系统工作站网络分布式共享存储器

来源：评论

学校读者我要写书评

暂无评论

可视化空间数据库查询语言CQL

引用

计算机学报 1999年第2期22卷 205-211页

作者：鞠时光江苏理工大学计算机系南京大学计算机软件新技术国家重点实验室

本文着重从语法、语义及语用三方面介绍了我们所开发的一个可视化空间数据库查询语言ＣＱＬ．该语言允许用户借助于可视化基本元素——卡片进行编程，实现对空间数据库的检索．用户查询语句是这些卡片的空间组合．该语言对查询结果的表... 详细信息

本文着重从语法、语义及语用三方面介绍了我们所开发的一个可视化空间数据库查询语言ＣＱＬ．该语言允许用户借助于可视化基本元素——卡片进行编程，实现对空间数据库的检索．用户查询语句是这些卡片的空间组合．该语言对查询结果的表示提供了多种形式：图形表示形式、正文表示形式、临时文件或三者的组合形式．

关键词：可视化 CQL语言空间数据库数据库查询语言

来源：评论

学校读者我要写书评

暂无评论

模糊神经网络研究

引用

计算机应用研究 1999年第7期16卷 1-2,21页

作者：邵栋周志华陈兆乾南京大学计算机软件新技术国家重点实验室 210093

模糊神经网络作为模糊技术和神经网络的交叉研究领域，已引起了高度的重视。通过对该方面的深入研究，不仅可以改善模糊系统的性能，还可以提高神经网络的学习能力．本文对该领域的发展情况和重要成果进行了综述。

关键词：模糊技术神经网络模糊神经网络

来源：评论

学校读者我要写书评

暂无评论

面向对象的协同程序设计模型

引用

计算机研究与发展 1999年第3期36卷 297-303页

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

文中提出了一个支持ＣＳＣＷ系统开发的协同程序设计模型，它以一个一般化的协同系统结构模型为基础，采用层次结构，提供了对象链接机制，实现应用独立的多层次协同．同时，它屏蔽具体的通信和共享等概念，直接向程序员提供对象协同的... 详细信息

文中提出了一个支持ＣＳＣＷ系统开发的协同程序设计模型，它以一个一般化的协同系统结构模型为基础，采用层次结构，提供了对象链接机制，实现应用独立的多层次协同．同时，它屏蔽具体的通信和共享等概念，直接向程序员提供对象协同的功能，大大方便了协同系统的设计和实现．不仅于此，多层次协同的方法获得了细粒度的协同感知，提高了协同效率，面向对象的方法便于将协同关系结构化，实现了灵活的协同管理，并方便了协同系统的开发．

关键词： CSCW 层次结构面向对象程序设计模型

来源：评论

学校读者我要写书评

暂无评论

基于C++的一种主动对象事件服务机制的实现

引用

南京大学学报（自然科学版） 1999年第1期35卷 42-50页

作者：王晨周颖王三军张德富南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

用面向对象方法构造具有互操作能力的分布并行软件系统是当今一种日渐强烈的需要，但现有的程序设计环境对这方面的支持尚不能让人满意．我们提出并基于Ｃ＋＋实现了一种主动对象的事件服务机制。

关键词：主动对象互操作性事件服务软件系统 C++

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：