Data Flow Anomaly Analysis
|
|
- Kory Floyd
- 6 years ago
- Views:
Transcription
1 Pof. D. Liggesmeye, 1 Contents Data flows an ata flow anomalies State machine fo ata flow anomaly analysis Example withot loops Example with loops Data Flow Anomaly Analysis Softwae Qality Assance Softwae Qality Assance Pof. D. Liggesmeye, 2 Data Flows an Data Flow Anomalies Data Flows an Data Flow Anomalies The ata flow anomaly analysis gaantees the ientification of cetain falts (so-calle ata flow anomalies) The ata flow w..t. to a cetain vaiable on a paticla exection path can be escibe by its seqence of efinitions, efeences (p-ses an c-ses) an nefinitions (see ata flow testing) Rles fo ata flows A vale mst not be assigne twice to a vaiable (-anomaly) An nefine vaiable mst not be efeence (-anomaly) The vale of a vaiable mst not be elete iectly afte the vale has been assigne (-anomaly) These ata flow anomalies can be etecte by static analysis x is efine: (efine) The vaiable x is assigne a vale (e.g. x = 5;) x is efeence: (efeence) The vale of the vaiable x is ea in a comptation o in a ecision, i.e., the vale of x oes not change (e.g. y = x + 1; o if (x > 0)...) x is nefine: (nefine) The vale of the vaiable x is elete (e.g., eletion of local vaiables within a fnction o pocee at its temination). At pogam stat all vaiables ae nefine x is not se: e (empty) The instction of the noe ne consieation oes not inflence the vaiable x. x is not efine, efeence o nefine Softwae Qality Assance Pof. D. Liggesmeye, 3 Softwae Qality Assance Pof. D. Liggesmeye, 4
2 Pof. D. Liggesmeye, 5 Data Flows an Data Flow Anomalies State Machine fo Data Flow Anomaly Analysis Let s consie the two following ata flows w..t. a vaiable (: nefinition, : efinition, : efeence) 1: 2: Seqence 1 begins with the patten. The vaiable has a anom vale at the time of the efeence, as it was not efine befoe. Thee is a ata flow anomaly of the type ; the efeence of a vaiable with nefine, anom vale Seqence 2 contains two sccessive vaiable efinitions. The fist efinition has no effect, as the vale is always ovewitten by the secon efinition. The ata flow anomaly is of the type Seqence 2 ens with a efinition followe by an nefinition. The vale assigne by the efinition is not se, as it is immeiately elete aftewas. This ata flow anomaly is of the type ata flow anomaly stat (S) (-anomaly) (-anomaly) efine (-anomaly) (D) nefine (U) If the state ata flow anomaly is eache o at the en of a ata flow anomaly analysis the state nefine is not eache, a ata flow anomaly is etecte. The state machine efines a egla gamma. Sch gammas ae a stana case fo compile constction. In compiles they seve as a basis fo the lexical analysis. Ths, ata flow analysis can be integate into compiles (which is the case in some compiles yo shol check whethe yo compile can o it) efeence (R) Softwae Qality Assance Softwae Qality Assance Pof. D. Liggesmeye, 6 Example withot Loops Example withot Loops The opeation MinMax gets two nmbes via ateface which ae to be etne oee accoing to size voi MinMax (int& Min, int& Max) int Help; Max = Min; Help = Min; en MinMax; Assignment of the ata flow attibtes w..t. the vaiables to the noes of the contol flow gaph eletion of a vale (nefine) vale assignment (efine) eaing a vale (efeence) Analysis of the ata flows fo the vaiables on the paths of the contol flow gaph Softwae Qality Assance Pof. D. Liggesmeye, 7 Softwae Qality Assance Pof. D. Liggesmeye, 8
3 Pof. D. Liggesmeye, 9 Example withot Loops Example withot Loops Contol flow gaph of MinMax n stat (Min), (Max), (Help) Data flows of MinMax Impot of Min an Max (Min), (Max) Path (Min), (Max) Vaiable n stat n ot n stat n ot (Help), (Max) Min Max = Min; (Min), (Max) Max Help= Min; (Min), (Help) Help Expot of Min an Max n ot (Min), (Max) (Min), (Max), (Help) nefine efine - efeence Softwae Qality Assance Softwae Qality Assance Pof. D. Liggesmeye, 10 Example withot Loops Example withot Loops The coecte vesion of the opeation eas as follows voi MinMax (int& Min, int& Max) int Help; Help = Min; Min = Max; END MinMax; Impot of Min an Max Help = Min; Min = Max; Expot of Min an Max n stat n ot (Min), (Max), (Help) (Min), (Max) (Min), (Max) (Min), (Help) (Max), (Min) (Help), (Max) (Min), (Max) (Min), (Max), (Help) Softwae Qality Assance Pof. D. Liggesmeye, 11 Softwae Qality Assance Pof. D. Liggesmeye, 12
4 Pof. D. Liggesmeye, 13 Example withot Loops Path n stat Vaiable Min Max Help n ot n stat n ot Assmption: Data flow anomaly analysis mst be one fo all paths if the nmbe of paths is to lage, ata flow anomaly analysis may not be feasible (eason: loops, see path testing) Fotnately this assmption is not coect Concening the ata flow anomaly analysis it is sfficient to analyze the paths p to the fist iteation of loops (the secon exection of the loop boy) If no ata flow anomalies occe ntil then, it is ense that also on the paths with a highe nmbe of loop iteations no anomalies will occ nefine efine - efeence Softwae Qality Assance Softwae Qality Assance Pof. D. Liggesmeye, 14 An opeation ses Newtonian iteation as an appoximation pocee in oe to etemine the sqae oot The opeation shol etemine the sqae oot fo the non-negative inpts Fo negative inpts the vale 0.0 is to be etne De to the appoximation pocee it is ifficlt to give an estimation fo the maximm nmbe of iteations. This may case afinite nmbe of paths (emak: If the loop is well-esigne it shol teminate fo evey inpt, so the nmbe of iteation will be finite; bt in this special case, this is ha to pove.) oble Sqt(oble X) oble etnvale; if (X > 0.0) oble W; while (ABS(W*W-X) > 0.01) W = W - ((W*W-X) / (2.0 * W)); etnvale = W; else etnvale = 0.0; etn (etnvale); Softwae Qality Assance Pof. D. Liggesmeye, 15 Softwae Qality Assance Pof. D. Liggesmeye, 16
5 Pof. D. Liggesmeye, 17 n stat if (X > 0.0)... while (ABS (W * W) X) > W = W ((W * W X) / (2.0 * W)) etnvale = W else etnvale = 0.0 etn (etnvale) n ot (X), (W), (etnvale) (X) (X) (X), (W) (X), (W), (W) (W), (etnvale) (etnvale) (etnvale) The analysis of the path which is passe thogh fo non-positive inpt vales is elatively simple X: W: etnvale: None of these ata flows contains anomalies Fo positive inpts the loop is execte. The ata flow fo the vaiable X begins with the sb-seqence p to the loop ecision. If the loop is not entee, the sb-seqence follows iectly. If the loop is entee, the sb-seqence eges itself in. This sb-seqence epeats with evey fthe loop exection. Ths, the ata flows on these paths can be give complete fom. The ata flow fo the vaiable X is: () n, with n >= 0. Vale n epesents the nmbe of loop exections. Fo the vaiables W an etnvale also complete expessions fo the ata flows ae eceive similaly X: () n, n>=0 W: () n, n >=0 etnvale: (X), (W), (etnvale) Softwae Qality Assance Softwae Qality Assance Pof. D. Liggesmeye, 18 Qestion: Which vales n have to be consiee w..t. ata flow anomaly analysis Cetainly the case n=0 has to consiee, as a new seqence eslts e to the isappeaance of the backete sb-seqence The case n=1 also has to be consiee, as two new sb-seqence emege at the beginning of the backete expession an at its en Fthemoe the case n=2 is to be consiee. Fo claification the seqence... () n... shol be looke at which fo n=0 an n=1 has no ata flow anomalies, bt fo n=2 (......) shows a -anomaly Fo geate vales n no potential new ata flow anomalies eslt. If no ata flow anomaly on the paths p to the secon loop exection has occe yet, none will occ actally. The infinite nmbe of paths has no inflence on this The opeation sqt fo the vaiable W shows a ata flow anomaly. The ata flow () n begins with a -anomaly. The vale of the vaiable W is not initialise yet at the time of the fist eaing access. Howeve, the opeation woks coectly fo anom positive initial vales of W, so that ynamic testing oes not etect the falt eliably. Fo negative initial vales of W the negative oot is etemine. If W by accient is initially eqal zeo, the pogam cashes, as a ivie by zeo occs. While by ynamic testing this falt can be etecte only neliably, it is ientifiable by ata flow anomaly analysis eliably an at vey low costs Softwae Qality Assance Pof. D. Liggesmeye, 19 Softwae Qality Assance Pof. D. Liggesmeye, 20
6 Pof. D. Liggesmeye, 21 n stat (X), (W), (etnvale) (X) if (X > 0.0)... (X) W = 1.0 (W) while (ABS (W * W) X) > (X), (W) W = W ((W * W X) / (2.0 * W)) (X), (W), (W) etnvale = W (W), (etnvale) else etnvale = 0.0 (etnvale) etn (etnvale) (etnvale) n ot (X), (W), (etnvale) Softwae Qality Assance
Integral Control via Bias Estimation
1 Integal Contol via Bias stimation Consie the sstem ẋ = A + B +, R n, R p, R m = C +, R q whee is an nknown constant vecto. It is possible to view as a step istbance: (t) = 0 1(t). (If in fact (t) vaies
More informationCHAPTER 2 DERIVATION OF STATE EQUATIONS AND PARAMETER DETERMINATION OF AN IPM MACHINE. 2.1 Derivation of Machine Equations
1 CHAPTER DERIVATION OF STATE EQUATIONS AND PARAMETER DETERMINATION OF AN IPM MACHINE 1 Deivation of Machine Equations A moel of a phase PM machine is shown in Figue 1 Both the abc an the q axes ae shown
More informationExample
Chapte.4 iffusion with Chemical eaction Example.4- ------------------------------------------------------------------------------ fluiize coal eacto opeates at 45 K an atm. The pocess will be limite by
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 information556: MATHEMATICAL STATISTICS I
556: MATHEMATICAL STATISTICS I CHAPTER 5: STOCHASTIC CONVERGENCE The following efinitions ae state in tems of scala anom vaiables, but exten natually to vecto anom vaiables efine on the same obability
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 informationFigure 1. We will begin by deriving a very general expression before returning to Equations 1 and 2 to determine the specifics.
Deivation of the Laplacian in Spheical Coodinates fom Fist Pinciples. Fist, let me state that the inspiation to do this came fom David Giffiths Intodction to Electodynamics textbook Chapte 1, Section 4.
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 informationMATHS FOR ENGINEERS ALGEBRA TUTORIAL 8 MATHEMATICAL PROGRESSIONS AND SERIES
MATHS FOR ENGINEERS ALGEBRA TUTORIAL 8 MATHEMATICAL PROGRESSIONS AND SERIES O completio of this ttoial yo shold be able to do the followig. Eplai aithmetical ad geometic pogessios. Eplai factoial otatio
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 informationMuch that has already been said about changes of variable relates to transformations between different coordinate systems.
MULTIPLE INTEGRLS I P Calculus Cooinate Sstems Much that has alea been sai about changes of vaiable elates to tansfomations between iffeent cooinate sstems. The main cooinate sstems use in the solution
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 informationJerk and Hyperjerk in a Rotating Frame of Reference
Jek an Hypejek in a Rotating Fame of Refeence Amelia Caolina Spaavigna Depatment of Applie Science an Technology, Politecnico i Toino, Italy. Abstact: Jek is the eivative of acceleation with espect to
More informationGravity and isostasy
Gavity and isostasy Reading: owle p60 74 Theoy of gavity Use two of Newton s laws: ) Univesal law of gavitation: Gmm = m m Univesal gavitational constant G=6.67 x 0 - Nm /kg ) Second law of motion: = ma
More informationLab 10: Newton s Second Law in Rotation
Lab 10: Newton s Second Law in Rotation We can descibe the motion of objects that otate (i.e. spin on an axis, like a popelle o a doo) using the same definitions, adapted fo otational motion, that we have
More informationData Structures Week #10. Graphs & Graph Algorithms
Data Stctes Week #0 Gaphs & Gaph Algoithms Otline Motiation fo Gaphs Definitions Repesentation of Gaphs Topological Sot Beadth-Fist Seach (BFS) Depth-Fist Seach (DFS) Single-Soce Shotest Path Poblem (SSSP)
More informationf(y) signal norms system gain bounded input bounded output (BIBO) stability For what G(s) and f( ) is the closed-loop system stable?
Lecte 5 Inpt otpt stabilit Cose Otline o How to make a cicle ot of the point + i, and diffeent was to sta awa fom it... Lecte -3 Lecte 4-6 Modelling and basic phenomena (lineaization, phase plane, limit
More informationA Note on Irreducible Polynomials and Identity Testing
A Note on Irrecible Polynomials an Ientity Testing Chanan Saha Department of Compter Science an Engineering Inian Institte of Technology Kanpr Abstract We show that, given a finite fiel F q an an integer
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 informationPrediction of Ship Manoeuvrability Making Use of Model Tests
epinted: 3-5- Website: www.shipmotions.nl epot 88, Apil 97, Delft niesity of Technology, Ship Hydomechanics aboatoy, Mekelweg, 68 CD Delft, The ethelands. Pediction of Ship Manoeability Making se of Model
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 informationHomework Set 3 Physics 319 Classical Mechanics
Homewok Set 3 Phsics 319 lassical Mechanics Poblem 5.13 a) To fin the equilibium position (whee thee is no foce) set the eivative of the potential to zeo U 1 R U0 R U 0 at R R b) If R is much smalle than
More informationEncapsulation theory: radial encapsulation. Edmund Kirwan *
Encapsulation theoy: adial encapsulation. Edmund Kiwan * www.edmundkiwan.com Abstact This pape intoduces the concept of adial encapsulation, wheeby dependencies ae constained to act fom subsets towads
More informationFrom Errors to Uncertainties in Basic Course in Electrical Measurements. Vladimir Haasz, Milos Sedlacek
Fom Eos to ncetainties in asic Cose in Electical Measements Vladimi Haasz, Milos Sedlacek Czech Technical nivesity in Page, Faclty of Electical Engineeing, Technicka, CZ-667 Page, Czech epblic phone:40
More informationPHYS 705: Classical Mechanics. Central Force Problems II
PHYS 75: Cassica Mechanics Centa Foce Pobems II Obits in Centa Foce Pobem Sppose we e inteested moe in the shape of the obit, (not necessay the time evotion) Then, a sotion fo = () o = () wod be moe sef!
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 informationPhysics 211: Newton s Second Law
Physics 211: Newton s Second Law Reading Assignment: Chapte 5, Sections 5-9 Chapte 6, Section 2-3 Si Isaac Newton Bon: Januay 4, 1643 Died: Mach 31, 1727 Intoduction: Kinematics is the study of how objects
More informationLab #4: Newton s Second Law
Lab #4: Newton s Second Law Si Isaac Newton Reading Assignment: bon: Januay 4, 1643 Chapte 5 died: Mach 31, 1727 Chapte 9, Section 9-7 Intoduction: Potait of Isaac Newton by Si Godfey Knelle http://www.newton.cam.ac.uk/at/potait.html
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 informationAt the end of this topic, students should be able to understand the meaning of finite and infinite sequences and series, and use the notation u
Natioal Jio College Mathematics Depatmet 00 Natioal Jio College 00 H Mathematics (Seio High ) Seqeces ad Seies (Lecte Notes) Topic : Seqeces ad Seies Objectives: At the ed of this topic, stdets shold be
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 informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY Physics Department. Problem Set 10 Solutions. r s
MASSACHUSETTS INSTITUTE OF TECHNOLOGY Physics Depatment Physics 8.033 Decembe 5, 003 Poblem Set 10 Solutions Poblem 1 M s y x test paticle The figue above depicts the geomety of the poblem. The position
More informationPH126 Exam I Solutions
PH6 Exam I Solutions q Q Q q. Fou positively chage boies, two with chage Q an two with chage q, ae connecte by fou unstetchable stings of equal length. In the absence of extenal foces they assume the equilibium
More informationQuick Switching Conditional RGS Plan-3 Indexed through Outgoing Quality Levels
Mathematics and Statistics 2(): 32-38 204 DOI: 0.389/ms.204.02005 http://www.hpb.og Qick Switching Conditional RGS Plan-3 Indeed thogh Otgoing Qality Levels V. Kaviyaas Depatment of Statistics, Bhaathia
More informationTree-structured Data Regeneration in Distributed Storage Systems with Regenerating Codes
Tee-stuctue Data Regeneation in Distibute Stoage Systems with Regeneating Coes Jun Li, Shuang Yang, Xin Wang School of Compute Science Fuan Univesity, China {0572222, 06300720227, xinw}@fuaneucn Baochun
More informationElectric Potential and Gauss s Law, Configuration Energy Challenge Problem Solutions
Poblem 1: Electic Potential an Gauss s Law, Configuation Enegy Challenge Poblem Solutions Consie a vey long o, aius an chage to a unifom linea chage ensity λ a) Calculate the electic fiel eveywhee outsie
More informationNotes for the standard central, single mass metric in Kruskal coordinates
Notes fo the stana cental, single mass metic in Kuskal cooinates I. Relation to Schwazschil cooinates One oiginally elates the Kuskal cooinates to the Schwazschil cooinates in the following way: u = /2m
More informationPhysics 107 HOMEWORK ASSIGNMENT #15
Physics 7 HOMEWORK SSIGNMENT #5 Cutnell & Johnson, 7 th eition Chapte 8: Poblem 4 Chapte 9: Poblems,, 5, 54 **4 small plastic with a mass of 6.5 x - kg an with a chage of.5 µc is suspene fom an insulating
More informationˆ SSE SSE q SST R SST R q R R q R R q
Bll Evas Spg 06 Sggested Aswes, Poblem Set 5 ECON 3033. a) The R meases the facto of the vaato Y eplaed by the model. I ths case, R =SSM/SST. Yo ae gve that SSM = 3.059 bt ot SST. Howeve, ote that SST=SSM+SSE
More informationOutline. Reinforcement Learning. What is RL? Reinforcement learning is learning what to do so as to maximize a numerical reward signal
Otine Reinfocement Leaning Jne, 005 CS 486/686 Univesity of Wateoo Rsse & Novig Sect.-. What is einfocement eaning Tempoa-Diffeence eaning Q-eaning Machine Leaning Spevised Leaning Teache tes eane what
More information3.1 Random variables
3 Chapte III Random Vaiables 3 Random vaiables A sample space S may be difficult to descibe if the elements of S ae not numbes discuss how we can use a ule by which an element s of S may be associated
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 informationSPH4UI 28/02/2011. Total energy = K + U is constant! Electric Potential Mr. Burns. GMm
8//11 Electicity has Enegy SPH4I Electic Potential M. Buns To sepaate negative an positive chages fom each othe, wok must be one against the foce of attaction. Theefoe sepeate chages ae in a higheenegy
More informationac p Answers to questions for The New Introduction to Geographical Economics, 2 nd edition Chapter 3 The core model of geographical economics
Answes to questions fo The New ntoduction to Geogaphical Economics, nd edition Chapte 3 The coe model of geogaphical economics Question 3. Fom intoductoy mico-economics we know that the condition fo pofit
More information. Using our polar coordinate conversions, we could write a
504 Chapte 8 Section 8.4.5 Dot Poduct Now that we can add, sutact, and scale vectos, you might e wondeing whethe we can multiply vectos. It tuns out thee ae two diffeent ways to multiply vectos, one which
More information15. SIMPLE MHD EQUILIBRIA
15. SIMPLE MHD EQUILIBRIA In this Section we will examine some simple examples of MHD equilibium configuations. These will all be in cylinical geomety. They fom the basis fo moe the complicate equilibium
More informationASTR415: Problem Set #6
ASTR45: Poblem Set #6 Cuan D. Muhlbege Univesity of Mayland (Dated: May 7, 27) Using existing implementations of the leapfog and Runge-Kutta methods fo solving coupled odinay diffeential equations, seveal
More informationSAMPLE QUIZ 3 - PHYSICS For a right triangle: sin θ = a c, cos θ = b c, tan θ = a b,
SAMPLE QUIZ 3 - PHYSICS 1301.1 his is a closed book, closed notes quiz. Calculatos ae pemitted. he ONLY fomulas that may be used ae those given below. Define all symbols and justify all mathematical expessions
More informationHandout: IS/LM Model
Econ 32 - IS/L odel Notes Handout: IS/L odel IS Cuve Deivation Figue 4-4 in the textbook explains one deivation of the IS cuve. This deivation uses the Induced Savings Function fom Chapte 3. Hee, I descibe
More informationEquilibria of a cylindrical plasma
// Miscellaneous Execises Cylinical equilibia Equilibia of a cylinical plasma Consie a infinitely long cyline of plasma with a stong axial magnetic fiel (a geat fusion evice) Plasma pessue will cause the
More informationMotithang Higher Secondary School Thimphu Thromde Mid Term Examination 2016 Subject: Mathematics Full Marks: 100
Motithang Highe Seconday School Thimphu Thomde Mid Tem Examination 016 Subject: Mathematics Full Maks: 100 Class: IX Witing Time: 3 Hous Read the following instuctions caefully In this pape, thee ae thee
More informationA Low-Complexity and High-Throughput RTL Design of a BCH (15,7) Decoder
ITB J. ICT, Vol., No.,, - A Low-Compleity and High-Thoghpt RTL Design of a BCH (,) Decode Henda Setiawan Electical Engineeing Depatment, Islamic Univesity of Indonesia Jl. Kaliang Km.. Yogyakata, Indonesia,
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 informationand the correct answer is D.
@. Assume the pobability of a boy being bon is the same as a gil. The pobability that in a family of 5 childen thee o moe childen will be gils is given by A) B) C) D) Solution: The pobability of a gil
More informationPseudopotentials (Part I):
seudopotentials at : eog nstitut fü Mateialphysik and ente fo omputational Mateials cience nivesität ien, ensengasse, A- ien, Austia b-initio ienna ackage imulation, OONAL A age Oveview the vey basics
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 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 informationQuantum Mechanics I - Session 5
Quantum Mechanics I - Session 5 Apil 7, 015 1 Commuting opeatos - an example Remine: You saw in class that Â, ˆB ae commuting opeatos iff they have a complete set of commuting obsevables. In aition you
More informationOn the Davenport-Mahler bound
On the Davenpot-Mahle boun Paula Escocielo Daniel Peucci Depatamento e Matemática, FCEN, Univesia e Buenos Aies, Agentina IMAS, CONICET UBA, Agentina Decembe 22, 206 Abstact We pove that the Davenpot-Mahle
More informationToday in Physics 218: radiation from moving charges
Today in Physics 218: adiation fom moving chages Poblems with moving chages Motion, snapshots and lengths The Liénad-Wiechet potentials Fields fom moving chages Radio galaxy Cygnus A, obseved by Rick Peley
More informationMulti-step matrix game of safe ship control at various safe passing distances
Scientific Jonals of the Maitime Univesity of Szczecin Zeszyty Nakowe Akademii Moskie w Szczecinie 26, 46 (8), 4 46 ISSN 733-867 (Pinted) Received: 3.8.25 ISSN 2392-378 (Online) Acceted: 9.5.26 DOI:.742/3
More informationECE Spring Prof. David R. Jackson ECE Dept. Notes 5
ECE 634 Sping 06 Pof. David R. Jacson ECE Dept. Notes 5 TM x Sface-Wave Soltion Poblem nde consideation: x h ε, µ z A TM x sface wave is popagating in the z diection (no y vaiation). TM x Sface-Wave Soltion
More informationTowards scalable optimal traffic control
Towas scalable optimal taffic contol Pieto Ganinetti, Feeica Gain, Calos Canuas e Wit To cite this vesion: Pieto Ganinetti, Feeica Gain, Calos Canuas e Wit. Towas scalable optimal taffic contol. 54th IEEE
More information( )( )( ) ( ) + ( ) ( ) ( )
3.7. Moel: The magnetic fiel is that of a moving chage paticle. Please efe to Figue Ex3.7. Solve: Using the iot-savat law, 7 19 7 ( ) + ( ) qvsinθ 1 T m/a 1.6 1 C. 1 m/s sin135 1. 1 m 1. 1 m 15 = = = 1.13
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 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 informationYoun-Woo Lee School of Chemical and Biological Engineering Seoul National University , 599 Gwanangro, Gwanak-gu, Seoul, Korea
hemical Reacto esign Y W L Youn-Woo Lee School of hemical and iological Engineeing 55-74, 599 Gwanango, Gwana-gu, Seoul, Koea ywlee@snu.ac. http://sfpl.snu.ac. hapte 6 Multiple Reactions hemical Reaction
More informationLecture 8 - Gauss s Law
Lectue 8 - Gauss s Law A Puzzle... Example Calculate the potential enegy, pe ion, fo an infinite 1D ionic cystal with sepaation a; that is, a ow of equally spaced chages of magnitude e and altenating sign.
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 informationAssignment solution
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}
More informationDiscussion 02 Solutions
STAT 400 Discussio 0 Solutios Spig 08. ~.5 ~.6 At the begiig of a cetai study of a goup of pesos, 5% wee classified as heavy smoes, 30% as light smoes, ad 55% as osmoes. I the fiveyea study, it was detemied
More informationFUSE Fusion Utility Sequence Estimator
FUSE Fusion Utility Sequence Estimato Belu V. Dasaathy Dynetics, Inc. P. O. Box 5500 Huntsville, AL 3584-5500 belu.d@dynetics.com Sean D. Townsend Dynetics, Inc. P. O. Box 5500 Huntsville, AL 3584-5500
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 informationChapter 9 Dynamic stability analysis III Lateral motion (Lectures 33 and 34)
Pof. E.G. Tulapukaa Stability and contol Chapte 9 Dynamic stability analysis Lateal motion (Lectues 33 and 34) Keywods : Lateal dynamic stability - state vaiable fom of equations, chaacteistic equation
More informationF-IF Logistic Growth Model, Abstract Version
F-IF Logistic Gowth Model, Abstact Vesion Alignments to Content Standads: F-IFB4 Task An impotant example of a model often used in biology o ecology to model population gowth is called the logistic gowth
More informationCircular Orbits. and g =
using analyse planetay and satellite motion modelled as unifom cicula motion in a univesal gavitation field, a = v = 4π and g = T GM1 GM and F = 1M SATELLITES IN OBIT A satellite is any object that is
More informationLecture 28: Convergence of Random Variables and Related Theorems
EE50: Pobability Foundations fo Electical Enginees July-Novembe 205 Lectue 28: Convegence of Random Vaiables and Related Theoems Lectue:. Kishna Jagannathan Scibe: Gopal, Sudhasan, Ajay, Swamy, Kolla An
More informationHow can you find the dimensions of a square or a circle when you are given its area? When you multiply a number by itself, you square the number.
7. Finding Squae Root How can you find the dimenion of a quae o a cicle when you ae given it aea? When you multiply a numbe by itelf, you quae the numbe. Symbol fo quaing i the exponent. = = 6 quaed i
More informationMath 2263 Solutions for Spring 2003 Final Exam
Math 6 Solutions fo Sping Final Exam ) A staightfowad appoach to finding the tangent plane to a suface at a point ( x, y, z ) would be to expess the cuve as an explicit function z = f ( x, y ), calculate
More informationExploration of the three-person duel
Exploation of the thee-peson duel Andy Paish 15 August 2006 1 The duel Pictue a duel: two shootes facing one anothe, taking tuns fiing at one anothe, each with a fixed pobability of hitting his opponent.
More informationSection 5: Magnetostatics
ection 5: Magnetostatics In electostatics, electic fiels constant in time ae pouce by stationay chages. In magnetostatics magnetic fiels constant in time ae pouces by steay cuents. Electic cuents The electic
More informationGENERAL RELATIVITY: THE GEODESICS OF THE SCHWARZSCHILD METRIC
GENERAL RELATIVITY: THE GEODESICS OF THE SCHWARZSCHILD METRIC GILBERT WEINSTEIN 1. Intoduction Recall that the exteio Schwazschild metic g defined on the 4-manifold M = R R 3 \B 2m ) = {t,, θ, φ): > 2m}
More informationEXAM NMR (8N090) November , am
EXA NR (8N9) Novembe 5 9, 9. 1. am Remaks: 1. The exam consists of 8 questions, each with 3 pats.. Each question yields the same amount of points. 3. You ae allowed to use the fomula sheet which has been
More informationSkps Media
Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps
More informationEQUIVALENT OF ELLIPTIC INTEGRALS
EQUIVALENT OF ELLIPTIC INTEGRALS NECAT TASDELEN necattasdelen@ttmail.com Abstact The finite elliptic simila integals of second kind ae well known as. ( ( / ).( / ( ((. )/ ) (/) )) ). L = a + b a k k dk
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 informationChapter 7 Singular Value Decomposition
EE448/58 Vesion. John Stensy Chapte 7 Singla Vale Decomposition This chapte coves the singla vale decomposition (SVD) of an m n matix. This algoithm has applications in many aeas inclding nmeical analysis
More informationConstruction Monitoring of Cable-stayed Bridges Based on Gray Prediction Model
Sen Oes fo Repints to epints@benthamscience.ae 736 The Open Civil Engineeing Jounal, 25, 9, 736-742 Open Access Constuction Monitoing of Cable-staye Biges Base on Gay Peiction Moel Wu Fangwen *, Ji Zhengi
More informationMultihop MIMO Relay Networks with ARQ
Multihop MIMO Relay Netwoks with ARQ Yao Xie Deniz Gündüz Andea Goldsmith Depatment of Electical Engineeing Stanfod Univesity Stanfod CA Depatment of Electical Engineeing Pinceton Univesity Pinceton NJ
More informationMathematisch-Naturwissenschaftliche Fakultät I Humboldt-Universität zu Berlin Institut für Physik Physikalisches Grundpraktikum.
Mathematisch-Natuwissenschaftliche Fakultät I Humboldt-Univesität zu Belin Institut fü Physik Physikalisches Gundpaktikum Vesuchspotokoll Polaisation duch Reflexion (O11) duchgefüht am 10.11.2009 mit Vesuchspatne
More informationSession outline. Introduction to Feedback Control. The Idea of Feedback. Automatic control. Basic setting. The feedback principle
Session otline Intodction to Feedback Contol Kal-Eik Åzen, Anton Cevin Feedback and feedfowad PID Contol State-space models Tansfe fnction models Contol design sing pole placement State feedback and obseves
More informationNonlinear Control of Heartbeat Models
Nonlinea Contol of Heatbeat Moels Witt THANOM Robet N. K. LOH Depatment of Electical an Compte Engineeing Cente fo Robotics an Avance Atomation Oaklan Univesity Rocheste Michigan 489 U. S. A. ABSTRACT
More informationEM Boundary Value Problems
EM Bounday Value Poblems 10/ 9 11/ By Ilekta chistidi & Lee, Seung-Hyun A. Geneal Desciption : Maxwell Equations & Loentz Foce We want to find the equations of motion of chaged paticles. The way to do
More informationUsing DP for hierarchical discretization of continuous attributes. Amit Goyal (31 st March 2008)
Usng DP fo heachcal dscetzaton of contnos attbtes Amt Goyal 31 st Mach 2008 Refeence Chng-Cheng Shen and Yen-Lang Chen. A dynamc-pogammng algothm fo heachcal dscetzaton of contnos attbtes. In Eopean Jonal
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 informationPhysics 121 Hour Exam #5 Solution
Physics 2 Hou xam # Solution This exam consists of a five poblems on five pages. Point values ae given with each poblem. They add up to 99 points; you will get fee point to make a total of. In any given
More informationOn the Meaning of Message Sequence Charts
On the Meaning of Message Sequence Chats Manfed Boy Institut fü Infomatik Technische Univesität München Topics: We discuss Message Sequence Chats (MSCs) as a technique to descibe pattens of the inteaction
More informationMechanism of Tubular Pinch Effect of Dilute Suspension in a Pipe Flow. Hua-Shu Dou, 1* Boo Cheong Khoo, 2
Mechanism of Tbla Pinch Effect of Dilte Sspension in a Pipe Flow Ha-Sh Do, * Boo Cheong Khoo, Temasek Laboatoies, National Univesity of Singapoe, Singapoe 7508 Depatment of Mechanical Engineeing, National
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 informationSolution to HW 3, Ma 1a Fall 2016
Solution to HW 3, Ma a Fall 206 Section 2. Execise 2: Let C be a subset of the eal numbes consisting of those eal numbes x having the popety that evey digit in the decimal expansion of x is, 3, 5, o 7.
More information