Mechanical parts are modeled as (predominantly rigid) solid shapes that may move in space in order to function, be manufactured (for example, machine or be machined), and be assembled or disassembled. While it is clear that such mechanical shapes are greatly influenced by collision, interference, containment, and contact constraints through prescribed motions, the motion itself is usually not part of these shape models. This in turn leads to proliferation of computational methods for modeling and analysis of various motion-related constraints. We show that all motion-related constraints can be formulated and applied within the same computational framework that treats motion as an integral part of the model. Our approach relies on two computational utilities. The first one is the unsweep operation which, given an arbitrary n-dimensional subset of Euclidean space E and a general motion M, returns the largest subset of E that remains inside E under M. The second modeling utility is a disjoint decomposition of space induced by the operations of unsweep and the standard set operations. The proposed approach subsumes and unifies the traditional sweep-based modeling of moving parts, and provides improved computational support for mechanical shape design. [S1050-0472(00)02404-1]

1.
Requicha
,
A.
,
1980
, “
Representations for rigid solids: Theory, Methods and Systems
,”
ACM Computing Surveys
,
12
, No.
4
, pp.
437
463
.
2.
Hui, K., 1994, “Solid Modelling with Sweep-CSG Representation,” Proc. CSG 94 Set Theoretic Solid Modelling; Techniques and Applications, pp. 119–131.
3.
Lee, Y., and Chang, T., 1996, “Application of Convex Hull For Tool Interference Avoidance in 5-Axis CNC Machining,” in Proc. 1996 ASME Design Technical Conferences.
4.
Wang
,
W.
, and
Wang
,
K.
,
1986
, “
Geometric Modeling for Swept Volume of Moving Solids
,”
IEEE Comput. Graphics Appl.
,
6
, No.
12
, pp.
8
17
.
5.
Donald, B., 1985, “On Motion Planning with Six Degrees of Freedom: Solving the Intersection Problems in Configuration Space,” Proceedings of the IEEE International Conference on Robotics and Automation, pp. 536–541.
6.
Lozano-Perez
,
T.
,
1983
, “
Spatial Planning: A Configuration Space Approach
,”
IEEE Trans. Comput.
,
C-32
, No.
2
, pp.
108
120
.
7.
Schroeder, W., Lorensen, W., and Linthicum, S., 1994, “Implicit Modeling of Swept Surfaces and Volumes,” in Visualization Proc. 1994 IEEE Visualization Conference, Oct. 17–21, Washington, DC, pp. 40–45.
8.
Ganter, M., 1985, “Dynamic Collision Detection Using Kinematics and Solid Modeling Techniques,” Ph.D. thesis, University of Wisconsin-Madison.
9.
Uicker, J. J., Jr., 1997, “Matrix Methods in the Design and Analysis of Mechanisms,” ME751, Lecture notes, University of Wisconsin, Madison.
10.
Ilies, H., and Shapiro, V., 1996, “An Approach To Systematic Part Design,” in Proc. 5th IFIP WG5.2 Workshop on Geometric Modeling in CAD, pp. 383–392.
11.
Bottema, O., and Roth, B., 1979, Theoretical Kinematics, Dover Publications, New York.
12.
Chen, F., 1982, Mechanics and Design of Cam Mechanisms, Pergamon Press, New York.
13.
Litvin, F. L., 1994, Gear Geometry and Applied Theory, Prentice-Hall, Englewood Cliffs, NJ.
14.
Shigley, J. and Uicker, J. J., Jr., 1995, Theory of Machines and Mechanisms, McGraw-Hill, New York, 2nd ed.
15.
Gupta, R., and Jakiela, M., 1993, “Simulation and Shape Synthesis of Kinematic Pairs via Small-Scale Interference Detection: Advanced Examples Demonstrating Shape Optimization and Non-Fixed Axis Members,” in Proc. 5th International Conference on Design Theory and Methodology, Sept. 19–22, 53, Albuquerque, NM, pp. 25–35, ASME.
16.
Boyse
,
J.
,
1979
, “
Interference Detection Among Solids and Surfaces
,”
Commun. ACM
,
22
, No.
1
, pp.
3
9
.
17.
Kawabe, S., Okano, A., and Shimada, K., 1988, “Collision Detection Among Moving Objects in Simulation,” in Proc. USA–Japan Symposium on Flexible Automation—Crossing Bridges: Advances in Flexible Automation and Robotics.
18.
Canny
,
J.
,
1986
, “
Collision Detection for Moving Polyhedra
,”
IEEE Trans. Pattern Anal. Mach. Intell.
,
8
, pp.
200
209
.
19.
Gilbert, E., and Hong, S., 1989, “New Algorithm for Detecting the Collision of Moving Objects,” in IEEE International Conference on Robotics and Automation, 1, pp. 8–14, Scottsdale, AZ.
20.
Rabbitz, R., 1994, “Fast Collision Detection of Moving Convex Polyhedra,” in Graphics Gems IV, pp. 83–109, Academic Press, Boston, MA.
21.
Red
,
E.
,
1983
, “
Minimum Distances for Robot Task Simulation
,”
Robotica
,
1
, No.
4
, Oct., pp.
231
238
.
22.
Shimada, K., Okano, A., and Kawabe, S., 1988, “A Collision detection algorithm for geometric simulation,” in Proc. USA–Japan Symposium on Flexible Automation—Crossing Bridges: Advances in Flexible Automation and Robotics.
23.
Ganter, M. A., and Uicker, J. J., Jr., 1986, “Dynamic Collision Detection Using Swept Solids,” in American Society of Mechanical Engineers Design Engineering Technical Conference.
24.
Kieffer
,
J.
, and
Litvin
,
F.
,
1991
, “
Swept Volume Determination and Interference Detection for Moving 3-D Solids
,”
ASME J. Mech. Des.
,
113
, No.
4
, pp.
456
463
.
25.
Sambandan, K., 1990, “Geometry Generated by Sweeps of Polygons and Polyhedra,” Ph.D. thesis, Cornell University.
26.
Blackmore
,
D.
,
Leu
,
M.
, and
Wang
,
L.
,
1997
, “
The Sweep-Envelope Differential Equation Algorithm and its Application to NC Machining Verification
,”
Computer Aided Design
,
29
, No.
9
, Sept., pp.
629
637
, Elsevier Science Ltd., Oxford, England.
27.
Pasko
,
A.
, and
Sourin
,
A.
,
1996
, “
Function representation for sweeping by a moving solid
,”
IEEE Trans. Visualization Computer Graphics
,
2
, No.
1
, Mar., pp.
11
18
.
28.
Blackmore
,
D.
, and
Leu
,
M.
,
1992
, “
Analysis of Swept Volume via Lie Groups and Differential Equations
,”
Int. J. Robot. Res.
,
11
, No.
6
, pp.
516
536
.
29.
Cameron, S., 1985, “A Study of the Clash detection Problem in Robotics,” IEEE Trans?, pp. 488–493.
30.
Cameron
,
S.
,
1991
, “
Efficient bounds in constructive solid geometry
,”
IEEE Comput. Graphics Appl.
,
11
, No.
3
, pp.
68
74
.
31.
Ilies
,
H.
, and
Shapiro
,
V.
,
1999
, “
The Dual of Sweep
,”
Computer Aided Design
,
31
, No.
3
, pp.
185
201
.
32.
Ilies, H., and Shapiro, V., 1997, “UNSWEEP: Formulation and Computational Properties,” in Proc. Fourth ACM Symposium on Solid Modeling and Applications: Solid Modeling ’97, Atlanta, Georgia.
33.
Arnold, V., 1978, Mathematical Methods of Classical Mechanics, Springer-Verlag, New York.
34.
Latombe, J.-C., 1991, Robot Motion Planning, Kluwer Academic Publishers, Boston/Dordrecht/London.
35.
Vossler
,
D. L.
,
1985
, “
Sweep-to-CSG Conversion Using Pattern Recognition Techniques
,”
IEEE Comput. Graphics Appl.
,
5
, No.
8
, Aug., pp.
61
68
.
36.
Chen, X., and Hoffmann, C. H., 1994, “Towards Feature Attachment,” Technical Report CSD-TR-94-010, Department of Computer Science, Purdue University, West Lafayette, IN.
37.
Snyder
,
J. M.
, and
Kajiya
,
J. T.
,
1992
, “
Generative Modeling: A Symbolic System for Geometric Modeling,” in Computer Graphics (SIGGRAPH ’92 Proceedings)
,
26
, pp.
369
378
.
38.
Sourin, A., and Pasko, A., 1995, “Function Representation for Sweeping by a Moving Solid,” in Third International Symposium on Solid Modeling and Applications, pp. 383–392.
39.
Menon
,
J. P.
, and
Robinson
,
D. M.
,
1993
, “
Advanced NC Verification via Massively Parallel Raycasting
,”
Manuf. Rev.
,
6
, No.
2
, Jun., pp.
141
154
.
40.
Hunt
,
K. H.
,
1987
, “
Robot Workspace of a Tool Plane: Part1—A Ruled Surface and Other Geometry
,”
ASME J. Mech. Trans. Aut. Des.
,
109
, Mar., pp.
50
71
.
41.
Foley, J. D., van Dam, A., Feiner, S. K., and Hughes, J. F., 1990, Computer Graphics: Principles and Practice, Addison-Wesley, Reading, MA.
42.
Requicha
,
A. A. G.
, and
Voelcker
,
H. B.
,
1985
, “
Boolean Operations in Solid Modeling: Boundary Evaluation and Merging Algorithms
,”
Proc. IEEE
,
73
, No.
1
, pp.
30
44
.
43.
Martin R., and Stephenson, P., 1990, “Sweeping of Three Dimensional Objects,” Computer Aided Design, 22, No. 4, pp. 223–233.
44.
Blackmore, D., and Leu, M., 1990, “A Differential Equation Approach to Swept Volumes,” Proc. 2nd International Conference on Computer Integrated Manufacturing, pp. 143–149.
45.
Ju¨ttler
,
B.
, and
Wagner
,
M.
,
1996
, “
Computer-Aided Design with Spatial Rational B-Spline Motions
,”
ASME J. Mech. Des.
,
118
, pp.
193
201
.
46.
Menon
,
J.
,
Marisa
,
R. J.
, and
Zagajac
,
J.
,
1994
, “
More Powerful Solid Modeling through Ray Representations
,”
IEEE Comput. Graphics Appl.
,
14
, No.
3
, pp.
22
35
.
47.
Shapiro
,
V.
,
1997
, “
Maintenance of geometric representations through space decompositions
,”
Int. J. Computational Geometry Applications
,
7
, No.
4
, pp.
383
418
.
48.
Armstrong, M., 1983, Basic Topology, Springer-Verlag, New York.
49.
Hunt, K., 1978, Kinematic Geometry of Mechanisms, Clarendon Press, Oxford.
50.
Phillips, J., 1984, Freedom in Machinery, Cambridge University Press, Cambridge.
51.
Bruce, J., and Giblin, P., 1992, Curves and Singularities, Cambridge University Press, Cambridge.
52.
Ulrich
,
K.
, and
Seering
,
W.
,
1990
, “
Function Sharing in Mechanical Design
,”
Design Studies
,
11
, No.
4
, pp.
223
234
, Elsevier.
You do not currently have access to this content.