Date post: | 27-Mar-2015 |
Category: |
Documents |
Upload: | jack-gilbert |
View: | 220 times |
Download: | 3 times |
1
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
ESOPO: ESOPO: an Environment for Solving an Environment for Solving
Optimization Problems OnlineOptimization Problems Online
M. D’Apuzzo*, M.L. De Cesare**, M.R. Maddalena**, M. Marino**, G. Toraldo**
Collaborators: S. Cafieri*, V. De Simone*, D. di Serafino*, E. Sacchettino*
* Second University of Naples**University of Naples Federico II
2
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
http://www.firb_lsno.unina.it
3
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
4
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Overview Overview
• ESOPO aims and structure overview
• Relevant features of ESOPO
• Perspectives and future enhancements
5
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
to provide a unifying framework containing the optimization software produced by people working in the
MIUR FIRB project, in order to interact in the software development, testing and evaluation
processes
Early motivation for ESOPOEarly motivation for ESOPO
Several issues•Shared software classification criteria•Common linear algebra kernels•Common optimization subproblems•Standard software documentation•Shared test problems•Similar input formats
6
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Current ESOPO’s ambitionCurrent ESOPO’s ambition
Several issuesSoftware integration procedure Robustness and reliability Preprocessing and presolving stages Drivers to the solvers for using common problem modeling languages Minimal input effort Testing process
to be a web-based environment for solving optimization problems and for evaluating and comparing the
performance of optimization software
7
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Current ESOPO’s ambitionCurrent ESOPO’s ambition
Several issuesInteractive procedure for solving a problem Interactive choice of a solver Dynamic interfaces for using the solver Automatic selection of test problems based on the type of considered instance
to be a web-based environment for solving optimization problems and for evaluating and comparing the
performance of optimization software
8
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
MAIN ACTIONS
•collect, integrate and make available the optimization software produced in the MIUR-FIRB Project, toghether with some well established software (Lancelot, KNITRO, Mosek, ...)
•supply the solvers with drivers for the most common problem modeling languages and with graphical interfaces for a friendly usage
•provide suitable collections of test problems and up-to-date tools for evaluating and comparing optimization software
ESOPO projectESOPO project
9
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Main ESOPO abilitiesMain ESOPO abilities
problemuser provided or
selected from collections
solution
set of problems
user provided orselected from collections
performaceevaluation
profiles
ESOPO: SOLVE
ESOPO: PERFORMANCE EVALUATION
10
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
ESOPO Server
• Users database• Software and Problems database
• Interfaces for choosing solvers and for submitting problems
• Tools for job queuing
Clients (browsers)
• Solvers
• Drivers
request
answer
job execution
results
.....
.....
ESOPO architectureESOPO architectureclient-server designclient-server design
ESOPO Solvers
12
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Relevant featuresRelevant features
• software integration process
• interactive procedure for choosing a solver and for solving a problem
• close integration of solvers and test problems
• integration of the solving tools with the benchmarking tools
13
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Relevant featuresRelevant featuresIntegration and management of theSoftware (authors are only request to submit thecode!)
Step 1: Classification into ESOPO Example: SDBOX (solves general bound
constrained nonlinear optimization problems using a derivative-free method)
OP: local; OF: general; CO: bounds; DR: none; CVX: no; STR: dense
14
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
15
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Relevant featuresRelevant featuresIntegration and management of theSoftware
Step 2: Development of drivers to the solver
• Make its use through dynamic web pages easier• Provide interfaces to AMPL and SIF modeling
languages• Reduce as much as possible the number of input parameters• Perform the testing process• Supply some extra features to the solver
16
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Relevant featuresRelevant featuresInteractive procedure for solving aproblem (problem oriented andindependent of the computing engine)
Step 1: Specification of the problem web interface that allows the user to supply
information about the problem to be solved
17
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
18
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Relevant featuresRelevant featuresInteractive procedure for solving aproblem
Step 2: Selection of a solver web interface that lists all solvers available for
the problem
19
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
20
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Relevant featuresRelevant featuresInteractive procedure for solving aproblem
Step 3: Choice of the input format tailored interface for the selected solver
(automatically generated) allowing the users to choose the input format among those accepted by the solver
21
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
22
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Relevant featuresRelevant featuresInteractive procedure for solving aproblem
Step 4: Submission of the problem specific interface consistent with the user’s
choice for the input format (automatically generated) that allows the user to provide the problem data and the values for the input parameters
23
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
24
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Relevant featuresRelevant features Close integration of solvers and test problems
A set of test problems that the software is able to solve is automatically selected
25
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
26
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Execution reportExecution report**************************************************************************** ** Output report from ESOPO ** ****************************************************************************SOLVER:
SDBOX
PROBLEM:BIGGSB1 from CUTEr collection
VERSION:AMPL
# Source:# M. Batholomew-Biggs and F.G. Hernandez,# "Some improvements to the subroutine OPALQP for dealing with large# problems",# Numerical Optimization Centre, Hatfield, 1992.# SIF input: Ph Toint, April 1992.# classification QBR2-AN-V-V NVAR = 5000
INPUT PARAMETERS: TOL = 10e-6 - MAXITER = 1000000
RESULTS:NIT = 181158 NFEVAL = 544749 FVAL = 0.015003
27
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Relevant featuresRelevant features Interactive procedure for
evaluating and comparing the performance of optimization software
The solving and benchmarking stages are integrated in ESOPO
28
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Performance evaluation Performance evaluation reportreport
1 972 8 11
10
64 53 12
29
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
ESOPO contents
30
Co
nveg
no
Pro
getto
FIR
B L
SN
O – C
apri 19/20 ap
rile 2007C
on
vegn
o P
rog
etto F
IRB
LS
NO
– Cap
ri 19/20 aprile 2007
Future developmentsFuture developments
• to add more solvers also in areas not currently covered
• to improve the interaction between users and ESOPO
• to provide other metrics for the performance evaluation