Generating String Inputs Using Constrained Symbolic Execution
|
|
- Hortense Booth
- 6 years ago
- Views:
Transcription
1 Generating String Inuts Using Cnstrained Symblic Executin Pieter Himeijer University f Virginia 1
2 The Prblem: SQL Injectin
3 Mtivatin Mntage 3
4 Mitre Cr. data rerted n htt://
5 Mtivatin Mntage #2 Mitre Cr. data; rerted n htt:// 5
6 Mtivatin Mntage String variables have lst their inncence... [Thiemann05] #2 Mitre Cr. data; rerted n htt:// 6
7 Mtivatin Mntage // $userid is untrusted if (!eregi('[0-9]+', $userid)) { un_msg('yu entered an invalid user ID.'); exit; } $user = $DB->query( SELECT * FROM `un_user`. WHERE userid='$userid' ); String variables if (!DB->is_single_rw($user)) have lst { their un_msg('yu inncence... entered an invalid user ID.'); exit; [Thiemann05] } #2 Mitre Cr. data; rerted n htt:// 7
8 Mtivatin Mntage // $userid is untrusted if (!eregi('[0-9]+', $userid)) { un_msg('yu entered an invalid user ID.'); exit; } Matches any string that cntains a sequence f $user = $DB->query( SELECT * FROM `un_user`. WHERE digits... userid='$userid' ); String variables if (!DB->is_single_rw($user)) have lst { their un_msg('yu inncence... entered an invalid user ID.'); exit; [Thiemann05] } #2 Mitre Cr. data; rerted n htt:// 8
9 Mtivatin Mntage // $userid is untrusted SELECT * FROM `un_user` if (!eregi('[0-9]+', $userid)) { un_msg('yu entered WHERE an invalid userid='1'; ID.'); exit; DROP TABLE un_user; } --' $user = $DB->query( SELECT * FROM `un_user`. WHERE userid='$userid' ); String variables if (!DB->is_single_rw($user)) have lst { their un_msg('yu inncence... entered an invalid user ID.'); exit; [Thiemann05] } #2 Mitre Cr. data; rerted n htt:// 9
10 Mtivatin Mntage if (!eregi('[0-9]+', SELECT * FROM `un_user` $userid)) { un_msg('yu entered WHERE userid='1'; an invalid user ID.'); exit; DROP TABLE un_user; } --' $user = $DB->query( SELECT * FROM `un_user`. WHERE userid='$userid' ); if (!DB->is_single_rw($user)) { un_msg('yu entered an invalid user ID.'); exit; } String variables have lst their inncence... [Thiemann05] #2 Mitre Cr. data; rerted n htt:// 10
11 The Plan Wassermann and Su '07: detect SQL Cmmand Injectin Vulnerabilities in real PHP cde Inut: PHP cde Outut: Cntext-Free Grammar Plan: Extend this t generate actual attack inuts 11
12 Why? 12
13 Why? Our Outut: STRING: 004 =$251 =$1486. == "" (len 0) STRING: 013 =$558 =$559 =$561. '99 == "'99" (len 3) ANSWER: $$558 == '99 == "'99" (len 3) 13
14 U Next 1. Describe Wassermann and Su '07 2. Hw t run PHP cde backwards 14
15 WSU: An Examle x = 'z'; Sme Cde: while(n < 5) { x = '('. x. ')'; n ++; } We want a cntext-free grammar t mdel x Suse we dn't knw anything abut n 15
16 WSU: An Examle >x = 'z'; Sme Cde: A -> z Grammar: while(n < 5) { x = '('. x. ')'; n ++; } 16
17 WSU: An Examle x = 'z'; Sme Cde: A -> z Grammar: >while(n < 5) { > x = '('. x. ')'; > n ++; >} 17
18 WSU: An Examle x = 'z'; Sme Cde: while(n < 5) { > x = '('. x. ')'; n ++; } A -> z B -> (A) Grammar: 18
19 The Nugget x = 'z'; Sme Cde: while(n < 5) { x = '('. x. ')'; n ++; >>} A -> z Grammar: B -> (A) C -> A B 19
20 WSU: Yet Mre Examle x = 'z'; Sme Cde: while(n < 5) { x = '('. x. ')'; n ++; >>} Grammar: A -> z B -> (C) C -> A B 20
21 WSU: An Examle x = 'z'; Sme Cde: while(n < 5) { x = '('. x. ')'; n ++; >>} X -> C Grammar: A -> z B -> (C) C -> A B 21
22 Is that gd? Can mdel hme-grwn string sanitizing functins using finite state transducers [Minamide05] Des nt require rgrammer assistance; always terminates 20% False sitives; utut may be difficult t interret 22
23 23
24 Befre: Surce Wassermann & Su Cntext-Free Grammar 24
25 After: Surce Wassermann & Su Cntext-Free Grammar + Prgram Lcatins String(s) Executin Path(s) Actual Inuts 25
26 After: Surce Wassermann & Su Cntext-Free Grammar + Prgram Lcatins Cntributins String(s) Executin Path(s) Actual Inuts 26
27 Cntributins Add a maing frm cntext-free grammar back t the surce Use maing t find bad strings and executin aths Use symblic executin t reverse string eratins alng a ath 27
28 U Next: Surce Wassermann & Su Cntext-Free Grammar + Prgram Lcatins String(s) Executin Path(s) Actual Inuts 28
29 Grammar Anntatins Surce Wassermann & Su Cntext-Free Grammar + Prgram Lcatins = 'y'; if (myth()) { = 'xyzz'. ; } rint ; P -> Q P -> R String(s) Q -> xyzzr R -> y Executin Path(s) Actual Inuts 29
30 Grammar Anntatins Surce Wassermann & Su Cntext-Free Grammar + Prgram Lcatins = 'y'; if (myth()) { = 'xyzz'. ; } rint ; P -> Q P -> R String(s) Q -> xyzzr R -> y Executin Path(s) Actual Inuts [TRUE] [!myth] [myth] [TRUE] 30
31 Surce Wassermann & Su Cntext-Free Grammar + Prgram Lcatins String(s) Executin Path(s) Actual Inuts 31
32 U Next: Surce Wassermann & Su Cntext-Free Grammar + Prgram Lcatins String(s) Executin Path(s) Actual Inuts 32
33 Hw t Find Inuts 1. Create a deendency grah 2. Detect imlicit cycles 3. Slve cnstraints 33
34 Creating a Deendency Grah 1 $userid = $_POST['uid']; 2 if (!eregi('[0-9]+', $userid)) { 3 exit; 4 } 5 6 query( SELECT * FROM `un_user`. 7 WHERE userid=. $userid); Path:
35 Creating a Deendency Grah 1 $userid = $_POST['uid']; 2 if (!eregi('[0-9]+', $userid)) { 3 exit; 4 } 5 6 query( SELECT * FROM `un_user`. 7 WHERE userid=. $userid); t0 t2 t1 Path:
36 1 $userid = $_POST['uid']; 2 if (!eregi('[0-9]+', $userid)) { 3 exit; 4 } 5 6 query( SELECT * FROM `un_user`. 7 WHERE userid=. $userid); t0 t2 t1 t1 t2 t3 u t0 t4 36
37 Slving Cnstraints SELECT... WHERE userid... t1 t2 t3 u t0 Σ* Σ* [0-9]+ t4 w SELECT * FROM `un_user` WHERE userid=1 OR 1=1 Σ* 37
38 Slving Cnstraints SELECT... WHERE userid... t1 t2 t3 u t0 Σ* Σ* [0-9]+ t4 w SELECT * FROM `un_user` WHERE userid=1 OR 1=1 Σ* 38
39 Slving Cnstraints SELECT... WHERE userid... t1 t2 t3 u t0 SELECT... WHERE userid =... Σ* [0-9]+ t4 SELECT * FROM `un_user` WHERE userid=1 OR 1=1 Σ* 39
40 Slving Cnstraints t3 u t0 SELECT... WHERE userid =... Σ* [0-9]+ t4 w SELECT * FROM `un_user` WHERE userid=1 OR 1=1 Σ* 40
41 Slving Cnstraints SELECT... WHERE userid =... t3 t4 u [0-9]+ w SELECT * FROM `un_user` WHERE userid=1 OR 1=1 Σ* 41
42 Slving Basic Cnstraints t4 w SELECT... WHERE userid = Σ*[0-9]+Σ* SELECT * FROM `un_user` WHERE userid=1 OR 1=1 42
43 Prblem: Backward Pragatin Hw d we ma 1 OR 1=1 back nt u? SELECT... WHERE userid =... t3 t4 u [0-9]+ w SELECT * FROM `un_user` WHERE userid=1 OR 1=1 Σ* 43
44 Cncat-Intersect Examle I // a and b are user inuts if (!ereg('()+', a)){ exit; } if (!ereg('*q', b)){ exit; } d = a. b; // cncat if (!ereg('q', d) { exit; } 44
45 Cncat-Intersect Examle I L1 = ()+ L2 = *q a1 a2 a3 a4 b1 q b2 L3 = 4 q d1 d2 d3 d4 d5 d6 q d7 45
46 a1 a2 a3 a4 b1 q b2 d1 d2 d3 d4 d5 q d6 d7 46
47 a1 a2 a3 a4 b1 q b2 d1 a1d1 d2 d3 d4 d5 q d6 d7 47
48 a1 a2 a3 a4 b1 q b2 d1 d2 d3 d4 d5 a1d1 a2d2 q d6 d7 48
49 a1 a2 a3 a4 b1 q b2 d1 a1d1 d2 a2d2 d3 a3d3 d4 a4d4 d5 q d6 d7 49
50 a1 a2 a3 a4 b1 q b2 d1 a1d1 d2 a2d2 d3 d4 a2d4 a3d3 a4d4 b1d4 d5 q d6 d7 50
51 a1 a2 a3 a4 b1 q b2 d1 a1d1 d2 a2d2 d3 d4 d5 a2d4 a3d3 a3d5 a4d4 b1d4 d6 q d7 a4d6 51
52 a1 a2 a3 a4 b1 q b2 d1 a1d1 d2 a2d2 d3 d4 d5 d6 q d7 a2d4 a3d3 a3d5 a4d4 a4d6 b1d4 b1d6 52
53 a1 a2 a3 a4 b1 q b2 d1 a1d1 d2 a2d2 d3 a3d3 d4 a2d4 a4d4 b1d4 d5 d6 a3d5 a4d6 b1d5 b1d6 q d7 53
54 a1 a2 a3 a4 b1 q b2 d1 a1d1 d2 a2d2 d3 a3d3 d4 a2d4 a4d4 b1d4 d5 d6 a3d5 a4d6 b1d5 b1d6 q d7 q b2d7 54
55 a1 a2 a3 a4 b1 q b2 d1 a1d1 d2 a2d2 d3 a3d3 d4 a2d4 a4d4 b1d4 d5 d6 a3d5 a4d6 b1d5 b1d6 q d7 q b2d7 55
56 a1 a2 a3 a4 b1 q b2 d1 a1d1 Slutin I: ' L1 = ' L2 = q d2 a2d2 d3 a3d3 d4 a2d4 a4d4 b1d4 d5 d6 a3d5 a4d6 b1d5 b1d6 q d7 q b2d7 56
57 a1 a2 a3 a4 b1 q b2 d1 a1d1 Slutin I: ' L1 = ' L2 = q d2 a2d2 d3 d4 a2d4 d5 d6 Slutin q II: ' L1 = ' L2 = q d7 a3d3 a3d5 a4d4 a4d6 b1d4 b1d5 b1d6 q b2d7 57
58 Evaluatin Fund inuts fr 17/22 vulnerabilities Min: 1s Avg: 86s Med: 36s Max: 697s 58
59 Cnclusin We resented a general cnstraint-slving arach fr string variables It can find inuts fr SQL injectins within a reasnable time We used a three-stage algrithm: 1. Generate anntated grammar 2. Search fr strings and assciated aths 3. Slving (cyclic) cnstraints ver strings
Hospital Task Scheduling using Constraint Programming
Hspital Task Scheduling using Cnstraint Prgramming Authr: Chaman Chahal Supervisr: Dr. P. Bse, Schl f Cmputer Science Organizatin: Carletn University Curse: COMP4905 Date: Dec. 11, 2012 1 Abstract Hspitals
More informationFigure 1: A Battleship game by Pogo
CSCI 2312-002: Object Oriented Prgramming Final Prject Assigned: Octber 17, 2017 Design Due: Octber 24, 2017 IN CLASS (Graded as ne hmewrk grade) Final prject Due: Nvember 16, 2017 at 11:59 PM Fr many
More informationDitton Primary School: Design and Technology Curriculum Planning
Year Grup Natinal Curriculum Learning Objective Design KS1 Natinal Curriculum I can design purpseful, functinal, appealing fr myself and ther users based n design criteria I can generate, develp, mdel
More informationIntroduction to Life Cycle Risk Management Help Page
Select a frequently asked questin (FAQ) t skip t its answer. Hw is the curse rganized? Wh shuld take this curse? Hw d I get credit fr this curse? What d all the navigatin buttns d? Hw d I knw what t click?
More informationThe UNIVERSITY of NORTH CAROLINA at CHAPEL HILL
Yu will learn the fllwing in this lab: The UNIVERSITY f NORTH CAROLINA at CHAPEL HILL Cmp 541 Digital Lgic and Cmputer Design Prf. Mntek Singh Fall 2016 Lab Prject (PART A): Attaching a Display t the Prcessr
More informationCOMP 110 INTRODUCTION TO PROGRAMMING WWW
COMP 110 INTRODUCTION TO PROGRAMMING WWW http://cmp110www.web.unc.edu Fall 2011 Hmewrk 3 Submissin Deadline: 10:59 AM, Oct 24 Overview Validating Multiple Chess Mves n a Chessbard Fr this assignment yu
More informationEngineering CAD 3-D Solids and Surfaces. Architecture and Engineering Design Department. Engineering and Design Technology. o Work Experience, General
SECTION A - Curse Infrmatin 1. Curse ID: 2. Curse Title: 3. Divisin: 4. Department: 5. Subject: 6. Shrt Curse Title: 7. Effective Term:: EDT 24 Engineering CAD 3-D Slids and Surfaces Technlgy and Health
More informationRubik s Cube Recognition and Identification using Computer Vision
Rubik s Cube Recgnitin and Identificatin using Cmputer Visin Saichand Bandarupalli and Rahul Dev Appapgu Curse N: CSCI507 Clrad Schl f Mines Intrductin Named after Ern Rubik, its inventr (in 1947) Has
More information1. Constraint propagation
6.034 Artificial Intelligence, Fall 2006 Prf. Patrick H.Winstn Prblem Set 3 This prblem set is due Wednesday, Octber 18th at 11:59 PM. If yu have questins abut it, ask the TA email list. Yur respnse will
More informationNational Curriculum Programme of Study:
Natinal Curriculum Prgramme f Study: Cunt in steps f 2, 3, and 5 frm 0, and in tens frm any number, frward and backward. Recall and use multiplicatin and divisin facts fr the 2, 5 and 10 multiplicatin
More informationDIMACS Working Group on Measuring Anonymity Notes from Session 3: Information Theoretic and Language-based Approaches
DIMACS Wrking Grup n Measuring Annymity Ntes frm Sessin 3: Infrmatin Theretic and Language-based Appraches Scribe: Matthew Wright In this sessin, we had three 15-minute talks based n submitted abstracts
More informationINLS 560 Lab 4: Wheel of Fortune
INLS 560 Lab 4: Wheel f Frtune Descriptin Fr this assignment, yu will create a prgram that is a simple game f Wheel f Frtune (http://en.wikipedia.rg/wiki/wheel_f_frtune_(u.s._game_shw)). Yu can wrk in
More informationEDISON. The Mystery of the Missing Mouse Treasure. The truth turns out to be far more amazing.
EDISON The Mystery f the Missing Muse Treasure Tw unlikely friends build a vessel capable f taking them t the bttm f the cean as they search t find a missing treasure The truth turns ut t be far mre amazing.
More informationRemote Control Learn Button Receiver Input Connections
Remte Cntrl Learn Buttn Receiver Input Cnnectins Remte Cntrl LED Light Wi-fi/Factry Reset Buttn Receiver Output Cnnectin Heartbeat LED Light PRV Cnnectins Pwer Reset Buttn Pl / Treadmill Switch Flat Switch
More informationRapid Innovation Fund (RIF) Program Overview
Rapid Innvatin Fund (RIF) Prgram Overview Ted Bujewski, Directr, Rapid Innvatin Fund Prgram Office f the Under Secretary f Defense (Research and Engineering) January 2019 Backgrund Established as the Rapid
More informationApplication of Percents
Grade 7 Mathematics, Quarter 3, Unit 3.1 Applicatin f Percents Overview Number f instructinal days: 15 (1 day = 45 60 minutes) Cntent t be learned Cnvert between different frms f ratinal numbers (psitive
More informationSpring 06 Assignment 3: Robot Motion, Game Theory
15-381 Spring 06 Assignment 3: Rbt Mtin, Game Thery Questins t Rng Yan(yanrng@cs.cmu.edu) Out: 2/21/06 Due: 3/7/06 Name: Andrew ID: Please turn in yur answers n this assignment (etra cpies can be btained
More informationHands-Free Music Tablet
Hands-Free Music Tablet Steven Tmer Nate Decker Grup Website: steve@wasatch.cm milamberftheassembly@yah.cm http://www.cs.utah.edu/~ndecker/ce3992/ Abstract The typical musician handles a great deal f sheet
More informationBulletin of the Transilvania University of Braşov Vol 8(57), No Series III: Mathematics, Informatics, Physics,
Bulletin f the Transilvania University f Braşv Vl 8(57), N. 2-2015 Series III: Mathematics, Infrmatics, Physics, 125-130 ALGORITHM FOR SOLVING A PUZZLE PROBLEM Adrian DEACONU 1 Abstract We present an algrithm
More informationEE 255 ELECTRONICS I LABORATORY EXPERIMENT 1 RESONANT CIRCUITS
EE 255 EETNIS I ABATY EXPEIMENT 1 ESNANT IUITS BJETIVES In this exeriment yu will earn hw resnant circuits can be used t make bandass and band-reject filters. Gain exerience in measuring the frequency
More informationRift Navigation. Using the Rift. Take a tour of the features of the Rift. Here are the basics of getting around in Rift.
Using the Rift Take a tur f the features f the Rift. Rift Navigatin Here are the basics f getting arund in Rift. Whenever yu put n yur Rift headset, yu're entering VR (virtual reality). Hw t get arund
More informationWhat is a Customer Service Model?
What is a Custmer Service Mdel? Qin Wu IETF 97 Seul Krean L2SM WG meeting 1 Mtivatin Mtivatin: Nt everybdy understand the difference between the device mdel and service mdel Clarify what a service mdel
More informationAnntatins Narrative Grade 5 Abraham Lincln Guide Paper 1 Fcus/Organizatin Scre Pint: 1 The writer f this respnse prvides little t n intrductin f a character; pint f view may be unclear. The writer prvides
More informationCmputer Chess Wrld champin Garry Kasparv beat Deep Thught decisively in ehibitin games in 1989 Deep Thught rated ~ 600 Deep Blue develped at IBM Thmas
Cmputer Chess Within 10 years a cmputer will be wrld chess champin Herbert Simn, 197 Deep Thught develped by CMU and IBM frerunner f Deep Blue rated ~ 00 wn Wrld Cmputer Chess Champinship in 1989 Chess
More informationECE 3829: Advanced Digital System Design with FPGAs A Term 2017
ECE 3829: Advanced Digital System Design with FPGAs A Term 2017 Lab 2- VGA display and Light Sensr interface Reprt due at start f class Friday September 15 th Use the prvided Ambient Light Sensr mdule
More informationM M Eissa (SIEEE), Egypt Mahmoud M. El-Mesalawy, Egypt Yilu Liu (FIEEE), USA Hossam Gabbar, Canada
Wide Area Synchrnized Frequency Measurement System Architecture with Secure Cmmunicatin fr 500kV/220kV Egyptian Grid M M Eissa (SIEEE), Egypt Mahmud M. El-Mesalawy, Egypt Yilu Liu (FIEEE), USA Hssam Gabbar,
More informationTHE ROLE OF INSTITUTIONS IN THE DEVELOPMENT OF LATIN AMERICAN OIL INDUSTRIES: AN EVOLUTIONIST AND ECONOMIC HISTORIC APPROACH
THE ROLE OF INSTITUTIONS IN THE DEVELOPMENT OF LATIN AMERICAN OIL INDUSTRIES: AN EVOLUTIONIST AND ECONOMIC HISTORIC APPROACH Francisc Ebeling Barrs IBP Brazilian Petrleum Institute / Energy Ecnmics Grup
More informationIB Visual Arts Summer Work Year 1 (HL & SL)
IB Visual Arts Summer Wrk Year 1 (HL & SL) Cngratulatins n beginning yur jurney int the IB Visual Arts Curse. There are a few things I wuld like yu t knw befre yu get started n yur summer wrk. - Making
More informationUpdate on Progressive Tracking and Track Reconstruc5on. Weizhi Xiong 01/12/2015
Update n Prgressive Tracking and Track Recnstruc5n Weizhi Xing //5 Outline Slving the prblem with large angle track searching Track recnstruc5n fr large angle events and preliminary results Summary Prblem
More informationTUTORIAL I ECE 555 CADENCE SCHEMATIC SIMULATION USING SPECTRE
TUTORIAL I ECE 555 CADENCE SCHEMATIC SIMULATION USING SPECTRE Cadence Virtus Schematic editing prvides a design envirnment cmprising tls t create schematics, symbls and run simulatins. This tutrial will
More informationWhat your Board Should look like!
What yur Bard Shuld lk like! Fr almst every science fair prject, yu need t prepare a display bard t cmmunicate yur wrk t thers. In mst cases yu will use a standard, three-panel display bard that unflds
More informationLCN Remote Control. Perfection. High-End Building Management. Remote Control
Remte Cntrl C 1992 YEARS 2017 High-End Building Management C Remte Cntrl 25 ISSEORFF KG Magdeburger Str.3 30880 Rethen/Germany Tel: +49 (0)5066 99 80 www.c.eu Remte Cntrl C-RR Infrared receiver with lens
More informationUCLA Extension Writers Program Public Syllabus
Writing the First Screenplay III Syllabus -- Fall 2010.002 1 UCLA Extensin Writers Prgram Public Syllabus Nte t students: this public syllabus is designed t give yu a glimpse int this curse and instructr.
More informationSVT Tab and Service Visibility Tool Job Aid
Summary This Jb Aid cvers: SVT Tab Overview Service Visibility Tl (SVT) Area Overview SVT Area: Satellite Mdem Status (Frm Mdem) Clumn SVT Area: Satellite Mdem Status (Frm SMTS) Clumn SVT Area: Prvisining
More informationSoftware Engineering
What Is Sftware Engineering? Sftware Engineering Sftware engineering is the study and an applicatin f engineering t the, develpment, and maintenance f sftware. The applicatin f a systematic, disciplined,
More informationProject Information o Simulating Cumulus Entrainment: A Resolution Problem, or Conceptual? o Sonia Lasher-Trapp, UIUC o
Annual Reprt fr Blue Waters Allcatin: Snia Lasher-Trapp, Oct 2016 Prject Infrmatin Simulating Cumulus Entrainment: A Reslutin Prblem, r Cnceptual? Snia Lasher-Trapp, UIUC slasher@illinis.edu Executive
More informationHigh Level Design Circuit CitEE. Irere Kwihangana Lauren Mahle Jaclyn Nord
High Level Design Circuit CitEE Irere Kwihangana Lauren Mahle Jaclyn Nrd 12/16/2013 Table f Cntents 1 Intrductin. 3 2 Prblem Statement and Prpsed Slutin. 3 3 Requirements. 3 4 System Blck Diagram 4.1 Overall
More informationPlanning Guide. Create a "wish list" for your new project, and then number the items in order of importance.
Rbbinsville, NJ 08691 Email: inf@cenurykitchens.net Planning Guide At Century Kitchens & Bathrms, we can help yu all alng the way, frm start t finish, in the planning, design and cmpletin f yur new kitchen
More informationVILLAGE COORDINATOR AGREEMENT
Date Received at AHSGR VILLAGE COORDINATOR AGREEMENT Frm materials written by the riginal funders f AHSGR, we knw that the grup f peple wh gt tgether in the late 1960s t frm what was t later becme AHSGR
More informationAltis Flight Manager. PC application for AerobTec devices. AerobTec Altis v3 User Manual 1
Altis Flight Manager PC applicatin fr AerbTec devices AerbTec Altis v3 User Manual 1 Table f Cntents Intrductin...3 Requirements...3 Installatin...3 Applicatin...3 USB Driver fr Altis v3 interface ALink...4.NET
More informationFocus Session on Simulation at Aeronautics Test Facilities
Fcus Sessin n Simulatin at Aernautics Test Facilities Octber 15, 2014 Overview f Presentatin Questins t be addressed during presentatin Hw has the ability t d increasingly accurate mdeling and simulatin
More informationACA Standard Measurement One-time program
Service Request 101183 ACA Standard Measurement One-time prgram Created n: December 22, 2015 Last Mdified n: 12/23/2015 Prepared by Baskar Chitravel Infrmatin Technlgy Services Office f the President University
More information1.12 Equipment Manager
Mdule 1 Categry 1 1.12 Equipment Manager Functin f the windw The windw is the central data file fr the Kntrl Pr and cllects the main data fr fees f an bject that t be used in this prject. The Equipment
More informationAIR CONDITIONER REMOTE CONTROLLER ILLUSTRATION CS406-R51E
AIR CONDITER REMOTE CONTROLLER ILLUSTRAT CS406-R5E 00550905 0009 Thank yu very much fr purchasing ur air cnditiner. Please read this wner's manual carefully befre using yur air cnditiner. CONTENTS Handling
More informationUltrasonic Sensing and Mapping. Ioannis Rekleitis
Ultrasnic ensing and Maing Iannis Rekleitis Intrductin t Maing What the wrld lks like? Knwledge reresentatin Rbtics, AI, Visin Wh is the end-user? Human r Machine Ease f Path Planning Uncertainty! CCE
More informationPulse Width Modulation (PWM) Cornerstone Electronics Technology and Robotics II
Pulse Width Mdulatin (PWM) Crnerstne Electrnics Technlgy and Rbtics II Administratin: Prayer PicBasic Pr Prgrams Used in This Lessn: General PicBasic Pr Prgram Listing: http://www.crnerstnerbtics.rg/picbasic.php
More informationPuget Sound Company Overview. Purpose of the Project. Solution Overview
Puget Sund Cmpany Overview Puget Sund Energy is Washingtn State s largest and ldest energy utility, serving nearly 1 millin electric custmers and mre than 650,000 natural gas custmers, primarily within
More informationTroubleshooting Guide StarFire Satellite Changes
Trubleshting Guide StarFire Satellite Changes This guide is updated t reflect the sftware frm NavCm which is related t the StarFire satellite and frequency changes. The mst recent versin f sftware fr bth
More informationNotes on using an external GNSS receiver with smart phone mapping app
Backgrund Within is a summary f my experience using varius GNSS (Glbal Navigatin Satellite System) receivers 1 ver the last 5 t 8 years. I like t recrd tracks summer and winter fr future use in returning
More informationInteraction System from The Lab
Interactin System frm The Lab The Interactin System is a series f scripts, prefabs and ther assets that were the basis f all the minigames and ther scenes in The Lab. The system was designed specifically
More informationINTRODUCTION)TO)INNOVATION)AND)ENTREPRENEURSHIP) 2! INNOVATION)TYPES)AND)SOURCES) 7! RECOGNISING)AND)EVALUATING)OPPORTUNITIES) 10!
Table&f&Cntents& INTRODUCTION)TO)INNOVATION)AND)ENTREPRENEURSHIP) 2! INNOVATION)TYPES)AND)SOURCES) 7! RECOGNISING)AND)EVALUATING)OPPORTUNITIES) 10! ACTING)ON)THE)OPPORTUNITY) 12! EXPLOITING)THE)OPPORTUNITY)
More informationThe Mathematics of the Rubik s Cube
In this lessn, students will explre the pssible number ways the pieces f a Rubik's Cube can be arranged, and still fit the criteria fr a Rubik's Cube. Clrs are riented in a set way, s sme pieces (such
More informationACT-R models of training
ACT-R mdels f training Cletilde Gnzalez Brad Best, Varun Dutt, Octavi Juarez Dynamic Decisin Making Labratry (DDMLab) www.cmu.edu/ddmlab Carnegie Melln University Agenda A cgnitive accunt f fatigue in
More informationCOSC 6374 Parallel Computation. Communication Performance Modeling. Edgar Gabriel Fall Motivation
COSC 6374 Parallel Cmputatin Cmmunicatin Perfrmance Mdeling Edgar Gabriel Fall 2015 Mtivatin Can we estimate the csts fr a parallel cde in rder t Evaluate quantitative and qualitative differences between
More information1. Give an example of how one can exploit the associative property of convolution to more efficiently filter an image.
CS 376 Cmputer Visin Spring 2011 Prblem set 1 Out: Tuesday Feb 1 Due: Mnday Feb 14 11:59 PM See the end f this dcument fr submissin instructins. Visit us during ffice hurs t discuss any questins n the
More informationNOAA/NSTA Symposium: GPS and Geodesy for Dummies: Do You Know Where You Are? Saturday, March 31, 2007
NOAA/NSTA Sympsium: GPS and Gedesy fr Dummies: D Yu Knw Where Yu Are? NSTA Natinal Cnference n Science Educatin, St. Luis, MO NOAA/NSTA Sympsium: GPS and Gedesy fr Dummies: D Yu Knw Where Yu Are? Saturday,
More informationDocumentation of the PIC32 Pin Finder
App. Versin: 1.1.1.120 Dcument Versin: 1.0 Dcument Create date: 2009-10-16 Dcument Update: 2009-10-19 22:37 Authr: B Gärdmark Cmpany: Spectrn System Develpment AB WEB: www.spectrn.us Cpyright 2009 All
More informationLab2 Digital Weighing Scale (Sep 18)
GOAL Lab2 Digital Weighing Scale (Sep 18) The gal f Lab 2 is t demnstrate a digital weighing scale. INTRODUCTION The electrnic measurement f mass has many applicatins. A digital weighing scale typically
More informationHOMEWORK! First Grade
HOMEWORK! First Grade Sight Wrds This week we are taking a shrt diversin frm ur regular Language Arts prgram. We will be reading the stry, Pumpkin, Pumpkin. Sight Wrds: Please print and cut ut these wrds
More informationOptimization Tutorial Using OSLO Standard or Premium
Page 1 f 18 Optimizatin Tutrial Using OSLO Standard r Premium Optimizatin Tutrial Using OSLO Standard r Premium Lambda Research Crpratin INTRODUCTION Nte: Parts f this tutrial are very similar t the "Optimizatin
More informationLead Facts for Homeowners
Lead Facts fr Hmewners Lead Facts fr Hmewners Did yu knw the fllwing facts abut lead? FACT: Lead expsure can harm yung children and babies even befre they are brn. FACT: Even children wh seem healthy can
More information8.1. Name authority concepts and problems
Overview Name authrity cntrl 8.1. Name authrity cncepts and prblems The Rules, Standards, and Authrity Cntrl mdules prvided a fundatin fr understanding name authrity cntrl. By way f review, all authrity
More informationAll Assignments and Demostrations are on Mr. Chad and Ms. Burkey s Websites: &
Due: Freshman DWB #2 3 page (minimum) research paper n Lenard da Vinci (Criteria A: Knwledge and Understanding) 15 Eyes drawn (Criteria B: Applicatin) 15 Ears drawn (Criteria B: Applicatin) 15 Nses drawn
More informationo Work Experience, General o Open Entry/Exit Distance (Hybrid Online) for online supported courses
SECTION A - Curse Infrmatin 1. Curse ID: 2. Curse Title: 3. Divisin: 4. Department: 5. Subject: 6. Shrt Curse Title: 7. Effective Term:: ARTD 17A Drawing: Life Arts Divisin Fine Arts Art: Tw-Dimensinal
More informationManual Zeiss Axio Zoom.V16 microscope and ZEN 2 Pro software
Manual Zeiss Axi Zm.V16 micrscpe and ZEN 2 Pr sftware 15-9-2015 Fred Hartjes EMS 3 Caxial illum. Ring illum. Starting up Pwer n Actuate the knb n the EMS 3 cntrl unit Switch n the caxial illuminatin Switch
More informationFoundations of Technology
EXAM INFORMATION Items 70 Pints 70 Prerequisites NONE Grade Level 9-10 Curse Length ONE SEMESTER DESCRIPTION is an actin-based engineering and technlgy educatinal curse emphasizing design and prblem-slving
More informationSmall Business Innovation Challenge Program. Ministry of Economic Development and Growth Ministry of Research, Innovation and Science
Small Business Innvatin Challenge Prgram Ministry f Ecnmic Develpment and Grwth Ministry f Research, Innvatin and Science Small Business Innvatin Challenge (SBIC) Overview On March 1, MEDG launched the
More informationLab 1 Load Cell Measurement System (Jan 09/10)
BME/ECE 386 Lab 1 Lad Cell Measurement System GOALS Lab 1 Lad Cell Measurement System (Jan 09/10) 1) Test the lad cell amplifier. 2) Write an Arduin prgram t: a. Acquire data frm a lad cell amplifier b.
More informationSet up and use your Beats X earphones
Set up and use yur Beats X earphnes Here's everything yu need t knw t make the mst f yur Beats X earphnes. Turn n The pwer buttn is n the cable beneath the right earphne. Press and hld the buttn fr 1 secnd
More informationCommunication Theory II
Cmmunicatin Thery II Lecture 2: Review n Furier analysis f signals and systems Ahmed Elnakib, PhD Assistant Prfessr, Mansura University, Egypt Febraury 12 th, 2015 1 Quiz 1 In a blank paper write yur name
More informationSmall Satellite Integrated Communication Environment (ICE)
Small Satellite Integrated Cmmunicatin Envirnment (ICE) SmallSat Cnference 2017 SSC17-V-09_2017 Jhn Plschnitznig Sctt McLaughlin Dr. Frank Falc Patent 8,751, 064 B2 The Issue Prblem Hw can we imprve cmmunicatins
More informationExam solutions FYS3240/
Exam slutins FYS3240/4240 2014 Prblem 1 a) Explain hw the accuracy (cnstant frequency utput) f quartz crystal scillatrs is imprved. The accuracy is imprved using temperature cmpensatin (temperature cmpensated
More information5. Experimental Results
5. xperimental Results Prttype mdels f the duble spherical helix the hemispherical helix studied in Sectins 4.3.2 4.4 were cnstructed measured. Fabricatin f these antennas measurement f their radiatin
More informationThe following guide contains the workstation setup instructions for the Eclipse Manifest Companion Product.
The fllwing guide cntains the wrkstatin setup instructins fr the Eclipse Manifest Cmpanin Prduct. Prerequisites Manifest Prcessr uses cde that reads barcdes t prcesses signature frm printed manifest t
More informationFinding Your Ancestors with FamilySearch By Shirley-Ann Pyefinch, MIM Ottawa Family History Centre
Abstract: Learn abut the free glbal resurces and tls available fr yu thrugh the FamilySearch.rg website. Frm searching histrical recrds t using ur cllabrative tls, this sessin will help yu understand hw
More informationA Quick & Dirty Guide to Revising your Novel
Sz's Revisins, Lessn 4 1 A Quick & Dirty Guide t Revising yur Nvel Lessn 4: Planning the attack. S, yu figured ut what yur Perfect Bk wuld be in Lessn 3. Nw we're ging t take that and apply it t yur nvel.
More informationExpression Mixer User Manual , RiverSoftArt
User Manual Expressin Mixer User Manual 2017-2018, RiverSftArt Cntents Intrductin... 1 Features... 1 Expressin Mixer... 4 Buttns and Optins... 6 Intrductin Getting the exact perfect expressin can be a
More informationPROBABILITY OF DETECTION OF FLAWS IN A GAS TURBINE ENGINE. Gary L. Burkhardt and R.E. Beissner
PROBABILITY OF DETECTION OF FLAWS IN A GAS TURBINE ENGINE COMPONENT USING ELECTRIC CURRENT PERTURBATION Gary L. Burkhardt and R.E. Beissner Suthwest Research Institute 6220 CUlebra Rad San Antni, Texas
More informationMedicare Program Integrity Manual Chapter 14 - National Provider Identifier
Medicare Prgram Integrity Manual Chapter 14 - Natinal Prvider Identifier Transmittals fr Chapter 14 Table f Cntents (Rev. 270, 10-05-08) 14.1 - Access t Natinal Plan and Prvider Enumeratin System (NPPES)
More informationLab 1 Load Cell Measurement System
BME/ECE 386 Lab 1 Lad Cell Measurement System GOALS Lab 1 Lad Cell Measurement System 1) Build and test a lad cell amplifier. 2) Write an Arduin prgram t: a. Acquire data frm a lad cell amplifier b. Cmpute
More informationEngineering Design and Development
Engineering Design and Develpment Grade 12 Prerequisites: Intrductin t Engineering Design Principles f Engineering Digital Electrnics Credit Value: 5 ABSTRACT The Engineering Design and Develpment curse
More informationFrom Beginner to Expert in 90 Minutes
Cmma CMMS Maintenance Management at Yur Fingertips Frm Beginner t Expert in 90 Minutes http://cmmacmms.cm Table f Cntents Intrductin... 3 Frm beginner t expert in 90 minutes... 3 Sessin 1 Set it Up! (5
More informationApplication Note AN-2097 Evaluation Kit for the S7500 CW Tunable Laser
Applicatin Nte AN-2097 Evaluatin Kit fr the S7500 CW Tunable Laser 1 Intrductin The evaluatin kit is intended t facilitate testing f Finisar s S7500 widely tunable laser, S7610 Integrable Tunable Laser
More informationElectrical devices may only be mounted and connected by electrically skilled persons.
2-gang Art. N. : HS2 RF 4-gang Art. N. : HS4 RF Operating instructins 1 Safety instructins Electrical devices may nly be munted and cnnected by electrically skilled persns. Serius injuries, fire r prperty
More informationWorkplace Digital Essential Skills in Rural Small Businesses
Wrkplace Digital Essential Skills in Rural Small Businesses Nrm Leckie Julie Rdier David Gyarmati May 2016 SRDC Bard f Directrs Richard A. Wagner Partner, Nrtn Rse Fulbright LLP Grdn Berlin President,
More informationBest Practices in Accelerating FEA in Abaqus, Ansys, and NX Nastran
Best Practices in Accelerating FEA in Abaqus, Ansys, and NX Nastran Dr. Gil Sharn 9000 Virginia Manr Rd Ste. 290, Beltsville MD 20705 301-474-0607 www.dfrslutins.cm 2004 2010 Speaker Bi: Gil Sharn Senir
More informationClaim Amalgamation. Getting Started. Amalgamate means to join 2 or more cell claims into one cell claim. Before you start:
Claim Amalgamatin Amalgamate means t jin 2 r mre cell claims int ne cell claim. Befre yu start: Yu will need t knw the title numbers f the cell titles fr amalgamatin. If yu are acting as an agent, yu must
More informationCOM/ENG 357: Scriptwriting for Serial Media Spring 2016 Tue./Thur. 12-1:50pm Black 139
COM/ENG 357: Scriptwriting fr Serial Media Spring 2016 Tue./Thur. 12-1:50pm Black 139 1 Instructr: Maria Sanders Office Hurs: Builln 225 Assistant Prfessr, Film and Vide Studies Mn. & Wed. 2-4:30p & Thur
More informationLA-UR Title: Author(s): Intended for: Upgrading the Data Acquisition and Control System of the LANSCE LINAC.
LA-UR-11-10180 Apprved fr public release; distributin is unlimited. Title: Upgrading the Data Acquisitin and Cntrl System f the LANSCE LINAC Authr(s): Bars, Dlres Intended fr: Particle Acceleratr Cnference
More informationBILLING POLICIES AND PROCEDURES FOR ALL PROVIDERS
BILLING POLICIES AND PROCEDURES FOR ALL PROVIDERS N critical cmpliance issue Received in ur ffice n time Single sided 8 ½ x 11 inch white paper Blue r black pen N staples Any necessary back up Lg ntes
More informationLab3 Audio Amplifier (Sep 25)
GOAL Lab3 Audi Amplifier (Sep 25) The gal f Lab 3 is t demnstrate an audi amplifier based n an p amp and ttem-ple stage. OBJECTIVES 1) Observe crssver distrtin in a Class B ttem-ple stage. 2) Measure frequency
More informationTee (Not a Coupler) Open Circuit Line. Z Z Z jz d
ECSE-2 Spring 22 Analysis Using Matlab Cable System R2 T2 Tee (Nt a Cupler) T TV Set Input R V 75 75 T3 Open Circuit Line The basic principle f this signal blcker is relatively simple. The CATV cable (T2
More informationYear Three Home Learning Grid Autumn Term 1: Ancient Egypt
Year Three Hme Learning Grid Autumn Term 1: Ancient Egypt During the half term, cmplete ne task frm a clumn each week. Try t cmplete ne activity a week frm the maths grid t. Each week chse an activity
More informationService Update 7. PaperStream IP (TWAIN x64) for SP Series. change history. Version Version Version
PaperStream IP (TWAIN x64) fr SP Series change histry Service Update 7 Versin 1.46.0.5900 Crrected issue: 1. Minr errrs have been mdified. Versin 1.46.0.5775 New feature: 1. SP-1425 is newly supprted.
More informationPhotoVu Digital Picture Frame Service & Repair Guide
PhtVu Digital Picture Frame Service & Repair Guide PhtVu, LLC 2450 Central Ave, #G1 Bulder, CO 80301 USA www.phtvu.cm/supprt Versin: 1.0 Table f Cntents Getting Started... 3 Determine Yur Generatin f PhtVu
More informationVisual & Performing Arts Curriculum Organizational Framework Subject: Art Grade Level Cluster: 6-8
Visual & Perfrming Arts Curriculum Organizatinal Framewrk Subject: Art Grade Level Cluster: 6-8 BOLDED CPIs COORESPOND WITH ESSENTIAL QUESTIONS IN MODULES Mdule 1: Culture Mdule 2: Art Histry Mdule 3:
More informationOwner s Manual. English. Model 5 MINUTE. Form# Hunter Fan Co. 7 Day Programmable M T W T F S S
Owner s Manual English 5 MINUTE I N S T A L L A T I O N Mdel 44905 7 Day Prgrammable M T W T F S S Frm# 44050-01 20100603 2010 Hunter Fan C. Table Of Cntents At A Glance Knw Yur Thermstat............................................................
More informationBecome a PCCW Solutions professional with a technical specialty
Audi Visual Aviatin Systems Integratin Bradcasting Engineering Graduate Trainee Prgram Becme a PCCW Slutins prfessinal with a technical specialty We need: Fresh talents t jin the market leader in best-f-breed
More informationCATA Composer R2016 Fact Sheet. Add a New Dimension to Your Product Communications
CATA Cmpser R2016 Fact Sheet Add a New Dimensin t Yur Prduct Cmmunicatins Versin 1.0-8/11/2015 Table f Cntents 1. CATIA Cmpser: VALUE AT A GLANCE... 3 2. CATIA Cmpser: Overview... 4 2.1. Immediate Prductivity
More informationSubmission to the AS/NZS 4760:2017 Consultation on behalf of the IVD Industry in Australia, including Workplace Drug and Alcohol Testing Organisations
The industry where innvatin saves mre Australian lives Submissin t the AS/NZS 4760:2017 Cnsultatin n behalf f the IVD Industry in Australia, including Wrkplace Drug and Alchl Testing Organisatins In-Vit
More information