Mit CSG erstelltes Venn-Diagramm
Der POV-Ray-Quellcode ist auf der Beschreibungsseite.

Constructive Solid Geometry (CSG) oder konstruktive Festkörpergeometrie ist eine Technik zum Modellieren von Körpern, die u. a. in der 3D-Computergrafik und bei CAD-Programmen genutzt wird. Constructive Solid Geometry ermöglicht einem Designer einen komplex geformten Körper zu erzeugen, indem er boolesche Operatoren zur Kombination von Grundkörpern zu einem neuen Körper benutzt. Aus der CSG hervorgegangene Körper wirken oft sehr komplex, sind aber in Wirklichkeit nichts anderes als geschickt verknüpfte Objekte.

Basisobjekte

Bearbeiten

Die Basisobjekte, aus denen CSG-Körper hervorgehen, nennt man Primitive (vgl. Grafisches Primitiv). Typischerweise handelt es sich dabei um Körper, deren Oberfläche mittels einer relativ einfachen mathematischen Formel beschrieben werden kann, wie z. B. Würfel, Zylinder, Prismen, Pyramiden, Kugeln oder Ringe. Die Menge der möglichen Primitive wird gewöhnlich von der verwendeten Software begrenzt. Einige Software-Pakete erlauben CSG auf gekrümmten Objekten (prozedurale oder parametrische Oberflächen), während andere nur auf polygonalen Meshes (Dreiecksnetze) arbeiten. Der prozedurale oder parametrische Ansatz erlaubt eine mathematisch exakte Berechnung und Repräsentation der Körper, während Meshes immer nur eine mehr oder weniger ungenaue Annäherung an die Wirklichkeit sind.

Wie bereits erwähnt, wird ein komplexer Körper von Primitiven erzeugt, die durch Operationen verknüpft sind. Gewöhnlich handelt es sich dabei um boolesche Operationen auf Mengen: Vereinigung (Union, ), Differenz (Difference, ) und Schnitt (Intersection, ). Folgende Abbildung zeigt die Wirkung der Operatoren exemplarisch an der Verknüpfung von Würfel mit Kugel:

Anwendungen

Bearbeiten

CSG ist unter Designern sehr beliebt, da man mit einer Anzahl relativ einfacher Körper komplexe Geometrien formen kann. Der Designer kann (bei den meisten Programmen) die Geometrie auch im Nachhinein noch ändern, indem er die Position (bzw. Transformation) der einzelnen Objekte oder den booleschen Operator ändert, mit dem die Objekte verbunden sind. Der Designer kann also sein Modell interaktiv und intuitiv, durch Versuch-und-Irrtum, kreieren.

CSG wird aber auch von diversen Programmen „unter der Haube“ benutzt, d. h. ohne, dass der Benutzer etwas von der Existenz der CSG-Operationen mitbekommt. So benutzen z. B. die Game-Engines von Unreal und Quake das CSG-Verfahren. Simulationsprogramme, die die Abläufe an Werkzeugmaschinen simulieren, verwenden i. d. R. ebenfalls CSG.

CSG-Baum

Bearbeiten
Beispiel eines CSG-Baumes. An den Knoten sind zur Verdeutlichung die jeweiligen Operationen eingezeichnet.

Da mehrere hintereinander ausgeführte CSG-Operationen im Allgemeinen nicht kommutativ sind, lassen sie sich hierarchisch ordnen und in einen CSG-Baum überführen. Jedes Blatt entspricht dabei einem Primitiv, jeder Knoten einer CSG-Operation (bzw. dem Zwischenergebnis aus einer CSG-Operation, welches wieder transformiert werden kann). Die Wurzel des Baumes ist das Endergebnis.

Die regularisierten Mengen des n-dimensionalen euklidischen Raumes bilden mit den Verknüpfungen , , (Komplementärmenge) eine boolesche Algebra, für die auch das Kommutativgesetz gilt. Der -Operator ist nicht Teil dieser booleschen Algebra. Allerdings lassen sich der - und -Operator als Ersatz für den -Operator verwenden:

.

Das Beispielobjekt lässt sich von daher auch ohne Klammerung berechnen ( = Würfel, = Kugel, = Zylinder):

.

Siehe auch

Bearbeiten

Literatur

Bearbeiten
  • Christoph Martin Hoffmann: Geometric & Solid Modeling. Morgan Kaufmann Publishers, San Mateo, California 1989, ISBN 1-55860-067-1.
  • Martii Mäntylä: An Introduction to Solid Modeling. Computer Science Press, Rockville, Maryland 1988, ISBN 0-88175-108-1.
Bearbeiten

📚 Artikel Terkait di Wikipedia

Herbert Edelsbrunner

1982 an der TU Graz bei Hermann Maurer promoviert (Intersection problems in computational geometry). Er war danach noch kurz weiter Assistent in Graz

Andreas Floer

theory for Lagrangian intersections, J. Differential Geometry, Band 28, 1988, S. 513–547. Cuplength estimates on Lagrangian intersections, Comm. Pure Appl

Maxim Lwowitsch Konzewitsch

Two-dimensional gravity and intersection theory on moduli space, C. C. Hsiung, S.-T. Yau (Hrsg.), Surveys in differential geometry (Cambridge, MA, 1990), 1

Miles Reid

bei Pierre Deligne und Peter Swinnerton-Dyer promovierte (The complete intersection of two or more quadrics) und 1973 seinen Master-Abschluss machte. Währenddessen

Ravi Vakil

Harvard University, wo er 1997 bei Joe Harris promoviert wurde (Enumerative geometry of curves via degeneration methods). Danach war er Instructor an der Princeton

Liste der Plenarvorträge auf den Internationalen Mathematikerkongressen

Jahr) László Lovász: Geometric Algorithms and Algorithmic Geometry. George Lusztig: Intersection Cohomology Methods in Representation Theory. Andrew Majda:

George Lusztig

Families of Elliptic Operators, erschienen in Journal of Differential Geometry Bd. 7, 1972, S. 229). Ab 1971 war er an der University of Warwick in England

Henri Gillet

Harvard University promoviert (Applications of Algebraic K-Theory to Intersection Theory). Als Post-Doktorand war er Instructor und ab 1981 Assistant Professor