A type calculus for mathematical programming modeling languages

Download
Author
Clemence, Robert D.
Date
1990-09Advisor
Bradley, Gordon H.
Second Reader
Bradley, Gordon H.
Metadata
Show full item recordAbstract
The issue of model validation is critical in the formulation and interpretation of mathematical programming models, yet this problem is largely ignored by contemporary modeling languages and the systems they support. This research advanced modeling languages for mathematical programming by providing a formalism and defining a language for specifying a dimensional complement, called typing, to the algebraic representation of models. Typing is a formal specification used to determine automatically whether the algebraic model is well-formed in the sense that its objective junction and constraints are composed of homogeneous components and that operations junction and constraints are composed of homogeneous components and that operations performed using indices are meaningful. A provision is made for the definition of dimensional axioms that can be applied automatically to resolve dimensional differences. The addiction of formal typing to mathematical programming models also yields a powerful abstraction mechanism for integrated modeling.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
Mathematical models of the reparable item inventory system
Schrady, David A. (Monterey, California. Naval Postgraduate School, 1967-08); NPS-55SO7081AReparable items, as opposed to consumable items, are usually rebuilt upon removal from service. A reparable item inventory system is composed of an inventory of ready-for-issue (RFI) items and an inventory of non-ready-for-issue ... -
Modeling man-made epidemics
Paterson, Ryan (Monterey, California. Naval Postgraduate School, 2002-03);This thesis develops a mathematical model to explore epidemic spread through the Ground Combat Element (GCE) of the Marine Expeditionary Unit (MEU). The model will simulate an epidemic caused by a biological attack using ... -
Warship combat system selection methodology based on discrete event simulation
Gomez Torres, Jose M. (Monterey, California. Naval Postgraduate School, 2010-09);This thesis presents the development of a methodology for the conceptual design of a medium tonnage warship?s combat system for the Colombian Navy. The methodology is oriented toward the optimization of the operational ...