Many analog implementations of CPG exist, typically using operational amplifier or

Size: px
Start display at page:

Download "Many analog implementations of CPG exist, typically using operational amplifier or"

Transcription

1 FPGA Implementtion of Centrl Pttern Genertor By Jmes J Lin Introuction: Mny nlog implementtions of CPG exist, typiclly using opertionl mplifier or trnsistor level circuits. These types of circuits hve reuce power consumption n cn be reily trnslte from the CPG ynmic eqution. However, one primry isvntge is fixe prmeters. Without fixe prmeters, it is ifficult to crete circuits tht cn generte vrious signls epening on sensory feebck. In this ocument, igitl implementtion of CPG will be propose n nlyze. It is expecte tht the CPG cn be bstrcte; thus, sensory feebck cn tune the oscilltory prmeters. The following is list of the hrwre n softwre tools use in this ocument. Hrwre: Xilinx Virtex 4 ML403 Device/Pckge = 4vfx2 / ff668 SpeeGre = -0 Softwre: MATLAB v7.0.4 Simulink Xilinx DSP System Genertor v7 Centrl Pttern Genertor: The concept of CPG emerges from biologicl systems. Typiclly, in the bse of the spine re group of oscilltory neurons clle the CPG. Together, these neurons generte the rhythmic ptterns tht mp onto locomotive motion. The mthemticl escription of CPG comes in numerous forms. For our implementtion we will choose the Rection-Diffusion CPG eqution. This eqution hs four tunble prmeters: lph, bet, i, n i 2. Our CPG implementtion will store these four vlues in registers, which will llow externl controllers to moify these prmeters. The overll RD CPG stte response is escribe below:

2 x / t = -x + lph*y bet*y2 + i x 2 / t = -x 2 + lph*y + bet*y 2 + i 2 y i = f(x i ) f(x) = 0.5*[bs(x+) - bs(x-)] As bckgroun, the function f is clle the ctivtion function n numerous types exist incluing the sigmoi n rctn. Our piecewise liner ctivtion function is simple pproximtion. Using MATLAB Simulink, this CPG eqution cn be represente by the following simultion circuit in Figure x - -b -b*y2 i.5 lph *y s x' x - -x y Sigmoi x Scope bet x2 Phse Plot -x2 b*y 0.3 i2 s x2' x2 - Gin *y2 y2 Sigmoi Figure : Continuous time implementtion of RD-CPG in Simulink Notice tht there re two primry moules tht re unique to the RD-CPG: the integrtor n the sigmoi function. The interction between these two moules forms the hert of the RD-CPG stte response. A phse plot is shown in Figure 2 n output stte response plot is shown in Figure 3. The input prmeters re chosen s: lph =.5; bet = ; i =.3; i 2 = -.3. These prmeters were selecte by genetic lgorithm progrmme by Jonthn Ty. The etils of this specific prmeter selection will be iscusse in nother ocument.

3 Figure 2: Phse plot Figure 3: Output stte response wveform Notice tht the phse plot forms limit cycle. This implies tht the output stte response will generte stble oscilltory signls. With the esire output wveforms n RD CPG circuit efine, we cn now implement igitl circuit n verify tht it prouces similr properties. FPGA Implementtion of CPG: There re numerous wys to implement CPG igitlly. We hve chosen to use Xilinx DSP System Genertor to progrm our CPG. Using this softwre tool, we hve bstrcte key moules typiclly use in igitl progrmming n my now focus on the esign of our specific ppliction. This prouces more robust n efficient coe. For our igitl implementtion of CPG using FPGA, we cn ivie our lbor into three tsks. The fi tsk is to crete the CPG integrtor n sigmoi block using the System Genertor. The secon tsk is to crete the RD CPG neuron for Verilog genertion. The thir tsk is to configure the FPGA to run the moule.

4 DSP System Genertor: Xilinx prouces mny softwre tools to simplify the esign tsks for hrwre progrmmers. One such progrm is the DSP System Genertor. It interfces with MATLAB Simulink n provies efficient implementtions of igitlly relizble Simulink blocks n commonly use igitl progrmming blocks. This inclues the Aer, Multiplier, Negte, Constnt, Register, Mux, n Comprtor. Another importnt feture of System Genertor is the Gtewy In/Out blocks. These provie the interfce between the ouble precision of Simulink with the floting point rchitecture of the FPGA. Using these bsic blocks, higher-orer blocks n moules cn be crete for our RD CPG. Integrtor n Sigmoi: We begin our System Genertor RD CPG moule using bottom-up pproch. At the hert of the RD CPG is the integrtor n sigmoi block. These blocks hve simple igitl representtions. Integrtion cn be pproximte with Riemnn sum. This implies tht n Aer n Register blocks cn pproximte integrtion. In Figure 4, the integrtor block is shown using these two System Genertor blocks. In xlsub +b b A k =0 xlregister z - q Register Out Figure 4: Integrtor block With regr to the sigmoi block, the output is n - when the input is bove or below n -, otherwise, the output equls the input. Comprtor n Mux blocks re use to implement this function. Shown Figure 5 is the sigmoi block.

5 In - k = 2 - xlreltion <b b Reltionl xlreltion >b b Reltionl2 Figure 5: Sigmoi block hi xlconct ct lo Conct sel 0 xlmux 2 3 Mux Out Notice tht higher-orer blocks cn be quickly crete using the funmentl blocks provie by System Genertor. This reuces our progrmming buren n llows the Xilinx tools to optimize our moule for specific FPGA pltforms. With these System Genertor blocks for integrtion n sigmoi, we hve ll the blocks necessry to implement the RD CPG moule. System Genertor Moel of CPG: Keeping in min tht our gol is to bstrct the RD CPG neuron to provie tunble prmeters, we inten to crete four input ports tht moify the lph, bet, i, n i 2 registers. Shown in Figure 6 is our RD CPG System Genertor moule. InOut Sigmoi i Gtewy I xlregister z - q In In2 Out In3 InOut (-) I In4 Sum Integrtor Negte 2 lph Gtewy Alph xlregister z - q Alph b z -4 (b) -Alph*y2 b z -4 (b) Gtewy x x Alph*y 2 3 bet Gtewy Bet xlregister z - q Bet (-) -Bet b z -4 (b) Gtewy x2 Out2 -Bet*y2 k =0 0 b z -4 (b) Bet*y In 4 i2 Gtewy I2 xlregister z - q I2 In2 Out In3 In4 Sum2 InOut Integrtor2 (-) Negte2 Sigmoi2 In Out Figure 6: RD CPG moule

6 For our igitl implementtion of RD CPG, we hve chosen 2 s complement n 20 bit floting point number with binry point of 5. This choice ws rbitrry n further nlysis will etermine the optiml floting point representtion. Figure 7 shows the simultion testbench n Figure 8 shows the output wveform prouce by the RD CPG circuit. -.3 Sy stem Genertor Constnt.5 Constnt2 Constnt3.3 Constnt4 i x lph bet Out2 i2 CPG Figure 7: Simultion test-bench Scope Phse Plot Figure 8: Output wveform of RD CPG Notice tht the output wveform is iscrete version of Figure 3 n tht the time xis hs been scle. These vritions re expecte since the FPGA moule will smple vlues ccoring to the system clock, which prouces the step shpe of the wveform n ccounts for the time

7 scle. With this successful simultion moel of RD CPG, we will generte the Verilog moule. Figure 9 shows the System Genertor wizr n our Virtex 4 FPGA bor prmeters. Figure 9: System Genertor Wizr

Digital Signal Processing: A Hardware-Based Approach

Digital Signal Processing: A Hardware-Based Approach Digitl Signl Processing: A Hrdwre-Bsed Approch Roert Esposito Electricl nd Computer Engineering Temple University troduction Teching Digitl Signl Processing (DSP) hs included the utilition of simultion

More information

Introduction to hardware design using VHDL

Introduction to hardware design using VHDL Introuction to hrwre esign using VHDL Tim Güneysu n Nele Mentens ECC school Novemer 11, 2017, Nijmegen Outline Implementtion pltforms Introuction to VHDL Hrwre tutoril 1 Implementtion pltforms Microprocessor

More information

A Static Geometric Medial Axis Domain Decomposition in 2D Euclidean Space

A Static Geometric Medial Axis Domain Decomposition in 2D Euclidean Space A Sttic Geometric Meil Axis Domin Decomposition in D Euclien Spce LEONIDAS LINARDAKIS n NIKOS CHRISOCHOIDES College of Willim n Mry We present geometric omin ecomposition metho n its implementtion, which

More information

Computer-Aided Multiscale Modelling for Chemical Process Engineering

Computer-Aided Multiscale Modelling for Chemical Process Engineering 17 th Europen Symposium on Computer Aided Process Engineesing ESCAPE17 V. Plesu nd P.S. Agchi (Editors) 2007 Elsevier B.V. All rights reserved. 1 Computer-Aided Multiscle Modelling for Chemicl Process

More information

Stained Glass Design. Teaching Goals:

Stained Glass Design. Teaching Goals: Stined Glss Design Time required 45-90 minutes Teching Gols: 1. Students pply grphic methods to design vrious shpes on the plne.. Students pply geometric trnsformtions of grphs of functions in order to

More information

IZT DAB ContentServer, IZT S1000 Testing DAB Receivers Using ETI

IZT DAB ContentServer, IZT S1000 Testing DAB Receivers Using ETI IZT DAB ContentServer, IZT S1000 Testing DAB Receivers Using ETI Appliction Note Rel-time nd offline modultion from ETI files Generting nd nlyzing ETI files Rel-time interfce using EDI/ETI IZT DAB CONTENTSERVER

More information

Digital Design. Chapter 1: Introduction. Digital Design. Copyright 2006 Frank Vahid

Digital Design. Chapter 1: Introduction. Digital Design. Copyright 2006 Frank Vahid Chpter : Introduction Copyright 6 Why Study?. Look under the hood of computers Solid understnding --> confidence, insight, even better progrmmer when wre of hrdwre resource issues Electronic devices becoming

More information

L. Yaroslavsky. Fundamentals of Digital Image Processing. Course

L. Yaroslavsky. Fundamentals of Digital Image Processing. Course L. Yroslvsky. Fundmentls of Digitl Imge Processing. Course 0555.330 Lecture. Imge enhncement.. Imge enhncement s n imge processing tsk. Clssifiction of imge enhncement methods Imge enhncement is processing

More information

Chapter 2 Sensitivity Analysis: Differential Calculus of Models

Chapter 2 Sensitivity Analysis: Differential Calculus of Models Chpter 2 Sensitivity Anlysis: Differentil Clculus of Models Abstrct Models in remote sensing nd in science nd engineering, in generl re, essentilly, functions of discrete model input prmeters, nd/or functionls

More information

In the last lecture, we discussed how valid tokens may be specified by regular expressions.

In the last lecture, we discussed how valid tokens may be specified by regular expressions. LECTURE 5 Scnning SYNTAX ANALYSIS We know from our previous lectures tht the process of verifying the syntx of the progrm is performed in two stges: Scnning: Identifying nd verifying tokens in progrm.

More information

Questions About Numbers. Number Systems and Arithmetic. Introduction to Binary Numbers. Negative Numbers?

Questions About Numbers. Number Systems and Arithmetic. Introduction to Binary Numbers. Negative Numbers? Questions About Numbers Number Systems nd Arithmetic or Computers go to elementry school How do you represent negtive numbers? frctions? relly lrge numbers? relly smll numbers? How do you do rithmetic?

More information

Practical Statistical Static Timing Analysis with Current Source Models

Practical Statistical Static Timing Analysis with Current Source Models Prcticl Sttisticl Sttic Timing Anlysis with Current Source Models Debjit Sinh, ldimir Zolotov, Sheshshyee K. ghunthn 2, Michel H. Wood, Kerim Klfl IBM Systems, Poughkeepsie, USA IBM Thoms J. Wtson eserch,

More information

Lecture 10 Evolutionary Computation: Evolution strategies and genetic programming

Lecture 10 Evolutionary Computation: Evolution strategies and genetic programming Lecture 10 Evolutionry Computtion: Evolution strtegies nd genetic progrmming Evolution strtegies Genetic progrmming Summry Negnevitsky, Person Eduction, 2011 1 Evolution Strtegies Another pproch to simulting

More information

What do all those bits mean now? Number Systems and Arithmetic. Introduction to Binary Numbers. Questions About Numbers

What do all those bits mean now? Number Systems and Arithmetic. Introduction to Binary Numbers. Questions About Numbers Wht do ll those bits men now? bits (...) Number Systems nd Arithmetic or Computers go to elementry school instruction R-formt I-formt... integer dt number text chrs... floting point signed unsigned single

More information

Tilt-Sensing with Kionix MEMS Accelerometers

Tilt-Sensing with Kionix MEMS Accelerometers Tilt-Sensing with Kionix MEMS Accelerometers Introduction Tilt/Inclintion sensing is common ppliction for low-g ccelerometers. This ppliction note describes how to use Kionix MEMS low-g ccelerometers to

More information

An introduction to model checking

An introduction to model checking An introduction to model checking Slide 1 University of Albert Edmonton July 3rd, 2002 Guy Trembly Dépt d informtique UQAM Outline Wht re forml specifiction nd verifiction methods? Slide 2 Wht is model

More information

CVM-B100 CVM-B150. Power analyzer for panels

CVM-B100 CVM-B150. Power analyzer for panels Power nlyzers CVM CVM-100 CVM-150 Power nlyzer for pnels Description High-end power nlyzers, verstile nd expndle, with 4-qudrnt mesurement (Consumption nd Genertion). Suitle for high nd low Voltge instlltions,

More information

Sketching Reaction-Diffusion Texture

Sketching Reaction-Diffusion Texture EUROGRAPHICS Workshop on Sketch-Bsed Interfces nd Modeling (006), pp. 1 8 Sketching Rection-Diffusion Texture Pper ID 100 Abstrct In this work, we present n interctive interfce for sketching synthesized

More information

Accelerating 3D convolution using streaming architectures on FPGAs

Accelerating 3D convolution using streaming architectures on FPGAs Accelerting 3D convolution using streming rchitectures on FPGAs Hohun Fu, Robert G. Clpp, Oskr Mencer, nd Oliver Pell ABSTRACT We investigte FPGA rchitectures for ccelerting pplictions whose dominnt cost

More information

Analysis of Computed Diffraction Pattern Diagram for Measuring Yarn Twist Angle

Analysis of Computed Diffraction Pattern Diagram for Measuring Yarn Twist Angle Textiles nd Light ndustril Science nd Technology (TLST) Volume 3, 2014 DO: 10.14355/tlist.2014.0301.01 http://www.tlist-journl.org Anlysis of Computed Diffrction Pttern Digrm for Mesuring Yrn Twist Angle

More information

Digital Design. Chapter 6: Optimizations and Tradeoffs

Digital Design. Chapter 6: Optimizations and Tradeoffs Digitl Design Chpter 6: Optimiztions nd Trdeoffs Slides to ccompny the tetbook Digitl Design, with RTL Design, VHDL, nd Verilog, 2nd Edition, by Frnk Vhid, John Wiley nd Sons Publishers, 2. http://www.ddvhid.com

More information

Section 10.4 Hyperbolas

Section 10.4 Hyperbolas 66 Section 10.4 Hyperbols Objective : Definition of hyperbol & hyperbols centered t (0, 0). The third type of conic we will study is the hyperbol. It is defined in the sme mnner tht we defined the prbol

More information

Midterm 2 Sample solution

Midterm 2 Sample solution Nme: Instructions Midterm 2 Smple solution CMSC 430 Introduction to Compilers Fll 2012 November 28, 2012 This exm contins 9 pges, including this one. Mke sure you hve ll the pges. Write your nme on the

More information

A New Learning Algorithm for the MAXQ Hierarchical Reinforcement Learning Method

A New Learning Algorithm for the MAXQ Hierarchical Reinforcement Learning Method A New Lerning Algorithm for the MAXQ Hierrchicl Reinforcement Lerning Method Frzneh Mirzzdeh 1, Bbk Behsz 2, nd Hmid Beigy 1 1 Deprtment of Computer Engineering, Shrif University of Technology, Tehrn,

More information

Unit 5 Vocabulary. A function is a special relationship where each input has a single output.

Unit 5 Vocabulary. A function is a special relationship where each input has a single output. MODULE 3 Terms Definition Picture/Exmple/Nottion 1 Function Nottion Function nottion is n efficient nd effective wy to write functions of ll types. This nottion llows you to identify the input vlue with

More information

Engineer-to-Engineer Note

Engineer-to-Engineer Note Engineer-to-Engineer Note EE-232 Technicl notes on using Anlog Devices DSPs, processors nd development tools Contct our technicl support t dsp.support@nlog.com nd t dsptools.support@nlog.com Or visit our

More information

6.2 Volumes of Revolution: The Disk Method

6.2 Volumes of Revolution: The Disk Method mth ppliction: volumes by disks: volume prt ii 6 6 Volumes of Revolution: The Disk Method One of the simplest pplictions of integrtion (Theorem 6) nd the ccumultion process is to determine so-clled volumes

More information

4452 Mathematical Modeling Lecture 4: Lagrange Multipliers

4452 Mathematical Modeling Lecture 4: Lagrange Multipliers Mth Modeling Lecture 4: Lgrnge Multipliers Pge 4452 Mthemticl Modeling Lecture 4: Lgrnge Multipliers Lgrnge multipliers re high powered mthemticl technique to find the mximum nd minimum of multidimensionl

More information

Module Hot-Swapping for Dynamic Update and Reconfiguration in K42

Module Hot-Swapping for Dynamic Update and Reconfiguration in K42 Moule Hot-Swpping for Dynmic Upte n Reconfigurtion in K42 Anrew Bumnn University of NSW & Ntionl ICT Austrli Jeremy Kerr IBM Linux Technology Center Jonthn Appvoo, Dilm D Silv, Orrn Krieger, Roert W. Wisniewski

More information

Modeling and Simulation of Short Range 3D Triangulation-Based Laser Scanning System

Modeling and Simulation of Short Range 3D Triangulation-Based Laser Scanning System Modeling nd Simultion of Short Rnge 3D Tringultion-Bsed Lser Scnning System Theodor Borngiu Anmri Dogr Alexndru Dumitrche April 14, 2008 Abstrct In this pper, simultion environment for short rnge 3D lser

More information

P(r)dr = probability of generating a random number in the interval dr near r. For this probability idea to make sense we must have

P(r)dr = probability of generating a random number in the interval dr near r. For this probability idea to make sense we must have Rndom Numers nd Monte Crlo Methods Rndom Numer Methods The integrtion methods discussed so fr ll re sed upon mking polynomil pproximtions to the integrnd. Another clss of numericl methods relies upon using

More information

Before We Begin. Introduction to Spatial Domain Filtering. Introduction to Digital Image Processing. Overview (1): Administrative Details (1):

Before We Begin. Introduction to Spatial Domain Filtering. Introduction to Digital Image Processing. Overview (1): Administrative Details (1): Overview (): Before We Begin Administrtive detils Review some questions to consider Winter 2006 Imge Enhncement in the Sptil Domin: Bsics of Sptil Filtering, Smoothing Sptil Filters, Order Sttistics Filters

More information

Unit #9 : Definite Integral Properties, Fundamental Theorem of Calculus

Unit #9 : Definite Integral Properties, Fundamental Theorem of Calculus Unit #9 : Definite Integrl Properties, Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl

More information

Approximation by NURBS with free knots

Approximation by NURBS with free knots pproximtion by NURBS with free knots M Rndrinrivony G Brunnett echnicl University of Chemnitz Fculty of Computer Science Computer Grphics nd Visuliztion Strße der Ntionen 6 97 Chemnitz Germny Emil: mhrvo@informtiktu-chemnitzde

More information

If f(x, y) is a surface that lies above r(t), we can think about the area between the surface and the curve.

If f(x, y) is a surface that lies above r(t), we can think about the area between the surface and the curve. Line Integrls The ide of line integrl is very similr to tht of single integrls. If the function f(x) is bove the x-xis on the intervl [, b], then the integrl of f(x) over [, b] is the re under f over the

More information

Math 35 Review Sheet, Spring 2014

Math 35 Review Sheet, Spring 2014 Mth 35 Review heet, pring 2014 For the finl exm, do ny 12 of the 15 questions in 3 hours. They re worth 8 points ech, mking 96, with 4 more points for netness! Put ll your work nd nswers in the provided

More information

Bruce McCarl's GAMS Newsletter Number 37

Bruce McCarl's GAMS Newsletter Number 37 Bruce McCrl's GAMS Newsletter Number 37 This newsletter covers 1 Uptes to Expne GAMS User Guie by McCrl et l.... 1 2 YouTube vieos... 1 3 Explntory text for tuple set elements... 1 4 Reing sets using GDXXRW...

More information

Computing offsets of freeform curves using quadratic trigonometric splines

Computing offsets of freeform curves using quadratic trigonometric splines Computing offsets of freeform curves using qudrtic trigonometric splines JIULONG GU, JAE-DEUK YUN, YOONG-HO JUNG*, TAE-GYEONG KIM,JEONG-WOON LEE, BONG-JUN KIM School of Mechnicl Engineering Pusn Ntionl

More information

Chapter 1: Introduction

Chapter 1: Introduction Chpter : Introduction Slides to ccompny the textbook, First Edition, by, John Wiley nd Sons Publishers, 7. http://www.ddvhid.com Copyright 7 Instructors of courses requiring Vhid's textbook (published

More information

MATH 2530: WORKSHEET 7. x 2 y dz dy dx =

MATH 2530: WORKSHEET 7. x 2 y dz dy dx = MATH 253: WORKSHT 7 () Wrm-up: () Review: polr coordintes, integrls involving polr coordintes, triple Riemnn sums, triple integrls, the pplictions of triple integrls (especilly to volume), nd cylindricl

More information

What do all those bits mean now? Number Systems and Arithmetic. Introduction to Binary Numbers. Questions About Numbers

What do all those bits mean now? Number Systems and Arithmetic. Introduction to Binary Numbers. Questions About Numbers Wht do ll those bits men now? bits (...) Number Systems nd Arithmetic or Computers go to elementry school instruction R-formt I-formt... integer dt number text chrs... floting point signed unsigned single

More information

a < a+ x < a+2 x < < a+n x = b, n A i n f(x i ) x. i=1 i=1

a < a+ x < a+2 x < < a+n x = b, n A i n f(x i ) x. i=1 i=1 Mth 33 Volume Stewrt 5.2 Geometry of integrls. In this section, we will lern how to compute volumes using integrls defined by slice nlysis. First, we recll from Clculus I how to compute res. Given the

More information

Fig.1. Let a source of monochromatic light be incident on a slit of finite width a, as shown in Fig. 1.

Fig.1. Let a source of monochromatic light be incident on a slit of finite width a, as shown in Fig. 1. Answer on Question #5692, Physics, Optics Stte slient fetures of single slit Frunhofer diffrction pttern. The slit is verticl nd illuminted by point source. Also, obtin n expression for intensity distribution

More information

CS 130 : Computer Systems - II. Shankar Balachandran Dept. of Computer Science & Engineering IIT Madras

CS 130 : Computer Systems - II. Shankar Balachandran Dept. of Computer Science & Engineering IIT Madras CS 3 : Computer Systems - II Shnkr Blchndrn (shnkr@cse.iitm.c.in) Dept. of Computer Science & Engineering IIT Mdrs Recp Differentite Between s nd s Truth Tbles b AND b OR NOT September 4, 27 Introduction

More information

Virtual Machine I: Stack Arithmetic

Virtual Machine I: Stack Arithmetic Virtul Mchine I: Stck Arithmetic Building Modern Computer From First Principles www.nnd2tetris.org Elements of Computing Systems, Nisn & Schocken, MIT Press, www.nnd2tetris.org, Chpter 7: Virtul Mchine

More information

Pipeline Example: Cycle 1. Pipeline Example: Cycle 2. Pipeline Example: Cycle 4. Pipeline Example: Cycle 3. 3 instructions. 3 instructions.

Pipeline Example: Cycle 1. Pipeline Example: Cycle 2. Pipeline Example: Cycle 4. Pipeline Example: Cycle 3. 3 instructions. 3 instructions. ipeline Exmple: Cycle 1 ipeline Exmple: Cycle X X/ /W X X/ /W $3,$,$1 lw $,0($5) $3,$,$1 3 instructions 8 9 ipeline Exmple: Cycle 3 ipeline Exmple: Cycle X X/ /W X X/ /W sw $6,($7) lw $,0($5) $3,$,$1 sw

More information

Overview. Making the Fast Case Common and the Uncommon Case Simple in Unbounded Transactional Memory. Running Example. Background

Overview. Making the Fast Case Common and the Uncommon Case Simple in Unbounded Transactional Memory. Running Example. Background Overview king the Fst Cse Common n the Uncommon Cse imple in Unoune Trnsctionl Colin Blunell (University of Pennsylvni) Joe Devietti (University of Pennsylvni) E Christopher Lewis (Vwre, Inc.) ilo. K.

More information

Efficient Subcubic Alias Analysis for C

Efficient Subcubic Alias Analysis for C Efficient Subcubic Alis Anlysis for C Qirun Zhng Xio Xio Chrles Zhng Ho Yun Zhenong Su The Hong Kong University of Science n Technology BOPU Technologies University of Cliforni, Dvis {qrzhng, richrxx,

More information

CS321 Languages and Compiler Design I. Winter 2012 Lecture 5

CS321 Languages and Compiler Design I. Winter 2012 Lecture 5 CS321 Lnguges nd Compiler Design I Winter 2012 Lecture 5 1 FINITE AUTOMATA A non-deterministic finite utomton (NFA) consists of: An input lphet Σ, e.g. Σ =,. A set of sttes S, e.g. S = {1, 3, 5, 7, 11,

More information

Systems I. Logic Design I. Topics Digital logic Logic gates Simple combinational logic circuits

Systems I. Logic Design I. Topics Digital logic Logic gates Simple combinational logic circuits Systems I Logic Design I Topics Digitl logic Logic gtes Simple comintionl logic circuits Simple C sttement.. C = + ; Wht pieces of hrdwre do you think you might need? Storge - for vlues,, C Computtion

More information

INTRODUCTION TO SIMPLICIAL COMPLEXES

INTRODUCTION TO SIMPLICIAL COMPLEXES INTRODUCTION TO SIMPLICIAL COMPLEXES CASEY KELLEHER AND ALESSANDRA PANTANO 0.1. Introduction. In this ctivity set we re going to introduce notion from Algebric Topology clled simplicil homology. The min

More information

1. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES)

1. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES) Numbers nd Opertions, Algebr, nd Functions 45. SEQUENCES INVOLVING EXPONENTIAL GROWTH (GEOMETRIC SEQUENCES) In sequence of terms involving eponentil growth, which the testing service lso clls geometric

More information

On the Detection of Step Edges in Algorithms Based on Gradient Vector Analysis

On the Detection of Step Edges in Algorithms Based on Gradient Vector Analysis On the Detection of Step Edges in Algorithms Bsed on Grdient Vector Anlysis A. Lrr6, E. Montseny Computer Engineering Dept. Universitt Rovir i Virgili Crreter de Slou sin 43006 Trrgon, Spin Emil: lrre@etse.urv.es

More information

2014 Haskell January Test Regular Expressions and Finite Automata

2014 Haskell January Test Regular Expressions and Finite Automata 0 Hskell Jnury Test Regulr Expressions nd Finite Automt This test comprises four prts nd the mximum mrk is 5. Prts I, II nd III re worth 3 of the 5 mrks vilble. The 0 Hskell Progrmming Prize will be wrded

More information

Qubit allocation for quantum circuit compilers

Qubit allocation for quantum circuit compilers Quit lloction for quntum circuit compilers Nov. 10, 2017 JIQ 2017 Mrcos Yukio Sirichi Sylvin Collnge Vinícius Fernndes dos Sntos Fernndo Mgno Quintão Pereir Compilers for quntum computing The first genertion

More information

Course Administration

Course Administration /4/7 Spring 7 EE 363: Computer Orgniztion Arithmetic for Computers Numer Representtion & ALU Avinsh Kodi Deprtment of Electricl Engineering & Computer Science Ohio University, Athens, Ohio 457 E-mil: kodi@ohio.edu

More information

Visual IoT/Robotics Programming Language in -Calculus

Visual IoT/Robotics Programming Language in -Calculus 2017 IEEE 13th Interntionl Symposium on Autonomous Decentrlized Systems Visul IoT/Robotics Progrmming Lnguge in -Clculus Gennro De Luc nd Yinong Chen School of Computing, Informtics nd Decision Systems

More information

Math 464 Fall 2012 Notes on Marginal and Conditional Densities October 18, 2012

Math 464 Fall 2012 Notes on Marginal and Conditional Densities October 18, 2012 Mth 464 Fll 2012 Notes on Mrginl nd Conditionl Densities klin@mth.rizon.edu October 18, 2012 Mrginl densities. Suppose you hve 3 continuous rndom vribles X, Y, nd Z, with joint density f(x,y,z. The mrginl

More information

5 Regular 4-Sided Composition

5 Regular 4-Sided Composition Xilinx-Lv User Guide 5 Regulr 4-Sided Composition This tutoril shows how regulr circuits with 4-sided elements cn be described in Lv. The type of regulr circuits tht re discussed in this tutoril re those

More information

Enginner To Engineer Note

Enginner To Engineer Note Technicl Notes on using Anlog Devices DSP components nd development tools from the DSP Division Phone: (800) ANALOG-D, FAX: (781) 461-3010, EMAIL: dsp_pplictions@nlog.com, FTP: ftp.nlog.com Using n ADSP-2181

More information

Ray surface intersections

Ray surface intersections Ry surfce intersections Some primitives Finite primitives: polygons spheres, cylinders, cones prts of generl qudrics Infinite primitives: plnes infinite cylinders nd cones generl qudrics A finite primitive

More information

Voltage Monitoring Products

Voltage Monitoring Products Voltge Monitoring Products Spring 2005 CONTENTS 3-Led Reset Genertor Circuits.. 2 4-Led Reset Genertors with Mnul Reset............ 3 Wtchdog Supervisory Circuits... 4 Bttery-Bckup Supervisory Circuits...........

More information

Topic 2: Lexing and Flexing

Topic 2: Lexing and Flexing Topic 2: Lexing nd Flexing COS 320 Compiling Techniques Princeton University Spring 2016 Lennrt Beringer 1 2 The Compiler Lexicl Anlysis Gol: rek strem of ASCII chrcters (source/input) into sequence of

More information

Stack Manipulation. Other Issues. How about larger constants? Frame Pointer. PowerPC. Alternative Architectures

Stack Manipulation. Other Issues. How about larger constants? Frame Pointer. PowerPC. Alternative Architectures Other Issues Stck Mnipultion support for procedures (Refer to section 3.6), stcks, frmes, recursion mnipulting strings nd pointers linkers, loders, memory lyout Interrupts, exceptions, system clls nd conventions

More information

Engineer To Engineer Note

Engineer To Engineer Note Engineer To Engineer Note EE-169 Technicl Notes on using Anlog Devices' DSP components nd development tools Contct our technicl support by phone: (800) ANALOG-D or e-mil: dsp.support@nlog.com Or visit

More information

OMG, Real Time Embedded Distributed Object Systems Workshop. Arlington, USA, July 15-18, 2002

OMG, Real Time Embedded Distributed Object Systems Workshop. Arlington, USA, July 15-18, 2002 OMG, Rel Time Embedded Distributed Object Systems Workshop. Arlington, USA, July 15-18, 2002 The DSSV Methodology: High Level Vlidtion of CORBA Architecture using Discrete Event Simultion Approch. Emmnuelle

More information

Structural Joins: A Primitive for Efficient XML Query Pattern Matching

Structural Joins: A Primitive for Efficient XML Query Pattern Matching Structurl Joins: A Primitive for Efficient XML Query Pttern Mtching Shurug Al-Khlif Univ of Michign shurug@eecs.umich.eu Jignesh M. Ptel Univ of Michign jignesh@eecs.umich.eu H. V. Jgish Univ of Michign

More information

Complete Coverage Path Planning of Mobile Robot Based on Dynamic Programming Algorithm Peng Zhou, Zhong-min Wang, Zhen-nan Li, Yang Li

Complete Coverage Path Planning of Mobile Robot Based on Dynamic Programming Algorithm Peng Zhou, Zhong-min Wang, Zhen-nan Li, Yang Li 2nd Interntionl Conference on Electronic & Mechnicl Engineering nd Informtion Technology (EMEIT-212) Complete Coverge Pth Plnning of Mobile Robot Bsed on Dynmic Progrmming Algorithm Peng Zhou, Zhong-min

More information

ALTIVECPIM/D 6/1999 Rev. 0. AltiVec Technology Programming Interface Manual

ALTIVECPIM/D 6/1999 Rev. 0. AltiVec Technology Programming Interface Manual ALTIVECPIM/D 6/1999 Rev. 0 AltiVec Technology Progrmming Interfce Mnul Overview 1 High-Level Lnguge Interfce 2 Appliction Binry Interfce 3 AltiVec Opertions n Preictes 4 AltiVec Instruction Set/Opertions/Preictes

More information

Compatibility Testing - A Must Do of the Web Apps. By Premalatha Shanmugham & Kokila Elumalai

Compatibility Testing - A Must Do of the Web Apps. By Premalatha Shanmugham & Kokila Elumalai Comptibility Testing - A Must Do of the Web Apps By Premlth Shnmughm & Kokil Elumli Agend The Need The Impct The Chllenges The Strtegy The Checklist Metrics Inferences The Rod Ahed 2 2012 Indium Softwre

More information

Explicit Decoupled Group Iterative Method for the Triangle Element Solution of 2D Helmholtz Equations

Explicit Decoupled Group Iterative Method for the Triangle Element Solution of 2D Helmholtz Equations Interntionl Mthemticl Forum, Vol. 12, 2017, no. 16, 771-779 HIKARI Ltd, www.m-hikri.com https://doi.org/10.12988/imf.2017.7654 Explicit Decoupled Group Itertive Method for the Tringle Element Solution

More information

Tool Vendor Perspectives SysML Thus Far

Tool Vendor Perspectives SysML Thus Far Frontiers 2008 Pnel Georgi Tec, 05-13-08 Tool Vendor Perspectives SysML Thus Fr Hns-Peter Hoffmnn, Ph.D Chief Systems Methodologist Telelogic, Systems & Softwre Modeling Business Unit Peter.Hoffmnn@telelogic.com

More information

Tree Structured Symmetrical Systems of Linear Equations and their Graphical Solution

Tree Structured Symmetrical Systems of Linear Equations and their Graphical Solution Proceedings of the World Congress on Engineering nd Computer Science 4 Vol I WCECS 4, -4 October, 4, Sn Frncisco, USA Tree Structured Symmetricl Systems of Liner Equtions nd their Grphicl Solution Jime

More information

USING HOUGH TRANSFORM IN LINE EXTRACTION

USING HOUGH TRANSFORM IN LINE EXTRACTION Stylinidis, Efstrtios USING HOUGH TRANSFORM IN LINE EXTRACTION Efstrtios STYLIANIDIS, Petros PATIAS The Aristotle University of Thessloniki, Deprtment of Cdstre Photogrmmetry nd Crtogrphy Univ. Box 473,

More information

Proceedings of International Joint Conference on Neural Networks, Atlanta, Georgia, USA, June 14-19, 2009

Proceedings of International Joint Conference on Neural Networks, Atlanta, Georgia, USA, June 14-19, 2009 Proceeings of Interntionl Joint Conference on Neurl Networks, Atlnt, Georgi, USA, June 14-19, 2009 A QoS Network Architecture to Interconnect Lrge-Scle VLSI Neurl Networks Stefn Philipp, Johnnes Schemmel

More information

Engineer To Engineer Note

Engineer To Engineer Note Engineer To Engineer Note EE-208 Technicl Notes on using Anlog Devices' DSP components nd development tools Contct our technicl support by phone: (800) ANALOG-D or e-mil: dsp.support@nlog.com Or visit

More information

CVM-A1500. Power analyzer for panel with power quality measurement parameters

CVM-A1500. Power analyzer for panel with power quality measurement parameters nlizdores de redes CVM-1500 Power nlyzer for pnel with power qulity mesurement prmeters Description CVM-1500 is pnel mounted power qulity nlyzer with EMS (Energy Mngement Softwre) integrted. Its internl

More information

such that the S i cover S, or equivalently S

such that the S i cover S, or equivalently S MATH 55 Triple Integrls Fll 16 1. Definition Given solid in spce, prtition of consists of finite set of solis = { 1,, n } such tht the i cover, or equivlently n i. Furthermore, for ech i, intersects i

More information

TECHNICAL NOTE MANAGING JUNIPER SRX PCAP DATA. Displaying the PCAP Data Column

TECHNICAL NOTE MANAGING JUNIPER SRX PCAP DATA. Displaying the PCAP Data Column TECHNICAL NOTE MANAGING JUNIPER SRX PCAP DATA APRIL 2011 If your STRM Console is configured to integrte with the Juniper JunOS Pltform DSM, STRM cn receive, process, nd store Pcket Cpture (PCAP) dt from

More information

Digital approximation to extended depth of field in no telecentric imaging systems

Digital approximation to extended depth of field in no telecentric imaging systems Journl of Physics: Conference Series Digitl pproximtion to extended depth of field in no telecentric imging systems To cite this rticle: J E Meneses nd C R Contrers 0 J Phys: Conf Ser 74 0040 View the

More information

Dynamic Programming. Andreas Klappenecker. [partially based on slides by Prof. Welch] Monday, September 24, 2012

Dynamic Programming. Andreas Klappenecker. [partially based on slides by Prof. Welch] Monday, September 24, 2012 Dynmic Progrmming Andres Klppenecker [prtilly bsed on slides by Prof. Welch] 1 Dynmic Progrmming Optiml substructure An optiml solution to the problem contins within it optiml solutions to subproblems.

More information

Mobility Support for a QoS Aggregation Protocol

Mobility Support for a QoS Aggregation Protocol Mobility Support for QoS Aggregtion Protocol A. Kloxylos^, D. Vli*, S. Psklis+, G. Pngiotou^, I. Goninkis^, E. Zervs # ^ Deprtment of Telecommunictions Science n Technology, University of Peloponnese,

More information

Introduction to Integration

Introduction to Integration Introduction to Integrtion Definite integrls of piecewise constnt functions A constnt function is function of the form Integrtion is two things t the sme time: A form of summtion. The opposite of differentition.

More information

II. THE ALGORITHM. A. Depth Map Processing

II. THE ALGORITHM. A. Depth Map Processing Lerning Plnr Geometric Scene Context Using Stereo Vision Pul G. Bumstrck, Bryn D. Brudevold, nd Pul D. Reynolds {pbumstrck,brynb,pulr2}@stnford.edu CS229 Finl Project Report December 15, 2006 Abstrct A

More information

Lighting Analysis and Texture Modification of 3D Human Face Scans

Lighting Analysis and Texture Modification of 3D Human Face Scans Digitl Imge Computing Techniques n Applictions Lighting Anlysis n Texture Moifiction of 3D Humn Fce Scns Xiozheng Zhng, Snqing Zho n Yongsheng Go Computer Vision n Imge Processing Lbortory, Griffith School

More information

Small Business Networking

Small Business Networking Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd business. Introducing technology

More information

Automata Processor. Tobias Markus Computer Architecture Group, University of Heidelberg

Automata Processor. Tobias Markus Computer Architecture Group, University of Heidelberg 1 Automt Processor Tobis Mrkus Computer Architecture Group, University of Heidelberg Abstrct This pper gives brief overview over nondeterministic utomt nd the Automt Processor n rchitecture implemented

More information

Engineer To Engineer Note

Engineer To Engineer Note Engineer To Engineer Note EE-186 Technicl Notes on using Anlog Devices' DSP components nd development tools Contct our technicl support by phone: (800) ANALOG-D or e-mil: dsp.support@nlog.com Or visit

More information

Chapter 1: Boolean Logic Boolean Logic 1

Chapter 1: Boolean Logic Boolean Logic 1 Chpter 1: Boolen Logic 1 1. Boolen Logic 1 Such simple things, And we mke of them something so complex it defets us, Almost. (John Ashery, Americn poet, 1927-) Every digitl device e it personl computer,

More information

Small Business Networking

Small Business Networking Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology

More information

This Unit: Processor Design. What Is Control? Example: Control for sw. Example: Control for add

This Unit: Processor Design. What Is Control? Example: Control for sw. Example: Control for add This Unit: rocessor Design Appliction O ompiler U ory Firmwre I/O Digitl ircuits Gtes & Trnsistors pth components n timing s n register files ories (RAMs) locking strtegies Mpping n IA to tpth ontrol Exceptions

More information

Nearest Keyword Set Search in Multi-dimensional Datasets

Nearest Keyword Set Search in Multi-dimensional Datasets Nerest Keyword Set Serch in Multi-dimensionl Dtsets Vishwkrm Singh Deprtment of Computer Science University of Cliforni Snt Brbr, USA Emil: vsingh014@gmil.com Ambuj K. Singh Deprtment of Computer Science

More information

Optics. Diffraction at a double slit and at multiple slits. LD Physics Leaflets P Bi. Wave optics Diffraction. Objects of the experiments

Optics. Diffraction at a double slit and at multiple slits. LD Physics Leaflets P Bi. Wave optics Diffraction. Objects of the experiments Optics Wve optics Diffrction LD Physics Leflets Diffrction t ouble slit n t multiple slits Objects of the experiments g Investigting iffrction t ouble slit for vrious slit spcings. g Investigting iffrction

More information

GENG2140 Modelling and Computer Analysis for Engineers

GENG2140 Modelling and Computer Analysis for Engineers GENG4 Moelling n Computer Anlysis or Engineers Letures 9 & : Gussin qurture Crete y Grn Romn Joles, PhD Shool o Mehnil Engineering, UWA GENG4 Content Deinition o Gussin qurture Computtion o weights n points

More information

COMMON HALF YEARLY EXAMINATION DECEMBER 2018

COMMON HALF YEARLY EXAMINATION DECEMBER 2018 li.net i.net li.net i.net li.net i.net li.net i.net li.net i.net li.net i.net li.net i.net li.net i.net li.net i.net.pds.pds COMMON HALF YEARLY EXAMINATION DECEMBER 2018 STD : XI SUBJECT: COMPUTER SCIENCE

More information

3 (92) 2014 Системные технологии

3 (92) 2014 Системные технологии UDC 794:622.765.55 N.S.Prydko, G.M.Sksonov, E.V.Ternovy IMITATING MODEL OF THE MINERAL GRINDING CLOSED CYCLE Introduction. Lst time the closed cycles re widely used in minerl grunding technology for decrese

More information

Today. Search Problems. Uninformed Search Methods. Depth-First Search Breadth-First Search Uniform-Cost Search

Today. Search Problems. Uninformed Search Methods. Depth-First Search Breadth-First Search Uniform-Cost Search Uninformed Serch [These slides were creted by Dn Klein nd Pieter Abbeel for CS188 Intro to AI t UC Berkeley. All CS188 mterils re vilble t http://i.berkeley.edu.] Tody Serch Problems Uninformed Serch Methods

More information

SDG2KPN: System Dependency Graph to Function-level KPN generation of Legacy Code for MPSoCs

SDG2KPN: System Dependency Graph to Function-level KPN generation of Legacy Code for MPSoCs SDG2KPN: System Depenency Grph to Function-level KPN genertion of Legcy Coe for MPSoCs Jue Angelo Amrose, Jorgen Peersen, Sri Prmeswrn School of Computer Science n Engineering University of New South Wles

More information

Establishing the Optimal Software Cost Equation Using Cost Affecting Factors and Elitist Gene Expression Programming

Establishing the Optimal Software Cost Equation Using Cost Affecting Factors and Elitist Gene Expression Programming Estblishing the Optiml Softwre Cost Eqution Using Cost Affecting Fctors n Elitist Gene Expression Progrmming Divy Kshyp 1 n A. K. Misr 2 1 n 2 CSED, Motill Nehru Ntionl Institute of Technology, Allhb 1

More information

CHAPTER III IMAGE DEWARPING (CALIBRATION) PROCEDURE

CHAPTER III IMAGE DEWARPING (CALIBRATION) PROCEDURE CHAPTER III IMAGE DEWARPING (CALIBRATION) PROCEDURE 3.1 Scheimpflug Configurtion nd Perspective Distortion Scheimpflug criterion were found out to be the best lyout configurtion for Stereoscopic PIV, becuse

More information