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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

用结构性质分开复杂类

引用

计算机研究与发展 1999年第8期36卷 932-935页

作者：吕义忠南京航空航天大学计算机科学与工程系南京大学计算机软件新技术国家重点实验室

ＮＰ（或Ｃｏ－ＮＰ）是否包含在Ｐ／ｐｏｌｙ中的问题迄今仍为开问题．８０年代初证明了如果ＮＰＰ／ｐｏｌｙ，则ＰＨ＝Σ２．最近，又有了如果ＮＰＰ／ｐｏｌｙ，则ＰＨ＝ＺＰＰ的证明．文中将借助于广义一阶逻辑Ｌ（τ）及其上... 详细信息

ＮＰ（或Ｃｏ－ＮＰ）是否包含在Ｐ／ｐｏｌｙ中的问题迄今仍为开问题．８０年代初证明了如果ＮＰＰ／ｐｏｌｙ，则ＰＨ＝Σ２．最近，又有了如果ＮＰＰ／ｐｏｌｙ，则ＰＨ＝ＺＰＰ的证明．文中将借助于广义一阶逻辑Ｌ（τ）及其上的模型论以证明存在ＮＰ（或Ｃｏ－ＮＰ）中的语言，它们没有多项式大小的线路．

关键词：结构复杂性广义一阶逻辑图论 NP问题

来源：评论

学校读者我要写书评

暂无评论

HOOD方法与形式化技术的集成研究

引用

计算机工程与科学 1999年第2期21卷 56-60页

作者：郑明春张家重王岩冰高波山东师范大学计算机科学系南京大学计算机软件新技术国家重点实验室

ＨＯＯＤ是由欧洲ＥＳＡ公司开发的一种面向对象软件结构设计方法，它使用图形、结构化英语和Ａｄａ伪码来描述系统的设计规约。本文首先概述了ＨＯＯＤ方法的基本概念和对它进行的改进，然后提出了一种集成ＨＯＯＤ和形式化技术的方法... 详细信息

ＨＯＯＤ是由欧洲ＥＳＡ公司开发的一种面向对象软件结构设计方法，它使用图形、结构化英语和Ａｄａ伪码来描述系统的设计规约。本文首先概述了ＨＯＯＤ方法的基本概念和对它进行的改进，然后提出了一种集成ＨＯＯＤ和形式化技术的方法，借助该方法可以获得更为严格的软件设计规约，最后简要介绍了其机器支撑系统。

关键词： HOOD方法形式经面向对象集成程序设计

来源：评论

学校读者我要写书评

暂无评论

一种C/S环境下异型数据库进行数据交换的解决方案及实现

引用

计算机工程与科学 1999年第2期21卷 20-24页

作者：周驰樊莉萍南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

异型数据库之间的数据交换已经成为信息系统建设中的一个重要课题，它的实现有利于数据库的升级和节约开发投资。本文结合能源分析评价预测系统（ＥＡＥＡＳ）的开发，介绍了异型数据库之间进行数据交换过程中的问题，并给出具体解决方... 详细信息

异型数据库之间的数据交换已经成为信息系统建设中的一个重要课题，它的实现有利于数据库的升级和节约开发投资。本文结合能源分析评价预测系统（ＥＡＥＡＳ）的开发，介绍了异型数据库之间进行数据交换过程中的问题，并给出具体解决方案及其实现过程。

关键词：数据交换异型数据库客户/服务器信息系统

来源：评论

学校读者我要写书评

暂无评论

非均匀区域油藏模拟负载平衡的分区并行算法

引用

软件学报 1999年第2期10卷 187-192页

作者：舒继武赵金熙周维四张德富南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系胜利油田地质科学研究院

基于分布式并行计算机系统，对一类非均匀区域的油藏数值模拟问题，采用了区域分解方法并行求解，给出了并行求解的负载平衡模型及区域负载平衡的一种有效分区算法，从而将这类油藏数值模拟问题均衡映射到并行环境中，高效地并行求解．... 详细信息

基于分布式并行计算机系统，对一类非均匀区域的油藏数值模拟问题，采用了区域分解方法并行求解，给出了并行求解的负载平衡模型及区域负载平衡的一种有效分区算法，从而将这类油藏数值模拟问题均衡映射到并行环境中，高效地并行求解．在黑油油藏数值模拟并行软件的研究中，实验结果表明，该算法有利于提高加速比．

关键词：油藏数值模拟区域分解负载平衡并行算法

来源：评论

学校读者我要写书评

暂无评论

基于Internet的信息资源发现技术与实现

引用

计算机研究与发展 1999年第11期36卷 1369-1374页

作者：王继成邹涛杨小江潘金贵张福炎南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

Ｉｎｔｅｒｎｅｔ上大量、异质、分布、动态的信息造成了“信息过载”．在信息充斥的情况下，如何有效地为用户提供基于Ｉｎｔｅｒｎｅｔ的资源发现服务已经成为一项重要而迫切的研究课题．搜索引擎部分地解决了资源发现的问题，然而其... 详细信息

Ｉｎｔｅｒｎｅｔ上大量、异质、分布、动态的信息造成了“信息过载”．在信息充斥的情况下，如何有效地为用户提供基于Ｉｎｔｅｒｎｅｔ的资源发现服务已经成为一项重要而迫切的研究课题．搜索引擎部分地解决了资源发现的问题，然而其效果却远不能使人满意．文中首先提出了分布协作式资源发现策略，讨论了资源发现服务中所涉及的几项关键技术，包括：多维文档立方体数据模型、Ｗｅｂ文档检索、基于Ｚ３９．５０的书目检索以及基于Ａｇｅｎｔ的用户接口等，并给出了相应的解决方案．在此基础上，文中构造了一个系统原型ＲＤＳＣＣ。

关键词：资源发现信息资源 Internet网信息处理

来源：评论

学校读者我要写书评

暂无评论

基于异构并行环境的大型稀疏线性方程组求解的任务映射算法

引用

电子学报 1999年第8期27卷 102-104页

作者：舒继武赵金熙张德富周维四南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系胜利油田地质科学研究院

本文基于异构并行环境，针对大型稀疏形线性方程组的并行求解，给出了求解方程组的静态任务映射，提出了合理的任务映射费用函数，并运用模拟退火算法寻找最佳任务映射，从而将一类不均匀任务合理地映射到异构并行环境中高效地并行求解。

关键词：大型任务映射稀疏线性方程组算法解

来源：评论

学校读者我要写书评

暂无评论

区域分解法解黑油数值模拟问题的并行计算

引用

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

作者：舒继武归丽忠周维四张德富南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系胜利油田地质科学研究院

区域分解方法是适应并行计算机的工作原理应运而生的偏微分方程数值算法，将它应用于解决三维实际问题且行之有效的并行软件并不多见．本文基于共享内存多处理机并行系统解决一类三维黑油油藏数值模拟问题，分别给出了子结构类型ＤＤＭ... 详细信息

区域分解方法是适应并行计算机的工作原理应运而生的偏微分方程数值算法，将它应用于解决三维实际问题且行之有效的并行软件并不多见．本文基于共享内存多处理机并行系统解决一类三维黑油油藏数值模拟问题，分别给出了子结构类型ＤＤＭ和Ｓｃｈｗａｒｚ类型ＤＤＭ两种区域分解方法的并行算法，并进行了比较。

关键词：并行计算油藏数值模拟区域分解法黑油油藏

来源：评论

学校读者我要写书评

暂无评论

全收缩及其与广义收缩之间的关系

引用

计算机学报 1999年第5期22卷 449-454页

作者：张东摩顾红芳陈世福南京大学软件新技术国家重点实验室南京航空航天大学计算机科学研究所

首先给出全信念收缩运算的一个反例，证明全收缩运算之附加假设与基本假设不协调，从而说明全收缩假设系统的不协调性；其次通过对全收缩运算假设系统的修改，消除了导致原系统不协调的直接因素，证明若一个全收缩函数满足修改后的各条... 详细信息

首先给出全信念收缩运算的一个反例，证明全收缩运算之附加假设与基本假设不协调，从而说明全收缩假设系统的不协调性；其次通过对全收缩运算假设系统的修改，消除了导致原系统不协调的直接因素，证明若一个全收缩函数满足修改后的各条假设，则该函数一定为最大选择收缩函数，并证明了在非平凡的情形下其假设系统仍不协调；最后给出满足基本假设的广义收缩函数与全收缩函数之间的互可定义性。

关键词：信念修正全收缩广义收缩知识体系人工智能

来源：评论

学校读者我要写书评

暂无评论

信念修正与开放逻辑之间的关系

引用

航空学报 1999年第2期20卷 118-121页

作者：张东摩顾红芳陈世福南京航空航天大学计算机科学研究所南京大学软件新技术国家重点实验室

基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义，分析了三者之间的内在联系及本质差别，证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下，３种运算的操... 详细信息

基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义，分析了三者之间的内在联系及本质差别，证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下，３种运算的操作结果一致。

关键词：信念修正信念基修正开放逻辑重构人工智能

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：