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

并行仿真任务的自动生成软件

引用

计算机研究与发展 1996年第3期33卷 186-191页

作者：陈德来焦进张德富南京大学计算机软件新技术国家重点实验室南京大学计算机科学技术系

本文阐述了一种将连续系统仿真模型──状态方程模型自动生成并行仿真多任务的软件。该软件实现了从仿真模型生成可并行多任务到仿真结果输出过程的自动化，而且生成的并行仿真任务均衡，并行加速比高，适用于基于机间通信的同构型ＭＩ... 详细信息

本文阐述了一种将连续系统仿真模型──状态方程模型自动生成并行仿真多任务的软件。该软件实现了从仿真模型生成可并行多任务到仿真结果输出过程的自动化，而且生成的并行仿真任务均衡，并行加速比高，适用于基于机间通信的同构型ＭＩＭＤ系统。

关键词：并行处理软件仿真计算机仿真

来源：评论

学校读者我要写书评

暂无评论

KDD研究现状及发展

引用

计算机科学 1996年第6期23卷 38-42页

作者：陈栋刘兵徐洁磐南京大学计算机软件新技术国家重点实验室南京210093

计算机技术和信息网络技术的发展把人们推入了信息社会。信息的增长呈现超指数上升,据有关估计,全世界的信息量不到每20个月就增加一倍。人们寄予希望的数据库技术在一定程度上帮助了人们有效地利用信息。

关键词：知识发现 KDD 数据库

来源：评论

学校读者我要写书评

暂无评论

基于状态方程组并行任务划分的策略

引用

计算机学报 1996年第5期19卷 282-287页

作者：陈德来焦进张德富南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

本文在分析了状态方程组并行求解时机间通信对求解性能的影响后，提出了减少求解时间和机间通信数据量的任务划分策略，并运用模拟退火算法实现该策略．结果表明，该策略划分产生的并行求解任务均衡，并行加速比高，适用于各类ＭＩＭＤ... 详细信息

本文在分析了状态方程组并行求解时机间通信对求解性能的影响后，提出了减少求解时间和机间通信数据量的任务划分策略，并运用模拟退火算法实现该策略．结果表明，该策略划分产生的并行求解任务均衡，并行加速比高，适用于各类ＭＩＭＤ系统．

关键词：并行处理任务划分状态方程组算法

来源：评论

学校读者我要写书评

暂无评论

冒险模拟退火算法及其在任务映射上的应用

引用

计算机研究与发展 1996年第3期33卷 198-204页

作者：倪南王晨张德富中国科学院计算技术研究所南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

本文提出了一种冒险模拟退火算法。该算法将冒险计算引进模拟退火算法来处理任务映射问题。它引入任务图与费用函数的概念，不仅考虑到任务的计算时间，还考虑到任务间的通信时间。既确保了模拟退火的串行顺序，使解趋于最优，又缩短了... 详细信息

本文提出了一种冒险模拟退火算法。该算法将冒险计算引进模拟退火算法来处理任务映射问题。它引入任务图与费用函数的概念，不仅考虑到任务的计算时间，还考虑到任务间的通信时间。既确保了模拟退火的串行顺序，使解趋于最优，又缩短了达到最优所需时间，提高了并行计算效率。

关键词：模拟退火冒险计算任务映射算法

来源：评论

学校读者我要写书评

暂无评论

通过从平面几何到立体几何的类比进行数学发现的计算机模拟

引用

数学物理学报（A辑） 1996年第4期16卷 377-384页

作者：王建东朱梧肖奚安陈松灿张东摩空军气象学院南京航空航天大学南京大学计算机软件国家重点实验室

该文从数学方法论的角度阐述了归纳、类比等数学方法在数学发现、发现与创新中的重要作用．从这一观点出发，提出了采用类比方法实现数学发现的计算机模拟的基本思想，并介绍了一个通过类比平面几何中的定理来发现立体几何中的有关定理... 详细信息

该文从数学方法论的角度阐述了归纳、类比等数学方法在数学发现、发现与创新中的重要作用．从这一观点出发，提出了采用类比方法实现数学发现的计算机模拟的基本思想，并介绍了一个通过类比平面几何中的定理来发现立体几何中的有关定理的模型．实验结果表明，该模型具有一定的发明创新能力．

关键词：数学发现平面几何立体几何类比计算机模拟

来源：评论

学校读者我要写书评

暂无评论

常系数线性微分方程RMI解题机

引用

Journal of Mathematical Research and Exposition 1996年第3期16卷 471-476页

作者：王建东朱梧(木贾) 肖奚安徐利治南京航空航天大学计算机科学与工程系南京大学计算机软件国家重点实验室空军气象学院数学教研室大连理工大学数学科学研究所

本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果，摸拟人的数学思维过程，采用关系映射反演（ＲＭＩ）方法，通过符号推理给出微分方程解析解的数学软件．文中介绍了研制该解题机的基本思想和实现技术，并给出了用解题... 详细信息

本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果，摸拟人的数学思维过程，采用关系映射反演（ＲＭＩ）方法，通过符号推理给出微分方程解析解的数学软件．文中介绍了研制该解题机的基本思想和实现技术，并给出了用解题机求解微分方程和微分方程组的几个实例．

关键词：解题机微分方程数值解线性常系数

来源：评论

学校读者我要写书评

暂无评论

基于广义包含关系的假设空间构作

引用

自然科学进展（国家重点实验室通讯） 1992年第1期2卷 55-60页

作者：王志坚徐家福南京大学计算机软件新技术国家重点实验室南京210008

广义包含关系是利用背景知识进行子句比较的一种偏序关系.通过将含有冗余约束条件的假设合并为一个等价类,广义包含关系能显著缩小搜索空间.本文给出了基于广义包含关系构作假设空间的算法,以及有关定理的证明,进而讨论了这种假设空间... 详细信息

广义包含关系是利用背景知识进行子句比较的一种偏序关系.通过将含有冗余约束条件的假设合并为一个等价类,广义包含关系能显著缩小搜索空间.本文给出了基于广义包含关系构作假设空间的算法,以及有关定理的证明,进而讨论了这种假设空间的结构、性质等问题.

关键词：广义包含关系假设空间程序系统

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：