从公理语义看UNITY模型和GAMMA模型的关系

ＧＡＭＭＡ和ＵＮＩＴＹ都是面向问题描述的程序设计语言．ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性．这一规范语言也可以很自然地移植到ＧＡＭＭＡ模型上去．基于上述语义规范，给出一个将ＵＮＩＴＹ程序变换成ＧＡＭＭＡ程序的保语义等价性的程序变换方法，从而证明了ＧＡＭＭＡ模型的描述能力强于ＵＮＩＴＹ模型     

工作站群的并行计算性能

利用现有的某些应用实例，比较了工作站群和并行机用于并行计算方面的性能，说明工作站群在某些应用场合可以取代并行机。     

一个支持并行计算的前后台操作系统

针对并行计算机系统对操作系统的需求，分析了ＭＳＯＤＳ和ＵＮＩＸ中存在的问题，提出了一个能有效支持并行计算的前后台操作系统，着重讨论了系统的设计思想和实现技术。     

时空转换思想与算法并行化

通过对求解最优化问题计算的４种并行化方法的剖析，分析了数学思维过程中如何应用时空转换，把一个复杂问题的求解分解为在我个时空上的并行计算，加深了对设计并行算法的思维过程和多时空变换的理解。     

并行遗传算法的新进展

并行遗传算法将并行计算机的高速并行性和遗传算法固有的并行性相结合 ,极大地提升了遗传算法的求解速度和质量 .在主从式、细粒度和粗粒度这三类遗传算法并行化模型中 ,粗粒度模型以其较小的通讯开销和对种群多样化 ,获得了最广泛的应用 .本文概括了基于模式定理和有限状态马尔可夫链的遗传算法理论 ,总结了前人在粗粒度模型下开展的理论分析和实践应用 ,并指出并行遗传算法的研究将向异步化 ,理论化和模型化的方向发展 ,而有限状态马尔可夫链是构建并行遗传算法可执行模型的有力工具.     

基于PC机群并行环境的构建方法

介绍一种用于高性能计算的并行环境－PC机群，从硬件平台和软件环境两个方面讲述了它的构建方法，并简单介绍了MPICH并行环境的使用方法。     

Libor市场模型的Monte Carlo控制变量加速方法及并行实现

为了加速定价利率衍生产品的Monte Carlo模拟,对远期测度下Libor市场模型中的漂移项用确定性函数近似,构造了一个与原问题高度相关的控制变量. 然后将此控制变量算法移植到多核CPU和GPU的并行计算环境中,极大地提高了计算效率. 针对利率上限的数值结果表明选取的控制变量十分有效且稳健,多核CPU具有线性加速效果,GPU相对于单核CPU具有很大的计算优势,控制变量和并行计算结合得到的加速效果大致是两者的乘积. 结合控制变量和并行计算的方法可以为其他利率衍生产品如利率下限,互换期权的定价提供有效思路.     

精密电容器误差的网络并行计算

利用局域网和标准信息传递库构成网络并行计算环境。基于变动边界微扰法,实现了精密电容器误差的并行计算。改进了传统的Ｒｕｎｇｅ－Ｋｕｔｔａ方法。新方法在计算量、计算速度及稳定性上都优于原方法,并在实际计算中取得了良好的效果。最后,将用单机和用并行机进行计算的结果作了对比,讨论了与并行计算效率有关的因素。     

PC机上并行计算线性方程组

作者从微机内存有限这一实际情况出发,采取内存与硬盘交换数据的方法,利用网络技术及可移植消息传递界面MPI,给出了在微机簇上实现求解较大规模线性方程组的并行算法。同时,此算法也适用于在单个微机上串行求解线性方程组。并编制程序在微机簇上进行了数值试验,得出了正确的计算结果。     

分布式并行计算的力学计算模型

论述了计算力学实施分布计算的必要性,概述了两种主要的分布式结构,并与力学计算的并行性进行了比较,提出了分布式力学计算的模型,为进一步研究分布式力学计算方法奠定了基础。