Inertial Navigation Mechanization and Error Equations
|
|
- ÏἈχαϊκός Λύτρας
- 6 χρόνια πριν
- Προβολές:
Transcript
1 Iertial Navigatio Mechaizatio ad Error Equatios 1 Navigatio i Earth-cetered coordiates Coordiate systems: i iertial coordiate system; ECI. e earth fixed coordiate system; ECEF. avigatio coordiate system; local level, NED. Fudametal equatio of iertial avigatio: r i = f i + G i Navigatio i a coordiate system fixed to the Earth is more practical: First derivative: Secod derivative: r i = C i e re ṙ i = Ċi e re + C i eṙe = C i eω e i/er e + C i eṙe r i = Ċi eω e i/er e + C i e Ω e i/er e + C i eω e i/eṙe + Ċi eṙe + C i e re = CeΩ i e i/eω e i/er e + Ce i Ω e i/er e + CeΩ i e i/eṙe + CeΩ i e i/eṙe + C e re i = Ce (Ω i ei/eωei/ere + Ω ei/er ) e + 2Ω ei/eṙe + r e Combiig with the fudametal equatio: f e + G e = ω e i/e ωe i/e }{{ re + ω e i/e } re + 2ω e i/e }{{} ṙe + r e }{{} Cetripetal Euler Coriolis 1
2 2 Navigatio i local-level coordiates It is eve more practical to calculate velocities i local level coordiates (velocity east, velocity orth), ad calculate positio i geodetic coordiates (latitude, logitude). 2.1 Velocity equatio By defiitio: First derivative: v C e ṙe v = Ċ e ṙe + C e re = C e Ω e /eṙe + C e re Solve for r e : r e = C e v Ω e /eṙe Now, repeatig the Earth cetered avigatio equatio from the previous sectio with the Euler term eglected: f e + G e = Ω e i/e Ωe i/e }{{ re + 2Ω e } i/eṙe + r e }{{}}{{} First term Secod term Third term We will covert the above equatio to avigatio coordiates term by term. First term: Secod term: Third term: ( ( ) Ω e i/eω e i/er e = C e C e Ω e i/ec) e C e Ω e i/ec e C e r e = C e Ω i/eω i/er 2Ω e i/eṙe = 2Ω e i/e Ce ( v ) = 2C e C e Ω e i/ec e v = 2C e Ω i/e v r e = C e v Ω e /eṙe ( ) = C e v C e C e Ω e /e Ce C e ṙ e = C e v C e Ω /e v 2
3 ecombiig: f e + G e = Ω e i/e Ωe i/e re + 2Ω e i/eṙe + r e = CΩ e i/eω i/er + 2CΩ e i/ev + C e v CΩ e /ev ( = C e Ω i/e Ω i/e r + 2Ω i/e v + v Ω /e ( v) = C e Ω i/e Ω i/e r + ( 2Ω i/e ) Ω /e v + v ) ( = C e Ω i/e Ω i/e r + ( 2Ω i/e + ) Ω e/ v + v ) ( = C e Ω i/e Ω i/e r + ( Ω i/e + ) Ω i/ v + v ) Ce (f e + G e ) = Ω i/e Ω i/e r + ( Ω i/e + ) Ω i/ v + v f + G = Ω i/eω i/er + ( ) Ω i/e + Ω i/ v + v ecall that g = G ω i/e (ω i/e r): f + g + Ω i/e Ω i/e r = Ω i/e Ω i/e r + ( Ω i/e + ) Ω i/ v + v f + g = ( Ω i/e + ) Ω i/ v + v v = ( ) ω i/e + ω i/ v + f + g The above equatio is itegrated i real time to calculate velocity i the avigatio coordiates. 2.2 Implemetatio Details The local Earth rate vector is give by ω i/e cos φ ω i/e =. ω i/e si φ The agular rate vector for the chage i the local level coordiate frame with respect to the Earth frame is give by λ cos φ ω e/ = φ λ si φ. So the agular rate vector for the Coriolis correctio is give by (2ω i/e + λ) cos φ ω i/e + ω i/ = 2ω i/e + ω e/ = φ (2ω i/e + λ) si φ. 3
4 Writig out the compoets of the matrices i the velocity equatio: v N (2ω i/e + λ) si φ φ v E = (2ω i/e + λ) si φ (2ω i/e + λ) v N cos φ v E v D φ (2ω i/e + λ) cos φ v D f N + f E + f D g The above equatio is itegrated i real time to obtai the velocity: v N (t) = v N (t ) + v E (t) = v E (t ) + v D (t) = v D (t ) + t ( ((2ω i/e + λ) si φ)v E + φv D + f N ) dτ t (((2ω i/e + λ) si φ)v N + ((2ω i/e + λ) cos φ)v D + f E ) dτ t ( φv N ((2ω i/e + λ) cos φ)v E + f D + g) dτ Note that the above implemetatio is ustable; a practical iertial avigatio system requires a exteral referece. Oe method for calculatig the latitude ad logitude rates is give by λ = φ = v N, v E cos φ. The whole values of latitude ad logitude are calculated by itegratig the rates. 3 Navigatio ψ-agle error equatios 3.1 Velocity error equatio Defie three coordiate systems omially aliged with avigatio or local level coordiates: t true coordiate frame; the local level coordiate frame at our true positio. 4
5 f N + v N (t ) v N φ φ(t ) φ f E + v E (t ) v E 1/ λ λ(t ) λ f D + + v D (t ) 1/( cos φ) h(t ) v D h g Coriolis 1 φ λ φ Figure 1: Iertial avigatio system velocity ad positio processig. c computed coordiate frame; the local level coordiate frame at the positio we have computed. The misaligmet agles betwee true ad computed coordiates are deoted by δθ. p platform coordiate frame. I a gimbaled system, the accelerometers are attached to a stable platform whose attitude is cotrolled by the gryos. The platform coordiate system is defied by the accelerometer sesitive axes. The misaligmet agles betwee computed ad platform coordiates are deoted by ψ. The system total attitude error, φ, is the misaligmet betwee the true ad platform coordiates ad is give by φ = ψ + δθ. The ψ-agle error equatios use the computed coordiate frame for error aalysis. The velocity equatio i the computed coordiate frame, but usig the true values of velocity, specific force, ad gravity: v c = ( ω c i/e + ) ωc i/c v c + f c + g c 5
6 The velocity equatio agai, but usig the values of velocity, specific force, ad gravity that are estimated i real time by the avigatio computer: ˆv c = ( ω c i/e + ωc i/c) ˆv c + ˆf c + ĝ c Each of the estimated values i the equatio above is the sum of the true value ad a error: ˆv c = v c + δv c The specific force vector is measured i the platform frame, but for the real time calculatios, it is assumed to be i the computed frame: ˆf c = f p + δf c Similarly, the gravity vector is sesed i the true frame, but for the real time calculatios, it is assumed to be i the computed frame: ĝ c = g t + δg c δh Substitutig ito the estimated velocity equatio: v c + δ v c = ( ω c i/e + ωc i/c) (v c + δv c ) + f p + δf c + g t + δg c δh Ad subtractig off the true values: δ v c = ( ω c i/e + ωc i/c) δv c + f p f c + δf c + g t g c + δg c δh f p = C p c f c = (I (ψ )) f c = f c ψ f c g t = Ccg t c = (I + (δθ )) g c = g c + δθ g c The velocity error equatio: δ v c = ( ω c i/e + ) ωc i/c δv c ψ f c + δf c + δθ g c + δg c 6
7 3.2 Positio error equatio r e (t) = r e () + r e (t) + δr e (t) = r e () + δr e (t) = C e c (τ)vc (τ) dτ C e c (τ) (vc (τ) + δv c (τ)) dτ C e c (τ)δv c (τ) dτ δr c (t) = Ce c (t) Cc e (τ)δvc (τ) dτ δṙ c (t) = Ċc e (t) Cc e (τ)δvc (τ) dτ + Ce c (t)ce c (t)δvc (t) = Ċc e (t)δre (t) + δv c (t) = CeΩ c e c/eδr e + δv c = Ω c c/e δrc + δv c = Ω c e/c δrc + δv c δṙ c = ω c e/c δrc + δv c 3.3 Attitude error equatio ω p i/p = ωc i/c + εp ω p i/p = Cp c ωc i/p ( = Cc p ω c i/c + ωc/p) c = Cc p ω c i/c + ω p c/p = (I (ψ )) ω c i/c + ωp c/p = ω c i/c ψ ωc i/c + ωp c/p = ω c i/c ψ ω c i/c + ψ ω c i/c ψ ωc i/c + ψ = ω c i/c + εp ψ = ω c i/c ψ + εp 7
8 3.4 State space error model δ v = ( ω i/e + ω i/) δv ψ f + δf + δθ g + δg δh δṙ = ω e/ δr + δv ψ = ω i/c ψ + εp δgδh = gcomputed gactual = g 2g δh = ξg ηg g 2g δh ξg ηg g + g where ξ ad η are verticle deflectios of gravity, ad g is a bias error i the magitude of gravity. The term 2g δh is the liearized error i the calculated value of gravity due to a error i height. δθ g = = δθ = δr E δr E δr N ta φ δr E ta φ δr N ta φ δr E δr E δr N δr N g δr E g δr E g g δr δθ g + δgδh N + ξg = g δr E + ηg 2g δr D g g δr N ξg = g δr E + ηg 2g δr D g }{{}}{{}}{{} G δr δg = G δr + δg 8
9 ω e/ = ω i/e cos φ ω i/e = ω i/e si φ λ cos φ φ = λ si φ ω i/ = ω i/e + ω e/ v E v N v E ta φ ω i/ + ω i/ = 2ω i/e + ω e/ Combiig all terms for the complete ψ-agle error model: δṙ Ω e/ I ( ) δ v = G 2Ω i/e + Ω e/ (f δr ) ( ) δv + δf + δg ψ Ω i/e + ψ ε p Ω e/ 9
10 1 δṙ N δṙ E δṙ D δ v N δ v E = δ v D ψ N ψ E ψ D λ si φ φ 1 λ si φ λ cos φ 1 φ λ cos φ 1 g (2ω i/e + λ) si φ φ g (2ω i/e + λ) si φ (2ω i/e + λ) cos φ 2g φ (2ω i/e + λ) cos φ f D f E f D f N f E f N (ω i/e + λ) si φ φ (ω i/e + λ) si φ (ω i/e + λ) cos φ φ (ω i/e + λ) cos φ δr N δr E δr D δv N δf N + δg N δv E + δf E + δg E δv D δf D + δg D ψ N ε N ψ E ε E ψ D ε D Figure 2: Complete state space form ψ-agle error equatio.
EE 570: Location and Navigation
EE 570: Locatio ad Navigatio INS Iitializatio Aly El-Osery Electrical Egieerig Departmet, New Mexico Tech Socorro, New Mexico, USA April 25, 2013 Aly El-Osery (NMT) EE 570: Locatio ad Navigatio April 25,
Διαβάστε περισσότεραα β
6. Eerg, Mometum coefficiets for differet velocit distributios Rehbock obtaied ) For Liear Velocit Distributio α + ε Vmax { } Vmax ε β +, i which ε v V o Give: α + ε > ε ( α ) Liear velocit distributio
Διαβάστε περισσότεραNavigation Mathematics: Kinematics (Coordinate Frame Transformation) EE 565: Position, Navigation and Timing
Lecture Navigation Mathematics: Kinematics (Coordinate Frame Transformation) EE 565: Position, Navigation and Timing Lecture Notes Update on Feruary 20, 2018 Aly El-Osery and Kevin Wedeward, Electrical
Διαβάστε περισσότεραFREE VIBRATION OF A SINGLE-DEGREE-OF-FREEDOM SYSTEM Revision B
FREE VIBRATION OF A SINGLE-DEGREE-OF-FREEDOM SYSTEM Revisio B By Tom Irvie Email: tomirvie@aol.com February, 005 Derivatio of the Equatio of Motio Cosier a sigle-egree-of-freeom system. m x k c where m
Διαβάστε περισσότεραEE 570: Location and Navigation
EE 570: Location and Navigation INS Initialization Aly El-Osery Kevin Wedeward Electrical Engineering Department, New Mexico Tech Socorro, New Mexico, USA In Collaboration with Stephen Bruder Electrical
Διαβάστε περισσότεραSolve the difference equation
Solve the differece equatio Solutio: y + 3 3y + + y 0 give tat y 0 4, y 0 ad y 8. Let Z{y()} F() Taig Z-trasform o both sides i (), we get y + 3 3y + + y 0 () Z y + 3 3y + + y Z 0 Z y + 3 3Z y + + Z y
Διαβάστε περισσότεραDESIGN OF MACHINERY SOLUTION MANUAL h in h 4 0.
DESIGN OF MACHINERY SOLUTION MANUAL -7-1! PROBLEM -7 Statement: Design a double-dwell cam to move a follower from to 25 6, dwell for 12, fall 25 and dwell for the remader The total cycle must take 4 sec
Διαβάστε περισσότερα1. For each of the following power series, find the interval of convergence and the radius of convergence:
Math 6 Practice Problems Solutios Power Series ad Taylor Series 1. For each of the followig power series, fid the iterval of covergece ad the radius of covergece: (a ( 1 x Notice that = ( 1 +1 ( x +1.
Διαβάστε περισσότεραBessel function for complex variable
Besse fuctio for compex variabe Kauhito Miuyama May 4, 7 Besse fuctio The Besse fuctio Z ν () is the fuctio wich satisfies + ) ( + ν Z ν () =. () Three kids of the soutios of this equatio are give by {
Διαβάστε περισσότεραPresentation of complex number in Cartesian and polar coordinate system
1 a + bi, aεr, bεr i = 1 z = a + bi a = Re(z), b = Im(z) give z = a + bi & w = c + di, a + bi = c + di a = c & b = d The complex cojugate of z = a + bi is z = a bi The sum of complex cojugates is real:
Διαβάστε περισσότεραderivation of the Laplacian from rectangular to spherical coordinates
derivation of the Laplacian from rectangular to spherical coordinates swapnizzle 03-03- :5:43 We begin by recognizing the familiar conversion from rectangular to spherical coordinates (note that φ is used
Διαβάστε περισσότεραCHAPTER 103 EVEN AND ODD FUNCTIONS AND HALF-RANGE FOURIER SERIES
CHAPTER 3 EVEN AND ODD FUNCTIONS AND HALF-RANGE FOURIER SERIES EXERCISE 364 Page 76. Determie the Fourier series for the fuctio defied by: f(x), x, x, x which is periodic outside of this rage of period.
Διαβάστε περισσότεραPhys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)
Phys460.nb 81 ψ n (t) is still the (same) eigenstate of H But for tdependent H. The answer is NO. 5.5.5. Solution for the tdependent Schrodinger s equation If we assume that at time t 0, the electron starts
Διαβάστε περισσότεραIIT JEE (2013) (Trigonomtery 1) Solutions
L.K. Gupta (Mathematic Classes) www.pioeermathematics.com MOBILE: 985577, 677 (+) PAPER B IIT JEE (0) (Trigoomtery ) Solutios TOWARDS IIT JEE IS NOT A JOURNEY, IT S A BATTLE, ONLY THE TOUGHEST WILL SURVIVE
Διαβάστε περισσότεραThe Heisenberg Uncertainty Principle
Chemistry 460 Sprig 015 Dr. Jea M. Stadard March, 015 The Heiseberg Ucertaity Priciple A policema pulls Werer Heiseberg over o the Autobah for speedig. Policema: Sir, do you kow how fast you were goig?
Διαβάστε περισσότεραNotes on the Open Economy
Notes on the Open Econom Ben J. Heijdra Universit of Groningen April 24 Introduction In this note we stud the two-countr model of Table.4 in more detail. restated here for convenience. The model is Table.4.
Διαβάστε περισσότεραCHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS
CHAPTER 5 SOLVING EQUATIONS BY ITERATIVE METHODS EXERCISE 104 Page 8 1. Find the positive root of the equation x + 3x 5 = 0, correct to 3 significant figures, using the method of bisection. Let f(x) =
Διαβάστε περισσότεραSUPERPOSITION, MEASUREMENT, NORMALIZATION, EXPECTATION VALUES. Reading: QM course packet Ch 5 up to 5.6
SUPERPOSITION, MEASUREMENT, NORMALIZATION, EXPECTATION VALUES Readig: QM course packet Ch 5 up to 5. 1 ϕ (x) = E = π m( a) =1,,3,4,5 for xa (x) = πx si L L * = πx L si L.5 ϕ' -.5 z 1 (x) = L si
Διαβάστε περισσότεραHomework 4.1 Solutions Math 5110/6830
Homework 4. Solutios Math 5/683. a) For p + = αp γ α)p γ α)p + γ b) Let Equilibria poits satisfy: p = p = OR = γ α)p ) γ α)p + γ = α γ α)p ) γ α)p + γ α = p ) p + = p ) = The, we have equilibria poits
Διαβάστε περισσότεραIntroduction of Numerical Analysis #03 TAGAMI, Daisuke (IMI, Kyushu University)
Itroductio of Numerical Aalysis #03 TAGAMI, Daisuke (IMI, Kyushu Uiversity) web page of the lecture: http://www2.imi.kyushu-u.ac.jp/~tagami/lec/ Strategy of Numerical Simulatios Pheomea Error modelize
Διαβάστε περισσότεραL.K.Gupta (Mathematic Classes) www.pioeermathematics.com MOBILE: 985577, 4677 + {JEE Mai 04} Sept 0 Name: Batch (Day) Phoe No. IT IS NOT ENOUGH TO HAVE A GOOD MIND, THE MAIN THING IS TO USE IT WELL Marks:
Διαβάστε περισσότεραExercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.
Exercises 0 More exercises are available in Elementary Differential Equations. If you have a problem to solve any of them, feel free to come to office hour. Problem Find a fundamental matrix of the given
Διαβάστε περισσότεραOutline. M/M/1 Queue (infinite buffer) M/M/1/N (finite buffer) Networks of M/M/1 Queues M/G/1 Priority Queue
Queueig Aalysis Outlie M/M/ Queue (ifiite buffer M/M//N (fiite buffer M/M// (Erlag s B forula M/M/ (Erlag s C forula Networks of M/M/ Queues M/G/ Priority Queue M/M/ M: Markovia/Meoryless Arrival process
Διαβάστε περισσότερα4.6 Autoregressive Moving Average Model ARMA(1,1)
84 CHAPTER 4. STATIONARY TS MODELS 4.6 Autoregressive Moving Average Model ARMA(,) This section is an introduction to a wide class of models ARMA(p,q) which we will consider in more detail later in this
Διαβάστε περισσότεραSection 8.3 Trigonometric Equations
99 Section 8. Trigonometric Equations Objective 1: Solve Equations Involving One Trigonometric Function. In this section and the next, we will exple how to solving equations involving trigonometric functions.
Διαβάστε περισσότεραDiane Hu LDA for Audio Music April 12, 2010
Diae Hu LDA for Audio Music April, 00 Terms Model Terms (per sog: Variatioal Terms: p( α Γ( i α i i Γ(α i p( p(, β p(c, A j Σ i α i i i ( V / ep β (i j ij (3 q( γ Γ( i γ i i Γ(γ i q( φ q( ω { } (c A T
Διαβάστε περισσότεραApproximation of distance between locations on earth given by latitude and longitude
Approximation of distance between locations on earth given by latitude and longitude Jan Behrens 2012-12-31 In this paper we shall provide a method to approximate distances between two points on earth
Διαβάστε περισσότεραHomework 3 Solutions
Homework 3 Solutions Igor Yanovsky (Math 151A TA) Problem 1: Compute the absolute error and relative error in approximations of p by p. (Use calculator!) a) p π, p 22/7; b) p π, p 3.141. Solution: For
Διαβάστε περισσότεραHOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:
HOMEWORK 4 Problem a For the fast loading case, we want to derive the relationship between P zz and λ z. We know that the nominal stress is expressed as: P zz = ψ λ z where λ z = λ λ z. Therefore, applying
Διαβάστε περισσότεραLecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3
Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all
Διαβάστε περισσότεραOn Generating Relations of Some Triple. Hypergeometric Functions
It. Joural of Math. Aalysis, Vol. 5,, o., 5 - O Geeratig Relatios of Some Triple Hypergeometric Fuctios Fadhle B. F. Mohse ad Gamal A. Qashash Departmet of Mathematics, Faculty of Educatio Zigibar Ade
Διαβάστε περισσότεραLast Lecture. Biostatistics Statistical Inference Lecture 19 Likelihood Ratio Test. Example of Hypothesis Testing.
Last Lecture Biostatistics 602 - Statistical Iferece Lecture 19 Likelihood Ratio Test Hyu Mi Kag March 26th, 2013 Describe the followig cocepts i your ow words Hypothesis Null Hypothesis Alterative Hypothesis
Διαβάστε περισσότεραAreas and Lengths in Polar Coordinates
Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the
Διαβάστε περισσότερα3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β
3.4 SUM AND DIFFERENCE FORMULAS Page Theorem cos(αβ cos α cos β -sin α cos(α-β cos α cos β sin α NOTE: cos(αβ cos α cos β cos(α-β cos α -cos β Proof of cos(α-β cos α cos β sin α Let s use a unit circle
Διαβάστε περισσότεραAreas and Lengths in Polar Coordinates
Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the
Διαβάστε περισσότεραPartial Differential Equations in Biology The boundary element method. March 26, 2013
The boundary element method March 26, 203 Introduction and notation The problem: u = f in D R d u = ϕ in Γ D u n = g on Γ N, where D = Γ D Γ N, Γ D Γ N = (possibly, Γ D = [Neumann problem] or Γ N = [Dirichlet
Διαβάστε περισσότεραΨηφιακή Επεξεργασία Εικόνας
ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ψηφιακή Επεξεργασία Εικόνας Φιλτράρισμα στο πεδίο των συχνοτήτων Διδάσκων : Αναπληρωτής Καθηγητής Νίκου Χριστόφορος Άδειες Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραEN40: Dynamics and Vibrations
EN40: Dyamics a Vibratios School of Egieerig Brow Uiversity Solutios to Differetial Equatios of Motio for Vibratig Systems Here, we summarize the solutios to the most importat ifferetial equatios of motio
Διαβάστε περισσότεραSecond Order RLC Filters
ECEN 60 Circuits/Electronics Spring 007-0-07 P. Mathys Second Order RLC Filters RLC Lowpass Filter A passive RLC lowpass filter (LPF) circuit is shown in the following schematic. R L C v O (t) Using phasor
Διαβάστε περισσότεραC.S. 430 Assignment 6, Sample Solutions
C.S. 430 Assignment 6, Sample Solutions Paul Liu November 15, 2007 Note that these are sample solutions only; in many cases there were many acceptable answers. 1 Reynolds Problem 10.1 1.1 Normal-order
Διαβάστε περισσότερα6.1. Dirac Equation. Hamiltonian. Dirac Eq.
6.1. Dirac Equation Ref: M.Kaku, Quantum Field Theory, Oxford Univ Press (1993) η μν = η μν = diag(1, -1, -1, -1) p 0 = p 0 p = p i = -p i p μ p μ = p 0 p 0 + p i p i = E c 2 - p 2 = (m c) 2 H = c p 2
Διαβάστε περισσότεραMatrices and Determinants
Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z
Διαβάστε περισσότεραThe Simply Typed Lambda Calculus
Type Inference Instead of writing type annotations, can we use an algorithm to infer what the type annotations should be? That depends on the type system. For simple type systems the answer is yes, and
Διαβάστε περισσότεραGeodesic Equations for the Wormhole Metric
Geodesic Equations for the Wormhole Metric Dr R Herman Physics & Physical Oceanography, UNCW February 14, 2018 The Wormhole Metric Morris and Thorne wormhole metric: [M S Morris, K S Thorne, Wormholes
Διαβάστε περισσότεραNumerical Analysis FMN011
Numerical Analysis FMN011 Carmen Arévalo Lund University carmen@maths.lth.se Lecture 12 Periodic data A function g has period P if g(x + P ) = g(x) Model: Trigonometric polynomial of order M T M (x) =
Διαβάστε περισσότεραLifting Entry (continued)
ifting Entry (continued) Basic planar dynamics of motion, again Yet another equilibrium glide Hypersonic phugoid motion Planar state equations MARYAN 1 01 avid. Akin - All rights reserved http://spacecraft.ssl.umd.edu
Διαβάστε περισσότεραΑπόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.
Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο The time integral of a force is referred to as impulse, is determined by and is obtained from: Newton s 2 nd Law of motion states that the action
Διαβάστε περισσότεραOther Test Constructions: Likelihood Ratio & Bayes Tests
Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :
Διαβάστε περισσότεραCHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS
CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS EXERCISE 01 Page 545 1. Use matrices to solve: 3x + 4y x + 5y + 7 3x + 4y x + 5y 7 Hence, 3 4 x 0 5 y 7 The inverse of 3 4 5 is: 1 5 4 1 5 4 15 8 3
Διαβάστε περισσότεραECE Spring Prof. David R. Jackson ECE Dept. Notes 2
ECE 634 Spring 6 Prof. David R. Jackson ECE Dept. Notes Fields in a Source-Free Region Example: Radiation from an aperture y PEC E t x Aperture Assume the following choice of vector potentials: A F = =
Διαβάστε περισσότεραHigher Derivative Gravity Theories
Higher Derivative Gravity Theories Black Holes in AdS space-times James Mashiyane Supervisor: Prof Kevin Goldstein University of the Witwatersrand Second Mandelstam, 20 January 2018 James Mashiyane WITS)
Διαβάστε περισσότεραCHAPTER 101 FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD
CHAPTER FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD EXERCISE 36 Page 66. Determine the Fourier series for the periodic function: f(x), when x +, when x which is periodic outside this rge of period.
Διαβάστε περισσότεραDERIVATION OF MILES EQUATION Revision D
By Tom Irvie Email: tomirvie@aol.com July, DERIVATION OF MILES EQUATION Revisio D Itroductio The obective is to derive Miles equatio. This equatio gives the overall respose of a sigle-degree-of-freedom
Διαβάστε περισσότερα1 String with massive end-points
1 String with massive end-points Πρόβλημα 5.11:Θεωρείστε μια χορδή μήκους, τάσης T, με δύο σημειακά σωματίδια στα άκρα της, το ένα μάζας m, και το άλλο μάζας m. α) Μελετώντας την κίνηση των άκρων βρείτε
Διαβάστε περισσότεραMath221: HW# 1 solutions
Math: HW# solutions Andy Royston October, 5 7.5.7, 3 rd Ed. We have a n = b n = a = fxdx = xdx =, x cos nxdx = x sin nx n sin nxdx n = cos nx n = n n, x sin nxdx = x cos nx n + cos nxdx n cos n = + sin
Διαβάστε περισσότεραReview Test 3. MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question.
Review Test MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Find the exact value of the expression. 1) sin - 11π 1 1) + - + - - ) sin 11π 1 ) ( -
Διαβάστε περισσότεραSrednicki Chapter 55
Srednicki Chapter 55 QFT Problems & Solutions A. George August 3, 03 Srednicki 55.. Use equations 55.3-55.0 and A i, A j ] = Π i, Π j ] = 0 (at equal times) to verify equations 55.-55.3. This is our third
Διαβάστε περισσότεραFigure A.2: MPC and MPCP Age Profiles (estimating ρ, ρ = 2, φ = 0.03)..
Supplemental Material (not for publication) Persistent vs. Permanent Income Shocks in the Buffer-Stock Model Jeppe Druedahl Thomas H. Jørgensen May, A Additional Figures and Tables Figure A.: Wealth and
Διαβάστε περισσότερα2 Composition. Invertible Mappings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely,
Διαβάστε περισσότεραB.A. (PROGRAMME) 1 YEAR
Graduate Course B.A. (PROGRAMME) YEAR ALGEBRA AND CALCULUS (PART-A : ALGEBRA) CONTENTS Lesso Lesso Lesso Lesso Lesso Lesso : Complex Numbers : De Moivre s Theorem : Applicatios of De Moivre s Theorem 4
Διαβάστε περισσότεραINTEGRATION OF THE NORMAL DISTRIBUTION CURVE
INTEGRATION OF THE NORMAL DISTRIBUTION CURVE By Tom Irvie Email: tomirvie@aol.com March 3, 999 Itroductio May processes have a ormal probability distributio. Broadbad radom vibratio is a example. The purpose
Διαβάστε περισσότεραThe challenges of non-stable predicates
The challenges of non-stable predicates Consider a non-stable predicate Φ encoding, say, a safety property. We want to determine whether Φ holds for our program. The challenges of non-stable predicates
Διαβάστε περισσότεραΠανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών. ΗΥ-570: Στατιστική Επεξεργασία Σήµατος. ιδάσκων : Α. Μουχτάρης. εύτερη Σειρά Ασκήσεων.
Πανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών ΗΥ-570: Στατιστική Επεξεργασία Σήµατος 2015 ιδάσκων : Α. Μουχτάρης εύτερη Σειρά Ασκήσεων Λύσεις Ασκηση 1. 1. Consder the gven expresson for R 1/2 : R 1/2
Διαβάστε περισσότεραPARTIAL NOTES for 6.1 Trigonometric Identities
PARTIAL NOTES for 6.1 Trigonometric Identities tanθ = sinθ cosθ cotθ = cosθ sinθ BASIC IDENTITIES cscθ = 1 sinθ secθ = 1 cosθ cotθ = 1 tanθ PYTHAGOREAN IDENTITIES sin θ + cos θ =1 tan θ +1= sec θ 1 + cot
Διαβάστε περισσότεραthe total number of electrons passing through the lamp.
1. A 12 V 36 W lamp is lit to normal brightness using a 12 V car battery of negligible internal resistance. The lamp is switched on for one hour (3600 s). For the time of 1 hour, calculate (i) the energy
Διαβάστε περισσότεραMATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3)
1. MATH43 String Theory Solutions 4 x = 0 τ = fs). 1) = = f s) ) x = x [f s)] + f s) 3) equation of motion is x = 0 if an only if f s) = 0 i.e. fs) = As + B with A, B constants. i.e. allowe reparametrisations
Διαβάστε περισσότεραSolutions to Exercise Sheet 5
Solutions to Eercise Sheet 5 jacques@ucsd.edu. Let X and Y be random variables with joint pdf f(, y) = 3y( + y) where and y. Determine each of the following probabilities. Solutions. a. P (X ). b. P (X
Διαβάστε περισσότεραVariational Wavefunction for the Helium Atom
Technische Universität Graz Institut für Festkörperphysik Student project Variational Wavefunction for the Helium Atom Molecular and Solid State Physics 53. submitted on: 3. November 9 by: Markus Krammer
Διαβάστε περισσότεραForced Pendulum Numerical approach
Numerical approach UiO April 8, 2014 Physical problem and equation We have a pendulum of length l, with mass m. The pendulum is subject to gravitation as well as both a forcing and linear resistance force.
Διαβάστε περισσότεραDERIVATION OF MILES EQUATION FOR AN APPLIED FORCE Revision C
DERIVATION OF MILES EQUATION FOR AN APPLIED FORCE Revision C By Tom Irvine Email: tomirvine@aol.com August 6, 8 Introduction The obective is to derive a Miles equation which gives the overall response
Διαβάστε περισσότεραExample Sheet 3 Solutions
Example Sheet 3 Solutions. i Regular Sturm-Liouville. ii Singular Sturm-Liouville mixed boundary conditions. iii Not Sturm-Liouville ODE is not in Sturm-Liouville form. iv Regular Sturm-Liouville note
Διαβάστε περισσότεραInverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- -----------------
Inverse trigonometric functions & General Solution of Trigonometric Equations. 1. Sin ( ) = a) b) c) d) Ans b. Solution : Method 1. Ans a: 17 > 1 a) is rejected. w.k.t Sin ( sin ) = d is rejected. If sin
Διαβάστε περισσότεραb. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds!
MTH U341 urface Integrals, tokes theorem, the divergence theorem To be turned in Wed., Dec. 1. 1. Let be the sphere of radius a, x 2 + y 2 + z 2 a 2. a. Use spherical coordinates (with ρ a) to parametrize.
Διαβάστε περισσότεραHomework 8 Model Solution Section
MATH 004 Homework Solution Homework 8 Model Solution Section 14.5 14.6. 14.5. Use the Chain Rule to find dz where z cosx + 4y), x 5t 4, y 1 t. dz dx + dy y sinx + 4y)0t + 4) sinx + 4y) 1t ) 0t + 4t ) sinx
Διαβάστε περισσότεραEcon 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1
Eon : Fall 8 Suggested Solutions to Problem Set 8 Email questions or omments to Dan Fetter Problem. Let X be a salar with density f(x, θ) (θx + θ) [ x ] with θ. (a) Find the most powerful level α test
Διαβάστε περισσότεραTridiagonal matrices. Gérard MEURANT. October, 2008
Tridiagonal matrices Gérard MEURANT October, 2008 1 Similarity 2 Cholesy factorizations 3 Eigenvalues 4 Inverse Similarity Let α 1 ω 1 β 1 α 2 ω 2 T =......... β 2 α 1 ω 1 β 1 α and β i ω i, i = 1,...,
Διαβάστε περισσότεραIf we restrict the domain of y = sin x to [ π, π ], the restrict function. y = sin x, π 2 x π 2
Chapter 3. Analytic Trigonometry 3.1 The inverse sine, cosine, and tangent functions 1. Review: Inverse function (1) f 1 (f(x)) = x for every x in the domain of f and f(f 1 (x)) = x for every x in the
Διαβάστε περισσότεραMean bond enthalpy Standard enthalpy of formation Bond N H N N N N H O O O
Q1. (a) Explain the meaning of the terms mean bond enthalpy and standard enthalpy of formation. Mean bond enthalpy... Standard enthalpy of formation... (5) (b) Some mean bond enthalpies are given below.
Διαβάστε περισσότεραDegenerate Perturbation Theory
R.G. Griffi BioNMR School page 1 Degeerate Perturbatio Theory 1.1 Geeral Whe cosiderig the CROSS EFFECT it is ecessary to deal with degeerate eergy levels ad therefore degeerate perturbatio theory. The
Διαβάστε περισσότεραChapter 6: Systems of Linear Differential. be continuous functions on the interval
Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations
Διαβάστε περισσότεραSolution Series 9. i=1 x i and i=1 x i.
Lecturer: Prof. Dr. Mete SONER Coordinator: Yilin WANG Solution Series 9 Q1. Let α, β >, the p.d.f. of a beta distribution with parameters α and β is { Γ(α+β) Γ(α)Γ(β) f(x α, β) xα 1 (1 x) β 1 for < x
Διαβάστε περισσότερα( ) 2 and compare to M.
Problems and Solutions for Section 4.2 4.9 through 4.33) 4.9 Calculate the square root of the matrix 3!0 M!0 8 Hint: Let M / 2 a!b ; calculate M / 2!b c ) 2 and compare to M. Solution: Given: 3!0 M!0 8
Διαβάστε περισσότεραEE101: Resonance in RLC circuits
EE11: Resonance in RLC circuits M. B. Patil mbatil@ee.iitb.ac.in www.ee.iitb.ac.in/~sequel Deartment of Electrical Engineering Indian Institute of Technology Bombay I V R V L V C I = I m = R + jωl + 1/jωC
Διαβάστε περισσότεραIf we restrict the domain of y = sin x to [ π 2, π 2
Chapter 3. Analytic Trigonometry 3.1 The inverse sine, cosine, and tangent functions 1. Review: Inverse function (1) f 1 (f(x)) = x for every x in the domain of f and f(f 1 (x)) = x for every x in the
Διαβάστε περισσότεραFourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics
Fourier Series MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2018 Introduction Not all functions can be represented by Taylor series. f (k) (c) A Taylor series f (x) = (x c)
Διαβάστε περισσότεραLifting Entry 2. Basic planar dynamics of motion, again Yet another equilibrium glide Hypersonic phugoid motion MARYLAND U N I V E R S I T Y O F
ifting Entry Basic planar dynamics of motion, again Yet another equilibrium glide Hypersonic phugoid motion MARYAN 1 010 avid. Akin - All rights reserved http://spacecraft.ssl.umd.edu ifting Atmospheric
Διαβάστε περισσότεραHomework for 1/27 Due 2/5
Name: ID: Homework for /7 Due /5. [ 8-3] I Example D of Sectio 8.4, the pdf of the populatio distributio is + αx x f(x α) =, α, otherwise ad the method of momets estimate was foud to be ˆα = 3X (where
Διαβάστε περισσότεραΜεταπτυχιακή διατριβή. Ανδρέας Παπαευσταθίου
Σχολή Γεωτεχνικών Επιστημών και Διαχείρισης Περιβάλλοντος Μεταπτυχιακή διατριβή Κτίρια σχεδόν μηδενικής ενεργειακής κατανάλωσης :Αξιολόγηση συστημάτων θέρμανσης -ψύξης και ΑΠΕ σε οικιστικά κτίρια στην
Διαβάστε περισσότεραBiorthogonal Wavelets and Filter Banks via PFFS. Multiresolution Analysis (MRA) subspaces V j, and wavelet subspaces W j. f X n f, τ n φ τ n φ.
Chapter 3. Biorthogoal Wavelets ad Filter Baks via PFFS 3.0 PFFS applied to shift-ivariat subspaces Defiitio: X is a shift-ivariat subspace if h X h( ) τ h X. Ex: Multiresolutio Aalysis (MRA) subspaces
Διαβάστε περισσότερα«Χρήσεις γης, αξίες γης και κυκλοφοριακές ρυθμίσεις στο Δήμο Χαλκιδέων. Η μεταξύ τους σχέση και εξέλιξη.»
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΑΓΡΟΝΟΜΩΝ ΚΑΙ ΤΟΠΟΓΡΑΦΩΝ ΜΗΧΑΝΙΚΩΝ ΤΟΜΕΑΣ ΓΕΩΓΡΑΦΙΑΣ ΚΑΙ ΠΕΡΙΦΕΡΕΙΑΚΟΥ ΣΧΕΔΙΑΣΜΟΥ ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ: «Χρήσεις γης, αξίες γης και κυκλοφοριακές ρυθμίσεις στο Δήμο Χαλκιδέων.
Διαβάστε περισσότεραPartial Trace and Partial Transpose
Partial Trace and Partial Transpose by José Luis Gómez-Muñoz http://homepage.cem.itesm.mx/lgomez/quantum/ jose.luis.gomez@itesm.mx This document is based on suggestions by Anirban Das Introduction This
Διαβάστε περισσότεραSolutions - Chapter 4
Solutions - Chapter Kevin S. Huang Problem.1 Unitary: Ût = 1 ī hĥt Û tût = 1 Neglect t term: 1 + hĥ ī t 1 īhĥt = 1 + hĥ ī t ī hĥt = 1 Ĥ = Ĥ Problem. Ût = lim 1 ī ] n hĥ1t 1 ī ] hĥt... 1 ī ] hĥnt 1 ī ]
Διαβάστε περισσότεραΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 24/3/2007
Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Όλοι οι αριθμοί που αναφέρονται σε όλα τα ερωτήματα μικρότεροι του 10000 εκτός αν ορίζεται διαφορετικά στη διατύπωση του προβλήματος. Αν κάπου κάνετε κάποιες υποθέσεις
Διαβάστε περισσότεραΠ Ο Λ Ι Τ Ι Κ Α Κ Α Ι Σ Τ Ρ Α Τ Ι Ω Τ Ι Κ Α Γ Ε Γ Ο Ν Ο Τ Α
Α Ρ Χ Α Ι Α Ι Σ Τ Ο Ρ Ι Α Π Ο Λ Ι Τ Ι Κ Α Κ Α Ι Σ Τ Ρ Α Τ Ι Ω Τ Ι Κ Α Γ Ε Γ Ο Ν Ο Τ Α Σ η µ ε ί ω σ η : σ υ ν ά δ ε λ φ ο ι, ν α µ ο υ σ υ γ χ ω ρ ή σ ε τ ε τ ο γ ρ ή γ ο ρ ο κ α ι α τ η µ έ λ η τ ο ύ
Διαβάστε περισσότεραB.A. (PROGRAMME) 1 YEAR
Graduate Course B.A. (PROGRAMME) YEAR ALGEBRA AND CALCULUS (PART-A : ALGEBRA) CONTENTS Lesso Lesso Lesso Lesso Lesso Lesso : Complex Numbers : De Moivre s Theorem : Applicatios of De Moivre s Theorem 4
Διαβάστε περισσότεραFourier Series. Fourier Series
ECE 37 Z. Aliyazicioglu Elecrical & Compuer Egieerig Dep. Cal Poly Pomoa Periodic sigal is a fucio ha repeas iself every secods. x() x( ± ) : period of a fucio, : ieger,,3, x() 3 x() x() Periodic sigal
Διαβάστε περισσότεραConcrete Mathematics Exercises from 30 September 2016
Concrete Mathematics Exercises from 30 September 2016 Silvio Capobianco Exercise 1.7 Let H(n) = J(n + 1) J(n). Equation (1.8) tells us that H(2n) = 2, and H(2n+1) = J(2n+2) J(2n+1) = (2J(n+1) 1) (2J(n)+1)
Διαβάστε περισσότεραSupplemental Material: Scaling Up Sparse Support Vector Machines by Simultaneous Feature and Sample Reduction
Supplemetal Material: Scalig Up Sparse Support Vector Machies by Simultaeous Feature ad Sample Reductio Weizhog Zhag * 2 Bi Hog * 3 Wei Liu 2 Jiepig Ye 3 Deg Cai Xiaofei He Jie Wag 3 State Key Lab of CAD&CG,
Διαβάστε περισσότεραSection 7.6 Double and Half Angle Formulas
09 Section 7. Double and Half Angle Fmulas To derive the double-angles fmulas, we will use the sum of two angles fmulas that we developed in the last section. We will let α θ and β θ: cos(θ) cos(θ + θ)
Διαβάστε περισσότεραProblem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ.
Chemistry 362 Dr Jean M Standard Problem Set 9 Solutions The ˆ L 2 operator is defined as Verify that the angular wavefunction Y θ,φ) Also verify that the eigenvalue is given by 2! 2 & L ˆ 2! 2 2 θ 2 +
Διαβάστε περισσότερα