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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种对话控制的模型

引用

计算机工程与应用 1999年第9期35卷 61-63页

作者：叶晖王晔张德富朱维红南京大学计算机软件新技术国家重点实验室南京210093 江苏省高速公路指挥部

文中提出了一种基于自动机的对话控制的模型。使用该模型指导对话控制的设计和实现，具有程序结构清晰、代码冗余度低、开发速度快等优点。

关键词：对话控制自动机界面应用程序

来源：评论

学校读者我要写书评

暂无评论

WWW文档协同写作系统中通信中间件的设计与实现

引用

小型微型计算机系统 1999年第4期20卷 266-269页

作者：王继成孙颖黄宜华张福炎南京大学多媒体计算机研究所软件新技术国家重点实验室

ＷＷＷＤＯＣ是一个基于ＴＣＰ／ＩＰ协议的分布式协同写作系统．ＤＯＣＯＭ作为通信中间件将客户和服务器有机地联系起来．本文分析了ＤＯＣＯＭ的设计任务和目标，介绍了ＤＯＣＯＭ的对象模型、通信接口和公用服务．实践证明，ＤＯＣ... 详细信息

ＷＷＷＤＯＣ是一个基于ＴＣＰ／ＩＰ协议的分布式协同写作系统．ＤＯＣＯＭ作为通信中间件将客户和服务器有机地联系起来．本文分析了ＤＯＣＯＭ的设计任务和目标，介绍了ＤＯＣＯＭ的对象模型、通信接口和公用服务．实践证明，ＤＯＣＯＭ既简化了客户／服务器应用的开发，又提高了应用对平台的独立性．

关键词：协同写作系统面向对象通信中间件文档 WWW

来源：评论

学校读者我要写书评

暂无评论

计算机动画中头发表示的研究

引用

计算机工程与应用 1999年第12期35卷 50-52,78页

作者：谈晓洁张建明宋顺林江苏理工大学计算机科学系镇江212013 南京大学计算机软件新技术国家重点实验室南京210093

文章介绍了头发悬臂梁弯曲模型，提出用面集合仿真真实的头发，生成具有光照效果的图象。同时，提出了以椭球为头壳生成头发模型后，将其移植到实际存在的头部模型上的方法，以及头发与头部的碰撞检测手段，从而获得长有头发的完整的头... 详细信息

文章介绍了头发悬臂梁弯曲模型，提出用面集合仿真真实的头发，生成具有光照效果的图象。同时，提出了以椭球为头壳生成头发模型后，将其移植到实际存在的头部模型上的方法，以及头发与头部的碰撞检测手段，从而获得长有头发的完整的头部图象。

关键词：计算机动画头发表示图象处理几何变换

来源：评论

学校读者我要写书评

暂无评论

JAPS:一个基于JAVA的程序自动并行化系统

引用

中国科学（E辑） 1999年第3期28卷 279-288页

作者：杜建成陈道蓄谢立南京大学计算机系软件新技术国家重点实验室南京210093

JAPS是运行于NOW环境下的基于JAVA的程序自动并行化系统 ,实现了从依赖关系分析到程序并行执行的全自动过程 ,它能够进行复杂的任务并行性的开发 ,数据并行性的挖掘也即将被集成进去 .本文描述了JAPS的系统框架及其采用的关键技术 .其... 详细信息

JAPS是运行于NOW环境下的基于JAVA的程序自动并行化系统 ,实现了从依赖关系分析到程序并行执行的全自动过程 ,它能够进行复杂的任务并行性的开发 ,数据并行性的挖掘也即将被集成进去 .本文描述了JAPS的系统框架及其采用的关键技术 .其中 ,任务的划分、概要信息的获取、依赖关系分析。

关键词：数据并行性 JAPS JAVA语言自动并行编译

来源：评论

学校读者我要写书评

暂无评论

文本信息检索技术

引用

计算机科学 1999年第9期26卷 72-75页

作者：邹涛王继成杨文清张福炎南京大学多媒体计算机研究所软件新技术国家重点实验室南京210093

1.引言随着信息技术的发展,人们已经从信息缺乏的时代过渡到了信息极大丰富的时代,于是也就出现了“富数据穷信息”的问题。如何迅速、有效地从大量数据中找到所需的信息已经成为信息服务领域中的重要的、亟待解决的问题,信息检索技术... 详细信息

1.引言随着信息技术的发展,人们已经从信息缺乏的时代过渡到了信息极大丰富的时代,于是也就出现了“富数据穷信息”的问题。如何迅速、有效地从大量数据中找到所需的信息已经成为信息服务领域中的重要的、亟待解决的问题,信息检索技术就是针对这一问题所发展起来的。尽管与多媒体信息相比,文本信息显得比较平凡,但它是人们用于信息记载和信息传播的最重要的媒体之一,也是人们最熟悉。

关键词：文本信息检索全文检索系统字表法字符串

来源：评论

学校读者我要写书评

暂无评论

基于移动Agent技术的信息服务与搜寻模式

引用

计算机科学 1999年第4期26卷 34-37页

作者：邹涛张福炎南京大学多媒体计算机研究所软件新技术国家重点实验室南京210093

1 引言 Internet是一个庞大的分布式信息空间,已成为全球范围内传播信息的最主要渠道。 Internet上存在许多信息查询站点,如:Yahoo,AltaVista等,虽然在一定程度上解决了信息源定位的问题,但也存在显而易见的缺陷:因现有的信息服务系统如... 详细信息

1 引言 Internet是一个庞大的分布式信息空间,已成为全球范围内传播信息的最主要渠道。 Internet上存在许多信息查询站点,如:Yahoo,AltaVista等,虽然在一定程度上解决了信息源定位的问题,但也存在显而易见的缺陷:因现有的信息服务系统如WWW、FTP等都是典型的Client/Server结构系统,基于C/S结构的搜寻也必然是C/S结构的,进行信息搜寻时,必须将网页内容全部或部分下载到本地,然后才能进行索引处理。

关键词： Internet网信息服务信息搜寻模式人工智能

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：