Title :
A compositional, constraint-based model of statics
Author :
Loofbourrow, Nathan
Author_Institution :
Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Abstract :
The author presents a solution to a variety of statics problems using a declarative and executable model. The flexibility of this model is its ability to answer a variety of queries about a physical mechanism, providing the means for simulation, control or evaluation. This model possesses a well-defined compositional operator by which physical systems may be assembled from constituent parts. The model is achieved by means of a rule-based and constraint-based language. Constraint solving aids in flexibility by providing equations and inequalities without a specified order of evaluation. Rules provide additional flexibility by allowing nondeterminism, while providing ease-of-use through a declarative description of the model
Keywords :
constraint handling; digital simulation; engineering graphics; mechanical engineering computing; statics; compositional constraint-based model; compositional operator; constituent parts; constraint solving; constraint-based language; control; declarative model; evaluation; executable model; nondeterminism; physical mechanism; queries; rule-based language; simulation; statics; Arithmetic; Concrete; Context modeling; Cost accounting; Equations; Information science; Logic; Programming profession; Read only memory; Springs;
Conference_Titel :
Computer Animation 98. Proceedings
Conference_Location :
Philadelphia, PA
Print_ISBN :
0-8186-8541-7
DOI :
10.1109/CA.1998.681923
