Handling on-line changes. Handling on-line changes. Handling overload conditions. Handling on-line changes
|
|
- Preston Ball
- 5 years ago
- Views:
Transcription
1 ED41/DIT171 - Parallel and Disribued Real-Time ysems, Chalmers/GU, 011/01 Lecure #10 Updaed pril 15, 01 Handling on-line changes Handling on-line changes Targe environmen mode changes aic (periodic) asks τ τ1 μ 1 τ rchiecure τ τ τ 4 τ 4 Run-ime sysem μ μ Hardware plaform Operaor panel Operaor display periodic asks dynamic arrivals τtc T ransien fauls Origins of on-line changes: Changing ask characerisics: Tasks execue shorer han heir wors-case execuion ime. Tasks increase/decrease he values of heir saic parameers as a resul of, for example, mode changes. Dynamically arriving asks: periodic asks (wih characerisics known a priori) arrive New asks (wih characerisics no known a priori) ener he sysem a run-ime. Changing hardware configuraion: Transien/inermien/permanen hardware fauls Conrolled hardware re-configuraion (mode change) Handling on-line changes Consequences of on-line changes: Overload siuaions: Changes in workload/archiecure characerisics causes he accumulaed processing demands from all asks o exceed he capaciies of he available processors. Quesion: How do we rejec cerain asks in a way such ha he infliced damage is minimized? cheduling anomalies: Changes in workload/archiecure causes non-inuiive negaive effecs of sysem schedulabiliy. Quesion: How do we avoid cerain changes or use feasibiliy ess o guaranee ha anomalies do no occur? Handling overload condiions How do we handle a siuaion where he sysem becomes emporarily overloaded? Bes-effor schemes: No predicion for overload condiions. Guaranee schemes: Processor load is conrolled by coninuous accepance ess. Robus schemes: Differen policies for ask accepance and ask rejecion. Negoiaion schemes: Modifies workload characerisics wihin agreed-upon bounds. 1
2 ED41/DIT171 - Parallel and Disribued Real-Time ysems, Chalmers/GU, 011/01 Lecure #10 Updaed pril 15, 01 Handling overload condiions Bes-effor schemes: Includes hose algorihms wih no predicions for overload condiions. new ask is always acceped ino he so he sysem performance can only be conrolled hrough a proper prioriy assignmen. Handling overload condiions Guaranee schemes: Includes hose algorihms in which he load on he processor is conrolled by an accepance es execued a each ask arrival. If he ask se is found schedulable, he new ask is acceped; oherwise, i is rejeced. ask always acceped execuion ask guaranee rouine acceped execuion rejeced Bes-effor scheduling: {Locke, 1986} In case of overload, he asks wih he minimum value densiy are removed. Dynamic scheduling: {Ramamriham and ankovic, 1984} If a newly-arrived ask canno be guaraneed (EDF), i is eiher dropped or disribued scheduling is aemped. Handling overload condiions Robus schemes: Includes hose algorihms ha separae iming consrains and imporance by considering wo differen policies: one for ask accepance and one for ask rejecion. Handling overload condiions Negoiaion schemes: Includes hose algorihms ha aemp o modify iming consrains and/or imporance wihin cerain specified limis in an aemp o maximize sysem uiliy. ask planning scheduling policy execuion ask negoiaion service conrac execuion reclaiming policy rejec queue rejecion policy consrain configuraions RED (Robus Earlies Deadline): {Buazzo and ankovic, 199} Includes deadline olerance (for accepance) and imporance value (for rejecion) of each ask. Qo Negoiaion lgorihm: {bdelzaher, kins and hin, 1997} Primary and alernae Qualiy-of-ervice levels (consrain configuraions) given for each ask.
3 ED41/DIT171 - Parallel and Disribued Real-Time ysems, Chalmers/GU, 011/01 Lecure #10 Updaed pril 15, 01 Handling overload condiions Handling overload condiions Cumulaive value: The cumulaive value of a scheduling algorihm is a performance measure wih he following qualiy: n Γ = i = 1 ( ) v f Compeiive facor: scheduling algorihm has a compeiive facor ϕ if and only if i can guaranee a cumulaive value * Γ ϕ Γ * where Γ is he cumulaive value achieved by an opimal clairvoyan scheduler. i Limiaions of on-line schedulers: (Baruah e al., 199) In sysems where he loading facor is greaer han and asks values are proporional o heir compuaion imes, no on-line algorihm can guaranee a compeiive facor greaer han 0.5. Observaions: If he overload has an infinie duraion, no on-line algorihm can guaranee a compeiive facor greaer han zero. Even for inermien overloads, plain EDF has a zero compeiive facor. The Dover algorihm has opimal compeiive facor (Koren & hasha, 199) Having he bes compeiive facor among all on-line algorihms does no mean having he bes performance in any load condiion. Handling aperiodic asks Handling aperiodic asks Targe environmen aic (periodic) asks μ 1 rchiecure τ τ 4 Run-ime sysem μ μ Hardware plaform cenralized arrival Operaor panel Operaor display periodic ask τ disribued arrival periodic ask model: paial: The aperiodic ask arrival is handled cenralized; his is he case for muliprocessor servers wih a common run-ime sysem. The aperiodic ask arrival is handled disribued; his is he case for disribued sysems wih separae run-ime sysems. Temporal: The aperiodic ask is assumed o only arrive once; hus, i has no period. The acual arrival ime of an aperiodic ask is no known in advance (unless he sysem is clairvoyan). The acual parameers (e.g., WCET, relaive deadline) of an aperiodic ask may no be known in advance.
4 ED41/DIT171 - Parallel and Disribued Real-Time ysems, Chalmers/GU, 011/01 Lecure #10 Updaed pril 15, 01 Handling aperiodic asks Handling aperiodic asks pproaches for handling aperiodic asks: erver-based approach: Reserve capaciy o a "server ask" ha is dedicaed o handling aperiodic asks. ll aperiodic asks are acceped, bu can only be handled in a bes-effor fashion no guaranee on schedulabiliy erver-less approach: schedulabiliy es is made on-line for each arriving aperiodic ask guaraneed schedulabiliy for acceped ask. Rejeced aperiodic asks could eiher be dropped or forwarded o anoher processor (in case of muliprocessor sysems) Challenges in handling aperiodic asks: erver-based approach: How do we reserve enough capaciy o he server ask wihou compromising schedulabiliy of hard real-ime asks, while ye offering good service for fuure aperiodic ask arrivals? erver-less approach: How do we design a schedulabiliy es ha accouns for arrived aperiodic asks (remember: hey do no have periods)? To wha oher processor do we off-load a rejeced aperiodic ask (in case of muliprocessor sysems)? periodic servers Handling (sof) aperiodic asks on uniprocessors: : Handles aperiodic/sporadic asks in a sysem where periodic asks are scheduled based on a saic-prioriy scheme (RM). Dynamic-prioriy servers: Handles aperiodic/sporadic asks in a sysem where periodic asks are scheduled based on a dynamic-prioriy scheme (EDF). lo-shifing server: Handles aperiodic/sporadic asks in a sysem where periodic asks are scheduled based on a ime-driven scheme. Background scheduling: chedule aperiodic aciviies in he background; ha is, when here are no periodic ask insances o execue. dvanage: Very simple implemenaion Disadvanage: Response ime can be oo long Primary goal: o minimize he response imes of aperiodic asks in order o increase he likelihood of meeing heir deadlines. 4
5 ED41/DIT171 - Parallel and Disribued Real-Time ysems, Chalmers/GU, 011/01 Lecure #10 Updaed pril 15, 01 Background scheduling: aperiodic requess R1 = 7 R = 6 { { } } / 6 4 / = C 1 =,T 1 = 6 = C = 4,T = 10 U = Polling erver (P): (Lehoczky, ha & rosnider, 1987) ervice aperiodic asks using a dedicaed ask wih a period Ts and a capaciy Cs. If no aperiodic asks need service in he beginning of P:s period, P suspends iself unil beginning of nex period. Unused server capaciy is used by periodic asks. dvanage: Much beer average response ime Disadvanage: If no aperiodic reques occurs a beginning of server period, he enire server capaciy for ha period is los. Polling erver: aperiodic even R1 = 5 R = R = 6 R4 = { } τ = {,5} { } U 0.98 = 1,4 =, Deferrable erver (D): (Lehoczky, ha & rosnider, 1987) ervice aperiodic asks using a dedicaed ask wih a period Ts and a capaciy Cs. erver mainains is capaciy unil end of period so ha requess can be serviced as capaciy is no exhaused. dvanage: Even beer average response ime because capaciy is no los Cs
6 ED41/DIT171 - Parallel and Disribued Real-Time ysems, Chalmers/GU, 011/01 Lecure #10 Updaed pril 15, 01 Deferrable erver: = 1, { } τ = {,5} { } U 0.98 =,6 R1 = R = R = R4 = 1 aperiodic requess Feasibiliy es for RM + D: se of n periodic asks and one aperiodic server are schedulable using RM if he processor uilizaion does no exceed: U U RM +D = U + n + U + 1 1/n 1 Cs (Oher) Feasibiliy es for RM + D: Rules-of-humb: n U RM +D 0.65 ( for U = 0.186) ( ) ( ) U RM +D U RM for U 0.4 U RM +D > U RM for U > 0.4 Prioriy Exchange erver: (Lehoczky, ha & rosnider, 1987) Preserves is capaciy by emporarily exchanging i for he execuion ime of a lower-prioriy periodic ask. poradic erver: (prun, ha & Lehoczky, 1989) Replenishes is capaciy only afer i has been consumed by aperiodic ask execuion. lack ealing: (Lehoczky & Ramos-Thuel, 199) Does no use a periodic server ask. Insead, i creaes a passive ask which aemps o make ime for servicing aperiodic asks by sealing processing ime from periodic asks wihou causing heir deadlines o be missed. 6
7 ED41/DIT171 - Parallel and Disribued Real-Time ysems, Chalmers/GU, 011/01 Lecure #10 Updaed pril 15, 01 Dynamic-prioriy servers Non-exisence of opimal servers: (Tia, Liu & hankar, 1995) For any se of periodic asks ordered on a given saic-prioriy scheme and aperiodic requess ordered according o a given aperiodic queuing discipline, here does no exis any valid algorihm ha minimizes he response ime of every sof aperiodic reques. For any se of periodic asks ordered on a given saic-prioriy scheme and aperiodic requess ordered according o a given aperiodic queuing discipline, here does no exis any on-line algorihm ha minimizes he average response ime of he sof aperiodic requess. Dynamic Prioriy Exchange erver: (puri & Buazzo, 1994) Preserves is capaciy by emporarily exchanging i for he execuion ime of a lower-prioriy (longer deadline) ask. Dynamic poradic erver: (puri & Buazzo, 1994) Replenishes is capaciy only afer i has been consumed by aperiodic ask execuion. Toal Bandwidh erver: (puri & Buazzo, 1994) ssign a (possibly earlier) deadline o each aperiodic ask and schedule i as a normal ask. Deadlines are assigned such ha he overall processor uilizaion of he aperiodic load never exceeds a specified maximum value Us. lo-shifing server lo-hifing erver: (Fohler, 1995) chedules aperiodic asks in he unused ime slos in a schedule generaed for ime-driven dispaching. ssociaed wih each poin in ime is a spare capaciy ha indicaes by how much he execuion of he nex periodic ask can be shifed in ime wihou missing any deadline. Whenever an aperiodic ask arrives, ask insances in he saic workload may be shifed in ime by as much as he spare capaciy indicaes in order o accommodae he new ask. 7
Written Exercise Sheet 5
jian-jia.chen [ ] u-dormund.de lea.schoenberger [ ] u-dormund.de Exercise for he lecure Embedded Sysems Winersemeser 17/18 Wrien Exercise Shee 5 Hins: These assignmens will be discussed a E23 OH14, from
More informationComments on Window-Constrained Scheduling
Commens on Window-Consrained Scheduling Richard Wes Member, IEEE and Yuing Zhang Absrac This shor repor clarifies he behavior of DWCS wih respec o Theorem 3 in our previously published paper [1], and describes
More informationEvaluating the Average-case Performance Penalty of Bandwidth-like Interfaces
Evaluaing he Average-case Performance Penaly of Bandwidh-like Inerfaces Björn Andersson Carnegie Mellon Universiy ABSTRACT Many soluions for composabiliy and composiionaliy rely on specifying he inerface
More informationBasic definitions and relations
Basic definiions and relaions Lecurer: Dmiri A. Molchanov E-mail: molchan@cs.u.fi hp://www.cs.u.fi/kurssi/tlt-2716/ Kendall s noaion for queuing sysems: Arrival processes; Service ime disribuions; Examples.
More informationLecture 4 Notes (Little s Theorem)
Lecure 4 Noes (Lile s Theorem) This lecure concerns one of he mos imporan (and simples) heorems in Queuing Theory, Lile s Theorem. More informaion can be found in he course book, Bersekas & Gallagher,
More informationSeminar 4: Hotelling 2
Seminar 4: Hoelling 2 November 3, 211 1 Exercise Par 1 Iso-elasic demand A non renewable resource of a known sock S can be exraced a zero cos. Demand for he resource is of he form: D(p ) = p ε ε > A a
More informationConens Inroducion 2 Preliminary deniions and noaion 3 3 Schedulabliy and a bound on uilizaion 6 4 Rae Monoonic Scheduling 7 4. Deniion
A Foray ino Uniprocessor Real-Time Scheduling Algorihms and Inracibiliy Ed Overon Drs. T. Brylawski and J. Anderson 2, advisors December 3, 997 UNC-CH Deparmen ofmahemaics 2 UNC-CH Deparmen of Compuer
More informationTwo Popular Bayesian Estimators: Particle and Kalman Filters. McGill COMP 765 Sept 14 th, 2017
Two Popular Bayesian Esimaors: Paricle and Kalman Filers McGill COMP 765 Sep 14 h, 2017 1 1 1, dx x Bel x u x P x z P Recall: Bayes Filers,,,,,,, 1 1 1 1 u z u x P u z u x z P Bayes z = observaion u =
More informationRL Lecture 7: Eligibility Traces. R. S. Sutton and A. G. Barto: Reinforcement Learning: An Introduction 1
RL Lecure 7: Eligibiliy Traces R. S. Suon and A. G. Baro: Reinforcemen Learning: An Inroducion 1 N-sep TD Predicion Idea: Look farher ino he fuure when you do TD backup (1, 2, 3,, n seps) R. S. Suon and
More informationSUPPLEMENTARY INFORMATION
SUPPLEMENTARY INFORMATION DOI: 0.038/NCLIMATE893 Temporal resoluion and DICE * Supplemenal Informaion Alex L. Maren and Sephen C. Newbold Naional Cener for Environmenal Economics, US Environmenal Proecion
More informationMechanical Fatigue and Load-Induced Aging of Loudspeaker Suspension. Wolfgang Klippel,
Mechanical Faigue and Load-Induced Aging of Loudspeaker Suspension Wolfgang Klippel, Insiue of Acousics and Speech Communicaion Dresden Universiy of Technology presened a he ALMA Symposium 2012, Las Vegas
More informationBasic Circuit Elements Professor J R Lucas November 2001
Basic Circui Elemens - J ucas An elecrical circui is an inerconnecion of circui elemens. These circui elemens can be caegorised ino wo ypes, namely acive and passive elemens. Some Definiions/explanaions
More informationA methodology for designing hierarchical scheduling systems
A mehodology for designing hierarchical scheduling sysems Giuseppe Lipari and Enrico Bini Absrac When execuing differen real-ime applicaions on a single processor sysem, one problem is how o compose hese
More informationComparing Means: t-tests for One Sample & Two Related Samples
Comparing Means: -Tess for One Sample & Two Relaed Samples Using he z-tes: Assumpions -Tess for One Sample & Two Relaed Samples The z-es (of a sample mean agains a populaion mean) is based on he assumpion
More informationE β t log (C t ) + M t M t 1. = Y t + B t 1 P t. B t 0 (3) v t = P tc t M t Question 1. Find the FOC s for an optimum in the agent s problem.
Noes, M. Krause.. Problem Se 9: Exercise on FTPL Same model as in paper and lecure, only ha one-period govenmen bonds are replaced by consols, which are bonds ha pay one dollar forever. I has curren marke
More informationd 1 = c 1 b 2 - b 1 c 2 d 2 = c 1 b 3 - b 1 c 3
and d = c b - b c c d = c b - b c c This process is coninued unil he nh row has been compleed. The complee array of coefficiens is riangular. Noe ha in developing he array an enire row may be divided or
More informationA First Course on Kinetics and Reaction Engineering. Class 19 on Unit 18
A Firs ourse on Kineics and Reacion Engineering lass 19 on Uni 18 Par I - hemical Reacions Par II - hemical Reacion Kineics Where We re Going Par III - hemical Reacion Engineering A. Ideal Reacors B. Perfecly
More informationLecture Notes 3: Quantitative Analysis in DSGE Models: New Keynesian Model
Lecure Noes 3: Quaniaive Analysis in DSGE Models: New Keynesian Model Zhiwei Xu, Email: xuzhiwei@sju.edu.cn The moneary policy plays lile role in he basic moneary model wihou price sickiness. We now urn
More informationAppendix to Creating Work Breaks From Available Idleness
Appendix o Creaing Work Breaks From Available Idleness Xu Sun and Ward Whi Deparmen of Indusrial Engineering and Operaions Research, Columbia Universiy, New York, NY, 127; {xs2235,ww24}@columbia.edu Sepember
More informationSOLUTIONS TO ECE 3084
SOLUTIONS TO ECE 384 PROBLEM 2.. For each sysem below, specify wheher or no i is: (i) memoryless; (ii) causal; (iii) inverible; (iv) linear; (v) ime invarian; Explain your reasoning. If he propery is no
More informationINTRODUCTION TO MACHINE LEARNING 3RD EDITION
ETHEM ALPAYDIN The MIT Press, 2014 Lecure Slides for INTRODUCTION TO MACHINE LEARNING 3RD EDITION alpaydin@boun.edu.r hp://www.cmpe.boun.edu.r/~ehem/i2ml3e CHAPTER 2: SUPERVISED LEARNING Learning a Class
More information5. Stochastic processes (1)
Lec05.pp S-38.45 - Inroducion o Teleraffic Theory Spring 2005 Conens Basic conceps Poisson process 2 Sochasic processes () Consider some quaniy in a eleraffic (or any) sysem I ypically evolves in ime randomly
More informationCSE/NB 528 Lecture 14: Reinforcement Learning (Chapter 9)
CSE/NB 528 Lecure 14: Reinforcemen Learning Chaper 9 Image from hp://clasdean.la.asu.edu/news/images/ubep2001/neuron3.jpg Lecure figures are from Dayan & Abbo s book hp://people.brandeis.edu/~abbo/book/index.hml
More informationFrom dataflow basics to programming of ASICs
From daaflow basics o programming of ASICs Marco Bekooij marco.bekooij@nxp.com/m.j.g.bekooij@uwene.nl May 30, 2016 Ouline Challenges muliprocessor programming indusrial pracice of safey criical modem/radar
More informationVehicle Arrival Models : Headway
Chaper 12 Vehicle Arrival Models : Headway 12.1 Inroducion Modelling arrival of vehicle a secion of road is an imporan sep in raffic flow modelling. I has imporan applicaion in raffic flow simulaion where
More informationModule 4: Time Response of discrete time systems Lecture Note 2
Module 4: Time Response of discree ime sysems Lecure Noe 2 1 Prooype second order sysem The sudy of a second order sysem is imporan because many higher order sysem can be approimaed by a second order model
More informationFinal Spring 2007
.615 Final Spring 7 Overview The purpose of he final exam is o calculae he MHD β limi in a high-bea oroidal okamak agains he dangerous n = 1 exernal ballooning-kink mode. Effecively, his corresponds o
More informationAn Optimal Dynamic Generation Scheduling for a Wind-Thermal Power System *
Energy and Power Engineering, 2013, 5, 1016-1021 doi:10.4236/epe.2013.54b194 Published Online July 2013 (hp://www.scirp.org/journal/epe) An Opimal Dynamic Generaion Scheduling for a Wind-Thermal Power
More informationMATHEMATICAL DESCRIPTION OF THEORETICAL METHODS OF RESERVE ECONOMY OF CONSIGNMENT STORES
MAHEMAICAL DESCIPION OF HEOEICAL MEHODS OF ESEVE ECONOMY OF CONSIGNMEN SOES Péer elek, József Cselényi, György Demeer Universiy of Miskolc, Deparmen of Maerials Handling and Logisics Absrac: Opimizaion
More information6.003 Homework 1. Problems. Due at the beginning of recitation on Wednesday, February 10, 2010.
6.003 Homework Due a he beginning of reciaion on Wednesday, February 0, 200. Problems. Independen and Dependen Variables Assume ha he heigh of a waer wave is given by g(x v) where x is disance, v is velociy,
More informationMODULE - 9 LECTURE NOTES 2 GENETIC ALGORITHMS
1 MODULE - 9 LECTURE NOTES 2 GENETIC ALGORITHMS INTRODUCTION Mos real world opimizaion problems involve complexiies like discree, coninuous or mixed variables, muliple conflicing objecives, non-lineariy,
More informationT. J. HOLMES AND T. J. KEHOE INTERNATIONAL TRADE AND PAYMENTS THEORY FALL 2011 EXAMINATION
ECON 841 T. J. HOLMES AND T. J. KEHOE INTERNATIONAL TRADE AND PAYMENTS THEORY FALL 211 EXAMINATION This exam has wo pars. Each par has wo quesions. Please answer one of he wo quesions in each par for a
More informationCHEAPEST PMT ONLINE TEST SERIES AIIMS/NEET TOPPER PREPARE QUESTIONS
CHEAPEST PMT ONLINE TEST SERIES AIIMS/NEET TOPPER PREPARE QUESTIONS For more deails see las page or conac @aimaiims.in Physics Mock Tes Paper AIIMS/NEET 07 Physics 06 Saurday Augus 0 Uni es : Moion in
More informationDesigning Information Devices and Systems I Spring 2019 Lecture Notes Note 17
EES 16A Designing Informaion Devices and Sysems I Spring 019 Lecure Noes Noe 17 17.1 apaciive ouchscreen In he las noe, we saw ha a capacior consiss of wo pieces on conducive maerial separaed by a nonconducive
More informationExpert Advice for Amateurs
Exper Advice for Amaeurs Ernes K. Lai Online Appendix - Exisence of Equilibria The analysis in his secion is performed under more general payoff funcions. Wihou aking an explici form, he payoffs of he
More informationEconomics 6130 Cornell University Fall 2016 Macroeconomics, I - Part 2
Economics 6130 Cornell Universiy Fall 016 Macroeconomics, I - Par Problem Se # Soluions 1 Overlapping Generaions Consider he following OLG economy: -period lives. 1 commodiy per period, l = 1. Saionary
More informationStochastic Perishable Inventory Systems: Dual-Balancing and Look-Ahead Approaches
Sochasic Perishable Invenory Sysems: Dual-Balancing and Look-Ahead Approaches by Yuhe Diao A hesis presened o he Universiy Of Waerloo in fulfilmen of he hesis requiremen for he degree of Maser of Applied
More informationSolutions for Assignment 2
Faculy of rs and Science Universiy of Torono CSC 358 - Inroducion o Compuer Neworks, Winer 218 Soluions for ssignmen 2 Quesion 1 (2 Poins): Go-ack n RQ In his quesion, we review how Go-ack n RQ can be
More informationarxiv: v1 [cs.ds] 30 Apr 2016
Auomaic Parameer Derivaions in k2u Framework Jian-Jia Chen and Wen-Hung Huang Deparmen of Informaics TU Dormund Universiy, Germany Cong Liu Deparmen of Compuer Science The Universiy of Texas a Dallas arxiv:1605.00119v1
More informationIntegration Over Manifolds with Variable Coordinate Density
Inegraion Over Manifolds wih Variable Coordinae Densiy Absrac Chrisopher A. Lafore clafore@gmail.com In his paper, he inegraion of a funcion over a curved manifold is examined in he case where he curvaure
More informationResource Allocation in Visible Light Communication Networks NOMA vs. OFDMA Transmission Techniques
Resource Allocaion in Visible Ligh Communicaion Neworks NOMA vs. OFDMA Transmission Techniques Eirini Eleni Tsiropoulou, Iakovos Gialagkolidis, Panagiois Vamvakas, and Symeon Papavassiliou Insiue of Communicaions
More informationSolutions Problem Set 3 Macro II (14.452)
Soluions Problem Se 3 Macro II (14.452) Francisco A. Gallego 04/27/2005 1 Q heory of invesmen in coninuous ime and no uncerainy Consider he in nie horizon model of a rm facing adjusmen coss o invesmen.
More informationConstant Bandwidth Servers with Constrained Deadlines
Consan Bandwidh Servers wih Consrained Deadlines Daniel Casini Scuola Superiore S. Anna isa, Ialy daniel.casini@sanannapisa.i Luca Abeni Scuola Superiore S. Anna isa, Ialy luca.abeni@sanannapisa.i Alessandro
More informationLearning a Class from Examples. Training set X. Class C 1. Class C of a family car. Output: Input representation: x 1 : price, x 2 : engine power
Alpaydin Chaper, Michell Chaper 7 Alpaydin slides are in urquoise. Ehem Alpaydin, copyrigh: The MIT Press, 010. alpaydin@boun.edu.r hp://www.cmpe.boun.edu.r/ ehem/imle All oher slides are based on Michell.
More informationT L. t=1. Proof of Lemma 1. Using the marginal cost accounting in Equation(4) and standard arguments. t )+Π RB. t )+K 1(Q RB
Elecronic Companion EC.1. Proofs of Technical Lemmas and Theorems LEMMA 1. Le C(RB) be he oal cos incurred by he RB policy. Then we have, T L E[C(RB)] 3 E[Z RB ]. (EC.1) Proof of Lemma 1. Using he marginal
More informationLecture 2-1 Kinematics in One Dimension Displacement, Velocity and Acceleration Everything in the world is moving. Nothing stays still.
Lecure - Kinemaics in One Dimension Displacemen, Velociy and Acceleraion Everyhing in he world is moving. Nohing says sill. Moion occurs a all scales of he universe, saring from he moion of elecrons in
More informationNotes for Lecture 17-18
U.C. Berkeley CS278: Compuaional Complexiy Handou N7-8 Professor Luca Trevisan April 3-8, 2008 Noes for Lecure 7-8 In hese wo lecures we prove he firs half of he PCP Theorem, he Amplificaion Lemma, up
More informationDiebold, Chapter 7. Francis X. Diebold, Elements of Forecasting, 4th Edition (Mason, Ohio: Cengage Learning, 2006). Chapter 7. Characterizing Cycles
Diebold, Chaper 7 Francis X. Diebold, Elemens of Forecasing, 4h Ediion (Mason, Ohio: Cengage Learning, 006). Chaper 7. Characerizing Cycles Afer compleing his reading you should be able o: Define covariance
More informationProduct differentiation
differeniaion Horizonal differeniaion Deparmen of Economics, Universiy of Oslo ECON480 Spring 010 Las modified: 010.0.16 The exen of he marke Differen producs or differeniaed varians of he same produc
More informationDVSleak: Combining Leakage Reduction and Voltage Scaling in Feedback EDF Scheduling
DVSleak: Combining Leakage Reducion and Volage Scaling in Feedback EDF Scheduling Yifan Zhu Frank Mueller Deparmen of Compuer Science/Cener for Embedded Sysems Research Norh Carolina Sae Universiy, Raleigh,
More informationOperating Systems Exercise 3
Operaing Sysems SS 00 Universiy of Zurich Operaing Sysems Exercise 3 00-06-4 Dominique Emery, s97-60-056 Thomas Bocek, s99-706-39 Philip Iezzi, s99-74-354 Florian Caflisch, s96-90-55 Table page Table page
More informationCSE/NB 528 Lecture 14: From Supervised to Reinforcement Learning (Chapter 9) R. Rao, 528: Lecture 14
CSE/NB 58 Lecure 14: From Supervised o Reinforcemen Learning Chaper 9 1 Recall from las ime: Sigmoid Neworks Oupu v T g w u g wiui w Inpu nodes u = u 1 u u 3 T i Sigmoid oupu funcion: 1 g a 1 a e 1 ga
More informationCENTRALIZED VERSUS DECENTRALIZED PRODUCTION PLANNING IN SUPPLY CHAINS
CENRALIZED VERSUS DECENRALIZED PRODUCION PLANNING IN SUPPLY CHAINS Georges SAHARIDIS* a, Yves DALLERY* a, Fikri KARAESMEN* b * a Ecole Cenrale Paris Deparmen of Indusial Engineering (LGI), +3343388, saharidis,dallery@lgi.ecp.fr
More informationNature Neuroscience: doi: /nn Supplementary Figure 1. Spike-count autocorrelations in time.
Supplemenary Figure 1 Spike-coun auocorrelaions in ime. Normalized auocorrelaion marices are shown for each area in a daase. The marix shows he mean correlaion of he spike coun in each ime bin wih he spike
More informationFrom Particles to Rigid Bodies
Rigid Body Dynamics From Paricles o Rigid Bodies Paricles No roaions Linear velociy v only Rigid bodies Body roaions Linear velociy v Angular velociy ω Rigid Bodies Rigid bodies have boh a posiion and
More informationEnsamble methods: Boosting
Lecure 21 Ensamble mehods: Boosing Milos Hauskrech milos@cs.pi.edu 5329 Senno Square Schedule Final exam: April 18: 1:00-2:15pm, in-class Term projecs April 23 & April 25: a 1:00-2:30pm in CS seminar room
More information3.1.3 INTRODUCTION TO DYNAMIC OPTIMIZATION: DISCRETE TIME PROBLEMS. A. The Hamiltonian and First-Order Conditions in a Finite Time Horizon
3..3 INRODUCION O DYNAMIC OPIMIZAION: DISCREE IME PROBLEMS A. he Hamilonian and Firs-Order Condiions in a Finie ime Horizon Define a new funcion, he Hamilonian funcion, H. H he change in he oal value of
More informationCHAPTER 10 VALIDATION OF TEST WITH ARTIFICAL NEURAL NETWORK
175 CHAPTER 10 VALIDATION OF TEST WITH ARTIFICAL NEURAL NETWORK 10.1 INTRODUCTION Amongs he research work performed, he bes resuls of experimenal work are validaed wih Arificial Neural Nework. From he
More information1 Review of Zero-Sum Games
COS 5: heoreical Machine Learning Lecurer: Rob Schapire Lecure #23 Scribe: Eugene Brevdo April 30, 2008 Review of Zero-Sum Games Las ime we inroduced a mahemaical model for wo player zero-sum games. Any
More informationLearning a Class from Examples. Training set X. Class C 1. Class C of a family car. Output: Input representation: x 1 : price, x 2 : engine power
Alpaydin Chaper, Michell Chaper 7 Alpaydin slides are in urquoise. Ehem Alpaydin, copyrigh: The MIT Press, 010. alpaydin@boun.edu.r hp://www.cmpe.boun.edu.r/ ehem/imle All oher slides are based on Michell.
More informationAnalysis of Federated and Global Scheduling for Parallel Real-Time Tasks
Analysis of Federaed and Global Scheduling for Parallel Real-Time Tasks Jing Li, Jian-Jia Chen, Kunal Agrawal, Chenyang Lu, Chris Gill, Abusayeed Saifullah Washingon Universiy in S. Louis, U.S.A. TU Dormund
More informationSTATE-SPACE MODELLING. A mass balance across the tank gives:
B. Lennox and N.F. Thornhill, 9, Sae Space Modelling, IChemE Process Managemen and Conrol Subjec Group Newsleer STE-SPACE MODELLING Inroducion: Over he pas decade or so here has been an ever increasing
More informationAn introduction to the theory of SDDP algorithm
An inroducion o he heory of SDDP algorihm V. Leclère (ENPC) Augus 1, 2014 V. Leclère Inroducion o SDDP Augus 1, 2014 1 / 21 Inroducion Large scale sochasic problem are hard o solve. Two ways of aacking
More informationAppendix 14.1 The optimal control problem and its solution using
1 Appendix 14.1 he opimal conrol problem and is soluion using he maximum principle NOE: Many occurrences of f, x, u, and in his file (in equaions or as whole words in ex) are purposefully in bold in order
More informationContinuous Time Markov Chain (Markov Process)
Coninuous Time Markov Chain (Markov Process) The sae sace is a se of all non-negaive inegers The sysem can change is sae a any ime ( ) denoes he sae of he sysem a ime The random rocess ( ) forms a coninuous-ime
More informationUNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS
UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS Exam: ECON4325 Moneary Policy Dae of exam: Tuesday, May 24, 206 Grades are given: June 4, 206 Time for exam: 2.30 p.m. 5.30 p.m. The problem se covers 5 pages
More informationEconomics 8105 Macroeconomic Theory Recitation 6
Economics 8105 Macroeconomic Theory Reciaion 6 Conor Ryan Ocober 11h, 2016 Ouline: Opimal Taxaion wih Governmen Invesmen 1 Governmen Expendiure in Producion In hese noes we will examine a model in which
More informationLAPLACE TRANSFORM AND TRANSFER FUNCTION
CHBE320 LECTURE V LAPLACE TRANSFORM AND TRANSFER FUNCTION Professor Dae Ryook Yang Spring 2018 Dep. of Chemical and Biological Engineering 5-1 Road Map of he Lecure V Laplace Transform and Transfer funcions
More informationAn recursive analytical technique to estimate time dependent physical parameters in the presence of noise processes
WHAT IS A KALMAN FILTER An recursive analyical echnique o esimae ime dependen physical parameers in he presence of noise processes Example of a ime and frequency applicaion: Offse beween wo clocks PREDICTORS,
More informationLecture 2 April 04, 2018
Sas 300C: Theory of Saisics Spring 208 Lecure 2 April 04, 208 Prof. Emmanuel Candes Scribe: Paulo Orensein; edied by Sephen Baes, XY Han Ouline Agenda: Global esing. Needle in a Haysack Problem 2. Threshold
More informationIS 709/809: Computational Methods in IS Research. Queueing Theory Introduction
IS 709/809: Compuaional Mehods in IS Research Queueing Theory Inroducion Nirmalya Roy Deparmen of Informaion Sysems Universiy of Maryland Balimore Couny www.umbc.edu Inroducion: Saisics of hings Waiing
More informationACE 562 Fall Lecture 5: The Simple Linear Regression Model: Sampling Properties of the Least Squares Estimators. by Professor Scott H.
ACE 56 Fall 005 Lecure 5: he Simple Linear Regression Model: Sampling Properies of he Leas Squares Esimaors by Professor Sco H. Irwin Required Reading: Griffihs, Hill and Judge. "Inference in he Simple
More informationEnsamble methods: Bagging and Boosting
Lecure 21 Ensamble mehods: Bagging and Boosing Milos Hauskrech milos@cs.pi.edu 5329 Senno Square Ensemble mehods Mixure of expers Muliple base models (classifiers, regressors), each covers a differen par
More informationEstimation of Poses with Particle Filters
Esimaion of Poses wih Paricle Filers Dr.-Ing. Bernd Ludwig Chair for Arificial Inelligence Deparmen of Compuer Science Friedrich-Alexander-Universiä Erlangen-Nürnberg 12/05/2008 Dr.-Ing. Bernd Ludwig (FAU
More informationA Dynamic Model of Economic Fluctuations
CHAPTER 15 A Dynamic Model of Economic Flucuaions Modified for ECON 2204 by Bob Murphy 2016 Worh Publishers, all righs reserved IN THIS CHAPTER, OU WILL LEARN: how o incorporae dynamics ino he AD-AS model
More informationLet us start with a two dimensional case. We consider a vector ( x,
Roaion marices We consider now roaion marices in wo and hree dimensions. We sar wih wo dimensions since wo dimensions are easier han hree o undersand, and one dimension is a lile oo simple. However, our
More informationEcon107 Applied Econometrics Topic 7: Multicollinearity (Studenmund, Chapter 8)
I. Definiions and Problems A. Perfec Mulicollineariy Econ7 Applied Economerics Topic 7: Mulicollineariy (Sudenmund, Chaper 8) Definiion: Perfec mulicollineariy exiss in a following K-variable regression
More informationBiol. 356 Lab 8. Mortality, Recruitment, and Migration Rates
Biol. 356 Lab 8. Moraliy, Recruimen, and Migraion Raes (modified from Cox, 00, General Ecology Lab Manual, McGraw Hill) Las week we esimaed populaion size hrough several mehods. One assumpion of all hese
More informationCMU-Q Lecture 3: Search algorithms: Informed. Teacher: Gianni A. Di Caro
CMU-Q 5-38 Lecure 3: Search algorihms: Informed Teacher: Gianni A. Di Caro UNINFORMED VS. INFORMED SEARCH Sraegy How desirable is o be in a cerain inermediae sae for he sake of (effecively) reaching a
More informationExponential Weighted Moving Average (EWMA) Chart Under The Assumption of Moderateness And Its 3 Control Limits
DOI: 0.545/mjis.07.5009 Exponenial Weighed Moving Average (EWMA) Char Under The Assumpion of Moderaeness And Is 3 Conrol Limis KALPESH S TAILOR Assisan Professor, Deparmen of Saisics, M. K. Bhavnagar Universiy,
More informationNumerical Dispersion
eview of Linear Numerical Sabiliy Numerical Dispersion n he previous lecure, we considered he linear numerical sabiliy of boh advecion and diffusion erms when approimaed wih several spaial and emporal
More informationEffects of Coordinate Curvature on Integration
Effecs of Coordinae Curvaure on Inegraion Chrisopher A. Lafore clafore@gmail.com Absrac In his paper, he inegraion of a funcion over a curved manifold is examined in he case where he curvaure of he manifold
More information16 Max-Flow Algorithms
A process canno be undersood by sopping i. Undersanding mus move wih he flow of he process, mus join i and flow wih i. The Firs Law of Mena, in Frank Herber s Dune (196) There s a difference beween knowing
More informationInnova Junior College H2 Mathematics JC2 Preliminary Examinations Paper 2 Solutions 0 (*)
Soluion 3 x 4x3 x 3 x 0 4x3 x 4x3 x 4x3 x 4x3 x x 3x 3 4x3 x Innova Junior College H Mahemaics JC Preliminary Examinaions Paper Soluions 3x 3 4x 3x 0 4x 3 4x 3 0 (*) 0 0 + + + - 3 3 4 3 3 3 3 Hence x or
More informationWritten HW 9 Sol. CS 188 Fall Introduction to Artificial Intelligence
CS 188 Fall 2018 Inroducion o Arificial Inelligence Wrien HW 9 Sol. Self-assessmen due: Tuesday 11/13/2018 a 11:59pm (submi via Gradescope) For he self assessmen, fill in he self assessmen boxes in your
More informationRobust and Learning Control for Complex Systems
Robus and Learning Conrol for Complex Sysems Peer M. Young Sepember 13, 2007 & Talk Ouline Inroducion Robus Conroller Analysis and Design Theory Experimenal Applicaions Overview MIMO Robus HVAC Conrol
More informationInventory Control of Perishable Items in a Two-Echelon Supply Chain
Journal of Indusrial Engineering, Universiy of ehran, Special Issue,, PP. 69-77 69 Invenory Conrol of Perishable Iems in a wo-echelon Supply Chain Fariborz Jolai *, Elmira Gheisariha and Farnaz Nojavan
More informationEE 435. Lecture 31. Absolute and Relative Accuracy DAC Design. The String DAC
EE 435 Lecure 3 Absolue and Relaive Accuracy DAC Design The Sring DAC . Review from las lecure. DFT Simulaion from Malab Quanizaion Noise DACs and ADCs generally quanize boh ampliude and ime If convering
More informationA Flexible Model for Dimensioning Mixed Service 3G Wireless Networks
A Flexible Model for Dimensioning Mixed Service 3G Wireless Neworks Keih Buerworh, Mansoor Shafi, Peer Smih Alcael New Zealand, Auckland, New Zealand, Keih.Buerworh@elecom.co.nz Telecom New Zealand, Wellingon,
More informationOn Measuring Pro-Poor Growth. 1. On Various Ways of Measuring Pro-Poor Growth: A Short Review of the Literature
On Measuring Pro-Poor Growh 1. On Various Ways of Measuring Pro-Poor Growh: A Shor eview of he Lieraure During he pas en years or so here have been various suggesions concerning he way one should check
More informationAssignment 6. Tyler Shendruk December 6, 2010
Assignmen 6 Tyler Shendruk December 6, 1 1 Harden Problem 1 Le K be he coupling and h he exernal field in a 1D Ising model. From he lecures hese can be ransformed ino effecive coupling and fields K and
More informationR t. C t P t. + u t. C t = αp t + βr t + v t. + β + w t
Exercise 7 C P = α + β R P + u C = αp + βr + v (a) (b) C R = α P R + β + w (c) Assumpions abou he disurbances u, v, w : Classical assumions on he disurbance of one of he equaions, eg. on (b): E(v v s P,
More informationOnline Convex Optimization Example And Follow-The-Leader
CSE599s, Spring 2014, Online Learning Lecure 2-04/03/2014 Online Convex Opimizaion Example And Follow-The-Leader Lecurer: Brendan McMahan Scribe: Sephen Joe Jonany 1 Review of Online Convex Opimizaion
More informationLecture Notes 5: Investment
Lecure Noes 5: Invesmen Zhiwei Xu (xuzhiwei@sju.edu.cn) Invesmen decisions made by rms are one of he mos imporan behaviors in he economy. As he invesmen deermines how he capials accumulae along he ime,
More informationExperiments on logistic regression
Experimens on logisic regression Ning Bao March, 8 Absrac In his repor, several experimens have been conduced on a spam daa se wih Logisic Regression based on Gradien Descen approach. Firs, he overfiing
More information1 Evaluating Chromatograms
3 1 Evaluaing Chromaograms Hans-Joachim Kuss and Daniel Sauffer Chromaography is, in principle, a diluion process. In HPLC analysis, on dissolving he subsances o be analyzed in an eluen and hen injecing
More informationLecture 2 October ε-approximation of 2-player zero-sum games
Opimizaion II Winer 009/10 Lecurer: Khaled Elbassioni Lecure Ocober 19 1 ε-approximaion of -player zero-sum games In his lecure we give a randomized ficiious play algorihm for obaining an approximae soluion
More informationGuest Lectures for Dr. MacFarlane s EE3350 Part Deux
Gues Lecures for Dr. MacFarlane s EE3350 Par Deux Michael Plane Mon., 08-30-2010 Wrie name in corner. Poin ou his is a review, so I will go faser. Remind hem o go lisen o online lecure abou geing an A
More informationPolicy regimes Theory
Advanced Moneary Theory and Policy EPOS 2012/13 Policy regimes Theory Giovanni Di Barolomeo giovanni.dibarolomeo@uniroma1.i The moneary policy regime The simple model: x = - s (i - p e ) + x e + e D p
More informationEnergy Storage and Renewables in New Jersey: Complementary Technologies for Reducing Our Carbon Footprint
Energy Sorage and Renewables in New Jersey: Complemenary Technologies for Reducing Our Carbon Fooprin ACEE E-filliaes workshop November 14, 2014 Warren B. Powell Daniel Seingar Harvey Cheng Greg Davies
More information