Alexander Meeraus

Learn More
The paper describes a new computerized collection of test models for mixed-integer nonlinear programming. Since 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 a number of other formats such as AMPL, BARON, LINGO, and MINOPT. The(More)
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 phenomena, particularly in general equilibria. The unifying(More)
We describe a framework for modeling optimization problems for solution on a grid computer. The framework is easy to adapt to multiple grid engines, and can seamlessly integrate evolving mechanisms from particular computing platforms. It facilitates the widely used master/worker model of computing and is shown to be exible and powerful enough for a large(More)
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(More)
Matrix augmentation is used for the inversion of bases associated with large linearly constrained control problems. It is shown how an efficient data structure can be maintained by keeping all state variables in the basis, and then nullifying some of them explicitly by using additional constraints. The proposed methodology, together with a basis updating(More)
GAMS Development and ARKI Consulting use Quality Assurance (QA) as an integral part of their software development and software publishing process. Research and development in the global optimization area has resulted in promising implementations. Initiated by customer demand, we have been adding three different global codes, BARON, LGO, and OQNLP, to our(More)
The convex hull relaxation (CHR) method (Albornoz 1998, Ahlatçıoğlu 2007, Ahlatçıoğlu and Guignard 2010) provides lower bounds and feasible solutions on convex 0-1 nonlinear programming problems with linear constraints. In the quadratic case, these bounds may often be improved by a preprocessing step that adds to the quadratic objective function terms that(More)