The paper describes a new computerized collection of test models for mixed-integer nonlinear programming. Because there is no standard format for nonlinear models, the model collection is augmented with a translation server that can transform the models from their basic GAMS format into other formats, including AMPL, BARON, LGO, LINGO, and MINOPT. The translation server can also be used to transform industrial models that contain confidential information. Such transformations allow many of these models to be distributed to the research community as highly relevant algorithmic test models.
Constrained optimization has been extensively used to solve many large scale deterministic problems arising in economics, including, for example, square systems of equations and nonlinear programs. A separate set of models have been generated more recently, using complementarity to model various phenomenon, particularly in general equilibria. The unifying framework of mathematical programs with equilibrium constraints (MPEC) has been postulated for problems that combine facets of optimization and complementarity. This paper briefly reviews some methods available to solve these problems and describes a new suite of tools for working with MPEC models. Computational results demonstrating the potential of this tool are given that automatically construct and solve a variety of different nonlinear programming reformulations of MPEC problems.
Extended mathematical programs are collections of functions and variables joined together using specific optimization and complementarity primitives. This paper outlines a mechanism to describe such an extended mathematical program by means of annotating the existing relationships within a model to facilitate higher level structure identification. The structures, which often involve constraints on the solution sets of other models or complementarity relationships, can be exploited by modern large scale mathematical programming algorithms for efficient solution. A specific implementation of this framework is outlined that communicates structure from the GAMS modeling system to appropriate solvers in a computationally beneficial manner.Example applications are taken from chemical engineering.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.