Skip to main content

2011 | OriginalPaper | Buchkapitel

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

verfasst von : Philippe Serré, Nabil Anwer, JianXin Yang

Erschienen in: Guide to Geometric Algebra in Practice

Verlag: Springer London

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Literatur
1.
Zurück zum Zitat 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.
Zurück zum Zitat Chou, S.-C.: Mechanical Geometry Theorem Proving. Springer, Berlin (1988) MATH Chou, S.-C.: Mechanical Geometry Theorem Proving. Springer, Berlin (1988) MATH
4.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat Li, H.: Invariant Algebras and Geometric Reasoning. World Scientific, Singapore (2008) MATHCrossRef Li, H.: Invariant Algebras and Geometric Reasoning. World Scientific, Singapore (2008) MATHCrossRef
15.
Zurück zum Zitat 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.
Zurück zum Zitat Selig, J.M., Bayro-Corrochano, E.: Rigid body dynamics using Clifford algebra. Adv. Appl. Clifford Algebras 20, 141–154 (2010) MathSciNetMATHCrossRef Selig, J.M., Bayro-Corrochano, E.: Rigid body dynamics using Clifford algebra. Adv. Appl. Clifford Algebras 20, 141–154 (2010) MathSciNetMATHCrossRef
17.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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)
Metadaten
Titel
On the Use of Conformal Geometric Algebra in Geometric Constraint Solving
verfasst von
Philippe Serré
Nabil Anwer
JianXin Yang
Copyright-Jahr
2011
Verlag
Springer London
DOI
https://doi.org/10.1007/978-0-85729-811-9_11