CMSC 425: Lecture 4 Geometry and Geometric Programming
|
|
- Jeremy McGee
- 5 years ago
- Views:
Transcription
1 CMSC 425: Lecture 4 Geometry and Geometric Programming Geometry for Game Programming and Grahics: For the next few lectures, we will discuss some of the basic elements of geometry. There are many areas of comuter science that involve comutation with geometric entities. This includes not only comuter grahics, but also areas like comuter-aided design, robotics, comuter vision, and geograhic information systems. While software systems like Unity rovide suort to do geometry for you, there are good reasons for learning this material. First, for those of you who will go on to design the successor to Unity, it is imortant to understand the fundamentals underlying gometric rogramming. Second, as a game rogrammer, you will find that there things that Unity cannot hel with. In such cases, you will need to write scrits to do the geometry yourself. Comuter grahics deals largely with the geometry of lines and linear objects in 3-sace, because light travels in straight lines. For examle, here are some tyical geometric roblems that arise in designing rograms for comuter grahics. Transformations: You are asked to render a twirling boomerang flying through the air. How would you reresent the boomerang s rotation and translation over time in 3-dimensional sace? How would you comute its exact osition at a articular time? Geometric Intersections: Given the same boomerang, how would you determine whether it has hit another object? Orientation: You have been asked to design the AI for a non-layer agent in a flight combat simulator. You detect the resence of a enemy aircraft in a certain direction. How should you rotate your aircraft to either attack (or escae from) this threat? Change of coordinates: We know the osition of an object on a table with resect to a coordinate system associated with the table. We know the osition of the table with resect to a coordinate system associated with the room. What is the osition of the object with resect to the coordinate system associated with the room? Reflection and refraction: We would like to simulate the way that light reflects off of shiny objects and refracts through transarent objects. Such basic geometric roblems are fundamental to comuter grahics, and over the next few lectures, our goal will be to resent the tools needed to answer these sorts of uestions. There are various formal geometric systems that arise naturally in game rogramming and comuter grahics. The rincial ones are: Affine Geometry: The geometry of simle flat things : oints, lines, lanes, line segments, triangles, etc. There is no defined notion of distance, angles, or orientations, however. Euclidean Geometry: The geometric system that is most familiar to us. It enhances affine geometry by adding notions such as distances, angles, and orientations (such as clockwise and counterclockwise). Projective Geometry: In Euclidean geometry, there is no notion of infinity (in the same way that in standard arithmetic, you cannot divide by zero). But in grahics, we often need to deal with infinity. (For examle, two arallel lines in 3-dimensional sace can Lecture 4 1 Sring 2018
2 meet at a common vanishing oint in a ersective rendering. Think of the oint in the distance where two erfectly straight train tracks aear to meet. Comuting this vanishing oint involves oints at infinity.) Projective geometry ermits this. Affine Geometry: Affine geometry is basic to all geometric rocessing. It s basic elements are: Scalars, which we can just think of as being real numbers Points, which define locations in sace Free vectors (or simly vectors), which are used to secify direction and magnitude, but have no fixed osition. The term free means that vectors do not necessarily emanate from some osition (like the origin), but float freely about in sace. There is a secial vector called the zero vector, 0, that has no magnitude, such that v + 0 = 0 + v = v. Note that we did not define a zero oint or origin for affine sace. This is an intentional omission. No oint secial comared to any other oint. (We will eventually have to break down and define an origin in order to have a coordinate system for our oints, but this is a urely reresentational necessity, not an intrinsic feature of affine sace.) You might ask, why make a distinction between oints and vectors? 1 Although both can be reresented in the same way as a list of coordinates, they reresent very different concets. For examle, oints would be aroriate for reresenting a vertex of a mesh, the center of mass of an object, the oint of contact between two colliding objects. In contrast, a vector would be aroriate for reresenting the velocity of a moving object, the vector normal to a surface, the axis about which a rotating object is sinning. (As comuter scientists the idea of different abstract objects sharing a common reresentation should be familiar. For examle, stacks and ueues are two different abstract data tyes, but they can both be reresented as a 1-dimensional array.) Because oints and vectors are concetually different, it is not surrising that the oerations that can be alied to them are different. For examle, it makes erfect sense to multily a vector and a scalar. Geometrically, this corresonds to stretching the vector by this amount. It also makes sense to add two vectors together. This involves the usual head-to-tail rule, which you learn in linear algebra. It is not so clear, however, what it means to multily a oint by a scalar. (For examle, the to of the Washington monument is a oint. What would it mean to multily this oint by 2?) On the other hand, it does make sense to add a vector to a oint. For examle, if a vector oints straight u and is three meters long, then adding this to the to of the Washington monument would naturally give you a oint that is three meters above the to of the monument. We will use the following notational conventions. Points will usually be denoted by lower-case Roman letters such as,, and r. Vectors will usually be denoted with lower-case Roman letters, such as u, v, and w, and often to emhasize this we will add an arrow (e.g., u, v, w). Scalars will be reresented as lower case Greek letters (e.g., α, β, γ). In our rograms, scalars will be translated to Roman (e.g., a, b, c). (We will sometimes violate these conventions, 1 Unity does not distinguish between them. The data tye Vector3 is used to reresent both oints and vectors. Lecture 4 2 Sring 2018
3 however. For examle, we may use c to denote the center oint of a circle or r to denote the scalar radius of a circle.) Affine Oerations: The table below lists the valid combinations of scalars, oints, and vectors. The formal definitions are retty much what you would exect. Vector oerations are alied in the same way that you learned in linear algebra. For examle, vectors are added in the usual tail-to-head manner (see Fig. 1). The difference of two oints results in a free vector directed from to. Point-vector addition r + v is defined to be the translation of r by dislacement v. Note that some oerations (e.g. scalar-oint multilication, and addition of oints) are exlicitly not defined. vector scalar vector, vector vector/scalar scalar-vector multilication vector vector + vector, vector vector vector vector-vector addition vector oint oint oint-oint difference oint oint + vector, oint oint vector oint-vector addition u u + v v r v r + v Vector addition Point subtraction Point-vector addition Fig. 1: Affine oerations. Affine Combinations: Although the algebra of affine geometry has been careful to disallow oint addition and scalar multilication of oints, there is a articular combination of two oints that we will consider legal. The oeration is called an affine combination. Let s say that we have two oints and and want to comute their midoint r, or more generally a oint r that subdivides the line segment into the roortions α and 1 α, for some α [0, 1]. (The case α = 1/2 is the case of the midoint). This could be done by taking the vector, scaling it by α, and then adding the result to. That is, r = + α( ), (see Fig. 2(a)). Another way to think of this oint r is as a weighted average of the endoints and. Thinking of r in these terms, we might be temted to rewrite the above formula in the following (technically illegal) manner: r = (1 α) + α, (see Fig. 2(b)). Observe that as α ranges from 0 to 1, the oint r ranges along the line segment from to. In fact, we may allow to become negative in which case r lies to the left of, and if α > 1, then r lies to the right of (see Fig. 2(c)). The secial case when 0 α 1, this is called a convex combination. In general, we define the following two oerations for oints in affine sace. Lecture 4 3 Sring 2018
4 r = ( ) α < r < α < 1 (1 α) + α α > 1 (a) (b) (c) (d) Fig. 2: Affine combinations. r r Affine combination: Given a seuence of oints 1, 2,..., n, an affine combination is any sum of the form α α α n n, where α 1, α 2,..., α n are scalars satisfying i α i = 1. Convex combination: Is an affine combination, where in addition we have α i 0 for 1 i n. Affine and convex combinations have a number of nice uses in grahics. For examle, any three noncollinear oints determine a lane. There is a 1 1 corresondence between the oints on this lane and the affine combinations of these three oints. Similarly, there is a 1 1 corresondence between the oints in the triangle determined by the these oints and the convex combinations of the oints (see Fig. 2(d)). In articular, the oint r is the centroid of the triangle. We will sometimes be sloy, and write exressions like 1 2 ( + ), which really means We will allow this sort of abuse of notation rovided that it is clear that there is a legal affine combination that underlies this oeration. To see whether you understand the notation, consider the following uestions. Given three oints in the 3-sace, what is the union of all their affine combinations? (Ans: the lane containing the 3 oints.) What is the union of all their convex combinations? (Ans: The triangle defined by the three oints and its interior.) Euclidean Geometry: In affine geometry we have rovided no way to talk about angles or distances. Euclidean geometry is an extension of affine geometry which includes one additional oeration, called the inner roduct. The inner roduct is an oerator that mas two vectors to a scalar. The roduct of u and v is denoted commonly denoted ( u, v). There are many ways of defining the inner roduct, but any legal definition should satisfy the following reuirements Positiveness: ( u, u) 0 and ( u, u) = 0 if and only if u = 0. Symmetry: ( u, v) = ( v, u). Bilinearity: ( u, v + w) = ( u, v) + ( u, w), and ( u, α v) = α( u, v). (Notice that the symmetric forms follow by symmetry.) See a book on linear algebra for more information. We will focus on a the most familiar inner roduct, called the dot roduct. To define this, we will need to get our hands dirty with Lecture 4 4 Sring 2018
5 coordinates. Suose that the d-dimensional vector u is reresented by the coordinate vector (u 0, u 1,..., u d 1 ). Then define d 1 u v = u i v i, Note that inner (and hence dot) roduct is defined only for vectors, not for oints. i=0 Using the dot roduct we may define a number of concets, which are not defined in regular affine geometry (see Fig. 3). Note that these concets generalize to all dimensions. Length: of a vector v is defined to be v v, and is denoted by v (or as v ). Normalization: Given any nonzero vector v, define the normalization to be a vector of unit length that oints in the same direction as v, that is, v/ v. We will denote this by v. Distance between oints: dist(, ) =. Angle: between two nonzero vectors u and v (ranging from 0 to π) is ( ) u v ang( u, v) = cos 1 = cos 1 (û v). u v This is easy to derive from the law of cosines. Note that this does not rovide us with a signed angle. We cannot tell whether u is clockwise our counterclockwise relative to v. We will discuss signed angles when we consider the cross-roduct. Orthogonality: u and v are orthogonal (or erendicular) if u v = 0. Orthogonal rojection: Given a vector u and a nonzero vector v, it is often convenient to decomose u into the sum of two vectors u = u 1 + u 2, such that u 1 is arallel to v and u 2 is orthogonal to v. u 1 ( u v) ( v v) v, u 2 u u 1. (As an exercise, verify that u 2 is orthogonal to v.) Note that we can ignore the denominator if we know that v is already normalized to unit length. The vector u 1 is called the orthogonal rojection of u onto v. If we think of v as being a normal vector to a lane, then the rojection of u onto this lane is called orthogonal comlement of u with resect to v, and is given by u 2 u u 1. u θ v Angle between vectors u u 2 v u 1 Orthogonal rojection and its comlement Fig. 3: The dot roduct and its uses. Lecture 4 5 Sring 2018
6 Doing it with Unity: Unity does not distinguish between oints and vectors. Both are reresented using Vector3. Unity suorts many of the vector oerations by overloading oerators. Given vectors u, v, and w, all of tye Vector3, the following oerators are suorted: u = v + w; // vector addition u = v - w; // vector subtraction if (u == v u!= w) {... } // vector comarison u = v * 2.0 f; // scalar multilication v = w / 2.0 f; // scalar division You can access the comonents of a Vector3 using as either using axis names, such as, u.x, u.y, and u.z, or through indexing, such as u[0], u[1], and u[2]. The Vector3 class also has the following members and static functions. float x = v. magnitude ; // length of v Vector3 u = v. normalize ; // unit vector in v s direction float a = Vector3. Angle ( u, v); // angle ( degrees ) between u and v float b = Vector3. Dot ( u, v); // dot roduct between u and v Vector3 u1 = Vector3. Project ( u, v); // orthog roj of u onto v Vector3 u2 = Vector3. ProjectOnPlane ( u, v); // orthogonal comlement Some of the Vector3 functions aly when the objects are interreted as oints. Let and be oints declared to be of tye Vector3. The function Vector3.Ler is short for linear interolation. It is essentially a two-oint secial case of a convex combination. (The combination arameter is assumed to lie between 0 and 1.) float b = Vector3. Distance (, ); // distance between and Vector3 midoint = Vector3. Ler (,, 0.5 f); // convex combination Lecture 4 6 Sring 2018
CMSC 425: Lecture 7 Geometric Programming: Sample Solutions
CMSC 425: Lecture 7 Geometric Programming: Samle Solutions Samles: In the last few lectures, we have been discussing affine and Euclidean geometr, coordinate frames and affine transformations, and rotations.
More informationPlanar Transformations and Displacements
Chater Planar Transformations and Dislacements Kinematics is concerned with the roerties of the motion of oints. These oints are on objects in the environment or on a robot maniulator. Two features that
More informationChapter 7 Rational and Irrational Numbers
Chater 7 Rational and Irrational Numbers In this chater we first review the real line model for numbers, as discussed in Chater 2 of seventh grade, by recalling how the integers and then the rational numbers
More informationSolutions to Assignment #02 MATH u v p 59. p 72. h 3; 1; 2i h4; 2; 5i p 14. p 45. = cos 1 2 p!
Solutions to Assignment #0 MATH 41 Kawai/Arangno/Vecharynski Section 1. (I) Comlete Exercises #1cd on. 810. searation to TWO decimal laces. So do NOT leave the nal answer as cos 1 (something) : (c) The
More informationSession 5: Review of Classical Astrodynamics
Session 5: Review of Classical Astrodynamics In revious lectures we described in detail the rocess to find the otimal secific imulse for a articular situation. Among the mission requirements that serve
More information8 STOCHASTIC PROCESSES
8 STOCHASTIC PROCESSES The word stochastic is derived from the Greek στoχαστικoς, meaning to aim at a target. Stochastic rocesses involve state which changes in a random way. A Markov rocess is a articular
More informationComplex Analysis Homework 1
Comlex Analysis Homework 1 Steve Clanton Sarah Crimi January 27, 2009 Problem Claim. If two integers can be exressed as the sum of two squares, then so can their roduct. Proof. Call the two squares that
More informationLecture 1.2 Pose in 2D and 3D. Thomas Opsahl
Lecture 1.2 Pose in 2D and 3D Thomas Osahl Motivation For the inhole camera, the corresondence between observed 3D oints in the world and 2D oints in the catured image is given by straight lines through
More informationA Special Case Solution to the Perspective 3-Point Problem William J. Wolfe California State University Channel Islands
A Secial Case Solution to the Persective -Point Problem William J. Wolfe California State University Channel Islands william.wolfe@csuci.edu Abstract In this aer we address a secial case of the ersective
More informationε i (E j )=δj i = 0, if i j, form a basis for V, called the dual basis to (E i ). Therefore, dim V =dim V.
Covectors Definition. Let V be a finite-dimensional vector sace. A covector on V is real-valued linear functional on V, that is, a linear ma ω : V R. The sace of all covectors on V is itself a real vector
More information8.7 Associated and Non-associated Flow Rules
8.7 Associated and Non-associated Flow Rules Recall the Levy-Mises flow rule, Eqn. 8.4., d ds (8.7.) The lastic multilier can be determined from the hardening rule. Given the hardening rule one can more
More informationPretest (Optional) Use as an additional pacing tool to guide instruction. August 21
Trimester 1 Pretest (Otional) Use as an additional acing tool to guide instruction. August 21 Beyond the Basic Facts In Trimester 1, Grade 8 focus on multilication. Daily Unit 1: Rational vs. Irrational
More informationPrincipal Components Analysis and Unsupervised Hebbian Learning
Princial Comonents Analysis and Unsuervised Hebbian Learning Robert Jacobs Deartment of Brain & Cognitive Sciences University of Rochester Rochester, NY 1467, USA August 8, 008 Reference: Much of the material
More informationMATH 2710: NOTES FOR ANALYSIS
MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite
More informationComputer arithmetic. Intensive Computation. Annalisa Massini 2017/2018
Comuter arithmetic Intensive Comutation Annalisa Massini 7/8 Intensive Comutation - 7/8 References Comuter Architecture - A Quantitative Aroach Hennessy Patterson Aendix J Intensive Comutation - 7/8 3
More informationLecture 1.2 Units, Dimensions, Estimations 1. Units To measure a quantity in physics means to compare it with a standard. Since there are many
Lecture. Units, Dimensions, Estimations. Units To measure a quantity in hysics means to comare it with a standard. Since there are many different quantities in nature, it should be many standards for those
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationEXERCISES Practice and Problem Solving
EXERCISES Practice and Problem Solving For more ractice, see Extra Practice. A Practice by Examle Examles 1 and (ages 71 and 71) Write each measure in. Exress the answer in terms of π and as a decimal
More information19th Bay Area Mathematical Olympiad. Problems and Solutions. February 28, 2017
th Bay Area Mathematical Olymiad February, 07 Problems and Solutions BAMO- and BAMO- are each 5-question essay-roof exams, for middle- and high-school students, resectively. The roblems in each exam are
More informationSection 0.10: Complex Numbers from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative
Section 0.0: Comlex Numbers from Precalculus Prerequisites a.k.a. Chater 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative Commons Attribution-NonCommercial-ShareAlike.0 license.
More informationNumerical Linear Algebra
Numerical Linear Algebra Numerous alications in statistics, articularly in the fitting of linear models. Notation and conventions: Elements of a matrix A are denoted by a ij, where i indexes the rows and
More informationMultiplicative group law on the folium of Descartes
Multilicative grou law on the folium of Descartes Steluţa Pricoie and Constantin Udrişte Abstract. The folium of Descartes is still studied and understood today. Not only did it rovide for the roof of
More informationPHYS 301 HOMEWORK #9-- SOLUTIONS
PHYS 0 HOMEWORK #9-- SOLUTIONS. We are asked to use Dirichlet' s theorem to determine the value of f (x) as defined below at x = 0, ± /, ± f(x) = 0, - < x
More information2016-r1 Physics 220: Worksheet 02 Name
06-r Physics 0: Worksheet 0 Name Concets: Electric Field, lines of force, charge density, diole moment, electric diole () An equilateral triangle with each side of length 0.0 m has identical charges of
More informationPrinciples of Computed Tomography (CT)
Page 298 Princiles of Comuted Tomograhy (CT) The theoretical foundation of CT dates back to Johann Radon, a mathematician from Vienna who derived a method in 1907 for rojecting a 2-D object along arallel
More informationCryptanalysis of Pseudorandom Generators
CSE 206A: Lattice Algorithms and Alications Fall 2017 Crytanalysis of Pseudorandom Generators Instructor: Daniele Micciancio UCSD CSE As a motivating alication for the study of lattice in crytograhy we
More informationFind the equation of a plane perpendicular to the line x = 2t + 1, y = 3t + 4, z = t 1 and passing through the point (2, 1, 3).
CME 100 Midterm Solutions - Fall 004 1 CME 100 - Midterm Solutions - Fall 004 Problem 1 Find the equation of a lane erendicular to the line x = t + 1, y = 3t + 4, z = t 1 and assing through the oint (,
More informationA Simple And Efficient FEM-Implementation Of The Modified Mohr-Coulomb Criterion Clausen, Johan Christian; Damkilde, Lars
Aalborg Universitet A Simle And Efficient FEM-Imlementation Of The Modified Mohr-Coulomb Criterion Clausen, Johan Christian; Damkilde, Lars Published in: Proceedings of the 9th Nordic Seminar on Comutational
More informationSolved Problems. (a) (b) (c) Figure P4.1 Simple Classification Problems First we draw a line between each set of dark and light data points.
Solved Problems Solved Problems P Solve the three simle classification roblems shown in Figure P by drawing a decision boundary Find weight and bias values that result in single-neuron ercetrons with the
More informationδ(xy) = φ(x)δ(y) + y p δ(x). (1)
LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material
More information= ( 2) = p 5.
MATH 0 Exam (Version ) Solutions Setember, 00 S. F. Ellermeyer Name Instructions. Your work on this exam will be raded accordin to two criteria: mathematical correctness clarity of resentation. In other
More informationFeedback-error control
Chater 4 Feedback-error control 4.1 Introduction This chater exlains the feedback-error (FBE) control scheme originally described by Kawato [, 87, 8]. FBE is a widely used neural network based controller
More informationSolution sheet ξi ξ < ξ i+1 0 otherwise ξ ξ i N i,p 1 (ξ) + where 0 0
Advanced Finite Elements MA5337 - WS7/8 Solution sheet This exercise sheets deals with B-slines and NURBS, which are the basis of isogeometric analysis as they will later relace the olynomial ansatz-functions
More informationSECTION 5: FIBRATIONS AND HOMOTOPY FIBERS
SECTION 5: FIBRATIONS AND HOMOTOPY FIBERS In this section we will introduce two imortant classes of mas of saces, namely the Hurewicz fibrations and the more general Serre fibrations, which are both obtained
More informationLower bound solutions for bearing capacity of jointed rock
Comuters and Geotechnics 31 (2004) 23 36 www.elsevier.com/locate/comgeo Lower bound solutions for bearing caacity of jointed rock D.J. Sutcliffe a, H.S. Yu b, *, S.W. Sloan c a Deartment of Civil, Surveying
More informationDIFFERENTIAL GEOMETRY. LECTURES 9-10,
DIFFERENTIAL GEOMETRY. LECTURES 9-10, 23-26.06.08 Let us rovide some more details to the definintion of the de Rham differential. Let V, W be two vector bundles and assume we want to define an oerator
More informationTrigonometric Identities
Trigonometric Identities An identity is an equation that is satis ed by all the values of the variable(s) in the equation. We have already introduced the following: (a) tan x (b) sec x (c) csc x (d) cot
More informationState Estimation with ARMarkov Models
Deartment of Mechanical and Aerosace Engineering Technical Reort No. 3046, October 1998. Princeton University, Princeton, NJ. State Estimation with ARMarkov Models Ryoung K. Lim 1 Columbia University,
More informationUse of Transformations and the Repeated Statement in PROC GLM in SAS Ed Stanek
Use of Transformations and the Reeated Statement in PROC GLM in SAS Ed Stanek Introduction We describe how the Reeated Statement in PROC GLM in SAS transforms the data to rovide tests of hyotheses of interest.
More informationEconomics 101. Lecture 7 - Monopoly and Oligopoly
Economics 0 Lecture 7 - Monooly and Oligooly Production Equilibrium After having exlored Walrasian equilibria with roduction in the Robinson Crusoe economy, we will now ste in to a more general setting.
More information1 Properties of Spherical Harmonics
Proerties of Sherical Harmonics. Reetition In the lecture the sherical harmonics Y m were introduced as the eigenfunctions of angular momentum oerators lˆz and lˆ2 in sherical coordinates. We found that
More informationMath 121: Calculus 1 - Fall 2012/2013 Review of Precalculus Concepts
Introduction Math : Calculus - Fall 0/0 Review of Precalculus Concets Welcome to Math - Calculus, Fall 0/0! This roblems in this acket are designed to hel you review the toics from Algebra and Precalculus
More informationarxiv: v1 [physics.data-an] 26 Oct 2012
Constraints on Yield Parameters in Extended Maximum Likelihood Fits Till Moritz Karbach a, Maximilian Schlu b a TU Dortmund, Germany, moritz.karbach@cern.ch b TU Dortmund, Germany, maximilian.schlu@cern.ch
More information7.1 Projections and Components
7. Projections and Components As we have seen, the dot product of two vectors tells us the cosine of the angle between them. So far, we have only used this to find the angle between two vectors, but cosines
More informationPretest (Optional) Use as an additional pacing tool to guide instruction. August 21
Trimester 1 Pretest (Otional) Use as an additional acing tool to guide instruction. August 21 Beyond the Basic Facts In Trimester 1, Grade 7 focus on multilication. Daily Unit 1: The Number System Part
More informationStatics and dynamics: some elementary concepts
1 Statics and dynamics: some elementary concets Dynamics is the study of the movement through time of variables such as heartbeat, temerature, secies oulation, voltage, roduction, emloyment, rices and
More informationCHAPTER 5 TANGENT VECTORS
CHAPTER 5 TANGENT VECTORS In R n tangent vectors can be viewed from two ersectives (1) they cature the infinitesimal movement along a ath, the direction, and () they oerate on functions by directional
More informationHENSEL S LEMMA KEITH CONRAD
HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar
More informationMORE TRIGONOMETRIC FUNCTIONS
CHAPTER MORE TRIGONOMETRIC FUNCTIONS The relationshis among the lengths of the sides of an isosceles right triangle or of the right triangles formed by the altitude to a side of an equilateral triangle
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationSYMPLECTIC STRUCTURES: AT THE INTERFACE OF ANALYSIS, GEOMETRY, AND TOPOLOGY
SYMPLECTIC STRUCTURES: AT THE INTERFACE OF ANALYSIS, GEOMETRY, AND TOPOLOGY FEDERICA PASQUOTTO 1. Descrition of the roosed research 1.1. Introduction. Symlectic structures made their first aearance in
More informationBME 207 Introduction to Biomechanics Spring Homework 1
January 19, 2018 UNIVERSITY OF RHODE ISLAND Deartment of Electrical, Comuter and Biomedical Engineering BME 207 Introduction to Biomechanics Sring 2018 Problems 2.1 2.17 in the textbook. Homework 1 Problem
More informationGeneralized exterior forms, geometry and space-time
Generalized exterior forms, geometry and sace-time P Nurowski Instytut Fizyki Teoretycznej Uniwersytet Warszawski ul. Hoza 69, Warszawa nurowski@fuw.edu.l D C Robinson Mathematics Deartment King s College
More informationTopic 7: Using identity types
Toic 7: Using identity tyes June 10, 2014 Now we would like to learn how to use identity tyes and how to do some actual mathematics with them. By now we have essentially introduced all inference rules
More informationA QUATERNIONIC APPROACH to GEOMETRY of CURVES on SPACES of CONSTANT CURVATURE
INTERNATIONAL JOURNAL OF GEOMETRY Vol. 3 (2014), No. 1, 53-65 A QUATERNIONIC APPROACH to GEOMETRY of CURVES on SPACES of CONSTANT CURVATURE TUNA BAYRAKDAR and A. A. ERG IN Abstract. We construct the Frenet-Serret
More informationFORMAL DEFINITION OF TOLERANCING IN CAD AND METROLOGY
P. SERRÉ, A. CLÉENT, A. RIVIÈRE FORAL DEFINITION OF TOLERANCING IN CAD AND ETROLOGY Abstract: Our aim is to unify mathematically the secification and the metrological verification of a given geometrical
More informationSTA 250: Statistics. Notes 7. Bayesian Approach to Statistics. Book chapters: 7.2
STA 25: Statistics Notes 7. Bayesian Aroach to Statistics Book chaters: 7.2 1 From calibrating a rocedure to quantifying uncertainty We saw that the central idea of classical testing is to rovide a rigorous
More informationFFTs in Graphics and Vision. Rotational and Reflective Symmetry Detection
FFTs in Grahics and Vision Rotational and Relectie Symmetry Detection Outline Reresentation Theory Symmetry Detection Rotational Symmetry Relectie Symmetry Reresentation Theory Recall: A rou is a set o
More information(IV.D) PELL S EQUATION AND RELATED PROBLEMS
(IV.D) PELL S EQUATION AND RELATED PROBLEMS Let d Z be non-square, K = Q( d). As usual, we take S := Z[ [ ] d] (for any d) or Z 1+ d (only if d 1). We have roved that (4) S has a least ( fundamental )
More informationIntroduction to Group Theory Note 1
Introduction to Grou Theory Note July 7, 009 Contents INTRODUCTION. Examles OF Symmetry Grous in Physics................................. ELEMENT OF GROUP THEORY. De nition of Grou................................................
More information9.4 Polar Coordinates
9.4 Polar Coordinates Polar coordinates uses distance and direction to specify a location in a plane. The origin in a polar system is a fixed point from which a ray, O, is drawn and we call the ray the
More informationElliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015
18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to
More informationOn the Toppling of a Sand Pile
Discrete Mathematics and Theoretical Comuter Science Proceedings AA (DM-CCG), 2001, 275 286 On the Toling of a Sand Pile Jean-Christohe Novelli 1 and Dominique Rossin 2 1 CNRS, LIFL, Bâtiment M3, Université
More informationJohn Weatherwax. Analysis of Parallel Depth First Search Algorithms
Sulementary Discussions and Solutions to Selected Problems in: Introduction to Parallel Comuting by Viin Kumar, Ananth Grama, Anshul Guta, & George Karyis John Weatherwax Chater 8 Analysis of Parallel
More informationModel checking, verification of CTL. One must verify or expel... doubts, and convert them into the certainty of YES [Thomas Carlyle]
Chater 5 Model checking, verification of CTL One must verify or exel... doubts, and convert them into the certainty of YES or NO. [Thomas Carlyle] 5. The verification setting Page 66 We introduce linear
More informationElements of Asymptotic Theory. James L. Powell Department of Economics University of California, Berkeley
Elements of Asymtotic Theory James L. Powell Deartment of Economics University of California, Berkeley Objectives of Asymtotic Theory While exact results are available for, say, the distribution of the
More information0.1 Practical Guide - Surface Integrals. C (0,0,c) A (0,b,0) A (a,0,0)
. Practical Guide - urface Integrals urface integral,means to integrate over a surface. We begin with the stud of surfaces. The easiest wa is to give as man familiar eamles as ossible ) a lane surface
More informationCSE 599d - Quantum Computing When Quantum Computers Fall Apart
CSE 599d - Quantum Comuting When Quantum Comuters Fall Aart Dave Bacon Deartment of Comuter Science & Engineering, University of Washington In this lecture we are going to begin discussing what haens to
More informationCorrespondence Between Fractal-Wavelet. Transforms and Iterated Function Systems. With Grey Level Maps. F. Mendivil and E.R.
1 Corresondence Between Fractal-Wavelet Transforms and Iterated Function Systems With Grey Level Mas F. Mendivil and E.R. Vrscay Deartment of Alied Mathematics Faculty of Mathematics University of Waterloo
More informationUncorrelated Multilinear Principal Component Analysis for Unsupervised Multilinear Subspace Learning
TNN-2009-P-1186.R2 1 Uncorrelated Multilinear Princial Comonent Analysis for Unsuervised Multilinear Subsace Learning Haiing Lu, K. N. Plataniotis and A. N. Venetsanooulos The Edward S. Rogers Sr. Deartment
More informationChurilova Maria Saint-Petersburg State Polytechnical University Department of Applied Mathematics
Churilova Maria Saint-Petersburg State Polytechnical University Deartment of Alied Mathematics Technology of EHIS (staming) alied to roduction of automotive arts The roblem described in this reort originated
More informationSets of Real Numbers
Chater 4 Sets of Real Numbers 4. The Integers Z and their Proerties In our revious discussions about sets and functions the set of integers Z served as a key examle. Its ubiquitousness comes from the fact
More informationMeasuring center and spread for density curves. Calculating probabilities using the standard Normal Table (CIS Chapter 8, p 105 mainly p114)
Objectives 1.3 Density curves and Normal distributions Density curves Measuring center and sread for density curves Normal distributions The 68-95-99.7 (Emirical) rule Standardizing observations Calculating
More informationElementary theory of L p spaces
CHAPTER 3 Elementary theory of L saces 3.1 Convexity. Jensen, Hölder, Minkowski inequality. We begin with two definitions. A set A R d is said to be convex if, for any x 0, x 1 2 A x = x 0 + (x 1 x 0 )
More informationNetwork Configuration Control Via Connectivity Graph Processes
Network Configuration Control Via Connectivity Grah Processes Abubakr Muhammad Deartment of Electrical and Systems Engineering University of Pennsylvania Philadelhia, PA 90 abubakr@seas.uenn.edu Magnus
More informationMULTIVARIATE STATISTICAL PROCESS OF HOTELLING S T CONTROL CHARTS PROCEDURES WITH INDUSTRIAL APPLICATION
Journal of Statistics: Advances in heory and Alications Volume 8, Number, 07, Pages -44 Available at htt://scientificadvances.co.in DOI: htt://dx.doi.org/0.864/jsata_700868 MULIVARIAE SAISICAL PROCESS
More informationSolutions to Problem Set 5
Solutions to Problem Set Problem 4.6. f () ( )( 4) For this simle rational function, we see immediately that the function has simle oles at the two indicated oints, and so we use equation (6.) to nd the
More informationChapter 1: PROBABILITY BASICS
Charles Boncelet, obability, Statistics, and Random Signals," Oxford University ess, 0. ISBN: 978-0-9-0005-0 Chater : PROBABILITY BASICS Sections. What Is obability?. Exeriments, Outcomes, and Events.
More informationMATH 361: NUMBER THEORY ELEVENTH LECTURE
MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties
More informationMicroeconomics Fall 2017 Problem set 1: Possible answers
Microeconomics Fall 07 Problem set Possible answers Each answer resents only one way of solving the roblem. Other right answers are ossible and welcome. Exercise For each of the following roerties, draw
More informationSpin as Dynamic Variable or Why Parity is Broken
Sin as Dynamic Variable or Why Parity is Broken G. N. Golub golubgn@meta.ua There suggested a modification of the Dirac electron theory, eliminating its mathematical incomleteness. The modified Dirac electron,
More informationShort Solutions to Practice Material for Test #2 MATH 2421
Short Solutions to Practice Material for Test # MATH 4 Kawai (#) Describe recisely the D surfaces listed here (a) + y + z z = Shere ( ) + (y ) + (z ) = 4 = The center is located at C (; ; ) and the radius
More informationA Solution for the Dark Matter Mystery based on Euclidean Relativity
Long Beach 2010 PROCEEDINGS of the NPA 1 A Solution for the Dark Matter Mystery based on Euclidean Relativity Frédéric Lassiaille Arcades, Mougins 06250, FRANCE e-mail: lumimi2003@hotmail.com The study
More informationHEAT, WORK, AND THE FIRST LAW OF THERMODYNAMICS
HET, ORK, ND THE FIRST L OF THERMODYNMIS 8 EXERISES Section 8. The First Law of Thermodynamics 5. INTERPRET e identify the system as the water in the insulated container. The roblem involves calculating
More informationjf 00 (x)j ds (x) = [1 + (f 0 (x)) 2 ] 3=2 (t) = jjr0 (t) r 00 (t)jj jjr 0 (t)jj 3
M73Q Multivariable Calculus Fall 7 Review Problems for Exam The formulas in the box will be rovided on the exam. (s) dt jf (x)j ds (x) [ + (f (x)) ] 3 (t) jjt (t)jj jjr (t)jj (t) jjr (t) r (t)jj jjr (t)jj
More informationExcerpt from "Intermediate Algebra" 2014 AoPS Inc.
Ecert from "Intermediate Algebra" 04 AoPS Inc. www.artofroblemsolving.com for which our grah is below the -ais with the oints where the grah intersects the -ais (because the ineuality is nonstrict), we
More informationCollaborative Place Models Supplement 1
Collaborative Place Models Sulement Ber Kaicioglu Foursquare Labs ber.aicioglu@gmail.com Robert E. Schaire Princeton University schaire@cs.rinceton.edu David S. Rosenberg P Mobile Labs david.davidr@gmail.com
More informationSeries Handout A. 1. Determine which of the following sums are geometric. If the sum is geometric, express the sum in closed form.
Series Handout A. Determine which of the following sums are geometric. If the sum is geometric, exress the sum in closed form. 70 a) k= ( k ) b) 50 k= ( k )2 c) 60 k= ( k )k d) 60 k= (.0)k/3 2. Find the
More informationCOMMUNICATION BETWEEN SHAREHOLDERS 1
COMMUNICATION BTWN SHARHOLDRS 1 A B. O A : A D Lemma B.1. U to µ Z r 2 σ2 Z + σ2 X 2r ω 2 an additive constant that does not deend on a or θ, the agents ayoffs can be written as: 2r rθa ω2 + θ µ Y rcov
More information0.6 Factoring 73. As always, the reader is encouraged to multiply out (3
0.6 Factoring 7 5. The G.C.F. of the terms in 81 16t is just 1 so there is nothing of substance to factor out from both terms. With just a difference of two terms, we are limited to fitting this olynomial
More informationpp physics, RWTH, WS 2003/04, T.Hebbeker
1. PP TH 03/04 Accelerators and Detectors 1 hysics, RWTH, WS 2003/04, T.Hebbeker 2003-12-03 1. Accelerators and Detectors In the following, we concentrate on the three machines SPS, Tevatron and LHC with
More informationMeasuring center and spread for density curves. Calculating probabilities using the standard Normal Table (CIS Chapter 8, p 105 mainly p114)
Objectives Density curves Measuring center and sread for density curves Normal distributions The 68-95-99.7 (Emirical) rule Standardizing observations Calculating robabilities using the standard Normal
More informationCHAPTER 2: SMOOTH MAPS. 1. Introduction In this chapter we introduce smooth maps between manifolds, and some important
CHAPTER 2: SMOOTH MAPS DAVID GLICKENSTEIN 1. Introduction In this chater we introduce smooth mas between manifolds, and some imortant concets. De nition 1. A function f : M! R k is a smooth function if
More informationThe Arm Prime Factors Decomposition
The Arm Prime Factors Decomosition Arm Boris Nima arm.boris@gmail.com Abstract We introduce the Arm rime factors decomosition which is the equivalent of the Taylor formula for decomosition of integers
More informationRESOLUTIONS OF THREE-ROWED SKEW- AND ALMOST SKEW-SHAPES IN CHARACTERISTIC ZERO
RESOLUTIONS OF THREE-ROWED SKEW- AND ALMOST SKEW-SHAPES IN CHARACTERISTIC ZERO MARIA ARTALE AND DAVID A. BUCHSBAUM Abstract. We find an exlicit descrition of the terms and boundary mas for the three-rowed
More informationImplementation and Validation of Finite Volume C++ Codes for Plane Stress Analysis
CST0 191 October, 011, Krabi Imlementation and Validation of Finite Volume C++ Codes for Plane Stress Analysis Chakrit Suvanjumrat and Ekachai Chaichanasiri* Deartment of Mechanical Engineering, Faculty
More informationCharacteristics of Fibonacci-type Sequences
Characteristics of Fibonacci-tye Sequences Yarden Blausa May 018 Abstract This aer resents an exloration of the Fibonacci sequence, as well as multi-nacci sequences and the Lucas sequence. We comare and
More informationScaling Multiple Point Statistics for Non-Stationary Geostatistical Modeling
Scaling Multile Point Statistics or Non-Stationary Geostatistical Modeling Julián M. Ortiz, Steven Lyster and Clayton V. Deutsch Centre or Comutational Geostatistics Deartment o Civil & Environmental Engineering
More information16.2. Infinite Series. Introduction. Prerequisites. Learning Outcomes
Infinite Series 6.2 Introduction We extend the concet of a finite series, met in Section 6., to the situation in which the number of terms increase without bound. We define what is meant by an infinite
More information