AQME 10 System Description
|
|
|
- Sherman Oliver
- 5 years ago
- Views:
Transcription
1 AQME 10 System Description Luca Pulina and Armando Tacchella University of Genoa DIST - Viale Causa Genoa (Italy) POS Edinburgh, July 10, 2010 Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 1 / 56
2 What is a quantified Boolean formula? Consider a Boolean formula, e.g., (x 1 x 2 ) ( x 1 x 2 ) Adding existential and universal quantifiers, e.g., x 1 x 2 (x 1 x 2 ) ( x 1 x 2 ) yields a quantified Boolean formula (QBF). Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 2 / 56
3 What is the meaning of a QBF? A QBF, e.g., x 1 x 2 (x 1 x 2 ) ( x 1 x 2 ) is true if and only if for every value of x 1 there exist a value of x 2 such that (x 1 x 2 ) ( x 1 x 2 ) is propositionally satisfiable Given any QBF ψ: if ψ = xϕ then ψ is true iff ϕ x=0 ϕ x=1 is true if ψ = xϕ then ψ is true iff ϕ x=0 ϕ x=1 is true Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 3 / 56
4 QBFs as a logic assembly language Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 4 / 56
5 QBFs as a logic assembly language This approach works fine as long as QBF solvers are robust! Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 4 / 56
6 Are state-of-the-art QBF solvers robust? Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 5 / 56
7 Are state-of-the-art QBF solvers robust? Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 6 / 56
8 Are state-of-the-art QBF solvers robust? Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 7 / 56
9 Are state-of-the-art QBF solvers robust? Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 8 / 56
10 Are state-of-the-art QBF solvers robust? Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 9 / 56
11 Are state-of-the-art QBF solvers robust? Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 10 / 56
12 Are state-of-the-art QBF solvers robust? Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 11 / 56
13 Are state-of-the-art QBF solvers robust? Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 12 / 56
14 Are state-of-the-art QBF solvers robust? Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 13 / 56
15 Are state-of-the-art QBF solvers robust? Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 14 / 56
16 Goal: a robust QBF solver Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 15 / 56
17 Goal: a robust QBF solver Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 16 / 56
18 Goal: a robust QBF solver Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 17 / 56
19 Outline 1 Engineering a robust QBF solver 2 Designing a self-adaptive multi-engine 3 Experiments 4 Conclusions & future work Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 18 / 56
20 Outline 1 Engineering a robust QBF solver 2 Designing a self-adaptive multi-engine 3 Experiments 4 Conclusions & future work Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 19 / 56
21 Two approaches to yield a robust solver Brute force Given m QSAT instances and n solvers (engines) 1 Run each engine on a separate machine. 2 Stop all the engines as soon as one solves the instance, or all the engines exhaust resources. 3 Continue with the next instance (if any). Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 20 / 56
22 Two approaches to yield a robust solver Brute force Given m QSAT instances and n solvers (engines) 1 Run each engine on a separate machine. 2 Stop all the engines as soon as one solves the instance, or all the engines exhaust resources. 3 Continue with the next instance (if any). Intelligence Understand which engine is best for which QBFs Fairly old idea: asset allocation in economics. Looking for dynamically adaptive policies. Algorithm portfolios: SAT, SMT, QBFs (see related work). Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 20 / 56
23 Intelligence = Learning (to choose engines) E 1 E 2 ϕ F (ϕ)... E n Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 21 / 56
24 Intelligence = Learning (to choose engines) E 1 E 2 ϕ F (ϕ)... E n Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 22 / 56
25 Intelligence = Learning (to choose engines) E 1 E 2 ϕ F (ϕ)... result E n Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 23 / 56
26 Intelligence = Learning (to choose engines)? E 1 E 2 ϕ F (ϕ)... E n Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 24 / 56
27 Intelligence = Learning (to choose engines) E 1? E 2 ϕ F (ϕ)... Dataset E n ϕ 1 E 2 ϕ 2 E 4... ϕ m E 1 Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 25 / 56
28 Intelligence = Learning (to choose engines) E 1? E 2 ϕ F (ϕ)... Dataset E n ϕ 1 E 2 ϕ 2 E 4... ϕ m E 1 Learning Algorithm Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 26 / 56
29 Intelligence = Learning (to choose engines) E 1! E 2 ϕ F (ϕ)... Dataset E n ϕ 1 E 2 ϕ 2 E 4... ϕ m E 1 Learning Algorithm Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 27 / 56
30 Intelligence = Learning (to choose engines) E 1 E 2 ϕ F (ϕ)... Dataset ϕ 1 E 2 ϕ 2 E 4... ϕ m E 1 Learning Algorithm E n Choose a dataset Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 28 / 56
31 Intelligence = Learning (to choose engines) E 1 E 2 ϕ F (ϕ)... Dataset ϕ 1 E 2 ϕ 2 E 4... ϕ m E 1 Learning Algorithm E n Choose inducer(s) Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 29 / 56
32 Intelligence = Learning (to choose engines) E 1 E 2 ϕ F (ϕ)... Dataset ϕ 1 E 2 ϕ 2 E 4... ϕ m E 1 Learning Algorithm E n Choose engines Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 30 / 56
33 Choosing datasets QBFLIB ( a repository of QBFs More than 15K formulas in a standard format. Artificially generated, toy problems, realistic encodings, challenge problems,... QBF solvers competitions ( A subset of the formulas available in QBFLIB. Up-to-date performance data about QBF solvers. Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 31 / 56
34 Choosing datasets QBFLIB ( a repository of QBFs More than 15K formulas in a standard format. Artificially generated, toy problems, realistic encodings, challenge problems,... QBF solvers competitions ( A subset of the formulas available in QBFLIB. Up-to-date performance data about QBF solvers. Our choice in AQME 10 The whole QBFEVAL 08 dataset (3326 fixed structured formulas). Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 31 / 56
35 Representing QBFs Basic features regarding: Clauses: total number, number of Horn clauses,... Variables: total number, existential and universal,... Quantifiers: alternations,... Literals: total number, average per clause, Combined features: ratios/products between basic features. Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 32 / 56
36 Representing QBFs Basic features regarding: Clauses: total number, number of Horn clauses,... Variables: total number, existential and universal,... Quantifiers: alternations,... Literals: total number, average per clause, Combined features: ratios/products between basic features. Our choice in AQME cheap syntactic features for each QBF. Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 32 / 56
37 Choice of inductive models Our desiderata: Deal with numerical attributes (QBF features) and multiple class labels (engines). No assumptions of normality or (in)dependence among the features. No complex parameter tuning, thanks! Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 33 / 56
38 Choice of inductive models Our desiderata: Deal with numerical attributes (QBF features) and multiple class labels (engines). No assumptions of normality or (in)dependence among the features. No complex parameter tuning, thanks! Our choice in AQME 10 Nearest-neighbour (1-NN) We also implemented multivariate logistic regression, decision trees, and decision rules. We select 1-NN for its robustness w.r.t. the inductive models above (see [Pulina and Tacchella, CP-DP 08]). Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 33 / 56
39 Choosing reasoning engines QBFEVALs reveal major differences between Heuristic search based solvers. Hybrid solvers mainly based on other techniques (e.g., resolution, skolemization), but possibly including search. Which solvers to choose as basic engines? Only the best search and hybrid? All state of the art solvers? Something in between? Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 34 / 56
40 Choosing reasoning engines QBFEVALs reveal major differences between Heuristic search based solvers. Hybrid solvers mainly based on other techniques (e.g., resolution, skolemization), but possibly including search. Which solvers to choose as basic engines? Only the best search and hybrid? All state of the art solvers? Something in between? Our selection in AQME 10 Search-based: QUBE3.1, SSOLVE-UT, and 2CLSQ. Hybrid: QUANTOR2.11, and SKIZZO-0.9-STD. Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 34 / 56
41 Choosing reasoning engines QBFEVALs reveal major differences between Heuristic search based solvers. Hybrid solvers mainly based on other techniques (e.g., resolution, skolemization), but possibly including search. Which solvers to choose as basic engines? Only the best search and hybrid? All state of the art solvers? Something in between? Our selection in AQME 10 Search-based: QUBE3.1, SSOLVE-UT, and 2CLSQ. Hybrid: QUANTOR2.11, and SKIZZO-0.9-STD. Vintage engines offer us a baseline to compare the current progress in the development of QBF solvers. Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 34 / 56
42 Outline 1 Engineering a robust QBF solver 2 Designing a self-adaptive multi-engine 3 Experiments 4 Conclusions & future work Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 35 / 56
43 Designing a self-adaptive multi-engine How could AQME 10 learn by its incorrect predictions? Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 36 / 56
44 Designing a self-adaptive multi-engine How could AQME 10 learn by its incorrect predictions? Retraining: adaptation schema applied to engine selection policies whenever they fail to give good predictions. Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 36 / 56
45 Retraining Choose E 1 E 2 ϕ F (ϕ)... Dataset E n ϕ 1 E 2 ϕ 2 E 4... ϕ m E 1 Learning Algorithm Choose Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 37 / 56
46 Retraining Choose E 1 E 2 ϕ F (ϕ)... Dataset E n ϕ 1 E 2 ϕ 2 E 4... ϕ m E 1 Learning Algorithm Choose Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 38 / 56
47 Retraining Choose E 1 E 2 ϕ F (ϕ)... Dataset E n ϕ 1 E 2 ϕ 2 E 4... ϕ m E 1 Learning Algorithm ϕ m+1 E 1 Choose Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 39 / 56
48 Retraining Choose E 1 E 2 ϕ F (ϕ)... Dataset E n ϕ 1 E 2 ϕ 2 E 4... ϕ m E 1 Learning Algorithm ϕ m+1 E 1 Choose Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 40 / 56
49 Retraining Choose E 1 E 2 ϕ F (ϕ)... Dataset E n ϕ 1 E 2 ϕ 2 E 4... ϕ m E 1 Learning Algorithm ϕ m+1 E 1 Choose Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 41 / 56
50 Retraining policies Critical points for AQME 10 performances: How much CPU time is granted to each engine. Which engine is called for retraining. Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 42 / 56
51 Retraining policies Critical points for AQME 10 performances: How much CPU time is granted to each engine. Which engine is called for retraining. Policies in AQME 10 Granted CPU time: Trust the Predicted Engine - A fixed amount of CPU time is granted to the predicted solver. - If it fails, another engine is called (following the engine selection policy), with a granted amount of CPU time until the solver solves the input formula. - If the formula is not solved, the originally predicted engine is fired, with the time limit assigned to the remaining time. Engine selection: The engine to fire is selected according to the QBFEVAL 06 ranking. Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 42 / 56
52 AQME 10 architecture Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 43 / 56
53 AQME 10 architecture Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 44 / 56
54 AQME 10 architecture Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 45 / 56
55 AQME 10 architecture Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 46 / 56
56 AQME 10 architecture Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 47 / 56
57 AQME 10 architecture Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 48 / 56
58 AQME 10 architecture Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 49 / 56
59 Outline 1 Engineering a robust QBF solver 2 Designing a self-adaptive multi-engine 3 Experiments 4 Conclusions & future work Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 50 / 56
60 AQME 10 Solver MAIN 2QBF SH RND # Time # Time # Time # Time AIGSOLVE NA NA NA NA AQME DEPQBF DEPQBF-PRE NENOFEX QMAIGA NA NA NA NA NA NA QUANTOR STRUQS Best 1 solver in MAIN and RND tracks. Good performance in 2QBF and SH tracks. 1 In the sense of numbers of problems solved within the CPU time limit Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 51 / 56
61 Looking inside AQME 10 MAIN 2QBF SH RND 2CLSQ 28 1 QUANTOR QUBE SKIZZO SSOLVE-UT Retrainings Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 52 / 56
62 Looking inside AQME 10 MAIN 2QBF SH RND 2CLSQ 28 1 QUANTOR QUBE SKIZZO SSOLVE-UT Retrainings Self-adaptation based on the characteristics of the test set. Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 52 / 56
63 Outline 1 Engineering a robust QBF solver 2 Designing a self-adaptive multi-engine 3 Experiments 4 Conclusions & future work Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 53 / 56
64 Conclusions A multiengine solver is a robust alternative to current state-of-the-art QBF solvers. Good performance achieved also using engines date back Retraining algorithm increases the performances in terms of number of solved formula. Performances limited by the State-of-the-art solver, i.e., the ideal solver that always fares the best time among all the considered solvers. Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 54 / 56
65 Future work Mechanism for the automatic integration of new engines. Implementation of new learning algorithms (see, e.g., D. Stern et al., AAAI 2010). Integration between different algorithms, not black-box engines (see, e.g., Pulina and Tacchella, FROCOS 2009). Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 55 / 56
66 Thank you! Luca Pulina (UNIGE) AQME 10 System Description POS 10 - Edinburgh 56 / 56
Schedule 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
An 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
Predicting Flight Delays Using Data Mining Techniques
Todd Keech CSC 600 Project Report Background Predicting Flight Delays Using Data Mining Techniques According to the FAA, air carriers operating in the US in 2012 carried 837.2 million passengers and the
SAT: Propositional Satisfiability and Beyond
ICT Graduate School Course Trento, May 2002 SAT: Propositional Satisfiability and Beyond Roberto Sebastiani Dept. of Information and Communication Technologies University of Trento, Italy rseba@dit.unitn.it
Transportation Timetabling
Outline DM87 SCHEDULING, TIMETABLING AND ROUTING Lecture 16 Transportation Timetabling 1. Transportation Timetabling Tanker Scheduling Air Transport Train Timetabling Marco Chiarandini DM87 Scheduling,
A 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
ONLINE 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
ATTEND 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
Lecture 2: Image Classification pipeline. Fei-Fei Li & Andrej Karpathy Lecture 2-1
Lecture 2: Image Classification pipeline Fei-Fei Li & Andrej Karpathy Lecture 2-1 Image Classification: a core task in Computer Vision (assume given set of discrete labels) {dog, cat, truck, plane,...}
Decision aid methodologies in transportation
Decision aid methodologies in transportation Lecture 5: Revenue Management Prem Kumar prem.viswanathan@epfl.ch Transport and Mobility Laboratory * Presentation materials in this course uses some slides
Information Extraction slides adapted from Jim Martin s Natural Language Processing class
Information Extraction slides adapted from Jim Martin s Natural Language Processing class http://www.cs.colorado.edu/~martin/csci5832/ Motivation for Information Extraction When we covered semantic analysis,
PREFERENCE DRIVEN SHOPPING DISPLAY ALGORITHM TN AND AS MODELS
PREFERENCE DRIVEN SHOPPING DISPLAY ALGORITHM TN AND AS MODELS SABRE RESEARCH BEN VINOD February, 2016 PREFERENCE-DRIVEN AIR SHOPPING 2 The Travel Network Display Algorithm Typically a traveler provides
Price-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
Digital twin for life predictions in civil aerospace
Digital twin for life predictions in civil aerospace Author James Domone Senior Engineer June 2018 Digital Twin for Life Predictions in Civil Aerospace Introduction Advanced technology that blurs the lines
Research Article Study on Fleet Assignment Problem Model and Algorithm
Mathematical Problems in Engineering Volume 2013, Article ID 581586, 5 pages http://dxdoiorg/101155/2013/581586 Research Article Study on Fleet Assignment Problem Model and Algorithm Yaohua Li and Na Tan
The forecasts evaluated in this appendix are prepared for based aircraft, general aviation, military and overall activity.
Chapter 3: Forecast Introduction Forecasting provides an airport with a general idea of the magnitude of growth, as well as fluctuations in activity anticipated, over a 20-year forecast period. Forecasting
Part 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
Assignment 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
Real-Time Control Strategies for Rail Transit
Real-Time Control Strategies for Rail Transit Outline: Problem Description and Motivation Model Formulation Model Application and Results Implementation Issues Conclusions 12/08/03 1.224J/ESD.204J 1 Problem
An 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...
A 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
Estimating the Risk of a New Launch Vehicle Using Historical Design Element Data
International Journal of Performability Engineering, Vol. 9, No. 6, November 2013, pp. 599-608. RAMS Consultants Printed in India Estimating the Risk of a New Launch Vehicle Using Historical Design Element
QUALITY OF SERVICE INDEX Advanced
QUALITY OF SERVICE INDEX Advanced Presented by: D. Austin Horowitz ICF SH&E Technical Specialist 2014 Air Service Data Seminar January 26-28, 2014 0 Workshop Agenda Introduction QSI/CSI Overview QSI Uses
Overview of PODS Consortium Research
Overview of PODS Consortium Research Dr. Peter P. Belobaba MIT International Center for Air Transportation Presentation to ATPCO Dynamic Pricing Working Group Washington, DC February 23, 2016 MIT PODS
Abstract. 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)
Traffic Forecasts. CHAOUKI MUSTAPHA, Economist, International Civil Aviation Organization
SIP/2009-WP/11 Business case Traffic Forecasts CHAOUKI MUSTAPHA, Economist, International Civil Aviation Organization Workshop on the Development of Business Case for the Implementation of CNS/ATM Systems
QUALITY OF SERVICE INDEX
QUALITY OF SERVICE INDEX Advanced Presented by: David Dague SH&E, Prinicpal Airports Council International 2010 Air Service & Data Planning Seminar January 26, 2010 Workshop Agenda Introduction QSI/CSI
RECEDING 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
CAPAN Methodology Sector Capacity Assessment
CAPAN Methodology Sector Capacity Assessment Air Traffic Services System Capacity Seminar/Workshop Nairobi, Kenya, 8 10 June 2016 Raffaele Russo EUROCONTROL Operations Planning Background Network Operations
Surface Congestion Management. Hamsa Balakrishnan Massachusetts Institute of Technology
Surface Congestion Management Hamsa Balakrishnan Massachusetts Institute of Technology TAM Symposium 2013 Motivation 2 Surface Congestion Management Objective: Improve efficiency of airport surface operations
Development of Flight Inefficiency Metrics for Environmental Performance Assessment of ATM
Development of Flight Inefficiency Metrics for Environmental Performance Assessment of ATM Tom G. Reynolds 8 th USA/Europe Air Traffic Management Research and Development Seminar Napa, California, 29 June-2
Anomaly Detection in airlines schedules. Asmaa Fillatre Data Scientist, Amadeus
Anomaly Detection in airlines schedules Asmaa Fillatre Data Scientist, Amadeus AMADEUS PRESENTATION 1. IT company that develops business solutions for the travel and tourism industry 2. Operates globally
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 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
Air Traffic. By Chris Van Horn
Air Traffic By Chris Van Horn Basics Airways Airspace Air Traffic Control Airways Referred to as highways in the sky because very much like the national highway system Like streets most airways bidirectional,
We transform travel companies into travel retailers
Company profile Founded in 2002 Head Office address Ireland (Dublin) Countries with offices 4 countries (Ireland, Spain, Hong Kong SAR, Poland, China) OpenJaw Technologies is a market leading ecommerce
Available On-Board Technologies For Runway Excursions Prevention
ROPS et Al. - ICAO RRSS Dubai Head of ROPS Programme Fabrice VILLAUMÉ Available On-Board Technologies For Runway Excursions Prevention Safety at Landing: the First Air Transportation Safety Issue Runway
Logic 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
Aviation Economics & Finance
Aviation Economics & Finance Professor David Gillen (University of British Columbia )& Professor Tuba Toru-Delibasi (Bahcesehir University) Istanbul Technical University Air Transportation Management M.Sc.
Aircraft 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
An optimization model for assigning 4Dtrajectories to flights under the TBO concept
An optimization model for assigning 4Dtrajectories to flights under the TBO concept F. Djeumou Fomeni, G. Lulli, Konstantinos G. Zografos Lancaster University Management School Centre for Transportation
Don 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
BusStop Telco 2.0 application supporting public transport in agglomerations
BusStop Telco 2.0 application supporting public transport in agglomerations Kamil Litwiniuk 1 Tomasz Czarnecki 2 Warsaw University of Technology Faculty of Electronics and Information Technology ul. Nowowiejska
Handling Transfers in Travel Booster
I. General Guidelines a. As a transfer is a leg-based service, the transfer contract must be created using routing definitions that will also be reflected in the transaction. b. The number of legs in the
A practical route search system for amusement parks navigation
A practical route search system for amusement parks navigation Takahiro Shibuya Masato Okada and Hayato Ohwada ABSTRACT It is very difficult to find the minimum route to travel in amusement park navigation.
Emerging Technologies in BPM
Emerging Technologies in BPM Keynote: Emerging BPM Techniques & Technology Summit Building Business Capability 2012 Sandy Kemsley www.column2.com @skemsley Emerging BPM Techniques & Technologies Summit
Todsanai Chumwatana, and Ichayaporn Chuaychoo Rangsit University, Thailand, {todsanai.c;
Using Hybrid Technique: the Integration of Data Analytics and Queuing Theory for Average Service Time Estimation at Immigration Service, Suvarnabhumi Airport Todsanai Chumwatana, and Ichayaporn Chuaychoo
Air Traffic Flow and Capacity Management Using Constraint Programming
Air Traffic Flow and Management Using Constraint Programming Pierre Flener ASTRA Research Group on CP Uppsala University Sweden ACP Summer School Aussois (France), 6 May 2010 Air Traffic Management The
Network Revenue Management: O&D Control Dr. Peter Belobaba
Network Revenue Management: O&D Control Dr. Peter Belobaba Istanbul Technical University Air Transportation Management M.Sc. Program Network, Fleet and Schedule Strategic Planning Module 23 : 4 April 2015
Mathematical 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
Airport Characterization for the Adaptation of Surface Congestion Management Approaches*
MIT Lincoln Laboratory Partnership for AiR Transportation Noise and Emissions Reduction MIT International Center for Air Transportation Airport Characterization for the Adaptation of Surface Congestion
A 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.
Automated Integration of Arrival and Departure Schedules
Automated Integration of Arrival and Departure Schedules Topics Concept Overview Benefits Exploration Research Prototype HITL Simulation 1 Lessons Learned Prototype Refinement HITL Simulation 2 Summary
International Journal of Informative & Futuristic Research ISSN:
Original Paper Volume 3 Issue 8 April 2016 International Journal of Informative & Futuristic Research A Study Of Competitiveness Of Airports Using Paper ID IJIFR/V3/ E8/ 049 Page No. 2987-2995 Subject
Operational Evaluation of a Flight-deck Software Application
Operational Evaluation of a Flight-deck Software Application Sara R. Wilson National Aeronautics and Space Administration Langley Research Center DATAWorks March 21-22, 2018 Traffic Aware Strategic Aircrew
Airline 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
Query formalisms for relational model relational algebra
lecture 6: Query formalisms for relational model relational algebra course: Database Systems (NDBI025) doc. RNDr. Tomáš Skopal, Ph.D. SS2011/12 Department of Software Engineering, Faculty of Mathematics
ATPCO. Intended positioning on the market
Company profile Founded in 1965 Head Office address USA (Washington Dulles International Airport) Countries with offices 3 countries (USA, UK, Singapore) Main activities Number of employees Countries with
ADVANTAGES 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
ATM 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
Pricing and Revenue Management
Pricing and Revenue Management Dr Robert Mayer Istanbul Technical University Air Transportation Management, M.Sc. Program Strategy Module April 2016 Lecture Overview Pricing and the Marketing Mix Revenue
Istanbul Technical University Air Transportation Management, M.Sc. Program Aviation Economics and Financial Analysis Module November 2014
Pricing Istanbul Technical University Air Transportation Management, M.Sc. Program Aviation Economics and Financial Analysis Module 11 14 November 2014 Outline Revenue management Fares Buckets Restrictions
A 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,
AIRLINES decisions on route selection are, along with fleet planning and schedule development, the most important
Modeling Airline Decisions on Route Planning Using Discrete Choice Models Zhenghui Sha, Kushal Moolchandani, Apoorv Maheshwari, Joseph Thekinen, Jitesh H. Panchal, Daniel A. DeLaurentis Purdue University,
Mathcad 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
Aircraft 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
WILDERNESS AS A PLACE: HUMAN DIMENSIONS OF THE WILDERNESS EXPERIENCE
WILDERNESS AS A PLACE: HUMAN DIMENSIONS OF THE WILDERNESS EXPERIENCE Chad P. Dawson State University of New York College of Environmental Science and Forestry Syracuse, NY 13210 Abstract. Understanding
MASTER S THESIS. Ioannis Mamalikidis, UID: 633
MASTER S THESIS Aristotle University of Thessaloniki, Faculty of Sciences, Department of Informatics Supervisor: Dr. Eleftherios Angelis; Thesis Committee: Grigorios Tsoumakas, Ioannis Vlahavas Ioannis
DMAN-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
Optimization Model Integrated Flight Schedule and Maintenance Plans
Optimization Model Integrated Flight Schedule and Maintenance Plans 1 Shao Zhifang, 2 Sun Lu, 3 Li Fujuan *1 School of Information Management and Engineering, Shanghai University of Finance and Economics,
Predicting flight routes with a Deep Neural Network in the operational Air Traffic Flow and Capacity Management system
FEB 2018 EUROCONTROL Maastricht Upper Area Control Centre Predicting flight routes with a Deep Neural Network in the operational Air Traffic Flow and Capacity Management system Trajectory prediction is
Eurowings Aviation & Consulting Ltd.
Planning of Eurowings cross country flights shall be mainly performed through a Microsoft Excel application designed and developed by Eurowings as a teaching tool for its students but also licensed pilots,
Interval Management A Brief Overview of the Concept, Benefits, and Spacing Algorithms
Center for Advanced Aviation System Development Interval Management A Brief Overview of the Concept, Benefits, and Spacing Algorithms Dr. Lesley A. Weitz Principal Systems Engineer The MITRE Corporation,
You Must Be At Least This Tall To Ride This Paper. Control 27
You Must Be At Least This Tall To Ride This Paper Control 27 Page 1 of 10 Control 27 Contents 1 Introduction 2 2 Basic Model 2 2.1 Definitions............................................... 2 2.2 Commonly
Heuristic technique for tour package models
Proceedings of the 214 International Conference on Information, Operations Management and Statistics (ICIOMS213), Kuala Lumpur, Malaysia, September 1-3, 213 Heuristic technique for tour package models
Tour 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,
THIRTEENTH AIR NAVIGATION CONFERENCE
International Civil Aviation Organization AN-Conf/13-WP/22 14/6/18 WORKING PAPER THIRTEENTH AIR NAVIGATION CONFERENCE Agenda Item 1: Air navigation global strategy 1.4: Air navigation business cases Montréal,
Overview of the Airline Planning Process Dr. Peter Belobaba Presented by Alex Heiter
Overview of the Airline Planning Process Dr. Peter Belobaba Presented by Alex Heiter Istanbul Technical University Air Transportation Management M.Sc. Program Network, Fleet and Schedule Strategic Planning
Research 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
EN-024 A Simulation Study on a Method of Departure Taxi Scheduling at Haneda Airport
EN-024 A Simulation Study on a Method of Departure Taxi Scheduling at Haneda Airport Izumi YAMADA, Hisae AOYAMA, Mark BROWN, Midori SUMIYA and Ryota MORI ATM Department,ENRI i-yamada enri.go.jp Outlines
Robust flight-to-gate assignment using flight presence probabilities
Transportation Planning and Technology ISSN: 0308-1060 (Print) 1029-0354 (Online) Journal homepage: http://www.tandfonline.com/loi/gtpt20 Robust flight-to-gate assignment using flight presence probabilities
Kristina Ricks ISYS 520 VBA Project Write-up Around the World
VBA Project Write-up Around the World Initial Problem Online resources are very valuable when searching for the cheapest flights to any particular location. Sites such as Travelocity.com, Expedia.com,
Atennea Air. The most comprehensive ERP software for operating & financial management of your airline
Atennea Air The most comprehensive ERP software for operating & financial management of your airline Atennea Air is an advanced and comprehensive software solution for airlines management, based on Microsoft
AI in a SMART AIrport
AI in a SMART AIrport Steve Lee CIO & Group SVP(Technology) Changi Airport Group (Singapore) Pte. Ltd. 24 Oct 2017 2017 Changi Airport Group (Singapore) Pte. Ltd. Not to be used, disclosed or reproduced
Fuel Burn Impacts of Taxi-out Delay and their Implications for Gate-hold Benefits
Fuel Burn Impacts of Taxi-out Delay and their Implications for Gate-hold Benefits Megan S. Ryerson, Ph.D. Assistant Professor Department of City and Regional Planning Department of Electrical and Systems
Controlling the False Discovery Rate in Bayesian Network Structure Learning
False Discovery Rate in Bayesian Network Structure Learning Ioannis Tsamardinos Asnt Prof., CSD, Univ. of Crete ICS, FORTH Laura E. Brown DBMI, Vanderbilt Univ. Sofia Triantafylloy CSD, Univ. of Crete
Model-based development of self-organized earthquake early warning systems
Joint ITU-T and SDL Forum Society workshop on ITU System Design Languages Geneva, 5 th -6 th Sep 008 Model-based development of self-organized earthquake early warning systems Joachim Fischer Klaus Ahrens,
MIT ICAT M I T I n t e r n a t i o n a l C e n t e r f o r A i r T r a n s p o r t a t i o n
M I T I n t e r n a t i o n a l C e n t e r f o r A i r T r a n s p o r t a t i o n PRICING AND REVENUE MANAGEMENT RESEARCH Airline Competition and Pricing Power Presentations to Industry Advisory Board
HOW 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
Demand Forecast Uncertainty
Demand Forecast Uncertainty Dr. Antonio Trani (Virginia Tech) CEE 4674 Airport Planning and Design April 20, 2015 Introduction to Airport Demand Uncertainty Airport demand cannot be predicted with accuracy
Including Linear Holding in Air Traffic Flow Management for Flexible Delay Handling
Including Linear Holding in Air Traffic Flow Management for Flexible Delay Handling Yan Xu and Xavier Prats Technical University of Catalonia (UPC) Outline Motivation & Background Trajectory optimization
Tail Assignment with Multiple Maintenance Locations Using Network Model
Tail Assignment with Multiple Maintenance Locations Using Network Model ISBN: 978-81-924713-8-9 Ajyuk J. Raj Vinay V. Panicker R. Sridharan National Institute of Technology Calicut (ajyuk.jraj@gmail.com)
Trajectory Based Operations
Trajectory Based Operations Far-Term Concept Proposed Trade-Space Activities Environmental Working Group Operations Standing Committee July 29, 2009 Rose.Ashford@nasa.gov Purpose for this Presentation
A 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
Airport Gate Assignment A Hybrid Model and Implementation
Airport Gate Assignment A Hybrid Model and Implementation Chendong Li Computer Science Department, Texas Tech University 2500 Broadway, Lubbock, Texas 79409 USA chendong.li@ttu.edu Abstract With the rapid
THE EFFECT OF FARE POLICIES ON DWELL TIME: A CASE STUDY FOR THE PITTSBURGH REGION
Egge, Qian 1 THE EFFECT OF FARE POLICIES ON DWELL TIME: A CASE STUDY FOR THE PITTSBURGH REGION Mark Egge Graduate student researcher School of Information Systems and Management Heinz College Carnegie
On-line decision support for take-off runway scheduling with uncertain taxi times at London Heathrow airport.
On-line decision support for take-off runway scheduling with uncertain taxi times at London Heathrow airport. Jason A. D. Atkin 1 Edmund K. Burke 1 John S. Greenwood 2 Dale Reeson 3 September, 2006 1 {jaa,ekb}@cs.nott.ac.uk,
Large-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
B.S. PROGRAM IN AVIATION TECHNOLOGY MANAGEMENT Course Descriptions
Course Descriptions 01225111 Basic Mathematics in Aviation 3(3-0-6) Algebra. Functions and graphs. Limit and continuity. Derivatives. Integration. Applications in aviation technology management. 01225121
Automatic Aircraft Cargo Load Planning with Pick-up and Delivery
Automatic Aircraft Cargo Load Planning with Pick-up and Delivery V. Lurkin and M. Schyns University of Liège QuantOM 14ème conférence ROADEF Société Française de Recherche Opérationnelle et Aide à la Décision
Construction of Conflict Free Routes for Aircraft in Case of Free Routing with Genetic Algorithms.
Construction of Conflict Free Routes for Aircraft in Case of Free Routing with Genetic Algorithms. Ingrid Gerdes, German Aerospace Research Establishment, Institute for Flight Guidance, Lilienthalplatz