Difference between revisions of "MIPDECO"
(Created page with "== Mixed-Integer PDE Constrained Optimization (MIPDECO) Test Problems == This page links to setsof MIPDECO test problems written in [ampl.com AMPL]") |
|||
(55 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | + | '''Mixed-Integer PDE Constrained Optimization (MIPDECO) Test Problems''' | |
− | This page links to | + | This page links to sets of MIPDECO test problems written in [http://www.ampl.com AMPL] and described in a companion report. |
+ | |||
+ | Each problem includes a characterization in terms of type of PDE, class of integers, type of objective, type of constraints, and discretization scheme. | ||
+ | |||
+ | A tar-ball with all ampl models, data, and command files is available here. A tar-ball with the corresponding stub.nl files is available here. | ||
+ | |||
+ | = Laplace Source Inversion = | ||
+ | |||
+ | Problem is to identify source to match an observed state, governed by Laplace equation with Dirichtlet boundary conditions. | ||
+ | |||
+ | {| border="1" cellpadding="1" cellspacing="1" | ||
+ | |- align="left" | ||
+ | | '''Type of PDE''' | ||
+ | | Laplace equation on [0,1]^2 with Dirichlet boundary conditions | ||
+ | |- | ||
+ | | '''Class of Integers''' | ||
+ | | Mesh-dependent & mesh-independent binary variables | ||
+ | |- | ||
+ | | '''Type of Objective''' | ||
+ | | Least-squares (inverse problem) with possible regularization term | ||
+ | |- | ||
+ | | '''Type of Constraints''' | ||
+ | | Knapsack constraint on binary variables | ||
+ | |- | ||
+ | | '''Discretization''' | ||
+ | | Five-point finite difference stencil | ||
+ | |} | ||
+ | |||
+ | |||
+ | {| border="1" cellpadding="1" cellspacing="1" | ||
+ | |- align="left" | ||
+ | ! NAME | ||
+ | ! mod file | ||
+ | ! dat file | ||
+ | ! mesh | ||
+ | ! optimal objective | ||
+ | |- | ||
+ | | SrcDetct-MeshDep-008-1 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshDep-008-1.dat|MeshDep-008-1.dat]] | ||
+ | | 8x8 | ||
+ | | 0.0022 | ||
+ | |- | ||
+ | | SrcDetct-MeshDep-008-2 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshDep-008-2.dat|MeshDep-008-2.dat]] | ||
+ | | 8x8 | ||
+ | | 0.0001 | ||
+ | |- | ||
+ | | SrcDetct-MeshDep-008-3 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshDep-008-3.dat|MeshDep-008-3.dat]] | ||
+ | | 8x8 | ||
+ | | 0.0001 | ||
+ | |- | ||
+ | | SrcDetct-MeshDep-016-1 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshDep-016-1.dat|MeshDep-016-1.dat]] | ||
+ | | 16x16 | ||
+ | | 0.0076 | ||
+ | |- | ||
+ | | SrcDetct-MeshDep-016-2 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshDep-016-2.dat|MeshDep-016-2.dat]] | ||
+ | | 16x16 | ||
+ | | 0.0000 | ||
+ | |- | ||
+ | | SrcDetct-MeshDep-016-3 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshDep-016-3.dat|MeshDep-016-3.dat]] | ||
+ | | 16x16 | ||
+ | | 0.5675 | ||
+ | |- | ||
+ | | SrcDetct-MeshDep-032-1 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshDep-032-1.dat|MeshDep-032-1.dat]] | ||
+ | | 32x32 | ||
+ | | 0.0298 | ||
+ | |- | ||
+ | | SrcDetct-MeshDep-032-2 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshDep-032-2.dat|MeshDep-032-2.dat]] | ||
+ | | 32x32 | ||
+ | | 0.0000 | ||
+ | |- | ||
+ | | SrcDetct-MeshDep-032-3 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshDep-032-3.dat|MeshDep-032-3.dat]] | ||
+ | | 32x32 | ||
+ | | 2.2180 | ||
+ | |- | ||
+ | | SrcDetct-MeshInd-008-1 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshInd-008-1.dat|MeshInd-008-1.dat]] | ||
+ | | 8x8 | ||
+ | | 0.0002 | ||
+ | |- | ||
+ | | SrcDetct-MeshInd-008-2 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshInd-008-2.dat|MeshInd-008-2.dat]] | ||
+ | | 8x8 | ||
+ | | 0.0001 | ||
+ | |- | ||
+ | | SrcDetct-MeshInd-008-3 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshInd-008-3.dat|MeshInd-008-3.dat]] | ||
+ | | 8x8 | ||
+ | | 0.0001 | ||
+ | |- | ||
+ | | SrcDetct-MeshInd-016-1 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshInd-016-1.dat|MeshInd-016-1.dat]] | ||
+ | | 16x16 | ||
+ | | 0.0006 | ||
+ | |- | ||
+ | | SrcDetct-MeshInd-016-2 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshInd-016-2.dat|MeshInd-016-2.dat]] | ||
+ | | 16x16 | ||
+ | | 0.0004 | ||
+ | |- | ||
+ | | SrcDetct-MeshInd-016-3 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshInd-016-3.dat|MeshInd-016-3.dat]] | ||
+ | | 16x16 | ||
+ | | 0.3271 | ||
+ | |- | ||
+ | | SrcDetct-MeshInd-032-1 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshInd-032-1.dat|MeshInd-032-1.dat]] | ||
+ | | 32x32 | ||
+ | | 0.0023 | ||
+ | |- | ||
+ | | SrcDetct-MeshInd-032-2 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshInd-032-2.dat|MeshInd-032-2.dat]] | ||
+ | | 32x32 | ||
+ | | 0.0015 | ||
+ | |- | ||
+ | | SrcDetct-MeshInd-032-3 | ||
+ | | [[Media:SrcDetct.mod|SrcDetct.mod]] | ||
+ | | [[Media:MeshInd-032-3.dat|MeshInd-032-3.dat]] | ||
+ | | 32x32 | ||
+ | | 1.3068 | ||
+ | |- | ||
+ | |+ align="bottom" | MIPDECOlib: Parabolic Robin Boundary Problem in One Spatial Dimension | ||
+ | |} | ||
+ | |||
+ | |||
+ | In this problem, the state variables, u, can be eliminated, resulting in a pure integer QP. The model that defines the problems without state variables is [[Media:SrcDetctElim.mod|SrcDetctElim.mod]], and the AMPL script, [[Media:Presolve.ampl|Presolve.ampl]] implements the presolve step. The calling sequence is | ||
+ | |||
+ | <code> ampl: model SrcDetctElim.mod; data MeshDep-008-1.dat; include Presolve.ampl; </code> | ||
+ | |||
+ | for the small example, SrcDetct-MeshDep-008-1. | ||
+ | |||
+ | = The Mother Problem: Distributed Control with Neumann Boundary Conditions = | ||
+ | |||
+ | The objective is to find optimal control and state variables for an optimal control problem that has Poisson equation with a potential term and Neumann boundary conditions. Control variables are treated as binary variables. | ||
+ | |||
+ | '''Source''': Continuous form taken from OPTPDE library Problem ccdist1 submitted by Roland Herzog, see http://www.optpde.uni-hamburg.de/result.php?id=2 | ||
+ | |||
+ | {| border="1" cellpadding="1" cellspacing="1" | ||
+ | |- align="left" | ||
+ | | '''Type of PDE''' | ||
+ | | Poisson equation with a potential term on [01]x[0,1] with Neuman boundary conditions | ||
+ | |- | ||
+ | | '''Class of Integers''' | ||
+ | | Mesh-dependent & mesh-independent binary variables | ||
+ | |- | ||
+ | | '''Type of Objective''' | ||
+ | | Least-squares (inverse problem) with L1 or L2 regularization term | ||
+ | |- | ||
+ | | '''Type of Constraints''' | ||
+ | | Binary or integer controls | ||
+ | |- | ||
+ | | '''Discretization''' | ||
+ | | Five-point finite-difference stencil | ||
+ | |} | ||
+ | |||
+ | |||
+ | |||
+ | {| border="1" cellpadding="1" cellspacing="1" | ||
+ | |- align="left" | ||
+ | ! NAME | ||
+ | ! mod file | ||
+ | ! dat file | ||
+ | ! mesh | ||
+ | ! optimal objective | ||
+ | |- | ||
+ | | MotherProbL1-md008 | ||
+ | | [[Media:MotherProbL1.mod|MotherProbL1.mod]] | ||
+ | | [[Media:md008.dat|md008.dat]] | ||
+ | | 8x8 | ||
+ | | 1274.4697 | ||
+ | |- | ||
+ | | MotherProbL1-md016 | ||
+ | | [[Media:MotherProbL1.mod|MotherProbL1.mod]] | ||
+ | | [[Media:md016.dat|md016.dat]] | ||
+ | | 16x16 | ||
+ | | 1148.5152 | ||
+ | |- | ||
+ | | MotherProbL1-md032 | ||
+ | | [[Media:MotherProbL1.mod|MotherProbL1.mod]] | ||
+ | | [[Media:md032.dat|md032.dat]] | ||
+ | | 32x32 | ||
+ | | 1087.0657 | ||
+ | |- | ||
+ | | MotherProbL1-mi008a | ||
+ | | [[Media:MotherProbL1-mi.mod|MotherProbL1-mi.mod]] | ||
+ | | [[Media:mi008a.dat|mi008a.dat]] | ||
+ | | 8x8 | ||
+ | | 1274.47 | ||
+ | |- | ||
+ | | MotherProbL1-mi016a | ||
+ | | [[Media:MotherProbL1-mi.mod|MotherProbL1-mi.mod]] | ||
+ | | [[Media:mi016a.dat|mi016a.dat]] | ||
+ | | 16x16 | ||
+ | | 1148.71 | ||
+ | |- | ||
+ | | MotherProbL1-mi016b | ||
+ | | [[Media:MotherProbL1-mi.mod|MotherProbL1-mi.mod]] | ||
+ | | [[Media:mi016b.dat|mi016b.dat]] | ||
+ | | 16x16 | ||
+ | | 1148.55 | ||
+ | |- | ||
+ | | MotherProbL1-mi032a | ||
+ | | [[Media:MotherProbL1-mi.mod|MotherProbL1-mi.mod]] | ||
+ | | [[Media:mi032a.dat|mi032a.dat]] | ||
+ | | 32x32 | ||
+ | | 1087.18 | ||
+ | |- | ||
+ | | MotherProbL1-mi032b | ||
+ | | [[Media:MotherProbL1-mi.mod|MotherProbL1-mi.mod]] | ||
+ | | [[Media:mi032b.dat|mi032b.dat]] | ||
+ | | 32x32 | ||
+ | | 1087.07 | ||
+ | |- | ||
+ | | MotherProbL1-mi032c | ||
+ | | [[Media:MotherProbL1-mi.mod|MotherProbL1-mi.mod]] | ||
+ | | [[Media:mi032c.dat|mi032c.dat]] | ||
+ | | 32x32 | ||
+ | | 1087.12 | ||
+ | |- | ||
+ | | MotherProbL2-md008 | ||
+ | | [[Media:MotherProbL2.mod|MotherProbL2.mod]] | ||
+ | | [[Media:md008.dat|md008.dat]] | ||
+ | | 8x8 | ||
+ | | 1274.4697 | ||
+ | |- | ||
+ | | MotherProbL2-md016 | ||
+ | | [[Media:MotherProbL2.mod|MotherProbL2.mod]] | ||
+ | | [[Media:md016.dat|md016.dat]] | ||
+ | | 16x16 | ||
+ | | 1148.5152 | ||
+ | |- | ||
+ | | MotherProbL2-md032 | ||
+ | | [[Media:MotherProbL2.mod|MotherProbL2.mod]] | ||
+ | | [[Media:md032.dat|md032.dat]] | ||
+ | | 32x32 | ||
+ | | 1087.0657 (?) | ||
+ | |- | ||
+ | | MotherProbL2-mi008a | ||
+ | | [[Media:MotherProbL2-mi.mod|MotherProbL2-mi.mod]] | ||
+ | | [[Media:mi008a.dat|mi008a.dat]] | ||
+ | | 8x8 | ||
+ | | 1274.47 | ||
+ | |- | ||
+ | | MotherProbL2-mi016a | ||
+ | | [[Media:MotherProbL2-mi.mod|MotherProbL2-mi.mod]] | ||
+ | | [[Media:mi016a.dat|mi016a.dat]] | ||
+ | | 16x16 | ||
+ | | 1148.71 | ||
+ | |- | ||
+ | | MotherProbL2-mi016b | ||
+ | | [[Media:MotherProbL2-mi.mod|MotherProbL2-mi.mod]] | ||
+ | | [[Media:mi016b.dat|mi016b.dat]] | ||
+ | | 16x16 | ||
+ | | 1148.55 | ||
+ | |- | ||
+ | | MotherProbL2-mi032a | ||
+ | | [[Media:MotherProbL2-mi.mod|MotherProbL2-mi.mod]] | ||
+ | | [[Media:mi032a.dat|mi032a.dat]] | ||
+ | | 32x32 | ||
+ | | 1087.18 | ||
+ | |- | ||
+ | | MotherProbL2-mi032b | ||
+ | | [[Media:MotherProbL2-mi.mod|MotherProbL2-mi.mod]] | ||
+ | | [[Media:mi032b.dat|mi032b.dat]] | ||
+ | | 32x32 | ||
+ | | 1087.07 | ||
+ | |- | ||
+ | | MotherProbL2-mi032c | ||
+ | | [[Media:MotherProbL2-mi.mod|MotherProbL2-mi.mod]] | ||
+ | | [[Media:mi032c.dat|mi032c.dat]] | ||
+ | | 32x32 | ||
+ | | 1087.12 | ||
+ | |- | ||
+ | |+ align="bottom" | MIPDECOlib: Parabolic Robin Boundary Problem in One Spatial Dimension | ||
+ | |} | ||
+ | |||
+ | = Parabolic Robin Boundary Problem in One Spatial Dimension = | ||
+ | |||
+ | This model is modified from OPTPDE library (http://www.optpde.uni-hamburg.de/result.php?id=8). The goal is to find the optimal state and control variables that satisfy the Heat equation with boundary conditions. There are two classes of models: one with binary controls, and one with controls in {-1,0,1}. Both L1 and L2 regularizations are used. | ||
+ | |||
+ | {| border="1" cellpadding="1" cellspacing="1" | ||
+ | |- align="left" | ||
+ | | '''Type of PDE''' | ||
+ | | Heat equation on [0,1]x[0,1.58] with Robin and Neuman boundary conditions | ||
+ | |- | ||
+ | | '''Class of Integers''' | ||
+ | | Mesh-dependent & mesh-independent binary variables | ||
+ | |- | ||
+ | | '''Type of Objective''' | ||
+ | | Least-squares (inverse problem) with L1 or L2 regularization term | ||
+ | |- | ||
+ | | '''Type of Constraints''' | ||
+ | | Binary or integer controls | ||
+ | |- | ||
+ | | '''Discretization''' | ||
+ | | Crank-Nicolson formula | ||
+ | |} | ||
+ | |||
+ | |||
+ | |||
+ | {| border="1" cellpadding="1" cellspacing="1" | ||
+ | |- align="left" | ||
+ | ! NAME | ||
+ | ! mod file | ||
+ | ! dat file | ||
+ | ! mesh | ||
+ | ! optimal objective | ||
+ | |- | ||
+ | | RobinBin-08 | ||
+ | | [[Media:RobinBin.mod|RobinBin.mod]] | ||
+ | | [[Media:m08.dat|m08.dat]] | ||
+ | | 8x8 | ||
+ | | 0.0305 | ||
+ | |- | ||
+ | | RobinBin-16 | ||
+ | | [[Media:RobinBin.mod|RobinBin.mod]] | ||
+ | | [[Media:m16.dat|m16.dat]] | ||
+ | | 16x16 | ||
+ | | 0.0190 | ||
+ | |- | ||
+ | | RobinBin-32 | ||
+ | | [[Media:RobinBin.mod|RobinBin.mod]] | ||
+ | | [[Media:m32.dat|m32.dat]] | ||
+ | | 32x32 | ||
+ | | 0.0145 | ||
+ | |- | ||
+ | | RobinBinL1-08 | ||
+ | | [[Media:RobinBinL1.mod|RobinBinL1.mod]] | ||
+ | | [[Media:m08.dat|m08.dat]] | ||
+ | | 8x8 | ||
+ | | 0.0305 | ||
+ | |- | ||
+ | | RobinBinL1-16 | ||
+ | | [[Media:RobinBinL1.mod|RobinBinL1.mod]] | ||
+ | | [[Media:m16.dat|m16.dat]] | ||
+ | | 16x16 | ||
+ | | 0.0190 | ||
+ | |- | ||
+ | | RobinBinL1-32 | ||
+ | | [[Media:RobinBinL1.mod|RobinBinL1.mod]] | ||
+ | | [[Media:m32.dat|m32.dat]] | ||
+ | | 32x32 | ||
+ | | 0.0145 | ||
+ | |- | ||
+ | | RobinInt-08 | ||
+ | | [[Media:RobinInt.mod|RobinInt.mod]] | ||
+ | | [[Media:m08.dat|m08.dat]] | ||
+ | | 8x8 | ||
+ | | 0.0305 | ||
+ | |- | ||
+ | | RobinInt-16 | ||
+ | | [[Media:RobinInt.mod|RobinInt.mod]] | ||
+ | | [[Media:m16.dat|m16.dat]] | ||
+ | | 16x16 | ||
+ | | 0.0190 | ||
+ | |- | ||
+ | | RobinInt-32 | ||
+ | | [[Media:RobinInt.mod|RobinInt.mod]] | ||
+ | | [[Media:m32.dat|m32.dat]] | ||
+ | | 32x32 | ||
+ | | 0.0145 | ||
+ | |- | ||
+ | | RobinIntL1-08 | ||
+ | | [[Media:RobinIntL1.mod|RobinIntL1.mod]] | ||
+ | | [[Media:m08.dat|m08.dat]] | ||
+ | | 8x8 | ||
+ | | 0.0305 | ||
+ | |- | ||
+ | | RobinIntL1-16 | ||
+ | | [[Media:RobinIntL1.mod|RobinIntL1.mod]] | ||
+ | | [[Media:m16.dat|m16.dat]] | ||
+ | | 16x16 | ||
+ | | 0.0190 | ||
+ | |- | ||
+ | | RobinIntL1-32 | ||
+ | | [[Media:RobinIntL1.mod|RobinIntL1.mod]] | ||
+ | | [[Media:m32.dat|m32.dat]] | ||
+ | | 32x32 | ||
+ | | 0.0145 | ||
+ | |- | ||
+ | |+ align="bottom" | MIPDECOlib: Parabolic Robin Boundary Problem in One Spatial Dimension | ||
+ | |} | ||
+ | |||
+ | = Parabolic Robin Boundary Problem in Two Spatial Dimensions = | ||
+ | |||
+ | = Heat Equation Actuator-Placement = | ||
+ | |||
+ | = Subsurface Flow Well-Placement = |
Latest revision as of 16:21, 24 March 2017
Mixed-Integer PDE Constrained Optimization (MIPDECO) Test Problems
This page links to sets of MIPDECO test problems written in AMPL and described in a companion report.
Each problem includes a characterization in terms of type of PDE, class of integers, type of objective, type of constraints, and discretization scheme.
A tar-ball with all ampl models, data, and command files is available here. A tar-ball with the corresponding stub.nl files is available here.
Laplace Source Inversion
Problem is to identify source to match an observed state, governed by Laplace equation with Dirichtlet boundary conditions.
Type of PDE | Laplace equation on [0,1]^2 with Dirichlet boundary conditions |
Class of Integers | Mesh-dependent & mesh-independent binary variables |
Type of Objective | Least-squares (inverse problem) with possible regularization term |
Type of Constraints | Knapsack constraint on binary variables |
Discretization | Five-point finite difference stencil |
NAME | mod file | dat file | mesh | optimal objective |
---|---|---|---|---|
SrcDetct-MeshDep-008-1 | SrcDetct.mod | MeshDep-008-1.dat | 8x8 | 0.0022 |
SrcDetct-MeshDep-008-2 | SrcDetct.mod | MeshDep-008-2.dat | 8x8 | 0.0001 |
SrcDetct-MeshDep-008-3 | SrcDetct.mod | MeshDep-008-3.dat | 8x8 | 0.0001 |
SrcDetct-MeshDep-016-1 | SrcDetct.mod | MeshDep-016-1.dat | 16x16 | 0.0076 |
SrcDetct-MeshDep-016-2 | SrcDetct.mod | MeshDep-016-2.dat | 16x16 | 0.0000 |
SrcDetct-MeshDep-016-3 | SrcDetct.mod | MeshDep-016-3.dat | 16x16 | 0.5675 |
SrcDetct-MeshDep-032-1 | SrcDetct.mod | MeshDep-032-1.dat | 32x32 | 0.0298 |
SrcDetct-MeshDep-032-2 | SrcDetct.mod | MeshDep-032-2.dat | 32x32 | 0.0000 |
SrcDetct-MeshDep-032-3 | SrcDetct.mod | MeshDep-032-3.dat | 32x32 | 2.2180 |
SrcDetct-MeshInd-008-1 | SrcDetct.mod | MeshInd-008-1.dat | 8x8 | 0.0002 |
SrcDetct-MeshInd-008-2 | SrcDetct.mod | MeshInd-008-2.dat | 8x8 | 0.0001 |
SrcDetct-MeshInd-008-3 | SrcDetct.mod | MeshInd-008-3.dat | 8x8 | 0.0001 |
SrcDetct-MeshInd-016-1 | SrcDetct.mod | MeshInd-016-1.dat | 16x16 | 0.0006 |
SrcDetct-MeshInd-016-2 | SrcDetct.mod | MeshInd-016-2.dat | 16x16 | 0.0004 |
SrcDetct-MeshInd-016-3 | SrcDetct.mod | MeshInd-016-3.dat | 16x16 | 0.3271 |
SrcDetct-MeshInd-032-1 | SrcDetct.mod | MeshInd-032-1.dat | 32x32 | 0.0023 |
SrcDetct-MeshInd-032-2 | SrcDetct.mod | MeshInd-032-2.dat | 32x32 | 0.0015 |
SrcDetct-MeshInd-032-3 | SrcDetct.mod | MeshInd-032-3.dat | 32x32 | 1.3068 |
In this problem, the state variables, u, can be eliminated, resulting in a pure integer QP. The model that defines the problems without state variables is SrcDetctElim.mod, and the AMPL script, Presolve.ampl implements the presolve step. The calling sequence is
ampl: model SrcDetctElim.mod; data MeshDep-008-1.dat; include Presolve.ampl;
for the small example, SrcDetct-MeshDep-008-1.
The Mother Problem: Distributed Control with Neumann Boundary Conditions
The objective is to find optimal control and state variables for an optimal control problem that has Poisson equation with a potential term and Neumann boundary conditions. Control variables are treated as binary variables.
Source: Continuous form taken from OPTPDE library Problem ccdist1 submitted by Roland Herzog, see http://www.optpde.uni-hamburg.de/result.php?id=2
Type of PDE | Poisson equation with a potential term on [01]x[0,1] with Neuman boundary conditions |
Class of Integers | Mesh-dependent & mesh-independent binary variables |
Type of Objective | Least-squares (inverse problem) with L1 or L2 regularization term |
Type of Constraints | Binary or integer controls |
Discretization | Five-point finite-difference stencil |
NAME | mod file | dat file | mesh | optimal objective |
---|---|---|---|---|
MotherProbL1-md008 | MotherProbL1.mod | md008.dat | 8x8 | 1274.4697 |
MotherProbL1-md016 | MotherProbL1.mod | md016.dat | 16x16 | 1148.5152 |
MotherProbL1-md032 | MotherProbL1.mod | md032.dat | 32x32 | 1087.0657 |
MotherProbL1-mi008a | MotherProbL1-mi.mod | mi008a.dat | 8x8 | 1274.47 |
MotherProbL1-mi016a | MotherProbL1-mi.mod | mi016a.dat | 16x16 | 1148.71 |
MotherProbL1-mi016b | MotherProbL1-mi.mod | mi016b.dat | 16x16 | 1148.55 |
MotherProbL1-mi032a | MotherProbL1-mi.mod | mi032a.dat | 32x32 | 1087.18 |
MotherProbL1-mi032b | MotherProbL1-mi.mod | mi032b.dat | 32x32 | 1087.07 |
MotherProbL1-mi032c | MotherProbL1-mi.mod | mi032c.dat | 32x32 | 1087.12 |
MotherProbL2-md008 | MotherProbL2.mod | md008.dat | 8x8 | 1274.4697 |
MotherProbL2-md016 | MotherProbL2.mod | md016.dat | 16x16 | 1148.5152 |
MotherProbL2-md032 | MotherProbL2.mod | md032.dat | 32x32 | 1087.0657 (?) |
MotherProbL2-mi008a | MotherProbL2-mi.mod | mi008a.dat | 8x8 | 1274.47 |
MotherProbL2-mi016a | MotherProbL2-mi.mod | mi016a.dat | 16x16 | 1148.71 |
MotherProbL2-mi016b | MotherProbL2-mi.mod | mi016b.dat | 16x16 | 1148.55 |
MotherProbL2-mi032a | MotherProbL2-mi.mod | mi032a.dat | 32x32 | 1087.18 |
MotherProbL2-mi032b | MotherProbL2-mi.mod | mi032b.dat | 32x32 | 1087.07 |
MotherProbL2-mi032c | MotherProbL2-mi.mod | mi032c.dat | 32x32 | 1087.12 |
Parabolic Robin Boundary Problem in One Spatial Dimension
This model is modified from OPTPDE library (http://www.optpde.uni-hamburg.de/result.php?id=8). The goal is to find the optimal state and control variables that satisfy the Heat equation with boundary conditions. There are two classes of models: one with binary controls, and one with controls in {-1,0,1}. Both L1 and L2 regularizations are used.
Type of PDE | Heat equation on [0,1]x[0,1.58] with Robin and Neuman boundary conditions |
Class of Integers | Mesh-dependent & mesh-independent binary variables |
Type of Objective | Least-squares (inverse problem) with L1 or L2 regularization term |
Type of Constraints | Binary or integer controls |
Discretization | Crank-Nicolson formula |
NAME | mod file | dat file | mesh | optimal objective |
---|---|---|---|---|
RobinBin-08 | RobinBin.mod | m08.dat | 8x8 | 0.0305 |
RobinBin-16 | RobinBin.mod | m16.dat | 16x16 | 0.0190 |
RobinBin-32 | RobinBin.mod | m32.dat | 32x32 | 0.0145 |
RobinBinL1-08 | RobinBinL1.mod | m08.dat | 8x8 | 0.0305 |
RobinBinL1-16 | RobinBinL1.mod | m16.dat | 16x16 | 0.0190 |
RobinBinL1-32 | RobinBinL1.mod | m32.dat | 32x32 | 0.0145 |
RobinInt-08 | RobinInt.mod | m08.dat | 8x8 | 0.0305 |
RobinInt-16 | RobinInt.mod | m16.dat | 16x16 | 0.0190 |
RobinInt-32 | RobinInt.mod | m32.dat | 32x32 | 0.0145 |
RobinIntL1-08 | RobinIntL1.mod | m08.dat | 8x8 | 0.0305 |
RobinIntL1-16 | RobinIntL1.mod | m16.dat | 16x16 | 0.0190 |
RobinIntL1-32 | RobinIntL1.mod | m32.dat | 32x32 | 0.0145 |