✦ LIBER ✦

Solving geometric constraint systems a case study in kinematics

✍ Scribed by G.A. Kramer

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 145 KB
Volume: 25
Category: Article
ISSN: 0010-4485
DOI: 10.1016/0010-4485(93)90025-j

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Solving geometric constraint systems. I.

Solving geometric constraint systems. I. A global propagation approach

✍ Xiao-Shan Gao; Shang-Ching Chou 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 1010 KB

We describe a geometric constraint solving method/system that takes the declarative description of geometric diagrams or engineering drawings as input and outputs a sequence of steps to construct the diagram with ruler and compass if it succeeds. We extend the local propagation to a global one. Like

What's in a linkage? Review of: Glenn Kr

What's in a linkage? Review of: Glenn Kramer, solving geometric constraint systems

✍ Elisha P. Sacks 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 383 KB

The book Solving Geometric Constraint Systems: A Case Study in Kinematics by Glenn Kramer describes research in automating the analysis of mechanisms. The purpose of mechanism analysis is to answer qualitative and quantitative questions about the workings of complex mechanisms, such as gearboxes, ro

Solving geometric constraint systems. II

Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility

✍ Xiao-Shan Gao; Shang-Ching Chou 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 947 KB

This paper reports a geometric constraint-solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equations and give complete methods of deciding whether the constraints are independent and whether a constraint system is over-constra

Spatial coordination of a two-arm robot

Spatial coordination of a two-arm robot system subjected to kinematical and geometrical constraints

✍ Farid M.L. Amirouche; Tongyi Jia 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 500 KB

Algorithm optimization using a rule-base

Algorithm optimization using a rule-based system. A case study: The Direct Kinematic Solution in robotics

✍ H. Azaria; A. Dvir 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 833 KB

Formalizing mathematics in higher-order

Formalizing mathematics in higher-order logic: A case study in geometric modelling

✍ François Puitg; Jean-François Dufourd 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 421 KB

An innovative attempt to develop formal techniques of speciÿcation, proof, and program extraction in geometric modelling is reported through the axiomatization of the mathematical model of the combinatorial maps in the calculus of inductive constructions (CIC), a variety of type theory well suited f