1c4762a1bSJed Brown 2c4762a1bSJed Brown static char help[] = "Basic equation for generator stability analysis.\n"; 3c4762a1bSJed Brown 4c4762a1bSJed Brown /*F 5c4762a1bSJed Brown 6c4762a1bSJed Brown \begin{eqnarray} 7c4762a1bSJed Brown \frac{d \theta}{dt} = \omega_b (\omega - \omega_s) 8c4762a1bSJed Brown \frac{2 H}{\omega_s}\frac{d \omega}{dt} & = & P_m - P_max \sin(\theta) -D(\omega - \omega_s)\\ 9c4762a1bSJed Brown \end{eqnarray} 10c4762a1bSJed Brown 11c4762a1bSJed Brown Ensemble of initial conditions 12c4762a1bSJed Brown ./ex2 -ensemble -ts_monitor_draw_solution_phase -1,-3,3,3 -ts_adapt_dt_max .01 -ts_monitor -ts_type rosw -pc_type lu -ksp_type preonly 13c4762a1bSJed Brown 14c4762a1bSJed Brown Fault at .1 seconds 15c4762a1bSJed Brown ./ex2 -ts_monitor_draw_solution_phase .42,.95,.6,1.05 -ts_adapt_dt_max .01 -ts_monitor -ts_type rosw -pc_type lu -ksp_type preonly 16c4762a1bSJed Brown 17c4762a1bSJed Brown Initial conditions same as when fault is ended 18c4762a1bSJed Brown ./ex2 -u 0.496792,1.00932 -ts_monitor_draw_solution_phase .42,.95,.6,1.05 -ts_adapt_dt_max .01 -ts_monitor -ts_type rosw -pc_type lu -ksp_type preonly 19c4762a1bSJed Brown 20c4762a1bSJed Brown F*/ 21c4762a1bSJed Brown 22c4762a1bSJed Brown /* 23c4762a1bSJed Brown Include "petscts.h" so that we can use TS solvers. Note that this 24c4762a1bSJed Brown file automatically includes: 25c4762a1bSJed Brown petscsys.h - base PETSc routines petscvec.h - vectors 26c4762a1bSJed Brown petscmat.h - matrices 27c4762a1bSJed Brown petscis.h - index sets petscksp.h - Krylov subspace methods 28c4762a1bSJed Brown petscviewer.h - viewers petscpc.h - preconditioners 29c4762a1bSJed Brown petscksp.h - linear solvers 30c4762a1bSJed Brown */ 31c4762a1bSJed Brown 32c4762a1bSJed Brown #include <petsctao.h> 33c4762a1bSJed Brown #include <petscts.h> 34c4762a1bSJed Brown 35c4762a1bSJed Brown typedef struct { 36c4762a1bSJed Brown TS ts; 37c4762a1bSJed Brown PetscScalar H,D,omega_b,omega_s,Pmax,Pm,E,V,X,u_s,c; 38c4762a1bSJed Brown PetscInt beta; 39c4762a1bSJed Brown PetscReal tf,tcl,dt; 40c4762a1bSJed Brown } AppCtx; 41c4762a1bSJed Brown 42c4762a1bSJed Brown PetscErrorCode FormFunction(Tao,Vec,PetscReal*,void*); 43c4762a1bSJed Brown PetscErrorCode FormGradient(Tao,Vec,Vec,void*); 44c4762a1bSJed Brown 45c4762a1bSJed Brown /* 46c4762a1bSJed Brown Defines the ODE passed to the ODE solver 47c4762a1bSJed Brown */ 48c4762a1bSJed Brown static PetscErrorCode RHSFunction(TS ts,PetscReal t,Vec U,Vec F,AppCtx *ctx) 49c4762a1bSJed Brown { 50c4762a1bSJed Brown PetscScalar *f,Pmax; 51c4762a1bSJed Brown const PetscScalar *u; 52c4762a1bSJed Brown 53c4762a1bSJed Brown PetscFunctionBegin; 54c4762a1bSJed Brown /* The next three lines allow us to access the entries of the vectors directly */ 555f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArrayRead(U,&u)); 565f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArray(F,&f)); 57c4762a1bSJed Brown if ((t > ctx->tf) && (t < ctx->tcl)) Pmax = 0.0; /* A short-circuit on the generator terminal that drives the electrical power output (Pmax*sin(delta)) to 0 */ 58c4762a1bSJed Brown else Pmax = ctx->Pmax; 59c4762a1bSJed Brown 60c4762a1bSJed Brown f[0] = ctx->omega_b*(u[1] - ctx->omega_s); 61c4762a1bSJed Brown f[1] = (-Pmax*PetscSinScalar(u[0]) - ctx->D*(u[1] - ctx->omega_s) + ctx->Pm)*ctx->omega_s/(2.0*ctx->H); 62c4762a1bSJed Brown 635f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArrayRead(U,&u)); 645f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArray(F,&f)); 65c4762a1bSJed Brown PetscFunctionReturn(0); 66c4762a1bSJed Brown } 67c4762a1bSJed Brown 68c4762a1bSJed Brown /* 69c4762a1bSJed Brown Defines the Jacobian of the ODE passed to the ODE solver. See TSSetIJacobian() for the meaning of a and the Jacobian. 70c4762a1bSJed Brown */ 71c4762a1bSJed Brown static PetscErrorCode RHSJacobian(TS ts,PetscReal t,Vec U,Mat A,Mat B,AppCtx *ctx) 72c4762a1bSJed Brown { 73c4762a1bSJed Brown PetscInt rowcol[] = {0,1}; 74c4762a1bSJed Brown PetscScalar J[2][2],Pmax; 75c4762a1bSJed Brown const PetscScalar *u; 76c4762a1bSJed Brown 77c4762a1bSJed Brown PetscFunctionBegin; 785f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArrayRead(U,&u)); 79c4762a1bSJed Brown if ((t > ctx->tf) && (t < ctx->tcl)) Pmax = 0.0; /* A short-circuit on the generator terminal that drives the electrical power output (Pmax*sin(delta)) to 0 */ 80c4762a1bSJed Brown else Pmax = ctx->Pmax; 81c4762a1bSJed Brown 82c4762a1bSJed Brown J[0][0] = 0; J[0][1] = ctx->omega_b; 83c4762a1bSJed Brown J[1][1] = -ctx->D*ctx->omega_s/(2.0*ctx->H); J[1][0] = -Pmax*PetscCosScalar(u[0])*ctx->omega_s/(2.0*ctx->H); 84c4762a1bSJed Brown 855f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetValues(A,2,rowcol,2,rowcol,&J[0][0],INSERT_VALUES)); 865f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArrayRead(U,&u)); 87c4762a1bSJed Brown 885f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY)); 895f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY)); 90c4762a1bSJed Brown if (A != B) { 915f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY)); 925f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY)); 93c4762a1bSJed Brown } 94c4762a1bSJed Brown PetscFunctionReturn(0); 95c4762a1bSJed Brown } 96c4762a1bSJed Brown 97c4762a1bSJed Brown static PetscErrorCode RHSJacobianP(TS ts,PetscReal t,Vec X,Mat A,void *ctx0) 98c4762a1bSJed Brown { 99c4762a1bSJed Brown PetscInt row[] = {0,1},col[]={0}; 100c4762a1bSJed Brown PetscScalar J[2][1]; 101c4762a1bSJed Brown AppCtx *ctx=(AppCtx*)ctx0; 102c4762a1bSJed Brown 103c4762a1bSJed Brown PetscFunctionBeginUser; 104c4762a1bSJed Brown J[0][0] = 0; 105c4762a1bSJed Brown J[1][0] = ctx->omega_s/(2.0*ctx->H); 1065f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetValues(A,2,row,1,col,&J[0][0],INSERT_VALUES)); 1075f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY)); 1085f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY)); 109c4762a1bSJed Brown PetscFunctionReturn(0); 110c4762a1bSJed Brown } 111c4762a1bSJed Brown 112c4762a1bSJed Brown static PetscErrorCode CostIntegrand(TS ts,PetscReal t,Vec U,Vec R,AppCtx *ctx) 113c4762a1bSJed Brown { 114c4762a1bSJed Brown PetscScalar *r; 115c4762a1bSJed Brown const PetscScalar *u; 116c4762a1bSJed Brown 117c4762a1bSJed Brown PetscFunctionBegin; 1185f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArrayRead(U,&u)); 1195f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArray(R,&r)); 1202f613bf5SBarry Smith r[0] = ctx->c*PetscPowScalarInt(PetscMax(0., u[0]-ctx->u_s),ctx->beta); 1215f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArray(R,&r)); 1225f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArrayRead(U,&u)); 123c4762a1bSJed Brown PetscFunctionReturn(0); 124c4762a1bSJed Brown } 125c4762a1bSJed Brown 126c4762a1bSJed Brown static PetscErrorCode DRDUJacobianTranspose(TS ts,PetscReal t,Vec U,Mat DRDU,Mat B,AppCtx *ctx) 127c4762a1bSJed Brown { 128c4762a1bSJed Brown PetscScalar ru[1]; 129c4762a1bSJed Brown const PetscScalar *u; 130c4762a1bSJed Brown PetscInt row[] = {0},col[] = {0}; 131c4762a1bSJed Brown 132c4762a1bSJed Brown PetscFunctionBegin; 1335f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArrayRead(U,&u)); 1342f613bf5SBarry Smith ru[0] = ctx->c*ctx->beta*PetscPowScalarInt(PetscMax(0., u[0]-ctx->u_s),ctx->beta-1); 1355f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArrayRead(U,&u)); 1365f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetValues(DRDU,1,row,1,col,ru,INSERT_VALUES)); 1375f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyBegin(DRDU,MAT_FINAL_ASSEMBLY)); 1385f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyEnd(DRDU,MAT_FINAL_ASSEMBLY)); 139c4762a1bSJed Brown PetscFunctionReturn(0); 140c4762a1bSJed Brown } 141c4762a1bSJed Brown 142c4762a1bSJed Brown static PetscErrorCode DRDPJacobianTranspose(TS ts,PetscReal t,Vec U,Mat DRDP,AppCtx *ctx) 143c4762a1bSJed Brown { 144c4762a1bSJed Brown PetscFunctionBegin; 1455f80ce2aSJacob Faibussowitsch CHKERRQ(MatZeroEntries(DRDP)); 1465f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyBegin(DRDP,MAT_FINAL_ASSEMBLY)); 1475f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyEnd(DRDP,MAT_FINAL_ASSEMBLY)); 148c4762a1bSJed Brown PetscFunctionReturn(0); 149c4762a1bSJed Brown } 150c4762a1bSJed Brown 151c4762a1bSJed Brown PetscErrorCode ComputeSensiP(Vec lambda,Vec mu,AppCtx *ctx) 152c4762a1bSJed Brown { 153c4762a1bSJed Brown PetscScalar *y,sensip; 154c4762a1bSJed Brown const PetscScalar *x; 155c4762a1bSJed Brown 156c4762a1bSJed Brown PetscFunctionBegin; 1575f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArrayRead(lambda,&x)); 1585f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArray(mu,&y)); 159c4762a1bSJed Brown sensip = 1./PetscSqrtScalar(1.-(ctx->Pm/ctx->Pmax)*(ctx->Pm/ctx->Pmax))/ctx->Pmax*x[0]+y[0]; 160c4762a1bSJed Brown y[0] = sensip; 1615f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArray(mu,&y)); 1625f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArrayRead(lambda,&x)); 163c4762a1bSJed Brown PetscFunctionReturn(0); 164c4762a1bSJed Brown } 165c4762a1bSJed Brown 166c4762a1bSJed Brown int main(int argc,char **argv) 167c4762a1bSJed Brown { 168c4762a1bSJed Brown Vec p; 169c4762a1bSJed Brown PetscScalar *x_ptr; 170c4762a1bSJed Brown PetscErrorCode ierr; 171c4762a1bSJed Brown PetscMPIInt size; 172c4762a1bSJed Brown AppCtx ctx; 173c4762a1bSJed Brown Vec lowerb,upperb; 174c4762a1bSJed Brown Tao tao; 175c4762a1bSJed Brown KSP ksp; 176c4762a1bSJed Brown PC pc; 177c4762a1bSJed Brown Vec U,lambda[1],mu[1]; 178c4762a1bSJed Brown Mat A; /* Jacobian matrix */ 179c4762a1bSJed Brown Mat Jacp; /* Jacobian matrix */ 180c4762a1bSJed Brown Mat DRDU,DRDP; 181c4762a1bSJed Brown PetscInt n = 2; 182c4762a1bSJed Brown TS quadts; 183c4762a1bSJed Brown 184c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 185c4762a1bSJed Brown Initialize program 186c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 187*b122ec5aSJacob Faibussowitsch CHKERRQ(PetscInitialize(&argc,&argv,NULL,help)); 188c4762a1bSJed Brown PetscFunctionBeginUser; 1895f80ce2aSJacob Faibussowitsch CHKERRMPI(MPI_Comm_size(PETSC_COMM_WORLD,&size)); 1903c633725SBarry Smith PetscCheck(size == 1,PETSC_COMM_WORLD,PETSC_ERR_WRONG_MPI_SIZE,"This is a uniprocessor example only!"); 191c4762a1bSJed Brown 192c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 193c4762a1bSJed Brown Set runtime options 194c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 195c4762a1bSJed Brown ierr = PetscOptionsBegin(PETSC_COMM_WORLD,NULL,"Swing equation options","");CHKERRQ(ierr); 196c4762a1bSJed Brown { 197c4762a1bSJed Brown ctx.beta = 2; 198c4762a1bSJed Brown ctx.c = PetscRealConstant(10000.0); 199c4762a1bSJed Brown ctx.u_s = PetscRealConstant(1.0); 200c4762a1bSJed Brown ctx.omega_s = PetscRealConstant(1.0); 201c4762a1bSJed Brown ctx.omega_b = PetscRealConstant(120.0)*PETSC_PI; 202c4762a1bSJed Brown ctx.H = PetscRealConstant(5.0); 2035f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsScalar("-Inertia","","",ctx.H,&ctx.H,NULL)); 204c4762a1bSJed Brown ctx.D = PetscRealConstant(5.0); 2055f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsScalar("-D","","",ctx.D,&ctx.D,NULL)); 206c4762a1bSJed Brown ctx.E = PetscRealConstant(1.1378); 207c4762a1bSJed Brown ctx.V = PetscRealConstant(1.0); 208c4762a1bSJed Brown ctx.X = PetscRealConstant(0.545); 209c4762a1bSJed Brown ctx.Pmax = ctx.E*ctx.V/ctx.X; 2105f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsScalar("-Pmax","","",ctx.Pmax,&ctx.Pmax,NULL)); 211c4762a1bSJed Brown ctx.Pm = PetscRealConstant(1.0194); 2125f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsScalar("-Pm","","",ctx.Pm,&ctx.Pm,NULL)); 213c4762a1bSJed Brown ctx.tf = PetscRealConstant(0.1); 214c4762a1bSJed Brown ctx.tcl = PetscRealConstant(0.2); 2155f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsReal("-tf","Time to start fault","",ctx.tf,&ctx.tf,NULL)); 2165f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsReal("-tcl","Time to end fault","",ctx.tcl,&ctx.tcl,NULL)); 217c4762a1bSJed Brown 218c4762a1bSJed Brown } 219c4762a1bSJed Brown ierr = PetscOptionsEnd();CHKERRQ(ierr); 220c4762a1bSJed Brown 221c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 222c4762a1bSJed Brown Create necessary matrix and vectors 223c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 2245f80ce2aSJacob Faibussowitsch CHKERRQ(MatCreate(PETSC_COMM_WORLD,&A)); 2255f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetSizes(A,n,n,PETSC_DETERMINE,PETSC_DETERMINE)); 2265f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetType(A,MATDENSE)); 2275f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetFromOptions(A)); 2285f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetUp(A)); 229c4762a1bSJed Brown 2305f80ce2aSJacob Faibussowitsch CHKERRQ(MatCreateVecs(A,&U,NULL)); 231c4762a1bSJed Brown 2325f80ce2aSJacob Faibussowitsch CHKERRQ(MatCreate(PETSC_COMM_WORLD,&Jacp)); 2335f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetSizes(Jacp,PETSC_DECIDE,PETSC_DECIDE,2,1)); 2345f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetFromOptions(Jacp)); 2355f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetUp(Jacp)); 2365f80ce2aSJacob Faibussowitsch CHKERRQ(MatCreateDense(PETSC_COMM_WORLD,PETSC_DECIDE,PETSC_DECIDE,1,1,NULL,&DRDP)); 2375f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetUp(DRDP)); 2385f80ce2aSJacob Faibussowitsch CHKERRQ(MatCreateDense(PETSC_COMM_WORLD,PETSC_DECIDE,PETSC_DECIDE,1,2,NULL,&DRDU)); 2395f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetUp(DRDU)); 240c4762a1bSJed Brown 241c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 242c4762a1bSJed Brown Create timestepping solver context 243c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 2445f80ce2aSJacob Faibussowitsch CHKERRQ(TSCreate(PETSC_COMM_WORLD,&ctx.ts)); 2455f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetProblemType(ctx.ts,TS_NONLINEAR)); 2465f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetEquationType(ctx.ts,TS_EQ_ODE_EXPLICIT)); /* less Jacobian evaluations when adjoint BEuler is used, otherwise no effect */ 2475f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetType(ctx.ts,TSRK)); 2485f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetRHSFunction(ctx.ts,NULL,(TSRHSFunction)RHSFunction,&ctx)); 2495f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetRHSJacobian(ctx.ts,A,A,(TSRHSJacobian)RHSJacobian,&ctx)); 2505f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetExactFinalTime(ctx.ts,TS_EXACTFINALTIME_MATCHSTEP)); 251c4762a1bSJed Brown 2525f80ce2aSJacob Faibussowitsch CHKERRQ(MatCreateVecs(A,&lambda[0],NULL)); 2535f80ce2aSJacob Faibussowitsch CHKERRQ(MatCreateVecs(Jacp,&mu[0],NULL)); 2545f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetCostGradients(ctx.ts,1,lambda,mu)); 2555f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetRHSJacobianP(ctx.ts,Jacp,RHSJacobianP,&ctx)); 256c4762a1bSJed Brown 257c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 258c4762a1bSJed Brown Set solver options 259c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 2605f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetMaxTime(ctx.ts,PetscRealConstant(1.0))); 2615f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetTimeStep(ctx.ts,PetscRealConstant(0.01))); 2625f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetFromOptions(ctx.ts)); 263c4762a1bSJed Brown 2645f80ce2aSJacob Faibussowitsch CHKERRQ(TSGetTimeStep(ctx.ts,&ctx.dt)); /* save the stepsize */ 265c4762a1bSJed Brown 2665f80ce2aSJacob Faibussowitsch CHKERRQ(TSCreateQuadratureTS(ctx.ts,PETSC_TRUE,&quadts)); 2675f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetRHSFunction(quadts,NULL,(TSRHSFunction)CostIntegrand,&ctx)); 2685f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetRHSJacobian(quadts,DRDU,DRDU,(TSRHSJacobian)DRDUJacobianTranspose,&ctx)); 2695f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetRHSJacobianP(quadts,DRDP,(TSRHSJacobianP)DRDPJacobianTranspose,&ctx)); 2705f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetSolution(ctx.ts,U)); 271c4762a1bSJed Brown 272c4762a1bSJed Brown /* Create TAO solver and set desired solution method */ 2735f80ce2aSJacob Faibussowitsch CHKERRQ(TaoCreate(PETSC_COMM_WORLD,&tao)); 2745f80ce2aSJacob Faibussowitsch CHKERRQ(TaoSetType(tao,TAOBLMVM)); 275c4762a1bSJed Brown 276c4762a1bSJed Brown /* 277c4762a1bSJed Brown Optimization starts 278c4762a1bSJed Brown */ 279c4762a1bSJed Brown /* Set initial solution guess */ 2805f80ce2aSJacob Faibussowitsch CHKERRQ(VecCreateSeq(PETSC_COMM_WORLD,1,&p)); 2815f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArray(p,&x_ptr)); 282c4762a1bSJed Brown x_ptr[0] = ctx.Pm; 2835f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArray(p,&x_ptr)); 284c4762a1bSJed Brown 2855f80ce2aSJacob Faibussowitsch CHKERRQ(TaoSetSolution(tao,p)); 286c4762a1bSJed Brown /* Set routine for function and gradient evaluation */ 2875f80ce2aSJacob Faibussowitsch CHKERRQ(TaoSetObjective(tao,FormFunction,(void *)&ctx)); 2885f80ce2aSJacob Faibussowitsch CHKERRQ(TaoSetGradient(tao,NULL,FormGradient,(void *)&ctx)); 289c4762a1bSJed Brown 290c4762a1bSJed Brown /* Set bounds for the optimization */ 2915f80ce2aSJacob Faibussowitsch CHKERRQ(VecDuplicate(p,&lowerb)); 2925f80ce2aSJacob Faibussowitsch CHKERRQ(VecDuplicate(p,&upperb)); 2935f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArray(lowerb,&x_ptr)); 294c4762a1bSJed Brown x_ptr[0] = 0.; 2955f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArray(lowerb,&x_ptr)); 2965f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArray(upperb,&x_ptr)); 297c4762a1bSJed Brown x_ptr[0] = PetscRealConstant(1.1); 2985f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArray(upperb,&x_ptr)); 2995f80ce2aSJacob Faibussowitsch CHKERRQ(TaoSetVariableBounds(tao,lowerb,upperb)); 300c4762a1bSJed Brown 301c4762a1bSJed Brown /* Check for any TAO command line options */ 3025f80ce2aSJacob Faibussowitsch CHKERRQ(TaoSetFromOptions(tao)); 3035f80ce2aSJacob Faibussowitsch CHKERRQ(TaoGetKSP(tao,&ksp)); 304c4762a1bSJed Brown if (ksp) { 3055f80ce2aSJacob Faibussowitsch CHKERRQ(KSPGetPC(ksp,&pc)); 3065f80ce2aSJacob Faibussowitsch CHKERRQ(PCSetType(pc,PCNONE)); 307c4762a1bSJed Brown } 308c4762a1bSJed Brown 309c4762a1bSJed Brown /* SOLVE THE APPLICATION */ 3105f80ce2aSJacob Faibussowitsch CHKERRQ(TaoSolve(tao)); 311c4762a1bSJed Brown 3125f80ce2aSJacob Faibussowitsch CHKERRQ(VecView(p,PETSC_VIEWER_STDOUT_WORLD)); 313c4762a1bSJed Brown /* Free TAO data structures */ 3145f80ce2aSJacob Faibussowitsch CHKERRQ(TaoDestroy(&tao)); 3155f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&p)); 3165f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&lowerb)); 3175f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&upperb)); 318c4762a1bSJed Brown 3195f80ce2aSJacob Faibussowitsch CHKERRQ(TSDestroy(&ctx.ts)); 3205f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&U)); 3215f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&A)); 3225f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&Jacp)); 3235f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&DRDU)); 3245f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&DRDP)); 3255f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&lambda[0])); 3265f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&mu[0])); 327*b122ec5aSJacob Faibussowitsch CHKERRQ(PetscFinalize()); 328*b122ec5aSJacob Faibussowitsch return 0; 329c4762a1bSJed Brown } 330c4762a1bSJed Brown 331c4762a1bSJed Brown /* ------------------------------------------------------------------ */ 332c4762a1bSJed Brown /* 333c4762a1bSJed Brown FormFunction - Evaluates the function 334c4762a1bSJed Brown 335c4762a1bSJed Brown Input Parameters: 336c4762a1bSJed Brown tao - the Tao context 337c4762a1bSJed Brown X - the input vector 338a82e8c82SStefano Zampini ptr - optional user-defined context, as set by TaoSetObjectiveAndGradient() 339c4762a1bSJed Brown 340c4762a1bSJed Brown Output Parameters: 341c4762a1bSJed Brown f - the newly evaluated function 342c4762a1bSJed Brown */ 343c4762a1bSJed Brown PetscErrorCode FormFunction(Tao tao,Vec P,PetscReal *f,void *ctx0) 344c4762a1bSJed Brown { 345c4762a1bSJed Brown AppCtx *ctx = (AppCtx*)ctx0; 346c4762a1bSJed Brown TS ts = ctx->ts; 347c4762a1bSJed Brown Vec U; /* solution will be stored here */ 348c4762a1bSJed Brown PetscScalar *u; 349c4762a1bSJed Brown PetscScalar *x_ptr; 350c4762a1bSJed Brown Vec q; 351c4762a1bSJed Brown 3525f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArrayRead(P,(const PetscScalar**)&x_ptr)); 353c4762a1bSJed Brown ctx->Pm = x_ptr[0]; 3545f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArrayRead(P,(const PetscScalar**)&x_ptr)); 355c4762a1bSJed Brown 356c4762a1bSJed Brown /* reset time */ 3575f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetTime(ts,0.0)); 358c4762a1bSJed Brown /* reset step counter, this is critical for adjoint solver */ 3595f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetStepNumber(ts,0)); 360c4762a1bSJed Brown /* reset step size, the step size becomes negative after TSAdjointSolve */ 3615f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetTimeStep(ts,ctx->dt)); 362c4762a1bSJed Brown /* reinitialize the integral value */ 3635f80ce2aSJacob Faibussowitsch CHKERRQ(TSGetCostIntegral(ts,&q)); 3645f80ce2aSJacob Faibussowitsch CHKERRQ(VecSet(q,0.0)); 365c4762a1bSJed Brown 366c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 367c4762a1bSJed Brown Set initial conditions 368c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 3695f80ce2aSJacob Faibussowitsch CHKERRQ(TSGetSolution(ts,&U)); 3705f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArray(U,&u)); 371c4762a1bSJed Brown u[0] = PetscAsinScalar(ctx->Pm/ctx->Pmax); 372c4762a1bSJed Brown u[1] = PetscRealConstant(1.0); 3735f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArray(U,&u)); 374c4762a1bSJed Brown 375c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 376c4762a1bSJed Brown Solve nonlinear system 377c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 3785f80ce2aSJacob Faibussowitsch CHKERRQ(TSSolve(ts,U)); 3795f80ce2aSJacob Faibussowitsch CHKERRQ(TSGetCostIntegral(ts,&q)); 3805f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArray(q,&x_ptr)); 381c4762a1bSJed Brown *f = -ctx->Pm + x_ptr[0]; 3825f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArray(q,&x_ptr)); 383c4762a1bSJed Brown return 0; 384c4762a1bSJed Brown } 385c4762a1bSJed Brown 386c4762a1bSJed Brown PetscErrorCode FormGradient(Tao tao,Vec P,Vec G,void *ctx0) 387c4762a1bSJed Brown { 388c4762a1bSJed Brown AppCtx *ctx = (AppCtx*)ctx0; 389c4762a1bSJed Brown TS ts = ctx->ts; 390c4762a1bSJed Brown Vec U; /* solution will be stored here */ 391c4762a1bSJed Brown PetscReal ftime; 392c4762a1bSJed Brown PetscInt steps; 393c4762a1bSJed Brown PetscScalar *u; 394c4762a1bSJed Brown PetscScalar *x_ptr,*y_ptr; 395c4762a1bSJed Brown Vec *lambda,q,*mu; 396c4762a1bSJed Brown 3975f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArrayRead(P,(const PetscScalar**)&x_ptr)); 398c4762a1bSJed Brown ctx->Pm = x_ptr[0]; 3995f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArrayRead(P,(const PetscScalar**)&x_ptr)); 400c4762a1bSJed Brown 401c4762a1bSJed Brown /* reset time */ 4025f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetTime(ts,0.0)); 403c4762a1bSJed Brown /* reset step counter, this is critical for adjoint solver */ 4045f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetStepNumber(ts,0)); 405c4762a1bSJed Brown /* reset step size, the step size becomes negative after TSAdjointSolve */ 4065f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetTimeStep(ts,ctx->dt)); 407c4762a1bSJed Brown /* reinitialize the integral value */ 4085f80ce2aSJacob Faibussowitsch CHKERRQ(TSGetCostIntegral(ts,&q)); 4095f80ce2aSJacob Faibussowitsch CHKERRQ(VecSet(q,0.0)); 410c4762a1bSJed Brown 411c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 412c4762a1bSJed Brown Set initial conditions 413c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 4145f80ce2aSJacob Faibussowitsch CHKERRQ(TSGetSolution(ts,&U)); 4155f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArray(U,&u)); 416c4762a1bSJed Brown u[0] = PetscAsinScalar(ctx->Pm/ctx->Pmax); 417c4762a1bSJed Brown u[1] = PetscRealConstant(1.0); 4185f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArray(U,&u)); 419c4762a1bSJed Brown 420f32d6360SSatish Balay /* Set up to save trajectory before TSSetFromOptions() so that TSTrajectory options can be captured */ 4215f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetSaveTrajectory(ts)); 4225f80ce2aSJacob Faibussowitsch CHKERRQ(TSSetFromOptions(ts)); 423c4762a1bSJed Brown 424c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 425c4762a1bSJed Brown Solve nonlinear system 426c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 4275f80ce2aSJacob Faibussowitsch CHKERRQ(TSSolve(ts,U)); 428c4762a1bSJed Brown 4295f80ce2aSJacob Faibussowitsch CHKERRQ(TSGetSolveTime(ts,&ftime)); 4305f80ce2aSJacob Faibussowitsch CHKERRQ(TSGetStepNumber(ts,&steps)); 431c4762a1bSJed Brown 432c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 433c4762a1bSJed Brown Adjoint model starts here 434c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 4355f80ce2aSJacob Faibussowitsch CHKERRQ(TSGetCostGradients(ts,NULL,&lambda,&mu)); 436c4762a1bSJed Brown /* Set initial conditions for the adjoint integration */ 4375f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArray(lambda[0],&y_ptr)); 438c4762a1bSJed Brown y_ptr[0] = 0.0; y_ptr[1] = 0.0; 4395f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArray(lambda[0],&y_ptr)); 4405f80ce2aSJacob Faibussowitsch CHKERRQ(VecGetArray(mu[0],&x_ptr)); 441c4762a1bSJed Brown x_ptr[0] = PetscRealConstant(-1.0); 4425f80ce2aSJacob Faibussowitsch CHKERRQ(VecRestoreArray(mu[0],&x_ptr)); 443c4762a1bSJed Brown 4445f80ce2aSJacob Faibussowitsch CHKERRQ(TSAdjointSolve(ts)); 4455f80ce2aSJacob Faibussowitsch CHKERRQ(TSGetCostIntegral(ts,&q)); 4465f80ce2aSJacob Faibussowitsch CHKERRQ(ComputeSensiP(lambda[0],mu[0],ctx)); 4475f80ce2aSJacob Faibussowitsch CHKERRQ(VecCopy(mu[0],G)); 448c4762a1bSJed Brown return 0; 449c4762a1bSJed Brown } 450c4762a1bSJed Brown 451c4762a1bSJed Brown /*TEST 452c4762a1bSJed Brown 453c4762a1bSJed Brown build: 454c4762a1bSJed Brown requires: !complex 455c4762a1bSJed Brown 456c4762a1bSJed Brown test: 457c4762a1bSJed Brown args: -viewer_binary_skip_info -ts_adapt_type none -tao_monitor -tao_gatol 0.0 -tao_grtol 1.e-3 -tao_converged_reason 458c4762a1bSJed Brown 459c4762a1bSJed Brown test: 460c4762a1bSJed Brown suffix: 2 461c4762a1bSJed Brown args: -viewer_binary_skip_info -ts_adapt_type none -tao_monitor -tao_gatol 0.0 -tao_grtol 1.e-3 -tao_converged_reason -tao_test_gradient 462c4762a1bSJed Brown 463c4762a1bSJed Brown TEST*/ 464