yanxi liu - pennsylvania state university
TRANSCRIPT
![Page 1: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/1.jpg)
Yanxi [email protected]
![Page 2: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/2.jpg)
Today’s Theme:
Formalization ---how to represent your application problem in group theory terms?
And Computation ---
how to denote, compute and use
symmetry groups on computers?
![Page 3: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/3.jpg)
Example I: Surface contact of 3D solids
![Page 4: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/4.jpg)
Solids in Contact-MotionLower-pairs
![Page 5: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/5.jpg)
‘Put that cube in the corner !’ (how many different ways?)
1
23
‘Put that cube in the corner with face 1 on top !’(4 different ways)
Complete and unambiguous task specifications can be tedious for symmetrical objects
![Page 6: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/6.jpg)
Each Algebraic Surface as one primitive feature associated with its own coordinates
World coordinates
Solid coordinates
Surface coordinates
l
f
Contacting surfaces
![Page 7: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/7.jpg)
translations
Surface 2
Surface 1
Relative Motion and Contacting Surface Symmetry
![Page 8: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/8.jpg)
Relative Locations of Two Contacting Solids
Solid 1l1
f1
G1 -- symmetry group of surface 1
-- symmetry group of surface 2G2
Surface 2
world
Solid 2 Surface 1
l 2
f2
l1-1
l 2
U
f1 G1
-1f2
σ G2
G1 G2σ
Containing multiple motions
Using group properties ofthe transformations!
![Page 9: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/9.jpg)
Insight:
The contacting surface pair from two different solids coincide, thus has the samesymmetry group which determines their relative motions/locations
![Page 10: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/10.jpg)
Relative locations of solids in terms of their contacting surface symmetry groups
General contact: l1-1
l 2
U
f1 G1
-1f2
σ G2
![Page 11: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/11.jpg)
Relative locations of solids in terms of their contacting surface symmetry groups
l1-1
l 2U
f1
G -1f2Under surface contact:
![Page 12: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/12.jpg)
Relative locations of solids in terms of their contacting surface symmetry groups
Under multiple surface contacts:
l1-1
l 2 f1
-1f2
U (G1
U
G2…)
![Page 13: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/13.jpg)
Relative locations of solids in terms of their contacting surface symmetry groups
Under multiple general contacts:
![Page 14: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/14.jpg)
Relative locations of solids in terms of their contacting surface symmetry groups
![Page 15: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/15.jpg)
Primitive surface features:
finite or infinite?
![Page 16: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/16.jpg)
To guarantee a physical contact, either it is considered as infinitesimal motion from a real contact, or additional constraints are needed
![Page 17: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/17.jpg)
Primitive surface features:
‘hair’ or no ‘hair’?
![Page 18: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/18.jpg)
Symmetries for a Surface:
keeping the orientation invariant or not?
![Page 19: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/19.jpg)
Symmetries for a Surface:
keeping the orientation invariant or not?
![Page 20: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/20.jpg)
Symmetries for an oriented primitive feature F = (S,ρ)
• S is a connected, irreducible and continuous algebraic surface (a point set), bounding a finite solid M
• ρ ⊆ S x unit sphere is a set of pairs• For all s in S and (s,v) in ρ v poins away from
M
Intuitively, now primitive feature F is composed of both ‘skin’ S and ‘hair’ ρ
![Page 21: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/21.jpg)
Symmetries of primitive feature F
• A symmetry of F has to keep two sets of points invariant
• Symmetries of an oriented feature F form a group (proof the four properties of a group)
![Page 22: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/22.jpg)
Consider the symmetry group of the contacting surfaces collectively
![Page 23: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/23.jpg)
DISTINCT
![Page 24: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/24.jpg)
1-congruent
![Page 25: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/25.jpg)
2-congruent
![Page 26: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/26.jpg)
COMPLEMENT Ex. 2:
Ex. 1:
![Page 27: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/27.jpg)
A pair of Surface Features
• distinct• 1-congruent• 2-congruent• complementary
![Page 28: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/28.jpg)
Proposition 2.2.22
Distinct, 1-congruent, 2-congruent and complementary are the ONLY possible relationships between a pair of primitive features
![Page 29: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/29.jpg)
Proposition 2.3.30
If a compound feature F is composed of pairwise distinct primitive features, the symmetry group G of F is the intersection of the symmetry groups of the primitive features
![Page 30: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/30.jpg)
Proposition 2.3.30 ADD the case of 2-congrudent!!!
If a compound feature F is composed of pairwise distinct primitive features, the symmetry group G of F is the intersection of the symmetry groups of the primitive features
![Page 31: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/31.jpg)
Different subgroups of the proper Euclidean Group
![Page 32: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/32.jpg)
The hierarchy of the subgroups of The Euclidean Group
O orthogonal groupSO special orthogonal groupT translation groupD dihedral groupC cyclic group
![Page 33: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/33.jpg)
How to represent this diverse set of subgroups on computers?
How to do group intersection on computers?
Symmetry groups of contacting surfaces can be finite, infinite, discrete, non-discrete and
continuous …
![Page 34: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/34.jpg)
How to represent this diverse set of subgroups on computers?
How to do group intersection on computers?
Symmetry groups of contacting surfaces can be finite, infinite, discrete, non-discrete and
continuous …
![Page 35: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/35.jpg)
Examples of group G versus set S
G SAct upon
Invariant of
![Page 36: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/36.jpg)
Algebraic domain Geometric domain
subgroups
G3
G2
G1 CI-1
CI-3
CI-2
Characteristic invariance
G1 G2 = G3
Geometric operations
Mapping from subgroups to geometric invariants
ff
f
-1
U
Inverse of
![Page 37: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/37.jpg)
Orbits (review)
An orbit of a point x in R3 under group G is G(x) = { g(x)| all g in G}
Group acts transitively on S
If for each x, y in S, there exists a g in G, such that y = g(x).
![Page 38: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/38.jpg)
Stabilizer Subgroup
For x in X, if the set Gx={g in G | g(x) = x)} is a group, then G is called the stabilizer subgroup of G at x
Fixed Point Set of a Group
FG= { x in X | for all g in G, g(x) = x }
![Page 39: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/39.jpg)
Euclidean Group (review)The set of all the isometries in 3D Euclidean space with the composition of isometries as the binary operation.If we restrict the set of isometries to those that preserve handedness, thus exluding reflections, the remaining set with the same composition forms the proper Euclidean group.
![Page 40: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/40.jpg)
Group Conjugation (review)
G1, G2 are subgroups of G, we call G1 is a conjugate to G2 iff for some g in G, such that G1 = g * G2 * g-1
![Page 41: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/41.jpg)
Pole Set
A pole of a rotation group R = tRct-1 is a point p on the unit sphere centered at the origin which is left fixed by some rotation of the group Rc other than the identity.
![Page 42: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/42.jpg)
Translation Subgroups T
G = TR
Translational Invariant of T (translation subgroup): The T orbit of the origin
![Page 43: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/43.jpg)
Rotation Subgroups R
G = TR
Characteristic Invariants of R (rotation subgroup):
{ Fixed Point set, Pole-set }
![Page 44: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/44.jpg)
Group Fixed-point Set Pole-set
![Page 45: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/45.jpg)
Group Fixed-point Set Pole-set
![Page 46: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/46.jpg)
TR Subgroups of the Proper Euclidean Group
Translational Invariant: The T orbit of the origin
Rotational Invariant:
(fixed-point-set, pole-set) p90 on Yanxi’s book manuscript
Note: the fixed-point-set of R is translated by the T subgroup of the TR groups.
![Page 47: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/47.jpg)
Symmetry group denotation on computers
<a,b,c><p,inf>
<-p,inf>
Example: Symmetry group of a non-directed plane G = TR
Translational invariance:T orbit of the origin
Rotational invariance:fixed point set + pole set
aX + bY + cZ = 0{(p,0),(-p,0),<circle,2>}
<circle,2>
![Page 48: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/48.jpg)
Symmetry group denotation on computers
<a,b,c><p,inf>
<-p,inf>
Example: Symmetry group of a directed plane G = TR
Translational invariance:T orbit of the origin
Rotational invariance:fixed point set + pole set
aX + bY + cZ = 0{(p,0),(-p,0)}
![Page 49: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/49.jpg)
Symmetry group denotation on computers
<x,y,z>
<p,inf>
<-p,inf>
Example: Symmetry group of a cylindrical surface G = TR
Translational invariance:T orbit of the origin
Rotational invariance:fixed point set + pole set
{(p,0),(-p,0),<circle,2>}
<circle,2>
<a,b,c>
<a,b,c,x,y,z>
![Page 50: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/50.jpg)
Group Intersection
This is an O(n ) algorithm, where n is the number of countable poles. 2
translationrotation
22
2
2
2
2 G= Gplane Gcyl
= T D2x21
U
002
2
0
0
![Page 51: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/51.jpg)
What about Crystallographic Groups?
![Page 52: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/52.jpg)
Continuous Discrete Translation Symmetry
![Page 53: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/53.jpg)
Symmetry groups of contacting surfaces: a computational representation
S2 S3
S4S1 Solid level
Surface level1 ... n
G1 Gn
1 ... n
1 ...n
1 ... n
![Page 54: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/54.jpg)
Input: Solid 1 fits solid 2, and solid 2 fits solid 3, ...
ACIS(PADL2)
Disassembly-motion analysis
Possible AssemblyConfigurations
FeasibleAssemblyConfigurations
PartiallyOrdered AssemblyMotionSets
Mating-feature inference
Spatial constraint satisfaction
attach symmetry groupto each surface feature
![Page 55: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/55.jpg)
S1
S2
S4
S3
S5
A gearbox example
S1
S2
S3
S4
S5
S1 S2
S3S4
S5
S1
S5
S4S3
S2 E(3)
cyl
SO(2)
mesh
mesh
meshfit
fitfit
fit
Precedence diagram
![Page 56: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/56.jpg)
Contributions• Formalization of general solid contacts in
terms of their surface symmetry groups• development of a geometric TR subgroup
denotation and an efficient group intersection algorithm treating both continuous and discrete symmetries uniformly
• application of symmetry groups to assembly task specification from CAD models, bridging between symbolic reasoning and numerical computation
![Page 57: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/57.jpg)
Future Research Issues
• Computation of symmetry group of a surface (algebraic, parametric, splined, etc.)
• Computation of general solid contact other than surface contact (require group product)
• Symmetry guided sensory and manipulation planning and execution of complicated (dis)assembly tasks
![Page 58: Yanxi Liu - Pennsylvania State University](https://reader031.vdocument.in/reader031/viewer/2022022219/6214dc39ce79672ac440b7ce/html5/thumbnails/58.jpg)
Ingredients of using group theory in real world problems
• The problem itself presents some type of regularity (e.g. rotation, translation symmetries). Usually not perfect.
• There exists a benefit to unveil this regularity• Find the right group structure• Express the relation (mapping) between the
symmetry groups and the real data• Compute the mapping between the
symmetry groups and the data