Solidmodeling
Solidmodeling
Solidmodeling
LECTURE 31
Half Spaces
Half spaces form a basic representation scheme for bounded solids.
H = {P : P E 3 and f ( P) < 0}
A planar half space is represented as:
H = {( x, y, z ) : z < 0}
YL XL
ZL
Half Spaces
A cylindrical Half Space is a given by:
H = {( x, y, z ) : x 2 + y 2 < R 2 }
YL
R
XL
ZL
Half Spaces
A spherical Half Space is a given by:
H = {( x, y, z ) : x 2 + y 2 + z 2 < R 2 }
YL
R
XL
Half Spaces
A conical Half Space is a given by:
H = {( x, y, z ) : x 2 + y 2 < (tan( / 2) z ) 2 }
YL XL
ZL
Half Spaces
A toroidal Half Space is a given by:
2 2 H = {( x, y, z ) : ( x 2 + y 2 + z 2 R2 R12 < 4 R2 ( R12 z 2 )}
YL
R1 R2
XL
ZL
n S = U H I i i =0
Disadvantages: The representation can lead to unbounded solid models as it depend on user manipulation of half spaces The modeling scheme is cumbersome for ordinary users / designers
A manifold surface:
each point is homeomorphic to a disc
EV
EE
EF
FV
FE
FF
1 2 3 4 5 6 Orientation Preserving
6 5 4 3 2 1 Orientation Reversing
Schlegel Diagrams
A common form of embedding graphs on planar faces is called Schlegel Diagram. It is a projection of its combinatorial equivalent of the vertices, edges and faces of the embedded boundary graph on to its surface. Here the edges may not cross except at their incident vertices and vertices may not coincide.
e5 e9 e1 e8 e4 e3 e12 e7 Schlegel Diagram of a Cube e11 e2 e6 e10
Atlas of Cube
An atlas of a cube can also be given by the arrangement of its faces as shown below
1 0 2 3 4 3 5 2 1
Atlas of Cube
Cylinder
Mobius Strip
Non-manifold surfaces
Non-oriented Manifolds
Moebius strip
Klein bottle
Boundary Representation
E=4 V =4 F =1
Original object
E =5 V =5 F =1
E =5 V =5 F =1
Nonsense object Euler Operations (Euler Poincare Law): The validity of resulting solids is ensured via Euler operations which can be built into CAD/CAM systems. Volumetric Property calculation in B-rep: It is possible to compute volumetric properties such as mass properties (assuming uniform density) by virtue of Gauss divergence theorem which converts volume integrals to surface integrals.
Modified objects
10
Euler-Poincare Law
Euler (1752) a Swiss mathematician proved that polyhedra that are homomorphic to a sphere are topologically valid if they satisfy the equation:
F E + V L = 2( B G ) F E +V = 2 F E +V L = B G
F=Face B=Bodies E=Edge L=Faces inner Loop
11
Euler Operations
A connected structure of vertices, edges and faces that always satisfies Eulers formula is known as Euler object. The process that adds and deletes these boundary components is called an Euler operation Applicability of Euler formula to solid objects:
At least three edges must meet at each vertex. Each edge must share two and only two faces All faces must be simply connected (homomorphic to disk) with no holes and bounded by single ring of edges. The solid must be simply connected with no through holes
E =8 V =5 F =5 58+5 = 2
E = 24 V = 16 F = 10 10 24 + 16 = 2
12
E =3 V =2 F =3 33+ 2 = 2
E=2 V =2 F =2 22+2 = 2
E=2 V =2 F =2 22+2 = 2
Genus one
Genus two
13
General
General
E = 24 V = 16 B =1
Surface hole
F = 11 L =1 G=0
11 24 + 16 1 = 2(1 0) = 2
14
General
E = 48 F = 20 V = 32 B =1 L=4 G =1
20 48 + 32 4 = 2(1 1) = 0
Shell polyhedra
15
General
16
F1 F1 E F2
F2
v1
Predecessor 1
Successor 2
As each face is orientable, edges of the loops are traversed in a given direction. The wingded edge data structure is efficient in object modifications (addition, deletion of edges, Euler operations).
Building Operations
F E + V L = 2( B G )
Operation Initiate Database and begin creation Create edges and vertices Create edges and faces Operator MBFV MEV MEKL MEF MEKBFL MFKLG KFEVMG KFEVB MME ESPLIT KVE Complement KBFV KEV KEML KEF KEMBFL KFMLG MFEVKG MFEVB KME ESQUEEZE
General
Description Make Body Face Vertex Make Edge Vertex Make Edge Kill Loop Make Edge Face Make Edge Kill Body, Face Loop Make Edge Kill Loop Genus Kill Face Edge Vertex Make Genus Kill Face Edge Vertex Body Make Multiple Edges Edge Split Kill Vertex Edge
The basis of the Euler operations is the above equation. M and K stand for Make and Kill respectively.
17
F E + V L = 2( B G )
MBFV
Euler Operations
MEF KEF
18
F E + V L = 2( B G )
MEKBFL KEMBFL
Euler Operations
MFKLG KFMLG
GLUE(KFEVMG) UNGLUE(MFEVKG)
F E + V L = 2( B G )
GLUE(KFEVB)
Euler Operations
B
UNGLUE(MFEVB)
19
Building operations
MME
MBFV
MEF
MME
Demerits :
They do not provide any geometrical information to define a solid polyhedron They do not impose any restriction on surface orientation, face planarity, or surface self intersection
20
Disadvantages :
It requires large storage space as it stores the explicit definitions of the model boundaries It is more verbose than CSG Faceted B-rep is not suitable for manufacturing applications
21