Objective of solid modeling
To find a computational representation for physical objects, starting from their Mathematical model
Properties of a representation scheme
Domain
subset of the model space M containing models which have a representation r
Validity of a representation scheme
A representation scheme is syntactic correct if all models of the domain can be represented;
A representation scheme is semantic correct if each representation has a corresponding model
A representation scheme is valid if and only if it is syntactically and semantically correct
Completness of a representation scheme
A representation scheme is ambiguous if two models in the domain have the same representation
A representation scheme is complete if it is valid and unambiguous
Uniqueness of a representation scheme
A representation scheme is unique if for any model in the domain, a representation exists, and it is unique
Most used representation schemes
wire frame
parametrized primitive instancing
spacial occupancy enumeration
Cell decomposition (octree)
sweeping
constructive solid geometry
regularized boolean operations
to maintain boundary determinism, the regularized boolean operations must be used
these are the closure of the classical operations
boundary representation