ANALYZE ANALYZE Linear programming model analysis
ANALYZE is designed to provide computer assistance for analyzing linear programs and their solutions. It is presumed a linear program has already been formulated, and an instance has been generated with some language.
The following figure shows an Input/Output overview of ANALYZE. The only required input file to ANALYZE is a matrix file. This is the (de facto) standard MPS file, which is accepted by all commercial optimizers and can be generated by most LP modeling languages. For model analysis this may be sufficient, but other files are useful, such as a solution file from an optimizer.
Dictionaries \ / Documentation
Documents | | Verification
Matrix | | Validation
Solution |-->[ANALYZE]-->| Query/Reporting, with multiple views
Syntax | | Understanding: Why...?, Why not...?
Rules | | Sensitivity: What if...?
IIS | | Simplification
Other / \ Debugging (e.g., infeasible)
There are three levels of use. At the lowest level, ANALYZE provides convenient interactive query to navigate through a linear program (LP), perhaps with a solution already obtained from some solver (a solution is not necessary to use ANALYZE productively). A second level of use provides procedures to assist analysis in a variety of ways. Standard sensitivity questions, such as What if...?, Why...? and Why not...?, can be answered with easy access to information about the solution. In addition, diagnostic analysis, such as when the LP is infeasible, can be resolved efficiently. The third level provides an artificially intelligent environment with results automatically translated into English. This is especially well suited for a non-expert of linear programming, but the syntax that enables the translation must be setup by an LP expert (sometimes called the model manager). A DOS version of ANALYZE, with student-size problem dimensions, is available from Kluwer Publishers (ISBN O-7923-9322-8).
See: ANALYZE page (maintained by Harvey J. Greenberg) Contact:
Prof. Harvey J. Greenberg Math Dept - Campus Box 170 University of Colorado at Denver PO Box 173364 Denver, CO 80217-3364 phone: 303-556-8464 fax: 303-556-8550 e-mail: hgreenberg@carbon.cudenver.edu URL: http://www-math.cudenver.edu/~hgreenbe
H.J. Greenberg, 1993. A Computer-Assisted Analysis System for Mathematical Programming Models and Solutions: A User's Guide for ANALYZE, Kluwer, Boston, MA.
User's Guide
[ Optimization Software Guide | OTC Home Page | NEOS Server | NEOS Guide ]