Assignment solution
|
|
- Pierce Silvester Hodges
- 5 years ago
- Views:
Transcription
1 Assignment 04 solution Theodoe S. Novell 689DueOct04 Q0 [4](Read all pats befoe attempting any.) Supposeaisanaayofnumbesoflengthn,andxholdsanumbe. (a)[4]witeacontact(specification)focomputing i {0,..n} a(i) xi intoy. {tue}?{y i {0,..n} a(i) xi } (b)[4] Use the techniue of eplacing a constant by a vaiable to obtain an invaiant. I lleplacethenwithanatualvaiablekwhichangesfom0ton(inclusive) I:k n y a(i) x i i {0,..k} (c)[4] Wite a coect poof outline that solves the poblem. (You may assume that computing x i fo any intege i is an opeation in the pogamming language, although an expensive one.) Don t woy about efficiency at this point. {tue} k:0 y:0 {I:k n y i {0,..k} a(i) xi } whilek ndo y:y+a(k) x k k:k+ {y i {0,..n} a(i) xi } (d)[4] What is the vaiant? 0
2 n k (e)[4] Intoduce a tacking vaiable to impove the efficiency of the algoithm. State the linking invaiantthatelatesthenewvaiabletotheestofthestate. I llintoduceanumbevaiablezwithlinkinginvaiantzx k. (f)[4] Rewite the poof outline fom pat(c) to use the tacking vaiable. {tue} k:0 y:0 z: {I :k n y } i {0,..k} a(i) xi zx k whilek ndo y:y+a(k) z z:z x k:k+ {y } i {0,..n} a(i) xi [Bytheway,itisinteestingtotyadiffeentinvaiant I :k n y a(i) x i k i {k,..n} (I ewote x i as x i 0 befoe eplacing the two occuences of 0 with k.) This invaiant leads staight to a solution with only one multiplication in the loop: an algoithm known as Hone s ule. {tue} k:n y:0 {I :k n y i {k,..n} a(i) xi k } whilek 0do y:x y+a(k ) k:k {y } i {0,..n} a(i) xi ] Q [6](Read all pats befoe attempting any.)
3 (a)[4] Wite a contact(specification) fo computing the intege pat of the suae oot of a natual numbe. (Intege pat means floo, i.e., ounded down.) LetsandpbevaiablesoftypeN. Thecontactis {tue }? {p s } o,euivalently, {tue }? {p s<(p+) } (b)[4] Give a linking invaiant that makes you specification euivalent to the specification { A(m) A(n) m<n}?{ A(p) A(p+)} Fist I m going to ewite my postcondition as p s < (p+), which can be futhe ewitten as ( p >s ) (p+) >s ThissuggestsafunctionA(i) ( i >s ). Weneedtopickanmsmallenoughthatm >sisnot possible. I llpick m0. Wealsoneednlageenoughthatn >s issuetobe tue. I llpick ns+. (Pickingnswillnotdo,as0 >0isnottueandnois >.) Thustheliking invaiant is L:m0 n(s+) i N (A(i) ( i >s )) Assuming this linking invaiant L we have A(m) A(n) m<n ( m >s ) n >s m<n ( 0 >s ) (s+) >s 0<s+ 0 s (s+) >s 0<s+ tue Fo the postcondition we have A(p) A(p+) p >s (p+) >s p s (p+) >s p s So given this linking invaiant holds, the pe- and postconditions fom pat(a) ae euivalent to those given in the uestion.
4 (c)[8] Use you linking invaiant to deive a coect poof outline fo the contact given in pat (a) fom the algoithm given in slide set 4 pages {5,..,8}. Running time should oughly popotionaltothenumbeofbitseuiedtoepesenttheinput. Seeslideset5,foanexempla. I suggest doing this in thee stages: fist, intoduce additional vaiables and the linking invaiant;second,ewitethealgoithmssothata(atleast)isnolongeneeded;thideliminateaand any othe vaiables no longe needed. (i) Intoduce additional vaiable s of type N using the following linking invaiant fom pat(b) L:m0 n(s+) i N (A(i) ( i >s )) Sincem, n, andaaenotchangedbythealgoithm,theeisnoneedtoaddomodifyany code to maintain this invaiant. { A(m) A(n) m<n L} p:m :n {I:m p< n A(p) A() L} while p+do {I p+ L} : p+ {p<< I L} ifa()then:elsep:endif { A(p) A(p+) L} (ii)rewitesothata,m,andnaeonlymentionedinl. { ( 0 >s ) (s+) >s 0<s+ L} p:0 :s+ {I :0 p< s+ ( p >s ) ( >s ) L} while p+do {I p+} : p+ {p<< I } if >sthen:elsep:endif { ( p >s ) (p+) >s L} 3
5 (iii) Eliminate A, m, and n andcleanup. At this point, I m also dopping the euiement that s+fomtheinvaiant,asitisneveused. {tue } p:0 :s+ {I :p< p s< } while p+do {I p+} : p+ {p<< I } if >sthen:elsep:endif {p s } Bonus[5]. Extend the solution fom Q to find an outline that uses no multiplications. Slideset5setsoutaoadmapfothisinthecasethatnisapoweof i.e. sis onelessthanapoweof. Fothesakeoffindingoutwhatwouldhappen,IthoughtIwouldtackle the poblem diectly(i.e. without switching to the c-i epesentation fom the p- epesentation). Tostat,let slookcloselyat,whichisthemultiplicationtoeliminate Whenp+iseven p+ ( p + p + ) 4 Whenp+isodd p+ ( p + p + ) 4 (p+)+ 4 Thissuggeststhatweuseatackingvaiablesfop,p,and. Let L:ppp pp 4
6 DataefiningthesolutiontoQ,weget {tue } p 0 pp p : s+ 0 0 (s+) {I :p< p s< L} while p+do {I p+} ifp+iseventhen [ else [ endif ] [ : (p+) if>sthen : p else p pp : p endif {p s } 4 (pp+ p+) ] [ : (p+ ) 4 (pp+ p+) (p+)+ 4 p ] ] Nowwehavemultiplicationsp and intheloop. Solet sinvestigatethem. Whenp+ isevenwehave Whenp+isoddwehave p+ p ( p +p ) ( p + ) p+ p ( p +p p ) ( p + ) 5
7 Which leads to {tue } p 0 pp p : s+ 0 0 (s+) {I :p< p s< L} while p+do {I p+} ifp+iseventhen else p p : : endif if>sthen : p else p pp : p endif {p s } (p+) 4 (pp+ p+) (pp+p) (p+) p+ 4 (pp+ p+) (p+)+ 4 (pp+p p) (p+ ) p Thee is only one multiplication left and that is the initialization of. Howeve we ve now emoved all multiplications(that can t be epesented by shifts in binay) out of the loop. And I d be pefectly happy to stop hee, having accomplished that much. 6
8 But let s eliminate that last multiplication anyway. The only euiement on the initial value ofisthatitisbigenoughthats<. Sowecouldeplacetheinitializationcodewith {tue } p 0 pp p : 0 0 {0p< pow() L} whiles do[,]:[,4 ]endwhile {I :p< p s< L} Mission accomplished. No multiplications ae left. Howeve. Itiswothnoticingthat,ifweinitializelikethis,then pisapoweoftwoafte thefistloop. And pbeingapoweofispesevedbythebodyofthesecondloop,asthe followingagumentshows: If pisapoweoftwoand p>,then pisevenandsois p+. Thusishalfwaybetweenpand,so p p andisalsopoweoftwo. Sincepowesofgeatethanaealleven,wecanignoethecasewheep+isodd. Usingthenotationpow(x)tomeanthatxisapoweofwehave {tue } p 0 pp p : 0 0 {0p< pow() L} whiles do[,]:[,4 ]endwhile {I :p< p s< pow( p) L} while p+do {I p+} p : (p+) 4 (pp+ p+) (pp+p) (p+) if>sthen : else p p {p s } p pp p : endif Wemightwoyaboutthedivisionsbyand4. Doweneedtowoyaboutnonintegalvalues being assigned to, p o? (Ealie we saw that p+ is even, so no need to woy about.)sincewedesignedthealgoithmsothatp,,andaenatualnumbes,wecanbesuethat, p, and ae all integes and thus, by L, so ae, p, and. But we can also show this diectly, without efeence to the way the algoithm was developed: We can see that p> even(p) even()isaninvaiantofbothloops; thuspp,p,and aealldivisible by4;thustheexpessions 4 (pp+ p+), (pp+p),and (p+)aeallinteges. 7
Part V: Closed-form solutions to Loop Closure Equations
Pat V: Closed-fom solutions to Loop Closue Equations This section will eview the closed-fom solutions techniques fo loop closue equations. The following thee cases will be consideed. ) Two unknown angles
More informationPushdown Automata (PDAs)
CHAPTER 2 Context-Fee Languages Contents Context-Fee Gammas definitions, examples, designing, ambiguity, Chomsky nomal fom Pushdown Automata definitions, examples, euivalence with context-fee gammas Non-Context-Fee
More information3.6 Applied Optimization
.6 Applied Optimization Section.6 Notes Page In this section we will be looking at wod poblems whee it asks us to maimize o minimize something. Fo all the poblems in this section you will be taking the
More informationProbablistically Checkable Proofs
Lectue 12 Pobablistically Checkable Poofs May 13, 2004 Lectue: Paul Beame Notes: Chis Re 12.1 Pobablisitically Checkable Poofs Oveview We know that IP = PSPACE. This means thee is an inteactive potocol
More information(n 1)n(n + 1)(n + 2) + 1 = (n 1)(n + 2)n(n + 1) + 1 = ( (n 2 + n 1) 1 )( (n 2 + n 1) + 1 ) + 1 = (n 2 + n 1) 2.
Paabola Volume 5, Issue (017) Solutions 151 1540 Q151 Take any fou consecutive whole numbes, multiply them togethe and add 1. Make a conjectue and pove it! The esulting numbe can, fo instance, be expessed
More information15.081J/6.251J Introduction to Mathematical Programming. Lecture 6: The Simplex Method II
15081J/6251J Intoduction to Mathematical Pogamming ectue 6: The Simplex Method II 1 Outline Revised Simplex method Slide 1 The full tableau implementation Anticycling 2 Revised Simplex Initial data: A,
More informationA Bijective Approach to the Permutational Power of a Priority Queue
A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA 02254-9110 Abstact A pioity queue tansfoms an input pemutation
More informationApplication of Parseval s Theorem on Evaluating Some Definite Integrals
Tukish Jounal of Analysis and Numbe Theoy, 4, Vol., No., -5 Available online at http://pubs.sciepub.com/tjant/// Science and Education Publishing DOI:.69/tjant--- Application of Paseval s Theoem on Evaluating
More informationr cos, and y r sin with the origin of coordinate system located at
Lectue 3-3 Kinematics of Rotation Duing ou peious lectues we hae consideed diffeent examples of motion in one and seeal dimensions. But in each case the moing object was consideed as a paticle-like object,
More informationPractice Integration Math 120 Calculus I Fall 2015
Pactice Integation Math 0 Calculus I Fall 05 Hee s a list of pactice eecises. Thee s a hint fo each one as well as an answe with intemediate steps... ( + d. Hint. Answe. ( 8 t + t + This fist set of indefinite
More informationITI Introduction to Computing II
ITI 1121. Intoduction to Computing II Macel Tucotte School of Electical Engineeing and Compute Science Abstact data type: Stack Stack-based algoithms Vesion of Febuay 2, 2013 Abstact These lectue notes
More informationPractice Integration Math 120 Calculus I D Joyce, Fall 2013
Pactice Integation Math 0 Calculus I D Joyce, Fall 0 This fist set of indefinite integals, that is, antideivatives, only depends on a few pinciples of integation, the fist being that integation is invese
More informationDouble-angle & power-reduction identities. Elementary Functions. Double-angle & power-reduction identities. Double-angle & power-reduction identities
Double-angle & powe-eduction identities Pat 5, Tigonomety Lectue 5a, Double Angle and Powe Reduction Fomulas In the pevious pesentation we developed fomulas fo cos( β) and sin( β) These fomulas lead natually
More informationChapter Eight Notes N P U1C8S4-6
Chapte Eight Notes N P UC8S-6 Name Peiod Section 8.: Tigonometic Identities An identit is, b definition, an equation that is alwas tue thoughout its domain. B tue thoughout its domain, that is to sa that
More informationMath 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs
Math 30: The Edős-Stone-Simonovitz Theoem and Extemal Numbes fo Bipatite Gaphs May Radcliffe The Edős-Stone-Simonovitz Theoem Recall, in class we poved Tuán s Gaph Theoem, namely Theoem Tuán s Theoem Let
More informationQuantum Fourier Transform
Chapte 5 Quantum Fouie Tansfom Many poblems in physics and mathematics ae solved by tansfoming a poblem into some othe poblem with a known solution. Some notable examples ae Laplace tansfom, Legende tansfom,
More informationThe Substring Search Problem
The Substing Seach Poblem One algoithm which is used in a vaiety of applications is the family of substing seach algoithms. These algoithms allow a use to detemine if, given two chaacte stings, one is
More informationMath 124B February 02, 2012
Math 24B Febuay 02, 202 Vikto Gigoyan 8 Laplace s equation: popeties We have aleady encounteed Laplace s equation in the context of stationay heat conduction and wave phenomena. Recall that in two spatial
More informationRigid Body Dynamics 2. CSE169: Computer Animation Instructor: Steve Rotenberg UCSD, Winter 2018
Rigid Body Dynamics 2 CSE169: Compute Animation nstucto: Steve Rotenbeg UCSD, Winte 2018 Coss Poduct & Hat Opeato Deivative of a Rotating Vecto Let s say that vecto is otating aound the oigin, maintaining
More informationA proof of the binomial theorem
A poof of the binomial theoem If n is a natual numbe, let n! denote the poduct of the numbes,2,3,,n. So! =, 2! = 2 = 2, 3! = 2 3 = 6, 4! = 2 3 4 = 24 and so on. We also let 0! =. If n is a non-negative
More informationRelating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany
Relating Banching Pogam Size and omula Size ove the ull Binay Basis Matin Saueho y Ingo Wegene y Ralph Wechne z y B Infomatik, LS II, Univ. Dotmund, 44 Dotmund, Gemany z ankfut, Gemany sauehof/wegene@ls.cs.uni-dotmund.de
More informationBerkeley Math Circle AIME Preparation March 5, 2013
Algeba Toolkit Rules of Thumb. Make sue that you can pove all fomulas you use. This is even bette than memoizing the fomulas. Although it is best to memoize, as well. Stive fo elegant, economical methods.
More information-Δ u = λ u. u(x,y) = u 1. (x) u 2. (y) u(r,θ) = R(r) Θ(θ) Δu = 2 u + 2 u. r = x 2 + y 2. tan(θ) = y/x. r cos(θ) = cos(θ) r.
The Laplace opeato in pola coodinates We now conside the Laplace opeato with Diichlet bounday conditions on a cicula egion Ω {(x,y) x + y A }. Ou goal is to compute eigenvalues and eigenfunctions of the
More informationMSE 561, Atomic Modeling in Material Science Assignment 1
Depatment of Mateial Science and Engineeing, Univesity of Pennsylvania MSE 561, Atomic Modeling in Mateial Science Assignment 1 Yang Lu 1. Analytical Solution The close-packed two-dimensional stuctue is
More informationSection 8.2 Polar Coordinates
Section 8. Pola Coodinates 467 Section 8. Pola Coodinates The coodinate system we ae most familia with is called the Catesian coodinate system, a ectangula plane divided into fou quadants by the hoizontal
More informationHOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS?
6th INTERNATIONAL MULTIDISCIPLINARY CONFERENCE HOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS? Cecília Sitkuné Göömbei College of Nyíegyháza Hungay Abstact: The
More informationPhysics 2A Chapter 10 - Moment of Inertia Fall 2018
Physics Chapte 0 - oment of netia Fall 08 The moment of inetia of a otating object is a measue of its otational inetia in the same way that the mass of an object is a measue of its inetia fo linea motion.
More informationMultiple Experts with Binary Features
Multiple Expets with Binay Featues Ye Jin & Lingen Zhang Decembe 9, 2010 1 Intoduction Ou intuition fo the poect comes fom the pape Supevised Leaning fom Multiple Expets: Whom to tust when eveyone lies
More informationMath Notes on Kepler s first law 1. r(t) kp(t)
Math 7 - Notes on Keple s fist law Planetay motion and Keple s Laws We conside the motion of a single planet about the sun; fo simplicity, we assign coodinates in R 3 so that the position of the sun is
More informationOn the integration of the equations of hydrodynamics
Uebe die Integation de hydodynamischen Gleichungen J f eine u angew Math 56 (859) -0 On the integation of the equations of hydodynamics (By A Clebsch at Calsuhe) Tanslated by D H Delphenich In a pevious
More informationRECTIFYING THE CIRCUMFERENCE WITH GEOGEBRA
ECTIFYING THE CICUMFEENCE WITH GEOGEBA A. Matín Dinnbie, G. Matín González and Anthony C.M. O 1 Intoducction The elation between the cicumfeence and the adius of a cicle is one of the most impotant concepts
More informationAppendix A. Appendices. A.1 ɛ ijk and cross products. Vector Operations: δ ij and ɛ ijk
Appendix A Appendices A1 ɛ and coss poducts A11 Vecto Opeations: δ ij and ɛ These ae some notes on the use of the antisymmetic symbol ɛ fo expessing coss poducts This is an extemely poweful tool fo manipulating
More information18.06 Problem Set 4 Solution
8.6 Poblem Set 4 Solution Total: points Section 3.5. Poblem 2: (Recommended) Find the lagest possible numbe of independent vectos among ) ) ) v = v 4 = v 5 = v 6 = v 2 = v 3 =. Solution (4 points): Since
More informationJournal of Inequalities in Pure and Applied Mathematics
Jounal of Inequalities in Pue and Applied Mathematics COEFFICIENT INEQUALITY FOR A FUNCTION WHOSE DERIVATIVE HAS A POSITIVE REAL PART S. ABRAMOVICH, M. KLARIČIĆ BAKULA AND S. BANIĆ Depatment of Mathematics
More informationAuchmuty High School Mathematics Department Advanced Higher Notes Teacher Version
The Binomial Theoem Factoials Auchmuty High School Mathematics Depatment The calculations,, 6 etc. often appea in mathematics. They ae called factoials and have been given the notation n!. e.g. 6! 6!!!!!
More informationHomework 7 Solutions
Homewok 7 olutions Phys 4 Octobe 3, 208. Let s talk about a space monkey. As the space monkey is oiginally obiting in a cicula obit and is massive, its tajectoy satisfies m mon 2 G m mon + L 2 2m mon 2
More informationAlgebra. Substitution in algebra. 3 Find the value of the following expressions if u = 4, k = 7 and t = 9.
lgeba Substitution in algeba Remembe... In an algebaic expession, lettes ae used as substitutes fo numbes. Example Find the value of the following expessions if s =. a) s + + = = s + + = = Example Find
More informationClassical Worm algorithms (WA)
Classical Wom algoithms (WA) WA was oiginally intoduced fo quantum statistical models by Pokof ev, Svistunov and Tupitsyn (997), and late genealized to classical models by Pokof ev and Svistunov (200).
More information15 Solving the Laplace equation by Fourier method
5 Solving the Laplace equation by Fouie method I aleady intoduced two o thee dimensional heat equation, when I deived it, ecall that it taes the fom u t = α 2 u + F, (5.) whee u: [0, ) D R, D R is the
More informationFlux Shape in Various Reactor Geometries in One Energy Group
Flux Shape in Vaious eacto Geometies in One Enegy Goup. ouben McMaste Univesity Couse EP 4D03/6D03 Nuclea eacto Analysis (eacto Physics) 015 Sept.-Dec. 015 Septembe 1 Contents We deive the 1-goup lux shape
More informationMATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE. We consider second order constant coefficient scalar linear PDEs on R n. These have the form
MATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE ANDRAS VASY We conside second ode constant coefficient scala linea PDEs on R n. These have the fom Lu = f L = a ij xi xj + b i xi + c i whee a ij b i and
More informationQIP Course 10: Quantum Factorization Algorithm (Part 3)
QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Ryutaoh Matsumoto Nagoya Univesity, Japan Send you comments to yutaoh.matsumoto@nagoya-u.jp Septembe 2018 @ Tokyo Tech. Matsumoto (Nagoya U. QIP Couse
More informationk. s k=1 Part of the significance of the Riemann zeta-function stems from Theorem 9.2. If s > 1 then 1 p s
9 Pimes in aithmetic ogession Definition 9 The Riemann zeta-function ζs) is the function which assigns to a eal numbe s > the convegent seies k s k Pat of the significance of the Riemann zeta-function
More informationMATH 417 Homework 3 Instructor: D. Cabrera Due June 30. sin θ v x = v r cos θ v θ r. (b) Then use the Cauchy-Riemann equations in polar coordinates
MATH 417 Homewok 3 Instucto: D. Cabea Due June 30 1. Let a function f(z) = u + iv be diffeentiable at z 0. (a) Use the Chain Rule and the fomulas x = cosθ and y = to show that u x = u cosθ u θ, v x = v
More informationOn a quantity that is analogous to potential and a theorem that relates to it
Su une quantité analogue au potential et su un théoème y elatif C R Acad Sci 7 (87) 34-39 On a quantity that is analogous to potential and a theoem that elates to it By R CLAUSIUS Tanslated by D H Delphenich
More informationTest 2, ECON , Summer 2013
Test, ECON 6090-9, Summe 0 Instuctions: Answe all questions as completely as possible. If you cannot solve the poblem, explaining how you would solve the poblem may ean you some points. Point totals ae
More informationAQI: Advanced Quantum Information Lecture 2 (Module 4): Order finding and factoring algorithms February 20, 2013
AQI: Advanced Quantum Infomation Lectue 2 (Module 4): Ode finding and factoing algoithms Febuay 20, 203 Lectue: D. Mak Tame (email: m.tame@impeial.ac.uk) Intoduction In the last lectue we looked at the
More informationA GENERALIZATION OF A CONJECTURE OF MELHAM. 1. Introduction The Fibonomial coefficient is, for n m 1, defined by
A GENERALIZATION OF A CONJECTURE OF MELHAM EMRAH KILIC 1, ILKER AKKUS, AND HELMUT PRODINGER 3 Abstact A genealization of one of Melha s conectues is pesented Afte witing it in tes of Gaussian binoial coefficients,
More informationAnalysis of Arithmetic. Analysis of Arithmetic. Analysis of Arithmetic Round-Off Errors. Analysis of Arithmetic. Analysis of Arithmetic
In the fixed-oint imlementation of a digital filte only the esult of the multilication oeation is quantied The eesentation of a actical multilie with the quantie at its outut is shown below u v Q ^v The
More information1D2G - Numerical solution of the neutron diffusion equation
DG - Numeical solution of the neuton diffusion equation Y. Danon Daft: /6/09 Oveview A simple numeical solution of the neuton diffusion equation in one dimension and two enegy goups was implemented. Both
More informationNon-Linear Dynamics Homework Solutions Week 2
Non-Linea Dynamics Homewok Solutions Week Chis Small Mach, 7 Please email me at smach9@evegeen.edu with any questions o concens eguading these solutions. Fo the ececises fom section., we sketch all qualitatively
More informationTransverse Wakefield in a Dielectric Tube with Frequency Dependent Dielectric Constant
ARDB-378 Bob Siemann & Alex Chao /4/5 Page of 8 Tansvese Wakefield in a Dielectic Tube with Fequency Dependent Dielectic Constant This note is a continuation of ARDB-368 that is now extended to the tansvese
More information(read nabla or del) is defined by, k. (9.7.1*)
9.7 Gadient of a scala field. Diectional deivative Some of the vecto fields in applications can be obtained fom scala fields. This is vey advantageous because scala fields can be handled moe easily. The
More informationMath 151. Rumbos Spring Solutions to Assignment #7
Math. Rumbos Sping 202 Solutions to Assignment #7. Fo each of the following, find the value of the constant c fo which the given function, p(x, is the pobability mass function (pmf of some discete andom
More informationAppendix B The Relativistic Transformation of Forces
Appendix B The Relativistic Tansfomation of oces B. The ou-foce We intoduced the idea of foces in Chapte 3 whee we saw that the change in the fou-momentum pe unit time is given by the expession d d w x
More informationON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0},
ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION E. J. IONASCU and A. A. STANCU Abstact. We ae inteested in constucting concete independent events in puely atomic pobability
More informationPascal s Triangle (mod 8)
Euop. J. Combinatoics (998) 9, 45 62 Pascal s Tiangle (mod 8) JAMES G. HUARD, BLAIR K. SPEARMAN AND KENNETH S. WILLIAMS Lucas theoem gives a conguence fo a binomial coefficient modulo a pime. Davis and
More informationWhen two numbers are written as the product of their prime factors, they are in factored form.
10 1 Study Guide Pages 420 425 Factos Because 3 4 12, we say that 3 and 4 ae factos of 12. In othe wods, factos ae the numbes you multiply to get a poduct. Since 2 6 12, 2 and 6 ae also factos of 12. The
More informationPledge: Signature:
S 202, Sing 2005 Midtem 1: 24 eb 2005 Page 1/8 Name: KEY E-mail D: @viginia.edu Pledge: Signatue: Thee ae 75 minutes fo this exam and 100 oints on the test; don t send too long on any one uestion! The
More informationThe Divergence Theorem
13.8 The ivegence Theoem Back in 13.5 we ewote Geen s Theoem in vecto fom as C F n ds= div F x, y da ( ) whee C is the positively-oiented bounday cuve of the plane egion (in the xy-plane). Notice this
More informationMONTE CARLO SIMULATION OF FLUID FLOW
MONTE CARLO SIMULATION OF FLUID FLOW M. Ragheb 3/7/3 INTRODUCTION We conside the situation of Fee Molecula Collisionless and Reflective Flow. Collisionless flows occu in the field of aefied gas dynamics.
More informationReview of the H-O model. Problem 1. Assume that the production functions in the standard H-O model are the following:
Revie of the H-O model Poblem 1 Assume that the poduction functions in the standad H-O model ae the folloing: f 1 L 1 1 ) L 1/ 1 1/ 1 f L ) L 1/3 /3 In addition e assume that the consume pefeences ae given
More informationPROBLEM SET #1 SOLUTIONS by Robert A. DiStasio Jr.
POBLM S # SOLUIONS by obet A. DiStasio J. Q. he Bon-Oppenheime appoximation is the standad way of appoximating the gound state of a molecula system. Wite down the conditions that detemine the tonic and
More informationP.7 Trigonometry. What s round and can cause major headaches? The Unit Circle.
P.7 Tigonomet What s ound and can cause majo headaches? The Unit Cicle. The Unit Cicle will onl cause ou headaches if ou don t know it. Using the Unit Cicle in Calculus is equivalent to using ou multiplication
More informationStanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012
Stanfod Univesity CS59Q: Quantum Computing Handout 8 Luca Tevisan Octobe 8, 0 Lectue 8 In which we use the quantum Fouie tansfom to solve the peiod-finding poblem. The Peiod Finding Poblem Let f : {0,...,
More information8 Separation of Variables in Other Coordinate Systems
8 Sepaation of Vaiables in Othe Coodinate Systems Fo the method of sepaation of vaiables to succeed you need to be able to expess the poblem at hand in a coodinate system in which the physical boundaies
More informationI. CONSTRUCTION OF THE GREEN S FUNCTION
I. CONSTRUCTION OF THE GREEN S FUNCTION The Helmohltz equation in 4 dimensions is 4 + k G 4 x, x = δ 4 x x. In this equation, G is the Geen s function and 4 efes to the dimensionality. In the vey end,
More informationSHORT ANSWER. Write the word or phrase that best completes each statement or answers the question.
Chapte 7-8 Review Math 1316 Name SHORT ANSWER. Wite the wod o phase that best completes each statement o answes the question. Solve the tiangle. 1) B = 34.4 C = 114.2 b = 29.0 1) Solve the poblem. 2) Two
More informationCALCULUS II Vectors. Paul Dawkins
CALCULUS II Vectos Paul Dawkins Table of Contents Peface... ii Vectos... 3 Intoduction... 3 Vectos The Basics... 4 Vecto Aithmetic... 8 Dot Poduct... 13 Coss Poduct... 21 2007 Paul Dawkins i http://tutoial.math.lama.edu/tems.aspx
More informationWeek 8. Topic 2 Properties of Logarithms
Week 8 Topic 2 Popeties of Logithms 1 Week 8 Topic 2 Popeties of Logithms Intoduction Since the esult of ithm is n eponent, we hve mny popeties of ithms tht e elted to the popeties of eponents. They e
More information6 Matrix Concentration Bounds
6 Matix Concentation Bounds Concentation bounds ae inequalities that bound pobabilities of deviations by a andom vaiable fom some value, often its mean. Infomally, they show the pobability that a andom
More informationFE FORMULATIONS FOR PLASTICITY
G These slides ae designed based on the book: Finite Elements in Plasticity Theoy and Pactice, D.R.J. Owen and E. Hinton, 970, Pineidge Pess Ltd., Swansea, UK. Couse Content: A INTRODUCTION AND OVERVIEW
More informationNumerical solution of diffusion mass transfer model in adsorption systems. Prof. Nina Paula Gonçalves Salau, D.Sc.
Numeical solution of diffusion mass tansfe model in adsoption systems Pof., D.Sc. Agenda Mass Tansfe Mechanisms Diffusion Mass Tansfe Models Solving Diffusion Mass Tansfe Models Paamete Estimation 2 Mass
More informationNumerical Integration
MCEN 473/573 Chapte 0 Numeical Integation Fall, 2006 Textbook, 0.4 and 0.5 Isopaametic Fomula Numeical Integation [] e [ ] T k = h B [ D][ B] e B Jdsdt In pactice, the element stiffness is calculated numeically.
More information1 Notes on Order Statistics
1 Notes on Ode Statistics Fo X a andom vecto in R n with distibution F, and π S n, define X π by and F π by X π (X π(1),..., X π(n) ) F π (x 1,..., x n ) F (x π 1 (1),..., x π 1 (n)); then the distibution
More informationUsing Laplace Transform to Evaluate Improper Integrals Chii-Huei Yu
Available at https://edupediapublicationsog/jounals Volume 3 Issue 4 Febuay 216 Using Laplace Tansfom to Evaluate Impope Integals Chii-Huei Yu Depatment of Infomation Technology, Nan Jeon Univesity of
More informationUniform Circular Motion
Unifom Cicula Motion Have you eve idden on the amusement pak ide shown below? As it spins you feel as though you ae being pessed tightly against the wall. The ide then begins to tilt but you emain glued
More informationMAC Module 12 Eigenvalues and Eigenvectors
MAC 23 Module 2 Eigenvalues and Eigenvectos Leaning Objectives Upon completing this module, you should be able to:. Solve the eigenvalue poblem by finding the eigenvalues and the coesponding eigenvectos
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY Physics Department Physics 8.07: Electromagnetism II September 15, 2012 Prof. Alan Guth PROBLEM SET 2
MASSACHUSETTS INSTITUTE OF TECHNOLOGY Physics Depatment Physics 8.07: Electomagnetism II Septembe 5, 202 Pof. Alan Guth PROBLEM SET 2 DUE DATE: Monday, Septembe 24, 202. Eithe hand it in at the lectue,
More informationQuestion 1: The dipole
Septembe, 08 Conell Univesity, Depatment of Physics PHYS 337, Advance E&M, HW #, due: 9/5/08, :5 AM Question : The dipole Conside a system as discussed in class and shown in Fig.. in Heald & Maion.. Wite
More informationConstruction and Analysis of Boolean Functions of 2t + 1 Variables with Maximum Algebraic Immunity
Constuction and Analysis of Boolean Functions of 2t + 1 Vaiables with Maximum Algebaic Immunity Na Li and Wen-Feng Qi Depatment of Applied Mathematics, Zhengzhou Infomation Engineeing Univesity, Zhengzhou,
More informationA Relativistic Electron in a Coulomb Potential
A Relativistic Electon in a Coulomb Potential Alfed Whitehead Physics 518, Fall 009 The Poblem Solve the Diac Equation fo an electon in a Coulomb potential. Identify the conseved quantum numbes. Specify
More informationQuasi-Randomness and the Distribution of Copies of a Fixed Graph
Quasi-Randomness and the Distibution of Copies of a Fixed Gaph Asaf Shapia Abstact We show that if a gaph G has the popety that all subsets of vetices of size n/4 contain the coect numbe of tiangles one
More informationA POWER IDENTITY FOR SECOND-ORDER RECURRENT SEQUENCES
A OWER IDENTITY FOR SECOND-ORDER RECURRENT SEQUENCES V. E. Hoggatt,., San ose State College, San ose, Calif. and D. A. Lind, Univesity of Viginia, Chalottesville, V a. 1. INTRODUCTION The following hold
More informationLecture 10. Vertical coordinates General vertical coordinate
Lectue 10 Vetical coodinates We have exclusively used height as the vetical coodinate but thee ae altenative vetical coodinates in use in ocean models, most notably the teainfollowing coodinate models
More informationarxiv: v1 [math.nt] 12 May 2017
SEQUENCES OF CONSECUTIVE HAPPY NUMBERS IN NEGATIVE BASES HELEN G. GRUNDMAN AND PAMELA E. HARRIS axiv:1705.04648v1 [math.nt] 12 May 2017 ABSTRACT. Fo b 2 and e 2, let S e,b : Z Z 0 be the function taking
More information16 Modeling a Language by a Markov Process
K. Pommeening, Language Statistics 80 16 Modeling a Language by a Makov Pocess Fo deiving theoetical esults a common model of language is the intepetation of texts as esults of Makov pocesses. This model
More informationLinear Algebra Math 221
Linea Algeba Math Open Book Eam Open Notes Sept Calculatos Pemitted Sho all ok (ecept #). ( pts) Gien the sstem of equations a) ( pts) Epess this sstem as an augmented mati. b) ( pts) Bing this mati to
More informationtitrrvers:rtt t>1 NO~~H CAROLINA
titvers:tt t>1 NO~~H CAROLINA Depatment of statistics Chapel Hill, N. C. ON A BOUN.D USEFUL IN THE THEORY OF FACTORIAL DESIGNS AND ERROR CORRECTING CODES by R. C. Bose and J. N. Sivastava Apil 1963 Gant
More informationSection 26 The Laws of Rotational Motion
Physics 24A Class Notes Section 26 The Laws of otational Motion What do objects do and why do they do it? They otate and we have established the quantities needed to descibe this motion. We now need to
More informationSolving Problems of Advance of Mercury s Perihelion and Deflection of. Photon Around the Sun with New Newton s Formula of Gravity
Solving Poblems of Advance of Mecuy s Peihelion and Deflection of Photon Aound the Sun with New Newton s Fomula of Gavity Fu Yuhua (CNOOC Reseach Institute, E-mail:fuyh945@sina.com) Abstact: Accoding to
More informationf h = u, h g = v, we have u + v = f g. So, we wish
Answes to Homewok 4, Math 4111 (1) Pove that the following examples fom class ae indeed metic spaces. You only need to veify the tiangle inequality. (a) Let C be the set of continuous functions fom [0,
More information13. Adiabatic Invariants and Action-Angle Variables Michael Fowler
3 Adiabatic Invaiants and Action-Angle Vaiables Michael Fowle Adiabatic Invaiants Imagine a paticle in one dimension oscillating back and foth in some potential he potential doesn t have to be hamonic,
More informationA Crash Course in (2 2) Matrices
A Cash Couse in ( ) Matices Seveal weeks woth of matix algeba in an hou (Relax, we will only stuy the simplest case, that of matices) Review topics: What is a matix (pl matices)? A matix is a ectangula
More informationPhysics 161 Fall 2011 Extra Credit 2 Investigating Black Holes - Solutions The Following is Worth 50 Points!!!
Physics 161 Fall 011 Exta Cedit Investigating Black Holes - olutions The Following is Woth 50 Points!!! This exta cedit assignment will investigate vaious popeties of black holes that we didn t have time
More informationMath 1105: Calculus I (Math/Sci majors) MWF 11am / 12pm, Campion 235 Written homework 3
Math : alculus I Math/Sci majos MWF am / pm, ampion Witten homewok Review: p 94, p 977,8,9,6, 6: p 46, 6: p 4964b,c,69, 6: p 47,6 p 94, Evaluate the following it by identifying the integal that it epesents:
More informationSolutions to Problem Set 8
Massachusetts Institute of Technology 6.042J/18.062J, Fall 05: Mathematics fo Compute Science Novembe 21 Pof. Albet R. Meye and Pof. Ronitt Rubinfeld evised Novembe 27, 2005, 858 minutes Solutions to Poblem
More informationA STUDY OF HAMMING CODES AS ERROR CORRECTING CODES
AGU Intenational Jounal of Science and Technology A STUDY OF HAMMING CODES AS ERROR CORRECTING CODES Ritu Ahuja Depatment of Mathematics Khalsa College fo Women, Civil Lines, Ludhiana-141001, Punjab, (India)
More informationLecture 16 Root Systems and Root Lattices
1.745 Intoduction to Lie Algebas Novembe 1, 010 Lectue 16 Root Systems and Root Lattices Pof. Victo Kac Scibe: Michael Cossley Recall that a oot system is a pai (V, ), whee V is a finite dimensional Euclidean
More informationCHAPTER 3. Section 1. Modeling Population Growth
CHAPTER 3 Section 1. Modeling Population Gowth 1.1. The equation of the Malthusian model is Pt) = Ce t. Apply the initial condition P) = 1. Then 1 = Ce,oC = 1. Next apply the condition P1) = 3. Then 3
More information