Service Composition and Synthesis The Roman Model
|
|
- Horace Price
- 5 years ago
- Views:
Transcription
1 Service Composition nd Synthesis The Romn Model Giuseppe De Gicomo SAPIENZA Università di Rom, Itly Joint work with Dniel Berrdi, Mssimilino de Leoni, Diego Clvnese, Fhim Cheikh, Rick Hull, Murizio Lenzerini, Mssimo Mecell, Fio Ptrizi, Antonell Poggi, Riccrdo Rosti, Sestin Srdin 1
2 Introduction The promise of Service Computing is to use services fundmentl elements for relizing distriuted pplictions/solutions. Services re processes tht export their strct specifiction When no ville service stisfies desired specifiction, one might check whether (prts of) ville services cn e composed nd orchestrted in order to relize the specifiction. Working t n strct level enle us to exploit results from utomtic verifiction nd synthesis to verify nd compose services. The prolem of utomtic composition ecomes especilly interesting in the presence of stteful (converstionl) services. Among the vrious frmeworks proposed in the literture, here we concentrte on the so clled ``Romn Model (nme y Rick Hull). 2
3 Dt Integrtion Client Client s query Glol view or domin ontology Mpping 1 Mpping 2 Mpping n Source 1 Source 2 Source n 3
4 Service integrtion/composition: Key points Trget service spec. of the desired service ehvior expressed in terms of virtul ctions Action ontology spec. of tomic processes nd dt Aville services spec. of the ehvior of ville service processes expressed in terms of the environment No ville process for the trget service Must relize trget service y delegting ctul ctions to ville services Aville services re stteful, hence must relize the trget using frgments of their computtions Actul ville processes 4
5 The Romn Model: sics Key points Trget service Expressed s Trnsition System spec. of the desired service ehvior Action ontology Shred Actions Environment expr. s Trnsition Systems spec. of tomic processes nd dt Aville services Ech expressed s Trnsition System spec. of the ehvior of ville service processes No ville process for the trget service Must relize trget service y delegting ctul ctions to ville services Aville services re stteful, hence must relize the trget using frgments of their computtions Actul ville processes 5
6 Romn Model s min ingredients The Romn Model exemplifies wht cn e chieved y composing converstionl services nd uncovers reltionships with utomted synthesis of rective processes in Verifiction nd AI Plnning. Romn Model s min ingredients Ech ville service is formlly specified s trnsition system tht cptures its possile converstions with generic client. Desired specifiction is trget service, descried itself s trnsition system. the im is to utomticlly synthesize orchestrtors tht relize the trget service y delegting its ctions to the ville services, exploiting frgments of their execution. 6
7 Trnsition systems We represent services s trnsition systems: A TS is tuple < A, S, s0, δ> where: A is the set shred of ctions S is the set of sttes s0 2 S is the set of initil sttes δ µ S A S is the trnsition reltion 7
8 Service composition Prolem of composition existence Given: - ville services B 1,,B n - trget service T over the sme environment (sme set of tomic ctions) Check whether T cn e relized y delegting ctions to B 1,,B n so s to mimic T over time (forever!) Composition synthesis synthesis of the orchestrtor tht does the delegtion 8
9 Service composition s gme There re t lest two kinds of gmes. One could e clled finite, the other infinite. A finite gme is plyed for the purpose of winning n infinite gme for the purpose of continuing the ply. Finite nd Infinite Gmes J. P. Crse, philosopher 9
10 Service composition s gme: Service composition vs Plnning Plnning Stteless service composition Opertors: tomic ctions Gol: desired stte of ffir Service composition Romn model Opertors: ville trnsition systems Gol: trget trnsition system Gme: finite! compose opertors sequentilly so s to rech the gol Plying strtegy: pln (progrm hving opertors invoction s tomic instructions) Gme: infinite! compose ville trnsition systems concurrently so s to ply the trget trnsition system Plying strtegy: orchestrtor (process tht delegte trget ctions to the ville service 10
11 Simple exmple of service composition trget service Devilish nondeterminism! service 1 T0 T1 S10 S11 orchestrtor service 2 S20 For simplicity we don t consider environment. 11
12 Simple exmple of service composition trget service service 1 T0 T1 S10 S11 orchestrtor service 2 S20 12
13 Simple exmple of service composition trget service service 1 T0 T1 S10 S11 orchestrtor service 2 S20 13
14 Simple exmple of service composition trget service service 1 T0 T1 oserve the ctul stte! S10 S11 orchestrtor service 2 S20 14
15 Simple exmple of service composition trget service service 1 T0 T1 oserve the ctul stte! S10 S11 orchestrtor service 2 S20 15
16 Simple exmple of service composition trget service service 1 T0 T1 oserve the ctul stte! S10 S11 orchestrtor service 2 S20 16
17 Simple exmple of service composition trget service service 1 T0 T1 S10 S11 Orchestrtor progrm is ny function P(h,) = i tht tkes history h nd n ction to execute nd delegtes to one of the ville services i orchestrtor A history is sequence tht lterntes sttes of the ville services with ctions performed: (s 1 0,s 2 0,,s n 0) 1 (s 1 1,s 2 1,,s n 1) k (s k 1,s 2 k,,s n k) S20 service 2 Oserve tht to tke decision P hs full ccess to the pst, ut no ccess to the future 17
18 Synthesizing compositions Techniques for computing compositions: Reduction to PDL SAT Simultion-sed LTL synthesis s model checking of gme structure (ll techniques re for finite stte services) 18
19 Simultion-sed technique Directly sed on... controlling the concurrent execution of ville services B 1,,B n so s to mimic the trget service T Thm: Composition exists iff the synchronous (Crtesin) product C of B 1,,B n cn (ND-)simulte T 19
20 Exmple of composition y simultion B1: B2: Given from ville nd trget service B3: T: 20
21 Computing composition vi simultion Let B1,,Bn e the TSs of the ville ehviors. The Aville ehviors TS C = < A, S C, s C 0, δ C,F C > is the synchronous product of B1,...,Bn where: A is the set of ctions SC = S1... Sn sc 0 = (s 0 1,..., s 0 m) δ C µ S C A S C is defined s follows: (s1... sn)! (s 1... s n) iff 9 i. si! s i 2 δi nd 8 j i. s j = sj 21
22 Exmple of composition y simultion B1: C : B2: B3: consider the synchronous product of the ville services 22 22
23 Simultion reltion Given trget service T nd (the synchronous product of) ville services C, (ND-)simultion is reltion R etween the sttes t 2 T n (s1,..,sn) of C such tht: (t, s1,..,sn) 2 R implies tht for ll t! t in T, exists Bi 2 C s.t. 9 si! s i in Bi Æ 8 si! s i in Bi ) (t, s1,..s i,..sn) 2 R If exists simultion reltion R (such tht (t 0, s1 0,..,sn 0 ) 2 R, then we sy tht or T is simulted y C (or C simultes T). Simulted-y is (i) simultion; (ii) the lrgest simultion. Simulted-y is coinductive definition 23
24 Simultion reltion (cont.) Algorithm Compute (ND-)simultion Input: trget ehvior T nd (sync. prod. of) ville ehviors C Output: the simulted-y reltion (the lrgest simultion) Body R = ; R = ST S1.. Sn while (R R ) { R := R R := R - {(t, s1,..,sn) 9 t! t in T Æ (9 si! s i in Bi Æ 8 si! s i in Bi ) (t, s1,..s i,..sn) 2 R )} } return R End 24
25 Exmple of composition y simultion B1: C : B2: B3: T: compute ND-simultion
26 Using simultion for composition Given the lrgest simultion R of T y C, we cn uild every composition through the orchestrtor genertor (OG). OG = < A, [1,,n], Sr, sr 0, δr, ωr,> with A : the ctions shred y the ehviors [1,,n]: the identifiers of the ville services in the community Sr = ST S1... Sn : the sttes of the orchestrtor genertor sr 0 = (t 0, s 0 1,..., s 0 n) : the initil stte of the orchestrtor genertor ω: Sr Ar! 2 [1,,n] : the output function, defined s follows: ω(t, s1,..,sn, ) = { i 9 t!, t in T Æ 9 si!, si in Bi Æ (t, s1,..,s i,..,sn )2 R} δ µ Sr A [1,,n]! Sr : the stte trnsition function, defined s follows (t, s1,..., si,..., sn)!,i (t, s1,..., s i,..., sn) iff i 2 ω(t, s1,.., si,.., sn, ) 26
27 Exmple of composition y simultion compute the orchestrtor genertor B1: C : Orchestrtor Genertor B2: B3: T: W(t1,s1q1,) = {1,2} W(t1,s1q1,c) = {2} W(t1,s2q1,) = {2} W(t1,s2q1,c) = {2} W(t2,s1q1,) = {3} W(t2,s1q2,) = {2} W(t2,s2q1,) = {1,3} W(t2,s2q2,) = {2} W(t3,s1q1,) = {2} W(t3,s2q1,) = {2} W(t4,s1q1,) = {3} W(t4,s1q2,) = {2} W(t4,s2q1,) = {1,3} W(t4,s2q2,) = {2} 27
28 Results Thm: choosing t ech point ny vlue in returned y the orchestrtor genertor gives us composition. Thm: every composition cn e otined y choosing, t ech point suitle vlue mong those returned y the orchestrtor genertor. Note: there infinitely mny compositions ut only one orchestrtor genertor tht cptures them ll Thm: computing the orchestrtor genertor is EXPTIME, nd in fct exponentil only in the numer (nd not the size) of the ville ehviors. Composition in the Romn Model ws shown to e EXPTIME-hrd [Muscholl&Wlukiewicz07] 28
29 Just-in-time composition Once we hve the orchestrtor genertor we cn void choosing ny prticulr composition priori nd use directly ω to choose the ville ehvior to which delegte the next ction. We cn e lzy nd mke such choice just-in-time, possily dpting rectively to runtime feedck. Just-in-time compositions cn e used to rectively ct upon filures [KR08]! 29
30 Tools for computing composition sed on simultion Computing simultion is well-studied prolem (relted to computing isimultion key notion in process lger). Tools, like the Edinurgh Concurrency Workench nd its clones, cn e dpted to compute composition vi simultion. Also LTL-sed synthesis tools, like TLV, cn e used for (indirectly) computing composition vi simultion [Ptrizi PhD09] We re currently focusing on the second pproch. 30
31 Adding dt to the Romn Model Adding dt is crucil in certin contexts: Dt - rich description of the sttic informtion of interest. Behviors - rich description of the dynmics of the process But mkes the pproch extremely chllenging: We get to work with infinite trnsition systems Simultion cn still e used for cpturing composition But it cnnot e computed explicitly nymore. We present two orthogonl pproches to del with them. 31
32 The Romn Model: Americn twek with Rick Hull + Jinwen Su Trget service Expressed s Gurded TS with prmeters spec. of the desired service ehvior Aville services Ech expressed s Gurded TS with prmeters spec. of the ehvior of ville service processes Key points No ville process for the trget service Must relize trget service y delegting ctul ctions to ville services Aville services re stteful, hence must relize the trget using frgments of their computtions Actul ville processes 32
33 Dt-Awre Service Composition 33
34 Services ct on n integrted view of the world [BCDHM-VLDB05] Client (humn or mchine) Store Bnk Wre- House Rel World Actions my impct rel world modeled s FOL reltions Also ctions my e messges etween services 34
35 Service ehvior of s strct finite stte mchines tht query nd ct on the infinite stte world (pyby == CC) (price > 10) /! requestcccheck(crtnum)? replycccheck( pp roved) pproved == F /! replyorder( fil ) pproved == T / requestship( wh, ddr; oid,dte,sttus)!? requestorder( pyby,crtnum, ddr,price) (pyby == PREPAID) (price 10) / chrge(crtnum; pymentok) pymentok == F /! replyorder( fil ) pymentok == T / requestship(wh,ddr; oid,dte,sttus)! shipsttus( oid, dte,sttus) shipsttus( oid, dte,sttus)? requestshipsttus(oid) checkshipsttus( o id; dte,sttus) Locl store Edge conditions sed on locl store (nd incoming messge) Edge ctions Atomic Process cting on the world set the locl store Crete/send messge Red messge [BCDHM-VLDB05] 35
36 The Romn Model: Austrlin/Cndin twek with Sestin Srdin RMIT/UOT! Trget service Expressed s ConGolog Progrm spec. of the desired service ehvior Aville services Ech expressed s ConGolog Progrm spec. of the ehvior of ville service processes Key points No ville process for the trget service Must relize trget service y delegting ctul ctions to ville services Aville services re stteful, hence must relize the trget using frgments of their computtions Actul ville processes 36
37 Composition of ConGolog Progrms 37
38 Mixing dt nd service integrtion: A rel chllenge for the whole CS We hve ll the issues of dt integrtion ut in ddition Behvior: description of the dynmics of the process! Behvior should e formlly nd strctly descried: conceptul modeling of dynmics (not l OWL-S). Which? Workflows community my help Business process community my help Services community my help Process lgers community my help AI & Resoning out ctions community my help DB community my help my help Artifct-centric pproch promising! Techniques for nlysis/synthesis of services in presence of unounded dt cn come from different communities: Verifiction (CAV) community: strction to finite sttes AI (KR) community: working directly in FOL/SOL, e.g., SitClc 38
39 The Romn Model: Itlin drem Very preliminry ides in DL07 Trget service Expressed in conceptul process description lnguge spec. of the desired service ehvior Key points No ville process for the trget service Must relize trget service y delegting ctul ctions to ville services Aville services Ech expressed conceptul process description lnguge spec. of the ehvior of ville service processes Aville services re stteful, hence must relize the trget using frgments of their computtions Actul ville processes 39
40 References [ICSOC 03] Dniel Berrdi, Diego Clvnese, Giuseppe De Gicomo, Murizio Lenzerini, Mssimo Mecell: Automtic Composition of E- services Tht Export Their Behvior. ICSOC 2003 [WES 03] Dniel Berrdi, Diego Clvnese, Giuseppe De Gicomo, Murizio Lenzerini, Mssimo Mecell: A Foundtionl Vision of e- Services. WES 2003 [TES 04] Dniel Berrdi, Diego Clvnese, Giuseppe De Gicomo, Murizio Lenzerini, Mssimo Mecell: : A Tool for Automtic Composition ofservices Bsed on Logics of Progrms. TES 2004 [ICSOC 04] Dniel Berrdi, Giuseppe De Gicomo, Murizio Lenzerini, Mssimo Mecell, Diego Clvnese: Synthesis of underspecified composite e-services sed on utomted resoning. ICSOC 2004 [IJCIS 05] Dniel Berrdi, Diego Clvnese, Giuseppe De Gicomo, Murizio Lenzerini, Mssimo Mecell: Automtic Service Composition Bsed on Behviorl Descriptions. Int. J. Coopertive Inf. Syst. 14(4): (2005) [VLDB 05] Dniel Berrdi, Diego Clvnese, Giuseppe De Gicomo, Richrd Hull, Mssimo Mecell: Automtic Composition of Trnsitionsed Semntic We Services with Messging. VLDB 2005 [ICSOC 05] Dniel Berrdi, Diego Clvnese, Giuseppe De Gicomo, Mssimo Mecell: Composition of Services with Nondeterministic Oservle Behvior. ICSOC 2005 [SWS 06] Fhim Cheikh, Giuseppe De Gicomo, Mssimo Mecell: Automtic we services composition in trustwre communities. Proceedings of the 3rd ACM workshop on Secure we services [AISC 06] Dniel Berrdi, Diego Clvnese, Giuseppe De Gicomo, Mssimo Mecell. Automtic We Service Composition: Servicetilored vs. Client-tilored Approches. In Proc. AISC 2006, Interntionl Workshop jointly with ECAI [FOSSACS 07] Anc Muscholl, Igor Wlukiewicz: A lower ound on we services composition. Proceedings FOSSACS, LNCS, Springer, Volume 4423, pge [ICWS07] Giuseppe De Gicomo, Mssimilino De Leoni, Mssimo Mecell, Fio Ptrizi.. Automtic Workflows Composition of Moile Services. ICWS [IJCAI 07] Giuseppe De Gicomo, Sestin Srdiñ: Automtic Synthesis of New Behviors from Lirry of Aville Behviors. IJCAI [AAAI 07] Sestin Srdiñ, Fio Ptrizi, Giuseppe De Gicomo: Automtic synthesis of glol ehvior from multiple distriuted ehviors. AAAI [DL07] Diego Clvnese, Giuseppe De Gicomo, Murizio Lenzerini, Riccrdo Rosti. Actions nd progrms over description logic ontologies. DL [IJFCS08] Dniel Berrdi, Fhim Cheikh, Giuseppe De Gicomo, Fio Ptrizi: Automtic Service Composition vi Simultion. IJFCS, 2008 [KR08] Sestin Srdiñ, Fio Ptrizi, Giuseppe De Gicomo: Behvior composition in the presence of filure. KR [ICAPS08] Sestin Srdiñ, Giuseppe De Gicomo: Relizing Multiple Autonomous Agents through Scheduling of Shred Devices. ICAPS 2008.
Specifying Data-Flow Requirements for the Automated Composition of Web Services
Specifying Dt-Flow Requirements for the Automted Composition of We Services Annpol Mrconi ITC-Irst - Trento - Itly mrconi@itc.it Mrco Pistore University of Trento - Itly pistore@dit.unitn.it Polo Trverso
More informationOn the Description of Communications Between Software Components with UML
On the Description of Communictions Between Softwre Components with UML Zhiwei An Dennis Peters Fculty of Engineering nd Applied Science Memoril University of Newfoundlnd St. John s NL A1B 3X5 zhiwei@engr.mun.c
More informationSequential Logic (2) Synchronous vs Asynchronous Sequential Circuit. Clock Signal. Synchronous Sequential Circuits. FSM Overview 9/10/12
9//2 Sequentil (2) ENGG5 st Semester, 22 Dr. Hden So Deprtment of Electricl nd Electronic Engineering http://www.eee.hku.hk/~engg5 Snchronous vs Asnchronous Sequentil Circuit This Course snchronous Sequentil
More informationDataflow Language Model. DataFlow Models. Applications of Dataflow. Dataflow Languages. Kahn process networks. A Kahn Process (1)
The slides contin revisited mterils from: Peter Mrwedel, TU Dortmund Lothr Thiele, ETH Zurich Frnk Vhid, University of liforni, Riverside Dtflow Lnguge Model Drsticlly different wy of looking t computtion:
More informationMath Circles Finite Automata Question Sheet 3 (Solutions)
Mth Circles Finite Automt Question Sheet 3 (Solutions) Nickols Rollick nrollick@uwterloo.c Novemer 2, 28 Note: These solutions my give you the nswers to ll the prolems, ut they usully won t tell you how
More informationDigital Design. Sequential Logic Design -- Controllers. Copyright 2007 Frank Vahid
Digitl Design Sequentil Logic Design -- Controllers Slides to ccompny the tetook Digitl Design, First Edition, y, John Wiley nd Sons Pulishers, 27. http://www.ddvhid.com Copyright 27 Instructors of courses
More informationAlgorithms for Memory Hierarchies Lecture 14
Algorithms for emory Hierrchies Lecture 4 Lecturer: Nodri Sitchinv Scribe: ichel Hmnn Prllelism nd Cche Obliviousness The combintion of prllelism nd cche obliviousness is n ongoing topic of reserch, in
More information& Y Connected resistors, Light emitting diode.
& Y Connected resistors, Light emitting diode. Experiment # 02 Ojectives: To get some hndson experience with the physicl instruments. To investigte the equivlent resistors, nd Y connected resistors, nd
More informationThe Math Learning Center PO Box 12929, Salem, Oregon Math Learning Center
Resource Overview Quntile Mesure: Skill or Concept: 300Q Model the concept of ddition for sums to 10. (QT N 36) Model the concept of sutrction using numers less thn or equl to 10. (QT N 37) Write ddition
More informationMulti-beam antennas in a broadband wireless access system
Multi-em ntenns in rodnd wireless ccess system Ulrik Engström, Mrtin Johnsson, nders Derneryd nd jörn Johnnisson ntenn Reserch Center Ericsson Reserch Ericsson SE-4 84 Mölndl Sweden E-mil: ulrik.engstrom@ericsson.com,
More informationMAXIMUM FLOWS IN FUZZY NETWORKS WITH FUNNEL-SHAPED NODES
MAXIMUM FLOWS IN FUZZY NETWORKS WITH FUNNEL-SHAPED NODES Romn V. Tyshchuk Informtion Systems Deprtment, AMI corportion, Donetsk, Ukrine E-mil: rt_science@hotmil.com 1 INTRODUCTION During the considertion
More informationDiscontinued AN6262N, AN6263N. (planed maintenance type, maintenance type, planed discontinued typed, discontinued type)
ICs for Cssette, Cssette Deck ANN, ANN Puse Detection s of Rdio Cssette, Cssette Deck Overview The ANN nd the ANN re the puse detection integrted circuits which select the progrm on the cssette tpe. In
More informationCHAPTER 3 AMPLIFIER DESIGN TECHNIQUES
CHAPTER 3 AMPLIFIER DEIGN TECHNIQUE 3.0 Introduction olid-stte microwve mplifiers ply n importnt role in communiction where it hs different pplictions, including low noise, high gin, nd high power mplifiers.
More informationGeometric quantities for polar curves
Roerto s Notes on Integrl Clculus Chpter 5: Bsic pplictions of integrtion Section 10 Geometric quntities for polr curves Wht you need to know lredy: How to use integrls to compute res nd lengths of regions
More informationRadiant systems 0801EN March 2016 Radiant plasterboard ceiling and/or floor system ISO /7
RADIANT CEILING SYSTEM Description is rdint ceiling/wll system relized with 600x1200 mm EPS200 preformed pnels coted with 0,3 mm luminium thermo-conductor sheets, where the plstic pipe with n externl Ø
More informationCS 135: Computer Architecture I. Boolean Algebra. Basic Logic Gates
Bsic Logic Gtes : Computer Architecture I Boolen Algebr Instructor: Prof. Bhgi Nrhri Dept. of Computer Science Course URL: www.ses.gwu.edu/~bhgiweb/cs35/ Digitl Logic Circuits We sw how we cn build the
More informationSolutions to exercise 1 in ETS052 Computer Communication
Solutions to exercise in TS52 Computer Communiction 23 Septemer, 23 If it occupies millisecond = 3 seconds, then second is occupied y 3 = 3 its = kps. kps If it occupies 2 microseconds = 2 6 seconds, then
More informationStudent Book SERIES. Fractions. Name
D Student Book Nme Series D Contents Topic Introducing frctions (pp. ) modelling frctions frctions of collection compring nd ordering frctions frction ingo pply Dte completed / / / / / / / / Topic Types
More informationCS2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2005
CS2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2005 EXPERIMENT 1 FUNDAMENTALS 1. GOALS : Lern how to develop cr lrm digitl circuit during which the following re introduced : CS2204 l fundmentls, nd
More informationAlgebra Practice. Dr. Barbara Sandall, Ed.D., and Travis Olson, M.S.
By Dr. Brr Sndll, Ed.D., Dr. Melfried Olson, Ed.D., nd Trvis Olson, M.S. COPYRIGHT 2006 Mrk Twin Medi, Inc. ISBN 978-1-58037-754-6 Printing No. 404042-EB Mrk Twin Medi, Inc., Pulishers Distriuted y Crson-Dellos
More informationY9.ET1.3 Implementation of Secure Energy Management against Cyber/physical Attacks for FREEDM System
Y9.ET1.3 Implementtion of Secure Energy ngement ginst Cyber/physicl Attcks for FREED System Project Leder: Fculty: Students: Dr. Bruce cillin Dr. o-yuen Chow Jie Dun 1. Project Gols Develop resilient cyber-physicl
More informationDESIGN OF CONTINUOUS LAG COMPENSATORS
DESIGN OF CONTINUOUS LAG COMPENSATORS J. Pulusová, L. Körösi, M. Dúbrvská Institute of Robotics nd Cybernetics, Slovk University of Technology, Fculty of Electricl Engineering nd Informtion Technology
More informationAvailable online at ScienceDirect. Procedia Engineering 89 (2014 )
Aville online t www.sciencedirect.com ScienceDirect Procedi Engineering 89 (2014 ) 411 417 16th Conference on Wter Distriution System Anlysis, WDSA 2014 A New Indictor for Rel-Time Lek Detection in Wter
More informationRegular languages can be expressed as regular expressions.
Regulr lnguges cn e expressed s regulr expressions. A generl nondeterministic finite utomton (GNFA) is kind of NFA such tht: There is unique strt stte nd is unique ccept stte. Every pir of nodes re connected
More informationA New Algorithm to Compute Alternate Paths in Reliable OSPF (ROSPF)
A New Algorithm to Compute Alternte Pths in Relile OSPF (ROSPF) Jin Pu *, Eric Mnning, Gholmli C. Shoj, Annd Srinivsn ** PANDA Group, Computer Science Deprtment University of Victori Victori, BC, Cnd Astrct
More informationINSTITUTE OF AERONAUTICAL ENGINEERING (Autonomous) Dundigal, Hyderabad
Hll Ticket No Question Pper Code: AEC009 INSTITUTE OF AERONAUTICAL ENGINEERING (Autonomous) Dundigl, Hyderd - 500 043 MODEL QUESTION PAPER Four Yer B.Tech V Semester End Exmintions, Novemer - 2018 Regultions:
More information(1) Non-linear system
Liner vs. non-liner systems in impednce mesurements I INTRODUCTION Electrochemicl Impednce Spectroscopy (EIS) is n interesting tool devoted to the study of liner systems. However, electrochemicl systems
More informationRe: PCT Minimum Documentation: Updating of the Inventory of Patent Documents According to PCT Rule 34.1
C. SCIT 2508 00 August 10, 2000 Re: PCT Minimum Documenttion: Updting of the Inventory of Ptent Documents According to PCT Rule 34.1 Sir, Mdm, The current version of the Inventory of Ptent Documents for
More informationResearch Article Efficient Integration of Pipelined IP Blocks into Automatically Compiled Datapaths
Hindwi Pulishing Corportion EURASIP Journl on Emedded Systems Volume 27, Article ID 6573, 9 pges doi:.55/27/6573 Reserch Article Efficient Integrtion of Pipelined IP Blocks into Automticlly Compiled s
More informationEfficient and Resilient Key Discovery based on Pseudo-Random Key Pre-Deployment
Efficient nd Resilient Key Discovery sed on Pseudo-Rndom Key Pre-Deployment p. 1 Efficient nd Resilient Key Discovery sed on Pseudo-Rndom Key Pre-Deployment Roerto Di Pietro, Luigi V. Mncini, nd Alessndro
More informationDomination and Independence on Square Chessboard
Engineering nd Technology Journl Vol. 5, Prt, No. 1, 017 A.A. Omrn Deprtment of Mthemtics, College of Eduction for Pure Science, University of bylon, bylon, Irq pure.hmed.omrn@uobby lon.edu.iq Domintion
More informationIntention reconsideration in theory and practice
Intention reconsidertion in theory nd prctice Simon Prsons nd Ol Pettersson nd lessndro Sffiotti nd Michel Wooldridge bstrct. utonomous gents operting in complex dynmic environments need the bility to
More informationLATEST CALIBRATION OF GLONASS P-CODE TIME RECEIVERS
LATEST CALIBRATION OF GLONASS P-CODE TIME RECEIVERS A. Fos 1, J. Nwroci 2, nd W. Lewndowsi 3 1 Spce Reserch Centre of Polish Acdemy of Sciences, ul. Brtyc 18A, 00-716 Wrsw, Polnd; E-mil: fos@c.ww.pl; Tel.:
More informationImpact of Research Activities on FCH Technologies and Policy Development
Impct of Activities on FCH Technologies nd Policy Development for NERGHY Grouping Deborh Jones Centre Ntionl de l Recherche Scientifique, Montpellier, Frnce 1 Europen Community in FCH technologies Europen
More informationPB-735 HD DP. Industrial Line. Automatic punch and bind machine for books and calendars
PB-735 HD DP Automtic punch nd bind mchine for books nd clendrs A further step for the utomtion of double loop binding. A clever nd flexible mchine ble to punch nd bind in line up to 9/16. Using the best
More informationCS2204 DIGITAL LOGIC & STATE MACHINE DESIGN fall 2008
CS224 DIGITAL LOGIC & STATE MACHINE DESIGN fll 28 STAND ALONE XILINX PROJECT 2-TO- MULTIPLEXER. Gols : Lern how to develop stnd lone 2-to- multiplexer () Xilinx project during which the following re introduced
More informationProceedings of Meetings on Acoustics
Proceedings of Meetings on Acoustics Volume 19, 2013 http://cousticlsociety.org/ ICA 2013 Montrel Montrel, Cnd 2-7 June 2013 Signl Processing in Acoustics Session 4SP: Sensor Arry Bemforming nd Its Applictions
More informationMixed CMOS PTL Adders
Anis do XXVI Congresso d SBC WCOMPA l I Workshop de Computção e Aplicções 14 20 de julho de 2006 Cmpo Grnde, MS Mixed CMOS PTL Adders Déor Mott, Reginldo d N. Tvres Engenhri em Sistems Digitis Universidde
More informationThe Discussion of this exercise covers the following points:
Exercise 4 Bttery Chrging Methods EXERCISE OBJECTIVE When you hve completed this exercise, you will be fmilir with the different chrging methods nd chrge-control techniques commonly used when chrging Ni-MI
More informationPolar Coordinates. July 30, 2014
Polr Coordintes July 3, 4 Sometimes it is more helpful to look t point in the xy-plne not in terms of how fr it is horizontlly nd verticlly (this would men looking t the Crtesin, or rectngulr, coordintes
More informationExperimental Application of H Output-Feedback Controller on Two Links of SCARA Robot
INTERNATIONAL JOURNAL OF CONTROL, AUTOMATION AND SYSTEMS VOL.5 NO. Jnury 6 ISSN 65-877 (Print) ISSN 65-885 (Online) http://www.reserchpu.org/journl/jc/jc.html Experimentl Appliction of H Output-Feedck
More informationISSCC 2006 / SESSION 21 / ADVANCED CLOCKING, LOGIC AND SIGNALING TECHNIQUES / 21.5
21.5 A 1.1GHz Chrge-Recovery Logic Visvesh Sthe, Jung-Ying Chueh, Mrios Ppefthymiou University of Michign, Ann Aror, MI Boost Logic is chrge-recovery circuit fmily cple of operting t GHz-clss frequencies
More informationREVIEW QUESTIONS. Figure For Review Question Figure For Review Question Figure For Review Question 10.2.
HAPTE 0 Sinusoidl Stedy-Stte Anlysis 42 EVIEW QUESTIONS 0. The voltge cross the cpcitor in Fig. 0.43 is: () 5 0 V () 7.07 45 V (c) 7.07 45 V (d) 5 45 V Ω 0.5 efer to the circuit in Fig. 0.47 nd oserve
More informationUsing Compass 3 to Program the Senso Diva Page 1
Pge 1 Selection of Senso Div Instrument Style SD-CIC Custom CIC Up to 50-60dB HL Hering Loss SD-XM Custom ITE or ITC with Loctor Up to 60-70dB HL Hering Loss SD-9M BTE with Loctor Up to 70-80dB HL Hering
More informationITEC2620 Introduction to Data Structures
/5/20 ITEC220 Introdution to Dt Strutures Leture 0 Gme Trees Two-Plyer Gmes Rules for gme define the sttespe Nodes re gme sttes Links re possile moves Build serh tree y rute fore Exmple I Exmple II A Our
More informationExample. Check that the Jacobian of the transformation to spherical coordinates is
lss, given on Feb 3, 2, for Mth 3, Winter 2 Recll tht the fctor which ppers in chnge of vrible formul when integrting is the Jcobin, which is the determinnt of mtrix of first order prtil derivtives. Exmple.
More informationSOLVING TRIANGLES USING THE SINE AND COSINE RULES
Mthemtics Revision Guides - Solving Generl Tringles - Sine nd Cosine Rules Pge 1 of 17 M.K. HOME TUITION Mthemtics Revision Guides Level: GCSE Higher Tier SOLVING TRIANGLES USING THE SINE AND COSINE RULES
More informationOutcome Matrix based Phrase Selection
Outcome Mtrix bsed Phrse Selection Aln R Wgner Georgi Tech Reserch Institute 50 4 th Street NW, Atlnt GA 0-08 Abstrct This rticle presents method for using outcome mtrices for socil phrse selection. An
More informationUse of compiler optimization of software bypassing as a method to improve energy efficiency of exposed data path architectures
Guzm et l. EURASIP Journl on Emedded Systems 213, 213:9 RESEARCH Open Access Use of compiler optimiztion of softwre ypssing s method to improve energy efficiency of exposed dt pth rchitectures Vldimír
More informationSection 16.3 Double Integrals over General Regions
Section 6.3 Double Integrls over Generl egions Not ever region is rectngle In the lst two sections we considered the problem of integrting function of two vribles over rectngle. This sitution however is
More informationstanchion paper roll mandrel base FIGURE P3-12 ramp
1 MCHINE DESIGN - n Integrted pproch stnchion pper ro mndre se FIGURE -1 roem -7 rmp FIGURE -1 roem -8 1-ft grid -0 Run the computer mode CSE for Cse Study (on the CD-ROM in sever nguges) nd move the point
More informationPostprint. This is the accepted version of a paper presented at IEEE PES General Meeting.
http://www.div-portl.org Postprint This is the ccepted version of pper presented t IEEE PES Generl Meeting. Cittion for the originl published pper: Mhmood, F., Hooshyr, H., Vnfretti, L. (217) Sensitivity
More informationHomework #1 due Monday at 6pm. White drop box in Student Lounge on the second floor of Cory. Tuesday labs cancelled next week
Announcements Homework #1 due Mondy t 6pm White drop ox in Student Lounge on the second floor of Cory Tuesdy ls cncelled next week Attend your other l slot Books on reserve in Bechtel Hmley, 2 nd nd 3
More informationHow to Build Wealth Like Warren Buffett.
Your FREE gift for ordering How to Build Welth Like Wrren Buffett The video ABC-TV clled lively, informtive, nd lot of fun. You cn t help but get swept up by the enthusism of this rewrding film. Don t
More informationTopic 20: Huffman Coding
Topic 0: Huffmn Coding The uthor should gze t Noh, nd... lern, s they did in the Ark, to crowd gret del of mtter into very smll compss. Sydney Smith, dinburgh Review Agend ncoding Compression Huffmn Coding
More informationAbacaba-Dabacaba! by Michael Naylor Western Washington University
Abcb-Dbcb! by Michel Nylor Western Wshington University The Abcb structure shows up in n mzing vriety of plces. This rticle explores 10 surprising ides which ll shre this pttern, pth tht will tke us through
More informationABB STOTZ-KONTAKT. ABB i-bus EIB Current Module SM/S Intelligent Installation Systems. User Manual SM/S In = 16 A AC Un = 230 V AC
User Mnul ntelligent nstlltion Systems A B 1 2 3 4 5 6 7 8 30 ma 30 ma n = AC Un = 230 V AC 30 ma 9 10 11 12 C ABB STOTZ-KONTAKT Appliction Softwre Current Vlue Threshold/1 Contents Pge 1 Device Chrcteristics...
More informationTiming Macro-modeling of IP Blocks with Crosstalk
Timing Mcro-modeling of IP Blocks with Crosstlk Ruiming Chen nd Hi Zhou Electricl nd Computer Engineering Northwestern Universit Evnston, IL 60208 Astrct With the increse of design compleities nd the decrese
More informationMake Your Math Super Powered
Mke Your Mth Super Powered: Use Gmes, Chllenges, nd Puzzles Where s the fun? Lern Mth Workshop model by prticipting in one nd explore fun nocost/low-cost gmes nd puzzles tht you cn esily bring into your
More informationOpen Access A Novel Parallel Current-sharing Control Method of Switch Power Supply
Send Orders for Reprints to reprints@enthmscience.e 170 The Open Electricl & Electronic Engineering Journl, 2014, 8, 170-177 Open Access A Novel Prllel Current-shring Control Method of Switch Power Supply
More informationAn Approach to Semantic Matching of Web Services
An Approch to emntic Mtching of Web ervices Dingjin Chen Jin Wu huyu Li Mnfu M Zhengguo Hu Computer school orthwestern Polytechnicl University Xi n hnxi 7007 Chin Computer school hnxi orml University Xi
More informationComputing Logic-Stage Delays Using Circuit Simulation and Symbolic Elmore Analysis
Computing Logic-Stge Delys Using Circuit Simultion nd Symolic Elmore Anlysis Clyton B. McDonld Rndl E. Brynt Deprtment of Electricl nd Computer Engineering Crnegie Mellon University, Pittsurgh, PA 15213
More informationTesting Delay Faults in Asynchronous Handshake Circuits
Testing Dely Fults in Asynchronous Hnshke Circuits Feng Shi Electricl Engineering Dept. Yle University New Hven, Connecticut feng.shi@yle.eu Yiorgos Mkris Electricl Engineering Dept. Yle Univerisity New
More informationTravel Prediction-based Data Forwarding for Sparse Vehicular Networks. Technical Report
Trvel Prediction-sed Dt Forwrding for Sprse Vehiculr Networks Technicl Report Deprtment of Computer Science nd Engineering University of Minnesot 4-192 Keller Hll 200 Union Street SE Minnepolis, MN 55455-0159
More informationUniversity of North Carolina-Charlotte Department of Electrical and Computer Engineering ECGR 4143/5195 Electrical Machinery Fall 2009
Problem 1: Using DC Mchine University o North Crolin-Chrlotte Deprtment o Electricl nd Computer Engineering ECGR 4143/5195 Electricl Mchinery Fll 2009 Problem Set 4 Due: Thursdy October 8 Suggested Reding:
More informationKirchhoff s Rules. Kirchhoff s Laws. Kirchhoff s Rules. Kirchhoff s Laws. Practice. Understanding SPH4UW. Kirchhoff s Voltage Rule (KVR):
SPH4UW Kirchhoff s ules Kirchhoff s oltge ule (K): Sum of voltge drops round loop is zero. Kirchhoff s Lws Kirchhoff s Current ule (KC): Current going in equls current coming out. Kirchhoff s ules etween
More informationAutomatic Heuristic Construction in a Complete General Game Player
Automtic Heuristic Construction in Complete Generl Gme Plyer Gregory Kuhlmnn, Kurt Dresner nd Peter Stone Deprtment of Computer Sciences, The University of Texs t Austin 1 University Sttion C0500, Austin,
More informationLecture 16: Four Quadrant operation of DC Drive (or) TYPE E Four Quadrant chopper Fed Drive: Operation
Lecture 16: Four Qudrnt opertion of DC Drive (or) TYPE E Four Qudrnt chopper Fed Drive: Opertion The rmture current I is either positive or negtive (flow in to or wy from rmture) the rmture voltge is lso
More information10.4 AREAS AND LENGTHS IN POLAR COORDINATES
65 CHAPTER PARAMETRIC EQUATINS AND PLAR CRDINATES.4 AREAS AND LENGTHS IN PLAR CRDINATES In this section we develop the formul for the re of region whose oundry is given y polr eqution. We need to use the
More informationBoolean Linear Dynamical System (Topological Markov Chain)
/ 23 Boolen Liner Dynmicl System (Topologicl Mrkov Chin) Yokun Wu (~ˆn) Shnghi Jio Tong University (þ ÏŒA) S ŒAŽA AAH 7 ÊcÊ ÔF(.õ&F) Dynmicl system sed on one digrph 2 / 23 2 5 3 4 Figure: A digrph, representing,
More informationPROGRAMMING MANUAL MTMA/01 MTMV/01 FB00329-EN
RMMING MNUL MTM/01 MTMV/01 FB00329-EN Generl precutions Red the instructions crefully efore eginning the instlltion nd crry out the ctions s specified y the mnufcturer. The instlltion, progrmming, commissioning
More informationExercise 1-1. The Sine Wave EXERCISE OBJECTIVE DISCUSSION OUTLINE. Relationship between a rotating phasor and a sine wave DISCUSSION
Exercise 1-1 The Sine Wve EXERCISE OBJECTIVE When you hve completed this exercise, you will be fmilir with the notion of sine wve nd how it cn be expressed s phsor rotting round the center of circle. You
More informationColor gamut reduction techniques for printing with custom inks
Color gmut reduction techniques for printing with custom inks Sylvin M. CHOSSON *, Roger D. HERSCH * Ecole Polytechnique Fédérle de usnne (EPF) STRCT Printing with custom inks is of interest oth for rtistic
More informationSafety Relay Unit. Main contacts Auxiliary contact Number of input channels Rated voltage Model Category. possible 24 VAC/VDC G9SA-501.
Sfety Rely Unit The Series Offers Complete Line-up of Compct Units. Four kinds of -mm wide Units re ville: A -pole model, -pole model, nd models with poles nd OFF-dely poles, s well s Two-hnd ler. Simple
More informationECE 274 Digital Logic Spring Digital Design. Combinational Logic Design Process and Common Combinational Components Digital Design
ECE 27 Digitl Logi Spring 29 Comintionl Logi Design Proess n Common Comintionl Components Digitl Design 2.7 2. Digitl Design Chpter 2: Comintionl Logi Design Slies to ompn the tetook Digitl Design, irst
More informationRedundancy Data Elimination Scheme Based on Stitching Technique in Image Senor Networks
Sensors & Trnsducers 204 by IFSA Publishing, S. L. http://www.sensorsportl.com Redundncy Dt Elimintion Scheme Bsed on Stitching Technique in Imge Senor Networks hunling Tng hongqing Technology nd Business
More informationTriangles and parallelograms of equal area in an ellipse
1 Tringles nd prllelogrms of equl re in n ellipse Roert Buonpstore nd Thoms J Osler Mthemtics Deprtment RownUniversity Glssoro, NJ 0808 USA uonp0@studentsrownedu osler@rownedu Introduction In the pper
More informationTo provide data transmission in indoor
Hittite Journl of Science nd Engineering, 2018, 5 (1) 25-29 ISSN NUMBER: 2148-4171 DOI: 10.17350/HJSE19030000074 A New Demodultor For Inverse Pulse Position Modultion Technique Mehmet Sönmez Osmniye Korkut
More informationSoftware for the automatic scaling of critical frequency f 0 F2 and MUF(3000)F2 from ionograms applied at the Ionospheric Observatory of Gibilmanna
ANNALS OF GEOPHYSICS, VOL. 47, N. 6, Decemer 2004 Softwre for the utomtic scling of criticl frequency f 0 F2 nd MUF(3000)F2 from ionogrms pplied t the Ionospheric Oservtory of Giilmnn Michel Pezzopne nd
More informationSimultaneous Adversarial Multi-Robot Learning
Simultneous Adversril Multi-Robot Lerning Michel Bowling nd Mnuel Veloso Computer Science Deprtment Crnegie Mellon University Pittsburgh PA, 15213-3891 Abstrct Multi-robot lerning fces ll of the chllenges
More informationStudent Book SERIES. Patterns and Algebra. Name
E Student Book 3 + 7 5 + 5 Nme Contents Series E Topic Ptterns nd functions (pp. ) identifying nd creting ptterns skip counting completing nd descriing ptterns predicting repeting ptterns predicting growing
More informationMEASURE THE CHARACTERISTIC CURVES RELEVANT TO AN NPN TRANSISTOR
Electricity Electronics Bipolr Trnsistors MEASURE THE HARATERISTI URVES RELEVANT TO AN NPN TRANSISTOR Mesure the input chrcteristic, i.e. the bse current IB s function of the bse emitter voltge UBE. Mesure
More informationSynchronous Machine Parameter Measurement
Synchronous Mchine Prmeter Mesurement 1 Synchronous Mchine Prmeter Mesurement Introduction Wound field synchronous mchines re mostly used for power genertion but lso re well suited for motor pplictions
More informationFrancis Gaspalou Second edition of February 10, 2012 (First edition on January 28, 2012) HOW MANY SQUARES ARE THERE, Mr TARRY?
Frncis Gslou Second edition of Ferury 10, 2012 (First edition on Jnury 28, 2012) HOW MANY SQUARES ARE THERE, Mr TARRY? ABSTRACT In this er, I enumerte ll the 8x8 imgic sures given y the Trry s ttern. This
More informationCHAPTER 2 LITERATURE STUDY
CHAPTER LITERATURE STUDY. Introduction Multipliction involves two bsic opertions: the genertion of the prtil products nd their ccumultion. Therefore, there re two possible wys to speed up the multipliction:
More informationOutline. A.I. Applications. Searching for the solution. Chess game. Deep Blue vs. Kasparov 20/03/2017
Outline Giorgio Buttzzo E-mil: g.buttzzo@sssup.it Scuol Superiore Snt Ann retis.sssup.it/~giorgio/slides/neurl/inn.html Motivtions Neurl processing Lerning prdigms Associtive memories Pttern recognitions
More informationLECTURE 9: QUADRATIC RESIDUES AND THE LAW OF QUADRATIC RECIPROCITY
LECTURE 9: QUADRATIC RESIDUES AND THE LAW OF QUADRATIC RECIPROCITY 1. Bsic roerties of qudrtic residues We now investigte residues with secil roerties of lgebric tye. Definition 1.1. (i) When (, m) 1 nd
More informationMATH 118 PROBLEM SET 6
MATH 118 PROBLEM SET 6 WASEEM LUTFI, GABRIEL MATSON, AND AMY PIRCHER Section 1 #16: Show tht if is qudrtic residue modulo m, nd b 1 (mod m, then b is lso qudrtic residue Then rove tht the roduct of the
More informationMETHOD OF LOCATION USING SIGNALS OF UNKNOWN ORIGIN. Inventor: Brian L. Baskin
METHOD OF LOCATION USING SIGNALS OF UNKNOWN ORIGIN Inventor: Brin L. Bskin 1 ABSTRACT The present invention encompsses method of loction comprising: using plurlity of signl trnsceivers to receive one or
More informationOn Decidability of LTL+Past Model Checking for Process Rewrite Systems
Electronic Notes in Theoreticl Computer Science 239 (2009) 105 117 www.elsevier.com/locte/entcs On Decidbility of LTL+Pst Model Checking for Process Rewrite Systems Mojmír Křetínský 1,4 Vojtěch Řehák2,5
More informationImplementation of Different Architectures of Forward 4x4 Integer DCT For H.264/AVC Encoder
Implementtion of Different Architectures of Forwrd 4x4 Integer DCT For H.64/AVC Encoder Bunji Antoinette Ringnyu, Ali Tngel, Emre Krulut 3 Koceli University, Institute of Science nd Technology, Koceli,
More informationUnderstanding Basic Analog Ideal Op Amps
Appliction Report SLAA068A - April 2000 Understnding Bsic Anlog Idel Op Amps Ron Mncini Mixed Signl Products ABSTRACT This ppliction report develops the equtions for the idel opertionl mplifier (op mp).
More informationVector Calculus. 1 Line Integrals
Vector lculus 1 Line Integrls Mss problem. Find the mss M of very thin wire whose liner density function (the mss per unit length) is known. We model the wire by smooth curve between two points P nd Q
More informationEY-AM 300: novanet BACnet application master, modunet300
Product dt sheet 96.010 EY-AM 300: novnet BACnet ppliction mster, modunet300 How energy efficiency is improved Open communiction for interoperle opertion of the entire optimised plnt. Fetures Prt of the
More informationInclined Plane Walking Compensation for a Humanoid Robot
Incline Plne Wlking Compenstion for Humnoi Robot Nttpong Kewlek n Thvi Mneewrn Institute of Fiel Robotics, King Mongkut's University of Technology Thonburi, Bngkok, Thiln (Tel : +662-4709339; E-mil: k.nttpong@hotmil.co.th,
More informationSubword Permutation Instructions for Two-Dimensional Multimedia Processing in MicroSIMD Architectures
Suword Permuttion Instructions for Two-Dimensionl Multimedi Processing in MicroSIMD rchitectures Ruy. Lee Princeton University rlee@ee.princeton.edu strct MicroSIMD rchitectures incorporting suword prllelism
More informationEE Controls Lab #2: Implementing State-Transition Logic on a PLC
Objective: EE 44 - Controls Lb #2: Implementing Stte-rnsition Logic on PLC ssuming tht speed is not of essence, PLC's cn be used to implement stte trnsition logic. he dvntge of using PLC over using hrdwre
More informationPatterns and Relationships
Series Techer Ptterns nd Reltionships opyright 009 3P Lerning. All rights reserved. First edition printed 009 in Austrli. A ctlogue record for this ook is ville from 3P Lerning Ltd. ISBN 978-1-91860-3-4
More informationExperiment 3: The research of Thevenin theorem
Experiment 3: The reserch of Thevenin theorem 1. Purpose ) Vlidte Thevenin theorem; ) Mster the methods to mesure the equivlent prmeters of liner twoterminl ctive. c) Study the conditions of the mximum
More informationElectrical data Nominal voltage AC/DC 24 V Nominal voltage frequency
echnicl dt sheet LRF24- Communictive rotry ctutor with emergency control function for ll vlves Nominl torque 4 Nm Nominl voltge AC/DC 24 V Control Modulting DC (0)2...10 V Vrile Position feedck DC 2...10
More information