Difference between revisions of "MIPDECO"

From Svenleyffer
Jump to navigation Jump to search
Line 52: Line 52:
 
| '''Discretization'''
 
| '''Discretization'''
 
|  Crank-Nicolson formula
 
|  Crank-Nicolson formula
 +
|}
 +
 +
Table of instances:
 +
 +
{| border="1" cellpadding="0" cellspacing="0"
 +
|- align="left"
 +
!  NAME
 +
!  mod file
 +
!  dat file
 +
!
 +
[[MPEC class|classification]]
 +
!
 +
[http://www.mcs.anl.gov/~leyffer/macmpec/solutions.html solution]
 +
|-
 +
|  [[MPEC Comments#bar-truss|bar-truss-3]]
 +
|
 +
[http://www.mcs.anl.gov/~leyffer/MacMPEC/problems/bar-truss.mod bar-truss.mod]
 +
|
 +
[http://www.mcs.anl.gov/~leyffer/MacMPEC/problems/bar-truss-3.dat bar-truss-3.dat]
 +
|  LQR-MY-NCP-29-22-6
 +
|  10166.6
 +
|-
 +
|  [[MPEC Comments#bard|bard1]]
 +
|
 +
[[Media:Bard1.mod|Bard1.mod]]
 +
|  n/a
 +
|  QLR-AY-NLP-5-1-3
 +
|  17.0000
 +
|-
 +
|+ align="bottom" | MIPDECOlib: AMPL library of MIPDECO test problems
 
|}
 
|}
  

Revision as of 15:36, 17 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

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] with REobin 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

Table of instances:

NAME mod file dat file

classification

solution

bar-truss-3

bar-truss.mod

bar-truss-3.dat

LQR-MY-NCP-29-22-6 10166.6
bard1

Bard1.mod

n/a QLR-AY-NLP-5-1-3 17.0000
MIPDECOlib: AMPL library of MIPDECO test problems

Parabolic Robin Boundary Problem in Two Spatial Dimensions

Heat Equation Actuator-Placement

Subsurface Flow Well-Placement