Administrators, writer
2,795
edits
Changes
Jump to navigation
Jump to search
Line 507:
Line 507: − +
Modeling Guide for 3D Objects - Part 1: Basics (Rules for Validating GML Geometries in CityGML) (view source)
Revision as of 14:17, 11 November 2013
, 14:17, 11 November 2013→gml:Solid
The set <math>C=\lbrace S_1,S_2,...,S_n \rbrace</math> of polygons bounds a solid if:
The set <math>C=\lbrace S_1,S_2,...,S_n \rbrace</math> of polygons bounds a solid if:
# The intersection of two polygons <math>S_k</math> and <math>S_l</math> of <math>C</math> is either empty or contains only points <math>P</math> and edges <math>e</math> that are part of both Linear Rings. The polygon <math>S</math> is defined by the Linear Ring <math>R_k=(P_0^k,P_1^k,...,P_n^k)</math>. The intersection of and equals: <br><math>S_i \cap S_k= \begin{cases}\emptyset\\ \lbrace Q_0,Q_1,...,Q_m\rbrace,Q_j=P_k^i\\ \lbrace e_0,e_1,...,e_m\rbrace,e_j=\overline{P_i^kP_{i+1}^k} \end{cases}</math>
# The intersection of two polygons <math>S_k</math> and <math>S_l</math> of <math>C</math> is either empty or contains only points <math>P</math> and edges <math>e</math> that are part of both Linear Rings. The polygon <math>S</math> is defined by the Linear Ring <math>R_k=(P_0^k,P_1^k,...,P_n^k)</math>. The intersection of <math>S_k</math> and <math>S_l</math> equals: <br><math>S_i \cap S_k= \begin{cases}\emptyset\\ \lbrace Q_0,Q_1,...,Q_m\rbrace,Q_j=P_k^i\\ \lbrace e_0,e_1,...,e_m\rbrace,e_j=\overline{P_i^kP_{i+1}^k} \end{cases}</math>
# Jede Kante <math>e_k=\overline{P_i^kP_{i+1}^k}</math> eines linearen Rings <math>R_k=(P_0^k,P_1^k,...,P_n^k)</math> , der ein Polygon <math>S_k \in C</math> definiert, wird genau einmal als Kante <math>e_l=\overline{P_j^lP_{j+1}^l}</math> in einem linearen Ring <math>R_l=(P_0^l,P_1^l,...,P_m^l)</math> genutzt, der ein anderes Polygon <math>S_l \in C</math> definiert.<br>Es gilt <math>P_i^k=P_{j+1}^l</math> und <math>P_{i+1}=P_j^l</math>.
# Jede Kante <math>e_k=\overline{P_i^kP_{i+1}^k}</math> eines linearen Rings <math>R_k=(P_0^k,P_1^k,...,P_n^k)</math> , der ein Polygon <math>S_k \in C</math> definiert, wird genau einmal als Kante <math>e_l=\overline{P_j^lP_{j+1}^l}</math> in einem linearen Ring <math>R_l=(P_0^l,P_1^l,...,P_m^l)</math> genutzt, der ein anderes Polygon <math>S_l \in C</math> definiert.<br>Es gilt <math>P_i^k=P_{j+1}^l</math> und <math>P_{i+1}=P_j^l</math>.
# Die Polygone aus <math>C</math> sind so orientiert, dass die Flächennormalen nicht ins Innere des Festkörpers zeigen, sondern nach außen.
# Die Polygone aus <math>C</math> sind so orientiert, dass die Flächennormalen nicht ins Innere des Festkörpers zeigen, sondern nach außen.