Open AccessBook
AMPL: A Modeling Language for Mathematical Programming
Robert Fourer,Brian W. Kernighan +1 more
Reads0
Chats0
TLDR
An efficient translator is implemented that takes as input a linear AMPL model and associated data, and produces output suitable for standard linear programming optimizers.Abstract:
Practical large-scale mathematical programming involves more than just the application of an algorithm to minimize or maximize an objective function. Before any optimizing routine can be invoked, considerable effort must be expended to formulate the underlying model and to generate the requisite computational data structures. AMPL is a new language designed to make these steps easier and less error-prone. AMPL closely resembles the symbolic algebraic notation that many modelers use to describe mathematical programs, yet it is regular and formal enough to be processed by a computer system; it is particularly notable for the generality of its syntax and for the variety of its indexing operations. We have implemented an efficient translator that takes as input a linear AMPL model and associated data, and produces output suitable for standard linear programming optimizers. Both the language and the translator admit straightforward extensions to more general mathematical programs that incorporate nonlinear expressions or discrete variables.read more
Citations
More filters
Proceedings ArticleDOI
MILP formulation and polynomial time algorithm for an aircraft scheduling problem
TL;DR: A polynomial time algorithm used for solving a mixed integer linear program (MILP) formulation of a scheduling problem applicable to air traffic control, which transforms the problem to a single machine scheduling problem, and then embeds its solution into a bisection algorithm.
Book ChapterDOI
Answer Set Planning under Action Costs
TL;DR: Kc is presented, which extends the declarative planning language K by action costs and optimal plans that minimize overall action costs (cheapest plans), and supports the claim that answer set planning may be a valuable approach to advanced planning systems in which intricate planning tasks can be naturally specified and effectively solved.
Journal ArticleDOI
Exact and Approximate Solving of the Aircraft Collision Resolution Problem via Turn Changes
TL;DR: In this article, a two-step approach is presented for aircraft conflict detection and resolution in air traffic management, where the first step consists of a nonconvex mixed integer nonlinear optimization (MINLO) model based on geometric constructions.
Journal ArticleDOI
OOPM/RT: a multimodeling methodology for real-time simulation
Kangsun Lee,Paul A. Fishwick +1 more
TL;DR: By systematically handling simulation deadlines while minimizing the modeler's interventions, OOPM/RT provides an efficient modeling environment for real-time systems.
Journal ArticleDOI
Adaptive decision rules for the acquisition of nature reserves.
Will R. Turner,David S. Wilcove +1 more
TL;DR: A new set of adaptive decision rules that combine the strengths of existing optimal and heuristic approaches for acquiring reserve networks and performed better than the existing rules under virtually all scenarios of site availability, site degradation, and budget constraints.
References
More filters
Book
The C++ Programming Language
TL;DR: Bjarne Stroustrup makes C even more accessible to those new to the language, while adding advanced information and techniques that even expert C programmers will find invaluable.
The C++ programming language
TL;DR: The C Programming Language as discussed by the authors provides a complete, authoritative coverage of the C language, its standard library, and key design techniques, as well as its locales and exception safety.
The UNIX programming environment
Brian W. Kernighan,Rob Pike +1 more
TL;DR: In this article, the authors describe the UNIX programming environment and philosophy in detail, including how to use the system, its components, and the programs, but also how these fit into the total environment.
Book
AMPL: a mathematical programming language
Robert Fourer,Brian W. Kernighan +1 more
TL;DR: A translator is implemented that takes as input a linear AMPL model and associated data, and produces output suitable for standard linear programming optimizers.
Book ChapterDOI
On the development of a general algebraic modeling system in a strategic planning environment
TL;DR: This paper describes the resulting development of a General Algebraic Modeling System (GAMS), which employs a rigorous algebraic representation of data and equations, coupled with relational database-type facilities, and draws comparisons to other modeling systems designed for large-scale linear programming problems.