LR(1) Parsers Part III Last Parser Lecture. Copyright 2010, Keith D. Cooper & Linda Torczon, all rights reserved.
|
|
- Albert Moody
- 5 years ago
- Views:
Transcription
1 LR(1) Parsers Part III Last Parser Lecture Copyright 2010, Keith D. Cooper & Linda Torczon, all rights reserved.
2 LR(1) Parser Recap Bottom-up conceptual algorithm LR(1) Skeleton Parser Construct Control DFA Closure and goto functions Today Construct ACTION AND GOTO tables
3 Example from SheepNoise S 0 : { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa], [SheepNoise baa, baa] } S 1 = Goto(S 0, SheepNoise) = { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } S 2 = Goto(S 0, baa) = { [SheepNoise baa, EOF], [SheepNoise baa, baa] } S 3 = Goto(S 1, baa) = { [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } 0 Goal SheepNoise 1 SheepNoise SheepNoise baa 2 baa
4 Example from SheepNoise S 0 : { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa], [SheepNoise baa, baa] } S 1 = Goto(S 0, SheepNoise) = { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } S 2 = Goto(S 0, baa) = { [SheepNoise baa, EOF], [SheepNoise baa, baa] } S 3 = Goto(S 1, baa) = { [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } 0 Goal SheepNoise 1 SheepNoise SheepNoise baa 2 baa
5 Example from SheepNoise S 0 : { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa], [SheepNoise baa, baa] } S 1 = Goto(S 0, SheepNoise) = { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } S 2 = Goto(S 0, baa) = { [SheepNoise baa, EOF], [SheepNoise baa, baa] } S 3 = Goto(S 1, baa) = { [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } 0 Goal SheepNoise 1 SheepNoise SheepNoise baa 2 baa
6 Example from SheepNoise S 0 : { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa], [SheepNoise baa, baa] } S 1 = Goto(S 0, SheepNoise) = { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } S 2 = Goto(S 0, baa) = { [SheepNoise baa, EOF], [SheepNoise baa, baa] } S 3 = Goto(S 1, baa) = { [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } 0 Goal SheepNoise 1 SheepNoise SheepNoise baa 2 baa
7 Example from SheepNoise S 0 : { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa], [SheepNoise baa, baa] } S 1 = Goto(S 0, SheepNoise) = { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } S 2 = Goto(S 0, baa) = { [SheepNoise baa, EOF], [SheepNoise baa, baa] } S 3 = Goto(S 1, baa) = { [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } 0 Goal SheepNoise 1 SheepNoise SheepNoise baa 2 baa
8 Filling in the ACTION and GOTO Tables The algorithm x is the state number set S x CC item i S x if i is [A β aδ,b] and goto(s x,a) = S k, a T then ACTION[x,a] shift k else if i is [S S,EOF] then ACTION[x,EOF] accept else if i is [A β,a] then ACTION[x,a] reduce A β n NT if goto(s x,n) = S k then GOTO[x,n] k
9 Filling in the ACTION and GOTO Tables The algorithm set S x CC before T shift item i S x if i is [A β aδ,b] and goto(s x,a) = S k, a T then ACTION[x,a] shift k else if i is [S S,EOF] then ACTION[x,EOF] accept else if i is [A β,a] then ACTION[x,a] reduce A β n NT if goto(s x,n) = S k then GOTO[x,n] k
10 Filling in the ACTION and GOTO Tables The algorithm set S x CC item i S x if i is [A β aδ,b] and goto(s x,a) = S k, a T then ACTION[x,a] shift k else if i is [S S,EOF] then ACTION[x,EOF] accept else if i is [A β,a] then ACTION[x,a] reduce A β n NT if goto(s x,n) = S k then GOTO[x,n] k have Goal accept
11 Filling in the ACTION and GOTO Tables The algorithm set S x CC item i S x if i is [A β aδ,b] and goto(s x,a) = S k, a T then ACTION[x,a] shift k else if i is [S S,EOF] then ACTION[x,EOF] accept else if i is [A β,a] then ACTION[x,a] reduce A β n NT if goto(s x,n) = S k then GOTO[x,n] k at end reduce
12 Filling in the ACTION and GOTO Tables The algorithm set S x CC item i S x if i is [A β aδ,b] and goto(s x,a) = S k, a T then ACTION[x,a] shift k else if i is [S S,EOF] then ACTION[x,EOF] accept else if i is [A β,a] then ACTION[x,a] reduce A β n NT if goto(s x,n) = S k then GOTO[x,n] k Fill GOTO table
13 Example from SheepNoise S 0 : { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa], [SheepNoise baa, baa] } S 1 = Goto(S 0, SheepNoise) = { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } S 2 = Goto(S 0, baa) = { [SheepNoise baa, EOF], before T shift k [SheepNoise baa, baa] } S 3 = Goto(S 1, baa) = { [SheepNoise SheepNoise baa, EOF], 0 Goal SheepNoise 1 SheepNoise SheepNoise baa 2 baa if i is [A β aδ,b] and goto(s x,a) = S k, a T [SheepNoise SheepNoise baa, baa] } then ACTION[x,a] shift k
14 Example from SheepNoise S 0 : { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa], [SheepNoise baa, baa] } S 1 = Goto(S 0, SheepNoise) = before T shift k { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } S 2 = Goto(S 0, baa) = { [SheepNoise baa, EOF], [SheepNoise baa, baa] } so, ACTION[s 0,baa] is shift S 2 (clause 1) (items define same entry) S 3 = Goto(S 1, baa) = { [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } 0 Goal SheepNoise 1 SheepNoise SheepNoise baa 2 baa
15 Example from SheepNoise S 0 : { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa], [SheepNoise baa, baa] } S 1 = Goto(S 0, SheepNoise) = { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } S 2 = Goto(S 0, baa) = { [SheepNoise baa, EOF], [SheepNoise baa, baa] } so, ACTION[S 1,baa] is shift S 3 (clause 1) S 3 = Goto(S 1, baa) = { [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } 0 Goal SheepNoise 1 SheepNoise SheepNoise baa 2 baa if i is [A β aδ,b] and goto(s x,a) = S k, a T then ACTION[x,a] shift k
16 Example from SheepNoise S 0 : { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa], [SheepNoise baa, baa] } S 1 = Goto(S 0, SheepNoise) = { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } so, ACTION[S 1,EOF] is accept (clause 2) S 2 = Goto(S 0, baa) = { [SheepNoise baa, EOF], [SheepNoise baa, baa] } S 3 = Goto(S 1, baa) = { [SheepNoise SheepNoise baa, EOF], 0 Goal SheepNoise 1 SheepNoise SheepNoise baa 2 baa else if i is [S S,EOF] [SheepNoise SheepNoise baa, baa] } then ACTION[x,EOF] accept
17 Example from SheepNoise S 0 : { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa], [SheepNoise baa, baa] } S 1 = Goto(S 0, SheepNoise) = { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } S 2 = Goto(S 0, baa) = { [SheepNoise baa, EOF], [SheepNoise baa, baa] } ACTION[S 2,baa] is reduce 2 [SheepNoise SheepNoise baa, baa] } S 3 = Goto(S 1, baa) = { [SheepNoise SheepNoise baa, EOF], 0 Goal SheepNoise 1 SheepNoise SheepNoise baa 2 baa so, ACTION[S 2,EOF] is reduce 2 else if i is [A β,a] then ACTION[x,a] reduce A β
18 Example from SheepNoise S 0 : { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa], [SheepNoise baa, baa] } S 1 = Goto(S 0, SheepNoise) = else if i is [A β,a] then ACTION[x,a] reduce A β [SheepNoise baa, baa] } { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } S 2 = Goto(S 0, baa) = { [SheepNoise baa, EOF], S 3 = Goto(S 1, baa) = { [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } ACTION[S 3,EOF] is reduce 1 0 Goal SheepNoise 1 SheepNoise SheepNoise baa 2 baa ACTION[S 3,baa] is reduce 1, as well
19 Example from SheepNoise The GOTO Table records Goto transitions on NTs s 0 : { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa], [SheepNoise baa, baa] } s 1 = Goto(S 0, SheepNoise) = { [Goal SheepNoise, EOF], [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } Puts s 1 in GOTO[s 0,SheepNoise] s 2 = Goto(S 0, baa) = { [SheepNoise baa, EOF], [SheepNoise baa, baa] } Based on T, not NT and written into the ACTION table s 3 = Goto(S 1, baa) = { [SheepNoise SheepNoise baa, EOF], [SheepNoise SheepNoise baa, baa] } 0 Goal SheepNoise 1 SheepNoise SheepNoise baa 2 baa Only 1 transition in the entire GOTO table Remember, we recorded these so we don t need to recompute them.
20 ACTION & GOTO Tables Here are the tables for the SheepNoise grammar The tables ACTION TABLE State EOF baa 0 shift 2 1 accept shift 3 2 reduce 2 reduce 2 3 reduce 1 reduce 1 GOTO TABLE State SheepNoise The grammar 0 Goal SheepNoise 1 SheepNoise SheepNoise baa 2 baa
21 What can go wrong? Shift/reduce error What if set s contains [A β aγ,b] and [B β,a]? First item generates shift, second generates reduce Both set ACTION[s,a] cannot do both actions This is ambiguity, called a shift/reduce error Modify the grammar to eliminate it Shifting will often resolve it correctly (if-then-else)
22 What can go wrong? Reduce/reduce conflict What is set s contains [A γ, a] and [B γ, a]? Each generates reduce, but with a different production Both set ACTION[s,a] cannot do both reductions This ambiguity is called reduce/reduce conflict Modify the grammar to eliminate it (PL/I s overloading of (...)) In either case, the grammar is not LR(1)
23 CYK Parser Simple context-free-language parser Worse-case running time is O(n 3 ), space is O(n 2 ) Employs bottom-up parsing and dynamic programming Shunned for many years Even tabular methods [CYK, Earley] should be avoided if the language at hand has a grammar for which more efficient algorithms [LL, LALR] are available. The Theory of Parsing., Aho, Ullman, 1972 But in practice, running time is more like O(n 1.2 ) - Plus computers are now 1,000,000-times faster than in And (more importantly) CYK parser is easily parallelizable! Source: Ras Bodik, Slides: Browsing Web 3.0 on 3.0 Watts
24 CYK Parser (Sequential Version)
25 CYK Parser (Sequential Version)
26 CYK Parser (Sequential Version)
27 CYK Parser (Sequential Version)
28 CYK Parser (Sequential Version)
29 CYK Parser (Sequential Version)
30 CYK Parser (Sequential Version)
31 CYK Parser (Sequential Version)
32 CYK Parser (Sequential Version)
33 CYK Parser (Sequential Version)
34 CYK Parser (Sequential Version)
35 CYK Parser (Sequential Version)
36 CYK Parser (Sequential Version)
37 CYK Parser (Sequential Version)
38 CYK Parser (Sequential Version)
39 CYK Parser (Sequential Version)
40 CYK Parser (Sequential Version)
41 CYK Parser (Sequential Version)
42 CYK Parser (Sequential Version)
43 CYK Parser (Sequential Version)
44 CYK Parser (Sequential Version)
45 CYK Parser (Sequential Version)
46 CYK Parser (Sequential Version)
47 The CYK Parser Algorithm (Sequential Version)
48 Phase IV: Semantic Checking
Natural Language Processing. Dependency Parsing
Natural Language Processing Dependency Parsing Dependency grammar The term dependency grammar does not refer to a specific grammar formalism. Rather, it refers to a specific way to describe the syntactic
More informationRational Parsing. John Hale
Rational Parsing John Hale Phrase structure a) PP The president VB IN meets on Friday the board 4 operators PUH THE NEXT WORD W ON THE TACK PROJECT A RULE WITHOUT MATCHING (FIND A TREE) shift(w ) shiftcomplete
More informationA Methodology for Integrated Conceptual Design of Aircraft Configuration and Operation to Reduce Environmental Impact
A Methodology for Integrated Conceptual Design of Aircraft Configuration and Operation to Reduce Environmental Impact ATIO/ANERS September 22, 2009 Andrew March Prof. Ian Waitz Prof. Karen Willcox Motivation
More information= Coordination with Direct Communication
Particle Swarm Optimization Mohamed A. El-Sharkawi Computational Intelligence Applications (CIA) Lab. Department of EE, Box 352500 University of Washington Seattle, WA 98195-2500 elsharkawi@ee.washington.edu
More informationDART. Duty & Recreation Travel STAFF TRAVEL SIMPLIFIED. Straightforward, easy to use staff travel management system for the airline industry
DART Duty & Recreation Travel STAFF TRAVEL SIMPLIFIED. Straightforward, easy to use staff travel management system for the airline industry DART Duty & Recreation Travel 2 STAFF TRAVEL COULDN T GET EASIER
More informationSTANDARDS MAP Basic Programs 1 and 2 English Language Arts Content Standards Grade Five
: Pearson Program Title: Pearson California and Pearson California Components: : Teacher s Edition (TE), Student Edition (SE), Practice Book (PB); : Teacher s Edition (TE), Student Edition (SE), Transparencies
More informationActivity Template. Drexel-SDP GK-12 ACTIVITY. Subject Area(s): Sound Associated Unit: Associated Lesson: None
Activity Template Subject Area(s): Sound Associated Unit: Associated Lesson: None Drexel-SDP GK-12 ACTIVITY Activity Title: What is the quickest way to my destination? Grade Level: 8 (7-9) Activity Dependency:
More informationCHAPTER 5 SIMULATION MODEL TO DETERMINE FREQUENCY OF A SINGLE BUS ROUTE WITH SINGLE AND MULTIPLE HEADWAYS
91 CHAPTER 5 SIMULATION MODEL TO DETERMINE FREQUENCY OF A SINGLE BUS ROUTE WITH SINGLE AND MULTIPLE HEADWAYS 5.1 INTRODUCTION In chapter 4, from the evaluation of routes and the sensitive analysis, it
More informationCorrected his comment about training the drivers for different types of wheel chairs, not just one type.
CORRECTED VERSION Santa Clarita Transit Accessibility Advisory Committee Meeting June 4, 2015 Meeting location: City of Santa Clarita, City Hall, Century Room Members Present: Keith Curry, John Panico,
More informationTIMS & PowerSchool 2/3/2016. TIMS and PowerSchool. Session Overview
TIMS and PowerSchool TIMS & PowerSchool Kevin R. Hart TIMS and PowerSchool Kevin R. Hart TIMS Project Leader UNC Charlotte Urban Institute Session Overview What is TIMS? PowerSchool Data in TIMS PowerSchool
More informationAirspace Management Decision Tool
Airspace Management Decision Tool Validating the Behavior and Structure of Software Design Kerin Thornton ENPM 643 System Validation and Verification Fall 2005 1 Table of Contents Introduction...3 Problem
More informationASSEMBLY 39TH SESSION
International Civil Aviation Organization WORKING PAPER 19/8/16 ASSEMBLY 39TH SESSION TECHNICAL COMMISSION Agenda Item 37: Other issues to be considered by the Technical Commission TO DEFINE THE VALIDATION
More informationNew Enhanced Service Buletin. qtr_04. a quarterly publication boeing.com/commercial/ aeromagazine
New Enhanced Service Buletin qtr_04 06 a quarterly publication boeing.com/commercial/ aeromagazine New Enhanced Service Bulletins by Mark Baker, Tim Dowling, Willard Martinez, Tom Medejski, Dan Pedersen
More informationMinimum Travel Times between European Regions. An assessment of the ACARE 4h-Goal
DLR.de Chart 1 > ATRS 2014 > Nieße/Grimme ACARE Goal > 18 th July 2014 Minimum Travel Times between European Regions An assessment of the ACARE 4h-Goal Hendrik Nieße Wolfgang Grimme Institute of Air Transport
More information1. Please tell us about new features, functions or information that you made available on the new website for the first time?
1 of 6 6/21/2010 10:35 AM 1. Please tell us about new features, functions or information that you made available on the new website for the first time? USCIS Response: Where to Start Widget: There are
More informationENAIRE DEVELOPMENTS NM B2B WEB SERVICES TECHNICAL FORUM. enaire.es. Network Manager nominated by the European Commission
ENAIRE DEVELOPMENTS NM B2B WEB SERVICES TECHNICAL FORUM Network Manager nominated by the European Commission Development Guidelines GOAL: to develop tools that help solving operational issues in ACCs,
More informationARETE THROWS NATION - HOW POSTURE DICTATES THE THROW
ARETE THROWS NATION - HOW POSTURE DICTATES THE THROW IL TRACK and Cross Country Coaches Association Jim Aikens My Lovely Wife Jennifer aka Mrs Arete Side Note: Chicago- AZ- SoCal, Colorado, Chicago, So
More informationImplementing an Air Taxi System
Departamento de Ingeniería Industrial, FCFM, Universidad de Chile, Chile August 11, 2006 Outline 1 Introduction 2 The Routing Problems 3 Final Comments Work Team Work Team Mo Bazaraa (Georgia Institute
More informationDon t Sit on the Fence
Don t Sit on the Fence A Static Analysis Approach to Automatic Fence Insertion Or Ostrovsky April 25th 2018 Or Ostrovsky Don t Sit on the Fence April 25th 2018 1 / 50 Table of contents 1 Introduction 2
More informationIntegrated Optimization of Arrival, Departure, and Surface Operations
Integrated Optimization of Arrival, Departure, and Surface Operations Ji MA, Daniel DELAHAYE, Mohammed SBIHI ENAC École Nationale de l Aviation Civile, Toulouse, France Paolo SCALA Amsterdam University
More informationModule description: Traffic Sample. Pim van Leeuwen, NLR Second Demonstration Workshop Braunschweig, Germany June 25 th, 2013
Module description: Traffic Sample Pim van Leeuwen, NLR Second Demonstration Workshop Braunschweig, Germany June 25 th, 2013 Structure of the presentation Scenario: traffic definition (sample) + events
More informationEE382V: Embedded System Design and Modeling
EE382V: Embedded System Design and Methodologies, Models, Languages Andreas Gerstlauer Electrical and Computer Engineering University of Texas at Austin gerstl@ece.utexas.edu : Outline Methodologies Design
More informationFrom AIS to AIM. COMSOFT AIS to AIM Lima, Peru Context and Overview Isabel Zambrano Rodriguez
From AIS to AIM COMSOFT AIS to AIM Lima, Peru 24-28.11.2014 Context and Overview Isabel Zambrano Rodriguez Context: Challenges to AIS Worldwide AIS throughout the world face a number of challenges : Air
More informationRULES AND REGULATIONS
RULES AND REGULATIONS FOR METROBUS OPERATIONS OCTOBER 1996 (Revised by Board resolution February 10, 2000) Washington Metropolitan Area Transit Authority 600 Fifth Street, NW! Washington, DC 20001 PURPOSE
More informationINTERNATIONAL CIVIL AVIATION ORGANIZATION WESTERN AND CENTRAL AFRICA OFFICE. Thirteenth Meeting of the FANS I/A Interoperability Team (SAT/FIT/13)
INTERNATIONAL CIVIL AVIATION ORGANIZATION WESTERN AND CENTRAL AFRICA OFFICE Thirteenth Meeting of the FANS I/A Interoperability Team (SAT/FIT/13) Durban, South Africa, 4-5 June 2018 Agenda Item 4: System
More informationWORLDWIDE SYMPOSIUM ON ENABLING THE NET-CENTRIC INFORMATION ENVIRONMENT:
WORLDWIDE SYMPOSIUM ON ENABLING THE NET-CENTRIC INFORMATION ENVIRONMENT: SUPPORTING A GLOBALLY HARMONIZED AND SEAMLESS ATM SYSTEM Vince Galotti Chief/ATM ICAO 2 June 2008 Presentation Outline What is a
More informationNextGen AeroSciences, LLC Seattle, Washington Williamsburg, Virginia Palo Alto, Santa Cruz, California
NextGen AeroSciences, LLC Seattle, Washington Williamsburg, Virginia Palo Alto, Santa Cruz, California All Rights Reserved 1 Topics Innovation Objective Scientific & Mathematical Framework Distinctions
More informationFlight Dynamics Analysis of a Medium Range Box Wing Aircraft
AERO AIRCRAFT DESIGN AND SYSTEMS GROUP Flight Dynamics Analysis of a Medium Range Box Wing Aircraft Supervisor: Prof. Dieter Scholz Tutor: Daniel Schiktanz Warsaw University of Technology Hamburg University
More informationRegional air navigation planning and implementation performance framework: Review of programmes and projects
International Civil Aviation Organization 02/04/18 CAR/SAM Regional Planning and Implementation Group (GREPECAS) Eighteenth Meeting of the CAR/SAM Regional Planning and Implementation Group (GREPECAS/18)
More informationLogic Control Summer Semester Assignment: Modeling and Logic Controller Design 1
TECHNISCHE UNIVERSITÄT DORTMUND Faculty of Bio- and Chemical Engineering Process Dynamics and Operations Group Prof. Dr.-Ing. Sebastian Engell D Y N Logic Control Summer Semester 2018 Assignment: Modeling
More informationPORT MORESBY POWER PROJECT - UPDATE PNG Mining & Petroleum Investment Conference. 4 th December 2018
PORT MORESBY POWER PROJECT - UPDATE PNG Mining & Petroleum Investment Conference 4 th December 2018 CONTENTS NiuPower Recap Port Moresby Power Station Project Current Status Where to Now Port Moresby Power
More informationNOISE ABATEMENT PROCEDURES
1. Introduction NOISE ABATEMENT PROCEDURES Many airports today impose restrictions on aircraft movements. These include: Curfew time Maximum permitted noise levels Noise surcharges Engine run up restrictions
More informationTwisted Frobenius extensions
Twisted Frobenius extensions Alistair Savage University of Ottawa Joint with: Jeffrey Pike (Ottawa) Slides available online: AlistairSavage.ca Preprint: arxiv:1502.00590 Alistair Savage (Ottawa) Twisted
More informationADVANTAGES OF SIMULATION
ADVANTAGES OF SIMULATION Most complex, real-world systems with stochastic elements cannot be accurately described by a mathematical model that can be evaluated analytically. Thus, a simulation is often
More informationE-RECORDS. Heading towards a Paperless operation SWARAN SIDHU - HEAD OF FLEET TECHNICAL MANAGEMENT
Heading towards a SWARAN SIDHU - HEAD OF FLEET TECHNICAL MANAGEMENT something about us Ambition > What we do: We are low-cost European point-to-point short-haul airline. > Where we do it: Intra-European
More informationTransportation Timetabling
Outline DM87 SCHEDULING, TIMETABLING AND ROUTING Lecture 16 Transportation Timetabling 1. Transportation Timetabling Tanker Scheduling Air Transport Train Timetabling Marco Chiarandini DM87 Scheduling,
More information4 REPORTS. The Reports Tab. Nav Log
4 REPORTS This chapter describes everything you need to know in order to use the Reports tab. It also details how to use the TripKit to print your flight plans and other FliteStar route data. The Reports
More information2012 Performance Framework AFI
2012 Performance Framework AFI Nairobi, 14-16 February 2011 Seboseso Machobane Regional Officer ATM, ESAF 1 Discussion Intro Objectives, Metrics & Outcomes ICAO Process Framework Summary 2 Global ATM Physical
More informationATTEND Analytical Tools To Evaluate Negotiation Difficulty
ATTEND Analytical Tools To Evaluate Negotiation Difficulty Alejandro Bugacov Robert Neches University of Southern California Information Sciences Institute ANTs PI Meeting, November, 2000 Outline 1. Goals
More informationRE: Draft AC , titled Determining the Classification of a Change to Type Design
Aeronautical Repair Station Association 121 North Henry Street Alexandria, VA 22314-2903 T: 703 739 9543 F: 703 739 9488 arsa@arsa.org www.arsa.org Sent Via: E-mail: 9AWAAVSDraftAC2193@faa.gov Sarbhpreet
More informationRunway 1C/19C Reconstruction
Runway 1C/19C Reconstruction PHASE 1 & 2 TAXI ROUTES Presented to: Dulles Customer Forum By: IAD ATCT Date: 1 July, 2009 RUNWAY 1C/19C RECONSTRUCTION PHASE 1 7 day duration No Runway 1C/19C crossings 2
More informationClustering radar tracks to evaluate efficiency indicators Roland Winkler Annette Temme, Christoph Bösel, Rudolf Kruse
Clustering radar tracks to evaluate efficiency indicators Roland Winkler (roland.winkler@dlr.de), Annette Temme, Christoph Bösel, Rudolf Kruse November 11, 2010 2 / 21 Outline 1 Introduction 2 Clustering
More informationWHAT S NEW in 7.9 RELEASE NOTES
7.9 RELEASE NOTES January 2015 Table of Contents Session Usability...3 Smarter Bookmarks... 3 Multi-Tabbed Browsing... 3 Session Time Out Pop Up... 4 Batch No Show Processing...5 Selecting a Guarantee
More informationHOLDING STACK MANAGEMENT
1. Introduction HOLDING STACK MANAGEMENT When an air traffic controller has such an amount of traffic in his approach area that he cannot handle more traffic for a determined or non-determined period of
More informationAmerican Airlines Next Top Model
Page 1 of 12 American Airlines Next Top Model Introduction Airlines employ several distinct strategies for the boarding and deboarding of airplanes in an attempt to minimize the time each plane spends
More informationFurthermore, both our Flight API and our WebFare Engine have improved largely and have been supplemented with new features.
HitchHiker ITB PreView 2011 Dear Readers, again, it s time for the ITB and our first newsletter of the year. As every year, we are looking forward to presenting you our well-known products and innovations.
More informationFuture Network Manager Methods
Future Network Manager Methods Workshop on Emerging Technologies Sonke Mahlich Project Manager, EUROCONTROL ATC Global Beijing, 12. Sep. 2016 Network Management A global scope with regional challenges
More informationProject Deliverable 4.1.3d Individual City Report - City of La Verne
Pomona Valley ITS Project Project Deliverable 4.1.3d Individual City Report - City of La Verne Prepared by: April 19, 2002 099017000.1 Copyright 2002, Kimley-Horn and Associates, Inc TABLE OF CONTENTS
More informationMPL Global Progress Report
MPL Global Progress Report Captain Dieter Harms Working Group Leader Selection Criteria & MPL Implementation ICAO NGAP Symposium, Montreal ICAO NGAP Symposium, Montreal 1 1-4 1 March 2010 Contents ITQI
More informationCrew Resource Management
Crew Resource Management Crew (or Cockpit) Resource Management (CRM) training originated from a NASA workshop in 1979 that focused on improving air safety. The NASA research presented at this meeting found
More informationFlight Efficiency Initiative
Network Manager nominated by the European Commission EUROCONTROL Flight Efficiency Initiative Making savings through improved flight planning Flight efficiency The Network Manager is playing a pivotal
More informationOperator and Solver. Matt Ardrey, Kent Young & Roei Ganzarski
Operator and Solver Matt Ardrey, Kent Young & Roei Ganzarski Operator Product Manager, Operator Program Manager, President/CEO of BoldIQ Oct 3, 2016 Jeppesen Operator Flight ops, evolved Jeppesen Operator
More informationSchedule Compression by Fair Allocation Methods
Schedule Compression by Fair Allocation Methods by Michael Ball Andrew Churchill David Lovell University of Maryland and NEXTOR, the National Center of Excellence for Aviation Operations Research November
More informationSustainable Tourism for Development
TECHNICAL NOTE THE 11TH UNWTO ASIA/PACIFIC EXECUTIVE TRAINING PROGRAM ON TOURISM POLICY AND STRATEGY Sustainable Tourism for Development Four (4) days: Monday 20th March to Thursday 23rd March, 2017 Port
More informationA TRANSPORT SYSTEM CONNECTING PEOPLE TO PLACES
THE MAYOR'S VISION FOR TRANSPORT A TRANSPORT SYSTEM CONNECTING PEOPLE TO PLACES VISION We will build a transport system that works for everyone, connecting people to the places they want to go within the
More informationTransit Fare Review Phase 2 Discussion Guide
Transit Fare Review Phase 2 Discussion Guide January 2017 translink.ca Table of Contents How should we determine transit fares in Metro Vancouver? 1 Varying fares by distance travelled 2 Varying fares
More informationQuantile Regression Based Estimation of Statistical Contingency Fuel. Lei Kang, Mark Hansen June 29, 2017
Quantile Regression Based Estimation of Statistical Contingency Fuel Lei Kang, Mark Hansen June 29, 2017 Agenda Background Industry practice Data Methodology Benefit assessment Conclusion 2 Agenda Background
More informationSYLLABUS INTRODUCTION TO ROTARY WING FLYING QUALITIES AND PERFORMANCE
22783 Cedar Point Road, Building 2168 Patuxent River, MD 20670 Phone: 301 757 5049 301 757 2731 Fax: 301 342 5003 www.navair.navy.mil/nawcad/usntps SYLLABUS INTRODUCTION TO ROTARY WING FLYING QUALITIES
More informationNATIONAL AIRSPACE POLICY OF NEW ZEALAND
NATIONAL AIRSPACE POLICY OF NEW ZEALAND APRIL 2012 FOREWORD TO NATIONAL AIRSPACE POLICY STATEMENT When the government issued Connecting New Zealand, its policy direction for transport in August 2011, one
More informationDraft Concept Alternatives Analysis for the Inaugural Airport Program September 2005
Section 10 Preferred Inaugural Airport Concept 10.0 Introduction The Preferred Inaugural Airport Concept for SSA was developed by adding the preferred support/ancillary facilities selected in Section 9
More informationSetup and Configure the Siteminder Policy Store with Dxmanager
One CA Plaza Islandia, NY 11749 T +1 631 342 6000 F +1 631 342 6800 ca.com June 20, 2013 Customer Request Number: N/A System/Application: Policy Server Module: Siteminder Policy Store with DXmanager Request
More information2 Purpose and Need. 2.1 The Need for the Proposed Action Description of the Problem
2 Purpose and Need The FAA is preparing this EA to evaluate the potential environmental impacts associated with implementation of new RNAV-defined IFPs for the Atlanta Metroplex (Proposed Action). According
More informationSaint Petersburg-Clearwater International Airport. Airspace & Instrument Approach Analysis
Saint Petersburg-Clearwater International Airport Airspace & Instrument Approach Analysis February 23, 2005 Jeppesen Boeing Jeppesen Government / Military Services Group Airspace Services Division AIRSPACE
More informationReal-time route planning streamlines onboard operations, reduces fuel burn and delays, and improves on-time performance.
Real-time route planning streamlines onboard operations, reduces fuel burn and delays, and improves on-time performance. Operational Efficiency of Dynamic Navigation Charting Benefits such as improved
More informationStudy Overview and Context
Study Overview and Context North Shore Coordination Plan Study Study Highlights Early 2016 to December 2017 Consultant team assistance Steering Committee review Two rounds of public open house events Project
More informationTHE AREA CONTROL CENTRE (CTR) POSITION
THE AREA CONTROL CENTRE (CTR) POSITION 1. Introduction The Area Control Centre (ACC) also known as en-route controller and called CTR on IVAO, has the responsibility of ensuring Air Traffic Control (ATC)
More informationAn Architecture for Combinator Graph Reduction Philip J. Koopman Jr.
An Architecture for Combinator Graph Reduction Philip J. Koopman Jr. Copyright 1990, Philip J. Koopman Jr. All Rights Reserved To my parents vi Contents List of Tables.............................. xi
More informationAirport IT Are you ready for the future
Airport IT Are you ready for the future Life was simple Trends Affecting Airports in the next 20 years It s all about me! I can travel the world (virtually) I am the new (middle class) passenger Shifting
More informationSAFE COORDINATIONS IN THE PROVISION OF CAPSCA - AIRLINES CAPT. AHMED HASHIM HUSSEIN SAFETY MANAGER - BADR AIRLINES
SAFE COORDINATIONS IN THE PROVISION OF CAPSCA - AIRLINES CAPT. AHMED HASHIM HUSSEIN SAFETY MANAGER - BADR AIRLINES To describe the coordination importance, requirements and procedures among responders
More informationTWELFTH AIR NAVIGATION CONFERENCE
International Civil Aviation Organization AN-Conf/12-WP/13 1/5/12 WORKING PAPER TWELFTH AIR NAVIGATION CONFERENCE Montréal, 19 to 30 November 2012 Agenda Item 4: Optimum capacity and efficiency through
More informationAir Carrier Tariff Signage and Public Inspection of Tariffs
Air Carrier Tariff Signage and Public Inspection of Tariffs Interpretation Note available in multiple formats Table of Contents I. Purpose... 3 II. Context... 3 III. Legislative References... 3 IV. About
More informationATC automation: facts and steps ahead
ATC automation: facts and steps ahead Objectives Context Stating the problem Current solution Steps ahead Implementation constraints ATC automation: facts and steps ahead Objectives Understand why ATC
More informationAeronautical METeorology in Europe
Aeronautical METeorology in Europe Weather Information Modelling Activities Dennis Hart Aeronautical Information Management Division EUROCONTROL European Organisation for the Safety of Air Navigation Overview
More informationDave Allanby GM Operations SOUTH AFRICAN EXPRESS
Dave Allanby GM Operations SOUTH AFRICAN EXPRESS World Airspace Usage World City to City - 60 000 Flights Expectations of a Single Airspace Regional Master Plan To provide a strategic view and direction
More informationAnalysis of Aircraft Separations and Collision Risk Modeling
Analysis of Aircraft Separations and Collision Risk Modeling Module s 1 Module s 2 Dr. H. D. Sherali C. Smith Dept. of Industrial and Systems Engineering Virginia Polytechnic Institute and State University
More informationAn Analytical Approach to the BFS vs. DFS Algorithm Selection Problem 1
An Analytical Approach to the BFS vs. DFS Algorithm Selection Problem 1 Tom Everitt Marcus Hutter Australian National University September 3, 2015 Everitt, T. and Hutter, M. (2015a). Analytical Results
More informationHow big can my carry-on bag be?
1 2 How big can my carry-on bag be? There is no simple answer Cabin bag sizes are similar, but not standardized Too often passengers are frustrated This can lead to costly ground delays for airlines There
More informationDepartment of Defense. Federal Aviation Administration. NOTAM Realignment. Gary Prock Date: September 19, 2007
Department of Defense Federal Aviation Administration NOTAM Realignment By: Gary Prock Date: September 19, 2007 Why Modernize? Must respond to customer concerns ICAO standardization Local NOTAM accessibility
More informationAeronautical Information Management
Aeronautical Information Management NOTAM Activities Introduction Presented to: By: Barry C. Davis Date: May 3, 2011 What s AIM? Dynamic, integrated management of aeronautical information services safely,
More informationICAO PBN CONCEPTS, BENEFITS, AND OBJECTIVES
AFCAC/ICAO Joint Workshop Walter White ICAO PBN CONCEPTS, BENEFITS, AND OBJECTIVES 24 JUNE 2014 Airbus ProSky Corporate Presentation 29/06/2014 PERFORMANCE-BASED NAVIGATION The implementation of Performance-Based
More informationIN THE COURT OF APPEALS TWELFTH APPELLATE DISTRICT OF OHIO MADISON COUNTY. : O P I N I O N - vs - 6/22/2015 :
[Cite as W. Jefferson v. Cammelleri, 2015-Ohio-2463.] IN THE COURT OF APPEALS TWELFTH APPELLATE DISTRICT OF OHIO MADISON COUNTY VILLAGE OF WEST JEFFERSON, : Appellee, : CASE NO. CA2014-04-012 : O P I N
More informationCSCI 5832 Natural Language Processing
CSCI 5832 Natural Language Processing Lecture 23 Jim Martin 4/24/07 CSCI 5832 Spring 2006 1 Today: 4/17 Finish Lexical Semantics Wrap up Information Extraction 4/24/07 CSCI 5832 Spring 2006 2 1 Inside
More informationWorkbook Unit 11: Natural Deduction Proofs (II)
Workbook Unit 11: Natural Deduction Proofs (II) Overview 1 1. Biconditional Elimination Rule ( Elim) 1.1. Intuitions 2 2 1.2. Applying the Elim rule 1.3. Examples of Proofs 3 5 2. The Disjunction Introduction
More informationin-depth ACH EFFI [ IN-DEPTH ] 38 Twentyfour
ACH EFFI 38 Twentyfour7. 2.13 IEVING REAL CIENCY GAINS A Ship Energy Efficiency Management Plan can be much more than just a plan. At best, it s a carefully chosen set of goals and actions. TEXT: KATJA
More informationAIRBUS Generic Flight Test Installation
AIRBUS Generic Flight Test Installation Jean-Pascal CATURLA AIRBUS Operations SAS, Toulouse, France ABSTRACT This paper describes new concepts of test mean and processes to perform flight test for all
More informationGlobal Action on International Aviation and Climate Change
International Civil Aviation Organization Global Action on International Aviation and Climate Change Jane Hupe Chief, Environment Branch, ICAO 29 November 2012 1 Aviation in context: contributions across
More informationSystem Oriented Runway Management: A Research Update
National Aeronautics and Space Administration System Oriented Runway Management: A Research Update Gary W. Lohr gary.lohr@nasa.gov Senior Research Engineer NASA-Langley Research Center ATM 2011 Ninth USA/EUROPE
More informationBILATERAL TEMPLATE AIR SERVICES AGREEMENT
BILATERAL TEMPLATE AIR SERVICES AGREEMENT Throughout this document: 1) an asterisk is used to indicate that a specific provision within an article is common to each of the traditional, transitional and
More informationTime Benefits of Free-Flight for a Commercial Aircraft
Time Benefits of Free-Flight for a Commercial Aircraft James A. McDonald and Yiyuan Zhao University of Minnesota, Minneapolis, Minnesota 55455 Introduction The nationwide increase in air traffic has severely
More informationNew issues raised on collision avoidance by the introduction of remotely piloted aircraft (RPA) in the ATM system
New issues raised on collision avoidance by the introduction of remotely piloted aircraft (RPA) in the ATM system Jean-Marc Loscos DSNA expert on collision avoidance and airborne surveillance EIWAC 2013
More informationEconomic Impact for Airlines from Air Traffic Control Tower Modernization at LaGuardia Airport
Economic Impact for Airlines from Air Traffic Control Tower Modernization at LaGuardia Airport Presented at SCEA Marc Rose, MCR LLC 202-548-5584 mrose@mcricom 24 June 2007 MCR, LLC MCR Proprietary - Distribution
More informationMulti Profile Training Areas. Col Azmi Al Abaddi Royal Jordanian Air Force
Multi Profile Training Areas Col Azmi Al Abaddi Royal Jordanian Air Force Multi Profile Training Area (MPTA) Col. Azmi Royal Jordanian Air Force Introduction RJAF released (4) military training areas for
More informationQuiz 2 - Solution. Problem #1 (50 points) CEE 5614 Fall Date Due: Wednesday November 20, 2013 Instructor: Trani
CEE 5614 Fall 2013 Quiz 2 - Solution Date Due: Wednesday November 20, 2013 Instructor: Trani Problem #1 (50 points) The North Atlantic Organized System (OTS) is typically made up of 6 Eastbound Track as
More informationSUPPLEMENTARY CONDITIONS APPLICABLE TO TOWER CRANES 2012
SUPPLEMENTARY CONDITIONS APPLICABLE TO TOWER CRANES 2012 TO BE READ IN CONJUNCTION WITH THE CPA MODEL CONDITIONS FOR THE HIRING OF PLANT (2011) EXPLANATORY NOTE: The purpose of these Supplementary Conditions
More informationAirport Safety Management Systems: Integrating Planning Into the Process
Airport Safety Management Systems: Integrating Planning Into the Process Kenneth Jacobs Senior Airport Planner FAA Airport Planning and Environmental Division ken.jacobs@faa.gov SMS Defined A process for
More informationAnalysis of Air Transportation Systems. Airport Capacity
Analysis of Air Transportation Systems Airport Capacity Dr. Antonio A. Trani Associate Professor of Civil and Environmental Engineering Virginia Polytechnic Institute and State University Fall 2002 Virginia
More informationFair Allocation Concepts in Air Traffic Management
Fair Allocation Concepts in Air Traffic Management Thomas Vossen, Michael Ball R.H. Smith School of Business & Institute for Systems Research University of Maryland 1 Ground Delay Programs delayed departures
More informationModeling Visitor Movement in Theme Parks
Modeling Visitor Movement in Theme Parks A scenario-specific human mobility model Gürkan Solmaz, Mustafa İlhan Akbaş and Damla Turgut Department of Electrical Engineering and Computer Science University
More informationA350 XWB Flight Crew Training Concept
Training by Airbus WATS April 2015 A350 XWB Flight Crew Training Concept Presented by Capt. Gary Christiansen Director Flight Operations and Support Our Mission Statement Conceive, build, deliver and support
More informationSERVICE LETTER REVISION
Citation Revision 1 SERVICE LETTER REVISION SL750-71-13 TRANSMITTAL SHEET This sheet transmits Revision 1 to SL750-71-13. A. Attaches the latest revision of the Rolls-Royce Notice To Operators (NTO) Number
More information