Computer-Assisted Analysis and Model Simplification : Proceedings of the First Symposium on Computer-Assisted Analysis and Model Simplification, University of Colorado, Boulder, Colorado, March 28, 1980

Computer-Assisted Analysis and Model Simplification deals with problems associated with the implementation, understanding, and management of large-scale, computer-resident models. This book focuses on five general research areas—structural modeling, qualitative economics, mathematical programming systems, relational databases, and combinatorics. In these topics, this compilation discusses the scope of computer-assisted analysis and model, structural models and graph theory, and qualitative stability of matrices and economic theory. The strong sign-solvability and weak satisfiability, automatic identification of embedded structure in large-scale optimization models, and query systems for linear programming models are also deliberated. This publication is a good source for students, specialists, and researchers interested in computer-assisted analysis and model simplification. Content: Academic Press Rapid Manuscript Reproduction, Page ii Front Matter, Page iii Copyright, Page iv CONTRIBUTORS, Pages ix-x PREFACE, Pages xi-xii, HARVEY J. GREENBERG, JOHN S. MAYBEE ON ORGANIZING ANALYSIS, Pages 1-15, George M. Lady The Scope of Computer-Assisted Analysis and Model Simplification, Pages 17-26, Harvey J. Greenberg TECHNICAL SUMMARY, Pages 27-30 STRUCTURAL MODELS AND GRAPH THEORY, Pages 31-58, Frank Harary STRUCTURAL MODELS AND GRAPH THEORY, Pages 59-67, Fred S. Roberts LEARNING THROUGH MODEL BUILDING, Pages 69-78, John N. Warfield NOTES ON NETWORKS AND MINI-MODELS, Pages 79-101, David Nissen DISCUSSION, Pages 103-111 QUALITATIVE STABILITY OF MATRICES AND ECONOMIC THEORY: A SURVEY ARTICLE, Pages 113-164, James Quirk SOME STRUCTURAL ASPECTS OF ECONOMIC MODELS, Pages 165-173, Richard W. Ruppert COMMENTS ON JAMES QUIRK'S ARTICLE, Pages 175-189, W.M. Gorman COMMENTS ON “QUALITATIVE STABILITY OF MATRICES AND ECONOMIC THEORY: A SURVEY ARTICLE”, Pages 191-192, James Quirk, Eli Hetlerman DISCUSSION, Pages 193-199 SIGN SOLVABILITY, Pages 201-257, John S. Maybee MAYBEE'S “SIGN SOLVABILITY”, Pages 259-270, Kelvin Lancaster PARTICULARIZING THE GENERALITY OF ECONOMIC ANALYSIS, Pages 271-291, Stedman B. Noble QUALITATIVE MATRICES: STRONG SIGN-SOLVABILITY AND WEAK SATISFIABILITY, Pages 293-320, Victor Klee, Richard Ladner DISCUSSION, Pages 321-325 HIDDEN STRUCTURE IN LINEAR PROGRAMS, Pages 327-360, Robert E. Bixby CREATING NETWORK STRUCTURE IN LP'S, Pages 361-367, Fred Glover AUTOMATIC IDENTIFICATION OF EMBEDDED STRUCTURE IN LARGE-SCALE OPTIMIZATION MODELS, Pages 369-388, Gerald G. Brown, William G. Wright SOME COMMENTS ON HIDDEN STRUCTURE IN LINEAR PROGRAMS, Pages 389-395, Linus Schrage DISCUSSION, Pages 397-404 LOGICAL INFERENCE AS AN AID TO ANALYSIS IN LARGE DATABASES, Pages 405-430, Jack Minker QUERY SYSTEMS FOR LINEAR PROGRAMMING MODELS, Pages 431-435, James E. Kalan HOW QUERY SYSTEMS CAN SIMPLIFY MODELS AND AID ANALYSIS, Pages 437-442, Richard P. O'Neill COMMENTS ON “LOGICAL INFERENCE AS AN AID TO ANALYSIS IN LARGE DATABASES”, Pages 443-445, Jack Minker, J.A. Tomlin DISCUSSION, Pages 447-454 APPENDIX 1 - IMPLEMENTATION ASPECTS OF MODEL MANAGEMENT: A FOCUS ON COMPUTER-ASSISTED ANALYSIS, Pages 455-479, Harvey J. Greenberg APPENDIX 2 - GRAPH-THEORETIC FOUNDATIONS OF COMPUTER-ASSISTED ANALYSIS, Pages 481-495, Harvey J. Greenberg, J. Richard Lundgren, John S. Maybee APPENDIX 3 - MEASURING COMPLEMENTARITY AND QUALITATIVE DETERMINACY IN MATRICIAL FORMS, Pages 497-522, Harvey J. Greenberg