当前位置: 首页 > article >正文

MPI程序实例:自适应数值积分

目录

一、梯形积分公式

二、局部二分自适应区间加密

三、串行程序

四、基于简单区域分解的并行算法


        上一节我们介绍了一个用梯形公式积分计算π的MPI程序实例,本节我们将对这个实例进行扩展,采用梯形公式结合自适应局部区间加密,计算一个函数在给定区间上的定积分达到指定精度。

一、梯形积分公式

        相关理论在另一个专栏《常微分方程》中也介绍过,有兴趣的小伙伴可以参考:↓传送门↓

常微分方程_猿核试Bug愁的博客-CSDN博客icon-default.png?t=O83Ahttps://blog.csdn.net/l_peanut/category_12628498.html?spm=1001.2014.3001.5482

        设f(x)是定义在区间(a,b)上的近似积分的梯形公式为:

\int_{a}^{b}f(x)dx\approx (b-a)\frac{f(a)+f(b)}{2}                                               (1)

        梯形积分公式(1)的误差为

-\frac{1}{12}(b-a)^{3}f^{''}(\xi)                                                          (2)

其中\xi \in (a,b)。为了提高计算精度,将积分区间(a,b)分成n个小区间:a=x_{0}<x_{1}<\cdots<x_{n}=b,在每个小区间上应用梯形公式计算积分的近似值,然后对这些小区间的近似值求和来得到整个区间(a,b)上的近似积分,该方法称为“复化梯形公式”。计算公式为:

\int_{a}^{b}f(x)dx\approx \frac{1}{2}\sum_{i=1}^{n}(x_{i}-x_{i-1})(f(x_{i-1})+f(x_{i}))                           (3)

        当每个小区间的长度相等时,复化梯形公式变为:

\int_{a}^{b}f(x)dx\approx \frac{h}{2}[f(a)+f(b)+2\sum_{i=1}^{n-1}]f(x_{i})                              (4)

其中h=(b-a)/n为小区间长度(也称积分步长),x_{i}=a+ih。 

        用公式(4)计算积分的误差为:

-\frac{1}{12}h^{2}f^{''}(\xi)                                                               (5)

其中\xi为区间(a,b)中的某个点。

二、局部二分自适应区间加密

        从公式(2)中可知,梯形公式的计算误差与函数的二阶导数,即函数梯度的变化速度(曲线(x,f(x))的弧度)有关。为达到在给定精度的前提下减少计算函数次数的目的,可以根据函数导数的变化情况在不同地方使用不同长度的积分步长。下面为局部二分自适应区间加密算法

算法1

(0)取当前计算区间为(x_{0},x_{1})=(a,b)

(1)用梯形公式(1)计算函数在当前计算区间(x_{0},x_{1})上的积分的近似值;

(2)判断近似值的误差,如果误差满足要求,则该值即为该区间上的计算结果,该区间上的计算过程结束;

(3)否则将区间一分为二:令x_{c}=(x_{0}+x_{1})/2,分别对子区间(x_{0},x_{c})(x_{c},x_{1})重复步骤1-3,直到它们的计算误差分别满足要求,然后将子区间(x_{0},x_{c})(x_{c},x_{1})上的计算结果之和做为区间(x_{0},x_{1})上的计算结果。

        算法1是一个递归过程,为了判断当前区间上的计算结果是否满足精度要求,需要对误差进行估计。根据公式(2),区间(x_{0},x_{1})上梯形公式的计算误差为:

-\frac{1}{12}(x_{1}-x_{0})^{3}f^{''}(\xi)                                                             (6)

其中\xi(x_{0},x_{1})中的某个点。实际计算时,可以用该区间的中点x_{c}=\frac{1}{2}(x_{0}+x_{1})近似代替\xi来对误差进行估计,当区间长度较小时,它们的差别是很小的。然后再用二阶中心差商近似代替区间中点x_{c}处的二阶导数值:

f^{''}(\xi)\approx f^{''}(x_{c})\approx 4\frac{f(x_{0})-2f(x_{c})+f(x_{1})}{(x_{1}-x_{0})^{2}}                                            (7)

        将公式(7)代入公式(6)得到下面的近似误差估计:

-\frac{1}{3}(x_{1}-x_{0})(f(x_{0})-2f(x_{c})+f(x_{1}))                                         (8)

        假设希望整个区间(a,b)上的计算误差小于\epsilon,则只需让每个小区间上的误差小于h\epsilon (b-a)即可,其中h代表小区间的长度。对区间(x_{0},x_{1})而言,h=x_{1}-x_{0},因此,可以通过下式来判断误差是否满足要求:

|f(x_{0})-2f(x_{c})+f(x_{1})|<3\epsilon /(b-a)                                         (9)

        记h=x_{1}-x_{0}为当前计算区间(x_{0},x_{1})的长度,v_{0}为梯形公式计算得到的积分近似值:

v_{0}=\frac{1}{2}h(f(x_{0})+f(x_{1}))                                                     (10)

公式(9)中需要计算区间中点的函数值,可以利用它来计算一个比v_{0}更为精确的近似值v

v=\frac{1}{4}h(f(x_{0})+f(x_{1})+2f(x_{c}))=\frac{1}{2}(v_{0}+hf(x_{c}))                           (11)

v的误差近似等于v_{0}的误差的1/4,因此如果用v作为近似积分结果,则误差判断依据可以改为:

|f(x_{0})-2f(x_{c})+f(x_{1})|<12\epsilon /(b-a)                                    (12)

        由公式(10)和(11)可知:

f(x_{0})-2f(x_{c})+f(x_{1})=\frac{4}{h}(v_{0}-v)         

因此可以在程序中使用下面的误差判据:

|v_{0}-v|<3h\epsilon (b-a)                                                      (13)

即当一个区间上计算的值与将区间分半后计算的值间的误差小于该区间长度的3倍乘以\epsilon /(b-a)时,便可以认为计算达到精度要求,并将v作为该区间上的计算结果。导出的算法如下:

算法2

        梯形公式结合自适应逐次区间分半方法,计算函数F(x)在区间(a,b)上的定积分值。当计算区间上的梯形积分公式不满足精度要求时,该函数将计算区间分半,并对自己进行递归调用来分别计算两个子区间上的积分值(递归过程在算法第12行)。

1:\mathbf{Function} \;\;Integr(a,f_{a},b,f_{b},\epsilon,\mathbb{F})\\ 2:\mathbf{begin}\\ 3:\;\;\;\; \mathbf{if}\;a=b\;\mathbf{then}\\ 4:\;\;\;\;\;\;\;\;\;\;\;\; \mathbf{return}\;0\\ 5:\;\;\;\; \mathbf{end\;if}\\ 6:\;\;\;\; x_{c}:=(a+b)/2;\;\;h:=b-a;\;\;v_{0}:=h*(f_{a}+f_{b})/2\\ 7:\;\;\;\; \mathbf{if}\;x_{c}=a\;\mathbf{or}\;x_{c}=b\;\mathbf{then}\\ 8:\;\;\;\;\;\;\;\;\;\;\;\; \mathbf{return}\;v_{0}\\ 9:\;\;\;\; \mathbf{end\;if}\\ 10:\;\;f_{c}:=\mathbb{F}(x_{c});\;\;v:=(v_{0}+f_{0}*h)/2;\;\;e:=|v-v_{0}|\\ 11:\;\;\mathbf{if}\;e\geqslant 3*h*\epsilon \;\mathbf{then}\\ 12:\;\;\;\;\;\;\;\;\;\;\mathbf{return}\;Integr(a,f_{a},x_{c},f_{c},\epsilon,\mathbb{F})+Integr(x_{c},f_{c},b,f_{b},\epsilon,\mathbb{F})\\ 13:\;\;\mathbf{else}\\ 14:\;\;\;\;\;\;\;\;\;\;\mathbf{return}\;v\\ 15:\;\; \mathbf{end\;if}\\ 16:\mathbf{end}

三、串行程序

        根据算法2编写C语言程序,程序中增加了两个常量MAX_DEPTH和MACHINE_PREC,用于控制递归深度,避免出现过深的嵌套递归。

工程文件由:integration.h、integration.cpp、function.h、function.cpp、main.cpp组成。

(1)integration.h文件

double integration(double a, double fa, double b, double fb, double eps, double (*F)(double x));

(2)integration.cpp文件

#include <stdio.h>
#include <stdlib.h>
#include <cmath>
#include "integration.h"

#define MAX_DEPTH        1024        /*最大递归深度*/
#define MACHINE_PREC     1e-15       /*机器精度*/


//梯形公式递归计算积分值
double integration(double a, double fa, double b, double fb, double eps, double (*F)(double x))
{
    static int depth = 0;            /*当前递归深度*/
    double fc, v, v0, h, xc;

    ++depth;
    v = 0.0;
    if(a != b)
    {
        xc = (a + b)*0.5;
        h = b - a;
        v = v0 = h*(fa + fb)*0.5;
        if(xc != a && xc !=b)
        {
            double err;
            fc = (*F)(xc);
            v = (v0 + fc *h)*0.5;
            err = fabs(v - v0);
            if(err >= 3.0*h*eps && fabs(h) >= (1.0 + fabs(xc))*MACHINE_PREC)
            {
                v = integration(a, fa, xc, fc, eps, F) + integration(xc, fc, b, fb, eps, F);
            }
        }
    }

    --depth;

    return v;
}

(3)function.h文件

extern int evaluation_count;
extern double RESULT;
double F(double x);
void gettime(double *cpu, double *wall);

(4)function.cpp文件

#include <stdio.h>
#include <sys/time.h>
#include <sys/resource.h>

int evaluation_count = 0;

/*被积函数*/
double F(double x)
{
    size_t i;
    for(i = 0; i < 5000000; i++);    /*为增加计算时间引入的空循环*/
    evaluation_count++;

    return 4.0/(1.0 + x*x);
}

/*积分精确值(用于检验结果)*/
double RESULT = 3.141592653589793;

void gettime(double *cpu, double *wall)      /*返回当前CPU和墙上时间*/
{
    struct timeval tv;
    struct rusage ru;
    if(cpu != NULL)
    {
        getrusage(RUSAGE_SELF, &ru);
        *cpu = ru.ru_utime.tv_sec + (double)ru.ru_utime.tv_usec*1e-16;
    }
    if(wall != NULL)
    {
        gettimeofday(&tv, NULL);
        *wall = tv.tv_sec +(double).tv.tv_usec*1e-6;
    }
}

(5)main.cpp文件

#include <stdio.h>
#include <stdlib.h>
#include <cmath>
#include "function.h"
#include "integration.h"


int main(int argc, char *argv[])
{
    double a = 0.0, b = 1.0;
    double res, cpu0, cpu1, wall0, wall1;
    if(argc != 2)
    {
        printf("Usage:    %s epsilon.\n", argv[0]);
        printf("Example:  %s 1e-4.\n", argv[0]);
        return 1;
    }

    gettime(&cpu0, &wall0);
    res = integration(a, F(a), b, F(b), atof(argv[1])/(b - a), F);
    gettime(&cpu1, &wall1);
    printf("result = %0.16f, error = %.0.4le, cputime = %0.4lf, wtime = %0.4lf.\n", res, res - RESULT, cpu1 - cpu0, wall1 - wall0);
    printf("%u function evaluations.\n", evaluation_count);

    return 0;
}

        编译并运行,结果如下:

        下图为运行上例得到的最终积分区间,可知在x=0附件积分区间比较密集。

四、基于简单区域分解的并行算法

        为了使用P个进程实现算法2的并行计算,最简单的方法是将积分区间等分成P个子区间,每个进程独立地调用integration函数计算一个子区间上的近似积分,然后对这些子区间上的近似积分值求和即可得到计算结果,只需修改串行程序的主程序main.cpp即可得到MPI并行程序。

/*递归方式自适应数值积分MPI主程序:均匀区间划分*/

#include <stdio.h>
#include <stdlib.h>
#include <cmath>
#include "mpi.h"
#include "function.h"
#include "integration.h"

int main(int argc, char *argv[])
{
    int nprocs, myrank;
    double a = 0.0, b = 1.0;
    double eps, res, res0, a0, b0, cpu0, cpu1, wall0, wall1, wall2;
    
    MPI_Init(&argc, &argv);
    MPI_Comm_size(MPI_COMM_WORLD, &nprocs);
    MPI_Comm_rank(MPI_COMM_WORLD, &myrank);
    
    if(myrank == 0)
    {
        if(argc != 2)
        {
            printf("Usage:     %s epsilon.\n", argv[0]);
            printf("Example:   %s 1e-4.\n", argv[0]);
            MPI_Abort(MPI_COMM_WORLD, 1);
            return 1;
        }
        eps = atof(argv[1]);
    }

    /*将eps广播给所有进程*/
    MPI_Bcast(&eps, 1, MPI_DOUBLE, 0, MPI_COMM_WORLD);
    
    /*计算本进程的积分区间*/
    a0 = a + (myrank + 0)*(b - a)/nprocs;
    b0 = a + (myrank + 1)*(b - a)/nprocs;

    /*开始时间*/
    gettime(&cpu0, &wall0);
    res0 = integration(a0, F(a0), b0, F(b0), eps/(b - a), F);
    gettime(&cpu1, &wall1);
    printf("\tRank = %d, # of evaluations = %u, cputime = %0.4lf, wtime = %0.4lf.\n", myrank, evalution_count, cpu1 - cpu0, wall1 - wall0);
    MPI_Reduce(&res0, &res, 1, MPI_DOUBLE, MPI_SUM, 0, MPI_COMM_WORLD);
    gettime(NULL, &wall2);

    if(myrank == 0)
    {
        printf("result = %0.16lf, error = %0.4le, wtime = %0.4lf.\n", res, res - RESULT, wall2 - wall0);
    }

    MPI_Finalize();
    return 0;
}

        编译及运行结果如下:


http://www.kler.cn/news/324927.html

相关文章:

  • k8s中,pod生命周期,初始化容器,容器探针,事件处理函数,理解其设计思路及作用
  • 字段映射和数据转换为什么是数据集成的关键?
  • 数据结构:栈 及其应用
  • 汽车总线之---- LIN总线
  • 一文上手SpringSecurity【二】
  • Flink 结合kafka 实现端到端的一致性原理
  • 一文说完c++全部基础知识,IO流(二)
  • 2、Java 基础 - 面向对象基础
  • Qt 信号重载问题--使用lambda表达式--解决方法
  • 国庆节快乐|中国何以成为中国
  • 在Spring项目中使用MD5对数据库加密
  • QT中基于QMatrix4x4与QVector3D的三维坐标变换类实现
  • 理想汽车使用无仪表盘设计的原因和弊端
  • 传统行业选择企业大文件传输系统需要注意哪些?
  • 【C语言刷力扣】2079.给植物浇水
  • 关于MATLAB计算3维图的向量夹角总是不正确的问题记录
  • 金融加密机的定义与功能
  • 【RabbitMQ——SpringBoot整合】
  • 少帅进行曲
  • 模拟实现(优先级队列)priority_queue:优先级队列、仿函数、 反向迭代器等的介绍
  • 再见 ESNI,你好 ECH!—— ECH的前世今生
  • 负载均衡(Load Balancing)是一种计算机技术,用于在网络应用中分配工作负载,以优化资源使用、最大化吞吐量、减少响应时间以及避免过载。
  • Elasticsearch实战应用:构建高效搜索引擎
  • vue 同一个页面第二次跳转路由内容不更新
  • SQL常用数据过滤 - EXISTS运算符
  • 基于SpringBoot校园失物招领系统设计与实现
  • 职业技能大赛-单元测试笔记分享
  • Git GUI操作流程
  • 使用Spring Cloud Config和JCE加密配置文件的实战教程
  • 新版Android Studio Koala 导入github第三方依赖 maven仓库的处理方法 (java版)