A Combinatorial Parametric Engineering Model for Solid Freeform Fabrication

Fabricated parts are often represented as compact connected smooth 3-manifolds with boundary, where the boundaries consist of compact smooth 2-manifolds. This class of mathematical structures includes topological spaces with enclosed voids and tunnels. Useful information about these structures are coded into level functions (Morse functions) which map points in the 3-manifold onto their height above a fixed plane. By definition, Morse functions are smooth functions, all of whose critical points are nondegenerate. This information is presented by the Reeb graph construction that develops a topologically informative skeleton of the manifold whose nodes are the critical points of the Morse function and whose edges are associated with the connected components between critical slices. This approach accurately captures the SFF process: using a solid geometric model of the part, defining surface boundaries; selecting a part orientation; forming planar slices, decomposing the solid into a sequence of thin cross-sectional polyhedral layers; and then fabricating the part by producing the polyhedra by additive manufacturing. This note will define a qualitative and combinatorial parametric engineering model of the SFF part design process. The objects under study will be abstract simplicial complexes K with boundary ∂K. Systems of labeled 2-surfaces in K, called slices, will be associated with the cross-sectional polyhedral layers. The labeled slices are mapped into a family of digraph automata, which, unlike cellular automata, are defined not on regular lattices with simple connectivities (cells usually have either 4 or 8 cell neighborhoods) but on unrestricted digraphs whose connectivities are irregular and more complicated.