Enhancements of ANALYZE: a computer-assisted analysis system for linear programming

ABSTRACT

This describes enhancements to provide more advanced computer-assisted analysis of instances of linear programming models. Three categories of enhancements are described: views, engines for obtaining information, and rule-based advising. Examples of their uses include redundancy and infeasiblity diagnoses.

REFERENCES

• 1: BAKER, T. E. RESULT: An interactive modeling system for planning and scheduling. Presented at the ORSA/TIMS meeting (Chicago, IL, 1983).
• 2: BROOKE, A., KENDRICK, D., AND MEERAUS, A. GAMS: A User's Guide. Scientific Press, Redwood City, Calif., 1988.
• 3: Chesapeake Decision Sciences. MIMI/LP User Manual. New Providence, NJ, 1988.
• 4: CHINNECK, J.W. Localizing and diagnosing infeasibilities in networks. Tech. Rep. SCE~90- 14, Dept. of Systems and Computer Engineering, Carleton Univ., Ottawa, Canada, 1990. To appear in ORSA J. on Comput.
• 5: CmNNECK, J. W. Formulating processing network models: Viability theory. Naval Res. Logistics 37, (1990), 245-261.
• 6: GREENBERG, H. J. A New Approach to Analyze Information Contained in a Model. In Energy Models Validation and Assessment, S. 1. Gass, Ed., NBS Pub. 569, National Bureau of Standards, Gaithersburg, Md., 1978, 517-524.
• 7: Harvey Greenberg, A Functional Description of ANALYZE: A Computer-Assisted Analysis System for Linear Programming Models, ACM Transactions on Mathematical Software (TOMS), v.9 n.1, p.18-56, March 1983 [doi>10.1145/356022.356024]
• 8: GREENBER~, H.J. ANALYZE: A computer-assisted analysis system for linear programming models. Oper. Res. Lett. 6, 5 (1987), 249-255.
• 9: Harvey J. Greenberg, A natural language discourse model to explain linear programming models and solutions, Decision Support Systems, v.3 n.4, p.333-342, Dec. 1987 [doi>10.1016/0167-9236(87)90104-7]
• 10: GREENBERG, H.J. Computer-assisted analysis for diagnosing infeasible or unbounded linear programs. Math. Program. Stud. 31, (1987), 79-97.
• 11: Harvey J. Greenberg, ANALYZE rulebase, Mathematical models for decision support, Springer-Verlag New York, Inc., New York, NY, 1988
• 12: S. D. Greenberg, Computer-Assisted Image Analysis Cytology, Karger, S Publishers, 1984
• 13: GREENBERG, H J. Modeltng by Object-Driven Lznear Elemental Relations: A User's Guide for MODLER. Kluwer, Boston, Mass., 1993.
• 14: GREENBERG, H.J. An empirical analysis of infeasibihty diagnosis for instances of linear programming blending models. 1MA J. Math. Bus. Ind~Js. 4 (1992), 163-210.
• 15: GREENBERG, H. J., LUNDGREN~ J. R., AND MAYB~;E, J. $. Graph theoretic methods for the qualitative analysis of rectangular matrices. SIAM J. Algebraic D~screte Methods 2, (1981), 221-239.
• 16: Harvey J. Greenberg , J. Richard Lundgren , John S. Maybee, Extensions of graph inversion to support an artificially intelligent modeling environment, Annals of Operations Research, v.21 n.1-4, p.127-142, Nov. 1989 [doi>10.1007/BF02022096]
• 17: GREEN~ERG, H. J., AND MURPHY, F. H. Approaches to diagnosing infeasibility for linear programs, ORSA J. Comput. 3, 3 (1991), 253-261.
• 18: GREENBERG, 1/. J., AND MURPHY, F. H. Views of mathematical programming models and their instances, Tech. Rep., Mathematics Dept., Univ. of Colorado at Denver, Denver, Colo., 1991.
• 19: MathPro, Inc. MathPro Usage Guide: Introduction and Reference. Washington, D.C., 1989.
• 20: Frederic H Murphy , Edward A Stohr, An intelligent system for formulating linear programs, Decision Support Systems, v.2 n.1, p.39-47, March 1986 [doi>10.1016/S0167-9236(98)00087-6]
• 21: SCHRAGE, L. User's Manual for LINDO. Scientific Press, Palo Alto, Calif., 1981.
• 22: James S. Welch, Jr., PAM- a practitioner's approach to modeling, Management Science, v.33 n.5, p.610-625, May 1987 [doi>10.1287/mnsc.33.5.610]

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS
      G.1.6 Optimization

          Nouns: ANALYZE

Additional Classification:
  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS
      G.1.6 Optimization
          Subjects: Linear programming

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING

General Terms:
Design, Experimentation, Languages, Performance

Keywords:
computer-assisted analysis, infeasibility, large-scale systems, linear programming, modeling, sensitivity analysis