您的位置: 专家智库 > >

教育部科学技术研究重点项目(106019)

作品数:7 被引量:12H指数:2
相关作者:胡长军王珏李建江张纪林常晓东更多>>
相关机构:北京科技大学太原理工大学清华大学更多>>
发文基金:教育部科学技术研究重点项目国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术自然科学总论更多>>

文献类型

  • 7篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 1篇自然科学总论

主题

  • 2篇油藏
  • 2篇油藏数值
  • 2篇油藏数值模拟
  • 2篇通信
  • 2篇非规则
  • 2篇并行计算
  • 2篇OPENMP
  • 1篇定理
  • 1篇时间约束PE...
  • 1篇数据并行
  • 1篇通信优化
  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇群通信
  • 1篇稀疏度
  • 1篇系统结构
  • 1篇面向分布式
  • 1篇建模语言
  • 1篇关系定理
  • 1篇分布式

机构

  • 7篇北京科技大学
  • 1篇清华大学
  • 1篇太原理工大学

作者

  • 6篇胡长军
  • 4篇王珏
  • 3篇张纪林
  • 3篇李建江
  • 2篇丁良
  • 2篇常晓东
  • 1篇陈俊杰
  • 1篇李永红
  • 1篇谢红薇
  • 1篇王立军
  • 1篇刘如娟
  • 1篇魏硕

传媒

  • 1篇计算机研究与...
  • 1篇华中科技大学...
  • 1篇计算机工程
  • 1篇计算机应用研...
  • 1篇小型微型计算...
  • 1篇四川大学学报...
  • 1篇中国科学:信...

年份

  • 1篇2010
  • 1篇2009
  • 3篇2008
  • 1篇2007
  • 1篇2006
7 条 记 录,以下是 1-7
排序方式:
面向并行程序设计的扩展UML建模被引量:7
2008年
为了解决并行软件开发复杂及维护困难的问题,提出一种并行软件建模的方法。利用统一建模语言(UML)的扩展机制建立了一系列模型,描述了分布式共享内存的基本程序结构建模,通过组合这些基本模型,创建新的模型来适应具体应用。该建模方法保留了UML易理解、易扩展和易于指导工程实践的特点,便于从串行建模扩展到并行建模。通过对一个并行应用的描述,表明该方法对实际的并行程序设计具有指导意义。
胡长军丁良常晓东李建江
关键词:统一建模语言
一种基于SMP的并行逐次超松弛迭代法
2007年
逐次超松弛迭代方法被广泛应用于油藏数值模拟中压力方程的求解.其并行实现是提高模拟速度的重要途径.传统并行方案大都只是在一次迭代内进行数据划分,而没有进一步将数据划分与迭代空间划分相结合,故针对SOR算法和SMP(symmetric multi-processors)系统的特点,以OpenMP为并行化实现工具,提出了基于SMP的并行逐次超松弛迭代方法(parallelSOR).方法通过改变不同迭代步内数据点的更新次序,使不同区域内的数据点可以并行执行多次迭代.总结出针对三维油藏区域在数据空间划分和迭代空间合并上相对较优的策略,分析了迭代过程中网格块的生长形状.与传统的并行策略相比,该方法具有可减小同步开销、改进数据局部性、cache命中率高等优点.实验结果表明,该方法具有较高的加速比和效率.
胡长军魏硕张纪林王珏
关键词:SOR油藏数值模拟SMPOPENMP
数据并行中通信表内元素关系定理的证明
2006年
利用并行应用提供的信息给出群通信模式内在规律的定理和推论,从而优化消息调度.在数组分布给定和循环中数组下标为线性的情况下,首先给出通信表的周期性定理,然后进一步给出在一个周期下通信表中元素对应关系的定理和推论,即可以从通信表的一部分得到整个通信表.通过这一规律优化消息调度以避免冲突.实验结果表明经过优化后的群通信比MPI-Alltoallv实现具有更好的性能.该定理和推论可以应用于不同情况下的群通信优化.
王珏胡长军
关键词:数据并行群通信
一种基于Ontology的WEB服务时间约束定义及验证方法被引量:1
2009年
针对目前面向服务计算(SOC)模式中组合Web服务验证缺乏对时间等非功能属性验证的实际,基于本体理论,设计并实现了一种基于时间约束Petri网的Web服务时间模型定义方法。该方法考虑服务流与以往工作流的区别,在服务模型OWL-S基础上建立时间本体(Time Ontology),全面地刻画了服务的基本时间约束。扩展已有的Petri网本体,增强其描述能力,使其能够描述服务数据及时间信息,并定义了在OWL-S上定义的时间本体与Pe-tri网时间本体间的关系。根据模型检测理论,通过扩展OWL-API,将附加时间属性的OWL-S的服务描述本体转换为Petri网的标准格式PNML文件,建立起扩展时间属性的Web服务模型与形式化模型时间约束Petri网(TCPN)间的映射关系。该方法很好地描述了服务时间约束,为后续的基于TCPN的服务时间形式化验证打下了坚定的基础。
刘如娟陈俊杰陈俊杰王立军
关键词:时间约束PETRI网
非规则、核外并行计算研究综述被引量:2
2008年
非规则、核外计算既是大规模并行应用普遍存在的问题,也是影响大规模并行应用效率的关键问题.本文从并行处理模型、运行支持库实现和并行优化三个方面对非规则、核外计算技术进行了全面综述,并对典型研究成果的特点和不足进行了分析.如何充分利用系统结构的特点和应用数据本身的特点,寻求非规则、核外计算处理的优化是现有技术发展的共同思想.在此基础上,指出了处理两类问题的技术相关性以及在SM P集群系统结构和网络存储环境下,解决非规则、核外计算的新思路:一是从问题描述、编译优化、运行支持等多层次协同研究充分利用系统结构特点的优化技术,二是从应用问题出发,在并行粒度确定、并行范例选择等方面统一非规则、核外计算的处理,三是研究新的支持非规则通信的优化技术和动态负载均衡方法.
胡长军张纪林王珏李建江
面向分布式存储系统结构的OpenMP编译系统被引量:2
2010年
OpenMP是目前面向共享存储系统结构的工业标准.与面向分布式存储系统结构的消息传递标准MPI相比,OpenMP规范具有易编程和支持增量并行等优点.如何有效地将OpenMP扩展到分布式存储系统结构且具有高性能是一直关注的热点.文中介绍一个面向分布式存储系统结构的OpenMP编译系统——KLCoMP.基于"部分数组共享"存储模型,为该编译器研发了基于过程间分析的共享数组识别算法、基于生产者/消费者关系的优化技术和针对非线性引用的通信生成技术.实验采用9个标准测试用例并覆盖计算流体力学、整数排序、分子动力学、地震模拟和计算化学等多个领域.通过与MPI版本进行对比表明KLCoMP版本具有与其相当的可扩展性.另外通过与国际同类编译器Omni+SCASH、LLCoMP和OpenMP(Purdue)翻译后程序进行性能对比表明,KLCoMP版本特别是对于非规则应用能够获得更高的效率.
王珏胡长军张纪林李建江
关键词:OPENMP
大规模稀疏矩阵在并行应用中的通信优化研究
2008年
为了提高并行应用系统的效率,研究了针对大型稀疏矩阵的压缩通信问题。通过对矩阵压缩通信过程中矩阵稀疏度、网络带宽、处理器计算能力之间的关系进行定量分析,推导出稀疏度下界计算公式。通过对不同稀疏度情况下算法所取得的效率进行分析,总结出压缩通信中稀疏度与通信效率之间的函数关系。结合油藏数值模拟的应用实例,设计实现了稀疏矩阵的压缩通信算法。结果表明本算法在稀疏矩阵通信方面效率有明显的提高。
胡长军李永红常晓东丁良
关键词:并行计算通信优化油藏数值模拟稀疏度
共1页<1>
聚类工具0