Difference between revisions of "MIPDECO"
| Line 28: | Line 28: | ||
| Five-point finite difference stencil | | Five-point finite difference stencil | ||
|} | |} | ||
| + | |||
| + | {| 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 | ||
| + | |} | ||
| + | |||
=== Distributed Control with Neumann Boundary Conditions === | === Distributed Control with Neumann Boundary Conditions === | ||
Revision as of 13:57, 20 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 |
|---|---|---|---|---|
| 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 |
Distributed Control with Neumann Boundary Conditions
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 |