CS579 - Homework 2. Tu Phan. March 10, 2004
|
|
- Roger Garrett
- 5 years ago
- Views:
Transcription
1 I! CS579 - Hmewk 2 Tu Phan Mach 10, Review 11 Planning Pblem and Plans The planning pblem we ae cnsideing is a 3-tuple descibed in the language whse syntax is given in the bk, whee is the initial state, is the gal and is the dmain desciptin Plans We define a plan as a sequence f sets f actins, ie, "!$#% whee ', (*),+-),0/,1, is a set f actins That is, we allw actins t be executed paallelly Tansitin Functin Given a planning pblem with the set f actins 5 and set f fluents 6, the tansitin functin 7 f the planning dmain that maps sets f actins and states int states is defined as fllws ;= if 90 >@BA0 st is nt executable in 9 "CDC$E0FG BHJIKEM MN 73 9%- (1) 39*OP"CDCEQSRT BHJIKE thewise W E Z E Z whee VU,5 is sme set f actins, is a state, "CDC$EXY[ZJ\ "CDC, and ]H^IKE_Y[ZJ\ 3 BHJI It is wthwhile extending the definitin f f a plan as well Me pecisely, the tansitin functin f plans ae defined ecusively as fllws 7 ` bac 9%d73 9% 7e` 3f4ac 9%-g7hfS i73 9%e if f N j is called the initial state We say that can be achieved fm afte executing plan if 7kQ 9 l and 7kQ satisfies 12 SAT Encdings Given a planning pblem 2 in the language with the tansitin functin given in (1), the geneal pcedue f tanslating int the cespnding ppsitinal they m with time instants is sketched ut as fllws n Each fluent pap6 cespnds t the set f ppsitins q^ s in m, whee +tu(bvv n Each actin ]A05 cespnds t the set f ppsitins qj w, whee +xm(bvveg/y1 n The encding cnsists f the fllwing sentences ŒxŠ Œ " 4Ž 4Ž ZJ\} { \} - ZJ\} { \ E%ĩ š S \}ƒ% w e% ZJ\} { \ E%ĩ e% ZJ\} { \} - { \} ~ \} (2) (3) ]AP5p e+t (ŠvwP/ 1 (4) A 6 e+x (ŠvwP/ 1 (5) A 6 e+x (ŠvwP/ 1 (6) 1
2 I 13 Cectness We will shw that the encding m fm (2)-(6) is equivalent t the iginal planning pblem Pf f the Cectness T pve the cectness f the SAT-encding, we need pve the fllwing 1 [Sundness] If m has a mdel then we can extact fm a plan f that achieves fm the initial state 2 [Cmpleteness] If has a plan f length that achieves fm the initial state then m has at least ne mdel fm which can be extacted 21 Sundness Assume that is a mdel f m et qj Q is an actin such that, ` vv!$# a and W q^ A Nte that W might be empty By (2) and (3), it is easy t see that W is the initial state f and hlds in W! Befe pving the sundness f the encding, let us pve the fllwing lemmas A emma 1 F evey intege +, (l)y+ )y, a fluent liteal I hlds in a state W if and nly if MI Pf It is bvius fm the definitin f W emma 2 F evey intege +, (l)y+ )yg/y1, and f evey actin in, is executable in W Pf et I be a fluent liteal in H Z By the definitin f, we have u On the the hand, Hence, MI As a esult, I hlds in W (by emma 1) That is, is executable in W emma 3 F evey intege +, (l)y+ )yg/y1, 'CC$E%FP ]H^IKEQMN (by (4)) Pf Assume that 'CC$ESF0 ]H^IKE 2N Thus, thee exists a fluent A 6 st XA_"CDC$E F0 ]H^IKE This implies that thee exist tw actins ^ 'A st pap'cc and pap ]H^I By (5), we have Œx is tue in And by (6), we have Œ is tue in This is a cntadictin Theefe, "CDCDE%FB ]H^IKEQ N emma 4 F evey intege +, (l)y+ )yg/y1, we have 7 W W Œ Pf Accding t emma 2 and emma 3, evey actin in is executable in W and 'CCDEtF ]H^IKE' N f all ( )+)p/u1 Theefe, accding t (1), 73 W ' cw Op"CDCEetRŠ BHJIKEb W f sme W We will pve W Œx MW by shwing that, f evey A06, (1) if A WJŒ then pa0w (2) if X A W Œ then A0W Pf f (1) Assume that A W Œ Accding t emma 1, we have Œ Hence, Thee ae tw pssibilities a) j Ž ZJ\} { \} - It is easy t see that 2c Ž e Thus, pa WJ ZJ\} Š { \} d % ZJ\} Š { \ E%ĩ b) ZJ\} { \ E%ĩ % That is, thee must exist an actin such that and A 'CC Since, we have A ' Hence, A "CDC Uu"CDC E In additin, "CDC E %F0 ]H^I E -gn (emma 4), we have _ A ]H^I E As a esult pa cwj4op"cdc E esrt ]H^I E QMW Theefe, in bth cases, we have pa0w 2
3 A A Ž { \ A W Ž { \ { \ E E E { A W Pf f (2) Assume that _ W^Œ Œ Accding t emma 1, is nt in, ie, Œ By (6), we have tw pssibilities a) ZJ\} E%ĩ In this case, we have Theefe, (by emma 1) On the the hand, since ZJ\} E%ĩ, we have ZJ\} E%ĩ e Thus, AP'CC Cnsequently, _ AXcWJ OG'CC e%rt ]H^I Q W b) ZJ\} \} - That is, thee must be exist an actin such that _A ]H^I and is tue in That is, A0 ]H^IKE and thus X AXcW OP"CDCE %RT ]H^IKEtW S, we can cnclude that if X W^Œ then _ The lemma is theefe pved Theem 1 The encding is sund Pf et 9 7 b v "3# 9 ^ f 1 ) +d) As we mentined abve, 9 MW By emma 4, using inductin, we can easily pve that W^b 94 f all (p)j+)j Hence, 7kQ 9 ^ 94!_ WJ! On the the hand, hlds W^! Thus, hlds in 73Q 94 That is, can be achieved fm 9 afte executing The encding is theefe pved t be sund 22 Cmpleteness Assume that has a plan!@#, whee, (_) +l) / 1, is a set f actins, that achieves gal fm 9 We dente 7 v # 9 by 9 Since is a plan that achieves gal, we have the fllwing ppeties (1) 9 ' (2) f evey intege, +, ([) +-) P/ 1, and f evey actin ]A0, is executable in 9 (3) 9 and ]H^IKE FG"CDCE- N f evey +, (l)y+-) (4) 9 Œ 239 OP"CDCEe RT ]H^IKE (5) f evey liteal ItAP, I hlds in 9! et m be the cespnding ppsitinal they f with time instants and f evey +, (P) +'), let dente the set f ppsitins q A09 We cnstuct an intepetatin f m as fllws j! cso qj BA0' š š!$# Fist f all, we will pve the fllwing lemmas and then use them t pve the cmpleteness f the encding emma 5 F evey intege +, (l)y+ )y, a fluent liteal I hlds in 9 iff MI Pf It is easy t see that I iff I is cntained in J, that is, I hlds in 9 emma 6 F evey intege +, (l)y+ )yg/y1, we have Pf It is bvius fm the cnstuctin f Theem 2 The encding is cmplete ]AP A0" Pf T pve that the encding is cmplete we need t pve (1) is a mdel f m and, (2) fm we can cnstuct the plan 3
4 Pving (2) is tivial We will shw (1) by checking all the ppsitinal sentences in m By emma 5, the sentence (2) and (3) ae appaently tue in F evey intege +, ( ) +d) 0/y1, and an actin GA0, since is executable in 9, evey fluent liteal ItA must hld in 9 By emma 5, we have I Thus, the sentence (4) is tue in Fm emma 6, we have ZJ\} { \} - ZJ\ E { \} - ZJ\} { \ E%ĩ ZJ\} { \ E%ĩ ZJ\} { \} - ZJ\ E { \ E%ĩ ZJ\ E { \ E%ĩ ZJ\ E { \} - S, t pve the sentences (5) and (6) ae tue in, we nly need t pve the fllwing sentences ae tue in Œ Š Œ b c 4Ž 4Ž ZJ\ E { \} - ZJ\ E { \ E%ĩ š % ZJ\ E { \ E%ĩ % ZJ\ E { \} d F each fluent A 6, and an intege +, ( ) +-)yg/y1, cnside the fllwing fu cases Case 1 hlds in bth 9 and 9 Œx Accding t emma 5, we have and Œ Since 9 Œ bj394 OG'CC E esrt BHJI E, X A0 ]H^I E Hence, we can educe (7) and () t Œ Š Œ " Ž ZJ\ E { \ E%ĩ ZJ\ E { \ E%ĩ (9) is tue in as bth and Œx ae tue in (9) is als tue in hand side ae false in Case 2 hlds in 9 but des nt hld in 9 Œx By emma 5, we have and M Œ (7) () (9) e (10) as bth the left hand side and the ight Since 94Œ 39 O "CDC E etr ]H^I E, A BHJI E S, thee exists ja such that A BHJI Z Thus, ZJ\ E { \} - is false in and [ZJ\ E { \} d ae tue in On the the hand, since BHJI3EQF "CDCE MN, we have X A0"CDCDE As a esult, bth sides f (7) ae false, wheeas bth sides f () ae tue That is, (7) and () ae tue in Case 3 des nt hld in 9 but hlds in 9 Œx In this case, we have Œ is tue in but is nt Since, 9 Œx 2 9 O"CDCE $R ]H^IKE, we have pap'cc$e Thus, A ]H^IKE Similaly t Case 2, (7) is tue in as its bth sides ae tue and () is als tue because its bth sides ae false Case 4 des nt hld in bth 9 and 9 Œ In this case, we have and Œ Since 9 Œ 94QO_"CDC E etr ]H^I E, we have eithe XA BHJI E u A 'CC E Hweve, A ]H^I E als implies that u A 'CC E Hence, in bth cases, we have _ A "CDC E H Z 4
5 (7) and () ae theefe equivalent t Œ Œ Ž ZJ\ E { \} - ZJ\ E { \} d (11) (12) It is easy t see that bth f them ae tue in is theefe a mdel f m S, the encding is cmplete 5
Hotelling s Rule. Therefore arbitrage forces P(t) = P o e rt.
Htelling s Rule In what fllws I will use the tem pice t dente unit pfit. hat is, the nminal mney pice minus the aveage cst f pductin. We begin with cmpetitin. Suppse that a fim wns a small pa, a, f the
More informationCHAPTER 24 GAUSS LAW
CHAPTR 4 GAUSS LAW LCTRIC FLUX lectic flux is a measue f the numbe f electic filed lines penetating sme suface in a diectin pependicula t that suface. Φ = A = A csθ with θ is the angle between the and
More information5.1 Moment of a Force Scalar Formation
Outline ment f a Cuple Equivalent System Resultants f a Fce and Cuple System ment f a fce abut a pint axis a measue f the tendency f the fce t cause a bdy t tate abut the pint axis Case 1 Cnside hizntal
More informationExample 11: The man shown in Figure (a) pulls on the cord with a force of 70
Chapte Tw ce System 35.4 α α 100 Rx cs 0.354 R 69.3 35.4 β β 100 Ry cs 0.354 R 111 Example 11: The man shwn in igue (a) pulls n the cd with a fce f 70 lb. Repesent this fce actin n the suppt A as Catesian
More informationEPr over F(X} AA+ A+A. For AeF, a generalized inverse. ON POLYNOMIAL EPr MATRICES
Intenat. J. Hath. & Math. S. VOL. 15 NO. 2 (1992) 261-266 ON POLYNOMIAL EP MATRICES 261 AR. MEENAKSHI and N. ANANOAM Depatment f Mathematics, Annamalai Univeslty, Annamalainaga- 68 2, Tamll Nadu, INDIA.
More informationME 3600 Control Systems Frequency Domain Analysis
ME 3600 Cntl Systems Fequency Dmain Analysis The fequency espnse f a system is defined as the steady-state espnse f the system t a sinusidal (hamnic) input. F linea systems, the esulting utput is itself
More informationWYSE Academic Challenge Sectional Mathematics 2006 Solution Set
WYSE Academic Challenge Sectinal 006 Slutin Set. Cect answe: e. mph is 76 feet pe minute, and 4 mph is 35 feet pe minute. The tip up the hill takes 600/76, 3.4 minutes, and the tip dwn takes 600/35,.70
More informationSection 4.2 Radians, Arc Length, and Area of a Sector
Sectin 4.2 Radian, Ac Length, and Aea f a Sect An angle i fmed by tw ay that have a cmmn endpint (vetex). One ay i the initial ide and the the i the teminal ide. We typically will daw angle in the cdinate
More informationWork, Energy, and Power. AP Physics C
k, Eneg, and Pwe AP Phsics C Thee ae man diffeent TYPES f Eneg. Eneg is expessed in JOULES (J) 4.19 J = 1 calie Eneg can be expessed me specificall b using the tem ORK() k = The Scala Dt Pduct between
More informationA proposition is a statement that can be either true (T) or false (F), (but not both).
400 lecture nte #1 [Ch 2, 3] Lgic and Prfs 1.1 Prpsitins (Prpsitinal Lgic) A prpsitin is a statement that can be either true (T) r false (F), (but nt bth). "The earth is flat." -- F "March has 31 days."
More informationApplication of Net Radiation Transfer Method for Optimization and Calculation of Reduction Heat Transfer, Using Spherical Radiation Shields
Wld Applied Sciences Junal (4: 457-46, 00 ISSN 88-495 IDOSI Publicatins, 00 Applicatin f Net Radiatin Tansfe Methd f Optimizatin and Calculatin f Reductin Heat Tansfe, Using Spheical Radiatin Shields Seyflah
More information5/20/2011. HITT An electron moves from point i to point f, in the direction of a uniform electric field. During this displacement:
5/0/011 Chapte 5 In the last lectue: CapacitanceII we calculated the capacitance C f a system f tw islated cnducts. We als calculated the capacitance f sme simple gemeties. In this chapte we will cve the
More informationRevisiting the Socrates Example
Sectin 1.6 Sectin Summary Valid Arguments Inference Rules fr Prpsitinal Lgic Using Rules f Inference t Build Arguments Rules f Inference fr Quantified Statements Building Arguments fr Quantified Statements
More informationConsider the simple circuit of Figure 1 in which a load impedance of r is connected to a voltage source. The no load voltage of r
1 Intductin t Pe Unit Calculatins Cnside the simple cicuit f Figue 1 in which a lad impedance f L 60 + j70 Ω 9. 49 Ω is cnnected t a vltage suce. The n lad vltage f the suce is E 1000 0. The intenal esistance
More informationComputational modeling techniques
Cmputatinal mdeling techniques Lecture 4: Mdel checing fr ODE mdels In Petre Department f IT, Åb Aademi http://www.users.ab.fi/ipetre/cmpmd/ Cntent Stichimetric matrix Calculating the mass cnservatin relatins
More informationOBJECTIVE To investigate the parallel connection of R, L, and C. 1 Electricity & Electronics Constructor EEC470
Assignment 7 Paallel Resnance OBJECTIVE T investigate the paallel cnnectin f R,, and C. EQUIPMENT REQUIRED Qty Appaatus 1 Electicity & Electnics Cnstuct EEC470 1 Basic Electicity and Electnics Kit EEC471-1
More informationElectric Charge. Electric charge is quantized. Electric charge is conserved
lectstatics lectic Chage lectic chage is uantized Chage cmes in incements f the elementay chage e = ne, whee n is an intege, and e =.6 x 0-9 C lectic chage is cnseved Chage (electns) can be mved fm ne
More informationCh. 3: Inverse Kinematics Ch. 4: Velocity Kinematics. The Interventional Centre
Ch. : Invee Kinemati Ch. : Velity Kinemati The Inteventinal Cente eap: kinemati eupling Apppiate f ytem that have an am a wit Suh that the wit jint ae ae aligne at a pint F uh ytem, we an plit the invee
More informationA) N B) 0.0 N C) N D) N E) N
Cdinat: H Bahluli Sunday, Nvembe, 015 Page: 1 Q1. Five identical pint chages each with chage =10 nc ae lcated at the cnes f a egula hexagn, as shwn in Figue 1. Find the magnitude f the net electic fce
More informationChapter Summary. Mathematical Induction Strong Induction Recursive Definitions Structural Induction Recursive Algorithms
Chapter 5 1 Chapter Summary Mathematical Inductin Strng Inductin Recursive Definitins Structural Inductin Recursive Algrithms Sectin 5.1 3 Sectin Summary Mathematical Inductin Examples f Prf by Mathematical
More informationThe Gradient and Applications This unit is based on Sections 9.5 and 9.6, Chapter 9. All assigned readings and exercises are from the textbook
The Gadient and Applicatins This unit is based n Sectins 9.5 and 9.6 Chapte 9. All assigned eadings and eecises ae fm the tetbk Objectives: Make cetain that u can define and use in cntet the tems cncepts
More informationREADING STATECHART DIAGRAMS
READING STATECHART DIAGRAMS Figure 4.48 A Statechart diagram with events The diagram in Figure 4.48 shws all states that the bject plane can be in during the curse f its life. Furthermre, it shws the pssible
More informationCHAPTER GAUSS'S LAW
lutins--ch 14 (Gauss's Law CHAPTE 14 -- GAU' LAW 141 This pblem is ticky An electic field line that flws int, then ut f the cap (see Figue I pduces a negative flux when enteing and an equal psitive flux
More informationCONSTRUCTING STATECHART DIAGRAMS
CONSTRUCTING STATECHART DIAGRAMS The fllwing checklist shws the necessary steps fr cnstructing the statechart diagrams f a class. Subsequently, we will explain the individual steps further. Checklist 4.6
More informationExample
hapte Exaple.6-3. ---------------------------------------------------------------------------------- 5 A single hllw fibe is placed within a vey lage glass tube. he hllw fibe is 0 c in length and has a
More informationSummary chapter 4. Electric field s can distort charge distributions in atoms and molecules by stretching and rotating:
Summa chapte 4. In chapte 4 dielectics ae discussed. In thse mateials the electns ae nded t the atms mlecules and cannt am fee thugh the mateial: the electns in insulats ae n a tight leash and all the
More informationHomology groups of disks with holes
Hmlgy grups f disks with hles THEOREM. Let p 1,, p k } be a sequence f distinct pints in the interir unit disk D n where n 2, and suppse that fr all j the sets E j Int D n are clsed, pairwise disjint subdisks.
More informationFINITE BOOLEAN ALGEBRA. 1. Deconstructing Boolean algebras with atoms. Let B = <B,,,,,0,1> be a Boolean algebra and c B.
FINITE BOOLEAN ALGEBRA 1. Decnstructing Blean algebras with atms. Let B = be a Blean algebra and c B. The ideal generated by c, (c], is: (c] = {b B: b c} The filter generated by c, [c), is:
More informationMEM202 Engineering Mechanics Statics Course Web site:
0 Engineeing Mechanics - Statics 0 Engineeing Mechanics Statics Cuse Web site: www.pages.dexel.edu/~cac54 COUSE DESCIPTION This cuse cves intemediate static mechanics, an extensin f the fundamental cncepts
More informationFinite Automata. Human-aware Robo.cs. 2017/08/22 Chapter 1.1 in Sipser
Finite Autmata 2017/08/22 Chapter 1.1 in Sipser 1 Last time Thery f cmputatin Autmata Thery Cmputability Thery Cmplexity Thery Finite autmata Pushdwn autmata Turing machines 2 Outline fr tday Finite autmata
More informationFri. 10/23 (C14) Linear Dielectrics (read rest at your discretion) Mon. (C 17) , E to B; Lorentz Force Law: fields
Fi. 0/23 (C4) 4.4. Linea ielectics (ead est at yu discetin) Mn. (C 7) 2..-..2, 2.3. t B; 5..-..2 Lentz Fce Law: fields Wed. and fces Thus. (C 7) 5..3 Lentz Fce Law: cuents Fi. (C 7) 5.2 Bit-Savat Law HW6
More informationStrees Analysis in Elastic Half Space Due To a Thermoelastic Strain
IOSR Junal f Mathematics (IOSRJM) ISSN: 78-578 Vlume, Issue (July-Aug 0), PP 46-54 Stees Analysis in Elastic Half Space Due T a Themelastic Stain Aya Ahmad Depatment f Mathematics NIT Patna Biha India
More informationLecture #2 : Impedance matching for narrowband block
Lectue # : Ipedance atching f nawband blck ichad Chi-Hsi Li Telephne : 817-788-848 (UA) Cellula phne: 13917441363 (C) Eail : chihsili@yah.c.cn 1. Ipedance atching indiffeent f bandwidth ne pat atching
More informationSchool of Chemical & Biological Engineering, Konkuk University
Schl f Cheical & Bilgical Engineeing, Knkuk Univesity Lectue 7 Ch. 2 The Fist Law Thecheisty Pf. Y-Sep Min Physical Cheisty I, Sping 2008 Ch. 2-2 The study f the enegy tansfeed as heat duing the cuse f
More informationAIR FORCE RESEARCH LABORATORY
AIR FORC RSARCH LABORATORY The xtinctin Theem as an xample f Reseach Vistas in Mathematical Optics Mach Richad A. Albanese Infmatin Opeatins and Applied Mathematics Human ffectiveness Diectate Bks City-Base
More informationCHE CHAPTER 11 Spring 2005 GENERAL 2ND ORDER REACTION IN TURBULENT TUBULAR REACTORS
CHE 52 - CHPTE Sping 2005 GENEL 2ND ODE ECTION IN TUULENT TUUL ECTOS Vassilats & T, IChEJ. (4), 666 (965) Cnside the fllwing stichiety: a + b = P The ass cnsevatin law f species i yields Ci + vci =. Di
More informationChapter 4 Motion in Two and Three Dimensions
Chapte 4 Mtin in Tw and Thee Dimensins In this chapte we will cntinue t stud the mtin f bjects withut the estictin we put in chapte t me aln a staiht line. Instead we will cnside mtin in a plane (tw dimensinal
More informationDead-beat controller design
J. Hetthéssy, A. Barta, R. Bars: Dead beat cntrller design Nvember, 4 Dead-beat cntrller design In sampled data cntrl systems the cntrller is realised by an intelligent device, typically by a PLC (Prgrammable
More informationJournal of Theoretics
Junal f Theetics Junal Hme Page The Classical Pblem f a Bdy Falling in a Tube Thugh the Cente f the Eath in the Dynamic They f Gavity Iannis Iaklis Haanas Yk Univesity Depatment f Physics and Astnmy A
More informationElectromagnetic Waves
Chapte 3 lectmagnetic Waves 3.1 Maxwell s quatins and ectmagnetic Waves A. Gauss s Law: # clsed suface aea " da Q enc lectic fields may be geneated by electic chages. lectic field lines stat at psitive
More informationE Z, (n l. and, if in addition, for each integer n E Z there is a unique factorization of the form
Revista Clmbiana de Matematias Vlumen II,1968,pags.6-11 A NOTE ON GENERALIZED MOBIUS f-functions V.S. by ALBIS In [1] the ncept f a cnjugate pair f sets f psi tive integers is int~dued Briefly, if Z dentes
More informationCambridge Assessment International Education Cambridge Ordinary Level. Published
Cambridge Assessment Internatinal Educatin Cambridge Ordinary Level ADDITIONAL MATHEMATICS 4037/1 Paper 1 Octber/Nvember 017 MARK SCHEME Maximum Mark: 80 Published This mark scheme is published as an aid
More informationA new Type of Fuzzy Functions in Fuzzy Topological Spaces
IOSR Jurnal f Mathematics (IOSR-JM e-issn: 78-578, p-issn: 39-765X Vlume, Issue 5 Ver I (Sep - Oct06, PP 8-4 wwwisrjurnalsrg A new Type f Fuzzy Functins in Fuzzy Tplgical Spaces Assist Prf Dr Munir Abdul
More informationWagon Markings Guidelines
Versin / Status: V 3.0 / apprved Wagn Markings Guidelines 1. Intrductin Article 4, para 4 f the Safety Directive (2004/49/EG amended by 2008/110/EC) stipulates the respnsibility f each manufacturer, maintenance
More informationDistance oracles in edge-labeled graphs
Distance acles in edge-labeled gaphs Fancesc Bnchi Aistides Ginis Fancesc Gull Antti Ukknen Yah Labs Bacelna, Spain {bnchi,gull}@yah-inc.cm Helsinki Institute f Infmatin Technlgy HIIT Aalt Univesity {aistides.ginis,antti.ukknen}@aalt.fi
More informationPre-Calculus Individual Test 2017 February Regional
The abbreviatin NOTA means Nne f the Abve answers and shuld be chsen if chices A, B, C and D are nt crrect. N calculatr is allwed n this test. Arcfunctins (such as y = Arcsin( ) ) have traditinal restricted
More informationChapter 4 Motion in Two and Three Dimensions
Chpte 4 Mtin in Tw nd Thee Dimensins In this chpte we will cntinue t stud the mtin f bjects withut the estictin we put in chpte t me ln stiht line. Insted we will cnside mtin in plne (tw dimensinl mtin)
More informationCAUTION: Do not install damaged parts!!!
Yu satisfactin is imptant t us, please let us help! If yu have any questins cncens duing the installatin, u suppt epesentatives ae available t assist yu. Please call: 1-877-769-3765 Live Chat at www.aptseies.cm
More informationMarch 15. Induction and Inductance Chapter 31
Mach 15 Inductin and Inductance Chapte 31 > Fces due t B fields Lentz fce τ On a mving chage F B On a cuent F il B Cuent caying cil feels a tque = µ B Review > Cuents geneate B field Bit-Savat law = qv
More informationCAUTION: Do not install damaged parts!!!
Yu satisfactin is imptant t us, please let us help! If yu have any questins cncens duing the installatin, u suppt epesentatives ae available t assist yu. Please call: 1-877-769-3765 Live Chat at www.aptseies.cm
More informationApplication Of Mealy Machine And Recurrence Relations In Cryptography
Applicatin Of Mealy Machine And Recurrence Relatins In Cryptgraphy P. A. Jytirmie 1, A. Chandra Sekhar 2, S. Uma Devi 3 1 Department f Engineering Mathematics, Andhra University, Visakhapatnam, IDIA 2
More informationNOTE ON APPELL POLYNOMIALS
NOTE ON APPELL POLYNOMIALS I. M. SHEFFER An interesting characterizatin f Appell plynmials by means f a Stieltjes integral has recently been given by Thrne. 1 We prpse t give a secnd such representatin,
More informationA) (0.46 î ) N B) (0.17 î ) N
Phys10 Secnd Maj-14 Ze Vesin Cdinat: xyz Thusday, Apil 3, 015 Page: 1 Q1. Thee chages, 1 = =.0 μc and Q = 4.0 μc, ae fixed in thei places as shwn in Figue 1. Find the net electstatic fce n Q due t 1 and.
More informationMODULE 1. e x + c. [You can t separate a demominator, but you can divide a single denominator into each numerator term] a + b a(a + b)+1 = a + b
. REVIEW OF SOME BASIC ALGEBRA MODULE () Slving Equatins Yu shuld be able t slve fr x: a + b = c a d + e x + c and get x = e(ba +) b(c a) d(ba +) c Cmmn mistakes and strategies:. a b + c a b + a c, but
More informationOn Topological Structures and. Fuzzy Sets
L - ZHR UNIVERSIT - GZ DENSHIP OF GRDUTE STUDIES & SCIENTIFIC RESERCH On Tplgical Structures and Fuzzy Sets y Nashaat hmed Saleem Raab Supervised by Dr. Mhammed Jamal Iqelan Thesis Submitted in Partial
More informationSupport-Vector Machines
Supprt-Vectr Machines Intrductin Supprt vectr machine is a linear machine with sme very nice prperties. Haykin chapter 6. See Alpaydin chapter 13 fr similar cntent. Nte: Part f this lecture drew material
More informationWe can see from the graph above that the intersection is, i.e., [ ).
MTH 111 Cllege Algebra Lecture Ntes July 2, 2014 Functin Arithmetic: With nt t much difficulty, we ntice that inputs f functins are numbers, and utputs f functins are numbers. S whatever we can d with
More informationPLEASURE TEST SERIES (XI) - 07 By O.P. Gupta (For stuffs on Math, click at theopgupta.com)
A Cmpilatin By : OP Gupta (WhatsApp @ +9-9650 50 80) Fr mre stuffs n Maths, please visit : wwwtheopguptacm Time Allwed : 80 Minutes Max Marks : 00 SECTION A Questin numbers 0 t 0 carry mark each x x 5
More informationHomework #7. True False. d. Given a CFG, G, and a string w, it is decidable whether w ε L(G) True False
Hmewrk #7 #1. True/ False a. The Pumping Lemma fr CFL s can be used t shw a language is cntext-free b. The string z = a k b k+1 c k can be used t shw {a n b n c n } is nt cntext free c. The string z =
More informationECE 2100 Circuit Analysis
ECE 2100 Circuit Analysis Lessn 25 Chapter 9 & App B: Passive circuit elements in the phasr representatin Daniel M. Litynski, Ph.D. http://hmepages.wmich.edu/~dlitynsk/ ECE 2100 Circuit Analysis Lessn
More informationENGI 1313 Mechanics I
ENGI 1313 Mechanics I Lectue 05: Catesian Vects Shawn Kenny, Ph.D., P.Eng. ssistant Pfess Faculty f Engineeing and pplied Science Memial Univesity f Newfundland spkenny@eng.mun.ca Chapte Objectives t eview
More informationEngineering Decision Methods
GSOE9210 vicj@cse.unsw.edu.au www.cse.unsw.edu.au/~gs9210 Maximin and minimax regret 1 2 Indifference; equal preference 3 Graphing decisin prblems 4 Dminance The Maximin principle Maximin and minimax Regret
More informationOn the Micropolar Fluid Flow through Porous Media
Pceedings f the th WEA Int. Cnf. n MATHEMATICAL METHOD, COMPUTATIONAL TECHNIQUE AND INTELLIGENT YTEM On the Micpla Fluid Flw thugh Pus Media M.T. KAMEL 3, D. ROACH, M.H. HAMDAN,3 Depatment f Mathematical
More informationExercises for Differential Amplifiers. ECE 102, Fall 2012, F. Najmabadi
Execises f iffeential mplifies ECE 0, Fall 0, F. Najmabai Execise : Cmpute,, an G if m, 00 Ω, O, an ientical Q &Q with µ n C x 8 m, t, λ 0. F G 0 an B F G. epeat the execise f λ 0. -. This execise shws
More informationNUMBERS, MATHEMATICS AND EQUATIONS
AUSTRALIAN CURRICULUM PHYSICS GETTING STARTED WITH PHYSICS NUMBERS, MATHEMATICS AND EQUATIONS An integral part t the understanding f ur physical wrld is the use f mathematical mdels which can be used t
More informationIntroduction. Electrostatics
UNIVESITY OF TECHNOLOGY, SYDNEY FACULTY OF ENGINEEING 4853 Electmechanical Systems Electstatics Tpics t cve:. Culmb's Law 5. Mateial Ppeties. Electic Field Stength 6. Gauss' Theem 3. Electic Ptential 7.
More informationYou need to be able to define the following terms and answer basic questions about them:
CS440/ECE448 Sectin Q Fall 2017 Midterm Review Yu need t be able t define the fllwing terms and answer basic questins abut them: Intr t AI, agents and envirnments Pssible definitins f AI, prs and cns f
More informationAnalytical Solution to Diffusion-Advection Equation in Spherical Coordinate Based on the Fundamental Bloch NMR Flow Equations
Intenatinal Junal f heetical and athematical Phsics 5, 5(5: 4-44 OI:.593/j.ijtmp.555.7 Analtical Slutin t iffusin-advectin Equatin in Spheical Cdinate Based n the Fundamental Blch N Flw Equatins anladi
More informationCS 477/677 Analysis of Algorithms Fall 2007 Dr. George Bebis Course Project Due Date: 11/29/2007
CS 477/677 Analysis f Algrithms Fall 2007 Dr. Gerge Bebis Curse Prject Due Date: 11/29/2007 Part1: Cmparisn f Srting Algrithms (70% f the prject grade) The bjective f the first part f the assignment is
More informationAnnouncements Candidates Visiting Next Monday 11 12:20 Class 4pm Research Talk Opportunity to learn a little about what physicists do
Wed., /11 Thus., /1 Fi., /13 Mn., /16 Tues., /17 Wed., /18 Thus., /19 Fi., / 17.7-9 Magnetic Field F Distibutins Lab 5: Bit-Savat B fields f mving chages (n quiz) 17.1-11 Pemanent Magnets 18.1-3 Mic. View
More informationPreparation work for A2 Mathematics [2017]
Preparatin wrk fr A2 Mathematics [2017] The wrk studied in Y12 after the return frm study leave is frm the Cre 3 mdule f the A2 Mathematics curse. This wrk will nly be reviewed during Year 13, it will
More informationENSC Discrete Time Systems. Project Outline. Semester
ENSC 49 - iscrete Time Systems Prject Outline Semester 006-1. Objectives The gal f the prject is t design a channel fading simulatr. Upn successful cmpletin f the prject, yu will reinfrce yur understanding
More informationSupplementary Course Notes Adding and Subtracting AC Voltages and Currents
Supplementary Curse Ntes Adding and Subtracting AC Vltages and Currents As mentined previusly, when cmbining DC vltages r currents, we nly need t knw the plarity (vltage) and directin (current). In the
More informationMethod for Approximating Irrational Numbers
Method fo Appoximating Iational Numbes Eic Reichwein Depatment of Physics Univesity of Califonia, Santa Cuz June 6, 0 Abstact I will put foth an algoithm fo poducing inceasingly accuate ational appoximations
More informationB. Definition of an exponential
Expnents and Lgarithms Chapter IV - Expnents and Lgarithms A. Intrductin Starting with additin and defining the ntatins fr subtractin, multiplicatin and divisin, we discvered negative numbers and fractins.
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 informationGRADUATE QUANTUM MECHANICS: 502 Spring Solutions to Assignment (a) To construct an eigenket of τ a, we take the combination.
GRADUATE QUANTUM MECHANICS: 50 Spring 00 Slutins t Assignment 1. 1. (a) T cnstruct an eigenket f τ a, we take the cmbinatin k e i k r r, (1) where k =(k,k y,k z ). Nw τ k e i k r τ a r e i k r r + a =
More informationChapter 5 Trigonometric Functions
Chapte 5 Tignmetic Functins Sectin 5.2 Tignmetic Functins 5-5. Angles Basic Teminlgy Degee Measue Standad Psitin Cteminal Angles Key Tems: vetex f an angle, initial side, teminal side, psitive angle, negative
More informationFunctions. EXPLORE \g the Inverse of ao Exponential Function
ifeg Seepe3 Functins Essential questin: What are the characteristics f lgarithmic functins? Recall that if/(x) is a ne-t-ne functin, then the graphs f/(x) and its inverse,/'~\x}, are reflectins f each
More informationCorrections for the textbook answers: Sec 6.1 #8h)covert angle to a positive by adding period #9b) # rad/sec
U n i t 6 AdvF Date: Name: Trignmetric Functins Unit 6 Tentative TEST date Big idea/learning Gals In this unit yu will study trignmetric functins frm grade, hwever everything will be dne in radian measure.
More informationTree Structured Classifier
Tree Structured Classifier Reference: Classificatin and Regressin Trees by L. Breiman, J. H. Friedman, R. A. Olshen, and C. J. Stne, Chapman & Hall, 98. A Medical Eample (CART): Predict high risk patients
More informationCombustion Chamber. (0.1 MPa)
ME 354 Tutial #10 Winte 001 Reacting Mixtues Pblem 1: Detemine the mle actins the pducts cmbustin when ctane, C 8 18, is buned with 00% theetical ai. Als, detemine the dew-pint tempeatue the pducts i the
More informationDataflow Analysis and Abstract Interpretation
Dataflw Analysis and Abstract Interpretatin Cmputer Science and Artificial Intelligence Labratry MIT Nvember 9, 2015 Recap Last time we develped frm first principles an algrithm t derive invariants. Key
More informationChapter 2 GAUSS LAW Recommended Problems:
Chapter GAUSS LAW Recmmended Prblems: 1,4,5,6,7,9,11,13,15,18,19,1,7,9,31,35,37,39,41,43,45,47,49,51,55,57,61,6,69. LCTRIC FLUX lectric flux is a measure f the number f electric filed lines penetrating
More informationLyapunov Stability Stability of Equilibrium Points
Lyapunv Stability Stability f Equilibrium Pints 1. Stability f Equilibrium Pints - Definitins In this sectin we cnsider n-th rder nnlinear time varying cntinuus time (C) systems f the frm x = f ( t, x),
More informationSurface and Interface Science Physics 627; Chemistry 542. Lecture 10 March 1, 2013
Suface and Inteface Science Physics 67; Chemisty 54 Lectue 0 Mach, 03 Int t Electnic Ppeties: Wk Functin,Theminic Electn Emissin, Field Emissin Refeences: ) Wduff & Delcha, Pp. 40-4; 46-484 ) Zangwill
More informationREPORT ITU-R SA Protection of the space VLBI telemetry link
Rep. ITU-R SA.65 REPORT ITU-R SA.65 Ptectin f the space VLBI telemety link CONTENTS Page Intductin... Space VLBI system.... Space VLBI telemety signal, nise and intefeence..... Signal... 3.. Nise and intefeence...
More informationALE 21. Gibbs Free Energy. At what temperature does the spontaneity of a reaction change?
Name Chem 163 Sectin: Team Number: ALE 21. Gibbs Free Energy (Reference: 20.3 Silberberg 5 th editin) At what temperature des the spntaneity f a reactin change? The Mdel: The Definitin f Free Energy S
More informationLEARNING : At the end of the lesson, students should be able to: OUTCOMES a) state trigonometric ratios of sin,cos, tan, cosec, sec and cot
Mathematics DM 05 Tpic : Trignmetric Functins LECTURE OF 5 TOPIC :.0 TRIGONOMETRIC FUNCTIONS SUBTOPIC :. Trignmetric Ratis and Identities LEARNING : At the end f the lessn, students shuld be able t: OUTCOMES
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 4. Function spaces
SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 4 Fall 2014 IV. Functin spaces IV.1 : General prperties Additinal exercises 1. The mapping q is 1 1 because q(f) = q(g) implies that fr all x we have f(x)
More informationPhysics 111. Exam #1. January 26, 2018
Physics xam # Januay 6, 08 ame Please ead and fllw these instuctins caefully: Read all pblems caefully befe attempting t slve them. Yu wk must be legible, and the ganizatin clea. Yu must shw all wk, including
More informationGENERAL FORMULAS FOR FLAT-TOPPED WAVEFORMS. J.e. Sprott. Plasma Studies. University of Wisconsin
GENERAL FORMULAS FOR FLAT-TOPPED WAVEFORMS J.e. Sprtt PLP 924 September 1984 Plasma Studies University f Wiscnsin These PLP Reprts are infrmal and preliminary and as such may cntain errrs nt yet eliminated.
More informationGetting Involved O. Responsibilities of a Member. People Are Depending On You. Participation Is Important. Think It Through
f Getting Invlved O Literature Circles can be fun. It is exciting t be part f a grup that shares smething. S get invlved, read, think, and talk abut bks! Respnsibilities f a Member Remember a Literature
More informationPrecalculus A. Semester Exam Review
Precalculus A 015-016 MCPS 015 016 1 The semester A eaminatin fr Precalculus cnsists f tw parts. Part 1 is selected respnse n which a calculatr will NOT be allwed. Part is shrt answer n which a calculatr
More informationAN INTERMITTENTLY USED SYSTEM WITH PREVENTIVE MAINTENANCE
J. Operatins Research Sc. f Japan V!. 15, N. 2, June 1972. 1972 The Operatins Research Sciety f Japan AN INTERMITTENTLY USED SYSTEM WITH PREVENTIVE MAINTENANCE SHUNJI OSAKI University f Suthern Califrnia
More informationHypothesis Tests for One Population Mean
Hypthesis Tests fr One Ppulatin Mean Chapter 9 Ala Abdelbaki Objective Objective: T estimate the value f ne ppulatin mean Inferential statistics using statistics in rder t estimate parameters We will be
More informationSection 5.8 Notes Page Exponential Growth and Decay Models; Newton s Law
Sectin 5.8 Ntes Page 1 5.8 Expnential Grwth and Decay Mdels; Newtn s Law There are many applicatins t expnential functins that we will fcus n in this sectin. First let s lk at the expnential mdel. Expnential
More informationAdministrativia. Assignment 1 due thursday 9/23/2004 BEFORE midnight. Midterm exam 10/07/2003 in class. CS 460, Sessions 8-9 1
Administrativia Assignment 1 due thursday 9/23/2004 BEFORE midnight Midterm eam 10/07/2003 in class CS 460, Sessins 8-9 1 Last time: search strategies Uninfrmed: Use nly infrmatin available in the prblem
More informationMAKING DOUGHNUTS OF COHEN REALS
MAKING DUGHNUTS F CHEN REALS Lrenz Halbeisen Department f Pure Mathematics Queen s University Belfast Belfast BT7 1NN, Nrthern Ireland Email: halbeis@qub.ac.uk Abstract Fr a b ω with b \ a infinite, the
More information