N tie b P3 {1} some_action(1) T2. some_action(1) b (1),b+(1) P1 {1,2} an_action T1. an_action b+(x) P4 {1} P6 {1,2} x 1. b (1),d+(2) d+(2) {dot} {dot}
|
|
- Bonnie Nicholson
- 5 years ago
- Views:
Transcription
1 New Petri Net Progrmming Fetures in PEP? Cecile Bui Thnh nd Christin Stehno 2 Universite Pris 2, LACL, 6 venue du generl de Gulle F-9400 Creteil, Frnce. ui@univ-pris2.fr 2 Deprtment of Computing Science, Crl von Ossietzky Universitt, D-26 Oldenurg, Germny. stehno@informtik.uni-oldenurg.de Astrct. We present two new fcilities of the high level Petri net editor of the PEP tool. The ltest version etends the clss of supported Petri nets y time etension of M-nets. Additionlly it fetures new opertor for synchronous communiction complementing the synchroniztion opertor. We present n emple of n ARQ protocol with enhnced cknowledgment hndling. form. Introduction The PEP tool [5, 9] provides development environment for numer of different prllel progrmming nd speciction lnguges. Additionlly, the high nd low level Petri net levels oer nother, quite unique, progrmming interfce. Especilly the high level nets fcilitte design of dt hndling lgorithms nd comple progrms through their etended token types nd powerful set of opertors. The ltest etensions of the net editors dd mjor new fetures with the introduction of new sic opertor tie nd new clss of nets, nmely the Time Petri net etension of the lredy used M-nets. This pper presents the enhncements of the speciction nd progrmming process gined y these etensions. The emple chosen for this purpose is simple ARQ (utomtic repet request) protocol with possily deferred cknowledgements. The net two sections will introduce the formlisms used for the emple, i.e. (Time) M-nets nd the tie opertor. In Sect. 4 the emple is presented, nd nlly in Sect. 5 the pper is concluded nd some future work is highlighted. 2 M-nets nd Time M-nets We will only give short introduction to M-nets nd their time etension. More detils cn e found in the cited ppers nd relted rticles.? This work hs een done during three month visit of one of the uthors to Oldenurg, nd hs een prtilly supported y the Procope project PORTA (Prtil Order Rel Time Semntics)
2 The coloured Petri nets lger of M-nets (multi lelled nets [2]) hs een developed s eile semntic model for concurrent progrmming lnguges. The nnottions of the net elements nd set of opertions provide frmework for the compositionl cretion of comple nets. Opertions include sequentil, prllel nd lterntive composition, itertion nd synchronous communiction y synchronistion nd restriction. Unfolding into plin P/T nets provides possiilities for forml veriction of the designed systems y mens of well-known lgorithms for ordinry Petri nets, e.g. with the PEP tool. Time M-nets (TM-nets) re cutious, ut still sustntil etension of M- nets towrds rel-time systems. The time etension ws originlly dened in [4] for rel-time version of the speciction lnguge SDL. TM-nets hd een supported so fr only in the MOBY tool [] without possiility to vlidte the nets. The newly implemented TM-net fetures of the PEP tool, together with the lredy presented nlysis tools for timed systems [2, 3] increse the importnce of TM-nets y fr. The time etension is done nlogously to the Time PBC etension in [7]. Trnsitions get n dditionl inscription of n intervl in the nturl numers. This intervl restricts the ility of the trnsition to re ccording to [8], i.e. the lower (upper) ound denes the erliest (ltest) ring time of ech trnsition. To preserve the properties of M-nets with respect to unfolding into low level nets for TM-nets, ring times re not unique to trnsition, ut ech ring mode (i.e. inding enling the trnsition) counts time steps on its own, fter the mode is enled. As such, ech trnsition my hve lrge numer of clocks showing dierent times. The current implementtion in PEP covers just n elementry version of TM-nets. We restrict the intervl ounds to nturl numers (plus innity for the upper ound). This is in contrst to the originl denition where ritrry epressions re llowed, which still hve to evlute to nturl numers ccording to the chosen inding, though. As such, the restriction is not just syntcticlly, ut the epressiveness of the simple clss is still lrge enough for mny rel world systems. 3 Tie opertor The tie opertor ws introduced to M-net lger to llow synchronous communictions [6] in compositionl wy. This etension to M-Net lger llowed to give complete semntics of B(P N) 23 [?] in terms of M-net, nd simpler semntics for FIFO uers [0, ]. To use synchronous communictions with M-nets, they re etended y new trnsition lels, clled link lels. These lels indicte tht trnsition cn eport nd/or import informtion from n synchronous chnnel. We consider set B of tie symols such tht ech 2 B hs type type(). An synchronous link d (~), where 2 B, d 2 f+;?g nd ~ 2 type(), represents 3 Bsic Petri Net Progrmming Nottion
3 n synchronous communiction ction on (the chnnel represented y). The direction of the communiction (eport or import) is given y d, nd ~ is set of rguments representing possile informtion communicted on. A link lel is multi-set of synchronous links. An emple drwn with the high-level net editor of the PEP tool is given in Fig.. On the left hnd, we show net N with synchronous nnottions. The lel f+()g on trnsition T mens tht this trnsition cn eport 2 type() on chnnel, nd f-(),+()g on T2 mens tht T2 epects to import token lelled "" nd to eport it gin vi. The result of N tie is given on the right hnd of the gure: The synchronous links of N contining were mde eective y the opertion, i.e. the trnsitions contining these synchronous links now eport nd/or import the descried informtions when they re red, ccording to the directions given y the previous nottion. Every echnged informtion goes through the creted uer plce of (nmed P6) with type() s type. Note tht pplying tie deletes the link lels concerning (not the other links) from every trnsition. P3 {} P3 {} P {,2} some_ction() (),+() T2 P {,2} some_ction() T2 T n_ction +() P4 {} n_ction T P6 {,2} P4 {} P2 {dot} (),d+(2) T3 P2 {dot} d+(2) T3 N P5 {} N tie P5 {} Fig.. An emple of using tie with the high-level editor. On the left hnd: High-level net N contining link lels, on the right hnd: the sme net fter pplying tie In the high-level editor, declrtions (respectively, deletion, modiction) of synchronous links nmes nd their corresponding types re mde through the window of the tie opertor (cf. Fig. 2). The synt for link types is the sme s for plce types. Link lels on trnsitions re dded the sme wy s ction multisets. After pplying the opertor once to some link, this one is tken ccount s rnd new link nd my e reused fterwrds to dd new nnottions on link lels nd to pply tie gin. This would then crete new uer plce for ech time the opertion is clled.
4 Fig. 2. The window of the tie opertor The tie opertor ws lso dened for PBC (see [6] for detils). This is not completely implemented yet, ut fter pplying tie to ech link, net does not contin synchronous nottions nymore, so there is wy to unfold nd nlyse it right wy. 4 Emple of n ARQ protocol We chose s n emple for the presenttion of the newly introduced fetures modelistion of n ARQ protocol. There is sender nd receiver side, where the sender communictes dt pckets to the receiver, who my nswer with positive or negtive cknowledgements. Both prts cn e found in Fig. 3, with the sender t top nd the receiver t ottom. Communiction is done in oth directions vi uered chnnel with some dely, i.e. synchronous. Moreover the cknowledgements my e deferred, such tht not every pcket will e cknowledged, ut positive cknowledgement includes ll witing ck's in etween. There is no uering of correctly received dt, so negtive cknowledgements lso cler everything ckwrds up to the negtively cknowledged pcket. If the sender receives negtive cknowledgement, it sets the net pcket pointer to the received numer, such tht the net pcket send will e the requested one. Positively cknowledged pckets just increse the counter, with some snity check done t reception. Sending dt just incorportes the pcket numer, i.e. dt content is strcted wy. At the receiver side, things re even esier nd more simplied. The received pckets re stored in the respective counter plce, which serves s source for generting (positive or negtive) cknowledgements. To model the removl of destroyed pckets y some negtive cknowledge, the received pcket counter is reset ccordingly. Thus, these pckets will not e used either y the send ck trnsition, preventing flse cknowledgements.
5 recv ck C?(0,) [;5] lst ck 3 {0..3} send dt C2!() [;3] 0 net dt {0..3} recv nk C?(,) [;5] ck chn out ^C?(,) nr (n),nr+(m),d (,,n,),d+(0,0,n,0) dt chn in ^C2!() ns (n),ns+(m),d (0,n,0),d+(,n,) ck chn in ^C!(,) ns (n),ns+(m),d (0,0,n,0),d+(,,n,) dt chn out ^C2?() nr (n),nr+(m),d (,n,),d+(0,n,0) send ck C!(0,y) recv lst recv pcket C2?() [;4] send nk [;5] y C!(,y) 0 {0..3} y [;3] 0 {0..3} lst send ck Fig. 3. ARQ model efore synchronistion nd tie The two chnnels (C from receiver to sender nd C2 vice vers) re simpli- ed versions of the FIFO uers presented in [0, ]. Unused prts hve een deleted, the dt hndling is simplied nd the chnnel use hs een etended with timing restrictions. Figure 3 just shows four trnsitions, which will crete two seprte ring uers with FIFO semntics nd comptile interfce fter ppliction of the tie opertion. Two dditionlly needed initilistion trnsitions re not shown, s they re just needed for technicl resons. The time intervls re put to ech chnnel opertion, specifying some miniml nd miml dely needed for these ctions. The chnnel trnsitions itself do not contriute to the dely with n intervl of [0; ]. The delys hve een chosen ritrrily for this emple, resulting in dely for sending pcket etween two nd 8 time units, complete round-trip with pcket sending nd cknowledgement tkes up to 7 time units in the cse of no dt loss in etween. The worst cse scenrio will tke innitely mny time units, s we do not tke into ccount firness. 5 Conclusion nd future works We hve presented the ltest fetures of the PEP tool. This new version enles veriction of Time M-nets nd dds fcilities for modelistion of synchronous
6 links in compositionl wy. Moreover, these enhncements contriute to redility nd hndiness of the editor. M-nets provide very powerful speciction formlism. The ARQ system includes some interesting fetures, using just smll numer of net elements. The time etension presented oers comfortle high-level progrmming interfce for rel-time systems. However, the synchronous links hve not yet een integrted into every prt of the tool, which is plnned for one of the net versions. This will remove some restrictions currently imposed on the user. Time Petri nets re still not supported the sme wy like ordinry Petri nets. Most notly, timed simultor is missing. Further work will include dierent time semntics nd time support in even higher speciction concepts, like SDL. Some further investigtion of cse studies of rel-time systems, including forml veriction is plnned. References. Peter Amthor, Hns Fleischhck, nd Josef Tpken. MOBY - More thn tool for the veriction of SDL-specictions. Technicl report, Fchereich Informtik, Crl von Ossietzky Universitt Oldenurg, E. Best, W. Frczk, R. P. Hopkins, H. Kludel nd E. Pelz. M-nets: n lger of high level Petri nets, with n ppliction to the semntics of concurrent progrmming lnguges. Act Informtic, 35. Springer, Hns Fleischhck nd Christin Stehno. Computing Finite Pre of Time Petri Net. In ICATPN, To pper. 4. Hns Fleischhck nd Josef Tpken. An M-net semntics for rel-time etension of SDL. In John Fitzgerld, Cli B. Jones, nd Peter Lucs, editors, FME'97: Industril Applictions nd Strengthened Foundtions of Forml Methods (Proc. 4th Intl. Symposium of Forml Methods Europe, Grz, Austri, Septemer 997), volume 33, pges 62{8. Springer-Verlg, B. Grhlmnn. The PEP Tool. Computer Aided Veriction, LNCS 254. Springer, H. Kludel nd F. Pommereu. Asynchronous links in the PBC nd M-nets. ASIAN'99, LNCS 742. Springer, Mciej Koutny. A Compositionl Model of Time Petri Nets. In M. Nielsen nd D. Simpson, editors, Appliction nd Theory of Petri Nets 2000, volume 825 of LNCS, pges 303{322. Springer-Verlg, P. Merlin nd D. Frer. Recoverility of Communiction Protocols { Impliction of Theoreticl Study. IEEE Trnsctions on Softwre Communictions, 24:036{ 043, The PEP tool F. Pommereu. FIFO uers in tie suce. DAPSYS'00. Kluwer Acdemic Pulishers, Frnck Pommereu nd Christin Stehno. Fifo uers in hot tie suce. Technicl Report , LACL, Universite Pris 2, 6 venue du generl de Gulle, 9400 Creteil, Frnce, Christin Stehno. Rel-Time Systems Design with PEP. In Joost-Pieter Ktoen nd Perdit Stevens, editors, TACAS, volume 2280 of Lecture Notes in Computer Science, pges 476{480. Springer-Verlg, 2002.
this grammar generates the following language: Because this symbol will also be used in a later step, it receives the
LR() nlysis Drwcks of LR(). Look-hed symols s eplined efore, concerning LR(), it is possile to consult the net set to determine, in the reduction sttes, for which symols it would e possile to perform reductions.
More informationFig.25: the Role of LEX
The Lnguge for Specifying Lexicl Anlyzer We shll now study how to uild lexicl nlyzer from specifiction of tokens in the form of list of regulr expressions The discussion centers round the design of n existing
More informationIn 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 informationCSCI 3130: Formal Languages and Automata Theory Lecture 12 The Chinese University of Hong Kong, Fall 2011
CSCI 3130: Forml Lnguges nd utomt Theory Lecture 12 The Chinese University of Hong Kong, Fll 2011 ndrej Bogdnov In progrmming lnguges, uilding prse trees is significnt tsk ecuse prse trees tell us the
More informationLecture 7: Integration Techniques
Lecture 7: Integrtion Techniques Antiderivtives nd Indefinite Integrls. In differentil clculus, we were interested in the derivtive of given rel-vlued function, whether it ws lgeric, eponentil or logrithmic.
More informationpdfapilot Server 2 Manual
pdfpilot Server 2 Mnul 2011 by clls softwre gmbh Schönhuser Allee 6/7 D 10119 Berlin Germny info@cllssoftwre.com www.cllssoftwre.com Mnul clls pdfpilot Server 2 Pge 2 clls pdfpilot Server 2 Mnul Lst modified:
More informationUnit #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 informationFrom Dependencies to Evaluation Strategies
From Dependencies to Evlution Strtegies Possile strtegies: 1 let the user define the evlution order 2 utomtic strtegy sed on the dependencies: use locl dependencies to determine which ttriutes to compute
More information2 Computing all Intersections of a Set of Segments Line Segment Intersection
15-451/651: Design & Anlysis of Algorithms Novemer 14, 2016 Lecture #21 Sweep-Line nd Segment Intersection lst chnged: Novemer 8, 2017 1 Preliminries The sweep-line prdigm is very powerful lgorithmic design
More informationAn Event Structuring Approach to Real-Time Design Peter Gorm Larsen Abstract IFAD { Institute of Applied Computer Science Munkebjergvnget 17, DK-5230
An Event Structuring Approch to Rel-Time Design Peter Gorm Lrsen Astrct IFAD { Institute of Applied Computer Science Munkeergvnget 17, DK-5230 Odense M, Denmrk E-mil: peter@ifd.dk In the development of
More informationUT1553B BCRT True Dual-port Memory Interface
UTMC APPICATION NOTE UT553B BCRT True Dul-port Memory Interfce INTRODUCTION The UTMC UT553B BCRT is monolithic CMOS integrted circuit tht provides comprehensive MI-STD- 553B Bus Controller nd Remote Terminl
More informationFile Manager Quick Reference Guide. June Prepared for the Mayo Clinic Enterprise Kahua Deployment
File Mnger Quick Reference Guide June 2018 Prepred for the Myo Clinic Enterprise Khu Deployment NVIGTION IN FILE MNGER To nvigte in File Mnger, users will mke use of the left pne to nvigte nd further pnes
More informationCS321 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 informationSimrad ES80. Software Release Note Introduction
Simrd ES80 Softwre Relese 1.3.0 Introduction This document descries the chnges introduced with the new softwre version. Product: ES80 Softwre version: 1.3.0 This softwre controls ll functionlity in the
More informationCOMP 423 lecture 11 Jan. 28, 2008
COMP 423 lecture 11 Jn. 28, 2008 Up to now, we hve looked t how some symols in n lphet occur more frequently thn others nd how we cn sve its y using code such tht the codewords for more frequently occuring
More informationA Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards
A Tutology Checker loosely relted to Stålmrck s Algorithm y Mrtin Richrds mr@cl.cm.c.uk http://www.cl.cm.c.uk/users/mr/ University Computer Lortory New Museum Site Pemroke Street Cmridge, CB2 3QG Mrtin
More informationLecture 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 informationDr. D.M. Akbar Hussain
Dr. D.M. Akr Hussin Lexicl Anlysis. Bsic Ide: Red the source code nd generte tokens, it is similr wht humns will do to red in; just tking on the input nd reking it down in pieces. Ech token is sequence
More informationGeorge Boole. IT 3123 Hardware and Software Concepts. Switching Algebra. Boolean Functions. Boolean Functions. Truth Tables
George Boole IT 3123 Hrdwre nd Softwre Concepts My 28 Digitl Logic The Little Mn Computer 1815 1864 British mthemticin nd philosopher Mny contriutions to mthemtics. Boolen lger: n lger over finite sets
More informationCS412/413. Introduction to Compilers Tim Teitelbaum. Lecture 4: Lexical Analyzers 28 Jan 08
CS412/413 Introduction to Compilers Tim Teitelum Lecture 4: Lexicl Anlyzers 28 Jn 08 Outline DFA stte minimiztion Lexicl nlyzers Automting lexicl nlysis Jlex lexicl nlyzer genertor CS 412/413 Spring 2008
More informationSpectral Analysis of MCDF Operations in Image Processing
Spectrl Anlysis of MCDF Opertions in Imge Processing ZHIQIANG MA 1,2 WANWU GUO 3 1 School of Computer Science, Northest Norml University Chngchun, Jilin, Chin 2 Deprtment of Computer Science, JilinUniversity
More informationAgilent Mass Hunter Software
Agilent Mss Hunter Softwre Quick Strt Guide Use this guide to get strted with the Mss Hunter softwre. Wht is Mss Hunter Softwre? Mss Hunter is n integrl prt of Agilent TOF softwre (version A.02.00). Mss
More informationLexical Analysis. Amitabha Sanyal. (www.cse.iitb.ac.in/ as) Department of Computer Science and Engineering, Indian Institute of Technology, Bombay
Lexicl Anlysis Amith Snyl (www.cse.iit.c.in/ s) Deprtment of Computer Science nd Engineering, Indin Institute of Technology, Bomy Septemer 27 College of Engineering, Pune Lexicl Anlysis: 2/6 Recp The input
More informationSlides for Data Mining by I. H. Witten and E. Frank
Slides for Dt Mining y I. H. Witten nd E. Frnk Simplicity first Simple lgorithms often work very well! There re mny kinds of simple structure, eg: One ttriute does ll the work All ttriutes contriute eqully
More informationCSE 401 Midterm Exam 11/5/10 Sample Solution
Question 1. egulr expressions (20 points) In the Ad Progrmming lnguge n integer constnt contins one or more digits, but it my lso contin embedded underscores. Any underscores must be preceded nd followed
More informationIntegration of a Scenario Service in a Multimedia Messaging System
Integrtion of Scenrio Service in Multimedi Messging System Brigitte KERVELLA, Vlérie GAY nd Eric HORLAIT Université Pierre et Mrie CURIE, Institut Blise PASCAL, Lortoire MASI 4, plce Jussieu, 75252 PARIS
More informationMidterm 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 informationOUTPUT DELIVERY SYSTEM
Differences in ODS formtting for HTML with Proc Print nd Proc Report Lur L. M. Thornton, USDA-ARS, Animl Improvement Progrms Lortory, Beltsville, MD ABSTRACT While Proc Print is terrific tool for dt checking
More informationPresentation Martin Randers
Presenttion Mrtin Rnders Outline Introduction Algorithms Implementtion nd experiments Memory consumption Summry Introduction Introduction Evolution of species cn e modelled in trees Trees consist of nodes
More informationDefinition of Regular Expression
Definition of Regulr Expression After the definition of the string nd lnguges, we re redy to descrie regulr expressions, the nottion we shll use to define the clss of lnguges known s regulr sets. Recll
More informationCS143 Handout 07 Summer 2011 June 24 th, 2011 Written Set 1: Lexical Analysis
CS143 Hndout 07 Summer 2011 June 24 th, 2011 Written Set 1: Lexicl Anlysis In this first written ssignment, you'll get the chnce to ply round with the vrious constructions tht come up when doing lexicl
More informationCSc 453. Compilers and Systems Software. 4 : Lexical Analysis II. Department of Computer Science University of Arizona
CSc 453 Compilers nd Systems Softwre 4 : Lexicl Anlysis II Deprtment of Computer Science University of Arizon collerg@gmil.com Copyright c 2009 Christin Collerg Implementing Automt NFAs nd DFAs cn e hrd-coded
More informationImplementing Automata. CSc 453. Compilers and Systems Software. 4 : Lexical Analysis II. Department of Computer Science University of Arizona
Implementing utomt Sc 5 ompilers nd Systems Softwre : Lexicl nlysis II Deprtment of omputer Science University of rizon collerg@gmil.com opyright c 009 hristin ollerg NFs nd DFs cn e hrd-coded using this
More informationTries. Yufei Tao KAIST. April 9, Y. Tao, April 9, 2013 Tries
Tries Yufei To KAIST April 9, 2013 Y. To, April 9, 2013 Tries In this lecture, we will discuss the following exct mtching prolem on strings. Prolem Let S e set of strings, ech of which hs unique integer
More informationΕΠΛ323 - Θεωρία και Πρακτική Μεταγλωττιστών
ΕΠΛ323 - Θωρία και Πρακτική Μταγλωττιστών Lecture 3 Lexicl Anlysis Elis Athnsopoulos elisthn@cs.ucy.c.cy Recognition of Tokens if expressions nd reltionl opertors if è if then è then else è else relop
More informationView, evaluate, and publish assignments using the Assignment dropbox.
Blckord Lerning System CE 6 Mnging Assignments Competencies After reding this document, you will e le to: Crete ssignments using the Assignment tool. View, evlute, nd pulish ssignments using the Assignment
More information5 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 information1. 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 informationImproper Integrals. October 4, 2017
Improper Integrls October 4, 7 Introduction We hve seen how to clculte definite integrl when the it is rel number. However, there re times when we re interested to compute the integrl sy for emple 3. Here
More informationToday. CS 188: Artificial Intelligence Fall Recap: Search. Example: Pancake Problem. Example: Pancake Problem. General Tree Search.
CS 88: Artificil Intelligence Fll 00 Lecture : A* Serch 9//00 A* Serch rph Serch Tody Heuristic Design Dn Klein UC Berkeley Multiple slides from Sturt Russell or Andrew Moore Recp: Serch Exmple: Pncke
More informationAnnouncements. CS 188: Artificial Intelligence Fall Recap: Search. Today. Example: Pancake Problem. Example: Pancake Problem
Announcements Project : erch It s live! Due 9/. trt erly nd sk questions. It s longer thn most! Need prtner? Come up fter clss or try Pizz ections: cn go to ny, ut hve priority in your own C 88: Artificil
More informationIf you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs.
Lecture 5 Wlks, Trils, Pths nd Connectedness Reding: Some of the mteril in this lecture comes from Section 1.2 of Dieter Jungnickel (2008), Grphs, Networks nd Algorithms, 3rd edition, which is ville online
More information8.2 Areas in the Plane
39 Chpter 8 Applictions of Definite Integrls 8. Ares in the Plne Wht ou will lern out... Are Between Curves Are Enclosed Intersecting Curves Boundries with Chnging Functions Integrting with Respect to
More informationP(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 informationDistributed Systems Principles and Paradigms
Distriuted Systems Principles nd Prdigms Chpter 11 (version April 7, 2008) Mrten vn Steen Vrije Universiteit Amsterdm, Fculty of Science Dept. Mthemtics nd Computer Science Room R4.20. Tel: (020) 598 7784
More informationMTH 146 Conics Supplement
105- Review of Conics MTH 146 Conics Supplement In this section we review conics If ou ne more detils thn re present in the notes, r through section 105 of the ook Definition: A prol is the set of points
More informationBefore 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 informationEECS150 - Digital Design Lecture 23 - High-level Design and Optimization 3, Parallelism and Pipelining
EECS150 - Digitl Design Lecture 23 - High-level Design nd Optimiztion 3, Prllelism nd Pipelining Nov 12, 2002 John Wwrzynek Fll 2002 EECS150 - Lec23-HL3 Pge 1 Prllelism Prllelism is the ct of doing more
More informationLab 1 - Counter. Create a project. Add files to the project. Compile design files. Run simulation. Debug results
1 L 1 - Counter A project is collection mechnism for n HDL design under specifiction or test. Projects in ModelSim ese interction nd re useful for orgnizing files nd specifying simultion settings. The
More informationLanguages. L((a (b)(c))*) = { ε,a,bc,aa,abc,bca,... } εw = wε = w. εabba = abbaε = abba. (a (b)(c)) *
Pln for Tody nd Beginning Next week Interpreter nd Compiler Structure, or Softwre Architecture Overview of Progrmming Assignments The MeggyJv compiler we will e uilding. Regulr Expressions Finite Stte
More informationSection 3.1: Sequences and Series
Section.: Sequences d Series Sequences Let s strt out with the definition of sequence: sequence: ordered list of numbers, often with definite pttern Recll tht in set, order doesn t mtter so this is one
More information10.5 Graphing Quadratic Functions
0.5 Grphing Qudrtic Functions Now tht we cn solve qudrtic equtions, we wnt to lern how to grph the function ssocited with the qudrtic eqution. We cll this the qudrtic function. Grphs of Qudrtic Functions
More informationApproximation 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 informationTool 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 informationMobile IP route optimization method for a carrier-scale IP network
Moile IP route optimiztion method for crrier-scle IP network Tkeshi Ihr, Hiroyuki Ohnishi, nd Ysushi Tkgi NTT Network Service Systems Lortories 3-9-11 Midori-cho, Musshino-shi, Tokyo 180-8585, Jpn Phone:
More information1.1. Interval Notation and Set Notation Essential Question When is it convenient to use set-builder notation to represent a set of numbers?
1.1 TEXAS ESSENTIAL KNOWLEDGE AND SKILLS Prepring for 2A.6.K, 2A.7.I Intervl Nottion nd Set Nottion Essentil Question When is it convenient to use set-uilder nottion to represent set of numers? A collection
More informationEpson Projector Content Manager Operation Guide
Epson Projector Content Mnger Opertion Guide Contents 2 Introduction to the Epson Projector Content Mnger Softwre 3 Epson Projector Content Mnger Fetures... 4 Setting Up the Softwre for the First Time
More informationPARALLEL AND DISTRIBUTED COMPUTING
PARALLEL AND DISTRIBUTED COMPUTING 2009/2010 1 st Semester Teste Jnury 9, 2010 Durtion: 2h00 - No extr mteril llowed. This includes notes, scrtch pper, clcultor, etc. - Give your nswers in the ville spce
More informationON THE DEHN COMPLEX OF VIRTUAL LINKS
ON THE DEHN COMPLEX OF VIRTUAL LINKS RACHEL BYRD, JENS HARLANDER Astrct. A virtul link comes with vriety of link complements. This rticle is concerned with the Dehn spce, pseudo mnifold with oundry, nd
More informationA Formalism for Functionality Preserving System Level Transformations
A Formlism for Functionlity Preserving System Level Trnsformtions Smr Abdi Dniel Gjski Center for Embedded Computer Systems UC Irvine Center for Embedded Computer Systems UC Irvine Irvine, CA 92697 Irvine,
More informationEngineer 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 informationbox Boxes and Arrows 3 true 7.59 'X' An object is drawn as a box that contains its data members, for example:
Boxes nd Arrows There re two kinds of vriles in Jv: those tht store primitive vlues nd those tht store references. Primitive vlues re vlues of type long, int, short, chr, yte, oolen, doule, nd flot. References
More informationNOTES. Figure 1 illustrates typical hardware component connections required when using the JCM ICB Asset Ticket Generator software application.
ICB Asset Ticket Genertor Opertor s Guide Septemer, 2016 Septemer, 2016 NOTES Opertor s Guide ICB Asset Ticket Genertor Softwre Instlltion nd Opertion This document contins informtion for downloding, instlling,
More informationYOU ARE: AND THIS IS:
YOU ARE: AND THIS IS: SoHE CMS Mnul As edited August 4, 015 TABLE OF CONTENTS 3 Logging in 4 Pge types within the dshord 5-6 Exploring the toolr 7-8 Adding pge 9 Editing pge 10 Pge templtes: Met Templte
More informationEnginner 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 informationASTs, Regex, Parsing, and Pretty Printing
ASTs, Regex, Prsing, nd Pretty Printing CS 2112 Fll 2016 1 Algeric Expressions To strt, consider integer rithmetic. Suppose we hve the following 1. The lphet we will use is the digits {0, 1, 2, 3, 4, 5,
More informationSmall 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 informationF. R. K. Chung y. University ofpennsylvania. Philadelphia, Pennsylvania R. L. Graham. AT&T Labs - Research. March 2,1997.
Forced convex n-gons in the plne F. R. K. Chung y University ofpennsylvni Phildelphi, Pennsylvni 19104 R. L. Grhm AT&T Ls - Reserch Murry Hill, New Jersey 07974 Mrch 2,1997 Astrct In seminl pper from 1935,
More informationSolving Problems by Searching. CS 486/686: Introduction to Artificial Intelligence Winter 2016
Solving Prolems y Serching CS 486/686: Introduction to Artificil Intelligence Winter 2016 1 Introduction Serch ws one of the first topics studied in AI - Newell nd Simon (1961) Generl Prolem Solver Centrl
More informationLexical Analysis: Constructing a Scanner from Regular Expressions
Lexicl Anlysis: Constructing Scnner from Regulr Expressions Gol Show how to construct FA to recognize ny RE This Lecture Convert RE to n nondeterministic finite utomton (NFA) Use Thompson s construction
More informationSmall 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 informationThe Replace Operator
The Replce Opertor Luri Krttunen Rnk Xero Reserch Centre 6, chemin de Mupertuis F-38240 Meyln, Frnce luri.krttunen@ero.fr Astrct This pper introduces to the clculus of regulr epressions replce opertor
More informationSolving Problems by Searching. CS 486/686: Introduction to Artificial Intelligence
Solving Prolems y Serching CS 486/686: Introduction to Artificil Intelligence 1 Introduction Serch ws one of the first topics studied in AI - Newell nd Simon (1961) Generl Prolem Solver Centrl component
More informationA Constraint Network for Symbol Detection in. Architectural Drawings. Christian Ah-Soon. LORIA, BP 239 F Vanduvre-les-Nancy, France
A Constrint Network for Symol Detection in Architecturl Drwings Christin Ah-Soon LORIA, BP 39 F-54506 Vnduvre-les-Nncy, Frnce Astrct. A network used to detect nd recognize severl dierent symols (doors,
More informationvcloud Director Service Provider Admin Portal Guide vcloud Director 9.1
vcloud Director Service Provider Admin Portl Guide vcloud Director 9. vcloud Director Service Provider Admin Portl Guide You cn find the most up-to-dte technicl documenttion on the VMwre website t: https://docs.vmwre.com/
More informationCOMPUTER SCIENCE 123. Foundations of Computer Science. 6. Tuples
COMPUTER SCIENCE 123 Foundtions of Computer Science 6. Tuples Summry: This lecture introduces tuples in Hskell. Reference: Thompson Sections 5.1 2 R.L. While, 2000 3 Tuples Most dt comes with structure
More informationAn Efficient Divide and Conquer Algorithm for Exact Hazard Free Logic Minimization
An Efficient Divide nd Conquer Algorithm for Exct Hzrd Free Logic Minimiztion J.W.J.M. Rutten, M.R.C.M. Berkelr, C.A.J. vn Eijk, M.A.J. Kolsteren Eindhoven University of Technology Informtion nd Communiction
More informationTopic 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 informationSymbol Table management
TDDD Compilers nd interpreters TDDB44 Compiler Construction Symol Tles Symol Tles in the Compiler Symol Tle mngement source progrm Leicl nlysis Syntctic nlysis Semntic nlysis nd Intermedite code gen Code
More informationBlackbaud s Mailwise Service Analyse Records Updated by MailWise
Blckud s Milwise Service Anlyse Records Updted y MilWise To nlyse the updtes tht hve een performed y the import, run the relevnt queries from the list elow. The queries selected depend on the MilWise Services
More informationEasyMP Multi PC Projection Operation Guide
EsyMP Multi PC Projection Opertion Guide Contents 2 Introduction to EsyMP Multi PC Projection 5 EsyMP Multi PC Projection Fetures... 6 Connection to Vrious Devices... 6 Four-Pnel Disply... 6 Chnge Presenters
More informationSmall 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 informationEXPONENTIAL & POWER GRAPHS
Eponentil & Power Grphs EXPONENTIAL & POWER GRAPHS www.mthletics.com.u Eponentil EXPONENTIAL & Power & Grphs POWER GRAPHS These re grphs which result from equtions tht re not liner or qudrtic. The eponentil
More informationPPS: User Manual. Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, and Ayush Kanodia
PPS: User Mnul Krishnendu Chtterjee, Mrtin Chmelik, Rghv Gupt, nd Ayush Knodi IST Austri (Institute of Science nd Technology Austri), Klosterneuurg, Austri In this section we descrie the tool fetures,
More informationSOME EXAMPLES OF SUBDIVISION OF SMALL CATEGORIES
SOME EXAMPLES OF SUBDIVISION OF SMALL CATEGORIES MARCELLO DELGADO Abstrct. The purpose of this pper is to build up the bsic conceptul frmework nd underlying motivtions tht will llow us to understnd ctegoricl
More informationWhat are suffix trees?
Suffix Trees 1 Wht re suffix trees? Allow lgorithm designers to store very lrge mount of informtion out strings while still keeping within liner spce Allow users to serch for new strings in the originl
More informationDeposit a Technical Report in PubRep
Technicl in Lst Updte:19.12.016 Te c h n i c l Technicl s re mjor source of scientific informtion, prepred for institutionl nd wider distribution. They re considered grey literture since they re scientific
More informationComputer-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 informationWelch Allyn CardioPerfect Workstation Installation Guide
Welch Allyn CrdioPerfect Worksttion Instlltion Guide INSTALLING CARDIOPERFECT WORKSTATION SOFTWARE & ACCESSORIES ON A SINGLE PC For softwre version 1.6.6 or lter For network instlltion, plese refer to
More informationNotes for Graph Theory
Notes for Grph Theory These re notes I wrote up for my grph theory clss in 06. They contin most of the topics typiclly found in grph theory course. There re proofs of lot of the results, ut not of everything.
More informationTO REGULAR EXPRESSIONS
Suject :- Computer Science Course Nme :- Theory Of Computtion DA TO REGULAR EXPRESSIONS Report Sumitted y:- Ajy Singh Meen 07000505 jysmeen@cse.iit.c.in BASIC DEINITIONS DA:- A finite stte mchine where
More informationCOMMON 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 informationThe Greedy Method. The Greedy Method
Lists nd Itertors /8/26 Presenttion for use with the textook, Algorithm Design nd Applictions, y M. T. Goodrich nd R. Tmssi, Wiley, 25 The Greedy Method The Greedy Method The greedy method is generl lgorithm
More informationFunctor (1A) Young Won Lim 8/2/17
Copyright (c) 2016-2017 Young W. Lim. Permission is grnted to copy, distribute nd/or modify this document under the terms of the GNU Free Documenttion License, Version 1.2 or ny lter version published
More informationSmall 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 informationHow to Design REST API? Written Date : March 23, 2015
Visul Prdigm How Design REST API? Turil How Design REST API? Written Dte : Mrch 23, 2015 REpresenttionl Stte Trnsfer, n rchitecturl style tht cn be used in building networked pplictions, is becoming incresingly
More informationCSCE 531, Spring 2017, Midterm Exam Answer Key
CCE 531, pring 2017, Midterm Exm Answer Key 1. (15 points) Using the method descried in the ook or in clss, convert the following regulr expression into n equivlent (nondeterministic) finite utomton: (
More informationParallel Square and Cube Computations
Prllel Squre nd Cube Computtions Albert A. Liddicot nd Michel J. Flynn Computer Systems Lbortory, Deprtment of Electricl Engineering Stnford University Gtes Building 5 Serr Mll, Stnford, CA 945, USA liddicot@stnford.edu
More informationSmall 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 informationIZT 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