Sequitur. CSEP 590 Data Compression Autumn Context-Free Grammars. Context-Free Grammar Example. Arithmetic Expressions
|
|
- Milton McBride
- 5 years ago
- Views:
Transcription
1 equitur CEP 590 Data Compression utumn 2007 equitur Nevill-Manning and Witten, Uses a context-free grammar (without recursion) to represent a string. The grammar is inferred from the string. If there is structure and repetition in the string then the grammar may e very small compared to the original string. Clever encoding of the grammar yields impressive compression ratios. Compression plus structure! CEP Lecture 5 - utumn Context-Free Grammars Invented y Chomsky in 1959 to explain the grammar of natural languages. lso invented y Backus in 1959 to generate and parse Fortran. Example: terminals:, e non-terminals:, Production Rules:,, e, is the start symol Context-Free Grammar Example e Example: and e matched as parentheses derivation of eee e e e ee eee hierarchical parse tree e e e CEP Lecture 5 - utumn CEP Lecture 5 - utumn T T T T*F T F F a F () rithmetic Expressions derivation of a * (a + a) + a +T T+T T*F+T F*F+T a*f+t a*()+f a*(+f)+t a*(t+f)+t a*(f+f)+t a*(a+f)+t a*(a+a)+t a*(a+a)+f a*(a+a)+a a T T * F + T F ( ) a + T T F parse tree F a F a tring x Overview of Grammar Compression Encoder Grammar inference Context-free grammar Grammar encoding ymol stream Entropy coder Compressed it stream Decoder Grammar derivation Context-free grammar Grammar decoding ymol stream Entropy decoder x CEP Lecture 5 - utumn CEP Lecture 5 - utumn
2 equitur Principles Digram Uniqueness: no pair of adjacent symols (digram) appears more than once in the grammar. Rule Utility: Every production rule is used more than once. These two principles are maintained as an invariant while inferring rammar for the input string. equitur Example (1) CEP Lecture 5 - utumn CEP Lecture 5 - utumn equitur Example (2) equitur Example (3) e CEP Lecture 5 - utumn CEP Lecture 5 - utumn equitur Example (4) equitur Example (5) e ee e occurs twice. Create new rule. CEP Lecture 5 - utumn CEP Lecture 5 - utumn
3 equitur Example (6) equitur Example (7) e CEP Lecture 5 - utumn CEP Lecture 5 - utumn equitur Example (8) equitur Example (9) e ee e occurs twice. Use existing rule. CEP Lecture 5 - utumn CEP Lecture 5 - utumn equitur Example (10) equitur Example (11) e e CEP Lecture 5 - utumn CEP Lecture 5 - utumn
4 equitur Example (12) equitur Example (13) ee e occurs twice. Use existing rule. e Enforce digram uniqueness occurs twice. Create new rule. CEP Lecture 5 - utumn CEP Lecture 5 - utumn equitur Example (14) equitur Example (15) BeB BeB CEP Lecture 5 - utumn CEP Lecture 5 - utumn equitur Example (16) equitur Example (17) BeB BeBe e occurs twice. Use existing rule. CEP Lecture 5 - utumn CEP Lecture 5 - utumn
5 equitur Example (18) BeB equitur Example (19) -> BeB -> e B -> CEP Lecture 5 - utumn CEP Lecture 5 - utumn equitur Example (20) equitur Example (21) BeBe e occurs twice. Use existing rule. BeB occurs twice. Use existing rule. CEP Lecture 5 - utumn CEP Lecture 5 - utumn equitur Example (22) equitur Example (23) BeBB B occurs twice. Create new rule C B. CeBC C B CEP Lecture 5 - utumn CEP Lecture 5 - utumn
6 equitur Example (24) equitur Example (25) CeBCe C B Ce occurs twice. Create new rule D Ce. DBD C B D Ce Enforce rule utility. C occurs only once. Remove C B. CEP Lecture 5 - utumn CEP Lecture 5 - utumn equitur Example (26) DBD D Be The Hierarchy DBD D Be D B D B e B e e e e e e e Is there compression? In this small example, proaly not. CEP Lecture 5 - utumn CEP Lecture 5 - utumn equitur lgorithm Input the first symol s to create the production s; repeat match an existing rule:.xy.b. B XY B XY create a new rule:.xy..c... B...XY... B...C... remove a rule: C XY.B. B X 1 X 2 X. X 1 X 2 X k. k input a new symol: X 1 X 2 X k until no symols left X 1 X 2 X k s CEP Lecture 5 - utumn Exercise Use equitur to construct rammar for aaaaaaaaaa = a 10 CEP Lecture 5 - utumn
7 Complexity The numer of non-input sequitur operations applied < 2n where n is the input length. ince each operation takes constant time, sequitur is a linear time algorithm mortized Complexity rgument Let m = # of non-input sequitur operations. Let n = input length. how m 2n. Let s = the sum of the right hand sides of all the production rules. Let r = the numer of rules. We evaluate 2s - r. Initially 2s - r = 1 ecause s = 1 and r = 1. 2s - r > 0 at all times ecause each rule has at least 1 symol on the right hand side. CEP Lecture 5 - utumn CEP Lecture 5 - utumn equitur Rule Complexity Digram Uniqueness - match an existing rule..xy B XY.B. B XY Digram Uniqueness - create a new rule..xy. B...XY....C... B...C... C XY Rule Utility - Remove a rule. s r -1 0 s r 0 1 2s - r -2 2s - r -1 mortized Complexity rgument 2s - r > 0 at all times ecause each rule has at least 1 symol on the right hand side. 2s - r increases y 2 for every input operation. 2s - r decreases y at least 1 for each non-input sequitur rule applied. n = numer of input symols m = numer of non-input operations 2n m > 0. m 2n..B. B X 1 X 2 X k s r. X 1 X 2 X k s - r -1 CEP Lecture 5 - utumn CEP Lecture 5 - utumn mortized Complexity rgument Input Non-input s - r 10 5 Linear Time lgorithm There is a data structure to implement all the sequitur operations in constant time. Production rules in an array of douly linked lists. Each production rule has reference count of the numer of times used. Each nonterminal points to its production rule. Digrams stored in a hash tale for quick lookup. 0 Time CEP Lecture 5 - utumn CEP Lecture 5 - utumn
8 CeBCe C B Data tructure Example 0 C e B C e 2 B 2 e C 2 B reference count current digram digram tale BC eb Ce e B CEP Lecture 5 - utumn Grammar Basic Encoding a Grammar DBD D Be ymol Code Grammar Code 000 e B 011 D 100 # 101 D B D # e # # B e its Grammar Code = ( s + r 1) log2( r + a) r = numer of rules s = sum of right hand sides a = numer in original symol alphaet No code for needed CEP Lecture 5 - utumn Better Encoding of the Grammar Nevill-Manning and Witten suggest a more efficient encoding of the grammar that uses LZ77 ideas. end the right hand side of the production. The first time a nonterminal is sent, its right hand side is transmitted instead. The second time a nonterminal is sent as a triple [i, j, d], which says the right hand side starts at position j in production rule i and is d long. new production rule is then added to a dictionary. usequently, the nonterminal is represented y the index of the production rule. CEP Lecture 5 - utumn tbca BBB t B C a T tagt X 0 tagt l 0 = 4 CEP Lecture 5 - utumn tbca BBB T tagt [0, 1, 3] X 0 t X 1 X 1 l 0 = 3 X 1 agt l 1 = 3 tbca BBB T tagt [0, 1, 3] 1 X 0 t X 1 X 1 X 1 l 0 = 4 X 1 agt l 1 = 3 t B C a t B C a CEP Lecture 5 - utumn CEP Lecture 5 - utumn
9 tbca BBB T tagt [0, 1, 3] 1 [0, 1, 3] X 0 t X 2 X 2 l 0 = 3 X 1 agt l 1 = 3 X 2 X 1 X 1 X 1 l 2 = 3 tbca BBB T tagt [0, 1, 3] 1 [0, 1, 3] 1 X 0 t X 2 X 2 X 1 l 0 = 4 X 1 agt l 1 = 3 X 2 X 1 X 1 X 1 l 2 = 3 t B C a t B C a CEP Lecture 5 - utumn CEP Lecture 5 - utumn tbca BBB t B C a T tagt [0, 1, 3] 1 [0, 1, 3] 1 [1, 0, 2] X 0 t X 2 X 2 X 1 X 3 l 0 = 5 X 1 X 3 t l 1 = 2 X 2 X 1 X 1 X 1 l 2 = 3 X 3 ag l 3 = 2 tbca BBB t B C a T tagt [0, 1, 3] 1 [0, 1, 3] 1 [1, 0, 2] a X 0 t X 2 X 2 X 1 X 3 a l 0 = 6 X 1 X 3 t l 1 = 2 X 2 X 1 X 1 X 1 l 2 = 3 X 3 ag l 3 = 2 CEP Lecture 5 - utumn CEP Lecture 5 - utumn Kieffer-Yang Improvement Kieffer and Yang developed a theoretical framework for studying these types of grammars in KY is universal; it achieves entropy in the limit dd to sequitur Reduction Rule 5: B CD B ae C a D cd E D <> = <B> = acd CD B ae C a D cd E D dding this constraint makes sequitur universal. CEP Lecture 5 - utumn Compression Quality Neville-Manning and Witten 1997 size comp gzip sequitur PPMC i ook geo oj pic progc = First; = econd; = Third. Files from the Calgary Corpus Units in its per character (8 its) compress - ased on LZW gzip - ased on LZ77 PPMC - adaptive arithmetic coding with context zip2 Burrows-Wheeler lock sorting zip CEP Lecture 5 - utumn
10 Notes on equitur Yields compression and hierarchical structure simultaneously. With clever encoding is competitive with the est of the standards. The grammar size is not close to approximation algorithms Upper = O((n/log n) 3/4 ); Lower = Ω(n 1/3 ). (Lehman, 2002) But! Practical linear time encoding and decoding. Other Grammar Based Methods Longest Match Most frequent digram Match producing the est compression CEP Lecture 5 - utumn CEP Lecture 5 - utumn
COSE312: Compilers. Lecture 8 Bottom-Up Parsing
COSE312: Compilers Lecture 8 Bottom-Up Parsing Hakjoo Oh 2017 Spring Hakjoo Oh COSE312 2017 Spring, Lecture 8 April 5, 2017 1 / 28 Expression Grammar Expression grammar: Unambiguous version: E E + E E
More informationSuffix arrays, BWT and FM-index. Alan Medlar Wednesday 16 th March 2016
Suffix arrays, BWT and FM-index Alan Medlar Wednesday 16 th March 2016 Outline Lecture: Technical background for read mapping tools used in this course Suffix array Burrows-Wheeler transform (BWT) FM-index
More informationCSci 127: Introduction to Computer Science
CSci 127: Introduction to Computer Science hunter.cuny.edu/csci CSci 127 (Hunter) Lecture 3 13 September 2017 1 / 34 Announcements Welcome back to Assembly Hall, and thank you for your patience in our
More informationGOPALAN COLLEGE OF ENGINEERING AND MANAGEMENT Department of Computer Science and Engineering COURSE PLAN
Appendix - C GOPALAN COLLEGE OF ENGINEERING AND MANAGEMENT Department of Computer Science and Engineering Academic Year: 2016-17 Semester: EVEN COURSE PLAN Semester: V Subject Code& Name: 10CS63 & Compiler
More informationContents INTRODUCTION...
INTRODUCTION... xiii CHAPTER 1. FROM THE SYSTEM TO THE SOFTWARE... 1 1.1. Introduction... 1 1.2. Command/control system... 2 1.3. System... 6 1.4. Software application... 8 1.4.1. What is software?...
More informationProperty Testing and Affine Invariance Part II Madhu Sudan Harvard University
Property Testing and Affine Invariance Part II Madhu Sudan Harvard University December 29-30, 2015 IITB: Property Testing & Affine Invariance 1 of 29 Review of last lecture Property testing: Test global
More informationAN RPM to TACH Counts Conversion. 1 Preface. 2 Audience. 3 Overview. 4 References
AN 17.4 RPM to TACH Counts Conversion 1 Preface 2 Audience 3 Overview 4 References This application note provides look up tables for the calculation of RPM to TACH Counts for use with the EMC2103, EMC2104,
More informationLaboratory Exercise 12 THERMAL EFFICIENCY
Laboratory Exercise 12 THERMAL EFFICIENCY In part A of this experiment you will be calculating the actual efficiency of an engine and comparing the values to the Carnot efficiency (the maximum efficiency
More informationField Programmable Gate Arrays a Case Study
Designing an Application for Field Programmable Gate Arrays a Case Study Bernd Däne www.tu-ilmenau.de/ra Bernd.Daene@tu-ilmenau.de de Technische Universität Ilmenau Topics 1. Introduction and Goals 2.
More informationIndex. Calculated field creation, 176 dialog box, functions (see Functions) operators, 177 addition, 178 comparison operators, 178
Index A Adobe Reader and PDF format, 211 Aggregation format options, 110 intricate view, 109 measures, 110 median, 109 nongeographic measures, 109 Area chart continuous, 67, 76 77 discrete, 67, 78 Axis
More informationFreescale Cup Competition. Abdulahi Abu Amber Baruffa Mike Diep Xinya Zhao. Author: Amber Baruffa
Freescale Cup Competition The Freescale Cup is a global competition where student teams build, program, and race a model car around a track for speed. Abdulahi Abu Amber Baruffa Mike Diep Xinya Zhao The
More informationSSR SSR SSR SSR
DMX 52 Page DMX52 decoder firing board module 20 VAC reference Input 2 3 4 The Thyristor Firing board is compatible withdmx52 control standard 4 DMX52 triggers 2 3 4 - +- +- +- + The can trigger control
More informationRule-based Integration of Multiple Neural Networks Evolved Based on Cellular Automata
1 Robotics Rule-based Integration of Multiple Neural Networks Evolved Based on Cellular Automata 2 Motivation Construction of mobile robot controller Evolving neural networks using genetic algorithm (Floreano,
More informationEJ2410 HYBRID VEHICLE DRIVES
COURSE DESCRIPTION EJ2410 HYBRID VEHICLE DRIVES Period 2, autumn 2014, 7,5 hp There is an increasing demand today to produce environment friendly vehicles with high performance. This can to a large extent
More informationECE 550D Fundamentals of Computer Systems and Engineering. Fall 2017
ECE 550D Fundamentals of Computer Systems and Engineering Fall 2017 Digital Arithmetic Prof. John Board Duke University Slides are derived from work by Profs. Tyler Bletch and Andrew Hilton (Duke) Last
More informationInverted Pendulum Control: an Overview
Inverted Pendulum Control: an Overview K. Perev Key Words: Cart pendulum system; inverted pendulum; swing up control; local stabilization. Abstract. This paper considers the problem of inverted pendulum
More informationParking Studies. Lecture Notes in Transportation Systems Engineering. Prof. Tom V. Mathew. 1 Overview 1
Parking Studies Lecture Notes in Transportation Systems Engineering Prof. Tom V. Mathew Contents 1 Overview 1 2 Parking system 1 2.1 On street parking.................................. 2 2.2 Off street
More informationASAM ATX. Automotive Test Exchange Format. XML Schema Reference Guide. Base Standard. Part 2 of 2. Version Date:
ASAM ATX Automotive Test Exchange Format Part 2 of 2 Version 1.0.0 Date: 2012-03-16 Base Standard by ASAM e.v., 2012 Disclaimer This document is the copyrighted property of ASAM e.v. Any use is limited
More informationElectric Motors and Drives
EML 2322L MAE Design and Manufacturing Laboratory Electric Motors and Drives To calculate the peak power and torque produced by an electric motor, you will need to know the following: Motor supply voltage:
More informationA14-18 Active Balancing of Batteries - final demo. Lauri Sorsa & Joonas Sainio Final demo presentation
A14-18 Active Balancing of Batteries - final demo Lauri Sorsa & Joonas Sainio Final demo presentation 06.12.2014 Active balancing project before in Aalto Respectable research was done before us. Unfortunately
More informationIncremental Joint Extraction of Entity Mentions and Relations
Incremental Joint Extraction of Entity Mentions and Relations Qi Li and Heng Ji {liq7,jih}@rpi.edu Rensselaer Polytechnic Institute End to End Relation Extraction Baltimore is the largest city in the U.S.
More informationMACQUARIE UNIVERSITY SIGNAGE AND WAYFINDING GUIDELINES. Part Five / Issue Three Naming Strategy Internal. Part 05 Naming Strategy Internal 001
05 MACQUARIE UNIVERSITY SIGNAGE AND WAYFINDING GUIDELINES Part Five / Issue Three Naming Strategy Internal Part 05 Naming Strategy Internal 001 HEADING CONTENTS HEADING 002 Part 05 Naming Strategy Internal
More informationIntroduction. Traffic data collection. Introduction. Introduction. Traffic stream parameters
Introduction Traffic data collection Transportation Systems Engineering Outline Point measurement Measurement over a short stretch Measurement over a long stretch Measurement over an area 20080813 Traffic
More informationRotel RSP-1570 RS232 HEX Protocol
Rotel RSP-1570 RS232 HEX Protocol Date Version Update Description February 3, 2012 1.00 Original Specification The RS232 protocol structure for the RSP-1570 is detailed below. This is a HEX based communication
More informationInteractive Text Mining of Service Calls to Improve Customer Support Michael Schuh & Ron Zhang Advanced Product Engineering Oshkosh Corporation
Interactive Text Mining of Service Calls to Improve Customer Support Michael Schuh & Ron Zhang Advanced Product Engineering Oshkosh Corporation Outline Oshkosh Corporation Classification: Restricted Company
More informationNetLogo and Multi-Agent Simulation (in Introductory Computer Science)
NetLogo and Multi-Agent Simulation (in Introductory Computer Science) Matthew Dickerson Middlebury College, Vermont dickerso@middlebury.edu Supported by the National Science Foundation DUE-1044806 http://ccl.northwestern.edu/netlogo/
More informationConfig file is loaded in controller; parameters are shown in tuning tab of SMAC control center
Forces using LCC Force and Current limits on LCC The configuration file contains settings that limit the current and determine how the current values are represented. The most important setting (which
More informationINDEX EASY RAIL: THE SOLUTION IS EASY...D4 EXAMPLES OF LOAD CAPACITIES...D5 ORDER CODES...D6 MOUNTING EXAMPLES...D7 TECHNICAL DATA...
INDEX EASY RAIL: THE SOLUTION IS EASY...D4 EXAMPLES OF LOAD CAPACITIES...D5 ORDER CODES...D6 MOUNTING EXAMPLES...D7 TECHNICAL DATA...D8 STANDARD CONFIGURATIONS...D10 VERIFICATION UNDER STATIC LOAD...D12
More informationShri Vishnu Engineering College for Women: Bhimavaram (Autonomous) Department of Electrical and Electronics Engineering
Shri Vishnu Engineering College for Women: Bhimavaram (Autonomous) Department of Electrical and Electronics Engineering A Report on Hybrid Electric Vehicles Date: 16/09/2016 This Industry Expert lecture
More informationTabela binarnih kodova
Tabela binarnih kodova EBCDIC 0 00 NUL NUL NUL 0000 0000 1 01 SOH SOH SOH 0000 0001 2 02 STX STX STX 0000 0010 3 03 ETX ETX ETX 0000 0011 4 04 SEL EOT EOT 0000 0100 5 05 HT ENQ ENQ 0000 0101 6 06 RNL ACK
More informationDeliverables. Genetic Algorithms- Basics. Characteristics of GAs. Switch Board Example. Genetic Operators. Schemata
Genetic Algorithms Deliverables Genetic Algorithms- Basics Characteristics of GAs Switch Board Example Genetic Operators Schemata 6/12/2012 1:31 PM copyright @ gdeepak.com 2 Genetic Algorithms-Basics Search
More informationQUICK START GUIDE 199R10546
QUICK START GUIDE 199R10546 1.0 Overview This contains detailed information on how to use Holley EFI software and perform tuning that is included within the software itself. Once you load the software,
More informationUser Manual RC Electric Parts Electric Speed Controller (ESC) for Brushless Motors
User Manual RC Electric Parts Electric Speed Controller (ESC) for Brushless Motors Thank you for using RC Electric Parts ESC designed to meet your hobbies needs. As you'll find the ESC's settings are programmable
More informationRotel RSX-1065 RS232 HEX Protocol
Rotel RSX-1065 RS232 HEX Protocol Date Version Update Description February 7, 2012 1.00 Original Specification The RS232 protocol structure for the RSX-1065 is detailed below. This is a HEX based communication
More informationReCoSoC Experimental Fault Injection based on the Prototyping of an AES Cryptosystem
ReCoSoC 2010 5th International Workshop on Reconfigurable Communication-centric Systems on Chip Experimental Fault Injection based on the Prototyping of an AES Cryptosystem Jean- Baptiste Rigaud Jean-Max
More informationEJ2440 ELECTRIC TRANSPORTATION
COURSE DESCRIPTION EJ2440 ELECTRIC TRANSPORTATION Period 4, spring 2017, 6 hp Transportation of people and gods is fundamental for a modern society. Apart from trains, almost all transportation is driven
More informationRotel RSX-1067 RS232 HEX Protocol
Rotel RSX-1067 RS232 HEX Protocol Date Version Update Description February 7, 2012 1.00 Original Specification The RS232 protocol structure for the RSX-1067 is detailed below. This is a HEX based communication
More informationFoundations of Physical Science. Unit 2: Work and Energy
Foundations of Physical Science Unit 2: Work and Energy Chapter 4: Machines and Mechanical Systems 4.1 Force and Machines 4.2 The Lever 4.3 Designing Gear Machines Learning Goals Describe and explain a
More informationCLOGGING INDICATORS SUMMING-UP DESCRIPTION
SUMMINGUP CLOGGING PRESSURE FILTERS Pressure gauges Pressure switches Differential, visual Differential, electrical Differential, el. + LED Differential, el. + thermostat Differential, el. + visual Differential,
More informationEveryday Algorithms....a lightning introduction to algorithms
Everyday Algorithms...a lightning introduction to algorithms Building a table Building a flat-pack table Building a flat-pack table Write the solution out in natural language. Refine the wording, make
More informationMemory Analysis RECon2010. Looking In The Eye Of The Bits By Assaf Nativ
Memory Analysis RECon21 Looking In The Eye Of The Bits By Assaf Nativ Who am I? Wandering in memory land 1 2 3 4 5 6 7 8 9 A B C D E F 1 11 12 13 14 A 11 FF 1F FF 1F FF 1F FF 18F FF 1F FF 1F FF 1F FF
More informationA General Artificial Neural Network Extension for HTK
A General Artificial Neural Network Extension for HTK Chao Zhang & Phil Woodland University of Cambridge 15 April 2015 Overview Design Principles Implementation Details Generic ANN Support ANN Training
More informationCHAPTER 3 PROBLEM DEFINITION
42 CHAPTER 3 PROBLEM DEFINITION 3.1 INTRODUCTION Assemblers are often left with many components that have been inspected and found to have different quality characteristic values. If done at all, matching
More informationK.L.N. COLLEGE OF ENGINEERING DEPARTMENT OF ELECTRICAL AND ELECTRONICS ENGINEERING Course Outcomes, PO & PSO Mapping Regulation 2013
S.NO K.L.N. COLLEGE OF ENGINEERING DEPARTMENT OF ELECTRICAL AND ELECTRONICS ENGINEERING Course Outcomes, PO & PSO Mapping Regulation 2013 SEMESTER ANNA UNIVERSITY, CHENNAI - AFFILIATED INSTITUTIONS R 2013
More informationReliable Reach. Robotics Unit Lesson 4. Overview
Robotics Unit Lesson 4 Reliable Reach Overview Robots are used not only to transport things across the ground, but also as automatic lifting devices. In the mountain rescue scenario, the mountaineers are
More informationIs Power State Table(PST) Golden?
February 28 March 1, 2012 Is Power State Table(PST) Golden? By Ankush Bagotra, Neha Bajaj, Harsha Vardhan R&D Engineer, CAE, CAE Synopsys Inc. Overview Low Power Design Today Unified Power Format (UPF)
More informationTechnical Note. Management of Sealed Lead Acid Batteries in Reliable Small DC Standby Power Supply Systems
Technical Note Management of Sealed Lead Acid Batteries in Reliable Small DC Standby Power Supply Systems Automation Products Introduction As more and more remote monitoring is installed on sites ranging
More informationAUTO 140A: VEHICLE MAINTENANCE
AUTO 140A: Vehicle Maintenance 1 AUTO 140A: VEHICLE MAINTENANCE Discipline AUTO - Automotive Technology Course Number 140A Course Title Vehicle Maintenance Catalog Course Description Intended for the incumbent
More informationIntroduction Components...3. Functional Description Features Standard Monitoring Functions Alarm Definition...
Monitoring Index Introduction... 2 Components...3 Functional Description... 6 Features... 8 Standard Monitoring Functions... 9 Alarm Definition... 9 Technical Data...11 Miscellaneous...13 Applications...16
More informationMVE165/MMG631 Linear and Integer Optimization with Applications Lecture 2 AMPL and CPLEX, Assignment 1
MVE165/MMG631 Linear and Integer Optimization with Applications Lecture 2 AMPL and CPLEX, Assignment 1 Zuzana Nedělková 2017 03 22 1 / 33 AMPL Algebraic modelling language for optimization problems = Interface
More informationRelay. for Experiments with the fischertechnik Expansion Kit. Order No
Relay for Experiments with the fischertechnik Expansion Kit Order No. 30075 About the Relay A relay is an electromagnetic switch. It consists essentially of two assemblies. 5 6 7 3 2 1. Technical Data
More informationEstimation of Wear Depth on Normal Contact Ratio Spur Gear
Middle-East Journal of Scientific Research 24 (S1): 38-42, 2016 ISSN 1990-9233 IDOSI Publications, 2016 DOI: 10.5829/idosi.mejsr.2016.24.S1.9 Estimation of Wear Depth on Normal Contact Ratio Spur Gear
More informationFriction and Momentum
Lesson Three Aims By the end of this lesson you should be able to: understand friction as a force that opposes motion, and use this to explain why falling objects reach a terminal velocity know that the
More informationRSPO Principles and Criteria Lead Auditor Course.
RSPO Principles and Criteria Lead Auditor Course. INTRODUCTION. Held over a contiguous 5-day period, this course is intended for delegates who have the intention to become an RSPO P&C Lead Auditor (LA).
More informationLinear Guides Series OSP-E
Linear Guides Series OSP-E NEW Contents Description Data Sheet No. Page Overview 1.40.020E 101-102 Plain Bearing SLIDELINE 1.40.021E 103-104 Roller Guide POWERSLIDE 1.40.022E 105-108 Aluminium Roller Guide
More informationRotel RSX-1055 RS232 HEX Protocol
Rotel RSX-1055 RS232 HEX Protocol Date Version Update Description February 2, 2012 1.00 Original Specification The RS232 protocol structure for the RSX-1055 is detailed below. This is a HEX based communication
More informationThe BioGrace Excel GHG calculation tool - Basics
The BioGrace Excel GHG calculation tool - Basics Horst Fehrenbach IFEU Contents 1. Steps from cultivation to filling station 2. Use individual input numbers 3. Navigate through tool 4. Standard values
More informationUniversity Of California, Berkeley Department of Mechanical Engineering. ME 131 Vehicle Dynamics & Control (4 units)
CATALOG DESCRIPTION University Of California, Berkeley Department of Mechanical Engineering ME 131 Vehicle Dynamics & Control (4 units) Undergraduate Elective Syllabus Physical understanding of automotive
More informationROLLOVER RIGHTS OF LONG TERM FIRM TRANSMISSION SERVICE
ROLLOVER RIGHTS OF LONG TERM FIRM TRANSMISSION SERVICE In this Section: Overview Evaluation of Initial Requests Rollover Request Competing Request Competing Examples 1.0 OVERVIEW Pursuant to Section 2.2
More informationAppendix C. Safety Analysis Electrical System. C.1 Electrical System Architecture. C.2 Fault Tree Analysis
Appendix C Safety Analysis Electrical System This example analyses the total loss of aircraft electrical AC power on board an aircraft. The safety objective quantitative requirement established by FAR/JAR
More informationThe Product Range. Technical Data
The Product Range Section 3.1 - Basic Cylinder Bore sizes (mm): 10, 16, 25, 32, 40, 50 The basic cylinder series satisfies the support and guidance requirements of a great diversity of applications. Various
More informationElectrical Energy THE TEAK PROJECT: TRAVELING ENGINEERING ACTIVITY KITS. The TEAK Project Rochester Institute of Technology
THE TEAK PROJECT: TRAVELING ENGINEERING ACTIVITY KITS Electrical Energy Partial support for this project was provided by the National Science Foundation's Course, Curriculum, and Laboratory Improvement
More informationStepping Motor and Driver Package. High-Efficiency AR Series. DC Power-Supply Input. Built-in Controller Type Pulse Input Type
Stepping Motor Driver Package High-Efficiency R Series DC Power-Supply Input Built-in Type Type The extensive R Series DC Power-Supply Input lineup that utilizes high-efficiency technology. Two types are
More informationPoint out that throughout the evaluation process the evaluator must be cognizant of officer safety issues.
Briefly review the objectives, content and activities of this session. Upon successfully completing this session the participant will be able to: Administer the four divided attention tests used in the
More informationBelt Scales Milltronics Belt Scales
Belt Scales Siemens AG 2013 Overview Milltronics MSI is a heavy-duty, high accuracy full-frame single idler belt scale used for process and load-out control. Idler not included with belt scale. Benefits
More information(Refer Slide Time: 00:01:10min)
Introduction to Transportation Engineering Dr. Bhargab Maitra Department of Civil Engineering Indian Institute of Technology, Kharagpur Lecture - 11 Overtaking, Intermediate and Headlight Sight Distances
More informationLecture 3 Sections Fri, Jan 23, 2009
NFA to Lecture 3 Sections 3.5-3.9 Hmpden-Sydney College Fri, Jn 23, 2009 Outline NFA to 1 2 NFA to 3 4 5 Building from Regulr Expressions NFA to A regulr expression consists of symbols, b, c,... ; opertors,,
More informationEvaluation of Renton Ramp Meters on I-405
Evaluation of Renton Ramp Meters on I-405 From the SE 8 th St. Interchange in Bellevue to the SR 167 Interchange in Renton January 2000 By Hien Trinh Edited by Jason Gibbens Northwest Region Traffic Systems
More informationSmart Spinner. Age 7+ Teacher s Notes. In collaboration with NASA
Smart Spinner Age 7+ Teacher s Notes In collaboration with NASA LEGO and the LEGO logo are trademarks of the/sont des marques de commerce de/son marcas registradas de LEGO Group. 2012 The LEGO Group. 190912
More informationWavelet compression for floating point data Sengcom
Wavelet compression for floating point data Sengcom Steve Sullivan UCAR University Corporation for Atmospheric Research www.ucar.edu October 11, 2012 Abstract Sengcom (short for scientific and engineering
More informationFourth Grade. Slide 1 / 146. Slide 2 / 146. Slide 3 / 146. Multiplication and Division Relationship. Table of Contents. Multiplication Review
Slide 1 / 146 Slide 2 / 146 Fourth Grade Multiplication and Division Relationship 2015-11-23 www.njctl.org Table of Contents Slide 3 / 146 Click on a topic to go to that section. Multiplication Review
More informationBuilding Blocks of Automation
Building Blocks of Automation Manufacturing systems can generally be classified as fixed (hardware) or flexible (software). These classifications are normally bestowed on both the processing equipment
More informationAdvanced Abaqus Scripting. Abaqus 2018
Advanced Abaqus Scripting Abaqus 2018 About this Course Course objectives Help students to develop a high level understanding of the Abaqus scripting capabilities and gain some proficiency. Organize and
More informationSP PRO ABB Managed AC Coupling
SP PRO ABB Managed AC Coupling Introduction The SP PRO ABB Managed AC Coupling provides a method of linking the ABB PVI-3.0/3.6/4.2- TL-OUTD and ABB PVI-5000/6000-TL-OUTD string inverters to the SP PRO
More informationSOLUTION BRIEF MACHINE DATA ANALYTICS FOR EV CHARGING STATIONS. SOLUTION BRIEF Machine Data Analytics for the EV Charging Stations Industry
SOLUTION BRIEF MACHINE DATA ANALYTICS FOR EV CHARGING STATIONS CONTENTS INTRODUCTION 1 THE GLASSBEAM ADVANTAGE 2 USING INSIGHTS TO IMPROVE EFFICIENCIES IN THE EV INDUSTRY 2 SUMMARY 5 Many of the challenges
More informationActive and Passive Brakes Series OSP-P
Active and Passive Brakes Series OSP-P Contents Description Page Overview 51-52 Standard cylinder with Active brake 53-56 Plain bearing SLIDELINE with Active brake 33-34 Aluminium roller guide PROLINE
More informationINVESTIGATION ONE: WHAT DOES A VOLTMETER DO? How Are Values of Circuit Variables Measured?
How Are Values of Circuit Variables Measured? INTRODUCTION People who use electric circuits for practical purposes often need to measure quantitative values of electric pressure difference and flow rate
More informationCONSULTATION DOCUMENT
EUROPEAN COMMISSION Brussels, 31.5.2017 C(2017) 3815 final CONSULTATION DOCUMENT First phase consultation of the Social Partners under Article 154 of TFEU on a possible revision of the Road Transport Working
More informationAn Experimental System for Battery Management Algorithm Development
An Experimental System for Battery Management Algorithm evelopment Jonas Hellgren, Lei Feng, Björn Andersson and Ricard Blanc Volvo Technology, Göteborg, Sweden E-mail: {jonas.hellgren, lei.feng, bjorn.bj.andersson,
More informationRSPO Supply Chain Certification. OCTOBER 17-18, 2016
RSPO Supply Chain Certification. OCTOBER 17-18, 2016 Bidakara Hotel Jakarta Jl. Jend. Gatot Subroto Kav. 71-73, Pancoran, Daerah Khusus Ibukota Jakarta RSPO-endorsed RSPO Supply Chain Certification Lead
More information5.1 Design and Install Dispenser Transfer Systems Performance Based Skill Assessments 2019
5.1 Design and Install Dispenser Transfer Systems Performance Based Skill Assessments 2019 Section One: Task 1 Task 2 Task 3 Task 4 Task 5 Task 6 Task 7 Task 8 Design Dispenser Transfer System Determine
More information[Insert name] newsletter CALCULATING SAFETY OUTCOMES FOR ROAD PROJECTS. User Manual MONTH YEAR
[Insert name] newsletter MONTH YEAR CALCULATING SAFETY OUTCOMES FOR ROAD PROJECTS User Manual MAY 2012 Page 2 of 20 Contents 1 Introduction... 4 1.1 Background... 4 1.2 Overview... 4 1.3 When is the Worksheet
More informationActive and Passive Brakes Series OSP-P
Active and Passive Brakes Series OSP-P Contents Description Data Sheet No. Page Overview P-1.42.001E 69-70 Standard cylinder with Active brake P-1.42.002E 71-74 Plain bearing SLIDELINE with Active brake
More informationAPPARATUS AND MATERIAL REQUIRED Resistor, ammeter, (0-1.5A) voltmeter (0-5V ), battery, one way key, rheostat, sand paper, connecting wires.
ACTIVITIES ACTIVITY 1 AIM To assemble the components of a given electrical circuit. APPARATUS AND MATERIAL REQUIRED Resistor, ammeter, (0-1.5A) voltmeter (0-5V ), battery, one way key, rheostat, sand paper,
More informationCMPEN 411 VLSI Digital Circuits Spring Lecture 24: Peripheral Memory Circuits
CMPEN 411 VLSI Digital Circuits Spring 2012 Lecture 24: Peripheral Memory Circuits [Adapted from Rabaey s Digital Integrated Circuits, Second Edition, 2003 J. Rabaey, A. Chandrakasan, B. Nikolic] Sp12
More informationPattern Digest Passenger Car Radial Tire / Light Truck Radial Tire (SUV, OFF-ROAD) Truck and Bus Radial Tire / Competition Tire
2013~2014 Hankook Tire Pattern Digest Passenger Car Radial Tire / Light Truck Radial Tire (SUV, OFF-ROAD) Truck and Bus Radial Tire / Competition Tire Hankook Tire Co., Ltd. #647-15 Yeoksam-dong, Gangnam-gu,
More informationThe Mechanics of Tractor Implement Performance
The Mechanics of Tractor Implement Performance Theory and Worked Examples R.H. Macmillan CHAPTER 2 TRACTOR MECHANICS Printed from: http://www.eprints.unimelb.edu.au CONTENTS 2.1 INTRODUCTION 2.1 2.2 IDEAL
More informationSupport Unit. Support Unit. Structure and Features. Models EK, BK, FK, EF, BF and FF. Ball Screw Peripherals 508-2E 508-2E
Models K, BK, FK, F, BF and FF Uses the Optimal Bearing To ensure the rigidity alance with the Ball Screw, the uses an angular earing (contact angle: 30 ; DF con guration) with a high rigidity and a low
More informationBattery Buggy. Division B
Battery Buggy Division B http://api-static.ctlglobalsolutions.com/science/so_b_2018final.pdf Objective: To build a battery powered vehicle travels a specific distance as quickly as possible and stop as
More informationSolar Panel with Mechanical Tracking
Solar Panel with Mechanical Tracking 1 Who s my kind of customer? 2 We want to attract a customer who requires a large quantity of solar panels. Therefore, these customers could be developing countries
More informationMetrology Prof. Dr Kanakuppi Sadashivappa Bapuji Institute of Engineering and Technology Davangere. Lecture 25 Introduction of Gears
Metrology Prof. Dr Kanakuppi Sadashivappa Bapuji Institute of Engineering and Technology Davangere Lecture 25 Introduction of Gears I welcome you for the series of lecture on gear measurement and at module
More informationLaboratory Tests, Modeling and the Study of a Small Doubly-Fed Induction Generator (DFIG) in Autonomous and Grid-Connected Scenarios
Trivent Publishing The Authors, 2016 Available online at http://trivent-publishing.eu/ Engineering and Industry Series Volume Power Systems, Energy Markets and Renewable Energy Sources in South-Eastern
More informationProposal for a DIRECTIVE OF THE EUROPEAN PARLIAMENT AND OF THE COUNCIL
EUROPEAN COMMISSION Brussels, 11.11.2011 COM(2011) 710 final 2011/0327 (COD) Proposal for a DIRECTIVE OF THE EUROPEAN PARLIAMENT AND OF THE COUNCIL amending Directive 2006/126/EC of the European Parliament
More informationBC Hydro OATT - Balancing Area Transmission Service Workshop. January 20, 2014
T BC Hydro OATT - Balancing Area Transmission Service Workshop January 20, 2014 1 AGENDA Topic Time Speaker Welcome and Introduction 09:00 09:15 Gord Doyle Background 09:15 10:00 Martin Huang Enforcement
More informationWeb Information Retrieval Dipl.-Inf. Christoph Carl Kling
Institute for Web Science & Technologies University of Koblenz-Landau, Germany Web Information Retrieval Dipl.-Inf. Christoph Carl Kling Exercises WebIR ask questions! WebIR@c-kling.de 2 of 49 Clustering
More informationFunctional Testing & Analysis
Functional Testing & Analysis We've been providing turnkey Function Test Systems with Monitoring for over 25 years. From valve testing to seat slide exercise we have sensors to fit, cables to connect,
More informationMathematica Notebook accompanying the article M. Gerling: Bivariate Chromatic Polynomials in Computer Algebra
Mathematica Notebook accompanying the article M. Gerling: Bivariate Chromatic Polynomials in Computer Algebra SetDirectory["..."]
More informationFrom Exascale Software to Internet of Things We are thinking to small & Can IOT learn from Exascale?
From Exascale Software to Internet of Things We are thinking to small & Can IOT learn from Exascale? Pete Beckman Argonne Na onal Laboratory Northwestern University PROJECT ARRANGEMENT UNDER THE IMPLEMENTING
More informationAcoustic design of the air transparent soundproofing wall
PROCEEDINGS of the 22 nd International Congress on Acoustics Materials for Noise Control: Paper ICA2016-323 Acoustic design of the air transparent soundproofing wall Seong-Hyun Lee (a), Junghwan Kook (b),
More informationCivil Engineering and Environmental, Gadjah Mada University TRIP ASSIGNMENT. Introduction to Transportation Planning
Civil Engineering and Environmental, Gadjah Mada University TRIP ASSIGNMENT Introduction to Transportation Planning Dr.Eng. Muhammad Zudhy Irawan, S.T., M.T. INTRODUCTION Travelers try to find the best
More information