Computer-Assisted Analysis and Model Simplification

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.

Contenu

Contributors

Preface

On Organizing Analysis

The Scope of Computer-Assisted Analysis and Model Simplification

Technical Summary

Session 1 Structural Modeling

Structural Models and Graph Theory

Structural Models and Graph Theory

Learning through Model Building

Notes on Networks and Mini-Models

Discussion

Session II Qualitative Stability Analysis

Qualitative Stability of Matrices and Economic Theory: A Survey Article

Some Structural Aspects of Economic Models

Comments on James Quirk's Article

Comments on "Qualitative Stability of Matrices and Economic Theory: A Survey Article" by James Quirk

Discussion

Session III Qualitative Determinacy and Extension

Sign Solvability

Maybee's "Sign Solvability"

Particularizing the Generality of Economic Analysis

Qualitative Matrices: Strong Sign-Solvability and Weak Satisfiability

Discussion

Session IV Embedded Structures

Hidden Structure in Linear Programs

Creating Network Structure in LPs

Automatic Identification of Embedded Structure in Large-Scale Optimization Models

Some Comments on Hidden Structure in Linear Programs

Discussion

Session V Query Systems

Logical Inference as an Aid to Analysis in Large Databases

Query Systems for Linear Programming Models

How Query Systems Can Simplify Models and Aid Analysis

Comments on "Logical Inference as an Aid to Analysis in Large Databases" by Jack Minker

Discussion

Appendix 1 Implementation Aspects of Model Management: A Focus on Computer-Assisted Analysis

Appendix 2 Graph-Theoretic Foundations of Computer-Assisted Analysis

Appendix 3 Measuring Complementarity and Qualitative Determinacy in Matricial Forms