Don t Sit on the Fence
|
|
- Dorthy O’Brien’
- 5 years ago
- Views:
Transcription
1 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 / 50
2 Table of contents 1 Introduction 2 Cycles 3 Static Analysis 4 Soundness of Construction 5 Fence placement 6 Conclusion Or Ostrovsky Don t Sit on the Fence April 25th / 50
3 Table of contents 1 Introduction 2 Cycles 3 Static Analysis 4 Soundness of Construction 5 Fence placement 6 Conclusion Or Ostrovsky Don t Sit on the Fence April 25th / 50
4 Problem Programming not under SC is complicated Programmers are stupid Or Ostrovsky Don t Sit on the Fence April 25th / 50
5 Problem Programming not under SC is complicated Programmers are stupid Solution: Let the computer do it Or Ostrovsky Don t Sit on the Fence April 25th / 50
6 Problem Programming not under SC is complicated Programmers are stupid Solution: Let the computer do it Easier said than done Or Ostrovsky Don t Sit on the Fence April 25th / 50
7 Goal Simulate Sequential Consistency, using fences Automatic Optimal Or Ostrovsky Don t Sit on the Fence April 25th / 50
8 Challenges Or Ostrovsky Don t Sit on the Fence April 25th / 50
9 Challenges Correctness Optimality Scalability Compiler optimizations Or Ostrovsky Don t Sit on the Fence April 25th / 50
10 Table of contents 1 Introduction 2 Cycles 3 Static Analysis 4 Soundness of Construction 5 Fence placement 6 Conclusion Or Ostrovsky Don t Sit on the Fence April 25th / 50
11 Memory models: Recap. Operational vs. Axiomatic Different relations Program Order (po) Coherence (co)/memory Order (mo) Read From (rf) From Read (fr = rf 1 ; co) Static vs. dynamic Sequential Consistency vs. Relaxed memory models SC: acyclic(po co rf fr) Relaxed: only a subset Or Ostrovsky Don t Sit on the Fence April 25th / 50
12 Candidate execution Definition Event Wxv, Rxv Event Structure E (E, po), E = {events} Execution Witness X (co, rf, fr) Candidate Execution (E, X) Memory Model MM : {(E, X)} {true, false} Or Ostrovsky Don t Sit on the Fence April 25th / 50
13 Candidate execution Definition Event Wxv, Rxv Event Structure E (E, po), E = {events} Execution Witness X (co, rf, fr) Candidate Execution (E, X) Memory Model MM : {(E, X)} {true, false} Construction? Or Ostrovsky Don t Sit on the Fence April 25th / 50
14 Candidate execution Example Or Ostrovsky Don t Sit on the Fence April 25th / 50
15 Minimal cycles Definition MC1 Per thread: At most 2 accesses Accesses are adjacent in the cycle MC2 Per memory location: At most 3 accesses Accesses are adjacent in the cycle Or Ostrovsky Don t Sit on the Fence April 25th / 50
16 Minimality condition: MC2 Example Or Ostrovsky Don t Sit on the Fence April 25th / 50
17 Delay cycles Definition Delay is a relaxed edge of po, or rf on an architecture A (MM). Delays can be prevented using fences. Theorem A candidate execution is valid on A but not on SC if: DC1 It contains at least one cycle that has a delay. DC2 All of the cycles contain a delay. Or Ostrovsky Don t Sit on the Fence April 25th / 50
18 Critical cycles Definition CS1 At least one delay CS2 Per thread: At most 2 accesses Accesses are adjacent in the cycle To different memory locations CS3 Per memory location: At most 3 accesses Accesses are adjacent in the cycle From different threads Or Ostrovsky Don t Sit on the Fence April 25th / 50
19 Critical cycles Definition CS1 At least one delay CS2 Per thread: At most 2 accesses Accesses are adjacent in the cycle To different memory locations CS3 Per memory location: At most 3 accesses Accesses are adjacent in the cycle From different threads Or Ostrovsky Don t Sit on the Fence April 25th / 50
20 Critical cycles: proof Theorem If an execution candidate is valid on A but not on SC, then there is a cycle which satisfies: 1 Is a minimal cycle. 2 Has least one delay. 3 Accesses on the same threads are to different locations 4 Accesses to the same location are from different threads Or Ostrovsky Don t Sit on the Fence April 25th / 50
21 Table of contents 1 Introduction 2 Cycles 3 Static Analysis 4 Soundness of Construction 5 Fence placement 6 Conclusion Or Ostrovsky Don t Sit on the Fence April 25th / 50
22 Abstract Event Graph Definition Abstract Event Wx, Rx: Abstraction of events Static event set E s = {abstract events} Static Program Order po s : Abstraction of po Competing pairs cmp: Communication between threads AEG aeg (E s, po s, cmp) Or Ostrovsky Don t Sit on the Fence April 25th / 50
23 Abstract Event Graph Example Or Ostrovsky Don t Sit on the Fence April 25th / 50
24 AEG construction Convert C program to goto-instructions Ignore local variables Read each instruction, and update the AEG, starting from the empty graph. Semi-formally: τ[i k ;...](aeg) = τ[i k ;...](f (aeg, (i k,..., i k 1))) Or Ostrovsky Don t Sit on the Fence April 25th / 50
25 Goto instructions Example Or Ostrovsky Don t Sit on the Fence April 25th / 50
26 Transformation function Example τ[x = f (y 1,..., y k ); i](e s, po s, cmp) = let reads = {Ry 1,..., Ry k } in let writes = {Wx} in let E s = E s reads writes in let po s = po s (end(po s ) reads) (reads writes) in τ[i](e s, po s, cmp) end(x) all sink events of x Or Ostrovsky Don t Sit on the Fence April 25th / 50
27 Transformation function: cont. Example τ[start thread th; i](aeg) = let main = τ[body(th)]( ) in let local = τ[i](aeg) in let inter = τ[i]( ) in (local.e s main.e s, local.po s main.po s, local.e s inter.e s ) A B {(a, b) A B addr(a) = addr(b) (write(a) write(b))} (,, ) Or Ostrovsky Don t Sit on the Fence April 25th / 50
28 Program & AEG Example Or Ostrovsky Don t Sit on the Fence April 25th / 50
29 Event structure construction Analogous to AEG S(P) = {(E, po)}: possible event structures S(P) = σ(p)( ): σ is very much like τ Or Ostrovsky Don t Sit on the Fence April 25th / 50
30 Transformation function Example σ[lhs = rhs; i](ses) = let de = dyn evts(lhs = rhs) in let E (E, w, R) = E {w} R in let po (po, w, R) = po (end(po) R) (R {w}) in let es (es, w, R) = (E (es.e, w, R), po (es.po, w, R)) in σ[i]({es (es, w, R) es ses, (w, R) de}) dyn evts(lhs = rhs) = {(w, R)}: Set of events that can cause the statement. Example: dyn evts(x = y + z) = {(Wxv 1, {Ryv 2, Rzv 3 }) v 1 = v 2 + v 3 } Or Ostrovsky Don t Sit on the Fence April 25th / 50
31 Transformation function: cont. Example σ[start thread th; i](ses) = let local = σ[body(th)]( ) in let main = σ[i](ses) in es l local,es m main {(es l.e es m.e, es l.po es m.po)} Or Ostrovsky Don t Sit on the Fence April 25th / 50
32 AEG & ES Example Or Ostrovsky Don t Sit on the Fence April 25th / 50
33 Loops Event a might depend on itself on previous iterations In that case, duplicate loop body Or Ostrovsky Don t Sit on the Fence April 25th / 50
34 Table of contents 1 Introduction 2 Cycles 3 Static Analysis 4 Soundness of Construction 5 Fence placement 6 Conclusion Or Ostrovsky Don t Sit on the Fence April 25th / 50
35 Soundness G = aeg(p) E S(P) Are they related? Or Ostrovsky Don t Sit on the Fence April 25th / 50
36 Concretization Definition γ e (se) {e e se s.t. addr(e) = addr(e ) dir(e) = dir(e ) origin(e) = origin(e )} γ(srel) {(c 1, c 2 ) (s 1, s 2 ) srel s.t. (c 1, c 2 ) γ e ({s 1 }) γ e ({s 2 })} Theorem E 1 γ e (E s,1 ), E 2 γ e (E s,2 ) E 1 E 2 γ(e s,1 E s,2 ) Or Ostrovsky Don t Sit on the Fence April 25th / 50
37 Events and program order Theorem E S(P), G = aeg(p) E.E γ e (G.E s ), E.po γ(g.po + s ) Lemma 5.3 in the article po + is po s closure Or Ostrovsky Don t Sit on the Fence April 25th / 50
38 rf, co, and fr Theorem E S(P), X = (rf, co, fr), (E, X) is a CE, G = aeg(p) X.rfe, X.coe, X.fre γ(g.cmp) Lemma 5.4 in the article Or Ostrovsky Don t Sit on the Fence April 25th / 50
39 Soundness Theorem Let P be a program. Let E S(P), X = (rf, co, fr) an execution witness, (E, X) a candidate execution. Also, let G = aeg(p). E.po X.coi X.rfi X.fri γ(g.po + s ) X.coe X.rfe X.fre γ(g.cmp) E.E γ e (G.E s ) From the two previous theorems Or Ostrovsky Don t Sit on the Fence April 25th / 50
40 Static critical cycles Theorem Let E S(P), X = (rf, co, fr), G = aeg(p). If (E, X) contains a critical cycle c = c 0,..., c n 1, then there is a cycle d = d 0,..., d n 1 in G so that: {c i } γ e ({d i }) {(c i, c i+1 mod n )} γ({(d i, d i+1 mod n )}) Looking for cycles in G will find all cycles in (E, X) Any cycle detection algorithm will do. Or Ostrovsky Don t Sit on the Fence April 25th / 50
41 Static critical cycles Example Or Ostrovsky Don t Sit on the Fence April 25th / 50
42 Static critical cycles Example a, b 1, d, e, f Or Ostrovsky Don t Sit on the Fence April 25th / 50
43 Table of contents 1 Introduction 2 Cycles 3 Static Analysis 4 Soundness of Construction 5 Fence placement 6 Conclusion Or Ostrovsky Don t Sit on the Fence April 25th / 50
44 Considerations We have a list of cycles C = {C 1,..., C n }. Now what? Or Ostrovsky Don t Sit on the Fence April 25th / 50
45 Considerations We have a list of cycles C = {C 1,..., C n }. Now what? Delays Fence types, locations & costs Different for each architecture Or Ostrovsky Don t Sit on the Fence April 25th / 50
46 Problem parameters Input: aeg(es, po s, cmp) C = {C1,..., C n } T = {f, lwf, cf, dp}, cost : T N 1 placements(c) po s T 1 Constrains 1 Output: (l, t) placements(c), t l {0, 1} Cost function: Rough estimation of cost Minimize (l,t) placements(c) t l cost(t) Problems? 1 Architecture dependent Or Ostrovsky Don t Sit on the Fence April 25th / 50
47 Constraints Every delay needs to be fenced Each type of delay can be handled by different types of fences A fence can participate in multiple delays Any of condition:... 1 Promises the problem is satisfiable Trust the cost function Or Ostrovsky Don t Sit on the Fence April 25th / 50
48 TSO delays & fences One type of fence f Only powr delays Or Ostrovsky Don t Sit on the Fence April 25th / 50
49 AEG in TSO Example Or Ostrovsky Don t Sit on the Fence April 25th / 50
50 AEG in TSO Example Not that bad, right? Or Ostrovsky Don t Sit on the Fence April 25th / 50
51 Power: delays & fences Delays powr, poww, porw, porr f Can solve delays in po + s. between(x, y) {(e 1, e 2 ) po s (x, e 1 ), (e 2, y) po s } lwf Same as f, but unsuitable for powr violations. dp Applies only to delays in po s Or Ostrovsky Don t Sit on the Fence April 25th / 50
52 Power: placement & constraints Exact definition of placements(c): placements(c) {(l, dp) l delays(c)} For each d delays(c) {(l, t) t T \ {dp}, l between(delays(c))} {(l, t) t {f, lwf}, l po s (C)} If d powr then e between(d) f e 1 If d poww then e between(d) (f e + lwf e ) 1 If d porw porr then dpd + e between(d) (f e + lwf e ) 1... Or Ostrovsky Don t Sit on the Fence April 25th / 50
53 Power: placement & constraints Exact definition of placements(c): placements(c) {(l, dp) l delays(c)} For each d delays(c) {(l, t) t T \ {dp}, l between(delays(c))} {(l, t) t {f, lwf}, l po s (C)} If d powr then e between(d) f e 1 If d poww then e between(d) (f e + lwf e ) 1 If d porw porr then dpd + e between(d) (f e + lwf e ) 1... How to solve? ILP Or Ostrovsky Don t Sit on the Fence April 25th / 50
54 AEG & ILP Example Or Ostrovsky Don t Sit on the Fence April 25th / 50
55 Table of contents 1 Introduction 2 Cycles 3 Static Analysis 4 Soundness of Construction 5 Fence placement 6 Conclusion Or Ostrovsky Don t Sit on the Fence April 25th / 50
56 Evaluation Measure how well did we do? Or Ostrovsky Don t Sit on the Fence April 25th / 50
57 Evaluation Measure how well did we do? Relative overhead Compared to other tools Different architectures Or Ostrovsky Don t Sit on the Fence April 25th / 50
58 Evaluation Measure how well did we do? Relative overhead Compared to other tools Different architectures Musketeer,Pensieve,Visual Studio, after Each access, after Heap accesses Or Ostrovsky Don t Sit on the Fence April 25th / 50
59 Conclusion Define critical cycles Discover them using static analysis Prove the static analysis is sound Find the best way to place fences Or Ostrovsky Don t Sit on the Fence April 25th / 50
60 Excluded topics Related works Pointer analysis Most of the conversion technicalities Some architecture specifics Implementation & performance (mostly) Or Ostrovsky Don t Sit on the Fence April 25th / 50
61 Questions? Or Ostrovsky Don t Sit on the Fence April 25th / 50
Integrated 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 informationIntroduction Runways delay analysis Runways scheduling integration Results Conclusion. Raphaël Deau, Jean-Baptiste Gotteland, Nicolas Durand
Midival Airport surface management and runways scheduling ATM 2009 Raphaël Deau, Jean-Baptiste Gotteland, Nicolas Durand July 1 st, 2009 R. Deau, J-B. Gotteland, N. Durand ()Airport SMAN and runways scheduling
More informationA Study of Tradeoffs in Airport Coordinated Surface Operations
A Study of Tradeoffs in Airport Coordinated Surface Operations Ji MA, Daniel DELAHAYE, Mohammed SBIHI ENAC École Nationale de l Aviation Civile, Toulouse, France Paolo SCALA, Miguel MUJICA MOTA Amsterdam
More informationAn Analysis of Dynamic Actions on the Big Long River
Control # 17126 Page 1 of 19 An Analysis of Dynamic Actions on the Big Long River MCM Team Control # 17126 February 13, 2012 Control # 17126 Page 2 of 19 Contents 1. Introduction... 3 1.1 Problem Background...
More informationA RECURSION EVENT-DRIVEN MODEL TO SOLVE THE SINGLE AIRPORT GROUND-HOLDING PROBLEM
RECURSION EVENT-DRIVEN MODEL TO SOLVE THE SINGLE IRPORT GROUND-HOLDING PROBLEM Lili WNG Doctor ir Traffic Management College Civil viation University of China 00 Xunhai Road, Dongli District, Tianjin P.R.
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 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 informationAssignment of Arrival Slots
Assignment of Arrival Slots James Schummer Rakesh V. Vohra Kellogg School of Management (MEDS) Northwestern University March 2012 Schummer & Vohra (Northwestern Univ.) Assignment of Arrival Slots March
More informationPRAJWAL KHADGI Department of Industrial and Systems Engineering Northern Illinois University DeKalb, Illinois, USA
SIMULATION ANALYSIS OF PASSENGER CHECK IN AND BAGGAGE SCREENING AREA AT CHICAGO-ROCKFORD INTERNATIONAL AIRPORT PRAJWAL KHADGI Department of Industrial and Systems Engineering Northern Illinois University
More informationATM Seminar 2015 OPTIMIZING INTEGRATED ARRIVAL, DEPARTURE AND SURFACE OPERATIONS UNDER UNCERTAINTY. Wednesday, June 24 nd 2015
OPTIMIZING INTEGRATED ARRIVAL, DEPARTURE AND SURFACE OPERATIONS UNDER UNCERTAINTY Christabelle Bosson PhD Candidate Purdue AAE Min Xue University Affiliated Research Center Shannon Zelinski NASA Ames Research
More informationMathcad Prime 3.0. Curriculum Guide
Mathcad Prime 3.0 Curriculum Guide Live Classroom Curriculum Guide Mathcad Prime 3.0 Essentials Advanced Functionality using Mathcad Prime 3.0 Mathcad Prime 3.0 Essentials Overview Course Code Course Length
More informationCurriculum Guide. Mathcad Prime 4.0
Curriculum Guide Mathcad Prime 4.0 Live Classroom Curriculum Guide Mathcad Prime 4.0 Essentials Mathcad Prime 4.0 Essentials Overview Course Code Course Length TRN-5140-T 16 Hours In this course, you will
More informationAbstract. Introduction
COMPARISON OF EFFICIENCY OF SLOT ALLOCATION BY CONGESTION PRICING AND RATION BY SCHEDULE Saba Neyshaboury,Vivek Kumar, Lance Sherry, Karla Hoffman Center for Air Transportation Systems Research (CATSR)
More informationIMPROVING THE ROBUSTNESS OF FLIGHT SCHEDULE BY FLIGHT RE-TIMING AND IMPOSING A NEW CREW BASE
Jurnal Karya Asli Lorekan Ahli Matematik Vol. 6 No.1 (2013) Page 066-073. Jurnal Karya Asli Lorekan Ahli Matematik IMPROVING THE ROBUSTNESS OF FLIGHT SCHEDULE BY FLIGHT RE-TIMING AND IMPOSING A NEW CREW
More informationAnalysis and Evaluation of the Slugging Form of Ridesharing*
Analysis and Evaluation of the Slugging Form of Ridesharing* Shuo Ma Department of Compute Science University of Illinois at Chicago Chicago, U.S.A. sma21@uic.edu ABSTRACT Ridesharing is a promising method
More informationA Coevolutionary Simulation of Real-Time Airport Gate Scheduling
A Coevolutionary Simulation of Real-Time Airport Scheduling Andrés Gómez de Silva Garza Instituto Tecnológico Autónomo de México (IT) Río Hondo #1, Colonia Tizapán-San Ángel 01000 México, D.F., México
More informationTwo Major Problems Problems Crew Pairing Problem (CPP) Find a set of legal pairin Find gs (each pairing
Solving Airline s Pilot-Copilot Rostering Problem by Successive Bipartite Weighted Matching by Xugang Ye Applied Mathematics and Statistics, The Johns Hopkins University Motivation Crew-related related
More informationONLINE DELAY MANAGEMENT IN RAILWAYS - SIMULATION OF A TRAIN TIMETABLE
ONLINE DELAY MANAGEMENT IN RAILWAYS - SIMULATION OF A TRAIN TIMETABLE WITH DECISION RULES - N. VAN MEERTEN 333485 28-08-2013 Econometrics & Operational Research Erasmus University Rotterdam Bachelor thesis
More informationUC Berkeley Working Papers
UC Berkeley Working Papers Title The Value Of Runway Time Slots For Airlines Permalink https://escholarship.org/uc/item/69t9v6qb Authors Cao, Jia-ming Kanafani, Adib Publication Date 1997-05-01 escholarship.org
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 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 informationFuel Cost, Delay and Throughput Tradeoffs in Runway Scheduling
Fuel Cost, Delay and Throughput Tradeoffs in Runway Scheduling Hanbong Lee and Hamsa Balakrishnan Abstract A dynamic programming algorithm for determining the minimum cost arrival schedule at an airport,
More informationWorkshop. SESAR 2020 Concept. A Brief View of the Business Trajectory
SESAR 2020 Concept A Brief View of the Business Trajectory 1 The Presentation SESAR Concept: Capability Levels Key Themes: Paradigm change Business Trajectory Issues Conclusion 2 ATM Capability Levels
More informationAnalysis of Gaming Issues in Collaborative Trajectory Options Program (CTOP)
Analysis of Gaming Issues in Collaborative Trajectory Options Program (CTOP) John-Paul Clarke, Bosung Kim, Leonardo Cruciol Air Transportation Laboratory Georgia Institute of Technology Outline 2 Motivation
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 information16.9% RevPAR increase. Best Western Borås started using Atomize at the end of 2017 and experienced a RevPAR increase of 16.9% in Q
16.9% RevPAR increase. Best Western Borås started using Atomize at the end of 2017 and experienced a RevPAR increase of 16.9% in Q1 2018. Executive Summary Best Western Borås (BW Borås) started using Atomize
More informationSERVICE NETWORK DESIGN: APPLICATIONS IN TRANSPORTATION AND LOGISTICS
SERVICE NETWORK DESIGN: APPLICATIONS IN TRANSPORTATION AND LOGISTICS Professor Cynthia Barnhart Massachusetts Institute of Technology Cambridge, Massachusetts USA March 21, 2007 Outline Service network
More informationScalable Runtime Support for Data-Intensive Applications on the Single-Chip Cloud Computer
Scalable Runtime Support for Data-Intensive Applications on the Single-Chip Cloud Computer Anastasios Papagiannis and Dimitrios S. Nikolopoulos, FORTH-ICS Institute of Computer Science (ICS) Foundation
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 informationOptimizing trajectories over the 4DWeatherCube
Optimizing trajectories over the 4DWeatherCube Detailed Proposal - SES Awards 2016 Airbus Defence and Space : dirk.schindler@airbus.com Luciad : robin.houtmeyers@luciad.com Eumetnet : kamel.rebai@meteo.fr
More informationSpecial Conditions: CFM International, LEAP-1A and -1C Engine Models; Incorporation
This document is scheduled to be published in the Federal Register on 11/14/2014 and available online at http://federalregister.gov/a/2014-27019, and on FDsys.gov [4910-13] DEPARTMENT OF TRANSPORTATION
More informationTour route planning problem with consideration of the attraction congestion
Acta Technica 62 (2017), No. 4A, 179188 c 2017 Institute of Thermomechanics CAS, v.v.i. Tour route planning problem with consideration of the attraction congestion Xiongbin WU 2, 3, 4, Hongzhi GUAN 2,
More informationAQME 10 System Description
AQME 10 System Description Luca Pulina and Armando Tacchella University of Genoa DIST - Viale Causa 13 16145 Genoa (Italy) POS 2010 - Edinburgh, July 10, 2010 Luca Pulina (UNIGE) AQME 10 System Description
More informationA Statistical Method for Eliminating False Counts Due to Debris, Using Automated Visual Inspection for Probe Marks
A Statistical Method for Eliminating False Counts Due to Debris, Using Automated Visual Inspection for Probe Marks SWTW 2003 Max Guest & Mike Clay August Technology, Plano, TX Probe Debris & Challenges
More informationPart 1. Part 2. airports100.csv contains a list of 100 US airports.
.. Fall 2007 CSC/CPE 365: Database Systems Alexander Dekhtyar.. Lab 8: PL/SQL Due date: Thursday, November 29, midnight Assignment Preparation The main part of this assignment is to be done in teams. The
More informationAircraft Arrival Sequencing: Creating order from disorder
Aircraft Arrival Sequencing: Creating order from disorder Sponsor Dr. John Shortle Assistant Professor SEOR Dept, GMU Mentor Dr. Lance Sherry Executive Director CATSR, GMU Group members Vivek Kumar David
More informationOptimized Itinerary Generation for NAS Performance Analysis
Optimized Itinerary Generation for NAS Performance Analysis Feng Cheng, Bryan Baszczewski, John Gulding Federal Aviation Administration, Washington, DC, 20591 FAA s long-term planning process is largely
More informationOptimising throughput of rail dump stations, via simulation and control system changes. Rob Angus BMT WBM Pty Ltd Brisbane 5 June 2013
Optimising throughput of rail dump stations, via simulation and control system changes Rob Angus BMT WBM Pty Ltd Brisbane 5 June 2013 Presentation Overview Introduction Volumetric vs. DEM Modelling Coal
More informationMaximization of an Airline s Profit
Maximization of an Airline s Profit Team 8 Wei Jin Bong Liwen Lee Justin Tompkins WIN 15 Abstract This project aims to maximize the profit of an airline. Three subsystems will be considered Price and Demand,
More informationConcept of Operations Workshop
Concept of Operations Workshop CS#2 4DPP 4D Trajectory Calculation for Purposes Bernard Rausch CS2 Project Manager 03 September 2013 On the menu today. 1. Drivers for change 2. Objectives 3. Concept 4.
More informationJeppesen Pairing & Rostering
Jeppesen Pairing & Rostering Johan Kristofferson Global Program Sales Leader Crew, Ops & Analytics October 5th, 2016 What successful Airlines have in common Network (Commercial) Aircraft planning Fleeting
More informationA Review of Airport Runway Scheduling
1 A Review of Airport Runway Scheduling Julia Bennell School of Management, University of Southampton Chris Potts School of Mathematics, University of Southampton This work was supported by EUROCONTROL,
More informationLong term morphological analysis and simulations
Long term morphological analysis and simulations Dr.-Ing. Markus Promny Bundesanstalt für Gewässerkunde / Federal Institute of Hydrology GESINUS 2010 - Liège - 29./30.07.2010 page 1 1D-models of German
More informationLarge-Scale Network Slot Allocation with Dynamic Time Horizons
www.dlr.de page 1 > Large-Scale Network Slot Allocation with Dynamic Time Horizons (Lau, Berling et al.) Large-Scale Network Slot Allocation with Dynamic Time Horizons Alexander Lau 1, Jan Berling 1, Florian
More informationIncentives in Landing Slot Problems
Incentives in Landing Slot Problems James Schummer 1 Azar Abizada 2 1 MEDS, Kellogg School of Management Northwestern University 2 School of Business Azerbaijan Diplomatic Academy June 2013 Schummer/Abizada
More informationPlease cite the published version.
Qadir, Hajra and Khalid, Osman and Khan, Muhammad Usman Shahid and Khan, Atta ur Rehman and awaz, Raheel (2018)An Optimal Ride Sharing Recommendation Framework for Carpooling Services. IEEE Access. ISS
More informationEfficiency and Automation
Efficiency and Automation Towards higher levels of automation in Air Traffic Management HALA! Summer School Cursos de Verano Politécnica de Madrid La Granja, July 2011 Guest Lecturer: Rosa Arnaldo Universidad
More informationApplying Integer Linear Programming to the Fleet Assignment Problem
Applying Integer Linear Programming to the Fleet Assignment Problem ABARA American Airlines Decision Ti'chnohi^ics PO Box 619616 Dallasll'ort Worth Airport, Texas 75261-9616 We formulated and solved the
More informationApproximate Network Delays Model
Approximate Network Delays Model Nikolas Pyrgiotis International Center for Air Transportation, MIT Research Supervisor: Prof Amedeo Odoni Jan 26, 2008 ICAT, MIT 1 Introduction Layout 1 Motivation and
More informationSystem Wide Modeling for the JPDO. Shahab Hasan, LMI Presented on behalf of Dr. Sherry Borener, JPDO EAD Director Nov. 16, 2006
System Wide Modeling for the JPDO Shahab Hasan, LMI Presented on behalf of Dr. Sherry Borener, JPDO EAD Director Nov. 16, 2006 Outline Quick introduction to the JPDO, NGATS, and EAD Modeling Overview Constraints
More informationEvaluating the Robustness and Feasibility of Integer Programming and Dynamic Programming in Aircraft Sequencing Optimization
Evaluating the Robustness and Feasibility of Integer Programming and Dynamic Programming in Aircraft Sequencing Optimization WPI Advisors Jon Abraham George Heineman By Julia Baum & William Hawkins MIT
More informationEUROCONTROL. Centralised Services concept. Joe Sultana Director Network Manager 1 July 2013
EUROCONTROL Centralised Services concept Joe Sultana Director Network Manager 1 July 2013 EUROCONTROL Centralised Services 2 Why do we need Centralised Services? Europe needs to be competitive again! a
More informationPrice-Setting Auctions for Airport Slot Allocation: a Multi-Airport Case Study
Price-Setting Auctions for Airport Slot Allocation: a Multi-Airport Case Study An Agent-Based Computational Economics Approach to Strategic Slot Allocation SESAR Innovation Days Bologna, 2 nd December
More informationMonitoring & Control Tim Stevenson Yogesh Wadadekar
Monitoring & Control Tim Stevenson Yogesh Wadadekar Monitoring & Control M&C is not recognised as an SPDO Domain However the volume of work carried out in 2011 justifies a Concept Design Review M&C is
More informationEU GPP CRITERIA FOR INDOOR CLEANING SERVICES 1. INTRODUCTION
EU GPP CRITERIA FOR INDOOR CLEANING SERVICES (please note that this document is a compilation of the criteria proposed in the 3 rd Technical Report, which should be consulted for a full understanding of
More informationHOW TO IMPROVE HIGH-FREQUENCY BUS SERVICE RELIABILITY THROUGH SCHEDULING
HOW TO IMPROVE HIGH-FREQUENCY BUS SERVICE RELIABILITY THROUGH SCHEDULING Ms. Grace Fattouche Abstract This paper outlines a scheduling process for improving high-frequency bus service reliability based
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 informationDecentralized Path Planning For Air Traffic Management Wei Zhang
Decentralized Path Planning For Air Traffic Management Wei Zhang Advisor: Prof. Claire Tomlin Dept. of EECS, UC Berkeley 1 Outline Background National Aviation System Needs for Next Generation Air Traffic
More informationAIRLINE CONNECTION POINT ANALYSIS
AIRLINE CONNECTION POINT ANALYSIS D. W. Baird, Trans World Airlines, Inc. ABSTRACT This paper describes a SAS Institute, Inc. based system for computing connection cities to be used for Trans World Airlines',
More informationA proof library shared by different proof systems. Gilles Dowek
A proof library shared by different proof systems Gilles Dowek Sharing data A C program can be executed on any computer A jpg, png... photo can be seen on any telephone, computer... A webpage can be displayed
More informationAircraft and Gate Scheduling Optimization at Airports
Aircraft and Gate Scheduling Optimization at Airports H. Ding 1,A.Lim 2, B. Rodrigues 3 and Y. Zhu 2 1 Department of CS, National University of Singapore 3 Science Drive 2, Singapore dinghaon@comp.nus.edu.sg
More informationFederal Aviation Administration Portfolio for Safety Research and Development. Seminar Paul Krois October, 2008
Portfolio for Safety Research and Development Presented to: By: Date: EUROCONTROL Safety R&D Seminar Paul Krois October, 2008 Introduction The FAA National Aviation Research Plan (NARP) integrates and
More informationDMAN-SMAN-AMAN Optimisation at Milano Linate Airport
DMAN-SMAN-AMAN Optimisation at Milano Linate Airport Giovanni Pavese, Maurizio Bruglieri, Alberto Rolando, Roberto Careri Politecnico di Milano 7 th SESAR Innovation Days (SIDs) November 28 th 30 th 2017
More informationSimulation of disturbances and modelling of expected train passenger delays
Computers in Railways X 521 Simulation of disturbances and modelling of expected train passenger delays A. Landex & O. A. Nielsen Centre for Traffic and Transport, Technical University of Denmark, Denmark
More informationRECEDING HORIZON CONTROL FOR AIRPORT CAPACITY MANAGEMENT
RECEDING HORIZON CONTROL FOR AIRPORT CAPACITY MANAGEMENT W.-H. Chen, X.B. Hu Dept. of Aeronautical & Automotive Engineering, Loughborough University, UK Keywords: Receding Horizon Control, Air Traffic
More informationAirline Scheduling Optimization ( Chapter 7 I)
Airline Scheduling Optimization ( Chapter 7 I) Vivek Kumar (Research Associate, CATSR/GMU) February 28 th, 2011 CENTER FOR AIR TRANSPORTATION SYSTEMS RESEARCH 2 Agenda Airline Scheduling Factors affecting
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 informationCross-border Free Route Airspace Implementation Workshop Conclusions and Recommendations
Cross-border Free Route Airspace Implementation Workshop Conclusions and Recommendations 29 30 JUN 2015 Item 1: Cross-border expansion of FRA (1) Harmonised CONOPS PMP and management structure Important
More informationA Primer on Fatigue Damage Spectrum for Accelerated and Reliability Testing
A Primer on Fatigue Damage Spectrum for Accelerated and Reliability Testing John VanBaren Vibration Research Corporation vrsales@vibrationresearch.com www.ieee-astr.org ASTR 2016, Sep 28-30, Pensacola
More informationPlanning aircraft movements on airports with constraint satisfaction
Planning aircraft movements on airports with constraint satisfaction H.H. Hesselink and S. Paul Planning aircraft movements on airports with constraint satisfaction H.H. Hesselink and S. Paul* * AlcatelISR
More informationToday: using MATLAB to model LTI systems
Today: using MATLAB to model LTI systems 2 nd order system example: DC motor with inductance derivation of the transfer function transient responses using MATLAB open loop closed loop (with feedback) Effect
More informationResearch on Aviation Security*
Research on Aviation Security* John E. Kobza Department of Industrial Engineering Texas Tech University (806) 742-3402 john.kobza@coe.ttu.edu www.coe.ttu.edu/ie/kobza.htm Sheldon H. Jacobson Department
More informationStrategic airspace capacity planning in a network under demand uncertainty (COCTA project results)
Strategic airspace capacity planning in a network under demand uncertainty (COCTA project results) Prof. Dr. Frank Fichert Worms University of Applied Sciences Joint work with: University of Belgrade (Dr
More informationA 3D simulation case study of airport air traffic handling
A 3D simulation case study of airport air traffic handling Henk de Swaan Arons Erasmus University Rotterdam PO Box 1738, H4-21 3000 DR Rotterdam, The Netherlands email: hdsa@cs.few.eur.nl Abstract Modern
More informationFlight Arrival Simulation
Flight Arrival Simulation Ali Reza Afshari Buein Zahra Technical University, Department of Industrial Engineering, Iran, afshari@bzte.ac.ir Mohammad Anisseh Imam Khomeini International University, Department
More informationAn Airline Crew Scheduling for Optimality
International Journal of Mathematics and Computer Science, 11(2016), no. 2, 187 198 M CS An Airline Crew Scheduling for Optimality K. Rauf 1, N. Nyor 2, R. U. Kanu 3,J. O. Omolehin 4 1 Department of Mathematics
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 informationFormal verification of small and micro UAS
Formal verification of small and micro UAS Prof Sandor M Veres University of Sheffield December 2, 2015 Introduction The purpose of my talk What to Verify? What are the models and requirements? Verification
More informationSimplification Using Map Method
Philadelphia University Faculty of Information Technology Department of Computer Science Computer Logic Design By Dareen Hamoudeh Dareen Hamoudeh 1 Simplification Using Map Method Dareen Hamoudeh 2 1 Why
More informationPERFORMANCE MEASURE INFORMATION SHEET #16
PERFORMANCE MEASURE INFORMATION SHEET #16 ARROW LAKES RESERVOIR: RECREATION Objective / Location Recreation/Arrow Lakes Reservoir Performance Measure Access Days Units Description MSIC 1) # Access Days
More informationTitle ID Number Sequence and Duration. Age Level Essential Question Learning Objectives
Title ID Number Sequence and Duration Age Level Essential Question Learning Objectives Lesson Activity Design a Roller Coaster (2 sessions, 60-80 minutes) HS-S-C3 Session 1: Background and Planning Lead
More informationSession III Issues for the Future of ATM
NEXTOR Annual Research Symposium November 14, 1997 Session III Issues for the Future of ATM Synthesis of a Future ATM Operational Concept Aslaug Haraldsdottir, Boeing ATM Concept Baseline Definition Aslaug
More informationFuture Automation Scenarios
Future Automation Scenarios Francesca Lucchi University of Bologna Madrid, 05 th March 2018 AUTOPACE Project Close-Out Meeting. 27th of March, 2018, Brussels 1 Future Automation Scenarios: Introduction
More informationICAO LOC-I SYMPOSIUM STALL & UPRT IMPLEMENTATION. Itash Samani Global Head of FSTD Regulations, Regulatory Affairs June 2015 Nairobi Kenya
1 ICAO LOC-I SYMPOSIUM STALL & UPRT IMPLEMENTATION Itash Samani Global Head of FSTD Regulations, Regulatory Affairs 22-24 June 2015 Nairobi Kenya STALL & UPRT IMPLEMENTATION Regulatory Requirements ICAO,
More informationMathcad Prime Curriculum Guide
Mathcad Prime Curriculum Guide Web Based Curriculum Guide Mathcad Prime 1.0 - Application Orientation Mathcad Prime 1.0 - Plotting Mathcad Prime 1.0 - Working With Units Mathcad Prime 1.0 - Solving Equations
More informationMathematical modeling in the airline industry: optimizing aircraft assignment for on-demand air transport
Trabalho apresentado no CNMAC, Gramado - RS, 2016. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics Mathematical modeling in the airline industry: optimizing aircraft
More informationAutonomic Thread Scaling Library for QoS Management
Autonomic Thread Scaling Library for QoS Management Gianluca C. Durelli Politecnico di Milano Dipartimento di Elettronica, Informazione e Bioingegneria gianlucacarlo.durelli@polimi.it Marco D. Santambrogio
More informationTransit Vehicle Scheduling: Problem Description
Transit Vehicle Scheduling: Problem Description Outline Problem Characteristics Service Planning Hierarchy (revisited) Vehicle Scheduling /24/03.224J/ESD.204J Problem Characteristics Consolidated Operations
More informationUSE OF MICROENCAPSULATED PCM IN BUILDINGS AND THE EFFECT OF ADDING AWNINGS
USE OF MICROENCAPSULATED PCM IN BUILDINGS AND THE EFFECT OF ADDING AWNINGS ABSTRACT C. Castellón, M. Nogués, G. Pérez, M. Medrano, L.F. Cabeza Centre GREA Innovació Concurrent Edifici CREA, Universitat
More informationValidation Results of Airport Total Operations Planner Prototype CLOU. FAA/EUROCONTROL ATM Seminar 2007 Andreas Pick, DLR
Validation Results of Airport Total Operations Planner Prototype CLOU FAA/EUROCONTROL ATM Seminar 2007 Andreas Pick, DLR FAA/EUROCONTROL ATM Seminar 2007 > Andreas Pick > July 07 1 Contents TOP and TOP
More informationDo Not Write Below Question Maximum Possible Points Score Total Points = 100
University of Toronto Department of Economics ECO 204 Summer 2012 Ajaz Hussain TEST 3 SOLUTIONS TIME: 1 HOUR AND 50 MINUTES YOU CANNOT LEAVE THE EXAM ROOM DURING THE LAST 10 MINUTES OF THE TEST. PLEASE
More informationImplementation & Planning SG: CoBA Proposals Scenarios. October 2015
Implementation & Planning SG: CoBA Proposals Scenarios October 2015 Content - Introduction - Imbalance netting CoBA Scenario - RR CoBA Scenario - FRR considerations - mfrr CoBA scenarios - Next Steps Page
More informationDANUBE FAB real-time simulation 7 November - 2 December 2011
EUROCONTROL DANUBE FAB real-time simulation 7 November - 2 December 2011 Visitor Information DANUBE FAB in context The framework for the creation and operation of a Functional Airspace Block (FAB) is laid
More informationESTIMATING CAPACITY REQUIREMENTS FOR AIR TRANSPORTATION SYSTEM DESIGN
ESTIMATING CAPACITY REQUIREMENTS FOR AIR TRANSPORTATION SYSTEM DESIGN Shannon Zelinski 1 and Tom Romer 2 NASA Ames Research Center, Moffett Field, California, 943, USA Abstract 1 Introduction This paper
More informationEnabling Civilian Low-Altitude Airspace and Unmanned Aerial System (UAS) Operations. Unmanned Aerial System Traffic Management (UTM)
Enabling Civilian Low-Altitude Airspace and Unmanned Aerial System (UAS) Operations By Unmanned Aerial System Traffic Management (UTM) Parimal Kopardekar, Ph.D. UTM Principal Investigator and Manager,
More informationAir Traffic Complexity: An Input-Output Approach. Amy R Pritchett, Keumjin Lee and Eric JM Feron School of Aerospace Engineering Georgia Tech
Air Traffic Complexity: An Input-Output Approach Amy R Pritchett, Keumjin Lee and Eric JM Feron School of Aerospace Engineering Georgia Tech Motivation Efforts to balance air traffic demand and airspace
More informationTotal Airport Management Solution DELIVERING THE NEXT GENERATION AIRPORT
Total Airport Management Solution DELIVERING THE NEXT GENERATION AIRPORT Benefits of Total Airport Management Greater end-to-end visibility across landside and airside operations More accurate passenger
More informationResearch on Pilots Development Planning
Journal of Software Engineering and Applications 2012 5 1016-1022 http://dx.doi.org/10.4236/sea.2012.512118 Published Online December 2012 (http://www.scirp.org/ournal/sea) Ruo Ding Mingang Gao * Institute
More information"Free at Last" Cage-based Living Geometry
"Free at Last" Living Geometry Dr Yann Savoye Innsbruck University POEMS 15: Polytopal Element Methods in Mathematics and Engineering October 30, 2015 www.animlife.com Content 1. Introduction 2. Background
More informationSIMULATION MODELING AND ANALYSIS OF A NEW INTERNATIONAL TERMINAL
Proceedings of the 2000 Winter Simulation Conference J. A. Joines, R. R. Barton, K. Kang, and P. A. Fishwick, eds. SIMULATION MODELING AND ANALYSIS OF A NEW INTERNATIONAL TERMINAL Ali S. Kiran Tekin Cetinkaya
More information