EEO 401 Digital Signal Processing Prof. Mark Fowler
|
|
- Melina Dawson
- 5 years ago
- Views:
Transcription
1 EEO 401 Digital Signal Procssing Prof. Mark Fowlr ot St #18 Introduction to DFT (via th DTFT) Rading Assignmnt: Sct. 7.1 of Proakis & Manolakis 1/24
2 Discrt Fourir Transform (DFT) W v sn that th DTFT is a good analytical tool for D-T signals (and systms as w ll s latr) amly X ( ) n jn (DTFT) can b computd analytically (at last in principl) whn w hav an quation modl for Q: Wll why can t w us a computr to comput th DTFT from Data? A: Thr ar two rasons why w can t!! 1. Th DTFT rquirs an infinit numbr of trms to b summd ovr n =, -3, -2, -1, 0, 1, 2, 3, 2. Th DTFT must b valuatd at an infinit numbr of points ovr th intrval (, ] -Th first on ( infinit # of trms ) isn t a problm if has finit duration -Th scond on ( infinitly many points ) is always a problm!! Wll mayb w can just comput th DTFT at a finit st of points!! 2/24
3 Lt s xplor this possibility it will lad us to th Discrt Fourir Transform Suppos w hav a finit duration signal: = 0 for n < 0 and n Thn th DTFT of this finit duration signal is: X ( ) n jn 1 n0 jn w can lav out trms that ar zro If w could comput this at vry valu it might look lik this: X () /2 /2 2 3 W ar only intrstd in this rang Evrywhr ls it just rpats priodically 3/24
4 ow suppos w tak th numrical data for n = 0,, -1 and just comput this DTFT at a finit numbr of valus (8 points hr but in practic w d do it MAY mor points thousands of points!) X () /2 /2 2 3 Rgion of Intrst W lav this point out bcaus it is always th sam valu as at =!! 4/24
5 ow, vn though w ar intrstd in th - to rang, w now play a trick to mak th latr quations asir W don t comput points at ngativ valus X () But, instad comput thir mirror imags at valus btwn and 2 Don t nd sam as = /2 /2 2 3 So say w want to comput th DTFT at M points, thn choos 2 k k, for k 0,1,2,..., M 1 M Spacing btwn computd valus In othrwords: , 1, 2 2,..., M 1 ( M 1) M M M 0 5/24
6 Thus mathmatically what w hav computd for our finit-duration signal is: X ( k ) 1 n0 jn k 1 n0 jnk 2 M, for k 0,1, 2,, M 1 Thr is just on last stp to gt th official dfinition of th Discrt Fourir Transform (DFT): W must st M = Don for a fw mathmatical rasons latr w ll larn a trick calld zro-padding to gt around this! In othr words: Comput as many frquncy points as signal points So Givn signal data points for n = 0,, -1 Comput DFT points using: X [ k] 1 n0 j2kn / k 0,1,2,..., 1 Dfinition of th DFT 2 k k 6/24
7 Plotting th DFT (w ll say mor about this latr..) W oftn plot th DFT vs. th DFT indx k (intgrs) X () X [k] = 8 cas Don t nd sam as k = 0 But w know that ths points can b tid back to th tru D-T frquncy : - -/ k /2 2 3 Spacing btwn computd valus /24
8 Invrs DFT Rcall that th DTFT can b invrtd givn X() you can find th signal Bcaus w arrivd at th DFT via th DTFT it should b no surpris that th DFT inhrits an invrs proprty from th DTFT. Actually, w ndd to forc M = to nabl th DFT invrs proprty to hold!! So Givn DFT points X[k] for k = 0,, -1 Comput signal data points using: 1 1 n0 X [ k] j2kn / n 0,1,2,..., 1 Invrs DFT (IDFT) Compar to th DFT a rmarkably similar structur: X [ k] 1 n0 j2kn / k 0,1,2,..., 1 DFT 8/24
9 DFT Summary What W Know So Far! Givn signal data points w can comput th DFT And w can do this fficintly using th FFT algorithm Givn DFT points w can gt back th signal data points And w can do this fficintly using th IFFT algorithm W know that w can mov th uppr DFT points down to rprsnt th ngativ frquncis this will b ssntial in practical uss of th DFT Rmmbr w ndd up with th uppr DFT points only to mak th indxing by k asy!!! It is just to mak th DFT quation asy to writ!! ow W nd to xplor th connctions btwn th DFT and th DTFT Thn undrstand th rlation btwn th CTFT, DTFT, & DFT 9/24
10 W can us th DFT to implmnt numrical FT procssing This nabls us to numrically analyz a signal to find out what frquncis it contains!!! sampls FFT algorithm ADC crats stramd computs sampls into mmory DFT valus A CT signal from a snsor & lctronics DFT valus dumpd into mmory ADC x F s So w nd to undrstand what th DFT valus tll us about th CTFT of x(t) W nd to undrstand th rlations btwn CTFT, DTFT, and DFT 0] 1] 2] -1] mmory array Computr DFT Procssing (via FFT) H/W or S/W on procssor X[0] X[1] X[2] X[-1] mmory array 10/24
11 W ll mathmatically xplor th link btwn DTFT & DFT in two cass: 1. For of finit duration: 0 0 0] 1] 2]... X[ 1] 0 0 non-zro trms (of cours, w could hav som of th intrior valus = 0) For this cas w ll assum that th signal is zro outsid th rang that w hav capturd. So w hav all of th maningful signal data. This cas hardly vr happns but it s asy to analyz and provids a prspctiv for th 2 nd cas 2. For of infinit duration or at last of duration longr than what w can gt into our DFT Procssor insid our computr. So w don t hav all th maningful signal data. This is th practical cas. What ffct dos that hav? How much data do w nd for a givn goal? 11/24
12 DFT & DTFT: Finit Duration Cas If = 0 for n < 0 and n thn th DTFT is: X ( ) n jn 1 n0 jn w can lav out trms that ar zro - ow if w tak ths sampls and comput th DFT (using th FFT, prhaps) w gt: 1 j2kn / X [ k] k 0,1,2,..., 1 n0 2 Comparing ths w s that for th finit-duration signal cas: X [ k] X k X () -/2 X [k] /2 2 k DTFT & DFT : DFT points li xactly on th finit-duration signal s DTFT!!! 12/24
13 Summary of DFT & DTFT for a finit duration X () X [ k] X k 2 Points of DFT ar sampls of DTFT of Th numbr of sampls sts how closly spacd ths sampls ar on th DTFT sms to b a limitation. Zro-Padding Trick Aftr w collct our sampls, w tack on som additional zros at th nd to trick th DFT Procssing into thinking thr ar rally mor sampls. (Sinc ths ar zros tackd on thy don t chang th valus in th DFT sums) If w now hav a total of Z sampls (including th tackd on zros), thn th spacing btwn DFT points is 2/ Z which is smallr than 2/ 13/24
14 Ex. DTFT & DFT of puls 1, 0, n 0,1,2,...2q othrwis Rcall : 1, p q [ 0, n q,, 1, othrwis 0,1,, q Thn pq[ n q] ot: w ll nd th dlay proprty for DTFT From DTFT Tabl: p q [ P ( ) q sin[( q 0.5) ] sin[ / 2] From DTFT Proprty Tabl (Dlay Proprty): X ( ) sin[( q 0.5) ] sin[ / 2] jq Sinc is a finit-duration signal thn th DFT of th = 2q+1 non-zro sampls is just sampls of th DTFT: X [ k] X k 2 X [ k] sin[( q.5)2k / sin[ k / ] ] jq2k / 14/24
15 ot that if w don t zro pad, thn all but th k = 0 DFT valus ar zro!!! That dosn t show what th DTFT looks lik! So w nd to us zro-padding. Hr ar two numrically computd xampls, both for th cas of q = 5: For th cas of zropadding 11 zros onto th nd of th signal th DFT points still don t rally show what th DTFT looks lik! For th cas of zropadding 77 zros onto th nd of th signal OW th DFT points rally show what th DTFT looks lik! DFTs wr computd using matlab s fft command s cod on nxt slid 15/24
16 Comput th DTFT Equation drivd for th puls. Using ps adds a vry small numbr to avoid gtting = 0 and thn dividing by 0 omga=ps+(-1:0.0001:1)*pi; q=5; % usd to st puls lngth to 11 points X=sin((q+0.5)*omga)./sin(omga/2); subplot(2,1,1) plot(omga/pi,abs(x)); % plot magn of DTFT xlabl('\omga/\pi (ormalizd rad/sampl)') ylabl(' X(\Omga) and X[k] ') hold on x=zros(1,22); % Initially fill x with 22 zros x(1:(2*q+1))=1; % Thn fill first 11 pts with ons Xk=fftshift(fft(x)); % fft computs th DFT and fftshift r-ordrs points % to btwn -pi and pi omga_k=(-11:10)*2*pi/24; % comput DFT frquncis, xcpt mak thm % btwn -pi and pi stm(omga_k/pi,abs(xk)); % plot DFT vs. normalizd frquncis hold off subplot(2,1,2) plot(omga/pi,abs(x)); xlabl('\omga/\pi (ormalizd rad/sampl)') ylabl(' X(\Omga) and X[k] ') hold on x=zros(1,88); x(1:(2*q+1))=1; Xk=fftshift(fft(x)); omga_k=(-44:43)*2*pi/88; stm(omga_k/pi,abs(xk)); hold off Mak th zro-paddd signal Comput th DFT Comput th DFT point s frquncy valus and plot th DFT 16/24
17 Important Points for Finit-Duration Signal Cas DFT points li on th DTFT curv prfct viw of th DTFT But only if th DFT points ar spacd closly nough Zro-Padding dosn t chang th shap of th DFT It just givs a dnsr st of DFT points all of which li on th tru DTFT Zro-padding provids a bttr viw of this prfct viw of th DTFT 17/24
18 DFT & DTFT: Infinit Duration Cas As w said in a computr w cannot dal with an infinit numbr of signal sampls. So say thr is som signal that gos on forvr (or at last continus on for longr than w can or ar willing to grab sampls) n =, -3, -2, -1, 0, 1, 2, 3, W only grab sampls:, n = 0,, 1 W v lost som information! W can dfin an imagind finit-duration signal: W can comput th DFT of th collctd sampls: X, x [ 0, [ k] n 1 0 x [ n lswhr j2nk / 0,1,2,..., k 1 0,1,..., 1 Q: How dos this DFT of th truncatd signal rlat to th tru DTFT of th full-duration? which is what w rally want to s!! 18/24
19 "Tru" DTFT : n X ( ) jn What w want to s DTFT of truncatd signal : X ( ) n 1 n0 x [ jn jn A distortd vrsion of what w want to s DFT of collctd signal data : X [ k] 1 n0 j2kn / What w can s DFT givs sampls of So DFT of collctd data givs sampls of DTFT of truncatd signal Tru DTFT DFT of collctd data dos not prfctly show DTFT of complt signal. Instad, th DFT of th data shows th DTFT of th truncatd signal So our goal is to undrstand what kinds of rrors ar in th truncatd DTFT thn w ll know what rrors ar in th computd DFT of th data X ( ) 19/24
20 To s what th DFT dos show w nd to undrstand how X () rlats to X () First, w not that: x [ p q n q DTFT P ( ) q sin / 2 sin / 2 j( 1) / 2 with =2q+1 From mult. in tim domain proprty in DTFT Proprty Tabl: 1 X ( ) X( ) Pq( ) d 2 causs smaring of X () So X () which w can s via th DFT X [k] is a smard vrsion of X () Fact : Th mor data you collct, th lss smaring bcaus P q () bcoms mor lik () 20/24
21 Suppos th infinit-duration signal s DTFT is: X () DTFT of infinitduration signal 2 2 Thn it gts smard into somthing that might look lik this: X () DTFT of truncatd signal 2 2 Thn th DFT computd from th data points is: X [k] 2 2 Th DFT points ar shown aftr uppr points ar movd (.g., by MATLAB fftshift ) 21/24
22 Th only cas that rally happns in practic! Important points for Infinit-Duration Signal Cas 1. DTFT of finit collctd data is a smard vrsion of th DTFT of th infinit-duration data 2. Th computd DFT points li on th smard DTFT curv not th tru DTFT a. This givs an imprfct viw of th tru DTFT! 3. Zro-padding givs dnsr st of DFT points a bttr viw of this imprfct viw of th dsird DTFT!!! 22/24
23 Connctions btwn th CTFT, DTFT, & DFT x(t) ADC Fs / 2 X ( f ) CTFT Fs / 2 X ()Full Aliasing f DTFT 0] 1] 2] -1] Insid Computr DFT procssing X [0] X [1] X [2] X [-1] Look hr to s aliasd viw of CTFT X () Truncatd Smaring DTFT X [ k] Computd DFT 23/24
24 Errors in a Computd DFT CTFT DTFT DTFT DFT Aliasing Error control through F s choic (i.. through propr sampling) Smaring Error control through Grid Error control through choic window choic choic zro padding S DSP cours This is th only thing w can comput from data and it has all ths rrors in it!! Th thory covrd hr allows an nginr to undrstand how to control th amount of thos rrors!!! Zro padding trick Collct sampls dfins X () Tack M zros on at th nd of th sampls Tak ( + M)pt. DFT givs points on X () spacd by 2/(+M) (rathr than 2/) 24/24
EECE 301 Signals & Systems Prof. Mark Fowler
EECE 301 Signals & Systms Prof. Mark Fowlr ot St #21 D-T Signals: Rlation btwn DFT, DTFT, & CTFT 1/16 W can us th DFT to implmnt numrical FT procssing This nabls us to numrically analyz a signal to find
More informationEEO 401 Digital Signal Processing Prof. Mark Fowler
EEO 401 Digital Signal Procssing Prof. Mark Fowlr Dtails of th ot St #19 Rading Assignmnt: Sct. 7.1.2, 7.1.3, & 7.2 of Proakis & Manolakis Dfinition of th So Givn signal data points x[n] for n = 0,, -1
More informationHigher order derivatives
Robrto s Nots on Diffrntial Calculus Chaptr 4: Basic diffrntiation ruls Sction 7 Highr ordr drivativs What you nd to know alrady: Basic diffrntiation ruls. What you can larn hr: How to rpat th procss of
More informationCOMPUTER GENERATED HOLOGRAMS Optical Sciences 627 W.J. Dallas (Monday, April 04, 2005, 8:35 AM) PART I: CHAPTER TWO COMB MATH.
C:\Dallas\0_Courss\03A_OpSci_67\0 Cgh_Book\0_athmaticalPrliminaris\0_0 Combath.doc of 8 COPUTER GENERATED HOLOGRAS Optical Scincs 67 W.J. Dallas (onday, April 04, 005, 8:35 A) PART I: CHAPTER TWO COB ATH
More informationu x v x dx u x v x v x u x dx d u x v x u x v x dx u x v x dx Integration by Parts Formula
7. Intgration by Parts Each drivativ formula givs ris to a corrsponding intgral formula, as w v sn many tims. Th drivativ product rul yilds a vry usful intgration tchniqu calld intgration by parts. Starting
More informationLecture 37 (Schrödinger Equation) Physics Spring 2018 Douglas Fields
Lctur 37 (Schrödingr Equation) Physics 6-01 Spring 018 Douglas Filds Rducd Mass OK, so th Bohr modl of th atom givs nrgy lvls: E n 1 k m n 4 But, this has on problm it was dvlopd assuming th acclration
More informationSlide 1. Slide 2. Slide 3 DIGITAL SIGNAL PROCESSING CLASSIFICATION OF SIGNALS
Slid DIGITAL SIGAL PROCESSIG UIT I DISCRETE TIME SIGALS AD SYSTEM Slid Rviw of discrt-tim signals & systms Signal:- A signal is dfind as any physical quantity that varis with tim, spac or any othr indpndnt
More informationProblem Set #2 Due: Friday April 20, 2018 at 5 PM.
1 EE102B Spring 2018 Signal Procssing and Linar Systms II Goldsmith Problm St #2 Du: Friday April 20, 2018 at 5 PM. 1. Non-idal sampling and rcovry of idal sampls by discrt-tim filtring 30 pts) Considr
More informationFourier Transforms and the Wave Equation. Key Mathematics: More Fourier transform theory, especially as applied to solving the wave equation.
Lur 7 Fourir Transforms and th Wav Euation Ovrviw and Motivation: W first discuss a fw faturs of th Fourir transform (FT), and thn w solv th initial-valu problm for th wav uation using th Fourir transform
More informationThe Matrix Exponential
Th Matrix Exponntial (with xrciss) by D. Klain Vrsion 207.0.05 Corrctions and commnts ar wlcom. Th Matrix Exponntial For ach n n complx matrix A, dfin th xponntial of A to b th matrix A A k I + A + k!
More informationDifferential Equations
Prfac Hr ar m onlin nots for m diffrntial quations cours that I tach hr at Lamar Univrsit. Dspit th fact that ths ar m class nots, th should b accssibl to anon wanting to larn how to solv diffrntial quations
More informationThe Matrix Exponential
Th Matrix Exponntial (with xrciss) by Dan Klain Vrsion 28928 Corrctions and commnts ar wlcom Th Matrix Exponntial For ach n n complx matrix A, dfin th xponntial of A to b th matrix () A A k I + A + k!
More informationcycle that does not cross any edges (including its own), then it has at least
W prov th following thorm: Thorm If a K n is drawn in th plan in such a way that it has a hamiltonian cycl that dos not cross any dgs (including its own, thn it has at last n ( 4 48 π + O(n crossings Th
More informationCOHORT MBA. Exponential function. MATH review (part2) by Lucian Mitroiu. The LOG and EXP functions. Properties: e e. lim.
MTH rviw part b Lucian Mitroiu Th LOG and EXP functions Th ponntial function p : R, dfind as Proprtis: lim > lim p Eponntial function Y 8 6 - -8-6 - - X Th natural logarithm function ln in US- log: function
More informationComputing and Communications -- Network Coding
89 90 98 00 Computing and Communications -- Ntwork Coding Dr. Zhiyong Chn Institut of Wirlss Communications Tchnology Shanghai Jiao Tong Univrsity China Lctur 5- Nov. 05 0 Classical Information Thory Sourc
More informationWhere k is either given or determined from the data and c is an arbitrary constant.
Exponntial growth and dcay applications W wish to solv an quation that has a drivativ. dy ky k > dx This quation says that th rat of chang of th function is proportional to th function. Th solution is
More informationSECTION where P (cos θ, sin θ) and Q(cos θ, sin θ) are polynomials in cos θ and sin θ, provided Q is never equal to zero.
SETION 6. 57 6. Evaluation of Dfinit Intgrals Exampl 6.6 W hav usd dfinit intgrals to valuat contour intgrals. It may com as a surpris to larn that contour intgrals and rsidus can b usd to valuat crtain
More information3 2x. 3x 2. Prepared by Vince Zaccone For Campus Learning Assistance Services at UCSB
Math B Intgration Rviw (Solutions) Do ths intgrals. Solutions ar postd at th wbsit blow. If you hav troubl with thm, sk hlp immdiatly! () 8 d () 5 d () d () sin d (5) d (6) cos d (7) d www.clas.ucsb.du/staff/vinc
More informationBrief Introduction to Statistical Mechanics
Brif Introduction to Statistical Mchanics. Purpos: Ths nots ar intndd to provid a vry quick introduction to Statistical Mchanics. Th fild is of cours far mor vast than could b containd in ths fw pags.
More informationBasic Polyhedral theory
Basic Polyhdral thory Th st P = { A b} is calld a polyhdron. Lmma 1. Eithr th systm A = b, b 0, 0 has a solution or thr is a vctorπ such that π A 0, πb < 0 Thr cass, if solution in top row dos not ist
More informationDSP-First, 2/e. LECTURE # CH2-3 Complex Exponentials & Complex Numbers TLH MODIFIED. Aug , JH McClellan & RW Schafer
DSP-First, / TLH MODIFIED LECTURE # CH-3 Complx Exponntials & Complx Numbrs Aug 016 1 READING ASSIGNMENTS This Lctur: Chaptr, Scts. -3 to -5 Appndix A: Complx Numbrs Complx Exponntials Aug 016 LECTURE
More information(1) Then we could wave our hands over this and it would become:
MAT* K285 Spring 28 Anthony Bnoit 4/17/28 Wk 12: Laplac Tranform Rading: Kohlr & Johnon, Chaptr 5 to p. 35 HW: 5.1: 3, 7, 1*, 19 5.2: 1, 5*, 13*, 19, 45* 5.3: 1, 11*, 19 * Pla writ-up th problm natly and
More informationThat is, we start with a general matrix: And end with a simpler matrix:
DIAGON ALIZATION OF THE STR ESS TEN SOR INTRO DUCTIO N By th us of Cauchy s thorm w ar abl to rduc th numbr of strss componnts in th strss tnsor to only nin valus. An additional simplification of th strss
More informationCapturing. Fig. 1: Transform. transform. of two time. series. series of the. Fig. 2:
Appndix: Nots on signal procssing Capturing th Spctrum: Transform analysis: Th discrt Fourir transform A digital spch signal such as th on shown in Fig. 1 is a squnc of numbrs. Fig. 1: Transform analysis
More informationA Propagating Wave Packet Group Velocity Dispersion
Lctur 8 Phys 375 A Propagating Wav Packt Group Vlocity Disprsion Ovrviw and Motivation: In th last lctur w lookd at a localizd solution t) to th 1D fr-particl Schrödingr quation (SE) that corrsponds to
More informationHomework #3. 1 x. dx. It therefore follows that a sum of the
Danil Cannon CS 62 / Luan March 5, 2009 Homwork # 1. Th natural logarithm is dfind by ln n = n 1 dx. It thrfor follows that a sum of th 1 x sam addnd ovr th sam intrval should b both asymptotically uppr-
More information10. The Discrete-Time Fourier Transform (DTFT)
Th Discrt-Tim Fourir Transform (DTFT Dfinition of th discrt-tim Fourir transform Th Fourir rprsntation of signals plays an important rol in both continuous and discrt signal procssing In this sction w
More informationFirst derivative analysis
Robrto s Nots on Dirntial Calculus Chaptr 8: Graphical analysis Sction First drivativ analysis What you nd to know alrady: How to us drivativs to idntiy th critical valus o a unction and its trm points
More informationPropositional Logic. Combinatorial Problem Solving (CPS) Albert Oliveras Enric Rodríguez-Carbonell. May 17, 2018
Propositional Logic Combinatorial Problm Solving (CPS) Albrt Olivras Enric Rodríguz-Carbonll May 17, 2018 Ovrviw of th sssion Dfinition of Propositional Logic Gnral Concpts in Logic Rduction to SAT CNFs
More information3 Finite Element Parametric Geometry
3 Finit Elmnt Paramtric Gomtry 3. Introduction Th intgral of a matrix is th matrix containing th intgral of ach and vry on of its original componnts. Practical finit lmnt analysis rquirs intgrating matrics,
More informationQuasi-Classical States of the Simple Harmonic Oscillator
Quasi-Classical Stats of th Simpl Harmonic Oscillator (Draft Vrsion) Introduction: Why Look for Eignstats of th Annihilation Oprator? Excpt for th ground stat, th corrspondnc btwn th quantum nrgy ignstats
More informationElements of Statistical Thermodynamics
24 Elmnts of Statistical Thrmodynamics Statistical thrmodynamics is a branch of knowldg that has its own postulats and tchniqus. W do not attmpt to giv hr vn an introduction to th fild. In this chaptr,
More informationMor Tutorial at www.dumblittldoctor.com Work th problms without a calculator, but us a calculator to chck rsults. And try diffrntiating your answrs in part III as a usful chck. I. Applications of Intgration
More informationCS 361 Meeting 12 10/3/18
CS 36 Mting 2 /3/8 Announcmnts. Homwork 4 is du Friday. If Friday is Mountain Day, homwork should b turnd in at my offic or th dpartmnt offic bfor 4. 2. Homwork 5 will b availabl ovr th wknd. 3. Our midtrm
More informationECE602 Exam 1 April 5, You must show ALL of your work for full credit.
ECE62 Exam April 5, 27 Nam: Solution Scor: / This xam is closd-book. You must show ALL of your work for full crdit. Plas rad th qustions carfully. Plas chck your answrs carfully. Calculators may NOT b
More informationHydrogen Atom and One Electron Ions
Hydrogn Atom and On Elctron Ions Th Schrödingr quation for this two-body problm starts out th sam as th gnral two-body Schrödingr quation. First w sparat out th motion of th cntr of mass. Th intrnal potntial
More informationBINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES. 1. Statement of results
BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES DONALD M. DAVIS Abstract. If p is a prim and n a positiv intgr, lt ν p (n dnot th xponnt of p in n, and u p (n n/p νp(n th unit part of n. If α
More informationUNTYPED LAMBDA CALCULUS (II)
1 UNTYPED LAMBDA CALCULUS (II) RECALL: CALL-BY-VALUE O.S. Basic rul Sarch ruls: (\x.) v [v/x] 1 1 1 1 v v CALL-BY-VALUE EVALUATION EXAMPLE (\x. x x) (\y. y) x x [\y. y / x] = (\y. y) (\y. y) y [\y. y /
More informationThe van der Waals interaction 1 D. E. Soper 2 University of Oregon 20 April 2012
Th van dr Waals intraction D. E. Sopr 2 Univrsity of Orgon 20 pril 202 Th van dr Waals intraction is discussd in Chaptr 5 of J. J. Sakurai, Modrn Quantum Mchanics. Hr I tak a look at it in a littl mor
More informationAlpha and beta decay equation practice
Alpha and bta dcay quation practic Introduction Alpha and bta particls may b rprsntd in quations in svral diffrnt ways. Diffrnt xam boards hav thir own prfrnc. For xampl: Alpha Bta α β alpha bta Dspit
More informationMath 34A. Final Review
Math A Final Rviw 1) Us th graph of y10 to find approimat valus: a) 50 0. b) y (0.65) solution for part a) first writ an quation: 50 0. now tak th logarithm of both sids: log() log(50 0. ) pand th right
More informationProblem Set 6 Solutions
6.04/18.06J Mathmatics for Computr Scinc March 15, 005 Srini Dvadas and Eric Lhman Problm St 6 Solutions Du: Monday, March 8 at 9 PM in Room 3-044 Problm 1. Sammy th Shark is a financial srvic providr
More informationSundials and Linear Algebra
Sundials and Linar Algbra M. Scot Swan July 2, 25 Most txts on crating sundials ar dirctd towards thos who ar solly intrstd in making and using sundials and usually assums minimal mathmatical background.
More informationMATH 319, WEEK 15: The Fundamental Matrix, Non-Homogeneous Systems of Differential Equations
MATH 39, WEEK 5: Th Fundamntal Matrix, Non-Homognous Systms of Diffrntial Equations Fundamntal Matrics Considr th problm of dtrmining th particular solution for an nsmbl of initial conditions For instanc,
More informationChapter 6. The Discrete Fourier Transform and The Fast Fourier Transform
Pusan ational Univrsity Chaptr 6. Th Discrt Fourir Transform and Th Fast Fourir Transform 6. Introduction Frquncy rsponss of discrt linar tim invariant systms ar rprsntd by Fourir transform or z-transforms.
More informationY 0. Standing Wave Interference between the incident & reflected waves Standing wave. A string with one end fixed on a wall
Staning Wav Intrfrnc btwn th incint & rflct wavs Staning wav A string with on n fix on a wall Incint: y, t) Y cos( t ) 1( Y 1 ( ) Y (St th incint wav s phas to b, i.., Y + ral & positiv.) Rflct: y, t)
More informationEXST Regression Techniques Page 1
EXST704 - Rgrssion Tchniqus Pag 1 Masurmnt rrors in X W hav assumd that all variation is in Y. Masurmnt rror in this variabl will not ffct th rsults, as long as thy ar uncorrlatd and unbiasd, sinc thy
More informationData Assimilation 1. Alan O Neill National Centre for Earth Observation UK
Data Assimilation 1 Alan O Nill National Cntr for Earth Obsrvation UK Plan Motivation & basic idas Univariat (scalar) data assimilation Multivariat (vctor) data assimilation 3d-Variational Mthod (& optimal
More informationorbiting electron turns out to be wrong even though it Unfortunately, the classical visualization of the
Lctur 22-1 Byond Bohr Modl Unfortunatly, th classical visualization of th orbiting lctron turns out to b wrong vn though it still givs us a simpl way to think of th atom. Quantum Mchanics is ndd to truly
More informationPartial Derivatives: Suppose that z = f(x, y) is a function of two variables.
Chaptr Functions o Two Variabls Applid Calculus 61 Sction : Calculus o Functions o Two Variabls Now that ou hav som amiliarit with unctions o two variabls it s tim to start appling calculus to hlp us solv
More informationCPSC 665 : An Algorithmist s Toolkit Lecture 4 : 21 Jan Linear Programming
CPSC 665 : An Algorithmist s Toolkit Lctur 4 : 21 Jan 2015 Lcturr: Sushant Sachdva Linar Programming Scrib: Rasmus Kyng 1. Introduction An optimization problm rquirs us to find th minimum or maximum) of
More informationSCHUR S THEOREM REU SUMMER 2005
SCHUR S THEOREM REU SUMMER 2005 1. Combinatorial aroach Prhas th first rsult in th subjct blongs to I. Schur and dats back to 1916. On of his motivation was to study th local vrsion of th famous quation
More informationPipe flow friction, small vs. big pipes
Friction actor (t/0 t o pip) Friction small vs larg pips J. Chaurtt May 016 It is an intrsting act that riction is highr in small pips than largr pips or th sam vlocity o low and th sam lngth. Friction
More informationChemical Physics II. More Stat. Thermo Kinetics Protein Folding...
Chmical Physics II Mor Stat. Thrmo Kintics Protin Folding... http://www.nmc.ctc.com/imags/projct/proj15thumb.jpg http://nuclarwaponarchiv.org/usa/tsts/ukgrabl2.jpg http://www.photolib.noaa.gov/corps/imags/big/corp1417.jpg
More information22/ Breakdown of the Born-Oppenheimer approximation. Selection rules for rotational-vibrational transitions. P, R branches.
Subjct Chmistry Papr No and Titl Modul No and Titl Modul Tag 8/ Physical Spctroscopy / Brakdown of th Born-Oppnhimr approximation. Slction ruls for rotational-vibrational transitions. P, R branchs. CHE_P8_M
More informationGradebook & Midterm & Office Hours
Your commnts So what do w do whn on of th r's is 0 in th quation GmM(1/r-1/r)? Do w nd to driv all of ths potntial nrgy formulas? I don't undrstand springs This was th first lctur I actually larnd somthing
More informationWeek 3: Connected Subgraphs
Wk 3: Connctd Subgraphs Sptmbr 19, 2016 1 Connctd Graphs Path, Distanc: A path from a vrtx x to a vrtx y in a graph G is rfrrd to an xy-path. Lt X, Y V (G). An (X, Y )-path is an xy-path with x X and y
More informationperm4 A cnt 0 for for if A i 1 A i cnt cnt 1 cnt i j. j k. k l. i k. j l. i l
h 4D, 4th Rank, Antisytric nsor and th 4D Equivalnt to th Cross Product or Mor Fun with nsors!!! Richard R Shiffan Digital Graphics Assoc 8 Dunkirk Av LA, Ca 95 rrs@isidu his docunt dscribs th four dinsional
More informationCh. 24 Molecular Reaction Dynamics 1. Collision Theory
Ch. 4 Molcular Raction Dynamics 1. Collision Thory Lctur 16. Diffusion-Controlld Raction 3. Th Matrial Balanc Equation 4. Transition Stat Thory: Th Eyring Equation 5. Transition Stat Thory: Thrmodynamic
More informationFunction Spaces. a x 3. (Letting x = 1 =)) a(0) + b + c (1) = 0. Row reducing the matrix. b 1. e 4 3. e 9. >: (x = 1 =)) a(0) + b + c (1) = 0
unction Spacs Prrquisit: Sction 4.7, Coordinatization n this sction, w apply th tchniqus of Chaptr 4 to vctor spacs whos lmnts ar functions. Th vctor spacs P n and P ar familiar xampls of such spacs. Othr
More informationEinstein Equations for Tetrad Fields
Apiron, Vol 13, No, Octobr 006 6 Einstin Equations for Ttrad Filds Ali Rıza ŞAHİN, R T L Istanbul (Turky) Evry mtric tnsor can b xprssd by th innr product of ttrad filds W prov that Einstin quations for
More informationCoupled Pendulums. Two normal modes.
Tim Dpndnt Two Stat Problm Coupld Pndulums Wak spring Two normal mods. No friction. No air rsistanc. Prfct Spring Start Swinging Som tim latr - swings with full amplitud. stationary M +n L M +m Elctron
More informationIntroduction to Medical Imaging. Lecture 4: Fourier Theory = = ( ) 2sin(2 ) Introduction
Introduction Introduction to Mdical aging Lctur 4: Fourir Thory Thory dvlopd by Josph Fourir (768-83) Th Fourir transform of a signal s() yilds its frquncy spctrum S(k) Klaus Mullr s() forward transform
More informationSec 2.3 Modeling with First Order Equations
Sc.3 Modling with First Ordr Equations Mathmatical modls charactriz physical systms, oftn using diffrntial quations. Modl Construction: Translating physical situation into mathmatical trms. Clarly stat
More informationph People Grade Level: basic Duration: minutes Setting: classroom or field site
ph Popl Adaptd from: Whr Ar th Frogs? in Projct WET: Curriculum & Activity Guid. Bozman: Th Watrcours and th Council for Environmntal Education, 1995. ph Grad Lvl: basic Duration: 10 15 minuts Stting:
More informationText: WMM, Chapter 5. Sections , ,
Lcturs 6 - Continuous Probabilit Distributions Tt: WMM, Chaptr 5. Sctions 6.-6.4, 6.6-6.8, 7.-7. In th prvious sction, w introduc som of th common probabilit distribution functions (PDFs) for discrt sampl
More information5.80 Small-Molecule Spectroscopy and Dynamics
MIT OpnCoursWar http://ocw.mit.du 5.80 Small-Molcul Spctroscopy and Dynamics Fall 008 For information about citing ths matrials or our Trms of Us, visit: http://ocw.mit.du/trms. Lctur # 3 Supplmnt Contnts
More information1 Isoparametric Concept
UNIVERSITY OF CALIFORNIA BERKELEY Dpartmnt of Civil Enginring Spring 06 Structural Enginring, Mchanics and Matrials Profssor: S. Govindj Nots on D isoparamtric lmnts Isoparamtric Concpt Th isoparamtric
More informationChapter 6 Folding. Folding
Chaptr 6 Folding Wintr 1 Mokhtar Abolaz Folding Th folding transformation is usd to systmatically dtrmin th control circuits in DSP architctur whr multipl algorithm oprations ar tim-multiplxd to a singl
More informationUnit 6: Solving Exponential Equations and More
Habrman MTH 111 Sction II: Eonntial and Logarithmic Functions Unit 6: Solving Eonntial Equations and Mor EXAMPLE: Solv th quation 10 100 for. Obtain an act solution. This quation is so asy to solv that
More informationDifferentiation of Exponential Functions
Calculus Modul C Diffrntiation of Eponntial Functions Copyright This publication Th Northrn Albrta Institut of Tchnology 007. All Rights Rsrvd. LAST REVISED March, 009 Introduction to Diffrntiation of
More informationBifurcation Theory. , a stationary point, depends on the value of α. At certain values
Dnamic Macroconomic Thor Prof. Thomas Lux Bifurcation Thor Bifurcation: qualitativ chang in th natur of th solution occurs if a paramtr passs through a critical point bifurcation or branch valu. Local
More informationu 3 = u 3 (x 1, x 2, x 3 )
Lctur 23: Curvilinar Coordinats (RHB 8.0 It is oftn convnint to work with variabls othr than th Cartsian coordinats x i ( = x, y, z. For xampl in Lctur 5 w mt sphrical polar and cylindrical polar coordinats.
More informationBINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES
BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES DONALD M. DAVIS Abstract. If p is a prim (implicit in notation and n a positiv intgr, lt ν(n dnot th xponnt of p in n, and U(n n/p ν(n, th unit
More informationCalculus II (MAC )
Calculus II (MAC232-2) Tst 2 (25/6/25) Nam (PRINT): Plas show your work. An answr with no work rcivs no crdit. You may us th back of a pag if you nd mor spac for a problm. You may not us any calculators.
More information1 Minimum Cut Problem
CS 6 Lctur 6 Min Cut and argr s Algorithm Scribs: Png Hui How (05), Virginia Dat: May 4, 06 Minimum Cut Problm Today, w introduc th minimum cut problm. This problm has many motivations, on of which coms
More informationu r du = ur+1 r + 1 du = ln u + C u sin u du = cos u + C cos u du = sin u + C sec u tan u du = sec u + C e u du = e u + C
Tchniqus of Intgration c Donald Kridr and Dwight Lahr In this sction w ar going to introduc th first approachs to valuating an indfinit intgral whos intgrand dos not hav an immdiat antidrivativ. W bgin
More information[ ] [ ] DFT: Discrete Fourier Transform ( ) ( ) ( ) ( ) Congruence (Integer modulo m) N-point signal
Congrunc (Intgr modulo m) : Discrt Fourir Transform In this sction, all lttrs stand for intgrs. gcd ( nm, ) th gratst common divisor of n and m Lt d gcd(n,m) All th linar combinations r n+ s m of n and
More informationANALYSIS IN THE FREQUENCY DOMAIN
ANALYSIS IN THE FREQUENCY DOMAIN SPECTRAL DENSITY Dfinition Th spctral dnsit of a S.S.P. t also calld th spctrum of t is dfind as: + { γ }. jτ γ τ F τ τ In othr words, of th covarianc function. is dfind
More informationSection 11.6: Directional Derivatives and the Gradient Vector
Sction.6: Dirctional Drivativs and th Gradint Vctor Practic HW rom Stwart Ttbook not to hand in p. 778 # -4 p. 799 # 4-5 7 9 9 35 37 odd Th Dirctional Drivativ Rcall that a b Slop o th tangnt lin to th
More informationSearching Linked Lists. Perfect Skip List. Building a Skip List. Skip List Analysis (1) Assume the list is sorted, but is stored in a linked list.
3 3 4 8 6 3 3 4 8 6 3 3 4 8 6 () (d) 3 Sarching Linkd Lists Sarching Linkd Lists Sarching Linkd Lists ssum th list is sortd, but is stord in a linkd list. an w us binary sarch? omparisons? Work? What if
More informationAddition of angular momentum
Addition of angular momntum April, 07 Oftn w nd to combin diffrnt sourcs of angular momntum to charactriz th total angular momntum of a systm, or to divid th total angular momntum into parts to valuat
More informationAbstract Interpretation: concrete and abstract semantics
Abstract Intrprtation: concrt and abstract smantics Concrt smantics W considr a vry tiny languag that manags arithmtic oprations on intgrs valus. Th (concrt) smantics of th languags cab b dfind by th funzcion
More informationMath-3. Lesson 5-6 Euler s Number e Logarithmic and Exponential Modeling (Newton s Law of Cooling)
Math-3 Lsson 5-6 Eulr s Numbr Logarithmic and Eponntial Modling (Nwton s Law of Cooling) f ( ) What is th numbr? is th horizontal asymptot of th function: 1 1 ~ 2.718... On my 3rd submarin (USS Springfild,
More informationSupplementary Materials
6 Supplmntary Matrials APPENDIX A PHYSICAL INTERPRETATION OF FUEL-RATE-SPEED FUNCTION A truck running on a road with grad/slop θ positiv if moving up and ngativ if moving down facs thr rsistancs: arodynamic
More informationWhat are those βs anyway? Understanding Design Matrix & Odds ratios
Ral paramtr stimat WILD 750 - Wildlif Population Analysis of 6 What ar thos βs anyway? Undrsting Dsign Matrix & Odds ratios Rfrncs Hosmr D.W.. Lmshow. 000. Applid logistic rgrssion. John Wily & ons Inc.
More informationComplex representation of continuous-time periodic signals
. Complx rprsntation of continuous-tim priodic signals Eulr s quation jwt cost jsint his is th famous Eulr s quation. Brtrand Russll and Richard Fynman both gav this quation plntiful prais with words such
More informationLinear-Phase FIR Transfer Functions. Functions. Functions. Functions. Functions. Functions. Let
It is impossibl to dsign an IIR transfr function with an xact linar-phas It is always possibl to dsign an FIR transfr function with an xact linar-phas rspons W now dvlop th forms of th linarphas FIR transfr
More informationINTEGRATION BY PARTS
Mathmatics Rvision Guids Intgration by Parts Pag of 7 MK HOME TUITION Mathmatics Rvision Guids Lvl: AS / A Lvl AQA : C Edcl: C OCR: C OCR MEI: C INTEGRATION BY PARTS Vrsion : Dat: --5 Eampls - 6 ar copyrightd
More informationy = 2xe x + x 2 e x at (0, 3). solution: Since y is implicitly related to x we have to use implicit differentiation: 3 6y = 0 y = 1 2 x ln(b) ln(b)
4. y = y = + 5. Find th quation of th tangnt lin for th function y = ( + ) 3 whn = 0. solution: First not that whn = 0, y = (1 + 1) 3 = 8, so th lin gos through (0, 8) and thrfor its y-intrcpt is 8. y
More informationProbability Translation Guide
Quick Guid to Translation for th inbuilt SWARM Calculator If you s information looking lik this: Us this statmnt or any variant* (not th backticks) And this is what you ll s whn you prss Calculat Th chancs
More informationMiddle East Technical University Department of Mechanical Engineering ME 413 Introduction to Finite Element Analysis
Middl East Tchnical Univrsity Dpartmnt of Mchanical Enginring ME 43 Introduction to Finit Elmnt Analysis Chaptr 3 Computr Implmntation of D FEM Ths nots ar prpard by Dr. Cünyt Srt http://www.m.mtu.du.tr/popl/cunyt
More informationCollisions between electrons and ions
DRAFT 1 Collisions btwn lctrons and ions Flix I. Parra Rudolf Pirls Cntr for Thortical Physics, Unirsity of Oxford, Oxford OX1 NP, UK This rsion is of 8 May 217 1. Introduction Th Fokkr-Planck collision
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #20 11/14/2013
18.782 Introduction to Arithmtic Gomtry Fall 2013 Lctur #20 11/14/2013 20.1 Dgr thorm for morphisms of curvs Lt us rstat th thorm givn at th nd of th last lctur, which w will now prov. Thorm 20.1. Lt φ:
More informationSearch sequence databases 3 10/25/2016
Sarch squnc databass 3 10/25/2016 Etrm valu distribution Ø Suppos X is a random variabl with probability dnsity function p(, w sampl a larg numbr S of indpndnt valus of X from this distribution for an
More informationDiscrete Hilbert Transform. Numeric Algorithms
Volum 49, umbr 4, 8 485 Discrt Hilbrt Transform. umric Algorithms Ghorgh TODORA, Rodica HOLOEC and Ciprian IAKAB Abstract - Th Hilbrt and Fourir transforms ar tools usd for signal analysis in th tim/frquncy
More informationIntroduction to the Fourier transform. Computer Vision & Digital Image Processing. The Fourier transform (continued) The Fourier transform (continued)
Introduction to th Fourir transform Computr Vision & Digital Imag Procssing Fourir Transform Lt f(x) b a continuous function of a ral variabl x Th Fourir transform of f(x), dnotd by I {f(x)} is givn by:
More informationLecture 19: Free Energies in Modern Computational Statistical Thermodynamics: WHAM and Related Methods
Statistical Thrmodynamics Lctur 19: Fr Enrgis in Modrn Computational Statistical Thrmodynamics: WHAM and Rlatd Mthods Dr. Ronald M. Lvy ronlvy@tmpl.du Dfinitions Canonical nsmbl: A N, V,T = k B T ln Q
More informationPair (and Triplet) Production Effect:
Pair (and riplt Production Effct: In both Pair and riplt production, a positron (anti-lctron and an lctron (or ngatron ar producd spontanously as a photon intracts with a strong lctric fild from ithr a
More information2. Background Material
S. Blair Sptmbr 3, 003 4. Background Matrial Th rst of this cours dals with th gnration, modulation, propagation, and ction of optical radiation. As such, bic background in lctromagntics and optics nds
More information