DOCSLIB.ORG

FICO® Xpress Optimization Suite

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
FICO® Xpress Optimization Suite FICO® Xpress Optimization Suite Advances to modelling and deploying optimization applications with Xpress Zsolt Csizmadia Andy Harrison Susanne Heipcke Principal Engineer Principal Consultant Principal Engineer Xpress Optimization Optimization Solutions Xpress Optimization FICO FICO FICO © 2014 Fair Isaac Corporation. Confidential. This presentation is provided for the recipient only and cannot be reproduced or shared without Fair Isaac Corporation’s express consent. Agenda ► Introduction ► Solver performance improvements and new functionality ► New features of Xpress-Mosel ► Optimization Modeler demo ► Q&A 2 © 2014 Fair Isaac Corporation. Confidential. FICO Snapshot The leader in analytic solutions for customer engagement Founded: 1956 Profile NYSE: FICO Revenues: $743 million (fiscal 2013) Scores and related analytic models Products Analytic applications for customer acquisition, service and security and Services Tools for decision management Clients and 5,000+ clients in 90+ countries Markets Industry focus: Banking, insurance, retail, health care #1 in services operations analytics (IDC)* Recent #6 in worldwide analytics analytics software (IDC)* Rankings #7 in Business Intelligence, CPM and Analytic Applications (Gartner)** #26 in the FinTech 100 (American Banker) 20+ offices worldwide, HQ in San Jose, California Offices 2,200 employees Regional Hubs: San Rafael and San Diego (CA), New York, London, Birmingham (UK), Johannesburg, Milan, Moscow, Munich, Madrid, Istanbul, Sao Paulo, Bangalore, Beijing, Singapore *IDC, Worldwide Business Analytics Software 2013-2017 Forecast and Vendor Shares, June 2013. **Gartner, Market Share Analysis: Business intelligence, Analytics and Performance Management, 2012,Dan Sommer & Bhavish Sood, May 7, 2013. 3 © 2014 Fair Isaac Corporation. Confidential. FICO Has Pioneered Game-Changing Analytics for 50+ Years ► First credit line optimization ► FICO holds 130+ patents in analytic solutions ► First predictive and decision management technology, ► First cloud- with an additional 90+ patents pending systems for based decision insurance fraud management ► First cross- ► First analytic platform ► We are pioneers at transforming bureau credit systems for ► Worlds fastest Big Data into insights that drive scores retailers to optimization optimize offers ► First small solver profitable growth ► First insurance business ► First adaptive underwriting ► First self- scoring scoring systems analytics for calibrating fraud systems ► First neural analytics for network-based ► First credit fraud ► First ► First adaptive fraud solutions capacity scores ► First automated control ► First commercially origination systems for ► First cardholder ► First score for economically available credit systems with managing card profiling for prescription calibrated credit scoring systems analytics accounts fraud adherence scores 1960s 1970s 1980s 1990s 2000s 2010s 4 © 2014 Fair Isaac Corporation. Confidential. FICO Portfolio FICO® Analytic Cloud FRAUD MANAGEMENT CUSTOMER ORIGINATIONS MARKETING & CUSTOMER ENGAGEMENT DEBT MANAGEMENT FICO® Falcon® Fraud Manager FICO® Origination Manager FICO® TRIAD® Customer Manager FICO® Debt Manager™ solution FICO® Fraud Resolution Manager FICO® Application Fraud Manager FICO® Customer Dialogue Manager FICO® Risk Intervention Manager FICO® Application Fraud Manager FICO® LiquidCredit® Service FICO® Analytic Offer Manager FICO® PlacementsPlus® service FICO® Identity Resolution Engine FICO® Customer Communication FICO® Network FICO FICO® Insurance Fraud Manager Services – Originations FICO® Retail Fraud Manager Applications FICO® Merchant Monitoring Fair Isaac Advisors Services Fair Isaac Consulting Advisors FICO® Claims Fraud Solution Consortium Fraud Models Consumer and Small Business Behavior Scorecards Collections Scores FICO Professional Professional Services FICO Custom Fraud Models Risk Models Transaction Analytics Collections Optimization Application Fraud Models Application Fraud Models Targeting Models FICO Economic Impact Models Analytics Claims Fraud Models Time-to-Event Analytics OMNI-CHANNEL COMMUNICATIONS FICO® Customer Communication Services FICO® Engagement Analyzer APPLICATION DEVELOPMENT, TEMPLATES & FRAMEWORKS FICO® Application Studio TOOLS MODEL MONITORING & MANAGEMENT FICO® Analytic Modeler FICO® Decision Modeler FICO® Optimization Modeler FICO® Identity FICO® Model Central™ Solution FICO FICO® Model Builder FICO® Blaze Advisor® FICO® Xpress Optimization Suite Resolution Engine Solution Stack Solution DECISION MANAGEMENT ENGINE FICO® Decision Management Platform DATA MANAGEMENT & INTEGRATION VISUALIZATION & REPORTING FICO® Data Orchestrator FICO® Visual Insights Studio BUSINESS CONSUMER FICO® Score FICO® Expansion Score FICO® Credit Capacity Index myFICO® Service FICO FICO® Score Open Access FICO® Economic Impact Index FICO® Insurance Risk Scores 5 Scores © 2014 Fair Isaac Corporation. Confidential. Three Main Optimization User Groups Optimization Modeler Business User/ » User-friendly interface » Rapid “what if” scenario analysis Manager » Rich visualisation and reporting with user-definable dashboards » Data management » Multiuser collaboration » User Access Authentication Business Analyst » Distributed computing » Web Services » Customisable screens Operations Xpress Optimization » Modelling – Mosel Research » Solvers – Optimizer Professional » Utilities – Tuner, APIs,… 6 © 2014 Fair Isaac Corporation. Confidential. FICO® Xpress Optimization Suite ► Flexible, modular, easy-to-learn and use ►Development IDE Modeling ►Distributed modeling and cloud enablement Mosel ►Data connections (file, excel, databases, web services) ►Precompiled for efficiency and IP protection BCL FEATURES ►Robust and Nonlinear modeling Optimization ►High-performance, scalable and robust LP (Simplex|Barrier), MIP, QP, MIQP, QCQP, Optimizer MIQCQP, SOCP, MISOCP, NLP, MINLP, and CP engines NonLinear ►Great out-of-the-box performance ― advanced users have full control over solution process ►Utilizes multi-core/CPU machines, automatic tuning Kalis FEATURES ►N-best solutions capabilities and advanced infeasibility handling ►Adapt data and parameters to create and compare scenarios Applications ►Understand trade-offs and sensitivities Services ►Visualize data and results for analysis ►Collaborate in a multi-user environment Optimization ► BENEFITS Works in a rich client and a web browser — on premise and in the cloud Modeler ►Fully featured APIs including web 7 © 2014 Fair Isaac Corporation. Confidential. FICO Solutions on FICO Decision Management Suite FICO Analytic Marketplace Buy FICO Application Studio Analytic Decision Optimization Modeler Modeler Modeler Suite FICO Decision Management Platform Build Management Management FICO Decision Decision FICO FICO Visual Insights Studio Manage 8 © 2014 Fair Isaac Corporation. Confidential. Optimization in the Cloud - Concepts ► Optimization as a Service ► Service accepts an optimization model and data, executes, and returns results ► Service accepts data, executes, and returns results ► NOT a “desktop” instance on a remote machine/cloud node ► Optimization Solutions as a Service ► Turns optimization models into collaborative and scalable web applications ► Optimization as part of a Decisioning Platform ► Combine optimization with other analytics technologies seamlessly ► Orchestrate complex solutions ► Flexible deployment options 9 © 2014 Fair Isaac Corporation. Confidential. FICO® Optimization Modeler powered by Xpress Optimization Modeler helps you develop and deploy optimization applications and services on DMP/FAC and standalone Optimization Modeler Optimization Executor ► Optimization Application Framework which ► Bundles Xpress execution allows you to capabilities (DMP/FAC only) ► analyze trade-offs and sensitivities ► provides web services APIs ► adapt data and parameters to create and ► integrates with FICO Application compare scenarios Studio ► visualize data and results for analysis ► collaborate in a multi-user environment ► web client (and rich analyst client for stand alone) Optimization Modeler is based on the leading optimization and modeling technology Xpress Optimization Suite. 10 © 2014 Fair Isaac Corporation. Confidential. FICO® Optimization Modeler powered by Xpress ► FICO® Optimization Modeler trial and demos: www.ficoanalyticcloud.com (select ‘Sign up’ to create a new account) ► FICO® Xpress: www.fico.com/xpress 11 © 2014 Fair Isaac Corporation. Confidential. Academic Partner Program ► FICO Xpress Optimization Suite ► Special program for degree awarding academic institutions ► Academics and their students may use Xpress for educational purposes ► Two levels of membership: ► Standard: Free 1-year membership ► Premium: Additional benefits for a small charge of £400/$800/€600 per 2-year membership period. http://subscribe.fico.com/Academic-Partner-Program 12 © 2014 Fair Isaac Corporation. Confidential. FICO presentations ► MB-34 Monday, 10:30-12:00 - John Anderson JA5.07, Level 5 A new measure of optimality based on the Karush-Kuhn-Tucker conditions for sequential linear programming methods ► MB-18 Monday, 10:30-12:00 - TIC Conference Room B, Level 9 Xpress-Mosel: Modelling for Distributed and Cloud Computing ► TC-02 Tuesday, 12:30-14:00 - Barony Bicentenary Hall From Structures to Heuristics to Global Solvers ► TA-51 Tuesday, 8:30-10:00 - Graham Hills GH542, Level 5 Making an Impact workshop: Modelling Nonlinear Programming Problems ► WD-51 Wednesday, 14:30-16:00 - Graham Hills GH542, Level 5 Making an Impact Workshop: Optimising
Load more

Recommended publications
  • Xpress Nonlinear Manual This Material Is the Confidential, Proprietary, and Unpublished Property of Fair Isaac Corporation
    R FICO Xpress Optimization Last update 01 May, 2018 version 33.01 FICO R Xpress Nonlinear Manual This material is the confidential, proprietary, and unpublished property of Fair Isaac Corporation. Receipt or possession of this material does not convey rights to divulge, reproduce, use, or allow others to use it without the specific written authorization of Fair Isaac Corporation and use must conform strictly to the license agreement. The information in this document is subject to change without notice. If you find any problems in this documentation, please report them to us in writing. Neither Fair Isaac Corporation nor its affiliates warrant that this documentation is error-free, nor are there any other warranties with respect to the documentation except as may be provided in the license agreement. ©1983–2018 Fair Isaac Corporation. All rights reserved. Permission to use this software and its documentation is governed by the software license agreement between the licensee and Fair Isaac Corporation (or its affiliate). Portions of the program may contain copyright of various authors and may be licensed under certain third-party licenses identified in the software, documentation, or both. In no event shall Fair Isaac Corporation or its affiliates be liable to any person for direct, indirect, special, incidental, or consequential damages, including lost profits, arising out of the use of this software and its documentation, even if Fair Isaac Corporation or its affiliates have been advised of the possibility of such damage. The rights and allocation of risk between the licensee and Fair Isaac Corporation (or its affiliates) are governed by the respective identified licenses in the software, documentation, or both.
    [Show full text]
  • Solving Mixed Integer Linear and Nonlinear Problems Using the SCIP Optimization Suite
    Takustraße 7 Konrad-Zuse-Zentrum D-14195 Berlin-Dahlem fur¨ Informationstechnik Berlin Germany TIMO BERTHOLD GERALD GAMRATH AMBROS M. GLEIXNER STEFAN HEINZ THORSTEN KOCH YUJI SHINANO Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite Supported by the DFG Research Center MATHEON Mathematics for key technologies in Berlin. ZIB-Report 12-27 (July 2012) Herausgegeben vom Konrad-Zuse-Zentrum f¨urInformationstechnik Berlin Takustraße 7 D-14195 Berlin-Dahlem Telefon: 030-84185-0 Telefax: 030-84185-125 e-mail: [email protected] URL: http://www.zib.de ZIB-Report (Print) ISSN 1438-0064 ZIB-Report (Internet) ISSN 2192-7782 Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite∗ Timo Berthold Gerald Gamrath Ambros M. Gleixner Stefan Heinz Thorsten Koch Yuji Shinano Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany, fberthold,gamrath,gleixner,heinz,koch,[email protected] July 31, 2012 Abstract This paper introduces the SCIP Optimization Suite and discusses the ca- pabilities of its three components: the modeling language Zimpl, the linear programming solver SoPlex, and the constraint integer programming frame- work SCIP. We explain how these can be used in concert to model and solve challenging mixed integer linear and nonlinear optimization problems. SCIP is currently one of the fastest non-commercial MIP and MINLP solvers. We demonstrate the usage of Zimpl, SCIP, and SoPlex by selected examples, give an overview of available interfaces, and outline plans for future development. ∗A Japanese translation of this paper will be published in the Proceedings of the 24th RAMP Symposium held at Tohoku University, Miyagi, Japan, 27{28 September 2012, see http://orsj.or.
    [Show full text]
  • Numericaloptimization
    Numerical Optimization Alberto Bemporad http://cse.lab.imtlucca.it/~bemporad/teaching/numopt Academic year 2020-2021 Course objectives Solve complex decision problems by using numerical optimization Application domains: • Finance, management science, economics (portfolio optimization, business analytics, investment plans, resource allocation, logistics, ...) • Engineering (engineering design, process optimization, embedded control, ...) • Artificial intelligence (machine learning, data science, autonomous driving, ...) • Myriads of other applications (transportation, smart grids, water networks, sports scheduling, health-care, oil & gas, space, ...) ©2021 A. Bemporad - Numerical Optimization 2/102 Course objectives What this course is about: • How to formulate a decision problem as a numerical optimization problem? (modeling) • Which numerical algorithm is most appropriate to solve the problem? (algorithms) • What’s the theory behind the algorithm? (theory) ©2021 A. Bemporad - Numerical Optimization 3/102 Course contents • Optimization modeling – Linear models – Convex models • Optimization theory – Optimality conditions, sensitivity analysis – Duality • Optimization algorithms – Basics of numerical linear algebra – Convex programming – Nonlinear programming ©2021 A. Bemporad - Numerical Optimization 4/102 References i ©2021 A. Bemporad - Numerical Optimization 5/102 Other references • Stephen Boyd’s “Convex Optimization” courses at Stanford: http://ee364a.stanford.edu http://ee364b.stanford.edu • Lieven Vandenberghe’s courses at UCLA: http://www.seas.ucla.edu/~vandenbe/ • For more tutorials/books see http://plato.asu.edu/sub/tutorials.html ©2021 A. Bemporad - Numerical Optimization 6/102 Optimization modeling What is optimization? • Optimization = assign values to a set of decision variables so to optimize a certain objective function • Example: Which is the best velocity to minimize fuel consumption ? fuel [ℓ/km] velocity [km/h] 0 30 60 90 120 160 ©2021 A.
    [Show full text]
  • Benchmarks for Current Linear and Mixed Integer Optimization Solvers
    ACTA UNIVERSITATIS AGRICULTURAE ET SILVICULTURAE MENDELIANAE BRUNENSIS Volume 63 207 Number 6, 2015 http://dx.doi.org/10.11118/actaun201563061923 BENCHMARKS FOR CURRENT LINEAR AND MIXED INTEGER OPTIMIZATION SOLVERS Josef Jablonský1 1 Department of Econometrics, Faculty of Informatics and Statistics, University of Economics, Prague, nám. W. Churchilla 4, 130 67 Praha 3, Czech Republic Abstract JABLONSKÝ JOSEF. 2015. Benchmarks for Current Linear and Mixed Integer Optimization Solvers. Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 63(6): 1923–1928. Linear programming (LP) and mixed integer linear programming (MILP) problems belong among very important class of problems that fi nd their applications in various managerial consequences. The aim of the paper is to discuss computational performance of current optimization packages for solving large scale LP and MILP optimization problems. Current market with LP and MILP solvers is quite extensive. Probably among the most powerful solvers GUROBI 6.0, IBM ILOG CPLEX 12.6.1, and XPRESS Optimizer 27.01 belong. Their attractiveness for academic research is given, except their computational performance, by their free availability for academic purposes. The solvers are tested on the set of selected problems from MIPLIB 2010 library that contains 361 test instances of diff erent hardness (easy, hard, and not solved). Keywords: benchmark, linear programming, mixed integer linear programming, optimization, solver INTRODUCTION with integer variables need not be solved even Solving linear and mixed integer linear in case of a very small size of the given problem. optimization problems (LP and MILP) that Real-world optimization problems have usually belong to one of the most o en modelling tools, many thousands of variables and/or constraints.
    [Show full text]
  • Computational Aspects of Infeasibility Analysis in Mixed Integer Programming
    Takustr. 7 Zuse Institute Berlin 14195 Berlin Germany JAKOB WITZIG TIMO BERTHOLD STEFAN HEINZ Computational Aspects of Infeasibility Analysis in Mixed Integer Programming ZIB Report 19-54 (November 2019) Zuse Institute Berlin Takustr. 7 14195 Berlin Germany Telephone: +49 30-84185-0 Telefax: +49 30-84185-125 E-mail: [email protected] URL: http://www.zib.de ZIB-Report (Print) ISSN 1438-0064 ZIB-Report (Internet) ISSN 2192-7782 Computational Aspects of Infeasibility Analysis in Mixed Integer Programming Jakob Witzig,1 Timo Berthold,2 and Stefan Heinz3 1Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany [email protected] 2Fair Isaac Germany GmbH, Stubenwald-Allee 19, 64625 Bensheim, Germany [email protected] 3Gurobi GmbH, Ulmenstr. 37–39, 60325 Frankfurt am Main, Germany [email protected] November 6, 2019 Abstract The analysis of infeasible subproblems plays an important role in solv- ing mixed integer programs (MIPs) and is implemented in most major MIP solvers. There are two fundamentally different concepts to gener- ate valid global constraints from infeasible subproblems. The first is to analyze the sequence of implications, obtained by domain propagation, that led to infeasibility. The result of this analysis is one or more sets of contradicting variable bounds from which so-called conflict constraints can be generated. This concept is called conflict graph analysis and has its origin in solving satisfiability problems and is similarly used in con- straint programming. The second concept is to analyze infeasible linear programming (LP) relaxations. Every ray of the dual LP provides a set of multipliers that can be used to generate a single new globally valid linear constraint.
    [Show full text]
  • FICO Xpress Optimization Suite Webinar
    FICO Xpress Optimization Suite Webinar Oliver Bastert Senior Manager Xpress Product Management September 22 2011 Confidential. This presentation is provided for the recipient only and cannot be reproduced or shared without Fair Isaac Corporation's express consent. 1 © 2011 Fair Isaac Corporation. Agenda » Introduction to FICO » Introduction to FICO Xpress Optimization Suite » Performance » Distributed Modelling and Solving » Case Q&A 2 © 2011 Fair Isaac Corporation. Confidential.© 2011 Fair Isaac Corporation. Confidential. Introduction to FICO 3 © 2011 Fair Isaac Corporation. Confidential. FICO Snapshot The leader in predictive analytics for decision management Founded: 1956 Profile NYSE: FICO Revenues: $605 million (fiscal 2010) Scores and related analytic models Products Analytic applications for risk management, fraud, marketing and Services Tools for decision management Clients and 5,000+ clients in 80 countries Markets Industry focus: Banking, insurance, retail, health care #1 in services operations analytics (IDC) Recent #7 in worldwide business analytics software (IDC) Rankings #26 in the FinTech 100 (American Banker) 20+ offices worldwide, HQ in Minneapolis, USA Offices 2,200 employees Regional Hubs: San Rafael (CA), New York, London, Birmingham (UK), Munich, Madrid, Sao Paulo, Bangalore, Beijing, Singapore 4 © 2011 Fair Isaac Corporation. Confidential. FICO delivers superior predictive analytic solutions that drive smarter decisions. Thousands of businesses worldwide, including 9 of the top Fortune 10, rely on FICO to make every
    [Show full text]
  • CME 338 Large-Scale Numerical Optimization Notes 2
    Stanford University, ICME CME 338 Large-Scale Numerical Optimization Instructor: Michael Saunders Spring 2019 Notes 2: Overview of Optimization Software 1 Optimization problems We study optimization problems involving linear and nonlinear constraints: NP minimize φ(x) n x2R 0 x 1 subject to ` ≤ @ Ax A ≤ u; c(x) where φ(x) is a linear or nonlinear objective function, A is a sparse matrix, c(x) is a vector of nonlinear constraint functions ci(x), and ` and u are vectors of lower and upper bounds. We assume the functions φ(x) and ci(x) are smooth: they are continuous and have continuous first derivatives (gradients). Sometimes gradients are not available (or too expensive) and we use finite difference approximations. Sometimes we need second derivatives. We study algorithms that find a local optimum for problem NP. Some examples follow. If there are many local optima, the starting point is important. x LP Linear Programming min cTx subject to ` ≤ ≤ u Ax MINOS, SNOPT, SQOPT LSSOL, QPOPT, NPSOL (dense) CPLEX, Gurobi, LOQO, HOPDM, MOSEK, XPRESS CLP, lp solve, SoPlex (open source solvers [7, 34, 57]) x QP Quadratic Programming min cTx + 1 xTHx subject to ` ≤ ≤ u 2 Ax MINOS, SQOPT, SNOPT, QPBLUR LSSOL (H = BTB, least squares), QPOPT (H indefinite) CLP, CPLEX, Gurobi, LANCELOT, LOQO, MOSEK BC Bound Constraints min φ(x) subject to ` ≤ x ≤ u MINOS, SNOPT LANCELOT, L-BFGS-B x LC Linear Constraints min φ(x) subject to ` ≤ ≤ u Ax MINOS, SNOPT, NPSOL 0 x 1 NC Nonlinear Constraints min φ(x) subject to ` ≤ @ Ax A ≤ u MINOS, SNOPT, NPSOL c(x) CONOPT, LANCELOT Filter, KNITRO, LOQO (second derivatives) IPOPT (open source solver [30]) Algorithms for finding local optima are used to construct algorithms for more complex optimization problems: stochastic, nonsmooth, global, mixed integer.
    [Show full text]
  • Parallel Solvers for Mixed Integer Linear Optimization
    Industrial and Systems Engineering Parallel Solvers for Mixed Integer Linear Optimization Ted Ralphs Lehigh University, Bethlehem, PA, USA Yuji Shinano Zuse Institute Berlin, Takustraße 7, 14195 Berlin, Germany Timo Berthold Fair Isaac Germany GmbH, Germany, Takustraße 7, 14195 Berlin, Germany Thorsten Koch Zuse Institute Berlin, Takustraße 7, 14195 Berlin, Germany COR@L Technical Report 16T-014-R3 Parallel Solvers for Mixed Integer Linear Optimization Ted Ralphs∗1, Yuji Shinanoy2, Timo Bertholdz3, and Thorsten Kochx4 1Lehigh University, Bethlehem, PA, USA 2Zuse Institute Berlin, Takustraße 7, 14195 Berlin, Germany 3Fair Isaac Germany GmbH, Germany, Takustraße 7, 14195 Berlin, Germany 4Zuse Institute Berlin, Takustraße 7, 14195 Berlin, Germany Original Publication: December 30, 2016 Last Revised: May 4, 2017 Abstract In this article, we provide an overview of the current state of the art with respect to solution of mixed integer linear optimization problems (MILPS) in parallel. Sequential algorithms for solving MILPs have improved substantially in the last two decades and commercial MILP solvers are now considered effective off-the-shelf tools for optimization. Although concerted development of parallel MILP solvers has been underway since the 1990s, the impact of improvements in sequential solution algorithms has been much greater than that which came from the application of parallel computing technologies. As a result, parallelization efforts have met with only relatively modest success. In addition, improvements to the underlying sequential solution technologies have actually been somewhat detrinental with respect to the goal of creating scalable parallel algorithms. This has made efforts at parallelization an even greater challenge in recent years. With the pervasiveness of multi-core CPUs, current state-of-the-art MILP solvers have now all been parallelized and research on parallelization is once again gaining traction.
    [Show full text]
  • GAMS W/ NEOS and Economic Equilibrium Modeling with Julia/Jump Adam Christensen All the Best Presentations Begin with an Outline
    GAMS w/ NEOS and Economic Equilibrium Modeling with Julia/JuMP Adam Christensen All the best presentations begin with an outline... ● Our goals ● Building out GAMS/NEOS capabilities ● NEOS Demo ● Extended Economic Modeling ● End-to-End Value Proposition ● Experimental Projects Our Goals ● 100% open source economic database ● Members can execute full build stream ● Source of canonical models ● Knowledge base for extended economic modeling ○ Model library for multiple languages ○ Helper tools/data handling ● End-to-End Value Add ○ Data pre-processing tools ○ Model output reduction ○ Visualization ● Economic Software Incubator Gettin’ the Goods... ● windc.wisc.edu ○ Click on “Downloads” ● WiNDC Flavors ○ Precompiled GDX ○ JSON (download as a zip archive) ○ Re-build your own GDX from source (windc.zip) ○ All original data source files are available (datasources.zip) Releases going forward... ● Platform independent (Windows, Mac) ● Releases will occur ~1-2 times per year ● Data updates and bug reports will be available ● WiNDC releases will always be tested against different versions of GAMS ● Releases will be numbered Releases going forward... ● Platform independent (Windows, Mac) ● Releases will occur ~1-2 times per year ● Data updates and bug reports will be available ● WiNDC releases will always be tested against different versions of GAMS ● Releases will be numbered In a nutshell… we want to make it easy for researchers to reference this database in their own publications GAMS/NEOS Capabilities What is NEOS? ● Network Enabled Optimization System ● neos-server.org ● Online access to algorithms that solve many classes of optimization problems ● Jobs can be submitted online through a webform ● KESTREL brings your GAMS job to NEOS ● GDX results return as expected hi folks.
    [Show full text]
  • Learning to Scale Mixed-Integer Programs
    Learning To Scale Mixed-Integer Programs Timo Berthold, Gregor Hendel* December 18, 2020 Abstract Many practical applications require the solution of numerically chal- lenging linear programs (LPs) and mixed integer programs (MIPs). Scal- ing is a widely used preconditioning technique that aims at reducing the error propagation of the involved linear systems, thereby improving the numerical behavior of the dual simplex algorithm and, consequently, LP- based branch-and-bound. A reliable scaling method often makes the differ- ence whether these problems can be solved correctly or not. In this paper, we investigate the use of machine learning to choose at the beginning of the solution process between two common scaling methods: Standard scaling and Curtis-Reid scaling. The latter often, but not always, leads to a more robust solution process, but may suffer from longer solution times. Rather than training for overall solution time, we propose to use the attention level of a MIP solution process as a learning label. We evaluate the predictive power of a random forest approach and a linear regressor that learns the (square root of the) difference in attention level. It turns out that the resulting classification not only reduces various types of nu- merical errors by large margins, but it also improves the performance of the dual simplex algorithm. The learned model has been implemented within the FICO Xpress MIP solver and it is used by default since release 8.9, May 2020, to determine the scaling algorithm Xpress applies before solving an LP or a MIP. Introduction Numerics play an important role in solving linear and mixed integer programs (LPs and MIPs) [25].
    [Show full text]
  • Computational Integer Programming Lecture 3
    Computational Integer Programming Lecture 3: Software Dr. Ted Ralphs Computational MILP Lecture 3 1 Introduction to Software (Solvers) • There is a wealth of software available for modeling, formulation, and solution of MILPs. • Commercial solvers { IBM CPLEX { FICO XPress { Gurobi • Open Source and Free for Academic Use { COIN-OR Optimization Suite (Cbc, SYMPHONY, Dip) { SCIP { lp-solve { GLPK { MICLP { Constraint programming systems 1 Computational MILP Lecture 3 2 Introduction to Software (Modeling) • There are two main categories of modeling software. { Algebraic Modeling Languages (AMLs) { Constraint Programming Systems (CPSs) • According to our description of the modeling process, AMLs should probably be called \formulation languages". • AMLs assume the problem will be formulated as a mathematical optimization problem. • Although AMLs make the formulation process more convenient, the user must provide an initial \formulation" and decide on an appropriate solver. • Solvers do some internal reformulation, but this is limited. • Constraint programming systems use a much higher level description of the model itself. • Reformulation is done internally before automatically passing the problem to the most appropriate of a number of solvers. 2 Computational MILP Lecture 3 3 Algebraic Modeling Languages • A key concept is the separation of \model" (formulation, really) from \data." • Generally speaking, we follow a four-step process in modeling with AMLs. { Develop an \abstract model" (more like a formulation). { Populate the formulation with data. { Solve the Formulation. { Analyze the results. • These four steps generally involve different pieces of software working in concert. • For mathematical optimization problems, the modeling is often done with an algebraic modeling system. • Data can be obtained from a wide range of sources, including spreadsheets.
    [Show full text]
  • New MIP Modeling Constructs in Xpress Mosel to Handle Logical Relations and Certain Nonlinear Constraints
    New MIP modeling constructs in Xpress Mosel to handle logical relations and certain nonlinear constraints Susanne Heipcke1, Yves Colombani1, Sébastien Lannez1 Xpress Optimization, FICO, FICO House, Starley Way, Birmingham B37 7GN, UK {SusanneHeipcke,YvesColombani,SebastienLannez}@fico.com Mots-clés : Mathematical modeling, Mixed-Integer Programming, linearization 1 Introduction The formulation of mathematical optimization models often involves certain nonlinear con- structs, such as absolute values or logical relations. A widely used approach to handle such cases consists in linearizing the nonlinear expressions to make the model suitable for solving via a MIP solver, which may come at the expense of solution speed or quality. Since the introduction of Special Ordered Sets (SOS), semi-continuous and partial integer variables in the late 1980s [1] an increasing number of special modeling constructs have been introduced into MIP solvers. In this talk we are going to take a look at a set of recent addi- tions to the FICO Xpress Optimizer known as General Constraints, including a discussion of formulation alternatives via binary variables or indicator constraints, and their use in model formulation with Xpress Mosel. 2 General Constraints General constraints are specific nonlinear expressions that are recognized by MIP solvers : — absolute value, minimum or maximum value of discrete or continuous decision variables — logical constraints : ‘and’ and ‘or’ over binary variables — piecewise linear : can be used in place of SOS-2 formulations The solver chooses the most appropriate representation and applies presolving to these constructs. Structural information that is available on the modeling level can thus be passed directly to the solver instead of having to apply transformations during matrix generation (e.g.
    [Show full text]