Harvey J. Greenberg: A Legacy Bridging Operations Research and Computing (International Series in Operations Research & Management Science Book 295)

L'écran-titre de Springer indique : "This volume chronicles the high impact research career of Harvey Greenberg (1940-2018), and in particular, it reviews historical contributions, presents current research projects, and suggests future pursuits. This volume addresses several of his most distinguished hallmarks, including model analysis, model generation, infeasibility diagnosis, sensitivity analysis, parametric programming, energy modeling, and computational biology. There is also an overview chapter on the emergence of computational OR, and in particular, how literature venues have changed the course of OR research. He developed Computer-Assisted Analysis in the 1970s and 80s, creating an artificially intelligent environment for analyzing mathematical programming models and their results. This earned him the first INFORMS Computing Society (ICS) Prize for "research excellence in the interfaces between operations research and computer science" in 1986, notably for his software system, ANALYZE. In 1993, he wrote the first book in the Springer OR/CS Series entitled A Computer-Assisted Analysis System for Mathematical Programming Models and Solutions: A User's Guide for ANALYZE. He applied OR methods to CS problems, ranging from using queuing theory for optimal list structure design to using integer programming for bioinformatic database search. He also applied CS to OR problems, ranging from super-sparse information structures to the use of compiler design in ANALYZE. This book can serve as a guide to new researchers, and will report the historical trajectory of OR as it solves current problems and forecasts future applications through the accomplishments of Harvey Greenberg." Contents 1 A Commemorative Review of Harvey Greenberg's Career 1.1 Research Prowess 1.2 Pedagogical Imprint 1.3 Governmental Success 1.4 Service 1.5 A Constant Challenge to Norms References 2 How the Work That Harvey and I Did at the Federal Energy Administration (Later Department of Energy) Shaped Our Research Careers and Led to Our Decades Long Collaboration and Friendship 2.1 Background 2.2 The Energy Crisis Years 2.3 The Work the PIES Team Was Doing 2.4 Modeling Regulated Market Equilibria in PIES 2.4.1 Electricity Pricing 2.4.2 Pricing Crude Oil 2.4.3 Natural Gas Regulation 2.5 Replacing PIES with IFFS 2.6 What We Learned About the Regulatory Polices 2.7 Modeling Regulations Since the Representations in PIES, IFFS, and NEMS 2.8 Model Representation and Analysis 2.9 Diagnosing Infeasible Linear Programs 2.10 Reflections on Our Experiences in Government 2.11 Harvey's Legacy and Contribution to My Career References 3 Software for an Intelligent Mathematical Programming System 3.1 Introduction 3.1.1 The Drive for an Intelligent Mathematical Programming System 3.1.2 Technology Context 3.1.3 Industrial Sponsorship 3.2 Anatomy and Views of a Model 3.3 MODLER: Modeling by Object-Driven Linear Elemental Relations 3.3.1 Capturing Structure in Instance Representations 3.4 RANDMOD: Controlled Randomization of Linear Programs 3.5 Analyze: A Computer-Assisted Analysis System for Mathematical Programming Models and Solutions 3.5.1 Views and Analyses 3.5.2 Algorithmic Analysis 3.5.3 The Rule Base 3.6 WRIP: A Workbench for Research in (Linear) Programming 3.7 Conclusion References 4 Harvey Greenberg: Analyzing Infeasible Mathematical Programs 4.1 Introduction 4.1.1 Defining Infeasibility 4.1.2 Isolating and Diagnosing Infeasibility 4.2 Reasoning About Bounds 4.2.1 Phase 1 Dual Prices and Aggregate Constraints 4.2.2 Successive Bound Reduction 4.2.3 Block-and-Link Structures 4.3 Path and Cycle Tracing 4.4 Interior Point Solutions and Infeasibility 4.5 Analysis of Infeasible Networks 4.6 Comparison of Infeasibility Analysis Techniques 4.7 Infeasibility Analysis in ANALYZE 4.8 Maximum Feasible Subsets of Constraints 4.9 Minimum Feasible Partitions 4.10 Finding the Closest Feasible Solution 4.11 Analyzing Infeasible Mixed-Integer Linear Programs 4.12 Conclusions References 5 Development of Publications and Community at the Interface Between Operations Research and Computing 5.1 Introduction 5.2 The Journal on Computing 5.2.1 Origins and Leadership 5.2.2 JOC Areas and Their Editors 5.3 Influence in Professional Societies 5.3.1 The INFORMS Computing Society 5.3.2 TutORials 5.4 Summary and Acknowledgments References 6 Parametric Stochastic Programming with One Chance Constraint: Gaining Insights from Response Space Analysis 6.1 Introduction and Background 6.2 Response Space Analysis 6.3 Multiplier Search 6.3.1 Search for One Optimal Multiplier 6.3.2 Parametric Search Algorithm 6.4 Pre-processing 6.5 Gap Closing 6.6 Some Pitfalls to Consider 6.6.1 Tolerance Relations 6.6.2 Measuring Probability 6.6.3 When It Is Infeasible to Select All Scenarios 6.6.4 Low Probabilities 6.7 Summary and Conclusions References 7 An Analysis of Multiple Contaminant Warning System Design Objectives for Sensor Placement Optimization in Water Distribution Networks 7.1 Introduction 7.2 Background and Overview 7.3 Problem, Objectives, and Mixed-Integer Formulation 7.4 Experimental Results and Analysis 7.4.1 The Test Networks and Contamination Scenarios 7.4.2 Characteristics of Individual Design Objectives 7.4.3 The Impact of Optimization on Competing Objectives 7.5 Compromise Solutions 7.6 Conclusions References 8 A Simplex Approach to Solving Robust Metabolic Models with Low-Dimensional Uncertainty 8.1 Introduction 8.2 Motivation and Problem Statement 8.3 Algorithmic Development 8.4 Illustrative Examples 8.4.1 Example 1 8.4.2 Example 2 8.5 RAMP Studies 8.6 Conclusions References L'écran-titre de Springer indique : "This volume chronicles the high impact research career of Harvey Greenberg (1940-2018), and in particular, it reviews historical contributions, presents current research projects, and suggests future pursuits. This volume addresses several of his most distinguished hallmarks, including model analysis, model generation, infeasibility diagnosis, sensitivity analysis, parametric programming, energy modeling, and computational biology. There is also an overview chapter on the emergence of computational OR, and in particular, how literature venues have changed the course of OR research. He developed Computer-Assisted Analysis in the 1970s and 80s, creating an artificially intelligent environment for analyzing mathematical programming models and their results. This earned him the first INFORMS Computing Society (ICS) Prize for "research excellence in the interfaces between operations research and computer science" in 1986, notably for his software system, ANALYZE. In 1993, he wrote the first book in the Springer OR/CS Series entitled A Computer-Assisted Analysis System for Mathematical Programming Models and Solutions: A User's Guide for ANALYZE. He applied OR methods to CS problems, ranging from using queuing theory for optimal list structure design to using integer programming for bioinformatic database search. He also applied CS to OR problems, ranging from super-sparse information structures to the use of compiler design in ANALYZE. This book can serve as a guide to new researchers, and will report the historical trajectory of OR as it solves current problems and forecasts future applications through the accomplishments of Harvey Greenberg."