Abstract
Three-dimensional geometric constraint solving is a rapidly developing field, with applications in areas such as kinematics, molecular modeling, surveying, and geometric theorem proving. While two-dimensional constraint solving has been studied extensively, there remain many open questions in the arena of three-dimensional problems. In this paper, we continue the development of our previous work on configuring a set of points and planes in three-space so that the configuration satisfies a given system of constraints. The constraint system considered consists of six geometric elements and pairwise constraints between triples of the elements. We first review the basic techniques developed in our earlier work germane to the current problem and explain how the problem we consider in this paper occurs. We then demonstrate how to solve the case of a geometric constraint system with four points and two planes.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
B. Aldefeld. Variation of geometries based on a geometric-reasoning method. CAD, 20(3):117–126, April 1988.
L. O. Barton. Mechanism Analysis. Marcel Dekker Inc., 1993.
W. Bouma, I. Fudos, C. Hoffmann, J. Cai, and R. Paige. A geometric constraint solver.CAD ,1994.
A. H. Borning. The programming language aspects of ThingLab, a constraint oriented simulation laboratory. ACM TOPLAS ,3(4):353–387, 1981.
N.K. Bose, editor. Multidimensional Systems Theory ,pages 184–232. D. Reidel Publishing Co., 1985.
B. Bruderlin. Symbolic computer geometry for computer aided geometric design. In Advances in Design and Manufacturing Systems. NSF, 1990.
D.-Z. Du and F. Hwang, editors. Computing in Euclidean Geometry ,pages 266–298. World Scientific Publishing Co Pte Ltd, 2 edition, 1995.
I. Fudos and C. Hoffmann. Correctness of a geometric constraint solver. Technical Report CSD-TR-93–076, Purdue University, 1993.
I. Fudos. Editable representations for 2d geometric design. Master’s thesis, Purdue University, 1993.
K. Kondo. Algebraic method for manipulation of dimensional relationships in geometric models. CAD ,24(3):141–147, March 1992.
P. Nanua, K. J. Waldron, and V. Murthy. Direct kinematic solution of a Stewart platform. IEEE Transactions on Robotics and Automation ,6(4):438–444, Aug. 1990.
J. Phillips. Freedom in Machinery ,volume 1. Cambridge University Press, 1984.
B. Ravani and Q. J. Ge. Computation of spatial displacements from geometric features. J. Mech. Design ,115:95–102, March 1993.
I. E. Sutherland. Sketchpad: A man-machine graphical communication system. In Proceedings-Spring Joint Computer Conference ,pages 329–346, 1963.
W.-T. Wu. Principles of mechanical theorem proving. J. of Automated Reasoning ,2:221– 252, 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this paper
Cite this paper
Hoffmann, C.M., Vermeer, P.J. (1995). A Spatial Constraint Problem. In: Merlet, JP., Ravani, B. (eds) Computational Kinematics ’95. Solid Mechanics and Its Applications, vol 40. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-0333-6_9
Download citation
DOI: https://doi.org/10.1007/978-94-011-0333-6_9
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4147-8
Online ISBN: 978-94-011-0333-6
eBook Packages: Springer Book Archive