.png){kind=icon}
.png){kind=icon}
Return
A formal specification of geometric refinements
.png){kind=icon}
PRE
AI
D
J
DOI：10.1007/s003710050178.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
The geometric refinements of 2D and 3D subdivisions are basic operations in geometric programming. They consist in partitioning their cells, until no intersection exists between them and in achieving their topological restructuring. We present new methods to formalize their design. We present an algebraic specification of the operators needed to handle the topological models and refinements. We completely describe the refine ment processes, thanks to the use of rewrite systems. This approach allows us to exhibit integrity constraints for the objects handled and to focus on the conceptual and logical aspects of the refinement. Finally, we show how the systems are enhanced to reflect choices of implementations and algorithmic improvements.
Keywords:
computational geometry
Boolean operations
geometric refinement
algebraic specifications
rewrite systems
Journal
IF:
2.9
Papers:
4.5K
Citations:
6.5K
Organization
No organization information available
Cited Papers