Skip to main content
Top

2011 | OriginalPaper | Chapter

11. On the Use of Conformal Geometric Algebra in Geometric Constraint Solving

Authors : Philippe Serré, Nabil Anwer, JianXin Yang

Published in: Guide to Geometric Algebra in Practice

Publisher: Springer London

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

To model a geometrical part in Computer Aided Design systems, declarative modeling is a well-adapted solution to declare and specify geometric objects and constraints. In this chapter, we are interested in the representation of geometric objects and constraints using a new language of description and representation, Geometric Algebra (GA). GA is used here in association with the conformal model of Euclidean geometry (CGA) which requires two extra dimensions comparing to the usual vector space model. Topologically and Technologically Related Surfaces (TTRS) Theory is introduced here as a unified framework for geometric objects representation and geometric constraints solving. Based on TTRS, this chapter shows the capability of the CGA to represent geometric objects and geometric constraints through symbolic geometric constraints solving and algebraic classification.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Ait-Aoudia, S., Bahriz, M., Salhi, L.: 2D geometric constraint solving: an overview. In: Proceedings of 2nd International Conference in Visualisation (VIZ), Barcelona (Spain), July 15–17, 2009, pp. 201–206. IEEE Comput. Soc., Los Alamitos (2009) CrossRef Ait-Aoudia, S., Bahriz, M., Salhi, L.: 2D geometric constraint solving: an overview. In: Proceedings of 2nd International Conference in Visualisation (VIZ), Barcelona (Spain), July 15–17, 2009, pp. 201–206. IEEE Comput. Soc., Los Alamitos (2009) CrossRef
3.
go back to reference Chou, S.-C.: Mechanical Geometry Theorem Proving. Springer, Berlin (1988) MATH Chou, S.-C.: Mechanical Geometry Theorem Proving. Springer, Berlin (1988) MATH
4.
go back to reference Chiabert, P., Orlando, M.: About a cat model consistent with iso/tc 213 last issues. Achievements in Mechanical and Materials Engineering Conference. J. Mater. Process. Technol. 157–158, 61–66 (2004) CrossRef Chiabert, P., Orlando, M.: About a cat model consistent with iso/tc 213 last issues. Achievements in Mechanical and Materials Engineering Conference. J. Mater. Process. Technol. 157–158, 61–66 (2004) CrossRef
5.
go back to reference Chiabert, P., Lombardi, F., Vaccarino, F.: Analysis of kinematic methods for invariants based classification in the ISO/TC213 framework. In: Proceedings of the 10th CIRP International Seminar on Computer-Aided Tolerancing, Erlangen (Germany), March 21–23, 2007 Chiabert, P., Lombardi, F., Vaccarino, F.: Analysis of kinematic methods for invariants based classification in the ISO/TC213 framework. In: Proceedings of the 10th CIRP International Seminar on Computer-Aided Tolerancing, Erlangen (Germany), March 21–23, 2007
6.
go back to reference Clément, A., Rivière, A., Temmerman, M.: Cotation tridimensionnelle des systèmes mécaniques – Théorie et pratique. PYC, Ivry-sur-Seine (1994) Clément, A., Rivière, A., Temmerman, M.: Cotation tridimensionnelle des systèmes mécaniques – Théorie et pratique. PYC, Ivry-sur-Seine (1994)
7.
go back to reference Clément, A., Rivière, A., Serré, P., Valade, C.: The TTRS: 13 constraints for dimensioning and tolerancing. In: Proceedings of the 5th CIRP International Seminar on Computer-Aided Tolerancing, pp. 28–29 (1997) Clément, A., Rivière, A., Serré, P., Valade, C.: The TTRS: 13 constraints for dimensioning and tolerancing. In: Proceedings of the 5th CIRP International Seminar on Computer-Aided Tolerancing, pp. 28–29 (1997)
8.
go back to reference Gaildrat, V.: Declarative modelling of virtual environments, overview of issues and applications. In: Plemenos, D., Miaoulis, G. (eds.) Proceedings of International Conference on Computer Graphics and Artificial Intelligence (3IA), Athens (Greece), May 30–31, 2007 Gaildrat, V.: Declarative modelling of virtual environments, overview of issues and applications. In: Plemenos, D., Miaoulis, G. (eds.) Proceedings of International Conference on Computer Graphics and Artificial Intelligence (3IA), Athens (Greece), May 30–31, 2007
9.
go back to reference Hervé, J.-M.: The mathematical group structure of the set of displacements. Mech. Mach. Theory 29(1), 73–81 (1994) CrossRef Hervé, J.-M.: The mathematical group structure of the set of displacements. Mech. Mach. Theory 29(1), 73–81 (1994) CrossRef
10.
go back to reference Hervé, J.-M.: The Lie group of rigid body displacements, a fundamental tool for mechanism design. Mech. Mach. Theory 34(5), 719–730 (1999) MathSciNetMATHCrossRef Hervé, J.-M.: The Lie group of rigid body displacements, a fundamental tool for mechanism design. Mech. Mach. Theory 34(5), 719–730 (1999) MathSciNetMATHCrossRef
11.
go back to reference Hestenes, D.: New tools for computational geometry and rejuvenation of screw theory. In: Bayro-Corrochano, E., Scheuermann, G. (eds.) Geometric Algebra Computing, pp. 3–33. Springer, London (2010) CrossRef Hestenes, D.: New tools for computational geometry and rejuvenation of screw theory. In: Bayro-Corrochano, E., Scheuermann, G. (eds.) Geometric Algebra Computing, pp. 3–33. Springer, London (2010) CrossRef
12.
go back to reference Hoffmann, C.M., Joan-Arinyo, R.: A brief on constraint solving. Comput-Aided Des. Appl. 2(5), 655–663 (2005) Hoffmann, C.M., Joan-Arinyo, R.: A brief on constraint solving. Comput-Aided Des. Appl. 2(5), 655–663 (2005)
13.
go back to reference Joan-Arinyo, R.: Basics on geometric constraint solving. In: Proceedings of 13th Encuentros de Geometrfa Computacional (EGC09), Zaragoza (Spain), June 29–July 1, 2009 Joan-Arinyo, R.: Basics on geometric constraint solving. In: Proceedings of 13th Encuentros de Geometrfa Computacional (EGC09), Zaragoza (Spain), June 29–July 1, 2009
14.
15.
go back to reference Luo, Z., Dai, J.S.: Mathematical methodologies in computational kinematics. In: 14th Biennial Mechanisms Conference, Chong Qing (China), 2004 Luo, Z., Dai, J.S.: Mathematical methodologies in computational kinematics. In: 14th Biennial Mechanisms Conference, Chong Qing (China), 2004
16.
17.
go back to reference Selig, J.M.: Clifford algebra of points, lines and planes. Robotica 18(5), 545–556 (2000) CrossRef Selig, J.M.: Clifford algebra of points, lines and planes. Robotica 18(5), 545–556 (2000) CrossRef
18.
go back to reference Serré, P., Moinet, M., Clément, A.: Declaration and specification of a geometrical part in the language of geometric algebra. In: Advanced Mathematical and Computational Tools in Metrology and Testing VIII. Series on Advances in Mathematical for Applied Sciences, vol. 78, pp. 298–308 (2009) CrossRef Serré, P., Moinet, M., Clément, A.: Declaration and specification of a geometrical part in the language of geometric algebra. In: Advanced Mathematical and Computational Tools in Metrology and Testing VIII. Series on Advances in Mathematical for Applied Sciences, vol. 78, pp. 298–308 (2009) CrossRef
19.
go back to reference Srinivasan, V.: A geometrical product specification language based on a classification of symmetry groups. Comput. Aided Des. 31(11), 659–668 (1999) MATHCrossRef Srinivasan, V.: A geometrical product specification language based on a classification of symmetry groups. Comput. Aided Des. 31(11), 659–668 (1999) MATHCrossRef
20.
go back to reference van der Meiden, H.A., Bronsvoort, W.F.: A constructive approach to calculate parameter ranges for systems of geometric constraints. Comput. Aided Des. 38(4), 275–283 (2006) CrossRef van der Meiden, H.A., Bronsvoort, W.F.: A constructive approach to calculate parameter ranges for systems of geometric constraints. Comput. Aided Des. 38(4), 275–283 (2006) CrossRef
21.
go back to reference Zaragoza, J., Ramos, F., Orozco, H.R., Gaildrat, V.: Creation of virtual environments through knowledge-aid declarative modeling. In: LAPTEC, pp. 114–132 (2007) Zaragoza, J., Ramos, F., Orozco, H.R., Gaildrat, V.: Creation of virtual environments through knowledge-aid declarative modeling. In: LAPTEC, pp. 114–132 (2007)
Metadata
Title
On the Use of Conformal Geometric Algebra in Geometric Constraint Solving
Authors
Philippe Serré
Nabil Anwer
JianXin Yang
Copyright Year
2011
Publisher
Springer London
DOI
https://doi.org/10.1007/978-0-85729-811-9_11

Premium Partner