林洪

作品数：9被引量：9H指数：2
导出分析报告
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文主题：并行计算并行处理数值预报模式并行分布计算启发式算法更多>>
发文领域：自动化与计算机技术天文地球理学更多>>
发文期刊：《计算机应用与软件》《小型微型计算机系统》《计算机研究与发展》《大气科学》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
JOOADL方法中循环程序的构造
《计算机应用与软件》1999年第1期5-13,共9页林洪 
国家自然科学基金
循环结构的生成是基于程序规范的构造方法的核心问题之一。JOOADL方法在规范说明中用一种类一阶谓词逻辑公式描述参数所满足的条件和目标,并提供一种将目标对应到程序的方法。其中将含量词的子公式对应到循环结构,循环索引变元遍历有界...
关键词：程序综合 循环结构 JOOADL语言 程序构造 
并行分布计算中的启发式任务调度被引量：4
《计算机研究与发展》1997年第S1期81-85,共5页陈华平 林洪 陈国良 
国家"863"重点项目;中国科技大学青年基金
文中首先给出了并行分布计算中任务调度的基本模型，然后说明了如何利用任务图本身的一些启发信息来实现静态的启发式任务调度．最后提出了一般启发式任务调度算法的一些改进方法．
关键词：并行分布计算 任务调度 启发式算法 
Gamma的语义研究
《计算机工程与科学》1996年第4期7-15,共9页林洪 王敏 
国家自然科学基金资助
在推导程序属性方面,公理语义比操作语义具有更多的优点。本文定义Gamma 的时态语义,它是已有工作的进一步精确化;本文证明这种时态语义与结构化操作语义是一致的。
关键词：形式语义 时态逻辑 并行计算模型 GAMMA 
CSP语言的再继续语义
《计算机科学》1996年第2期7-10,共4页林洪 王敏 
国家自然科学基金
并行程序的指称描述的基本技术的“再继续(Resumption)”。
关键词：CSP语言 并行程序 再继续语义 程序语言 
并行系统的通讯效率问题被引量：1
《小型微型计算机系统》1996年第1期7-12,共6页林洪 陈国良 
国家863计划国家教委博士点基金
巨量并行处理（ＭＰＰ）强调并行系统结构和并行算法的可扩放性。在一个可扩放的并行系统结构上，可扩放的并行算法应该能够有效地利用不断增加的处理机，算法的有效性通常以算法运行时的处理机效率来衡量。一个被普遍忽视的因素是通讯...
关键词：并行处理 并行算法 并行系统结构效率 可扩放性 
原始方程模式多处理器的并行计算方案设计及试验被引量：1
《大气科学》1995年第5期623-630,共8页矫梅燕 李国杰 林洪 
本文介绍并行处理器（Ｔｒａｎｓｐｕｔｅｒ芯片）的性能和特点，及其对微机功能扩充上的应用。结合气象问题，设计了五层原始方程数值预报模式的并行计算方案。经过试验，计算速度明显提高，结果正确可靠，从而为省级气象部门的数值预...
关键词：并行处理器 并行计算 数值预报模式 天气预报 
并行算法可伸缩性的E微商分析法
《计算机科学》1995年第5期1-5,74,共6页林洪 陈国良 
863计划资助
1.引言 并行算法在并行体系结构上的可伸缩性分析(Scalability analysis)是目前巨量并行理MPP研究的中心问题之一。可伸缩性作为巨量并行机上并行算法的主要性能指标。
关键词：并行算法 可伸缩性 E微商法 
PVM与网络并行计算被引量：3
《小型微型计算机系统》1995年第2期53-58,共6页林洪 陈华平 
松散耦合的异构型并行处理系统近年来又有较大的发展，这种只能支持粗粒度并行的计算环境，由于通讯硬件的更新和软件环境的开发，其性能已经能够与某些ＭＰＰ机相媲美，因而形成并行处理领域一个强有力的分支─—网络计算。本文围绕Ｐ...
关键词：软件系统 PVM 网络计算 并行计算 并行处理 
在Transputer网络上实现五层数值预报模式的试验
《小型微型计算机系统》1992年第2期21-25,共5页林洪 矫梅燕 
本文介绍在Transputer网络上并行计算五层数值预报模式的一个方案:用一个Transputer芯片完成一层的计算量,最大限度地缩小层间数据交换,试验结果的令人满意的.
关键词：TRANSPUTER 数值预报 气象 网络 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部