The example is taken from Sect. 1.2 of Vol. 1 of the CPN book.
|
|
- Bruce Hood
- 8 years ago
- Views:
Transcription
1 Rsourc Allocation Abstract This is a small toy xampl which is wll-suitd as a first introduction to Cnts. Th CN modl is dscribd in grat dtail, xplaining th basic concpts of C-nts. 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 (kjnsn@daimi.au.dk).
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 p-procsss and q-procsss) and thr diffrnt kinds of rsourcs (calld r-rsourcs, s-rsourcs, and t-rsourcs). 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 C-nt 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 C-nts 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 implmntation-dpndnt intrval). Intuitivly, th first lmnt of a tokn tlls whthr th tokn rprsnts a p-procss or a q-procss, 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 multi-st). Morovr, R has on -tokn, S has thr -tokns and T has two -tokns. Th marking of ach plac is a multi-st ovr th colour st attachd to th plac. W nd multi-sts 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 multi-st 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 multi-st of tokns from S. This multi-st is dtrmind by valuating th corrsponding arc xprssion. As it can b sn, th multi-st dpnds upon th kind of procss involvd. A p-procss nds two s-rsourcs to go from B to C (and thus it rmovs two -tokns from S), whil a q-procss only nds on s-rsourc 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 C-nt 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 (p-procsss go to B, whil q-procsss 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 multi-st 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 q-procsss 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 p-tokns 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 s-rsourc (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 s-rsourc actually mans that w can rach a dadlock. This can b sn by ltting th two p-procsss advanc from stat B to stat D, whil th q-procsss 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
QUANTITATIVE 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 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 informationLecture 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 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 12-13)
con 37: Answr Ky for Problm St (Chaptr 2-3) 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 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 informationEntity-Relationship Model
Entity-Rlationship Modl Kuang-hua 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 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. Gang-Ln 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 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 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 not-for-profit mmbrship association whos mission is to connct studnts to collg succss and opportunity.
More informationUse a high-level 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 high-lvl concptual data modl (ER Modl). Idntify objcts of intrst (ntitis) and rlationships btwn ths objcts Idntify constraints (conditions) End
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 ral-valud Fourir sris is xplaind and formula ar givn for convrting
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 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 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 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 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 informationA Note on Approximating. the Normal Distribution Function
Applid Mathmatical Scincs, Vol, 00, no 9, 45-49 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 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 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 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 informationElectronic Commerce. and. Competitive First-Degree Price Discrimination
Elctronic Commrc and Comptitiv First-Dgr Pric Discrimination David Ulph* and Nir Vulkan ** Fbruary 000 * ESRC Cntr for Economic arning and Social Evolution (ESE), Dpartmnt of Economics, Univrsity Collg
More informationFree ACA SOLUTION (IRS 1094&1095 Reporting)
Fr ACA SOLUTION (IRS 1094&1095 Rporting) Th Insuranc Exchang (301) 279-1062 ACA Srvics Transmit IRS Form 1094 -C for mployrs Print & mail IRS Form 1095-C to mploys HR Assist 360 will gnrat th 1095 s for
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 HYPER-V/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 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 informationSci.Int.(Lahore),26(1),131-138,2014 ISSN 1013-5316; CODEN: SINTE 8 131
Sci.Int.(Lahor),26(1),131-138,214 ISSN 113-5316; CODEN: SINTE 8 131 REQUIREMENT CHANGE MANAGEMENT IN AGILE OFFSHORE DEVELOPMENT (RCMAOD) 1 Suhail Kazi, 2 Muhammad Salman Bashir, 3 Muhammad Munwar Iqbal,
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 informationConstraint-Based Analysis of Gene Deletion in a Metabolic Network
Constraint-Basd Analysis of Gn Dltion in a Mtabolic Ntwork Abdlhalim Larhlimi and Alxandr Bockmayr DFG-Rsarch Cntr Mathon, FB Mathmatik und Informatik, Fri Univrsität Brlin, Arnimall, 3, 14195 Brlin, Grmany
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 5-1: 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 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 informationExpert-Mediated Search
Exprt-Mdiatd 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 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 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 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 # 1-17 odd In th nxt two ction, w xamin how population growth can b modld uing diffrntial quation. W tart
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 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 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 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 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 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 informationIncomplete 2-Port 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 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 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 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 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 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 077-358 IJTPE Journal www.iotp.com ijtp@iotp.com Sptmbr 015 Issu 4 Volum 7
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 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 informationImportant Information Call Through... 8 Internet Telephony... 6 two PBX systems... 10 Internet Calls... 3 Internet Telephony... 2
Installation and Opration Intrnt Tlphony Adaptr Aurswald Box Indx C I R 884264 03 02/05 Call Duration, maximum...10 Call Through...7 Call Transportation...7 Calls Call Through...7 Intrnt Tlphony...3 two
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 informationOnline Price Competition within and between Heterogeneous Retailer Groups
Onlin Pric Comptition within and btwn Htrognous Rtailr Groups Cnk Kocas Dpartmnt of Markting and Supply Chain Managmnt, Michigan Stat Univrsity kocas@msu.du Abstract This study prsnts a modl of pric comptition
More informationLogo Design/Development 1-on-1
Logo Dsign/Dvlopmnt 1-on-1 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 informationthe so-called KOBOS system. 1 with the exception of a very small group of the most active stocks which also trade continuously through
Liquidity and Information-Basd 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 informationIHE IT Infrastructure (ITI) Technical Framework Supplement. Cross-Enterprise Document Workflow (XDW) Trial Implementation
Intgrating th Halthcar Entrpris 5 IHE IT Infrastructur (ITI) Tchnical Framwork Supplmnt 10 Cross-Entrpris Documnt Workflow (XDW) 15 Trial Implmntation 20 Dat: Octobr 13, 2014 Author: IHE ITI Tchnical Committ
More informationCPU. Rasterization. Per Vertex Operations & Primitive Assembly. Polynomial Evaluator. Frame Buffer. Per Fragment. Display List.
Elmntary Rndring Elmntary rastr algorithms for fast rndring Gomtric Primitivs Lin procssing Polygon procssing Managing OpnGL Stat OpnGL uffrs OpnGL Gomtric Primitivs ll gomtric primitivs ar spcifid by
More informationEnforcing Fine-grained Authorization Policies for Java Mobile Agents
Enforcing Fin-graind Authorization Policis for Java Mobil Agnts Giovanni Russllo Changyu Dong Narankr Dulay Dpartmnt of Computing Imprial Collg London South Knsington London, SW7 2AZ, UK {g.russllo, changyu.dong,
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 informationHardware Modules of the RSA Algorithm
SERBIAN JOURNAL OF ELECTRICAL ENGINEERING Vol. 11, No. 1, Fbruary 2014, 121-131 UDC: 004.3`142:621.394.14 DOI: 10.2298/SJEE140114011S Hardwar Moduls of th RSA Algorithm Vlibor Škobić 1, Branko Dokić 1,
More informationTELL YOUR STORY WITH MYNEWSDESK The world's leading all-in-one brand newsroom and multimedia PR platform
TELL YOUR STORY WITH MYNEWSDESK Th world's lading all-in-on brand nwsroom and multimdia PR platform SO WHAT'S THE STORY WITH MYNEWSDESK? Th world s lading all-in-on nwsroom and digital PR platform. Usd
More informationCHAPTER 4c. ROOTS OF EQUATIONS
CHAPTER c. ROOTS OF EQUATIONS A. J. Clark School o Enginring Dpartmnt o Civil and Environmntal Enginring by Dr. Ibrahim A. Aakka Spring 00 ENCE 03 - Computation Mthod in Civil Enginring II Dpartmnt o Civil
More informationEFFECT OF GEOMETRICAL PARAMETERS ON HEAT TRANSFER PERFORMACE OF RECTANGULAR CIRCUMFERENTIAL FINS
25 Vol. 3 () January-March, pp.37-5/tripathi EFFECT OF GEOMETRICAL PARAMETERS ON HEAT TRANSFER PERFORMACE OF RECTANGULAR CIRCUMFERENTIAL FINS *Shilpa Tripathi Dpartmnt of Chmical Enginring, Indor Institut
More informationThe price of liquidity in constant leverage strategies. Marcos Escobar, Andreas Kiechle, Luis Seco and Rudi Zagst
RACSAM Rv. R. Acad. Cin. Sri A. Mat. VO. 103 2, 2009, pp. 373 385 Matmática Aplicada / Applid Mathmatics Th pric of liquidity in constant lvrag stratgis Marcos Escobar, Andras Kichl, uis Sco and Rudi Zagst
More informationAnalyzing Failures of a Semi-Structured Supercomputer Log File Efficiently by Using PIG on Hadoop
Intrnational Journal of Computr Scinc and Enginring Opn Accss Rsarch Papr Volum-2, Issu-1 E-ISSN: 2347-2693 Analyzing Failurs of a Smi-Structurd Suprcomputr Log Fil Efficintly by Using PIG on Hadoop Madhuri
More informationunion scholars program APPLICATION DEADLINE: FEBRUARY 28 YOU CAN CHANGE THE WORLD... AND EARN MONEY FOR COLLEGE AT THE SAME TIME!
union scholars YOU CAN CHANGE THE WORLD... program AND EARN MONEY FOR COLLEGE AT THE SAME TIME! AFSCME Unitd Ngro Collg Fund Harvard Univrsity Labor and Worklif Program APPLICATION DEADLINE: FEBRUARY 28
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 informationhttp://www.wwnorton.com/chemistry/tutorials/ch14.htm Repulsive Force
ctivation nrgis http://www.wwnorton.com/chmistry/tutorials/ch14.htm (back to collision thory...) Potntial and Kintic nrgy during a collision + + ngativly chargd lctron cloud Rpulsiv Forc ngativly chargd
More informationKeywords Cloud Computing, Service level agreement, cloud provider, business level policies, performance objectives.
Volum 3, Issu 6, Jun 2013 ISSN: 2277 128X Intrnational Journal of Advancd Rsarch in Computr Scinc and Softwar Enginring Rsarch Papr Availabl onlin at: wwwijarcsscom Dynamic Ranking and Slction of Cloud
More informationBasis risk. When speaking about forward or futures contracts, basis risk is the market
Basis risk Whn spaking about forward or futurs contracts, basis risk is th markt risk mismatch btwn a position in th spot asst and th corrsponding futurs contract. Mor broadly spaking, basis risk (also
More informationGOAL SETTING AND PERSONAL MISSION STATEMENT
Prsonal Dvlopmnt Track Sction 4 GOAL SETTING AND PERSONAL MISSION STATEMENT Ky Points 1 Dfining a Vision 2 Writing a Prsonal Mission Statmnt 3 Writing SMART Goals to Support a Vision and Mission If you
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, Cost-bnfit Analysis, Rliability
More informationCookie Policy- May 5, 2014
Cooki Policy- May 5, 2014 Us of Cookis on Sizmk Wbsits This Cooki Disclosur applis only to us of cookis on corporat wbsits (www.sizmk.com and rlatd rgional wbsits) publishd by Sizmk Inc. and its affiliats
More informationCloud and Big Data Summer School, Stockholm, Aug., 2015 Jeffrey D. Ullman
Cloud and Big Data Summr Scool, Stockolm, Aug., 2015 Jffry D. Ullman Givn a st of points, wit a notion of distanc btwn points, group t points into som numbr of clustrs, so tat mmbrs of a clustr ar clos
More informationThe international Internet site of the geoviticulture MCC system Le site Internet international du système CCM géoviticole
Th intrnational Intrnt sit of th goviticultur MCC systm L sit Intrnt intrnational du systèm CCM géoviticol Flávio BELLO FIALHO 1 and Jorg TONIETTO 1 1 Rsarchr, Embrapa Uva Vinho, Caixa Postal 130, 95700-000
More informationFACULTY SALARIES FALL 2004. NKU CUPA Data Compared To Published National Data
FACULTY SALARIES FALL 2004 NKU CUPA Data Compard To Publishd National Data May 2005 Fall 2004 NKU Faculty Salaris Compard To Fall 2004 Publishd CUPA Data In th fall 2004 Northrn Kntucky Univrsity was among
More informationOPTIONS AND FUTURES: A TECHNICAL APPRAISAL
Pag 15 OPTIONS AND FUTURES: A TECHNICAL APPRAISAL by David J.S. Rutldg Papr prsntd to Sminar on Trading in Options: Opportunitis in th Intrnational Markt sponsord by Th Sydny Stock Exchang and Th Scuritis
More informationPerformance Evaluation
Prformanc Evaluation ( ) Contnts lists availabl at ScincDirct Prformanc Evaluation journal hompag: www.lsvir.com/locat/pva Modling Bay-lik rputation systms: Analysis, charactrization and insuranc mchanism
More informationMETHODS FOR HANDLING TIED EVENTS IN THE COX PROPORTIONAL HAZARD MODEL
STUDIA OECONOMICA POSNANIENSIA 204, vol. 2, no. 2 (263 Jadwiga Borucka Warsaw School of Economics, Institut of Statistics and Dmography, Evnt History and Multilvl Analysis Unit jadwiga.borucka@gmail.com
More informationRural and Remote Broadband Access: Issues and Solutions in Australia
Rural and Rmot Broadband Accss: Issus and Solutions in Australia Dr Tony Warrn Group Managr Rgulatory Stratgy Tlstra Corp Pag 1 Tlstra in confidnc Ovrviw Australia s gographical siz and population dnsity
More informationUser-Perceived Quality of Service in Hybrid Broadcast and Telecommunication Networks
Usr-Prcivd Quality of Srvic in Hybrid Broadcast and Tlcommunication Ntworks Michal Galtzka Fraunhofr Institut for Intgratd Circuits Branch Lab Dsign Automation, Drsdn, Grmany Michal.Galtzka@as.iis.fhg.d
More informationTheoretical aspects of investment demand for gold
Victor Sazonov (Russia), Dmitry Nikolav (Russia) Thortical aspcts of invstmnt dmand for gold Abstract Th main objctiv of this articl is construction of a thortical modl of invstmnt in gold. Our modl is
More informationAn Broad outline of Redundant Array of Inexpensive Disks Shaifali Shrivastava 1 Department of Computer Science and Engineering AITR, Indore
Intrnational Journal of mrging Tchnology and dvancd nginring Wbsit: www.ijta.com (ISSN 2250-2459, Volum 2, Issu 4, pril 2012) n road outlin of Rdundant rray of Inxpnsiv isks Shaifali Shrivastava 1 partmnt
More informationSwitches and Indicators 01
Switchs and Indicators 01 01 Switchs and Indicators Indx Sris 01 Dscription Pag 15 Product Assmbly Pag 16 Product Rang - pushbutton for standard mounting - accssoris / spar parts Tchnical Data Pag 17 Pag
More informationIn the first years of the millennium, Americans flocked to Paris to enjoy French
14 chaptr Exchang Rats and th Forign Exchang Markt: An Asst Approach 320 In th first yars of th millnnium, Amricans flockd to Paris to njoy Frnch cuisin whil shopping for dsignr clothing and othr spcialtis.
More informationWho uses our services? We have a growing customer base. with institutions all around the globe.
not taking xpr Srvic Guid 2013 / 2014 NTE i an affordabl option for audio to txt convrion. Our rvic includ not or dirct trancription rvic from prviouly rcordd audio fil. Our rvic appal pcially to tudnt
More informationVersion 1.0. General Certificate of Education (A-level) January 2012. Mathematics MPC3. (Specification 6360) Pure Core 3. Final.
Vrsion.0 Gnral Crtificat of Education (A-lvl) January 0 Mathmatics MPC (Spcification 660) Pur Cor Final Mark Schm Mark schms ar prpard by th Principal Eaminr and considrd, togthr with th rlvant qustions,
More informationRent, Lease or Buy: Randomized Algorithms for Multislope Ski Rental
Rnt, Las or Buy: Randomizd Algorithms for Multislop Ski Rntal Zvi Lotkr zvilo@cs.bgu.ac.il Dpt. of Comm. Systms Enginring Bn Gurion Univrsity Br Shva Isral Boaz Patt-Shamir Dror Rawitz {boaz, rawitz}@ng.tau.ac.il
More informationCUTTING METHODS AND CARTESIAN ROBOTS KESME YÖNTEMLERİ VE KARTEZYEN ROBOTLAR
ournal of Naval Scinc and Enginring 2009, Vol. 5, No.2, pp. 35-42 CUTTING METHODS AND CARTESIAN ROBOTS Asst. Prof. Ugur SIMSIR, Lt.Cdr. Turkish Naval Acady Mchanical Enginring Dpartnt Tuzla, Istanbul,Turkiy
More informationAn Adaptive Clustering MAP Algorithm to Filter Speckle in Multilook SAR Images
An Adaptiv Clustring MAP Algorithm to Filtr Spckl in Multilook SAR Imags FÁTIMA N. S. MEDEIROS 1,3 NELSON D. A. MASCARENHAS LUCIANO DA F. COSTA 1 1 Cybrntic Vision Group IFSC -Univrsity of São Paulo Caia
More informationDr David Dexter The Parkinson s UK Brain Bank
Dr David Dxtr Th Parkinon UK Brain Bank In aociation with Vrion 1/2011 introducing th brain bank Contnt Uing my tiu 4 Collcting my tiu 6 Storing my tiu 8 Uing my pronal information 10 W r th UK largt brain
More informationProjections - 3D Viewing. Overview Lecture 4. Projection - 3D viewing. Projections. Projections Parallel Perspective
Ovrviw Lctur 4 Projctions - 3D Viwing Projctions Paralll Prspctiv 3D Viw Volum 3D Viwing Transformation Camra Modl - Assignmnt 2 OFF fils 3D mor compl than 2D On mor dimnsion Displa dvic still 2D Analog
More informationCurrent and Resistance
Chaptr 6 Currnt and Rsistanc 6.1 Elctric Currnt...6-6.1.1 Currnt Dnsity...6-6. Ohm s Law...6-4 6.3 Elctrical Enrgy and Powr...6-7 6.4 Summary...6-8 6.5 Solvd Problms...6-9 6.5.1 Rsistivity of a Cabl...6-9
More informationCategory 1: Purchased Goods and Services
1 Catgory 1: Purchasd Goods and Srvics Catgory dscription T his catgory includs all upstram (i.., cradl-to-gat) missions from th production of products purchasd or acquird by th rporting company in th
More informationMeerkats: A Power-Aware, Self-Managing Wireless Camera Network for Wide Area Monitoring
Mrkats: A Powr-Awar, Slf-Managing Wirlss Camra Ntwork for Wid Ara Monitoring C. B. Margi 1, X. Lu 1, G. Zhang 1, G. Stank 2, R. Manduchi 1, K. Obraczka 1 1 Dpartmnt of Computr Enginring, Univrsity of California,
More informationTheoretical approach to algorithm for metrological comparison of two photothermal methods for measuring of the properties of materials
Rvista Invstigación Cintífica, ol. 4, No. 3, Nuva época, sptimbr dicimbr 8, IN 187 8196 Thortical approach to algorithm for mtrological comparison of two photothrmal mthods for masuring of th proprtis
More information