LETKF compared to 4DVAR for assimilation of surface pressure observations in IFS

Size: px
Start display at page:

Download "LETKF compared to 4DVAR for assimilation of surface pressure observations in IFS"

Transcription

1 LETKF compred to 4DVAR for ssimiltion of surfce pressure oservtions in IFS Pu Escrià, Mssimo Bonvit, Mts Hmrud, Lrs Isksen nd Pul Poli Interntionl Conference on Ensemle Methods in Geophysicl Sciences Toulouse, 2-6 Novemer 202 Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

2 Index 2 LETKF equtions Only Surfce Pressure Dt (PSFC) ssimilted Surfce Pressure is correction Infltion LETKF ginst 4DVAR LETKF Smoother Summry nd Discussion Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

3 LETKF equtions 3 Description of method in (Hunt et l., 2007) Ojective: minimiztion of J (s 4DVAR) J(x) (x x ) T (P ) (x x ) (y H(x)) R o T (y o H(x)) Ensemle prediction for ckground stte nd error estimtion: x x T P ( k ) X ( X ) Anlysis solved in the suspce S, spce of ensemle perturtions (w S): x x X w Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

4 Pu Escrià Interntionl Conference on Ensemle Methods, Novemer Lineriztion of H ssuming tht perturtions re very smll w.r.t the men: Reformultion of J in S (now J*): Minimiztion of J* hs nlyticl solution: LETKF equtions ] [ ] [ ) ( ) ( * w Y y y R w Y y y w w k w J o T o T ] ) ( ) [( ) ( ) ( T w o T w Y R Y I k P y y R Y P w

5 LETKF equtions 5 The nlysis stte is: Anlysis ensemle chosen using the Symmetric Squre Root method: Ensemle of nlysis sttes is finlly computed s: Done independently for ech grid point x i x X ( w w i ) Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

6 Only Surfce Pressure Dt (PSFC) ssimilted 6 First check of performnce of different schemes in consistent environment A similr simplified configurtion is used in the ERA-20C renlysis Opertionl nlysis cn e used s truth (could fvour 4DVAR scheme) It skips the (open) LETKF prolems when ssimilting ll the oservtions: ) Loclistion of stellite rdinces ) B rnk deficiency degrdes fitting of oservtions when their numer increses Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

7 Only Surfce Pressure Dt (PSFC) ssimilted 7 ~ os within 2 hour ssimltion window (ll ville types) Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

8 PSFC is correction 8 PSFC hs een corrected y opertionl (Drsko s) is correction scheme in LETKF (MSLP RMSE t SH with respect to opertionl nlysis) LETKF No BC LETKF BC Experimentl results re very sensitive to PSFC is correction Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

9 Infltion 9 Ad hoc fctor introduced in LETKF (nd EnKF in generl) ecuse ckground error is known to e underestimted due to model nd oundry condition errors, non-linerities, non-gussinities, etc Infltion pplied in our EnKF is multiplictive nd it is sed on the relxtionto-prior spred scheme (Whitker, 202): ( ) Severl schemes for dditive nd multiplictive infltion re implemented in IFS-EnKF Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

10 Infltion 0 α = 0.90 good for surfce nd low troposphere (MSLP RMSE & BIAS t NH) Wek sensitivity to infltion fctor Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

11 Infltion 4DVAR/EDA lso enefits from infltion (here MSLP RMSE t NH) EDA clirted EDA no clirted Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

12 Infltion 2 REDNMC coefficient for 4DVAR experiments, α =.4 After tuning (experiment fqm): i ( i o i ) o NH, α =.04 TR, α = 0.79 SH, α =.32 Equilirium Overdispersion Underdispersion Comprison well tuned for NH Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

13 LETKF ginst 4DVAR 3 The im is to compre LETKF, 4DVAR nd hyrids in ERA-20C like surfce pressure only ssimiltion (PSFC) experiments Verifiction metrics: ) Anlyses: Temporl series of MSLP, T2m, U0m, V0m nd Z500 RMSE & BIAS Verticl profiles of T, Z, U nd V RMSE (50 hp top) MSLP RMSE sptil mps ) Forecsts: MSLP nd Z500 RMSE y forecst rnge All results re verified ginst opertionl nlysis (truth) Verifiction for Northern Hemisphere (LAT > 20º N) Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

14 LETKF ginst 4DVAR 4 Configurtion of experiments Nme Anlysis Method B mtrix 549 4DVAR Full Rnk Sttic 580 4DVAR Full Rnk Sttic fqm 4DVAR / EDA fr3m 4DVAR / LETKF Full Rnk Dynmic Vrince Full Rnk Dynmic Vrince fqi2 LETKF Low Rnk Full Dynmic Win leng Initil Dt PSFC BC Loop Trunc Loop Iter Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202 Ens mem 2 ERA Vr 95/59 35/50 N/A 24 ERA Vr 95/59 35/50 N/A 2 ERA Vr 95/59 70/ ERA Vr / Drsko s 95/59 70/ Cold Drsko s N/A N/A 60 Os ssimilted Resolution Levels Plotted Period WllTime wrt fqi2 PSFC (Surfce Pressure dt) T59 ~.5 x.5 deg

15 LETKF ginst 4DVAR 5 MSLP RMSE & BIAS of nlyses t Northern Hemisphere LETKF performs generlly etter thn ny other scheme Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

16 LETKF ginst 4DVAR 6 T2M RMSE & BIAS of nlyses t Northern Hemisphere LETKF performs generlly etter thn ny other scheme Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

17 LETKF ginst 4DVAR 7 U0m RMSE & BIAS of nlyses t Northern Hemisphere LETKF performs generlly etter thn ny other scheme Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

18 LETKF ginst 4DVAR 8 V0m RMSE & BIAS of nlyses t Northern Hemisphere LETKF performs generlly etter thn ny other scheme Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

19 LETKF ginst 4DVAR 9 Z500 RMSE & BIAS of nlyses t Northern Hemisphere LETKF performs generlly etter thn ny other scheme Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

20 LETKF ginst 4DVAR 20 T RMSE profile of nlyses t Northern Hemisphere 4DVAR-2 4DVAR-24 4DVAR/EDA 4DVAR/LETKF LETKF-6 LETKF est scheme (strong impct of B f-d in sence of oservtions?!) Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

21 LETKF ginst 4DVAR 2 Z RMSE profile of nlyses t Northern Hemisphere 4DVAR-2 4DVAR-24 4DVAR/EDA 4DVAR/LETKF LETKF-6 LETKF est scheme Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

22 LETKF ginst 4DVAR 22 U RMSE profile of nlyses t Northern Hemisphere 4DVAR-2 4DVAR-24 4DVAR/EDA 4DVAR/LETKF LETKF-6 LETKF est scheme Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

23 LETKF ginst 4DVAR 23 V RMSE profile of nlyses t Northern Hemisphere 4DVAR-2 4DVAR-24 4DVAR/EDA 4DVAR/LETKF LETKF-6 LETKF est scheme Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

24 LETKF ginst 4DVAR 24 MSLP RMSE. LOW (0 hp) HIGH (2.4 hp) LETKF < > DVAR/EDA In Pcific (few os) LETKF positive impct (flow-dependency of B?!) Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

25 LETKF ginst 4DVAR 25 MSLP RMSE of forecsts t Northern Hemisphere 4DVAR-2 4DVAR-24 4DVAR/EDA 4DVAR/LETKF LETKF-6 OPER LETKF nlysis cler overperformnce not in forecst (initil unlnce?!) 4DVAR-24 the est up to H+20 (eneficil enlrge window?!) Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

26 LETKF ginst 4DVAR 26 Z500 RMSE of forecsts t Northern Hemisphere 4DVAR-2 4DVAR-24 4DVAR/EDA 4DVAR/LETKF LETKF-6 OPER 4DVAR/LETKF the est from H+20 on (B qulity?!) Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

27 LETKF Smoother 27 LETKF Smoother is simple methodology for douling the length of the ssimiltion window under the ssumption of linerity in forecst error propgtion (Yng et l., 2009) As the weights w re vlid in the whole ssimiltion window, in the eginning of the window, the current nd the ones of the previous window re oth vlid. So one cn pply the future weights to reconstruct the previous nlysis: ~ xt xt X t w t Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

28 Pu Escrià Interntionl Conference on Ensemle Methods, Novemer Due to technicl implementtion in IFS, future weights w t re pplied to previous X t- out of the nlysis window. However this should not ffect the vlidity of Smoother due to linerity of first 3 hours forecst: A coherent Smoother should use the non-inflted ensemle of nlysis (k=), otherwise future oservtions would e weighted differently thn previous: LETKF Smoother t t t t t t t t t t t t t t t s w kw w X x w W kx w X x w X x x,

29 LETKF Smoother 29 PSFC RMSE of nlyses t Southern Hemisphere LETKF-6 LETKF-2 (Smoothed) Positive impct in presence of few oservtions Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

30 LETKF Smoother 30 PSFC RMSE of nlyses t Northern Hemisphere LETKF-6 LETKF-2 (Smoothed) No significnt impct in presence of enough oservtions?! Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

31 LETKF Smoother 3 T RMSE & BIAS profile of nlyses t Southern Hemisphere Bd: Smoother worsens T in the verticl. Unlnced nlysis? Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

32 LETKF Smoother 32 MSLP RMSE of forecsts t Northern Hemisphere LETKF-6 LETKF-2 (Smoothed Initil unlnce reduced with forecst rnge ut n open issue Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

33 Summry 33 This study compres performnces of LETKF, 4DVAR nd hyrids in simplified environment only ssimilting PSFC nd low resolution T59 In this configurtion LETKF nlysis performs generlly the est t NH (comprison well tuned) ssuming the sme computtionl cost Flow-dependent estimtion of B seems to hve specilly positive impct over Pcific nd in the verticl, where few nd no oservtions re ville LETKF nlyses cler overperformnce is not oserved in forecsts proly due to initil unlnce 4DVAR-24 forecst is the est up to H+20 wheres from then on is 4DVAR/LETKF. This suggests is eneficil enlrging window nd incresing flow-dependent signl in B estimtion LETKF smoother hs positive impct in nlysis skill specilly in presence of few oservtions ut t the sme time it cretes importnt unlnces in the verticl Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

34 Discussion 34 LETKF seems to e powerful ssimiltion tool when only PSFC is ssimilted. Could it e extended to other poor oserved systems such s ocen or pollution modelling? However, work must e done in removing LETKF initil unlnce nd trying other methodologies for covrince infltion LETKF Smoother seems to tke less profit of douling ssimiltion window thn 4DVAR nd it is still n open issue with respect to verticl unlnces Conclusions of comprison cn not e directly extended to ll oservtions ssimilted simultions. Work on this comprison is going on for ll the Gloe A technicl memorndum on this study is going to pper soon. For more discussions: pescri@emet.es Pu Escrià Interntionl Conference on Ensemle Methods, Novemer 202

2 Computing all Intersections of a Set of Segments Line Segment Intersection

2 Computing all Intersections of a Set of Segments Line Segment Intersection 15-451/651: Design & Anlysis of Algorithms Novemer 14, 2016 Lecture #21 Sweep-Line nd Segment Intersection lst chnged: Novemer 8, 2017 1 Preliminries The sweep-line prdigm is very powerful lgorithmic design

More information

this grammar generates the following language: Because this symbol will also be used in a later step, it receives the

this grammar generates the following language: Because this symbol will also be used in a later step, it receives the LR() nlysis Drwcks of LR(). Look-hed symols s eplined efore, concerning LR(), it is possile to consult the net set to determine, in the reduction sttes, for which symols it would e possile to perform reductions.

More information

Spectral Analysis of MCDF Operations in Image Processing

Spectral Analysis of MCDF Operations in Image Processing Spectrl Anlysis of MCDF Opertions in Imge Processing ZHIQIANG MA 1,2 WANWU GUO 3 1 School of Computer Science, Northest Norml University Chngchun, Jilin, Chin 2 Deprtment of Computer Science, JilinUniversity

More information

Before We Begin. Introduction to Spatial Domain Filtering. Introduction to Digital Image Processing. Overview (1): Administrative Details (1):

Before We Begin. Introduction to Spatial Domain Filtering. Introduction to Digital Image Processing. Overview (1): Administrative Details (1): Overview (): Before We Begin Administrtive detils Review some questions to consider Winter 2006 Imge Enhncement in the Sptil Domin: Bsics of Sptil Filtering, Smoothing Sptil Filters, Order Sttistics Filters

More information

Parallel Square and Cube Computations

Parallel Square and Cube Computations Prllel Squre nd Cube Computtions Albert A. Liddicot nd Michel J. Flynn Computer Systems Lbortory, Deprtment of Electricl Engineering Stnford University Gtes Building 5 Serr Mll, Stnford, CA 945, USA liddicot@stnford.edu

More information

Tries. Yufei Tao KAIST. April 9, Y. Tao, April 9, 2013 Tries

Tries. Yufei Tao KAIST. April 9, Y. Tao, April 9, 2013 Tries Tries Yufei To KAIST April 9, 2013 Y. To, April 9, 2013 Tries In this lecture, we will discuss the following exct mtching prolem on strings. Prolem Let S e set of strings, ech of which hs unique integer

More information

10.5 Graphing Quadratic Functions

10.5 Graphing Quadratic Functions 0.5 Grphing Qudrtic Functions Now tht we cn solve qudrtic equtions, we wnt to lern how to grph the function ssocited with the qudrtic eqution. We cll this the qudrtic function. Grphs of Qudrtic Functions

More information

Presentation Martin Randers

Presentation Martin Randers Presenttion Mrtin Rnders Outline Introduction Algorithms Implementtion nd experiments Memory consumption Summry Introduction Introduction Evolution of species cn e modelled in trees Trees consist of nodes

More information

Blackbaud s Mailwise Service Analyse Records Updated by MailWise

Blackbaud s Mailwise Service Analyse Records Updated by MailWise Blckud s Milwise Service Anlyse Records Updted y MilWise To nlyse the updtes tht hve een performed y the import, run the relevnt queries from the list elow. The queries selected depend on the MilWise Services

More information

Unit 5 Vocabulary. A function is a special relationship where each input has a single output.

Unit 5 Vocabulary. A function is a special relationship where each input has a single output. MODULE 3 Terms Definition Picture/Exmple/Nottion 1 Function Nottion Function nottion is n efficient nd effective wy to write functions of ll types. This nottion llows you to identify the input vlue with

More information

ZZ - Advanced Math Review 2017

ZZ - Advanced Math Review 2017 ZZ - Advnced Mth Review Mtrix Multipliction Given! nd! find the sum of the elements of the product BA First, rewrite the mtrices in the correct order to multiply The product is BA hs order x since B is

More information

UT1553B BCRT True Dual-port Memory Interface

UT1553B BCRT True Dual-port Memory Interface UTMC APPICATION NOTE UT553B BCRT True Dul-port Memory Interfce INTRODUCTION The UTMC UT553B BCRT is monolithic CMOS integrted circuit tht provides comprehensive MI-STD- 553B Bus Controller nd Remote Terminl

More information

LU Decomposition. Mechanical Engineering Majors. Authors: Autar Kaw

LU Decomposition. Mechanical Engineering Majors. Authors: Autar Kaw LU Decomposition Mechnicl Engineering Mjors Authors: Autr Kw Trnsforming Numericl Methods Eduction for STEM Undergrdutes // LU Decomposition LU Decomposition LU Decomposition is nother method to solve

More information

Digital Signal Processing: A Hardware-Based Approach

Digital Signal Processing: A Hardware-Based Approach Digitl Signl Processing: A Hrdwre-Bsed Approch Roert Esposito Electricl nd Computer Engineering Temple University troduction Teching Digitl Signl Processing (DSP) hs included the utilition of simultion

More information

Chapter 2 Sensitivity Analysis: Differential Calculus of Models

Chapter 2 Sensitivity Analysis: Differential Calculus of Models Chpter 2 Sensitivity Anlysis: Differentil Clculus of Models Abstrct Models in remote sensing nd in science nd engineering, in generl re, essentilly, functions of discrete model input prmeters, nd/or functionls

More information

In the last lecture, we discussed how valid tokens may be specified by regular expressions.

In the last lecture, we discussed how valid tokens may be specified by regular expressions. LECTURE 5 Scnning SYNTAX ANALYSIS We know from our previous lectures tht the process of verifying the syntx of the progrm is performed in two stges: Scnning: Identifying nd verifying tokens in progrm.

More information

Orthogonal line segment intersection

Orthogonal line segment intersection Computtionl Geometry [csci 3250] Line segment intersection The prolem (wht) Computtionl Geometry [csci 3250] Orthogonl line segment intersection Applictions (why) Algorithms (how) A specil cse: Orthogonl

More information

About the Finite Element Analysis for Beam-Hinged Frame. Duan Jin1,a, Li Yun-gui1

About the Finite Element Analysis for Beam-Hinged Frame. Duan Jin1,a, Li Yun-gui1 Advnces in Engineering Reserch (AER), volume 143 6th Interntionl Conference on Energy nd Environmentl Protection (ICEEP 2017) About the Finite Element Anlysis for Bem-Hinged Frme Dun Jin1,, Li Yun-gui1

More information

The Math Learning Center PO Box 12929, Salem, Oregon Math Learning Center

The Math Learning Center PO Box 12929, Salem, Oregon Math Learning Center Resource Overview Quntile Mesure: Skill or Concept: 80Q Multiply two frctions or frction nd whole numer. (QT N ) Excerpted from: The Mth Lerning Center PO Box 99, Slem, Oregon 9709 099 www.mthlerningcenter.org

More information

A dual of the rectangle-segmentation problem for binary matrices

A dual of the rectangle-segmentation problem for binary matrices A dul of the rectngle-segmenttion prolem for inry mtrices Thoms Klinowski Astrct We consider the prolem to decompose inry mtrix into smll numer of inry mtrices whose -entries form rectngle. We show tht

More information

SUPPLEMENTARY INFORMATION

SUPPLEMENTARY INFORMATION Supplementry Figure y (m) x (m) prllel perpendiculr Distnce (m) Bird Stndrd devition for distnce (m) c 6 prllel perpendiculr 4 doi:.8/nture99 SUPPLEMENTARY FIGURE Confirmtion tht movement within the flock

More information

Today. CS 188: Artificial Intelligence Fall Recap: Search. Example: Pancake Problem. Example: Pancake Problem. General Tree Search.

Today. CS 188: Artificial Intelligence Fall Recap: Search. Example: Pancake Problem. Example: Pancake Problem. General Tree Search. CS 88: Artificil Intelligence Fll 00 Lecture : A* Serch 9//00 A* Serch rph Serch Tody Heuristic Design Dn Klein UC Berkeley Multiple slides from Sturt Russell or Andrew Moore Recp: Serch Exmple: Pncke

More information

International Journal of Scientific & Engineering Research, Volume 4, Issue 12, December ISSN

International Journal of Scientific & Engineering Research, Volume 4, Issue 12, December ISSN Interntionl Journl of Scientific & Engineering Reserch, Volume 4, Issue 1, December-1 ISSN 9-18 Generlised Gussin Qudrture over Sphere K. T. Shivrm Abstrct This pper presents Generlised Gussin qudrture

More information

LESSONS LEARNED FROM PSIC4: IMPROVING PSI RESULTS FOR A CONSTRAINED TEST SITE

LESSONS LEARNED FROM PSIC4: IMPROVING PSI RESULTS FOR A CONSTRAINED TEST SITE LESSONS LEARNED FROM PSIC4: IMPROVING PSI RESULTS FOR A CONSTRAINED TEST SITE Smi Smiei Esfhny, Freek J vn Leijen, Petr Mrinkovic, Gini Ketelr, nd Rmon F Hnssen Delft Institute of Erth Oservtion nd Spce

More information

PARALLEL AND DISTRIBUTED COMPUTING

PARALLEL AND DISTRIBUTED COMPUTING PARALLEL AND DISTRIBUTED COMPUTING 2009/2010 1 st Semester Teste Jnury 9, 2010 Durtion: 2h00 - No extr mteril llowed. This includes notes, scrtch pper, clcultor, etc. - Give your nswers in the ville spce

More information

Lexical Analysis. Amitabha Sanyal. (www.cse.iitb.ac.in/ as) Department of Computer Science and Engineering, Indian Institute of Technology, Bombay

Lexical Analysis. Amitabha Sanyal. (www.cse.iitb.ac.in/ as) Department of Computer Science and Engineering, Indian Institute of Technology, Bombay Lexicl Anlysis Amith Snyl (www.cse.iit.c.in/ s) Deprtment of Computer Science nd Engineering, Indin Institute of Technology, Bomy Septemer 27 College of Engineering, Pune Lexicl Anlysis: 2/6 Recp The input

More information

Announcements. CS 188: Artificial Intelligence Fall Recap: Search. Today. General Tree Search. Uniform Cost. Lecture 3: A* Search 9/4/2007

Announcements. CS 188: Artificial Intelligence Fall Recap: Search. Today. General Tree Search. Uniform Cost. Lecture 3: A* Search 9/4/2007 CS 88: Artificil Intelligence Fll 2007 Lecture : A* Serch 9/4/2007 Dn Klein UC Berkeley Mny slides over the course dpted from either Sturt Russell or Andrew Moore Announcements Sections: New section 06:

More information

Lecture 10 Evolutionary Computation: Evolution strategies and genetic programming

Lecture 10 Evolutionary Computation: Evolution strategies and genetic programming Lecture 10 Evolutionry Computtion: Evolution strtegies nd genetic progrmming Evolution strtegies Genetic progrmming Summry Negnevitsky, Person Eduction, 2011 1 Evolution Strtegies Another pproch to simulting

More information

Distributed Systems Principles and Paradigms

Distributed Systems Principles and Paradigms Distriuted Systems Principles nd Prdigms Chpter 11 (version April 7, 2008) Mrten vn Steen Vrije Universiteit Amsterdm, Fculty of Science Dept. Mthemtics nd Computer Science Room R4.20. Tel: (020) 598 7784

More information

Revisiting the notion of Origin-Destination Traffic Matrix of the Hosts that are attached to a Switched Local Area Network

Revisiting the notion of Origin-Destination Traffic Matrix of the Hosts that are attached to a Switched Local Area Network Interntionl Journl of Distributed nd Prllel Systems (IJDPS) Vol., No.6, November 0 Revisiting the notion of Origin-Destintion Trffic Mtrix of the Hosts tht re ttched to Switched Locl Are Network Mondy

More information

From Dependencies to Evaluation Strategies

From Dependencies to Evaluation Strategies From Dependencies to Evlution Strtegies Possile strtegies: 1 let the user define the evlution order 2 utomtic strtegy sed on the dependencies: use locl dependencies to determine which ttriutes to compute

More information

Slides for Data Mining by I. H. Witten and E. Frank

Slides for Data Mining by I. H. Witten and E. Frank Slides for Dt Mining y I. H. Witten nd E. Frnk Simplicity first Simple lgorithms often work very well! There re mny kinds of simple structure, eg: One ttriute does ll the work All ttriutes contriute eqully

More information

GENERATING ORTHOIMAGES FOR CLOSE-RANGE OBJECTS BY AUTOMATICALLY DETECTING BREAKLINES

GENERATING ORTHOIMAGES FOR CLOSE-RANGE OBJECTS BY AUTOMATICALLY DETECTING BREAKLINES GENEATING OTHOIMAGES FO CLOSE-ANGE OBJECTS BY AUTOMATICALLY DETECTING BEAKLINES Efstrtios Stylinidis 1, Lzros Sechidis 1, Petros Ptis 1, Spiros Sptls 2 Aristotle University of Thessloniki 1 Deprtment of

More information

6.3 Volumes. Just as area is always positive, so is volume and our attitudes towards finding it.

6.3 Volumes. Just as area is always positive, so is volume and our attitudes towards finding it. 6.3 Volumes Just s re is lwys positive, so is volume nd our ttitudes towrds finding it. Let s review how to find the volume of regulr geometric prism, tht is, 3-dimensionl oject with two regulr fces seprted

More information

Dr. D.M. Akbar Hussain

Dr. D.M. Akbar Hussain Dr. D.M. Akr Hussin Lexicl Anlysis. Bsic Ide: Red the source code nd generte tokens, it is similr wht humns will do to red in; just tking on the input nd reking it down in pieces. Ech token is sequence

More information

Performance enhancement of IEEE DCF using novel backoff algorithm

Performance enhancement of IEEE DCF using novel backoff algorithm Kuo et l. EURASIP Journl on Wireless Communictions nd Networking 212, 212:274 http://jis.eursipjournls.com/content/212/1/274 RESEARCH Open Access Performnce enhncement of IEEE 82.11 using novel ckoff lgorithm

More information

Video-rate Image Segmentation by means of Region Splitting and Merging

Video-rate Image Segmentation by means of Region Splitting and Merging Video-rte Imge Segmenttion y mens of Region Splitting nd Merging Knur Anej, Florence Lguzet, Lionel Lcssgne, Alin Merigot Institute for Fundmentl Electronics, University of Pris South Orsy, Frnce knur.nej@gmil.com,

More information

RGB D TERRAIN PERCEPTION AND DENSE MAPPING FOR LEGGED ROBOTS

RGB D TERRAIN PERCEPTION AND DENSE MAPPING FOR LEGGED ROBOTS Int. J. Appl. Mth. Comput. Sci., 206, Vol. 26, No., 8 97 DOI: 0.55/mcs-206-0006 RGB D TERRAIN PERCEPTION AND DENSE MAPPING FOR LEGGED ROBOTS DOMINIK BELTER,, PRZEMYSŁAW ŁABECKI, PÉTER FANKHAUSER, ROLAND

More information

Efficient Rerouting Algorithms for Congestion Mitigation

Efficient Rerouting Algorithms for Congestion Mitigation 2009 IEEE Computer Society Annul Symposium on VLSI Efficient Rerouting Algorithms for Congestion Mitigtion M. A. R. Chudhry*, Z. Asd, A. Sprintson, nd J. Hu Deprtment of Electricl nd Computer Engineering

More information

A Sparse Grid Representation for Dynamic Three-Dimensional Worlds

A Sparse Grid Representation for Dynamic Three-Dimensional Worlds A Sprse Grid Representtion for Dynmic Three-Dimensionl Worlds Nthn R. Sturtevnt Deprtment of Computer Science University of Denver Denver, CO, 80208 sturtevnt@cs.du.edu Astrct Grid representtions offer

More information

Machine vision system for surface inspection on brushed industrial parts.

Machine vision system for surface inspection on brushed industrial parts. Mchine vision system for surfce inspection on rushed industril prts. Nicols Bonnot, Rlph Seulin, Frederic Merienne Lortoire Le2i, CNRS UMR 5158, University of Burgundy, Le Creusot, Frnce. ABSTRACT This

More information

Deblending using normal moveout and median filtering in common-midpoint gathers a

Deblending using normal moveout and median filtering in common-midpoint gathers a Delending using norml moveout nd medin filtering in common-midpoint gthers Pulished in Journl of Geophysics nd Engineering, 11, 045012, (2014) Yngkng Chen, Jing Yun, Zhoyu Jin, Keling Chen nd Lele Zhng

More information

EXPONENTIAL & POWER GRAPHS

EXPONENTIAL & POWER GRAPHS Eponentil & Power Grphs EXPONENTIAL & POWER GRAPHS www.mthletics.com.u Eponentil EXPONENTIAL & Power & Grphs POWER GRAPHS These re grphs which result from equtions tht re not liner or qudrtic. The eponentil

More information

Analysis of Computed Diffraction Pattern Diagram for Measuring Yarn Twist Angle

Analysis of Computed Diffraction Pattern Diagram for Measuring Yarn Twist Angle Textiles nd Light ndustril Science nd Technology (TLST) Volume 3, 2014 DO: 10.14355/tlist.2014.0301.01 http://www.tlist-journl.org Anlysis of Computed Diffrction Pttern Digrm for Mesuring Yrn Twist Angle

More information

Complete Coverage Path Planning of Mobile Robot Based on Dynamic Programming Algorithm Peng Zhou, Zhong-min Wang, Zhen-nan Li, Yang Li

Complete Coverage Path Planning of Mobile Robot Based on Dynamic Programming Algorithm Peng Zhou, Zhong-min Wang, Zhen-nan Li, Yang Li 2nd Interntionl Conference on Electronic & Mechnicl Engineering nd Informtion Technology (EMEIT-212) Complete Coverge Pth Plnning of Mobile Robot Bsed on Dynmic Progrmming Algorithm Peng Zhou, Zhong-min

More information

COMP 423 lecture 11 Jan. 28, 2008

COMP 423 lecture 11 Jan. 28, 2008 COMP 423 lecture 11 Jn. 28, 2008 Up to now, we hve looked t how some symols in n lphet occur more frequently thn others nd how we cn sve its y using code such tht the codewords for more frequently occuring

More information

UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS INFORMATICS 1 COMPUTATION & LOGIC INSTRUCTIONS TO CANDIDATES

UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS INFORMATICS 1 COMPUTATION & LOGIC INSTRUCTIONS TO CANDIDATES UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS INFORMATICS COMPUTATION & LOGIC Sturdy st April 7 : to : INSTRUCTIONS TO CANDIDATES This is tke-home exercise. It will not

More information

IMAGE QUALITY OPTIMIZATION BASED ON WAVELET FILTER DESIGN AND WAVELET DECOMPOSITION IN JPEG2000. Do Quan and Yo-Sung Ho

IMAGE QUALITY OPTIMIZATION BASED ON WAVELET FILTER DESIGN AND WAVELET DECOMPOSITION IN JPEG2000. Do Quan and Yo-Sung Ho IMAGE QUALITY OPTIMIZATIO BASED O WAVELET FILTER DESIG AD WAVELET DECOMPOSITIO I JPEG2000 Do Qun nd Yo-Sung Ho School of Informtion & Mechtronics Gwngju Institute of Science nd Technology (GIST) 26 Cheomdn-gwgiro

More information

Angle properties of lines and polygons

Angle properties of lines and polygons chievement Stndrd 91031 pply geometric resoning in solving problems Copy correctly Up to 3% of workbook Copying or scnning from ES workbooks is subject to the NZ Copyright ct which limits copying to 3%

More information

Step-Voltage Regulator Model Test System

Step-Voltage Regulator Model Test System IEEE PES GENERAL MEETING, JULY 5 Step-Voltge Regultor Model Test System Md Rejwnur Rshid Mojumdr, Pblo Arboley, Senior Member, IEEE nd Cristin González-Morán, Member, IEEE Abstrct In this pper, 4-node

More information

Welch Allyn CardioPerfect Workstation Installation Guide

Welch Allyn CardioPerfect Workstation Installation Guide Welch Allyn CrdioPerfect Worksttion Instlltion Guide INSTALLING CARDIOPERFECT WORKSTATION SOFTWARE & ACCESSORIES ON A SINGLE PC For softwre version 1.6.6 or lter For network instlltion, plese refer to

More information

Announcements. CS 188: Artificial Intelligence Fall Recap: Search. Today. Example: Pancake Problem. Example: Pancake Problem

Announcements. CS 188: Artificial Intelligence Fall Recap: Search. Today. Example: Pancake Problem. Example: Pancake Problem Announcements Project : erch It s live! Due 9/. trt erly nd sk questions. It s longer thn most! Need prtner? Come up fter clss or try Pizz ections: cn go to ny, ut hve priority in your own C 88: Artificil

More information

SPLIT PLOT AND STRIP PLOT DESIGNS

SPLIT PLOT AND STRIP PLOT DESIGNS 1. Split Plot Design SPLIT PLOT AND STRIP PLOT DESIGNS D.K. SEHGAL Indin Agriculturl Sttistics Reserch Institute Lirry Avenue, New Delhi-110 01 dksehgl@isri.res.in 1.1 Introduction In conducting experiments,

More information

Hyperbolas. Definition of Hyperbola

Hyperbolas. Definition of Hyperbola CHAT Pre-Clculus Hyperols The third type of conic is clled hyperol. For n ellipse, the sum of the distnces from the foci nd point on the ellipse is fixed numer. For hyperol, the difference of the distnces

More information

If you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs.

If you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs. Lecture 5 Wlks, Trils, Pths nd Connectedness Reding: Some of the mteril in this lecture comes from Section 1.2 of Dieter Jungnickel (2008), Grphs, Networks nd Algorithms, 3rd edition, which is ville online

More information

Lab 1 - Counter. Create a project. Add files to the project. Compile design files. Run simulation. Debug results

Lab 1 - Counter. Create a project. Add files to the project. Compile design files. Run simulation. Debug results 1 L 1 - Counter A project is collection mechnism for n HDL design under specifiction or test. Projects in ModelSim ese interction nd re useful for orgnizing files nd specifying simultion settings. The

More information

P(r)dr = probability of generating a random number in the interval dr near r. For this probability idea to make sense we must have

P(r)dr = probability of generating a random number in the interval dr near r. For this probability idea to make sense we must have Rndom Numers nd Monte Crlo Methods Rndom Numer Methods The integrtion methods discussed so fr ll re sed upon mking polynomil pproximtions to the integrnd. Another clss of numericl methods relies upon using

More information

1. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES)

1. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES) Numbers nd Opertions, Algebr, nd Functions 45. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES) In sequence of terms involving eponentil growth, which the testing service lso clls geometric

More information

Section 9.2 Hyperbolas

Section 9.2 Hyperbolas Section 9. Hperols 597 Section 9. Hperols In the lst section, we lerned tht plnets hve pproimtel ellipticl orits round the sun. When n oject like comet is moving quickl, it is le to escpe the grvittionl

More information

What are suffix trees?

What are suffix trees? Suffix Trees 1 Wht re suffix trees? Allow lgorithm designers to store very lrge mount of informtion out strings while still keeping within liner spce Allow users to serch for new strings in the originl

More information

On the Detection of Step Edges in Algorithms Based on Gradient Vector Analysis

On the Detection of Step Edges in Algorithms Based on Gradient Vector Analysis On the Detection of Step Edges in Algorithms Bsed on Grdient Vector Anlysis A. Lrr6, E. Montseny Computer Engineering Dept. Universitt Rovir i Virgili Crreter de Slou sin 43006 Trrgon, Spin Emil: lrre@etse.urv.es

More information

1.1. Interval Notation and Set Notation Essential Question When is it convenient to use set-builder notation to represent a set of numbers?

1.1. Interval Notation and Set Notation Essential Question When is it convenient to use set-builder notation to represent a set of numbers? 1.1 TEXAS ESSENTIAL KNOWLEDGE AND SKILLS Prepring for 2A.6.K, 2A.7.I Intervl Nottion nd Set Nottion Essentil Question When is it convenient to use set-uilder nottion to represent set of numers? A collection

More information

Double Integrals. MATH 375 Numerical Analysis. J. Robert Buchanan. Fall Department of Mathematics. J. Robert Buchanan Double Integrals

Double Integrals. MATH 375 Numerical Analysis. J. Robert Buchanan. Fall Department of Mathematics. J. Robert Buchanan Double Integrals Double Integrls MATH 375 Numericl Anlysis J. Robert Buchnn Deprtment of Mthemtics Fll 2013 J. Robert Buchnn Double Integrls Objectives Now tht we hve discussed severl methods for pproximting definite integrls

More information

MTH 146 Conics Supplement

MTH 146 Conics Supplement 105- Review of Conics MTH 146 Conics Supplement In this section we review conics If ou ne more detils thn re present in the notes, r through section 105 of the ook Definition: A prol is the set of points

More information

Compression Outline :Algorithms in the Real World. Lempel-Ziv Algorithms. LZ77: Sliding Window Lempel-Ziv

Compression Outline :Algorithms in the Real World. Lempel-Ziv Algorithms. LZ77: Sliding Window Lempel-Ziv Compression Outline 15-853:Algorithms in the Rel World Dt Compression III Introduction: Lossy vs. Lossless, Benchmrks, Informtion Theory: Entropy, etc. Proility Coding: Huffmn + Arithmetic Coding Applictions

More information

MATH 25 CLASS 5 NOTES, SEP

MATH 25 CLASS 5 NOTES, SEP MATH 25 CLASS 5 NOTES, SEP 30 2011 Contents 1. A brief diversion: reltively prime numbers 1 2. Lest common multiples 3 3. Finding ll solutions to x + by = c 4 Quick links to definitions/theorems Euclid

More information

Lily Yen and Mogens Hansen

Lily Yen and Mogens Hansen SKOLID / SKOLID No. 8 Lily Yen nd Mogens Hnsen Skolid hs joined Mthemticl Myhem which is eing reformtted s stnd-lone mthemtics journl for high school students. Solutions to prolems tht ppered in the lst

More information

A HYDRAULIC SIMULATOR FOR AN EXCAVATOR

A HYDRAULIC SIMULATOR FOR AN EXCAVATOR P-06 Proceedings of the 7th JFPS Interntionl Symposium on Fluid Power TOYAMA 008 September 5-8 008 A HYDRAULIC SIMULATOR FOR AN EXCAVATOR Soon-Kwng Kwon* Je-Jun Kim* Young-Mn Jung* Chn-Se Jung* Chng-Don

More information

9.1 apply the distance and midpoint formulas

9.1 apply the distance and midpoint formulas 9.1 pply the distnce nd midpoint formuls DISTANCE FORMULA MIDPOINT FORMULA To find the midpoint between two points x, y nd x y 1 1,, we Exmple 1: Find the distnce between the two points. Then, find the

More information

A Fast Imaging Algorithm for Near Field SAR

A Fast Imaging Algorithm for Near Field SAR Journl of Computing nd Electronic Informtion Mngement ISSN: 2413-1660 A Fst Imging Algorithm for Ner Field SAR Guoping Chen, Lin Zhng, * College of Optoelectronic Engineering, Chongqing University of Posts

More information

Naming 3D objects. 1 Name the 3D objects labelled in these models. Use the word bank to help you.

Naming 3D objects. 1 Name the 3D objects labelled in these models. Use the word bank to help you. Nming 3D ojects 1 Nme the 3D ojects lelled in these models. Use the word nk to help you. Word nk cue prism sphere cone cylinder pyrmid D A C F A B C D cone cylinder cue cylinder E B E prism F cue G G pyrmid

More information

A COLOUR CORRECTION PREPROCESSING METHOD FOR MULTIVIEW VIDEO CODING

A COLOUR CORRECTION PREPROCESSING METHOD FOR MULTIVIEW VIDEO CODING A COLOR CORRECTO REROCESSG METHOD FOR MLTEW DEO CODG Colin Doutre nd nos siopoulos Deprtment of Electricl nd Computer Engineering, niversity of British Columbi 66 Min Mll, 6T Z4, ncouver, BC, Cnd emil:

More information

Definition of Regular Expression

Definition of Regular Expression Definition of Regulr Expression After the definition of the string nd lnguges, we re redy to descrie regulr expressions, the nottion we shll use to define the clss of lnguges known s regulr sets. Recll

More information

ECEN 468 Advanced Logic Design Lecture 36: RTL Optimization

ECEN 468 Advanced Logic Design Lecture 36: RTL Optimization ECEN 468 Advnced Logic Design Lecture 36: RTL Optimiztion ECEN 468 Lecture 36 RTL Design Optimiztions nd Trdeoffs 6.5 While creting dtpth during RTL design, there re severl optimiztions nd trdeoffs, involving

More information

CSCI 104. Rafael Ferreira da Silva. Slides adapted from: Mark Redekopp and David Kempe

CSCI 104. Rafael Ferreira da Silva. Slides adapted from: Mark Redekopp and David Kempe CSCI 0 fel Ferreir d Silv rfsilv@isi.edu Slides dpted from: Mrk edekopp nd Dvid Kempe LOG STUCTUED MEGE TEES Series Summtion eview Let n = + + + + k $ = #%& #. Wht is n? n = k+ - Wht is log () + log ()

More information

Series LJ1. Uniaxial Electric Actuator

Series LJ1. Uniaxial Electric Actuator CAT.E 90- Unixil Electric Actutor Controller Teching Box Unixil Electric Actutor Series LJ Series LJ Series LC Series LC for horizontl mounting nd brke for verticl mounting hve been dded to the high rigidity

More information

OUTPUT DELIVERY SYSTEM

OUTPUT DELIVERY SYSTEM Differences in ODS formtting for HTML with Proc Print nd Proc Report Lur L. M. Thornton, USDA-ARS, Animl Improvement Progrms Lortory, Beltsville, MD ABSTRACT While Proc Print is terrific tool for dt checking

More information

An Expressive Hybrid Model for the Composition of Cardinal Directions

An Expressive Hybrid Model for the Composition of Cardinal Directions An Expressive Hyrid Model for the Composition of Crdinl Directions Ah Lin Kor nd Brndon Bennett School of Computing, University of Leeds, Leeds LS2 9JT, UK e-mil:{lin,brndon}@comp.leeds.c.uk Astrct In

More information

A REINFORCEMENT LEARNING APPROACH TO SCHEDULING DUAL-ARMED CLUSTER TOOLS WITH TIME VARIATIONS

A REINFORCEMENT LEARNING APPROACH TO SCHEDULING DUAL-ARMED CLUSTER TOOLS WITH TIME VARIATIONS A REINFORCEMENT LEARNING APPROACH TO SCHEDULING DUAL-ARMED CLUSTER TOOLS WITH TIME VARIATIONS Ji-Eun Roh (), Te-Eog Lee (b) (),(b) Deprtment of Industril nd Systems Engineering, Kore Advnced Institute

More information

MA1008. Calculus and Linear Algebra for Engineers. Course Notes for Section B. Stephen Wills. Department of Mathematics. University College Cork

MA1008. Calculus and Linear Algebra for Engineers. Course Notes for Section B. Stephen Wills. Department of Mathematics. University College Cork MA1008 Clculus nd Liner Algebr for Engineers Course Notes for Section B Stephen Wills Deprtment of Mthemtics University College Cork s.wills@ucc.ie http://euclid.ucc.ie/pges/stff/wills/teching/m1008/ma1008.html

More information

Prediction of cutting force and surface roughness using Taguchi technique for aluminum alloy AA6061

Prediction of cutting force and surface roughness using Taguchi technique for aluminum alloy AA6061 Austrlin Journl of Mechnicl Engineering ISSN: 1448-4846 (Print) 2204-2253 (Online) Journl homepge: http://www.tndfonline.com/loi/tmec20 Prediction of cutting force nd surfce roughness using Tguchi technique

More information

Compiler-Assisted Cache Replacement

Compiler-Assisted Cache Replacement LCPC 3 Formulting The Prolem of Compiler-Assisted Cche Replcement Hongo Yng LCPC 3 Agend Bckground: Memory hierrchy, ISA with cche hints Prolem definition: How should compiler give cche hint to minimize

More information

If f(x, y) is a surface that lies above r(t), we can think about the area between the surface and the curve.

If f(x, y) is a surface that lies above r(t), we can think about the area between the surface and the curve. Line Integrls The ide of line integrl is very similr to tht of single integrls. If the function f(x) is bove the x-xis on the intervl [, b], then the integrl of f(x) over [, b] is the re under f over the

More information

The Greedy Method. The Greedy Method

The Greedy Method. The Greedy Method Lists nd Itertors /8/26 Presenttion for use with the textook, Algorithm Design nd Applictions, y M. T. Goodrich nd R. Tmssi, Wiley, 25 The Greedy Method The Greedy Method The greedy method is generl lgorithm

More information

EECS150 - Digital Design Lecture 23 - High-level Design and Optimization 3, Parallelism and Pipelining

EECS150 - Digital Design Lecture 23 - High-level Design and Optimization 3, Parallelism and Pipelining EECS150 - Digitl Design Lecture 23 - High-level Design nd Optimiztion 3, Prllelism nd Pipelining Nov 12, 2002 John Wwrzynek Fll 2002 EECS150 - Lec23-HL3 Pge 1 Prllelism Prllelism is the ct of doing more

More information

Subband coding of image sequences using multiple vector quantizers. Emanuel Martins, Vitor Silva and Luís de Sá

Subband coding of image sequences using multiple vector quantizers. Emanuel Martins, Vitor Silva and Luís de Sá Sund coding of imge sequences using multiple vector quntizers Emnuel Mrtins, Vitor Silv nd Luís de Sá Instituto de Telecomunicções, Deprtmento de Engenhri Electrotécnic Pólo II d Universidde de Coimr,

More information

TOWARDS GRADIENT BASED AERODYNAMIC OPTIMIZATION OF WIND TURBINE BLADES USING OVERSET GRIDS

TOWARDS GRADIENT BASED AERODYNAMIC OPTIMIZATION OF WIND TURBINE BLADES USING OVERSET GRIDS TOWARDS GRADIENT BASED AERODYNAMIC OPTIMIZATION OF WIND TURBINE BLADES USING OVERSET GRIDS S. H. Jongsm E. T. A. vn de Weide H. W. M. Hoeijmkers Overset symposium 10-18-2012 Deprtment of mechnicl engineering

More information

3.5.1 Single slit diffraction

3.5.1 Single slit diffraction 3.5.1 Single slit diffrction Wves pssing through single slit will lso diffrct nd produce n interference pttern. The reson for this is to do with the finite width of the slit. We will consider this lter.

More information

Food Quality and Preference

Food Quality and Preference Food Qulity nd Preference () Contents lists ville t ScienceDirect Food Qulity nd Preference journl homepge: www.elsevier.com/locte/foodqul Interpreting sensory dt y comining principl component nlysis nd

More information

Graphs with at most two trees in a forest building process

Graphs with at most two trees in a forest building process Grphs with t most two trees in forest uilding process rxiv:802.0533v [mth.co] 4 Fe 208 Steve Butler Mis Hmnk Mrie Hrdt Astrct Given grph, we cn form spnning forest y first sorting the edges in some order,

More information

Applied Databases. Sebastian Maneth. Lecture 13 Online Pattern Matching on Strings. University of Edinburgh - February 29th, 2016

Applied Databases. Sebastian Maneth. Lecture 13 Online Pattern Matching on Strings. University of Edinburgh - February 29th, 2016 Applied Dtses Lecture 13 Online Pttern Mtching on Strings Sestin Mneth University of Edinurgh - Ferury 29th, 2016 2 Outline 1. Nive Method 2. Automton Method 3. Knuth-Morris-Prtt Algorithm 4. Boyer-Moore

More information

Today. Search Problems. Uninformed Search Methods. Depth-First Search Breadth-First Search Uniform-Cost Search

Today. Search Problems. Uninformed Search Methods. Depth-First Search Breadth-First Search Uniform-Cost Search Uninformed Serch [These slides were creted by Dn Klein nd Pieter Abbeel for CS188 Intro to AI t UC Berkeley. All CS188 mterils re vilble t http://i.berkeley.edu.] Tody Serch Problems Uninformed Serch Methods

More information

A Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards

A Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards A Tutology Checker loosely relted to Stålmrck s Algorithm y Mrtin Richrds mr@cl.cm.c.uk http://www.cl.cm.c.uk/users/mr/ University Computer Lortory New Museum Site Pemroke Street Cmridge, CB2 3QG Mrtin

More information

Fig.25: the Role of LEX

Fig.25: the Role of LEX The Lnguge for Specifying Lexicl Anlyzer We shll now study how to uild lexicl nlyzer from specifiction of tokens in the form of list of regulr expressions The discussion centers round the design of n existing

More information

International Conference on Mechanics, Materials and Structural Engineering (ICMMSE 2016)

International Conference on Mechanics, Materials and Structural Engineering (ICMMSE 2016) \ Interntionl Conference on Mechnics, Mterils nd tructurl Engineering (ICMME 2016) Reserch on the Method to Clibrte tructure Prmeters of Line tructured Light Vision ensor Mingng Niu1,, Kngnin Zho1, b,

More information

A multiview 3D modeling system based on stereo vision techniques

A multiview 3D modeling system based on stereo vision techniques Mchine Vision nd Applictions (2005) 16: 148 156 Digitl Oject Identifier (DOI) 10.1007/s00138-004-0165-2 Mchine Vision nd Applictions A multiview 3D modeling system sed on stereo vision techniques Soon-Yong

More information

Symbol Table management

Symbol Table management TDDD Compilers nd interpreters TDDB44 Compiler Construction Symol Tles Symol Tles in the Compiler Symol Tle mngement source progrm Leicl nlysis Syntctic nlysis Semntic nlysis nd Intermedite code gen Code

More information

Simrad ES80. Software Release Note Introduction

Simrad ES80. Software Release Note Introduction Simrd ES80 Softwre Relese 1.3.0 Introduction This document descries the chnges introduced with the new softwre version. Product: ES80 Softwre version: 1.3.0 This softwre controls ll functionlity in the

More information

Essential Question What are some of the characteristics of the graph of a rational function?

Essential Question What are some of the characteristics of the graph of a rational function? 8. TEXAS ESSENTIAL KNOWLEDGE AND SKILLS A..A A..G A..H A..K Grphing Rtionl Functions Essentil Question Wht re some of the chrcteristics of the grph of rtionl function? The prent function for rtionl functions

More information

FastRoute: A Step to Integrate Global Routing into Placement

FastRoute: A Step to Integrate Global Routing into Placement FstRoute: A Step to Integrte Glol Routing into Plcement Min Pn nd Chris Chu Deprtment of Electricl nd Computer Engineering Iow Stte University, Ames, IA 00 Emil: {pnmin, cnchu}@istte.edu ABSTRACT Becuse

More information