Configurable Test-Goal Set Partitioning for Directed Multi- Goal Test Generation
|
|
- Claude Quinn
- 5 years ago
- Views:
Transcription
1 Configurable Test-Goal Set Partitioning for Directed Multi- Goal Test Generation Malte Lochau (TU Darmstadt) Joint work with: Sven Apel, Johannes Bürdek, Dirk Beyer, Andreas Holzer, Andreas Stahlbauer
2 Test-Case Generation with Software Model Checking program test goal is unreachable φφ test goal Counter example test case tttt = (II, OO)
3 Tiger Algorithm for Multi-Goal Test Coverage IIIIIIIIII: CCCCCC cccccc, SSSSSS oooo GGGGGGGGGG GG OOOOOOOOOOOO: TTTTTTTT SSSSSSSSSS TTTT cccccccccccccccc GG TTTT = {} GG GG wwwwwwwww GG gg pppppppp aaaaaa rrrrrrrrrrrr eeeeeeeeeeeeee ffffffff GG if tttt rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr cccccc, gg TTTT TTTT tttt, gg fffffffffffff gg GGG iiii tttt cccccccccccc ggg TTTT TTTT tttt, gg GGG GG \g
4 Example 1 int func-spl (int x, int y, int z) { int a; if (x < y) 4 a = x; 5 else 6 a = y; 7 z = z + a; 8 return z; 9 } iiiiii aa xx < yy xx yy
5 Example tttttttt iiiiii aa xx < yy xx yy tttttttt xx < yy 7 7 xx < yy 8 xx < yy zz 1 = zz 0 + aa 8 tc = (x=0, y=1, z=0 z=0)
6 Example tttttttt iiiiii aa xx < yy xx yy tttttttt xx < yy 6 xx yy 7 7 xx < yy 8 xx < yy zz 1 = zz 0 + aa 8
7 Example tttttttt iiiiii aa xx < yy xx yy tttttttt xx < yy 6 xx yy 7 7 xx < yy xx yy 8 xx < yy xx yy zz 1 = zz 0 + aa 8 tc =?
8 Example tttttttt iiiiii aa xx < yy xx yy tttttttt xx < yy 6 xx yy 7 7 xx < yy 7 xx yy 8 xx < yy zz 1 = zz 0 + aa 8 xx yy zz 1 = zz 0 + aa 8 tc = (x=0, y=1, z=0 z=0) tc = (x=0, y=0, z=0 z=0)
9 Example tttttttt iiiiii aa xx < yy xx yy tttttttt xx < yy 6 xx yy 7 7 xx < yy xx yy 8 xx < yy xx yy zz 1 = zz 0 + aa 8 ARG-state merge only feasible before reaching the test goal ARG is (re-)constructed for every test-goal
10 Model Checking for Test-Case Generation program φφ Counter example
11 Multi-Property Checking for Multi-Goal Test-Suite Generation program φφ φφ φφ Counter Counter example Counter example example
12 Example: Multi-Goal Test-Generation iiiiii aa xx < yy xx yy * 0 1 * * 0 1 * * 0 1 * * 0 * * 1 * Test-Goal Automata - represent sets of CFA paths - non-deterministic - parallel automata semantics: multiple simultanously active states Test-Goal Set Partitioning - Process subsets of test-goal automata simultaneously - Partitioning criteria?
13 Example: Multi-Goal Test-Generation * 0 1 * * 0 1 * * 0 1 * iiiiii aa xx < yy xx yy xx < yy tttttttt tttttttt 6 xx yy 8 7 xx < yy {0,1},{0},{0} 7 xx yy {0},{0,1},{0} 8 xx < yy zz 1 = zz 0 + aa {0,1},{0},{0,1} 8 xx yy zz 1 = zz 0 + aa {0},{0,1},{0,1}
14 ARG-State Merge Fails! * 0 1 * * 0 1 * * 0 1 * iiiiii aa xx < yy xx yy xx < yy tttttttt tttttttt 6 xx yy 8 7 xx < yy xx yy {0,1},{0,1},{0} 8 xx < yy xx yy zz 1 = zz 0 + aa {0,1},{0,1},{0,1}
15 Solution: Merge with (Test-Goal) Weaving * 0 gg 1 * * 0 1 * * gg gg * iiiiii aa xx < yy xx yy xx < yy tttttttt tttttttt 6 xx yy xx < yy aa xx = < xxyy ggaa 1 = xx1 xxxx yyyy aa yy gg = 1 {0,1},{0,1},{0} 8 xx < yy aa 8 = xxxx < gg 1 yy= aa 1 = xxxx xxyy aa yy= aa yy = ggyy = 1zz 1 = zz 10 = + aazz 0 + aa gg = 1 {0,1},{0,1},{0,1}
16 CEGAR vs. TGAR CEGAR Refinement after each covered goal iiiiii aa => basic-block coverage and beyond on larger programs!? xx < yy xx yy TGAR Refinement after k covered goals => reduce (redundant) refinement steps
17
18 Experiments Subject systems 4 programs with 1541 LoC on average Coverage criteria Basic-Block Coverage (C0) Condition Coverage (C) Test-goal set partition sizes Fixed: 1 (DS), 10 (DM10), 0 (DM0), 50 (DM50), all (DA) Percental: 5% (DS5%), 50 (DS50%), 75 (DS75%)
19 Research Questions RQ1 (Efficiency): Does multi-goal set partitioning (DM) increase testing efficiency, as compared to single-goal (DS) and all-goal (DA) processing? RQ (Effectiveness): How does multi-goal set partitioning (DM) influence testing effectiveness, as compared to single-goal (DS) and all-goal (DA) processing?
20 All-Goals (DA) vs. Single-Goal (DS) Avg. CPU time per program: 70.50s (DS) s (DA) Avg. CPU time per test goal: 1.s (DS) s (DA) Median Speedup by DA, as compared to DS: 1.4 Avg. Test-Suite Size: 4.9 (DS) (DS) Avg. Coverage Rate: 99.7% (DS) % (DA) Avg. Fault-Detection Rate: 89.9% (DS) % (DA) DA (slightly) improves testing efficiency under stable testing effectiveness, as compared to DS
21 Configurable Partition Sizes (DM) Multi-Goal improves testing efficiency and testing effectiveness, as compared to Single-Goal and All-Goal Depends on partition size We observe a critical number of test goals constituting the best trade-off between testing efficiency and testing effectiveness (i.e., goals covered per second)
22 Ongoing Work Criteria for choosing parition sizes and clusterings of test goals Static: based on CFA (static slicing ) Dynamic: on-the-fly (use information from previous CPAchecker runs )
Conservation of Energy. Chapter 7 of Essential University Physics, Richard Wolfson, 3 rd Edition
Conservation of Energy Chapter 7 of Essential University Physics, Richard Wolfson, 3 rd Edition 1 Different Types of Force, regarding the Work they do. gravity friction 2 Conservative Forces BB WW cccccccc
More informationDecision Trees. Nicholas Ruozzi University of Texas at Dallas. Based on the slides of Vibhav Gogate and David Sontag
Decision Trees Nicholas Ruozzi University of Texas at Dallas Based on the slides of Vibhav Gogate and David Sontag Announcements Course TA: Hao Xiong Office hours: Friday 2pm-4pm in ECSS2.104A1 First homework
More informationA microscopic view. Solid rigid body. Liquid. Fluid. Incompressible. Gas. Fluid. compressible
Hello! I m Chris Blake, your lecturer for the rest of semester We ll cover: fluid motion, thermal physics, electricity, revision MASH centre in AMDC 503-09.30-16.30 daily My consultation hours: Tues 10.30-12.30
More informationR * : EQUILIBRIUM INTEREST RATE. Yuriy Gorodnichenko UC Berkeley
R * : EQUILIBRIUM INTEREST RATE Yuriy Gorodnichenko UC Berkeley What is common across the following: Working of a black box device WHAT DO WE KNOW ABOUT R *? Location of black holes in the universe Equilibrium
More informationCS145: INTRODUCTION TO DATA MINING
CS145: INTRODUCTION TO DATA MINING 3: Vector Data: Logistic Regression Instructor: Yizhou Sun yzsun@cs.ucla.edu October 9, 2017 Methods to Learn Vector Data Set Data Sequence Data Text Data Classification
More informationImperfectly Shared Randomness in Communication
Imperfectly Shared Randomness in Communication Madhu Sudan Harvard Joint work with Clément Canonne (Columbia), Venkatesan Guruswami (CMU) and Raghu Meka (UCLA). 11/16/2016 UofT: ISR in Communication 1
More informationCS249: ADVANCED DATA MINING
CS249: ADVANCED DATA MINING Linear Regression, Logistic Regression, and GLMs Instructor: Yizhou Sun yzsun@cs.ucla.edu April 24, 2017 About WWW2017 Conference 2 Turing Award Winner Sir Tim Berners-Lee 3
More informationCT4510: Computer Graphics. Transformation BOCHANG MOON
CT4510: Computer Graphics Transformation BOCHANG MOON 2D Translation Transformations such as rotation and scale can be represented using a matrix M ee. gg., MM = SSSS xx = mm 11 xx + mm 12 yy yy = mm 21
More informationMachine Learning Application in Aviation Safety
Machine Learning Application in Aviation Safety Surface Safety Metric MOR Classification Presented to: By: Date: ART Firdu Bati, PhD, FAA September, 2018 Agenda Surface Safety Metric (SSM) development
More informationCommunication Amid Uncertainty
Communication Amid Uncertainty Madhu Sudan Harvard University Based on joint works with Brendan Juba, Oded Goldreich, Adam Kalai, Sanjeev Khanna, Elad Haramaty, Jacob Leshno, Clement Canonne, Venkatesan
More informationWhat is Restrained and Unrestrained Pipes and what is the Strength Criteria
What is Restrained and Unrestrained Pipes and what is the Strength Criteria Alex Matveev, September 11, 2018 About author: Alex Matveev is one of the authors of pipe stress analysis codes GOST 32388-2013
More informationknn & Naïve Bayes Hongning Wang
knn & Naïve Bayes Hongning Wang CS@UVa Today s lecture Instance-based classifiers k nearest neighbors Non-parametric learning algorithm Model-based classifiers Naïve Bayes classifier A generative model
More informationNew Albany / Fred Klink Memorial Classic 3rd Grade Championship Bracket **Daylight Saving Time - Turn Clocks Up One Hour**
rd Grade Championship Bracket st Pool B nd Pool A 9:00 am New Albany Annex :0 am New Albany Annex st Pool C nd Pool B :0 pm New Albany nd Pool C 0:05 am New Albany Annex :5 pm New Albany Annex st Pool
More informationDynamic Lateral Stability for an Energy Efficient Gait
Dynamic Lateral Stability for an Energy Efficient Gait Zhenglong Sun a Nico Roos a a Department of Knowledge Engineering, Maastricht University P.O. Box 616, 6200 MD Maastricht, The Netherlands Abstract
More informationCourse 495: Advanced Statistical Machine Learning/Pattern Recognition
Course 495: Advanced Statistical Machine Learning/Pattern Recognition Lectures: Stefanos Zafeiriou Goal (Lectures): To present modern statistical machine learning/pattern recognition algorithms. The course
More informationUse of Auxiliary Variables and Asymptotically Optimum Estimators in Double Sampling
International Journal of Statistics and Probability; Vol. 5, No. 3; May 2016 ISSN 1927-7032 E-ISSN 1927-7040 Published by Canadian Center of Science and Education Use of Auxiliary Variables and Asymptotically
More informationCombining Experimental and Non-Experimental Design in Causal Inference
Combining Experimental and Non-Experimental Design in Causal Inference Kari Lock Morgan Department of Statistics Penn State University Rao Prize Conference May 12 th, 2017 A Tribute to Don Design trumps
More informationCommunication Amid Uncertainty
Communication Amid Uncertainty Madhu Sudan Harvard University Based on joint works with Brendan Juba, Oded Goldreich, Adam Kalai, Sanjeev Khanna, Elad Haramaty, Jacob Leshno, Clement Canonne, Venkatesan
More informationCoaches, Parents, Players and Fans
P.O. Box 865 * Lancaster, OH 43130 * 740-808-0380 * www.ohioyouthbasketball.com Coaches, Parents, Players and Fans Sunday s Championship Tournament in Boys Grades 5th thru 10/11th will be conducted in
More informationAn Architecture for Combined Test Data Compression and Abort-on-Fail Test
An Architecture for Combined Test Data Compression and Abort-on-Fail Test Erik Larsson and Jon Persson Embedded Systems Laboratory Department of Computer and Information Science Linköpings Universitet,
More informationThe Simple Linear Regression Model ECONOMETRICS (ECON 360) BEN VAN KAMMEN, PHD
The Simple Linear Regression Model ECONOMETRICS (ECON 360) BEN VAN KAMMEN, PHD Outline Definition. Deriving the Estimates. Properties of the Estimates. Units of Measurement and Functional Form. Expected
More informationA Class of Regression Estimator with Cum-Dual Ratio Estimator as Intercept
International Journal of Probability and Statistics 015, 4(): 4-50 DOI: 10.593/j.ijps.015040.0 A Class of Regression Estimator with Cum-Dual Ratio Estimator as Intercept F. B. Adebola 1, N. A. Adegoke
More informationSTATIONKEEPING DYNAMIC POSITIONING FOR YACHTS. Hans Cozijn
STATIONKEEPING DYNAMIC POSITIONING FOR YACHTS Hans Cozijn Senior Project Manager Offshore YACHTS VS. OFFSHORE INDUSTRY 2 YACHTS VS. OFFSHORE INDUSTRY Source : www.hdmt21.com Source : www.charterworld.com
More informationNPOI Nitrogen Distribution. Engineering Analysis Document
NPOI Nitrogen Distribution By Wyatt Huling, Amelia Fuller, and Scott Ryan Team 16 Engineering Analysis Document Submitted towards partial fulfillment of the requirements for Mechanical Engineering Design
More informationPre-Kindergarten 2017 Summer Packet. Robert F Woodall Elementary
Pre-Kindergarten 2017 Summer Packet Robert F Woodall Elementary In the fall, on your child s testing day, please bring this packet back for a special reward that will be awarded to your child for completion
More informationHazard analysis. István Majzik Budapest University of Technology and Economics Dept. of Measurement and Information Systems
Hazard analysis István Majzik Budapest University of Technology and Economics Dept. of Measurement and Information Systems Hazard analysis Goal: Analysis of the fault effects and the evolution of hazards
More informationProduct Decomposition in Supply Chain Planning
Mario R. Eden, Marianthi Ierapetritou and Gavin P. Towler (Editors) Proceedings of the 13 th International Symposium on Process Systems Engineering PSE 2018 July 1-5, 2018, San Diego, California, USA 2018
More informationLecture 5. Optimisation. Regularisation
Lecture 5. Optimisation. Regularisation COMP90051 Statistical Machine Learning Semester 2, 2017 Lecturer: Andrey Kan Copyright: University of Melbourne Iterative optimisation Loss functions Coordinate
More informationEE582 Physical Design Automation of VLSI Circuits and Systems
EE Prof. Dae Hyun Kim School of Electrical Engineering and Computer Science Washington State University Routing Grid Routing Grid Routing Grid Routing Grid Routing Grid Routing Lee s algorithm (Maze routing)
More informationSelf-Organizing Signals: A Better Framework for Transit Signal Priority
Portland State University PDXScholar TREC Friday Seminar Series Transportation Research and Education Center (TREC) 3-13-2015 Self-Organizing Signals: A Better Framework for Transit Signal Priority Peter
More informationCT PET-2018 Part - B Phd COMPUTER APPLICATION Sample Question Paper
CT PET-2018 Part - B Phd COMPUTER APPLICATION Sample Question Paper Note: All Questions are compulsory. Each question carry one mark. 1. Error detection at the data link layer is achieved by? [A] Bit stuffing
More informationCONTENTS. A Gracious Thank You. Item # 300 Solid Golf Knickers. Ladies. Mens. Youth. 100% Microfiber Gabardine ~ Sizes
2017 Solid Golf Knickers----------------------1 Plaid Golf Knickers----------------------2 Camo Golf Knickers---------------------2 Limited Edition Plaid Knickers-----3 Wool Golf Knickers----------------------3
More informationHow to use Bidirectional Forwarding Detection(BFD) in NetScaler?
How to use Bidirectional Forwarding Detection(BFD) in NetScaler? Bidirectional Forwarding Detection commonly referred as BFD is a simple hello protocol that provides fast failure detection mechanism between
More informationECO 745: Theory of International Economics. Jack Rossbach Fall Lecture 6
ECO 745: Theory of International Economics Jack Rossbach Fall 2015 - Lecture 6 Review We ve covered several models of trade, but the empirics have been mixed Difficulties identifying goods with a technological
More informationFunctions of Random Variables & Expectation, Mean and Variance
Functions of Random Variables & Expectation, Mean and Variance Kuan-Yu Chen ( 陳冠宇 ) @ TR-409, NTUST Functions of Random Variables 1 Given a random variables XX, one may generate other random variables
More informationISyE 6414 Regression Analysis
ISyE 6414 Regression Analysis Lecture 2: More Simple linear Regression: R-squared (coefficient of variation/determination) Correlation analysis: Pearson s correlation Spearman s rank correlation Variable
More informationENHANCED PARKWAY STUDY: PHASE 2 CONTINUOUS FLOW INTERSECTIONS. Final Report
Preparedby: ENHANCED PARKWAY STUDY: PHASE 2 CONTINUOUS FLOW INTERSECTIONS Final Report Prepared for Maricopa County Department of Transportation Prepared by TABLE OF CONTENTS Page EXECUTIVE SUMMARY ES-1
More informationCOMPRESSORS WITH SIDE STREAM
NEW CONTROL PLACE METHOD FOR FOR TITLE FIXED SPEED AUTHORS COMPRESSORS WITH SIDE STREAM David Rossi, GE Oil & Gas Laurence Casali, GE Oil & Gas Marco Pelella, GE Oil & Gas Authors David is presently a
More informationLogistic Regression. Hongning Wang
Logistic Regression Hongning Wang CS@UVa Today s lecture Logistic regression model A discriminative classification model Two different perspectives to derive the model Parameter estimation CS@UVa CS 6501:
More information6/16/2010 DAG Execu>on Model, Work and Depth 1 DAG EXECUTION MODEL, WORK AND DEPTH
6/16/2010 DAG Execu>on Model, Work and Depth 1 DAG EXECUTION MODEL, WORK AND DEPTH 6/16/2010 DAG Execu>on Model, Work and Depth 2 Computa>onal Complexity of (Sequen>al) Algorithms Model: Each step takes
More informationA Review of Roundabout Speeds in north Texas February 28, 2014
Denholm 1 A Review of Roundabout Speeds in north Texas February 28, 2014 Word Count: 6,118 words (2,618 + 11 figures x 250 + 3 tables x 250) John P. Denholm III Lee Engineering, LLC 3030 LBJ FRWY, Ste.
More information#19 MONITORING AND PREDICTING PEDESTRIAN BEHAVIOR USING TRAFFIC CAMERAS
#19 MONITORING AND PREDICTING PEDESTRIAN BEHAVIOR USING TRAFFIC CAMERAS Final Research Report Luis E. Navarro-Serment, Ph.D. The Robotics Institute Carnegie Mellon University November 25, 2018. Disclaimer
More informationBlower Door Operation Manual
Multiple Fan rev-2017-04-20 Blower Door Operation Manual For Series 1000 and 3000 systems Copyright 2013-2017 Retrotec, All rights reserved. This document contains materials protected under International
More informationOperations on Radical Expressions; Rationalization of Denominators
0 RD. 1 2 2 2 2 2 2 2 Operations on Radical Expressions; Rationalization of Denominators Unlike operations on fractions or decimals, sums and differences of many radicals cannot be simplified. For instance,
More informationBayesian Methods: Naïve Bayes
Bayesian Methods: Naïve Bayes Nicholas Ruozzi University of Texas at Dallas based on the slides of Vibhav Gogate Last Time Parameter learning Learning the parameter of a simple coin flipping model Prior
More informationTHREE UMPIRE MECHANICS FOR NCAA
THREE UMPIRE MECHANICS FOR NCAA A Quick Reference No attempt is made to show exact positioning or to detail the umpire movements Starting Positions There are only three different positions you will ever
More informationField guide for Accessible Public Rights-of-Way Edition
Field guide for Accessible Public Rights-of-Way 2017 Edition CONTENTS PEDESTRIAN FACILITIES IN THE PUBLIC RIGHT-OF-WAY Pedestrian access routes 3 Components 3 Continuous width 3 Median and pedestrian refuge
More informationAppendix A COMPARISON OF DRAINAGE ALGORITHMS UNDER GRAVITY- DRIVEN FLOW DURING GAS INJECTION
ppendix COMPRISON OF DRINGE LGORITHMS UNDER GRVITY- DRIVEN FLOW DURING GS INJECTION.1 Introduction ll the simulations of gas injection discussed in this thesis were performed using a modified invasion
More informationSensing and Modeling of Terrain Features using Crawling Robots
Czech Technical University in Prague Sensing and Modeling of Terrain Features using Crawling Robots Jakub Mrva 1 Faculty of Electrical Engineering Agent Technology Center Computational Robotics Laboratory
More informationConcentration trends in Europe
Concentration trends in Europe Professor Tommaso Valletti Chief Competition Economist, DG COMP Disclaimer: The views expressed are those of the authors and cannot be regarded as stating an official position
More informationJasmin Smajic 1, Christian Hafner 2, Jürg Leuthold 2, March 16, 2015 Introduction to Finite Element Method (FEM) Part 1 (2-D FEM)
Jasmin Smajic 1, Christian Hafner 2, Jürg Leuthold 2, March 16, 2015 Introduction to Finite Element Method (FEM) Part 1 (2-D FEM) 1 HSR - University of Applied Sciences of Eastern Switzerland Institute
More informationOpen Research Online The Open University s repository of research publications and other research outputs
Open Research Online The Open University s repository of research publications and other research outputs Developing an intelligent table tennis umpiring system Conference or Workshop Item How to cite:
More informationInstructions for SMV 3000 Multivariable Configuration (MC) Data Sheets
Instructions for SMV 3000 Multivariable Configuration (MC) Data Sheets Similar to the TC option for ST 3000 transmitters, the MC option for the SMV 3000 provides a service to our customers which results
More informationEUROPEAN NEW CAR ASSESSMENT PROGRAMME (Euro NCAP) SLED TEST PROCEDURE FOR ASSESSING KNEE IMPACT AREAS
www.euroncap.com EUROPEAN NEW CAR ASSESSMENT PROGRAMME (Euro NCAP) SLED TEST PROCEDURE FOR ASSESSING KNEE IMPACT AREAS Version 1.0a December 2004 Sled Test Procedure for Assessing Knee Impact Areas (V1.0a)
More informationNew Numerical Schemes for the Solution of Slightly Stiff Second Order Ordinary Differential Equations
American Journal of Computational and Applied Mathematics 24, 4(6): 239-246 DOI:.5923/j.ajcam.2446.7 New Numerical Schemes for the Solution of Slightly Stiff Second Order Ordinary Differential Equations
More informationMixture Models & EM. Nicholas Ruozzi University of Texas at Dallas. based on the slides of Vibhav Gogate
Mixture Models & EM Nicholas Ruozzi University of Texas at Dallas based on the slides of Vibhav Gogate Previously We looked at -means and hierarchical clustering as mechanisms for unsupervised learning
More informationOperational Risk Management: Preventive vs. Corrective Control
Operational Risk Management: Preventive vs. Corrective Control Yuqian Xu (UIUC) July 2018 Joint Work with Lingjiong Zhu and Michael Pinedo 1 Research Questions How to manage operational risk? How does
More informationPhysical Design of CMOS Integrated Circuits
Physical Design of CMOS Integrated Circuits Dae Hyun Kim EECS Washington State University References John P. Uyemura, Introduction to VLSI Circuits and Systems, 2002. Chapter 5 Goal Understand how to physically
More informationCHAPTER 1 INTRODUCTION TO RELIABILITY
i CHAPTER 1 INTRODUCTION TO RELIABILITY ii CHAPTER-1 INTRODUCTION 1.1 Introduction: In the present scenario of global competition and liberalization, it is imperative that Indian industries become fully
More informationCompiling for Multi, Many, and Anycore. Rudi Eigenmann Purdue University
Compiling for Multi, Many, and Anycore Rudi Eigenmann Purdue University Compilation Issues in Multi, Many, Anycore and sample contributions Multicore: shared-memory issues revisited => Cetus: parallelizing
More informationField Design, Construction and inspection of ADA compliant Curb ramps. Mike Anderson City of Lee s Summit Construction Manager (816)
Field Design, Construction and inspection of ADA compliant Curb ramps Mike Anderson City of Lee s Summit Construction Manager (816)969-1800 Today s Agenda Definitions & Acronyms Access Board vs. PROWAAC
More informationAerodynamic Terms. Angle of attack is the angle between the relative wind and the wing chord line. [Figure 2-2] Leading edge. Upper camber.
Chapters 2 and 3 of the Pilot s Handbook of Aeronautical Knowledge (FAA-H-8083-25) apply to powered parachutes and are a prerequisite to reading this book. This chapter will focus on the aerodynamic fundamentals
More informationSafety Effects of Roadway Alignment Combinations Karin M. Bauer October 2012
Safety Effects of Roadway Alignment Combinations Karin M. Bauer October 2012 Task Objectives Quantify the safety effects of horizontal curve and grade combinations Present the results in a format suitable
More informationMy ABC Insect Discovery Book
Act i vi t ypack I ns ectabcs I nt hi spac k: ABCASLSi gnfl as hcar ds I ns ec tabcac t i v i t y SongL y r i c s AndMor e! Ac i t i v i ess uppor ts i gnsandc onc ept st aughti n Rac hel&t het r eesc
More informationFast Software-managed Code Decompression
Fast Software-managed Code Decompression Charles Lefurgy and Trevor Mudge Advanced Computer Architecture Laboratory Electrical Engineering and Computer Science Dept. The University of Michigan, Ann Arbor
More informationAmericans with Disabilities Act and Curb Ramps
Americans with Disabilities Act and Curb Ramps Katherine Smutzer Standards Engineer, INDOT Purdue Road School Wednesday March 9, 2016 Two Items to Remember All curb ramps, sidewalks and sidewalk driveway
More informationNEUE DONAU / VIENNA. June 24 to 26,
114th VIENNA INTERNATIONAL ROWING REGATTA & MASTERS TRIAL NEUE DONAU / VIENNA June 24 to 26, 2017 www.ruderverband.wien Wiener Ruderverband 2 114th Vienna International Rowing Regatta Conducted by the
More informationNATIONAL FEDERATION RULES B. National Federation Rules Apply with the following TOP GUN EXCEPTIONS
TOP GUN COACH PITCH RULES 8 & Girls Division Revised January 11, 2018 AGE CUT OFF A. Age 8 & under. Cut off date is January 1st. Player may not turn 9 before January 1 st. Please have Birth Certificates
More informationCOMP Intro to Logic for Computer Scientists. Lecture 13
COMP 1002 Intro to Logic for Computer Scientists Lecture 13 B 5 2 J Admin stuff Assignments schedule? Split a2 and a3 in two (A2,3,4,5), 5% each. A2 due Feb 17 th. Midterm date? March 2 nd. No office hour
More informationLoad Forecast Model Development
Load Forecast Model Development Load Analysis Subcommittee June 20, 2018 Disclaimer This is the current status of ongoing model development. The results are not final and are only indicative of what potential
More informationRoboCup Standard Platform League (NAO) Technical Challenges
RoboCup Standard Platform League (NAO) Technical Challenges RoboCup Technical Committee (2014 rules, as of June 19, 2014) At RoboCup 2014, the Standard Platform League will hold three different technical
More informationNCUTCD Proposal for Changes to the Manual on Uniform Traffic Control Devices
1 2 3 4 5 6 7 NCUTCD Proposal for Changes to the Manual on Uniform Traffic Control Devices Attachment No.: 2 Item # 18B-RW-02 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 TECHNICAL
More informationAssessing the Accuracy of High Spatial Resolution Effort Data
Assessing the Accuracy of High Spatial Resolution Effort Data Southwest Fisheries Science Center, Ecology Division Comparing VMS and Logbook Data in the California Groundfish Trawl Fishery Alice Thomas-Smyth,
More informationOperation of signalized diamond interchanges with frontage roads using dynamic reversible lane control. Department of Civil Engineering and Mechanics
0 0 0 0 Operation of signalized diamond interchanges with frontage roads using dynamic reversible lane control Xin Li, Research Assistant, Department of Civil Engineering and Mechanics, University of Wisconsin
More informationReturn to Session Menu DYNAMIC POSITIONING CONFERENCE QUALITY ASSURANCE SESSION. The Meaning of LIFE. Richard Purser GL Noble Denton
Return to Session Menu DYNAMIC POSITIONING CONFERENCE October 15-16, 2013 QUALITY ASSURANCE SESSION The Meaning of LIFE Richard Purser GL Noble Denton The Meaning of Life 15 th October 2013 What is the
More informationDevelopment of a catch and release mortality model for recreational steelhead fisheries
Development of a catch and release mortality model for recreational steelhead fisheries Kale Bentley & Dan Rawding Washington Department of Fish & Wildlife Steelhead Management Meeting March 8 th, 2016
More informationADAPTING OMS SYSTEM TO DEAL WITH STORMS DATA IN REAL TIME
ADAPTING OMS SYSTEM TO DEAL WITH STORMS DATA IN REAL TIME André PAULO Cláudio MESQUITA Luís SANTOS Nuno SANTOS EDP Distribuição Portugal EDP Distribuição Portugal CGI Portugal CGI - Portugal andre.paulo@edp.pt
More informationHydronic Systems Balance
Hydronic Systems Balance Balancing Is Misunderstood Balancing is application of fundamental hydronic system math Balance Adjustment of friction loss location Adjustment of pump to requirements By definition:
More informationTraining Fees 3,400 US$ per participant for Public Training includes Materials/Handouts, tea/coffee breaks, refreshments & Buffet Lunch.
Training Title DISTRIBUTED CONTROL SYSTEMS (DCS) 5 days Training Venue and Dates DISTRIBUTED CONTROL SYSTEMS (DCS) Trainings will be conducted in any of the 5 star hotels. 5 22-26 Oct. 2017 $3400 Dubai,
More informationMidterm Exam 1, section 2. Thursday, September hour, 15 minutes
San Francisco State University Michael Bar ECON 312 Fall 2018 Midterm Exam 1, section 2 Thursday, September 27 1 hour, 15 minutes Name: Instructions 1. This is closed book, closed notes exam. 2. You can
More informationIndustrial Compressor Controls Standard Custom
Technical Seminars 2012 Industrial Compressor Controls Standard Custom CONTROLLING the power of ENERGY 1 TM 2 Woodward Compressor Controls Small Steam Turbine Driven Compressors (ITCC) 3 Simple Compressor
More informationSolving Problems by Searching chap3 1. Problem-Solving Agents
Chapter3 Solving Problems by Searching 20070315 chap3 1 Problem-Solving Agents Reflex agents cannot work well in those environments - state/action mapping too large - take too long to learn Problem-solving
More informationRICK FAUSEL, BUSINESS DEVELOPMENT ENGINEER TURBOMACHINERY CONTROL SYSTEM DESIGN OBJECTIVES
RICK FAUL, BUSINESS DEVELOPMENT ENGINEER TURBOMACHINERY CONTROL SYSTEM DESIGN OBJECTIVES The primary design objective for any turbomachinery control system should be to maintain or maximize machine and
More informationValidation of 12.5 km Resolution Coastal Winds. Barry Vanhoff, COAS/OSU Funding by NASA/NOAA
Validation of 12.5 km Resolution Coastal Winds Barry Vanhoff, COAS/OSU Funding by NASA/NOAA Outline Part 1: Determining empirical land mask Characterizing σ 0 near coast Part 2: Wind retrieval using new
More informationDesign-for-Testability for Path Delay Faults in Large Combinational Circuits Using Test-Points
Design-for-Testability for Path Delay Faults in Large Combinational Circuits Using Test-Points Irith Pomeranz and Sudhakar M. Reddy + Electrical and Computer Engineering Department University of Iowa Iowa
More informationTR Electronic Pressure Regulator. User s Manual
TR Electronic Pressure Regulator Page 2 of 13 Table of Contents Warnings, Cautions & Notices... 3 Factory Default Setting... 4 Quick Start Procedure... 5 Configuration Tab... 8 Setup Tab... 9 Internal
More informationIST-203 Online DCS Migration Tool. Product presentation
IST-203 Online DCS Migration Tool Product presentation DCS Migration Defining the problem Table of contents Online DCS Migration Tool (IST-203) Technical background Advantages How to save money and reduce
More informationVerification and Validation Pathfinder Release 0730 x64
403 Poyntz Avenue, Suite B Manhattan, KS 66502 USA +1.785.770.8511 www.thunderheadeng.com Verification and Validation Pathfinder 2014.2 Release 0730 x64 Disclaimer Thunderhead Engineering makes no warranty,
More informationCritical Systems Validation
Critical Systems Validation Objectives To explain how system reliability can be measured and how reliability growth models can be used for reliability prediction To describe safety arguments and how these
More informationInstrumented Safety Systems
Instrumented Safety Systems Engineered Valve Systems for Control and Safety Applications HIPPS Final Elements DINO OLIVIERI Mokveld Agent AIS ISA Giornata di studio HIPPS Agenda The loop Final Elements
More informationJCE 4600 Transportation Engineering. Traffic Control
JCE 4600 Transportation Engineering Traffic Control Human Factors Primary Driving Tasks NAVIGATION GUIDANCE CONTROL What makes a Traffic Control Device Effective? Fulfill a need Command Attention Convey
More information115th Vienna International Rowing Regatta & International Masters Meeting. June 15 to June 17, 2018
115th Vienna International Rowing Regatta & International Masters Meeting Conducted by the Vienna Rowing Association An event forming part of the Austrian Club Championships 2018 (ÖVM 2018) June 15 to
More informationDrilling Efficiency Utilizing Coriolis Flow Technology
Session 12: Drilling Efficiency Utilizing Coriolis Flow Technology Clement Cabanayan Emerson Process Management Abstract Continuous, accurate and reliable measurement of drilling fluid volumes and densities
More informationEvery things under control High-Integrity Pressure Protection System (HIPPS)
Every things under control www.adico.co info@adico.co Table Of Contents 1. Introduction... 2 2. Standards... 3 3. HIPPS vs Emergency Shut Down... 4 4. Safety Requirement Specification... 4 5. Device Integrity
More informationNCHRP Superelevation Criteria for Sharp Horizontal Curves on Steep Grades. Research Team: MRIGlobal Pennsylvania State University
NCHRP 15-39 Superelevation Criteria for Sharp Horizontal Curves on Steep Grades Research Team: MRIGlobal Pennsylvania State University Objective and Scope Develop superelevation criteria for sharp horizontal
More informationRobust Task Execution: Procedural and Model-based. Outline. Desiderata: Robust Task-level Execution
Robust Task Execution: Procedural and Model-based Mission Goals and Environment Constraints Temporal Planner Temporal Network Solver Projective Task Expansion Initial Conditions Temporal Plan Dynamic Scheduling
More informationIntroduction of world construction methods and trends. Franz-Werner Gerressen, Head of Method Development, Tokyo,
Introduction of world construction methods and trends Franz-Werner Gerressen, Head of Method Development, Tokyo, 2017-11-29 1 Introduction of world construction methods and trends Outline Single Pass Piling
More informationSNARKs with Preprocessing. Eran Tromer
SNARKs with Preprocessing Eran Tromer BIU Winter School on Verifiable Computation and Special Encryption 4-7 Jan 206 G: Someone generates and publishes a common reference string P: Prover picks NP statement
More informationSession Objectives. At the end of the session, the participants should: Understand advantages of BFD implementation on S9700
BFD Features Session Objectives At the end of the session, the participants should: Understand advantages of BFD implementation on S9700 Understand when to use BFD on S9700 1 Contents BFD introduction
More informationGrade K-1 WRITING Traffic Safety Cross-Curriculum Activity Workbook
Grade K-1 WRITING Tra fic Safety Cross-Curriculum Activity Workbook Note to Teachers The AAA Traffic Safety Education Materials present essential safety concepts to students in Kindergarten through fifth
More information