cs 468, spring 2012

70
CS 468, Spring 2013 Differential Geometry for Computer Science Justin Solomon and Adrian Butscher http://www.gogeometry.com

Upload: lydan

Post on 03-Jan-2017

224 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: CS 468, spring 2012

TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAAAAAAA

CS 468, Spring 2013 Differential Geometry for Computer Science

Justin Solomon and Adrian Butscher

http://www.gogeometry.com

Page 2: CS 468, spring 2012

<administrative>

Page 3: CS 468, spring 2012

Instructor: Justin Solomon (me) Email: [email protected] Office: Clark S297 Office hours: After lecture

Instructor: Adrian Butscher Office: Clark S257 Email: [email protected] Office hours: After lecture

Page 4: CS 468, spring 2012

http://cs468.stanford.edu

+

Page 5: CS 468, spring 2012

1. Four homeworks Written + coding

2. One project Implementation

3. One set of notes Due one week after lecture

Page 6: CS 468, spring 2012

1. Four homeworks Written + coding

2. One project Implementation

3. One set of notes Due one week after lecture

Page 7: CS 468, spring 2012

Theory lecture Introduction to concepts from continuous differential geometry

Discrete lecture Algorithms and constructions for use in computational systems

Page 8: CS 468, spring 2012

Degree Undergraduate

Masters PhD

Page 9: CS 468, spring 2012

Background CS

Math Engineering Elsewhere

Page 10: CS 468, spring 2012

</administrative>

Page 11: CS 468, spring 2012

1. Continuous differential geometry

Spivak: A Comprehensive Introduction to Differential Geometry

Page 12: CS 468, spring 2012
Page 13: CS 468, spring 2012
Page 14: CS 468, spring 2012

http://www.turbosquid.com/3d-models/medically-human-brain-3d-model/437885

?

Page 15: CS 468, spring 2012

http://en.wikipedia.org/wiki/Differential_geometry

Study of smooth surfaces

Page 16: CS 468, spring 2012

What is a smooth surface?

Page 17: CS 468, spring 2012

http://www.watermanpolyhedron.com/images/WatermanPolyhedra_1000.gif

Page 18: CS 468, spring 2012

x

f(x)f 0(x)

Page 19: CS 468, spring 2012

Arbitrary derivatives exist and

are continuous.

Page 20: CS 468, spring 2012

f1(t) = (t;2t)

f2(t) =

½(t; 2t) t · 1

(2(t¡ 12); 4(t¡ 1

2) t > 1

http://sd271.k12.id.us/lchs/faculty/sjacobson/ibphysics/compendium/12_files/image003.jpg

Page 21: CS 468, spring 2012

f1(t) = (t;2t)

f2(t) =

½(t; 2t) t · 1

(2(t¡ 12); 4(t¡ 1

2) t > 1

http://sd271.k12.id.us/lchs/faculty/sjacobson/ibphysics/compendium/12_files/image003.jpg

Jams on accelerator

Page 22: CS 468, spring 2012

f1(t) = (t;2t)

f2(t) =

½(t; 2t) t · 1

(2(t¡ 12); 4(t¡ 1

2) t > 1

http://sd271.k12.id.us/lchs/faculty/sjacobson/ibphysics/compendium/12_files/image003.jpg

Jams on accelerator

Page 23: CS 468, spring 2012

http://en.wikipedia.org/wiki/Singular_point_of_a_curve

f(t) = (t2; t3)

Page 24: CS 468, spring 2012

http://upload.wikimedia.org/wikipedia/commons/b/bc/Double_torus_illustration.png

Page 25: CS 468, spring 2012

http://upload.wikimedia.org/wikipedia/commons/b/bc/Double_torus_illustration.png

µ R3

Page 26: CS 468, spring 2012

http://upload.wikimedia.org/wikipedia/commons/b/bc/Double_torus_illustration.png

µ R3

Page 27: CS 468, spring 2012

Local linearity http://education.ti.com/xchange/US/Math/Calculus/9323/9323_Step_3.jpg

Page 28: CS 468, spring 2012

http://www.sciencedirect.com/science/article/pii/S0021904512000834

Page 29: CS 468, spring 2012

http://upload.wikimedia.org/wikipedia/commons/b/bc/Double_torus_illustration.png

µ R3µ R2

Page 30: CS 468, spring 2012

http://www.sciencedirect.com/science/article/pii/S0010448510001983

K = ·1·2 H = 1=2(·1 +·2)

Curvature and shape properties

Page 31: CS 468, spring 2012

Flows and vector fieldshttp://users.dimi.uniud.it/~gianluca.gorni/Immagini/streamOnSurface.gif

Page 32: CS 468, spring 2012

Feature points and curveshttp://www.grasshopper3d.com/forum/topics/principal-curves-on-surface

Page 33: CS 468, spring 2012

Distanceshttp://www.ceremade.dauphine.fr/~peyre/numerical-tour/tours/shapes_2_bendinginv_3d/

Page 34: CS 468, spring 2012

Differential equationshttp://alice.loria.fr/publications/papers/2008/ManifoldHarmonics//photo/bimba_mhb.png

Page 35: CS 468, spring 2012

k-dimensional object in n dimensionshttp://iopscience.iop.org/1751-8121/45/22/225208/pdf/1751-8121_45_22_225208.pdf

Page 36: CS 468, spring 2012

Only need angles and distanceshttp://www.phy.syr.edu/courses/modules/LIGHTCONE/pics/curved.jpg

Ant’s view

Page 37: CS 468, spring 2012

Only need angles and distanceshttp://upload.wikimedia.org/wikipedia/commons/2/2c/Hobo%E2%80%93Dyer_projection_SW.jpg

Same distance?

Page 38: CS 468, spring 2012

http://www.solidsmack.com/wp-content/uploads/2010/06/solidworks-surface-02a.jpg

Page 39: CS 468, spring 2012

http://en.wikipedia.org/wiki/Double_pendulum http://www.ualberta.ca/dept/math/gauss/fcm/BscIdeas/SpcDmnsn/pndlm2.htm

Page 40: CS 468, spring 2012

1. Continuous differential geometry

Spivak: A Comprehensive Introduction to Differential Geometry

Page 41: CS 468, spring 2012

2. Discrete differential geometry http://www.geomtop.org/teaching/conformal_2012Summer/title_image.jpg

Page 42: CS 468, spring 2012

http://black-extruder.net/blog/images/ViolinistRed.gif

Page 43: CS 468, spring 2012

Triangle mesh

http://graphics.stanford.edu/data/3Dscanrep/stanford-bunny-cebal-ssh.jpg http://www.stat.washington.edu/wxs/images/BUNMID.gif

Page 44: CS 468, spring 2012

Triangle mesh

M = (V;T)What conditions are needed?

Page 45: CS 468, spring 2012

http://igl.ethz.ch/projects/parameterization/rangemap-param/rangemap-param.pdf

Page 46: CS 468, spring 2012

http://blog.mixamo.com/wp-content/uploads/2011/01/nonmanifold.jpg

Page 47: CS 468, spring 2012

1. Each edge is incident to one or two faces

2. Faces incident to a vertex form a closed or open fan

http://www.cs.mtu.edu/~shene/COURSES/cs3621/SLIDES/Mesh.pdf

Page 48: CS 468, spring 2012

http://www.sciencedirect.com/science/article/pii/S0168874X06000795

Nonuniform areas and angles

Page 49: CS 468, spring 2012

How to you interpret one value per vertex?

http://www.sciencedirect.com/science/article/pii/S0168874X06000795

Page 50: CS 468, spring 2012
Page 51: CS 468, spring 2012
Page 52: CS 468, spring 2012

Discrete vs.

Discretized

Page 53: CS 468, spring 2012

Discrete theory paralleling differential geometry.

Page 54: CS 468, spring 2012

Structure preservation [struhk-cher pre-zur-vey-shuh n]:

Keeping properties from the continuous abstraction exactly true in a discretization.

Page 55: CS 468, spring 2012

Discrete theory paralleling differential geometry.

Page 56: CS 468, spring 2012

Graphics

http://people.csail.mit.edu/tmertens/papers/textransfer_electronic.pdf http://graphics.stanford.edu/~mdfisher/Data/Context.pdf

http://graphics.stanford.edu/~niloy/research/symmetrization/paper_docs/symmetrization_sig_07.pdf http://www.mpi-inf.mpg.de/~mbokeloh/project_dockingSites.html

Editing

Retrieval

Exploiting patterns

Transfer

Page 57: CS 468, spring 2012

Vision

http://eijournal.com/newsite/wp-content/uploads/2012/01/VELODYNE-IMAGE.jpg http://www.stanford.edu/~jinhae/iccv09/

http://www.stanford.edu/~justso1/assets/intrinsic_part_discovery.pdf http://www.cs.technion.ac.il/~ron/PAPERS/BroBroKimIJCV05.pdf

Recognition

Segmentation

Navigation

Reconstruction

Page 58: CS 468, spring 2012

Medical Imaging

http://dmfr.birjournals.org/content/33/4/226/F3.large.jpg http://www-sop.inria.fr/asclepios/software/inriaviz4d/SphericalImTransp.png

http://www.creatis.insa-lyon.fr/site/sites/default/files/segm2.png

Analysis

Registration

Segmentation

Page 59: CS 468, spring 2012

Manufacturing

http://www.conduitprojects.com/php/images/scan.jpg http://www.emeraldinsight.com/content_images/fig/0330290204005.png

Scanning Defect detection

Page 60: CS 468, spring 2012

Architecture

Design and analysis http://gmsv.kaust.edu.sa/people/faculty/pottmann/pottmann_pdf/selfsupporting.pdf

Page 61: CS 468, spring 2012

Deformation http://josiahmanson.com/joe/research/hierarchical_deform/figures/dragon_deform.png

Page 62: CS 468, spring 2012

Expressive rendering http://www.cs.ucdavis.edu/~ma/SIGGRAPH02/course23/notes/S02c23_3.pdf

Page 63: CS 468, spring 2012

Shape collection analysis http://graphics.stanford.edu/projects/lgl/papers/nbwyg-oaicsm-11/nbwyg-oaicsm-11.pdf

Page 64: CS 468, spring 2012

Mapping

Á

http://www.stanford.edu/~justso1/assets/fmaps.pdf

Page 65: CS 468, spring 2012

Deformation transferhttp://www.hao-li.com/publications/papers/siggraph2011RPBFA.pdf

Page 66: CS 468, spring 2012

Simulationhttp://www.cs.columbia.edu/cg/threads/ http://mbergou.com/

Page 67: CS 468, spring 2012

Scientific visualizationhttp://multires.caltech.edu/~keenan/pdf/spinxform.pdf

Page 68: CS 468, spring 2012

Segmentation

http://www.bioinformaticslaboratory.nl/twiki/pub/EBioScience/News/freesurfer-3d.jpg http://hal.inria.fr/docs/00/40/21/30/IMG/vivodtzev_et_al-Dagstuhl03.jpg

Page 69: CS 468, spring 2012

Differential geometry of curves

Page 70: CS 468, spring 2012

TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAAAAAAA

CS 468, Spring 2013 Differential Geometry for Computer Science

Justin Solomon and Adrian Butscher

http://www.gogeometry.com