A type calculus for mathematical programming modeling languages
Clemence, Robert D.
Bradley, Gordon H.
Bradley, Gordon H.
MetadataShow full item record
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.
RightsThis 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.
Showing items related by title, author, creator and subject.
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 ...
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 ...
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 ...