大型线性方程组求解的可验证外包算法

随着云计算的发展,可验证的外包计算受到了越来越多的关注。对普通用户来说,大型线性方程组的求解是一个困难问题,可通过外包计算进行解决。现有的大型线性方程组外包求解方案计算效率较低或计算结果无法完全验证。本文提出了一个可验证的大型线性方程组求解的外包计算协议。在完全保护用户隐私的前提下,所提方案大大提高了用户的计算效率。与同类方案相比,所提方案降低了用户的计算代价,且用户可以完全验证服务器的外包计算结果。     

计算结构自振的正交变换法

一、问题的提出 由于现代交通、运载工具速度的提高以及不断发生强烈地震,结构物的振动问题日益引起人们的重视。在结构的设计过程中,要求进行较精确的动力计算和实验。结构自振频率和振型的计算是结构动力学的基本内容之一,最终归结为计算大型矩阵的特征值及特征向量,它比静力学问题中求解大型方程组,困难得多。因而发展较慢。     

基于MPI的不可压缩N-S方程并行计算方法的研究

在目前的计算流体力学问题中,当求解N-S方程等大型科学计算问题时,存在着计算量大、耗时长的问题,对此提出了一种MPI并行算法,其中包括并行求解三对角矩阵与超松弛迭代。通过实例验证,该方法准确、可靠,并且可以大大缩短计算时间,对于大型科学计算问题具有很好的适用性。     

大型网络系统可靠度计算软件的空间可压缩性理念及相应处理技术

针对用最小路集法求解网络系统可靠度这一问题阐述了大型网络系统可靠度计算软件设计中的空间可压缩性理念,同时介绍相应的空间压缩处理技术,从而指出大型网络系统可靠度计算软件优化设计的发展趋势。     

FACOM230-75的数组处理机

一、数组处理机(ArrayProcessor-AP)的设计思想1.必要性与背景由于有关数组方面的计算是科学技术计算中的一种典型问题,为使共处理简单起见,历来是由硬件和软件两方面共同设法解决的。可是最近在线性规划和结构计算领域里遇到极其大型数组处理的题目,计算这种题目即使用超高速计算机也长达数百小时,为此这种题目就成了研究的对象。作为这种大型数组处理机,是采用通用方     

热传导方程基于界面修正的迭代并行计算方法

在许多实际计算中,由于对时间步长稳定性的要求,辐射热传导方程的计算通常采用隐式格式．隐式格式难以直接在并行机上实施,显式差分格式尽管易于在并行机上实施,但它的稳定性条件苛刻．在计算问题规模相当大时,例如需要具有数百、数千甚至上万台处理器的大型并行计算机进行计算时,数据的强相关与全局通讯等问题成为制约实现高性能计算的突出的瓶颈问题．因此,改造现有的隐式格式,研究适应于大型并行计算机的并行计算方法是目前大型科学与工程计算中迫切需要解决的具有挑战性的问题．本文简要介绍基于界面修正的迭代并行计算格式的构造及基本性质．所提出的并行格式的构造方法是将预测-校正技术应用于分区子区域的内边界,且与子区域内部的迭代求解相结合,讨论了这些并行格式的稳定性、收敛性与并行度等性质．     

微分求积区域分裂法求解二维奇异摄动问题

本文应用微分求积法结合区域分裂法求解二维奇异摄动问题,数值实验表明,该方法简单易行,计算量少,精确度高.并且微分求积法结合区域分裂法把大型计算化成若干小型计算,避免了微分求积法导出的矩阵不是稀疏矩阵对大型计算不利的缺点.     

国内大型超算中心系统及应用发展态势比较分析

超级计算机系统的计算能力与高性能计算的应用水平作为国内外超级计算发展的重要标杆,已日愈受到高度关注和重视,本文主要从超级计算机系统建设和高性能计算应用两方面,对国内几个具有代表性的大型超算中心的发展态势进行比较分析,探讨促进我国大型超算中心可持续发展的相关问题与建议。     

浅析分布式计算相关技术

分布式计算是研究如何利用网络上大量的闲置计算资源来解决大型计算问题的一种计算科学。文中介绍了分布式计算的工作原理,包括中间件技术、网格技术、移动Agent技术、WebService等在内的几种典型的分布式计算技术。     

高速计算机数值方法综述

问题的分类数值分析是一门用数字计算装置来进行科学计算(不包括单纯的数据处理)的学科。由于近年来计算机的不断改革,目前这个领域主要为用大型内存程序数字计算机的问题所占领。现在将经常遇到的计算问题粗略地分为下列几个数学类型:     

大型数据仓库实现技术的研究

大型数据仓库是实现海量数据存储的有效途径，但在大型数据仓库的实现中存在很多问题。在分析问题的基础上，对大型数据仓库的实现问题提出了一定的解决策略，对其中的几个关键技术即数据立方体的有效计算、增量式更新维护、索引优化、故障恢复、模式设计和查询优化的代价模型及元数据的定义和管理等作了研究。     

初探分布式计算及文件保护

分布式计算是利用互联网上的计算机的中央处理器的闲置处理能力来解决大型计算问题的一种计算科学。本文首先介绍了分布式计算的定义和优点,然后深入探讨了分布式系统中文件保护的存取控制、加密技术等安全措施。     

未来的计算

许多关于未来计算的争论都是围绕过去的计算机体系结构进行的。计算机曾经是非常集中化的设备。第一批计算机曾为政府所用,通常用于破译密码之类的领域。后来,大公司购买了大型计算机,由专家负责运行。在大型主机的时代,集中计算仍不成为问题。 小型机时代的变化是让计算机能为更多的组织机构使用。大多数计算还是集中式的,从而使分时系统颇为流行。但是,我们看到过的许许多多机器都是为特殊任务而专用的,大部分用于技术领域。     

免停滞的GMRES(m)算法研究

1.引 言 解大型线性方程组仍是当今数值计算中的一个重要问题[1—8],GMRES(m)算法是解大型非对称线性方程组的常用方法[1],其中A∈Rn×n为大型稀疏非奇异矩阵,x,b∈Rn.然而,当A为非正实阵时,GMRES(m)解问题(1.1)可能会停滞.为此我们在第二节将先给出GMRES(m)停     

多搜索方向共轭梯度法--一种无需整体内积的共轭梯度类方法

§1.引 言 许多大型科学与工程计算问题都归结为大型稀疏线性方程组的求解,因此,在高性能并行计算机高速发展的今天,面向并行计算环境研究大型稀疏线性方程组的高效并行算法显得尤为重要. 对于大型稀疏线性方程组 Ax=b, (1)     

浪潮:刀片用户有三类

从长远看,刀片服务器将是服务器的一种新形态。就像从塔式服务器向机架服务器的转型一样,刀片服务器会是未来相当一部分服务器的形态。因为刀片服务器解决了计算密度问题,功耗问题,可靠性问题等等。目前浪潮的高密度服务器产品主要的用户群又分为这样几类:1.电信增值服务的运营商和需要电信增值服务的机构,因为浪潮的高密度服务器支持和电信系统的紧密集成,易干部署电信增值服务系统;2、需要高计算密度和需要处理大量并发访问的客户。比如高性能科学计算,大型门户网站的服务器集群、大型电子商务系统中的中间件集群、大型内容门户的信息处理(如3G 门户中的媒体网关、IP 电话系统中的语音网关、电话会议系统、大型网络中的加密通讯网关,身份认证和计费服务等等);     

并行计算稀疏矩阵乘以向量的负载平衡算法

稀疏矩阵乘以一个向量（SpM×V）的问题是许多大型应用问题的核心计算问题，文中提出了一种在并行计算机上并行计算SpMXV的负载平衡算法，计算复杂性为O（N）（N为稀疏矩阵的阶），而目前计算此类问题的最优负载平衡算法的计算复杂性为O（N·P）（P为处理机台数）。文章最后给出了并行数值实验。     

信息网格协调性缺乏原因分析

大型信息网格容易产生协调性问题。作为一个典型的大型信息网格，全球信息网格已经出现了缺乏协调性的情况。大型信息网格都带着有多Agent系统的特征。非合作博弈理论可以很好地解释多Agent系统缺乏协调性的原因。使用非合作博弈的原理分析了全球信息网格的协调性问题，并把理论推广到普通的大型信息网格。没有一个统一管理，多Agent技术和网格计算的结合才是缺乏协调性的原因。     

大型天然气管网动态仿真研究与实现

针对大型天然气管网的动态优化问题,对天然气管网拓扑结构的逻辑表征、动态仿真模型和仿真运行控制逻辑等相关技术进行了深入研究。采用线性化预处理、蛙跳、迎风等策略有效地解决了大型天然气管网动态仿真在复杂水力条件下的稳定性和计算效率问题。设计了天然气管道仿真软件的体系结构,并实现了适应于任意拓扑结构的大型天然气管道仿真软件Real Pipe-Gas,完成了大型天然气管网动态仿真软件产品的国产化。经与国外商用管道仿真软件SPS比对表明,该软件计算效率高、结果精度高、易用性强,具有较强的工程应用价值。     

基于分治的背包问题DNA计算机算法

DNA计算机研究的重要内容是关于如何减少DNA计算机在求解大型难解问题中以问题输入纯指数增长的DNA链数。本文将分治策略应用于背包问题的DNA分子计算中,提出了一种新的DNA计算机求解背包问题的算法。背包问题的算法由咒位并行减法器、咒位数据搜索器和其他的4个子算法组成。