A type calculus for mathematical programming modeling languages
dc.contributor.advisor | Bradley, Gordon H. | |
dc.contributor.author | Clemence, Robert D. | |
dc.date.accessioned | 2013-11-20T23:33:45Z | |
dc.date.available | 2013-11-20T23:33:45Z | |
dc.date.issued | 1990-09 | |
dc.identifier.uri | https://hdl.handle.net/10945/37561 | |
dc.description.abstract | 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. | en_US |
dc.description.uri | http://archive.org/details/atypecalculusfor1094537561 | |
dc.format.extent | vii, 134 p. bill. | en_US |
dc.language.iso | en_US | |
dc.publisher | Monterey, California. Naval Postgraduate School | en_US |
dc.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. | en_US |
dc.subject.lcsh | Mathematical models | en_US |
dc.subject.lcsh | Calculus | en_US |
dc.title | A type calculus for mathematical programming modeling languages | en_US |
dc.type | Thesis | en_US |
dc.contributor.secondreader | Bradley, Gordon H. | |
dc.contributor.corporate | Naval Postgraduate School (U.S.) | |
dc.contributor.school | Naval Postgraduate School (U.S.) | |
dc.contributor.department | Operations Research | |
dc.subject.author | Data types | en_US |
dc.subject.author | integrated modeling | en_US |
dc.subject.author | linear programming | en_US |
dc.subject.author | model validation | en_US |
dc.subject.author | mathematical programming software | en_US |
dc.subject.author | special purpose languages | en_US |
dc.description.service | Major, United States Army | en_US |
etd.thesisdegree.name | Ph.D. in Operations Research | en_US |
etd.thesisdegree.level | Doctoral | en_US |
etd.thesisdegree.discipline | Operations Research | en_US |
etd.thesisdegree.grantor | Naval Postgraduate School | en_US |
dc.description.distributionstatement | Approved for public release; distribution is unlimited. |
Files in this item
This item appears in the following Collection(s)
-
1. Thesis and Dissertation Collection, all items
Publicly releasable NPS Theses, Dissertations, MBA Professional Reports, Joint Applied Projects, Systems Engineering Project Reports and other NPS degree-earning written works.