The example is taken from Sect. 1.2 of Vol. 1 of the CPN book.


 Bruce Hood
 1 years ago
 Views:
Transcription
1 Rsourc Allocation Abstract This is a small toy xampl which is wllsuitd as a first introduction to Cnts. Th CN modl is dscribd in grat dtail, xplaining th basic concpts of Cnts. Hnc, it can b rad by popl with no/littl tri nt background. Th CN modl dscribs how two diffrnt kinds of procsss ar sharing thr diffrnt kinds of rsourcs. It is simpl to undrstand and asy to simulat/modify. Th xampl is takn from Sct. 1.2 of Vol. 1 of th CN book. Dvlopd and Maintaind by: Kurt Jnsn, Aarhus Univrsity, Dnmark
2 2 CN Modl Assum that w hav a st of procsss, which shar a common pool of rsourcs. Thr ar two diffrnt kinds of procsss (calld pprocsss and qprocsss) and thr diffrnt kinds of rsourcs (calld rrsourcs, srsourcs, and trsourcs). Th procsss could b diffrnt computr programs (.g., txt ditors and drawing programs) whil th rsourcs could b diffrnt facilitis shard by th programs (.g., tap drivs, lasr printrs and plottrs). ach procss is cyclic and during th individual parts of its cycl, th procss nds to hav xclusiv accss to a varying amount of th rsourcs. Th rsourc allocation systm is modlld by th Cnt shown blow. Initial Marking M 0 color U = with p q; color I = int; color = product U*I; color = with ; var x: U; var i: I; 1 R (q,0) A 3 3 (q,0) T1 if x =q thn 1 (q,i+1) ls mpty 2 (p,0) 2 2 (p,0) B cas x of if x=p p => 2 thn 1 (p,i+1) q => 1 ls mpty T2 [x=q] 3 S 3 3 if x=p thn 1 ls mpty if x=q thn 1 ls mpty C T3 D 2 T 2 2 T4 2 cas x of p => 2 q => 1 T5
3 Th procsss can b in fiv diffrnt stats, rprsntd by th placs A. ach plac may contain on or mor markrs, calld tokns. ach tokn carris a data valu calld th tokn colour. Th data valu may b of arbitrarily complx typ (.g., a rcord whr th first fild is a ral, th scond a txt string, whil th third is a list of intgr pairs). For a givn plac all tokns must hav tokn colours that blong to a spcifid typ. This typ is calld th colour st of th plac. Th us of colour sts in Cnts is totally analogous to th us of typs in programming languags. Colour sts dtrmin th possibl valus of tokns (analogously to th way in which typs dtrmin th possibl valus of variabls and xprssions). For historical rasons w talk about colourd tokns which can b distinguishd from ach othr in contrast to th plain tokns of an ordinary tri nt. By convntion w writ colour sts in italics. From th abov figur, it can b sn that th placs A hav th typ as colour st, whil th placs R T hav th typ as colour st. Th dclarations of th colour sts (in th uppr lft cornr of th figur) tll us that ach tokn on A has a tokn colour which is a pair (bcaus th colour st is dclard to b th Cartsian product of two othr colour sts U and I). Th first lmnt of th pair is an lmnt of U and thus it is ithr p or q (bcaus th colour st U is dclard to b an numration typ with ths two lmnts). Th scond lmnt is an intgr (bcaus th colour st I is dclard by mans of th CN ML standard typ int, which contains all intgrs in an implmntationdpndnt intrval). Intuitivly, th first lmnt of a tokn tlls whthr th tokn rprsnts a pprocss or a qprocss, whil th scond lmnt tlls how many full cycls th procss has compltd. It can also b sn that all th tokns on R T hav th sam tokn colour ( is th only lmnt of ). Intuitivly, this mans that ths tokns carry no information apart from thir prsnc/absnc at a plac. Th initial marking is dtrmind by valuating th initialization xprssions, i.., th undrlind xprssions nxt to th placs. In th initial marking thr ar thr (q,0)tokns on A and two (p,0)tokns on B, whil C, D and hav no tokns (by convntion w omit initialization xprssions which valuat to th mpty multist). Morovr, R has on tokn, S has thr tokns and T has two tokns. Th marking of ach plac is a multist ovr th colour st attachd to th plac. W nd multists to allow two or mor tokns to hav idntical tokn colours. If w only workd with sts it would b impossibl, for xampl, to hav thr (q,0)tokns in th initial marking of A. Th currnt marking of a givn plac is rprsntd by mans of a small circl (with an intgr saying how many tokns thr ar) and a txt string nxt to th circl (with a multist saying what th individual tokn colours ar, and which cofficints thy hav). By convntion w omit th circl and th txt string for placs which hav no tokns. In th figur abov, th currnt marking 3
4 4 is idntical to th initial marking, and this mans that th small circls and thir txt strings contain th sam information as th initialization xprssions. ach of th fiv transitions T1 T5 rprsnts a shift from on stat to th nxt. Th surrounding arc inscriptions tll us how rsourcs ar rsrvd and rlasd. To s how this works, lt us considr transition T2 which has thr surrounding arcs. Th arc xprssion appars twic (on th input arc from B and on th output arc to C) whil cas x of p=>2` q=>1` appars onc (on th input arc from S). Togthr ths thr arc xprssions hav two variabls, x and i, and from th dclarations it can b sn that x has typ U whil i has typ I. At a first glanc on might also think that, p and q ar variabls, but from th dclarations it can b sn that this is not th cas: is an lmnt of th colour st, whil p and q ar lmnts of U. This mans that thy ar constants. Intuitivly, th thr arc xprssions tll us that an occurrnc of T2 movs a tokn from B to C without changing th colour (bcaus th two arc xprssions ar idntical). Morovr, th occurrnc Marking M 1 color U = with p q; color I = int; color = product U*I; color = with ; var x: U; var i: I; 1 R (q,0) A 3 3 (q,0) T1 if x =q thn 1 (q,i+1) ls mpty 2 (p,0) 1 1 (p,0) B cas x of if x=p p => 2 thn 1 (p,i+1) q => 1 ls mpty T2 [x=q] 3 if x=q thn 1 ls mpty C 1 1 (p,0) S 1 1 T3 if x=p thn 1 ls mpty D 2 T 2 2 T4 2 cas x of p => 2 q => 1 T5
5 rmovs a multist of tokns from S. This multist is dtrmind by valuating th corrsponding arc xprssion. As it can b sn, th multist dpnds upon th kind of procss involvd. A pprocss nds two srsourcs to go from B to C (and thus it rmovs two tokns from S), whil a qprocss only nds on srsourc to go from B to C (and thus it rmovs only on tokn from S). Now lt us b a littl mor prcis, and xplain in dtail how th nabling and occurrnc of Cnt transitions ar dtrmind. Th transition T2 has two variabls (x and i), and bfor w can considr an occurrnc of th transition ths variabls hav to b bound to colours of th corrsponding typs (i.., lmnts of th colour sts U and I). This can b don in many diffrnt ways. On possibility is to bind x to p and i to zro: thn w gt th binding b 1 = <x=p,i=0>. Anothr possibility is to bind x to q and i to 37: thn w gt th binding b 2 = <x=q,i=37>. For ach binding w can chck whthr th transition, with that binding, is nabld (in th currnt marking). For th binding b 1 th two input arc xprssions valuat to (p,0) and 2, rspctivly. Thus w conclud that b 1 is nabld in th initial marking bcaus ach of th input placs contains at last th tokns to which th corrsponding arc xprssion valuats (on (p,0)tokn on B and two tokns on S). For th binding b 2 th two arc xprssions valuat to (q,37) and. Thus w conclud that b 2 is not nabld (thr is no (q,37)tokn on B). A transition can occur in as many ways as w can bind th variabls that appar in th surrounding arc xprssions (and in th guard introducd blow). Howvr, for a givn marking, it is usually only a fw of ths bindings that ar nabld. Whn a transition is nabld (for a crtain binding) it may occur, and it thn rmovs tokns from its input placs and adds tokns to its output placs. Th numbr of rmovd/addd tokns and th colours of ths tokns ar dtrmind by th valu of th corrsponding arc xprssions (valuatd with rspct to th binding in qustion). A pair (t,b) whr t is a transition and b a binding for t is calld a binding lmnt. Th binding lmnt (T2,b 1 ) is nabld in th initial marking M 0 and it transforms M 0 into th marking M 1 (shown blow). Analogously, w conclud that th binding lmnt (T1,<x=q,i=0>) is nabld in M 0 and that it transforms M 0 into th marking M 2 (shown blow). W say that ach of th markings M 1 and M 2 is dirctly rachabl from M 0. Th binding lmnt (T2,b 2 ) is not nabld in M 0 and thus it cannot occur. Nxt, lt us tak a closr look at transition T5. This transition movs a tokn from plac to ithr A or B (pprocsss go to B, whil qprocsss go to A). Simultanously th transition updats th cycl countr i. Notic that diffrnt bindings for a transition may not only rsult in diffrnt tokn colours but also in diffrnt numbrs of tokns. In particular this may man that th multist of tokns which ar addd/rmovd, for a givn binding, may b mpty, as 5
6 6 illustratd by th two thick output arcs of T5. W hav positiond th first sgmnts of th two arcs on top of ach othr to illustrat th clos rlationship btwn thm. Howvr, it should b strssd that this has no formal maning. Th only purpos is to mak th drawing mor radabl for human bings. Nxt lt us look at transition T1, which in addition to th arc xprssions has a guard: [x=q]. A guard is a boolan xprssion (i.., an xprssion that valuats to ithr tru or fals). It may hav variabls in xactly th sam way that th arc xprssions hav. Th purpos of a guard is to dfin an additional constraint which must b fulfilld for a transition to b nabld. In this cas th guard tlls us that it is only tokns rprsnting qprocsss which can mov from A to B (bcaus th guard for all bindings <x=p, > valuats to fals and thus prvnts nabling). It is asy to s that w in this cas could hav omittd th guard, bcaus w nvr will hav ptokns on plac A. Howvr, Marking M 2 color U = with p q; color I = int; color = product U*I; color = with ; var x: U; var i: I; 1 R 3 (q,0) A 2 2 (q,0) T1 if x =q thn 1 (q,i+1) ls mpty 2 (p,0) 3 2 (p,0)++1 (q,0) B cas x of if x=p p => 2 thn 1 (p,i+1) q => 1 ls mpty T2 [x=q] 3 if x=q thn 1 ls mpty C S 2 2 T3 if x=p thn 1 ls mpty D 2 T 2 2 T4 2 cas x of p => 2 q => 1 T5
7 adding th guard maks our dscription mor robust towards rrors. Whn th sam variabl nam appars mor than onc, in th guard/arc xprssions of a singl transition, w only hav on variabl (with multipl apparancs). ach binding of th transition spcifis a colour for th variabl and this colour is usd for all th apparancs. Howvr, it should b notd that th apparancs of x around T1 ar totally indpndnt of th apparancs of x around T2 in th sns that th two sts of apparancs in th sam stp can b bound to diffrnt colour valus. It can b shown that th rsourc allocation systm prsntd abov has no dadlock (i.., no rachabl marking in which no binding lmnt is nabld). Howvr what happns if w chang th numbr of procsss or th numbr of rsourcs? As an xampl, lt us assum that th initial marking has an xtra srsourc (i.., an xtra tokn on S). On should xpct that this small modification cannot lad to a dadlock bcaus dadlocks appar whn w hav too fw rsourc tokns, and thus an xtra rsourc tokn cannot caus a dadlock. Is th argumnt abov convincing? At a first glanc: ys! Howvr, this argumnt is wrong. Adding th xtra srsourc actually mans that w can rach a dadlock. This can b sn by ltting th two pprocsss advanc from stat B to stat D, whil th qprocsss rmain in stat A. Hopfully, this small xampl dmonstrats that informal argumnts about bhavioural proprtis ar dangrous and this is on of our motivations for th dvlopmnt of th mor formal analysis mthods, such as occurrnc graphs and plac invariants. 7
Lecture 3: Diffusion: Fick s first law
Lctur 3: Diffusion: Fick s first law Today s topics What is diffusion? What drivs diffusion to occur? Undrstand why diffusion can surprisingly occur against th concntration gradint? Larn how to dduc th
More informationQUANTITATIVE METHODS CLASSES WEEK SEVEN
QUANTITATIVE METHODS CLASSES WEEK SEVEN Th rgrssion modls studid in prvious classs assum that th rspons variabl is quantitativ. Oftn, howvr, w wish to study social procsss that lad to two diffrnt outcoms.
More informationNonHomogeneous Systems, Euler s Method, and Exponential Matrix
NonHomognous Systms, Eulr s Mthod, and Exponntial Matrix W carry on nonhomognous firstordr linar systm of diffrntial quations. W will show how Eulr s mthod gnralizs to systms, giving us a numrical approach
More informationExponential Growth and Decay; Modeling Data
Exponntial Growth and Dcay; Modling Data In this sction, w will study som of th applications of xponntial and logarithmic functions. Logarithms wr invntd by John Napir. Originally, thy wr usd to liminat
More information5 2 index. e e. Prime numbers. Prime factors and factor trees. Powers. worked example 10. base. power
Prim numbrs W giv spcial nams to numbrs dpnding on how many factors thy hav. A prim numbr has xactly two factors: itslf and 1. A composit numbr has mor than two factors. 1 is a spcial numbr nithr prim
More informationby John Donald, Lecturer, School of Accounting, Economics and Finance, Deakin University, Australia
Studnt Nots Cost Volum Profit Analysis by John Donald, Lcturr, School of Accounting, Economics and Financ, Dakin Univrsity, Australia As mntiond in th last st of Studnt Nots, th ability to catgoris costs
More informationEcon 371: Answer Key for Problem Set 1 (Chapter 1213)
con 37: Answr Ky for Problm St (Chaptr 23) Instructor: Kanda Naknoi Sptmbr 4, 2005. (2 points) Is it possibl for a country to hav a currnt account dficit at th sam tim and has a surplus in its balanc
More informationArchitecture of the proposed standard
Architctur of th proposd standard Introduction Th goal of th nw standardisation projct is th dvlopmnt of a standard dscribing building srvics (.g.hvac) product catalogus basd on th xprincs mad with th
More informationThe Matrix Exponential
Th Matrix Exponntial (with xrciss) 92.222  Linar Algbra II  Spring 2006 by D. Klain prliminary vrsion Corrctions and commnts ar wlcom! Th Matrix Exponntial For ach n n complx matrix A, dfin th xponntial
More informationEntityRelationship Model
EntityRlationship Modl Kuanghua Chn Dpartmnt of Library and Information Scinc National Taiwan Univrsity A Company Databas Kps track of a company s mploys, dpartmnts and projcts Aftr th rquirmnts collction
More informationMathematics. Mathematics 3. hsn.uk.net. Higher HSN23000
hsn uknt Highr Mathmatics UNIT Mathmatics HSN000 This documnt was producd spcially for th HSNuknt wbsit, and w rquir that any copis or drivativ works attribut th work to Highr Still Nots For mor dtails
More informationGenetic Drift and Gene Flow Illustration
Gntic Drift and Gn Flow Illustration This is a mor dtaild dscription of Activity Ida 4, Chaptr 3, If Not Rac, How do W Explain Biological Diffrncs? in: How Ral is Rac? A Sourcbook on Rac, Cultur, and Biology.
More informationSUBATOMIC PARTICLES AND ANTIPARTICLES AS DIFFERENT STATES OF THE SAME MICROCOSM OBJECT. Eduard N. Klenov* RostovonDon. Russia
SUBATOMIC PARTICLES AND ANTIPARTICLES AS DIFFERENT STATES OF THE SAME MICROCOSM OBJECT Eduard N. Klnov* RostovonDon. Russia Th distribution law for th valus of pairs of th consrvd additiv quantum numbrs
More informationAdverse Selection and Moral Hazard in a Model With 2 States of the World
Advrs Slction and Moral Hazard in a Modl With 2 Stats of th World A modl of a risky situation with two discrt stats of th world has th advantag that it can b natly rprsntd using indiffrnc curv diagrams,
More informationTraffic Flow Analysis (2)
Traffic Flow Analysis () Statistical Proprtis. Flow rat distributions. Hadway distributions. Spd distributions by Dr. GangLn Chang, Profssor Dirctor of Traffic safty and Oprations Lab. Univrsity of Maryland,
More informationCPS 220 Theory of Computation REGULAR LANGUAGES. Regular expressions
CPS 22 Thory of Computation REGULAR LANGUAGES Rgular xprssions Lik mathmatical xprssion (5+3) * 4. Rgular xprssion ar built using rgular oprations. (By th way, rgular xprssions show up in various languags:
More informationDeer: Predation or Starvation
: Prdation or Starvation National Scinc Contnt Standards: Lif Scinc: s and cosystms Rgulation and Bhavior Scinc in Prsonal and Social Prspctiv s, rsourcs and nvironmnts Unifying Concpts and Procsss Systms,
More informationSPECIAL VOWEL SOUNDS
SPECIAL VOWEL SOUNDS Plas consult th appropriat supplmnt for th corrsponding computr softwar lsson. Rfr to th 42 Sounds Postr for ach of th Spcial Vowl Sounds. TEACHER INFORMATION: Spcial Vowl Sounds (SVS)
More informationintro Imagine that someone asked you to describe church using only the bible. What would you say to them?
intro Imagin that somon askd you to dscrib church using only th bibl. What would you say to thm? So many of th things w'v mad church to b arn't ssntial in scriptur. W'r on a journy of rimagining what
More informationQuestion 3: How do you find the relative extrema of a function?
ustion 3: How do you find th rlativ trma of a function? Th stratgy for tracking th sign of th drivativ is usful for mor than dtrmining whr a function is incrasing or dcrasing. It is also usful for locating
More informationAP Calculus AB 2008 Scoring Guidelines
AP Calculus AB 8 Scoring Guidlins Th Collg Board: Conncting Studnts to Collg Succss Th Collg Board is a notforprofit mmbrship association whos mission is to connct studnts to collg succss and opportunity.
More informationModule 7: Discrete State Space Models Lecture Note 3
Modul 7: Discrt Stat Spac Modls Lctur Not 3 1 Charactristic Equation, ignvalus and ign vctors For a discrt stat spac modl, th charactristic quation is dfind as zi A 0 Th roots of th charactristic quation
More informationNew Basis Functions. Section 8. Complex Fourier Series
Nw Basis Functions Sction 8 Complx Fourir Sris Th complx Fourir sris is prsntd first with priod 2, thn with gnral priod. Th connction with th ralvalud Fourir sris is xplaind and formula ar givn for convrting
More informationUse a highlevel conceptual data model (ER Model). Identify objects of interest (entities) and relationships between these objects
Chaptr 3: Entity Rlationship Modl Databas Dsign Procss Us a highlvl concptual data modl (ER Modl). Idntify objcts of intrst (ntitis) and rlationships btwn ths objcts Idntify constraints (conditions) End
More informationLecture notes: 160B revised 9/28/06 Lecture 1: Exchange Rates and the Foreign Exchange Market FT chapter 13
Lctur nots: 160B rvisd 9/28/06 Lctur 1: xchang Rats and th Forign xchang Markt FT chaptr 13 Topics: xchang Rats Forign xchang markt Asst approach to xchang rats Intrst Rat Parity Conditions 1) Dfinitions
More information(Analytic Formula for the European Normal Black Scholes Formula)
(Analytic Formula for th Europan Normal Black Schols Formula) by Kazuhiro Iwasawa Dcmbr 2, 2001 In this short summary papr, a brif summary of Black Schols typ formula for Normal modl will b givn. Usually
More informationSimulated Radioactive Decay Using Dice Nuclei
Purpos: In a radioactiv sourc containing a vry larg numbr of radioactiv nucli, it is not possibl to prdict whn any on of th nucli will dcay. Although th dcay tim for any on particular nuclus cannot b prdictd,
More informationRemember you can apply online. It s quick and easy. Go to www.gov.uk/advancedlearningloans. Title. Forename(s) Surname. Sex. Male Date of birth D
24+ Advancd Larning Loan Application form Rmmbr you can apply onlin. It s quick and asy. Go to www.gov.uk/advancdlarningloans About this form Complt this form if: you r studying an ligibl cours at an approvd
More informationChiSquare. Hypothesis: There is an equal chance of flipping heads or tails on a coin. Coin A. Expected (e) (o e) (o e) 2 (o e) 2 e
Why? ChiSquar How do you know if your data is th rsult of random chanc or nvironmntal factors? Biologists and othr scintists us rlationships thy hav discovrd in th lab to prdict vnts that might happn
More information14.3 Area Between Curves
14. Ara Btwn Curvs Qustion 1: How is th ara btwn two functions calculatd? Qustion : What ar consumrs and producrs surplus? Earlir in this chaptr, w usd dfinit intgrals to find th ara undr a function and
More informationElectronic Commerce. and. Competitive FirstDegree Price Discrimination
Elctronic Commrc and Comptitiv FirstDgr Pric Discrimination David Ulph* and Nir Vulkan ** Fbruary 000 * ESRC Cntr for Economic arning and Social Evolution (ESE), Dpartmnt of Economics, Univrsity Collg
More informationC H A P T E R 1 Writing Reports with SAS
C H A P T E R 1 Writing Rports with SAS Prsnting information in a way that s undrstood by th audinc is fundamntally important to anyon s job. Onc you collct your data and undrstand its structur, you nd
More informationImproving Managerial Accounting and Calculation of Labor Costs in the Context of Using Standard Cost
Economy Transdisciplinarity Cognition www.ugb.ro/tc Vol. 16, Issu 1/2013 5054 Improving Managrial Accounting and Calculation of Labor Costs in th Contxt of Using Standard Cost Lucian OCNEANU, Constantin
More informationFactorials! Stirling s formula
Author s not: This articl may us idas you havn t larnd yt, and might sm ovrly complicatd. It is not. Undrstanding Stirling s formula is not for th faint of hart, and rquirs concntrating on a sustaind mathmatical
More informationNoble gas configuration. Atoms of other elements seek to attain a noble gas electron configuration. Electron configuration of ions
Valnc lctron configuration dtrmins th charactristics of lmnts in a group Nobl gas configuration Th nobl gass (last column in th priodic tabl) ar charactrizd by compltly filld s and p orbitals this is a
More informationA Note on Approximating. the Normal Distribution Function
Applid Mathmatical Scincs, Vol, 00, no 9, 4549 A Not on Approimating th Normal Distribution Function K M Aludaat and M T Alodat Dpartmnt of Statistics Yarmouk Univrsity, Jordan Aludaatkm@hotmailcom and
More informationNotes for Geometry Conic Sections
Nots for Gomtry Conic Sctions Th nots is takn from Gomtry, by David A. Brannan, Matthw F. Espln and Jrmy J. Gray, 2nd dition 1 Conic Sctions A conic sction is dfind as th curv of intrsction of a doubl
More informationCombinatorial Analysis of Network Security
Combinatorial Analysis of Ntwork Scurity Stvn Nol a, Brian O Brry a, Charls Hutchinson a, Sushil Jajodia a, Lynn Kuthan b, and Andy Nguyn b a Gorg Mason Univrsity Cntr for Scur Information Systms b Dfns
More informationSection 55 Inverse of a Square Matrix
 Invrs of a Squar Matrix 9 (D) Rank th playrs from strongst to wakst. Explain th rasoning hind your ranking. 68. Dominan Rlation. Eah mmr of a hss tam plays on math with vry othr playr. Th rsults ar givn
More informationParallel and Distributed Programming. Performance Metrics
Paralll and Distributd Programming Prformanc! wo main goals to b achivd with th dsign of aralll alications ar:! Prformanc: th caacity to rduc th tim to solv th roblm whn th comuting rsourcs incras;! Scalability:
More informationJune 2012. Enprise Rent. Enprise 1.1.6. Author: Document Version: Product: Product Version: SAP Version: 8.81.100 8.8
Jun 22 Enpris Rnt Author: Documnt Vrsion: Product: Product Vrsion: SAP Vrsion: Enpris Enpris Rnt 88 88 Enpris Rnt 22 Enpris Solutions All rights rsrvd No parts of this work may b rproducd in any form or
More informationME 612 Metal Forming and Theory of Plasticity. 6. Strain
Mtal Forming and Thory of Plasticity mail: azsnalp@gyt.du.tr Makin Mühndisliği Bölümü Gbz Yüksk Tknoloji Enstitüsü 6.1. Uniaxial Strain Figur 6.1 Dfinition of th uniaxial strain (a) Tnsil and (b) Comprssiv.
More informationThe Normal Distribution: A derivation from basic principles
Th Normal Distribution: A drivation from basic principls Introduction Dan Tagu Th North Carolina School of Scinc and Mathmatics Studnts in lmntary calculus, statistics, and finit mathmatics classs oftn
More informationContinuity Cloud Virtual Firewall Guide
Cloud Virtual Firwall Guid uh6 Vrsion 1.0 Octobr 2015 Foldr BDR Guid for Vam Pag 1 of 36 Cloud Virtual Firwall Guid CONTENTS INTRODUCTION... 3 ACCESSING THE VIRTUAL FIREWALL... 4 HYPERV/VIRTUALBOX CONTINUITY
More informationLecture 20: Emitter Follower and Differential Amplifiers
Whits, EE 3 Lctur 0 Pag of 8 Lctur 0: Emittr Followr and Diffrntial Amplifirs Th nxt two amplifir circuits w will discuss ar ry important to lctrical nginring in gnral, and to th NorCal 40A spcifically.
More informationPrinciples of Humidity Dalton s law
Principls of Humidity Dalton s law Air is a mixtur of diffrnt gass. Th main gas componnts ar: Gas componnt volum [%] wight [%] Nitrogn N 2 78,03 75,47 Oxygn O 2 20,99 23,20 Argon Ar 0,93 1,28 Carbon dioxid
More informationVersion Issue Date Reason / Description of Change Author Draft February, N/A 2009
Appndix A: CNS Managmnt Procss: OTRS POC Documnt Control Titl : CNS Managmnt Procss Documnt : (Location of Documnt and Documnt numbr) Author : Ettin Vrmuln (EV) Ownr : ICT Stratgic Srvics Vrsion : Draft
More informatione = C / electron Q = Ne
Physics 0 Modul 01 Homwork 1. A glass rod that has bn chargd to +15.0 nc touchs a mtal sphr. Aftrword, th rod's charg is +8.00 nc. What kind of chargd particl was transfrrd btwn th rod and th sphr, and
More information10/06/08 1. Aside: The following is an online analytical system that portrays the thermodynamic properties of water vapor and many other gases.
10/06/08 1 5. Th watrair htrognous systm Asid: Th following is an onlin analytical systm that portrays th thrmodynamic proprtis of watr vapor and many othr gass. http://wbbook.nist.gov/chmistry/fluid/
More informationFree ACA SOLUTION (IRS 1094&1095 Reporting)
Fr ACA SOLUTION (IRS 1094&1095 Rporting) Th Insuranc Exchang (301) 2791062 ACA Srvics Transmit IRS Form 1094 C for mployrs Print & mail IRS Form 1095C to mploys HR Assist 360 will gnrat th 1095 s for
More informationGas Radiation. MEL 725 PowerPlant Steam Generators (300) Dr. Prabal Talukdar Assistant Professor Department of Mechanical Engineering IIT Delhi
Gas Radiation ME 725 PowrPlant Stam Gnrators (300) Dr. Prabal Talukdar Assistant Profssor Dpartmnt of Mchanical Enginring T Dlhi Radiation in absorbingmitting mdia Whn a mdium is transparnt to radiation,
More informationA Derivation of Bill James Pythagorean WonLoss Formula
A Drivation of Bill Jams Pythagoran WonLoss Formula Ths nots wr compild by John Paul Cook from a papr by Dr. Stphn J. Millr, an Assistant Profssor of Mathmatics at Williams Collg, for a talk givn to th
More informationSection 7.4: Exponential Growth and Decay
1 Sction 7.4: Exponntial Growth and Dcay Practic HW from Stwart Txtbook (not to hand in) p. 532 # 117 odd In th nxt two ction, w xamin how population growth can b modld uing diffrntial quation. W tart
More informationSci.Int.(Lahore),26(1),131138,2014 ISSN 10135316; CODEN: SINTE 8 131
Sci.Int.(Lahor),26(1),131138,214 ISSN 1135316; CODEN: SINTE 8 131 REQUIREMENT CHANGE MANAGEMENT IN AGILE OFFSHORE DEVELOPMENT (RCMAOD) 1 Suhail Kazi, 2 Muhammad Salman Bashir, 3 Muhammad Munwar Iqbal,
More informationModelling and Solving TwoStep Equations: ax + b = c
Modlling and Solving ToStp Equations: a + b c Focus on Aftr this lsson, you ill b abl to φ modl problms φ ith tostp linar quations solv tostp linar quations and sho ho you ord out th ansr Cali borrod
More informationDevelopment of Financial Management Reporting in MPLS
1 Dvlopmnt of Financial Managmnt Rporting in MPLS 1. Aim Our currnt financial rports ar structurd to dlivr an ovrall financial pictur of th dpartmnt in it s ntirty, and thr is no attmpt to provid ithr
More informationSigmoid Functions and Their Usage in Artificial Neural Networks
Sigmoid Functions and Thir Usag in Artificial Nural Ntworks Taskin Kocak School of Elctrical Enginring and Computr Scinc Applications of Calculus II: Invrs Functions Eampl problm Calculus Topic: Invrs
More informationConstraintBased Analysis of Gene Deletion in a Metabolic Network
ConstraintBasd Analysis of Gn Dltion in a Mtabolic Ntwork Abdlhalim Larhlimi and Alxandr Bockmayr DFGRsarch Cntr Mathon, FB Mathmatik und Informatik, Fri Univrsität Brlin, Arnimall, 3, 14195 Brlin, Grmany
More informationII.6. THE DETERMINATION OF THE RYDBERG CONSTANT
II.6. TE DETERMINATION OF TE RYDBERG CONSTANT. Work purpos Th dtrination of th constant involvd in th spctral sris of th hydrognoid atos / ions.. Thory Th atos of ach lnt it, whn thy ar xcitd (for instanc
More informationIncomplete 2Port Vector Network Analyzer Calibration Methods
Incomplt Port Vctor Ntwork nalyzr Calibration Mthods. Hnz, N. Tmpon, G. Monastrios, H. ilva 4 RF Mtrology Laboratory Instituto Nacional d Tcnología Industrial (INTI) Bunos irs, rgntina ahnz@inti.gov.ar
More information7 Timetable test 1 The Combing Chart
7 Timtabl tst 1 Th Combing Chart 7.1 Introduction 7.2 Tachr tams two workd xampls 7.3 Th Principl of Compatibility 7.4 Choosing tachr tams workd xampl 7.5 Ruls for drawing a Combing Chart 7.6 Th Combing
More informationMaking and Using the Hertzsprung  Russell Diagram
Making and Using th Hrtzsprung  Russll Diagram Nam In astronomy th HrtzsprungRussll Diagram is on of th main ways that w organiz data dscribing how stars volv, ags of star clustrs, masss of stars tc.
More informationProduction Costing (Chapter 8 of W&W)
Production Costing (Chaptr 8 of W&W).0 Introduction Production costs rfr to th oprational costs associatd with producing lctric nrgy. Th most significant componnt of production costs ar th ful costs ncssary
More informationHOMEWORK FOR UNIT 51: FORCE AND MOTION
Nam Dat Partnrs HOMEWORK FOR UNIT 51: FORCE AND MOTION 1. You ar givn tn idntial springs. Dsrib how you would dvlop a sal of for (i., a mans of produing rpatabl fors of a varity of sizs) using ths springs.
More informationIn the previous two chapters, we clarified what it means for a problem to be decidable or undecidable.
Chaptr 7 Computational Complxity 7.1 Th Class P In th prvious two chaptrs, w clarifid what it mans for a problm to b dcidabl or undcidabl. In principl, if a problm is dcidabl, thn thr is an algorithm (i..,
More information5.4 Exponential Functions: Differentiation and Integration TOOTLIFTST:
.4 Eponntial Functions: Diffrntiation an Intgration TOOTLIFTST: Eponntial functions ar of th form f ( ) Ab. W will, in this sction, look at a spcific typ of ponntial function whr th bas, b, is.78.... This
More informationLABORATORY 1 IDENTIFICATION OF CIRCUIT IN A BLACKBOX
LABOATOY IDENTIFICATION OF CICUIT IN A BLACKBOX OBJECTIES. To idntify th configuration of an lctrical circuit nclosd in a twotrminal black box.. To dtrmin th valus of ach componnt in th black box circuit.
More informationSTATEMENT OF INSOLVENCY PRACTICE 3.2
STATEMENT OF INSOLVENCY PRACTICE 3.2 COMPANY VOLUNTARY ARRANGEMENTS INTRODUCTION 1 A Company Voluntary Arrangmnt (CVA) is a statutory contract twn a company and its crditors undr which an insolvncy practitionr
More informationStatistical Machine Translation
Statistical Machin Translation Sophi Arnoult, Gidon Mailltt d Buy Wnnigr and Andra Schuch Dcmbr 7, 2010 1 Introduction All th IBM modls, and Statistical Machin Translation (SMT) in gnral, modl th problm
More informationBusiness Systems Analysis with Ontologies
Businss Systms Analysis with Ontologis Ptr Grn Univrsity of Qunsland, Australia Michal Rosmann Qunsland Univrsity of Tchnology, Australia IDEA GROUP PUBLISHING Hrshy London Mlbourn Singapor Acquisitions
More informationCHAPTER 88 THE BINOMIAL AND POISSON DISTRIBUTIONS
CHAPTER 88 THE BINOMIAL AND POISSON DISTRIBUTIONS EXERCISE Pag 97 1. Concrt blocks ar tstd and it is found that on avrag 7% fail to mt th rquird spcification. For a batch of nin blocks dtrmin th probabilitis
More informationGOD CALLS MOSES. 2 Illustrations by Ken Tunell
GOD CALLS MOSES Aftr th dath of Josph and his brothrs, thir familis Mcontinud to liv in th land of Egypt. Thr thy grw grat in numbr and latr bcam known as Isralits. Aftr many yars, a nw Pharaoh bcam king
More informationGround Fault Current Distribution on Overhead Transmission Lines
FACTA UNIVERSITATIS (NIŠ) SER.: ELEC. ENERG. vol. 19, April 2006, 7184 Ground Fault Currnt Distribution on Ovrhad Transmission Lins Maria Vintan and Adrian Buta Abstract: Whn a ground fault occurs on
More informationIntermediate Macroeconomic Theory / Macroeconomic Analysis (ECON 3560/5040) Final Exam (Answers)
Intrmdiat Macroconomic Thory / Macroconomic Analysis (ECON 3560/5040) Final Exam (Answrs) Part A (5 points) Stat whthr you think ach of th following qustions is tru (T), fals (F), or uncrtain (U) and brifly
More informationAbstract. Introduction. Statistical Approach for Analyzing Cell Phone Handoff Behavior. Volume 3, Issue 1, 2009
Volum 3, Issu 1, 29 Statistical Approach for Analyzing Cll Phon Handoff Bhavior Shalini Saxna, Florida Atlantic Univrsity, Boca Raton, FL, shalinisaxna1@gmail.com Sad A. Rajput, Farquhar Collg of Arts
More informationExpertMediated Search
ExprtMdiatd Sarch Mnal Chhabra Rnsslar Polytchnic Inst. Dpt. of Computr Scinc Troy, NY, USA chhabm@cs.rpi.du Sanmay Das Rnsslar Polytchnic Inst. Dpt. of Computr Scinc Troy, NY, USA sanmay@cs.rpi.du David
More informationCategory 7: Employee Commuting
7 Catgory 7: Employ Commuting Catgory dscription This catgory includs missions from th transportation of mploys 4 btwn thir homs and thir worksits. Emissions from mploy commuting may aris from: Automobil
More informationSOFTWARE ENGINEERING AND APPLIED CRYPTOGRAPHY IN CLOUD COMPUTING AND BIG DATA
Intrnational Journal on Tchnical and Physical Problms of Enginring (IJTPE) Publishd by Intrnational Organization of IOTPE ISSN 077358 IJTPE Journal www.iotp.com ijtp@iotp.com Sptmbr 015 Issu 4 Volum 7
More informationForeign Exchange Markets and Exchange Rates
Microconomics Topic 1: Explain why xchang rats indicat th pric of intrnational currncis and how xchang rats ar dtrmind by supply and dmand for currncis in intrnational markts. Rfrnc: Grgory Mankiw s Principls
More informationBusiness rules FATCA V. 02/11/2015
Elmnt Attribut Siz InputTyp Rquirmnt BUSINESS RULES TYPE ERROR ACK Xpath I.Mssag Hadr FATCA_OECD Vrsion xsd: string = Validation WrongVrsion ftc:fatca_oecd/vrsion SndingCompanyIN Unlimit d xsd: string
More informationLong run: Law of one price Purchasing Power Parity. Short run: Market for foreign exchange Factors affecting the market for foreign exchange
Lctur 6: Th Forign xchang Markt xchang Rats in th long run CON 34 Mony and Banking Profssor Yamin Ahmad xchang Rats in th Short Run Intrst Parity Big Concpts Long run: Law of on pric Purchasing Powr Parity
More informationTIME MANAGEMENT. 1 The Process for Effective Time Management 2 Barriers to Time Management 3 SMART Goals 4 The POWER Model e. Section 1.
Prsonal Dvlopmnt Track Sction 1 TIME MANAGEMENT Ky Points 1 Th Procss for Effctiv Tim Managmnt 2 Barrirs to Tim Managmnt 3 SMART Goals 4 Th POWER Modl In th Army, w spak of rsourcs in trms of th thr M
More informationII. Equipment. Magnetic compass, magnetic dip compass, Helmholtz coils, HP 6212 A power supply, Keithley model 169 multimeter
Magntic fild of th arth I. Objctiv: Masur th magntic fild of th arth II. Equipmnt. Magntic compass, magntic dip compass, Hlmholtz s, HP 6212 A powr supply, Kithly modl 169 multimtr III Introduction. IIIa.
More informationMAXIMAL CHAINS IN THE TURING DEGREES
MAXIMAL CHAINS IN THE TURING DEGREES C. T. CHONG AND LIANG YU Abstract. W study th problm of xistnc of maximal chains in th Turing dgrs. W show that:. ZF + DC+ Thr xists no maximal chain in th Turing dgrs
More information14.02 Principles of Macroeconomics Problem Set 4 Solutions Fall 2004
art I. Tru/Fals/Uncrtain Justify your answr with a short argumnt. 4.02 rincipls of Macroconomics roblm St 4 Solutions Fall 2004. High unmploymnt implis that th labor markt is sclrotic. Uncrtain. Th unmploymnt
More informationExamples. Epipoles. Epipolar geometry and the fundamental matrix
Epipoar gomtry and th fundamnta matrix Epipoar ins Lt b a point in P 3. Lt x and x b its mapping in two imags through th camra cntrs C and C. Th point, th camra cntrs C and C and th (3D points corrspon
More informationPolicies for Simultaneous Estimation and Optimization
Policis for Simultanous Estimation and Optimization Migul Sousa Lobo Stphn Boyd Abstract Policis for th joint idntification and control of uncrtain systms ar prsntd h discussion focuss on th cas of a multipl
More informationSample Lesson. Intensive, Multisensory Reading Intervention with Proven Results Grades PreK 8+ RTI. Level 1: Introductory Lesson 5: Short e
ORTON GILLINGHAM Sampl Lsson Intnsiv, Multisnsory Rading Intrvntion with Provn Rsults Grads PrK 8+ RTI Lvl 1: Introductory Lsson 5: Short BASED PROGRAM tl 8002255750 psbookscom fax 8884402665 From Tachr
More information1 Walrasian Equilibria and Market E ciency
1 Walrasian Equilibria and Markt E cincy Rading in Txtbook: Chaptr 3 in Stiglitz. 1.1 Motivation Whn thinking about th rol of govrnmnt w hav to considr a numbr of rathr fundamntal qustions, such as: What
More informationSPREAD OPTION VALUATION AND THE FAST FOURIER TRANSFORM
RESEARCH PAPERS IN MANAGEMENT STUDIES SPREAD OPTION VALUATION AND THE FAST FOURIER TRANSFORM M.A.H. Dmpstr & S.S.G. Hong WP 26/2000 Th Judg Institut of Managmnt Trumpington Strt Cambridg CB2 1AG Ths paprs
More informationA Theoretical Model of Public Response to the Homeland Security Advisory System
A Thortical Modl of Public Rspons to th Homland Scurity Advisory Systm Amy (Wnxuan) Ding Dpartmnt of Information and Dcision Scincs Univrsity of Illinois Chicago, IL 60607 wxding@uicdu Using a diffrntial
More informationPlanning and Managing Copper Cable Maintenance through Cost Benefit Modeling
Planning and Managing Coppr Cabl Maintnanc through Cost Bnfit Modling Jason W. Rup U S WEST Advancd Tchnologis Bouldr Ky Words: Maintnanc, Managmnt Stratgy, Rhabilitation, Costbnfit Analysis, Rliability
More informationA Project Management framework for Software Implementation Planning and Management
PPM02 A Projct Managmnt framwork for Softwar Implmntation Planning and Managmnt Kith Lancastr Lancastr Stratgis Kith.Lancastr@LancastrStratgis.com Th goal of introducing nw tchnologis into your company
More informationUpper Bounding the Price of Anarchy in Atomic Splittable Selfish Routing
Uppr Bounding th Pric of Anarchy in Atomic Splittabl Slfish Routing Kamyar Khodamoradi 1, Mhrdad Mahdavi, and Mohammad Ghodsi 3 1 Sharif Univrsity of Tchnology, Thran, Iran, khodamoradi@c.sharif.du Sharif
More informationTELL YOUR STORY WITH MYNEWSDESK The world's leading allinone brand newsroom and multimedia PR platform
TELL YOUR STORY WITH MYNEWSDESK Th world's lading allinon brand nwsroom and multimdia PR platform SO WHAT'S THE STORY WITH MYNEWSDESK? Th world s lading allinon nwsroom and digital PR platform. Usd
More informationthe socalled KOBOS system. 1 with the exception of a very small group of the most active stocks which also trade continuously through
Liquidity and InformationBasd Trading on th Ordr Drivn Capital Markt: Th Cas of th Pragu tock Exchang Libor 1ÀPH³HN Cntr for Economic Rsarch and Graduat Education, Charls Univrsity and Th Economic Institut
More informationCompositional Specification of Commercial Contracts
Compositional Spcification of Commrcial Contracts Jspr Andrsn, Ebb Elsborg, Fritz Hnglin, Jakob Gru Simonsn, and Christian Stfansn Dpartmnt of Computr Scinc, Univrsity of Copnhagn (DIKU) Univrsittsparkn
More information3. Yes. You can put 20 of the 6V lights in series, or you can put several of the 6V lights in series with a large resistance.
CHAPTE 6: DC Circuits sponss to Qustions. Evn though th bird s ft ar at high potntial with rspct to th ground, thr is vry littl potntial diffrnc btwn thm, bcaus thy ar clos togthr on th wir. Th rsistanc
More informationEFFECT OF GEOMETRICAL PARAMETERS ON HEAT TRANSFER PERFORMACE OF RECTANGULAR CIRCUMFERENTIAL FINS
25 Vol. 3 () JanuaryMarch, pp.375/tripathi EFFECT OF GEOMETRICAL PARAMETERS ON HEAT TRANSFER PERFORMACE OF RECTANGULAR CIRCUMFERENTIAL FINS *Shilpa Tripathi Dpartmnt of Chmical Enginring, Indor Institut
More informationLogo Design/Development 1on1
Logo Dsign/Dvlopmnt 1on1 If your company is looking to mak an imprssion and grow in th marktplac, you ll nd a logo. Fortunatly, a good graphic dsignr can crat on for you. Whil th pric tags for thos famous
More information