Lecture 7: Quadratic optimization
|
|
- Benvenuto Mauri
- 5 anni fa
- Visualizzazioni
Transcript
1 Lecture 7: Quadratic optimization 1. Positive definite och semidefinite matrices 2. LDL T factorization 3. Quadratic optimization without constraints 4. Quadratic optimization with constraints 5. Least-squares problems Föreläsning 7 1 Quadratic optimization - Ulf Jönsson & Per Enqvist
2 Positive definite and positive semi-definite matrices Definition 1 (Positive semidefinite). A symmetric matrix H = H T R n n is called positive semidefinite if x T Hx 0 for all x R n Definition 2 (Positivt definit). A symmetric matrix H = H T R n n is called positive definite if x T Hx > 0 for all x R n {0} Föreläsning 7 2 Quadratic optimization - Ulf Jönsson & Per Enqvist
3 How do you determine if a symmetric matrix H = H T R n n is positive (semi-) definite: LDL T factorization (suitable for calculations by hand). Use the spectral factorization of the matrix H = QΛQ T, where Q T Q = I and Λ = diag(λ 1,...,λ n ) where λ k are the eigenvalues of the matrix. From this it follows that H is positive semidefinite if and only if λ k 0, k = 1,...,n H is positive definite if and only if λ k > 0, k = 1,...,n Föreläsning 7 3 Quadratic optimization - Ulf Jönsson & Per Enqvist
4 LDL T faktorization Theorem 1. A symmetric matrix H = H T R n n is positive semidefinite if and only if there is a factorization H = LDL T where d l d L = l 31 l D = 0 0 d l n1 l n2 l n d n and d k 0, k = 1,...,n. H is positive definite if and only if d k > 0, k = 1,...,n, in the LDL T factorization. Föreläsning 7 4 Quadratic optimization - Ulf Jönsson & Per Enqvist
5 The factorization LDL T is determined by one of the following methods Elementary row and column operations, Completion of squares, Föreläsning 7 5 Quadratic optimization - Ulf Jönsson & Per Enqvist
6 Quadratic optimization without constraints minimize 1 2 xt Hx + c T x + c 0 where H = H T R n n, c R n, c 0 R. Common in many applications, e.g. linear regression (model fitting) minimization of physically derived objective functions, e.g., minimization of energy, variance, e.t.c. Quadratic approximation of nonlinear optimization problems Föreläsning 7 6 Quadratic optimization - Ulf Jönsson & Per Enqvist
7 Unbounded problems Let f(x) = 1 2 xt Hx + c T x + c 0. Assume that H is not positive semidefinite. Then there is a d R n such that d T Hd < 0. It follows that f(td) = 1 2 t2 d T Hd + tc T d + c 0 when t Conclusion: A necessary condition for f(x) to have a minimum is that H is positive semidefinite. Föreläsning 7 7 Quadratic optimization - Ulf Jönsson & Per Enqvist
8 Assume that H is postive semidefinite. Then we can use the factorization H = LDL T which gives minimize 1 2 xt Hx + c T x + c 0 = minimize 1 2 xt LDL T x + c T (L T ) 1 L T x + c 0 = minimize = c 0 + n k=1 1 2 d ky 2 k + c k y k + c 0 n minimize 1 2 d kyk 2 + c k y k k=1 where we have introduced the new coordinates y = L T x and c = L 1 c. The optimization problem separates to n independent scalar quadratic optimization problems, which are easy to solve. Föreläsning 7 8 Quadratic optimization - Ulf Jönsson & Per Enqvist
9 Scalar Quadratic optimization without constraints The scalar quadratic optimization problem has a finite solution, if and only if, h = 0 and c = 0, or minimize x R 1 2 hx2 + cx + c 0 h > 0. In the first case there is no unique optimum. In the second case 1 2 hx2 + cx + c 0 = 1 2 h(x + c/h)2 + c 0 c 2 /(2h), and the optimum is achieved for x = c/h. Föreläsning 7 9 Quadratic optimization - Ulf Jönsson & Per Enqvist
10 Solving the minimization problems separately shows that [ ] T ŷ = ŷ 1... ŷ n is a minimizer if (i) d k 0, k = 1,...,n (ii) d k ŷ k = c k (i) H is positive semidefinite (ii) DL Tˆx = L 1 c Constraint (ii) can be replaced with LDL Tˆx = c i.e., Hˆx = c. Furthermore, f(x) = 1 2 xt Hx + c T x + c 0 is unbounded (from below) if (i) (ii) some d k < 0, or one of the equations d k ŷ k = c k do not have a solution i.e., d k = 0 and c k 0 (i) H is not positive semi-definite (ii) the equation Hˆx = c do not have a solution Föreläsning 7 10 Quadratic optimization - Ulf Jönsson & Per Enqvist
11 The above arguments can be formalized as the following theorem Theorem 2. Let f(x) = 1 2 xt Hx + c T x + c 0. Then ˆx is a minimizer if (i) H is positive semidefinite (ii) Hˆx = c If H is positive definite then ˆx = H 1 c. If H is not positive semidefinite or Hx = c do not have a solution, then f unlimited from below.. Comment 1. The condition that Hx = c has a solution is equivalent to c R(H). Therefore, f is a minimizer if and only if H is positive semidefinite and c R(H). Föreläsning 7 11 Quadratic optimization - Ulf Jönsson & Per Enqvist
12 Quadratic optimization with linear constraints 1 minimize 2 xt Hx + c T x + c 0 s.t. Ax = b (1) where H = H T R n n, A R m n, c R n, and b R m, and c 0 R. We assume that b R(A) and n > m, i.e., N(A) {0}. Assume that N(A) = span{z ] 1,...,z k } and define the nullspace matrix Z = [z 1... z k. If A x = b it holds that an arbitrary solution to the linear constraint has the form x = x + Zv, for some v R k. This follows since A( x + Zv) = A x + AZv = b + 0 = b Föreläsning 7 12 Quadratic optimization - Ulf Jönsson & Per Enqvist
13 With x = x + Zv inserted in f(x) = 1 2 xt Hx + c T x + c 0 we get f(x) = 1 2 vt Z T HZv + (Z T (H x + c)) T v + f( x). The minimization problem (1) is thus equivalent with minimize 1 2 vt Z T HZv + (Z T (H x + c)) T v + f( x). We can now apply Theorem 2 to obtain the following result: Theorem 3. ˆx is an optimal solution to (1) if (i) Z T HZ is positive semidefinite. (ii) ˆx = x + Zˆv where Z T HZˆv = Z T (H x + c) Föreläsning 7 13 Quadratic optimization - Ulf Jönsson & Per Enqvist
14 Comment 2. The second condition in the theorem is equivalent with the existence of a û R m such that H AT A 0 ˆx = û c b Proof: The second constraint in the theorem can be written Z T (H( x + Zˆv) + c) = 0 Since N(A) = R(Z) this is equivalent with H( x } + {{ Zˆv } ) + c N(A) = R(A T ) ˆx Hˆx + c = A T û, for some û R m Föreläsning 7 14 Quadratic optimization - Ulf Jönsson & Per Enqvist
15 Example: Analysis of a resistance circuit I u 1 x 12 x 13 v 13 r 13 u 3 x 34 x 35 v 35 v 12 r 12 r 23 r 34 r 35 v 34 u 5 x 23 v 23 r 45 r 24 u 2 x 24 v 24 u 4 x 45 v 45 Let a current I go through the circuit from node 1 to node 5. What is the solution to the circuit equation? Föreläsning 7 15 Quadratic optimization - Ulf Jönsson & Per Enqvist
16 The current x ij goes from node i to node j if x ij > 0. Kirchoff s currentlaw gives This can be written Ax = b where x = x 12 + x 13 = I x 12 x 23 x 24 = 0 x 13 + x 23 x 34 x 35 = 0 x 24 + x 34 x 45 = 0 x 35 + x 45 = I [ x 12 x 13 x 23 x 24 x 34 x 35 x 45 ] T, I A = , b = I Föreläsning 7 16 Quadratic optimization - Ulf Jönsson & Per Enqvist
17 The Node potentials are denoted u j, j = 1,...,5 The voltage drop over the resistor r ij is denoted v ij and is given by the equations v ij = u i u j v ij = r ij x ij (Ohms law) This can also be written v = A T u v = Dx where [ ] T ] T u = u 1 u 2 u 3 u 4 u 5 v = [v 12 v 13 v 23 v 24 v 34 v 35 v 45 D = diag(r 12,r 13,r 23,r 24,r 34,r 35,r 45 ) Föreläsning 7 17 Quadratic optimization - Ulf Jönsson & Per Enqvist
18 The circuit equations: Ax = b v = A T u v = Dx D AT A 0 x = 0 b Since D is positive definite (r ij > 0) this is, see comment 2, equivalent to the optimality conditions for the following optimization problem 1 minimize 2 xt Dx s.t. Ax = b Föreläsning 7 18 Quadratic optimization - Ulf Jönsson & Per Enqvist
19 Comment In the lecture on network optimization we saw that the matrix N(A) 0 (then the matrix was called Ã) and that the nullspace corresponded to cycles in the circuit. The laws of electricity (Ohms law + Kirchoffs law) determines the current that minimizes the loss of power. This follows since the objective function can be written 1 2 xt Dx = 1 2 r ij x 2 ij ij Föreläsning 7 19 Quadratic optimization - Ulf Jönsson & Per Enqvist
20 Comment 3. It is common to connect one of the nodes to earth. Let us, e.g., connect node 5 to earth, then u 5 = 0. I u 1 x 12 x 13 v 13 r 13 u 3 x 34 x 35 v 35 v 12 r 12 x 23 r 23 v 23 r 34 r 35 v 34 r 45 u 5 = 0 u 2 x 24 r 24 v 24 u 4 x 45 v 45 Föreläsning 7 20 Quadratic optimization - Ulf Jönsson & Per Enqvist
21 With the potential in node 5 fixed at u 5 = 0 the last column in the voltage equation v = A T u is eliminated. The Voltage equation and the current balance can be replaced with v = Ā T ū and Āx = b where I u u 2 Ā =, b =, ū = u The advantage with this is that the rows of Ā are linearly independent. This facilitates the solution of the optimization problem. u 4 Föreläsning 7 21 Quadratic optimization - Ulf Jönsson & Per Enqvist
22 Least-Squares problems Application: Linear regression (model fitting) e(t) s(t) y(t) System Problem: Fit a linear regressionsmodel to measured data. n Regressionmodel : y(t) = α j ψ j (t) ψ k (t), k = 1,...,n are the regressors (known functions) α k = k = 1,...,n are the model parameters (to be determined) e(t) measurement noise (not known) j=1 s(t) observations. Föreläsning 7 22 Quadratic optimization - Ulf Jönsson & Per Enqvist
23 Idéa for fitting the model: Minimize the quadratic sum of the prediction errors minimize 1 m n ( α j ψ j (t i ) s(t i )) 2 2 =minimize 1 2 i=1 j=1 m (ψ(t i ) T x s(t i )) 2 i=1 =minimize 1 2 (Ax b)t (Ax b) (2) ψ(t) = ψ 1 (t)., x = ψ n (t) α 1. α n, A = ψ(t 1 ) T., b = ψ(t n ) T s(t 1 ). s(t n ) Föreläsning 7 23 Quadratic optimization - Ulf Jönsson & Per Enqvist
24 The solution of the Least-Squares problem (LSQ) The Least-Squares problem (2) can equivalently be written minimize 1 2 xt Hx + c T x + c 0 where H = A T A, c = A T b, c 0 = 1 2 bt b. We note that H = A T A is positive semidefinite since x T A T Ax = Ax 2 0. c R(H) since c = A T b R(A T ) = R(A T A) = R(H). The conditions in Theorem 2 and Comment 1 are satisfied and it follows that the LSQ-estimate is given by Hˆx = c A T Aˆx = A T b (The Normal equation) Föreläsning 7 24 Quadratic optimization - Ulf Jönsson & Per Enqvist
25 Linear algebra interpretation N(A) N(A T ) R n A R m x n x b Aˆx ˆx = A T u R(A T ) Aˆx R(A) A T (b Aˆx) = 0 b Aˆx N(A T ) The Normal equationen can be written This orthogonality property has a geometric interpretation which is illustrated in the figure above. The Fundamental Theorem of Linear algebra explains the LSQ solution geometrically. Föreläsning 7 25 Quadratic optimization - Ulf Jönsson & Per Enqvist
26 Uniqueness of the LSQ solution Case 1 If the columns in A are linearly independent,i.e., N(A) = {0}, it holds that H = A T A is positive definite and hence invertible. The Normal equations then has the unique solution ˆx = (A T A) 1 Ab Case 2 If A has linearly dependent columns, i.e., N(A) {0} then it is natural to chose the solution of smallest length. From the figure on the previous slide it is clear that we should let ˆx = A T û, where AA T û = A x, and where x is an arbitrary solution to the LSQ problem. Föreläsning 7 26 Quadratic optimization - Ulf Jönsson & Per Enqvist
27 Our choice of ˆx in case 2 can equivalently be interpreted as the solution to the quadratic optimization problem 1 minimize 2 xt x s.t. Ax = A x According to Comment 2 the solution to this optimization problem is given by the solution to I AT ˆx = A 0 û i.e. ˆx = A T û, where AA T û = A x 0 A x Föreläsning 7 27 Quadratic optimization - Ulf Jönsson & Per Enqvist
Finite Model Theory / Descriptive Complexity: bin
, CMPSCI 601: Recall From Last Time Lecture 19 Finite Model Theory / Descriptive Compleity: Th: FO L DSPACE Fagin s Th: NP SO. bin is quantifier-free.!#"$&% ('*), 1 Space 0 1 ) % Time $ "$ $ $ "$ $.....
DettagliOptmization Methods for Machine Learning. Gradient method for multilayer perceptron
Optmization Methods for Machine Learning Laura Palagi http://www.dis.uniroma1.it/ palagi Dipartimento di Ingegneria informatica automatica e gestionale A. Ruberti Sapienza Università di Roma Via Ariosto
DettagliCollege Algebra. Logarithms: Denitions and Domains. Dr. Nguyen November 9, Department of Mathematics UK
College Algebra Logarithms: Denitions and Domains Dr. Nguyen nicholas.nguyen@uky.edu Department of Mathematics UK November 9, 2018 Agenda Logarithms and exponents Domains of logarithm functions Operations
DettagliQuadrature. Emma Perracchione. Corso di Calcolo Numerico per Ingegneria Meccanica - Matr. PARI (Univ. PD)
Emma Perracchione Corso di Calcolo Numerico per Ingegneria Meccanica - Matr. PARI (Univ. PD) Gli esercizi sono presi dal libro: S. De Marchi, D. Poggiali, Exercices of numerical calculus with solutions
DettagliGraphs: Cycles. Tecniche di Programmazione A.A. 2012/2013
Graphs: Cycles Tecniche di Programmazione Summary Definitions Algorithms 2 Definitions Graphs: Cycles Cycle A cycle of a graph, sometimes also called a circuit, is a subset of the edge set of that forms
DettagliOttimizzazione Combinatoria J and 6.855J and ESD.78J
Ottimizzazione Combinatoria 2 Cammino Minimo Vincolato Un esempio basato sulle slide della seguente lezione del Corso Network Optimization MITOpenCourseware http://ocw.mit.edu/courses/sloan-school-of-management/-082j-network-optimization-fall-200/.082j
DettagliNew perspectives in the reconstruction of convex polyominoes from orthogonal projections
New perspectives in the reconstruction of convex polyominoes from orthogonal projections Paolo Dulio, Andrea Frosini 2, Simone Rinaldi 3, 4, Laurent Vuillon 5 Politecnico di Milano, 2 Università di Firenze,
Dettagli6.6 ARIMA Model. Autoregressive Integrated Moving Average (ARIMA ) Model. ARIMA(p, d, q) Process
128 6.6 ARIMA Model Autoregressive Integrated Moving Average (ARIMA ) Model ARIMA(p, d, q) Process φ(l) d y t = θ(l)ɛ t, where d y t = d 1 (1 L)y t = d 1 y t d 1 y t 1 = (1 L) d y t for d = 1, 2,, and
DettagliConstant Propagation. A More Complex Semilattice A Nondistributive Framework
Constant Propagation A More Complex Semilattice A Nondistributive Framework 1 The Point Instead of doing constant folding by RD s, we can maintain information about what constant, if any, a variable has
Dettaglibackslash (\): left matrix division
backslash (\): left matrix division Calling sequence: X = A\B 1 Description: Backslash is the left matrix division: X = A\B is a solution to A*X = B. (1) L equazione AX = B potrebbe avere più di una soluzione.
DettagliExam of DIGITAL ELECTRONICS June 14 th, 2012 Prof. Marco Sampietro
Exam of DIGITAL ELECTRONICS June 14 th, 2012 Prof. Marco Sampietro Matr. N NAME CMOS circuits Si supponga di avere una tecnologia CMOS con le seguenti caratteristiche: p =400 cm 2 /V s, n =1200 cm 2 /V
DettagliDiscrete Parabolic Anderson Model with Heavy Tailed Potential
Discrete Parabolic Anderson Model with Heavy Tailed Potential F. Caravenna 1, P. Carmona 2 and N. Pétrélis 2 1 Università degli Studi di Milano-Bicocca 2 Laboratoire Jean Leray, Université de Nantes 1March2011
DettagliLA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO TESTAMENTO VERSIONE RIVEDUTA BY GIOVANNI LUZZI
Read Online and Download Ebook LA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO TESTAMENTO VERSIONE RIVEDUTA BY GIOVANNI LUZZI DOWNLOAD EBOOK : LA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO Click link bellow and
Dettagli6.5 RNA Secondary Structure
6.5 RNA Secondary Structure Struttura di una biomolecola Biomolecola: DNA, RNA Struttura primaria: descrizione esatta della sua composizione atomica e dei legami presenti fra gli atomi Struttura secondaria:
DettagliI CAMBIAMENTI PROTOTESTO-METATESTO, UN MODELLO CON ESEMPI BASATI SULLA TRADUZIONE DELLA BIBBIA (ITALIAN EDITION) BY BRUNO OSIMO
I CAMBIAMENTI PROTOTESTO-METATESTO, UN MODELLO CON ESEMPI BASATI SULLA TRADUZIONE DELLA BIBBIA (ITALIAN EDITION) BY BRUNO OSIMO READ ONLINE AND DOWNLOAD EBOOK : I CAMBIAMENTI PROTOTESTO-METATESTO, UN MODELLO
DettagliA NOVEL FEM METHOD FOR PREDICTING INSTABILITY
Presented at the COMSOL Conference 2009 Milan POLITECNICO DI BARI A NOVEL FEM METHOD FOR PREDICTING THERMOACOUSTIC COMBUSTION INSTABILITY G. Campa S.M. Camporeale COMSOL Conference 2009, 14-1616 October
DettagliEstratto dal Cap. 8 di: Statistics for Marketing and Consumer Research, M. Mazzocchi, ed. SAGE, 2008.
LEZIONI IN LABORATORIO Corso di MARKETING L. Baldi Università degli Studi di Milano BIVARIATE AND MULTIPLE REGRESSION Estratto dal Cap. 8 di: Statistics for Marketing and Consumer Research, M. Mazzocchi,
DettagliESERCIZIO 1 Si faccia riferimento all Allegato A - OPS 2016, problema ricorrente REGOLE E DEDUZIONI, pagina 2.
ESERCIZIO 1 Si faccia riferimento all Allegato A - OPS 2016, problema ricorrente REGOLE E DEDUZIONI, pagina 2. Siano date le seguenti regole: regola(1,[a,p,f],g) regola(2,[c,x],n) regola(3,[n,g],w) regola(4,[p,c,x],d)
Dettaglimaths course exercises Liceo Scientifico Isaac Newton - Roma continuity
maths course exercises Liceo Scientifico Isaac Newton - Roma in accordo con il Ministero dell Istruzione, Università, Ricerca e sulla base delle Politiche Linguistiche della Commissione Europea percorso
DettagliSi faccia riferimento all Allegato A - OPS 2016, problema ricorrente REGOLE E DEDUZIONI, pagina 2.
Scuola Sec. SECONDO Grado Gara 2 IND - 15/16 ESERCIZIO 1 Si faccia riferimento all Allegato A - OPS 2016, problema ricorrente REGOLE E DEDUZIONI, pagina 2. Sono date le seguenti regole: regola(1,[a],b)
DettagliEnel App Store - Installation Manual - Mobile
Model Design Digital Revolution Enel App Store - Installation Manual - Mobile V 1.1 Manual Questo documento contiene informazioni di proprietà di Enel SpA e deve essere utilizzato esclusivamente dal destinatario
DettagliAppendice A. Conduttori elettrici, sezioni e diametri Appendix A. Wires, Sizes and AWG diameters
Appendice A. Conduttori elettrici, sezioni e diametri Appendix A. Wires, Sizes and AWG diameters A.1 Misura dei conduttori elettrici, sezioni e diametri AWG and kcmil wires sizes measurement L America
DettagliFiori di campo. Conoscere, riconoscere e osservare tutte le specie di fiori selvatici più note
Fiori di campo. Conoscere, riconoscere e osservare tutte le specie di fiori selvatici più note M. Teresa Della Beffa Click here if your download doesn"t start automatically Fiori di campo. Conoscere, riconoscere
DettagliExam of ELECTRONIC SYSTEMS June 15 th, 2012 Prof. Marco Sampietro
Exam of ELECTRONIC SYSTEMS June 15 th, 2012 Prof. Marco Sampietro Matr. N NAME Problem 1 Operational Amplifier circuit 1. Considerare l amplificatore della figura seguente. Supporre inizialmente di usare
DettagliLe piccole cose che fanno dimagrire: Tutte le mosse vincenti per perdere peso senza dieta (Italian Edition)
Le piccole cose che fanno dimagrire: Tutte le mosse vincenti per perdere peso senza dieta (Italian Edition) Istituto Riza di Medicina Psicosomatica Click here if your download doesn"t start automatically
DettagliSelf-Calibration Hands-on CASA introduction
Self-Calibration Hands-on CASA introduction Adam North American ALMA Science Center Atacama Large Millimeter/submillimeter Array Expanded Very Large Array Robert C. Byrd Green Bank Telescope Very Long
DettagliA.S. 2011/2012. Circuito semaforico da incrocio. Corso di Elettronica. Dipartimento di Elettrotecnica
A.S. 2011/2012 Circuito semaforico da incrocio Corso di Elettronica Dipartimento di Elettrotecnica Alunno: Bari Aldo 3E 1 Relazione Elettronica Realizzazione di un impianto semaforico da incrocio 2 Relazione
DettagliUNIVERSITÀ DEGLI STUDI DI TORINO
How to register online for exams (Appelli) Version updated on 18/11/2016 The academic programs and the career plan Incoming students can take exams related to the courses offered by the Department where
DettagliLA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO TESTAMENTO VERSIONE RIVEDUTA BY GIOVANNI LUZZI
Read Online and Download Ebook LA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO TESTAMENTO VERSIONE RIVEDUTA BY GIOVANNI LUZZI DOWNLOAD EBOOK : LA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO Click link bellow and
DettagliAuthor: Raffaele Cogoni born in Assemini on 21/02/1954
Author: Raffaele Cogoni born in Assemini on 21/02/1954 raff54cog@libero.it Title: Simplification of the Sieve of Eratosthenes Abstract It is a procedure to find the prime numbers, in practice it is a simplification
DettagliHow to register online for exams (Appelli) Version updated on 23/10/2017
How to register online for exams (Appelli) Version updated on 23/10/2017 The academic programs and the career plan Incoming students can take exams related to the courses offered by the Department where
DettagliDiscrete Dichotomies and Bifurcations from Critical Homoclinic Orbits
journal of mathematical analysis and applications 219, 200 228 (1998 article no. AY975769 Discrete Dichotomies and Bifurcations from Critical Homoclinic Orbits Flaviano Battelli Dipartimento di Matematica
Dettagli100 consigli per vivere bene (Italian Edition)
100 consigli per vivere bene (Italian Edition) Raffaele Morelli Click here if your download doesn"t start automatically 100 consigli per vivere bene (Italian Edition) Raffaele Morelli 100 consigli per
DettagliIM-IU v0.1. alternata e continua. pag. 1 / 5
MANUALE OPERATIVO IM-IU v0.1 INSTRUCTION MANUAL SERIE TTC-V-485 Trasformatore di corrente alternata e continua PROTOCOLLO DI COMUNICAZIONE MODBUS TTC-V-485 SERIES AC/DC current transformer MODBUS COMMUNICATION
DettagliSVD - Application to rigid-motion estimation
SVD - Application to rigid-motion estimation Now we use SVD to estimate the rigid motion of the observer (usually the robot) with respect to a collection of markers acquired in the environment which must
DettagliDC-Servomechanism. Alberto Bemporad. Corso di Teoria dei Sistemi (Diploma) a.a. 2000/2001
DC-Servomechanism Alberto Bemporad Corso di Teoria dei Sistemi (Diploma) a.a. 2000/2001 Figure 1: Servomechanism model (modello del servomeccanismo). 1 Corso di Teoria dei Sistemi (Diploma), Università
DettagliHow to register for exam sessions ( Appelli ) Version updated on 17/10/2018
How to register for exam sessions ( Appelli ) Version updated on 17/10/2018 Course catalogue and Piano Carriera (Career Plan) At the beginning of your exchange period in Torino you will need to register
Dettagli6.5 RNA Secondary Structure. 18 novembre 2014
6.5 RNA Secondary Structure 18 novembre 2014 Calendario Oggi è la lezione 17/24: ultima lezione su Programmazione dinamica Metodo greedy: 18, 19 Grafi: 20, 21, 22, 23 Reti di flusso: 23, 24 (=mercoledì
DettagliConjugate prior summary
Conjugate prior summary Distribution Likelihood p(x θ) Prior p(θ) Distribution Bernoulli (1 θ) (1 x) θ x (1 θ) (a 1) θ (b 1) Beta Binomial (1 θ) (N x) θ x (1 θ) (a 1) θ (b 1) Beta Multinomial θ x 1 1 θx
DettagliSingle-rate three-color marker (srtcm)
3. Markers Pag. 1 The Single Rate Three Color Marker (srtcm) can be used as component in a Diffserv traffic conditioner The srtcm meters a traffic stream and marks its packets according to three traffic
DettagliAlgoritmi Priority-Driven RT. Corso di Sistemi RT Prof. Davide Brugali Università degli Studi di Bergamo
Algoritmi Priority-Driven RT Corso di Sistemi RT Prof. Davide Brugali Università degli Studi di Bergamo 2 Algoritmi Real Time Earliest Due Date (statico) Seleziona il task con la deadline relativa più
DettagliLA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO TESTAMENTO VERSIONE RIVEDUTA BY GIOVANNI LUZZI
Read Online and Download Ebook LA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO TESTAMENTO VERSIONE RIVEDUTA BY GIOVANNI LUZZI DOWNLOAD EBOOK : LA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO Click link bellow and
DettagliU Corso di italiano, Lezione Quattordici
1 U Corso di italiano, Lezione Quattordici F Hi. A bit of grammar today Do you remember? In Italian, there are two ways to address people. You can either talk to someone in an informal way, for example
DettagliWEB OF SCIENCE. COVERAGE: multidisciplinary TIME RANGE: DOCUMENT TYPES: articles, proceedings papers, books
WEB OF SCIENCE COVERAGE: multidisciplinary TIME RANGE: 1985- DOCUMENT TYPES: articles, proceedings papers, books WEB OF SCIENCE: SEARCH you can add one or more search field you can limit results to a specific
DettagliUser Guide Guglielmo SmartClient
User Guide Guglielmo SmartClient User Guide - Guglielmo SmartClient Version: 1.0 Guglielmo All rights reserved. All trademarks and logos referenced herein belong to their respective companies. -2- 1. Introduction
DettagliGeneral info on using shopping carts with Ingenico epayments
Tabella dei contenuti 1. Disclaimer 2. What is a PSPID? 3. What is an API user? How is it different from other users? 4. What is an operation code? And should I choose "Authorisation" or "Sale"? 5. What
DettagliUniversità degli Studi Roma Tre Dipartimento di Ingegneria Corso di Teoria e Progetto di Ponti A/A Prof. Ing.
Analysis methods Simplified non-linear analysis: Simply supported Bridges Most of the bridges are built using a simply supported deck configuration. For the evaluation of the seismic behaviour of as-built
DettagliEquazioni Differenziali Ordinarie per i Circuiti Elettrici: soluzioni con metodi di Runge-Kutta
Figure 7.5 presents the electrical scheme of an unsymmetrical voltag vestigated in the present section. The electronic circuit of this type, often called the illard s double quasi constant output voltage
DettagliA.A. 2006/2007 Laurea di Ingegneria Informatica. Fondamenti di C++ Horstmann Capitolo 3: Oggetti Revisione Prof. M. Angelaccio
A.A. 2006/2007 Laurea di Ingegneria Informatica Fondamenti di C++ Horstmann Capitolo 3: Oggetti Revisione Prof. M. Angelaccio Obbiettivi Acquisire familiarità con la nozione di oggetto Apprendere le proprietà
DettagliELCART ART. 10/37 PAGINA 1 DI 8. servizio automatico documentazione tecnica SPECIFICATION
ART. 0/37 PAGINA DI 8 Customer : Cusomer No: Applied To : Product Name : Piezo Buzzer Model Name : KPI-G260(With KEPO) : KP3.840.03.04R Compliance with RoHS Signature of Approval SPECIFICATION Signature
DettagliQuando mi collego ad alcuni servizi hosting ricevo un messaggio relativo al certificato di protezione del sito SSL, come mai?
IT FAQ-SSL Quando mi collego ad alcuni servizi hosting ricevo un messaggio relativo al certificato di protezione del sito SSL, come mai? Il certificato SSL relativo ai servizi hosting è stato rinnovato
DettagliCOLLOCATIONS. Match the nouns on the right column with the most appropriate adjective in current Italian:
COLLOCATIONS 1. Collocating nouns ad adjectives in Italian Match the nouns on the right column with the most appropriate adjective in current Italian: 1. DESIDERIO 2. DOLORE 3.UMILIAZIONE 4. CARATTERE
DettagliTesti del Syllabus. Docente LOCATELLI MARCO Matricola: Insegnamento: RICERCA OPERATIVA. Anno regolamento: 2013 CFU:
Testi del Syllabus Docente LOCATELLI MARCO Matricola: 006385 Anno offerta: 2013/2014 Insegnamento: 00884 - RICERCA OPERATIVA Corso di studio: 5015 - INGEGNERIA INFORMATICA Anno regolamento: 2013 CFU: 9
DettagliCompatibilità del Portale Piaggio con Internet Explorer 10 e 11. Internet Explorer 10
Italiano: Explorer 10 pagina 1, Explorer 11 pagina 2 English: Explorer 10 page 3 and 4, Explorer 11 page 5. Compatibilità del Portale Piaggio con Internet Explorer 10 e 11 Internet Explorer 10 Con l introduzione
DettagliLA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO TESTAMENTO VERSIONE RIVEDUTA BY GIOVANNI LUZZI
Read Online and Download Ebook LA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO TESTAMENTO VERSIONE RIVEDUTA BY GIOVANNI LUZZI DOWNLOAD EBOOK : LA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO Click link bellow and
DettagliAVERE 30 ANNI E VIVERE CON LA MAMMA BIBLIOTECA BIETTI ITALIAN EDITION
AVERE 30 ANNI E VIVERE CON LA MAMMA BIBLIOTECA BIETTI ITALIAN EDITION READ ONLINE AND DOWNLOAD EBOOK : AVERE 30 ANNI E VIVERE CON LA MAMMA BIBLIOTECA BIETTI ITALIAN EDITION PDF Click button to download
DettagliScheduling. Scheduler. Class 1 Class 2 Class 3 Class 4. Scheduler. Class 1 Class 2 Class 3 Class 4. Scheduler. Class 1 Class 2 Class 3 Class 4
Course of Multimedia Internet (Sub-course Reti Internet Multimediali ), AA 2010-2011 Prof. 4. Scheduling Pag. 1 Scheduling In other architectures, buffering and service occur on a per-flow basis That is,
DettagliLo sniffer. questo sconosciuto! Corso di Reti di Calcolatori Architetture e Servizi A.A. 2010/11. Introduzione allo sniffing TCP
Corso di Reti di Calcolatori Architetture e Servizi A.A. 2010/11 Lo sniffer questo sconosciuto! Introduzione allo sniffing TCP Ing. Fabio Clarizia Ing. Luca Greco Outline Analisi dei segmenti TCP inviati
DettagliIntroduzione a Matlab
Introduzione a Matlab Ruggero Donida Labati Dipartimento di Tecnologie dell Informazione via Bramante 65, 26013 Crema (CR), Italy ruggero.donida@unimi.it Perché? MATLAB is a high-level technical computing
DettagliUser s manual for art Manuale d uso per art. 3003
User s manual for art. 3003 Manuale d uso per art. 3003 This page is intentionally left blank ita La Easy Control è un piccolo registratore DMX che può essere di grande utilità per piccole installazioni,
DettagliTomography. A Lecture for: Inverse Problems Seminar. Asaf Zarmi Dec. 2009
Tomography A Lecture for: Inverse Problems Seminar Asaf Zarmi Dec. 009 Introduction The Radon Transform Projection Slice Theorem Inversion of Radon Transform Theory Aplication Cone Beam Transform Various
DettagliINFORMAZIONE AGLI UTENTI DI APPARECCHIATURE DOMESTICHE O PROFESSIONALI
INFORMAZIONE AGLI UTENTI DI APPARECCHIATURE DOMESTICHE O PROFESSIONALI Ai sensi dell art. 13 del Decreto Legislativo 25 luglio 2005, n. 151 "Attuazione delle Direttive 2002/95/CE, 2002/96/CE e 2003/108/CE,
DettagliEllipsoidal Bounds for Static Response of Uncertain Trusses by using Semidefinite Programming
Ellipsoidal Bounds for Static Response of Uncertain Trusses by using Semidefinite Programming Yoshihiro Kanno Izuru Takewaki University of Tokyo (Japan) Kyoto University (Japan) Ellipsoidal Bounds for
DettagliUniversità degli studi di Bologna Facoltà di Economia. (a) 2 (b) E (c) 4 (d) 6. (c) solo i) (d) ii) e iii)
If x + 6 = x, what is the value of x? A..5 B. C..5 D. E..5 What is the next term in the sequence:,9,6,,8,,...? A. 8 B. 6 6 cup C. 0 cup D. 9 E. 8 Università degli studi di Bologna Facoltà di Economia A.
DettagliFisica Computazionale
Fisica Computazionale Lavori in Corso a Fisica 2016 Alessandro Gabbana Universitá Degli Studi di Ferrara November 22, 2016 A.Gabbana, R.Tripiccione Fisica Computazionale November 22, 2016 1 / 11 Introduzione
DettagliArcadja Report Sebastiano Conca
Arcadja Report Sebastiano Conca - 2012 Arcadja Report 2 Arcadja Report Sebastiano Conca - 2012 All rights reserved to Jart s.r.l. - via Cassala 44-25100 - Brescia - Italy - 2012 Arcadja Report 3 Indice
DettagliViaggio di un naturalista intorno al mondo (Viaggi e Viaggiatori) (Italian Edition)
Viaggio di un naturalista intorno al mondo (Viaggi e Viaggiatori) (Italian Edition) Charles Darwin Click here if your download doesn"t start automatically Viaggio di un naturalista intorno al mondo (Viaggi
DettagliClamfim Lesson 6 Giovedì 15 Novembre 2012 Separable equations
CLAMFIM 202-203 Modell @ Clamfm Lesson 6 Govedì 5 Novembre 202 Separable equatons professor Danele Rtell www.unbo.t/faculty/danele.rtell /8? Exstence and unqueness: card Lndelhöf Theorem Let the functon
DettagliCode: GW-IMP-WEB-1. Datalogger web pulses counter. Version 6 inputs with Ethernet. MarCom
Datalogger web pulses counter Code: GW-IMP-WEB-1 Version 6 inputs with Ethernet Datalogger web pulses counter The web datalogger pulses counter is able to count the pulses on digital inputs (2 by default
DettagliELCART ART. 10/4 PAGINA 1 DI 9. servizio automatico documentazione tecnica SPECIFICATION. Customer : Applied To : Product Name : Piezo Transducer
ART. 0/4 PAGINA DI 9 SPECIFICATION Customer : Applied To : Product Name : Piezo Transducer Model Name : KPT-G40A : KP3.840.03.3R Compliance with RoHS Signature of Approval Signature of KEPO Approved by
Dettagli9.3 Quadratic penalty and augmented Lagrangian methods
9.1 Portfolio optimization Given a set of n investments and a budget B consider the problem of constructing a portfolio by selecting a subset of investments and the fraction to put into each investment.
DettagliINTERNET & MARKETING INNOVATIVE COMMUNICATION.
INTERNET & MARKETING INNOVATIVE COMMUNICATION www.sunet.it Passion Our passion to what we do every day allows us to have a special creativity and constantly improve the process of realization and execution.
DettagliResources and Tools for Bibliographic Research. Search & Find Using Library Catalogues
Resources and Tools for Bibliographic Research Search & Find Using Library Catalogues November 28, 2011 Donata Pieri Index Definition University of Padova Library System Catalogue CaPerE E-journals Catalogue
DettagliNumerical Heat and Mass Transfer
Master Degree in Mechanical Engineering Numerical Heat and Mass Transfer 16 Convective Heat Transfer Fausto Arpino f.arpino@unicas.it Forced convection over a flat plate Assuming steady-state regime, two-dimensional
DettagliCombinazioni serie HL-MHL + MHL. Sono disponibili varie combinazioni tra e riduttori coassiali serie MHL (2 stadio).
Combinazioni tra riduttori serie HL-MHL e MHL Possible combined units of helical inline gearboxes HL-MHL+MHL Combinazioni serie HL-MHL + MHL Sono disponibili varie combinazioni tra riduttori coassiali
DettagliHow to apply for the first issue of the residence permit for study. Come fare domanda di primo rilascio di permesso di soggiorno per studio
How to apply for the first issue of the residence permit for study Come fare domanda di primo rilascio di permesso di soggiorno per studio You need the so-called «richiesta di rilascio/rinnovo del permesso
DettagliIL GIOVANE HOLDEN FRANNY E ZOOEY NOVE RACCONTI ALZATE LARCHITRAVE CARPENTIERI E SEYMOUR INTRODUZIONE BY JD SALINGER
IL GIOVANE HOLDEN FRANNY E ZOOEY NOVE RACCONTI ALZATE LARCHITRAVE CARPENTIERI E SEYMOUR INTRODUZIONE BY JD SALINGER READ ONLINE AND DOWNLOAD EBOOK : IL GIOVANE HOLDEN FRANNY E ZOOEY NOVE RACCONTI ALZATE
DettagliU Corso di italiano, Lezione Quindici
1 U Corso di italiano, Lezione Quindici U Buongiorno, anche in questa lezione iniziamo con qualche dialogo formale M Good morning, in this lesson as well, let s start with some formal dialogues U Buongiorno,
DettagliGocce d'anima (Italian Edition)
Gocce d'anima (Italian Edition) Marco Fusaroli Click here if your download doesn"t start automatically Gocce d'anima (Italian Edition) Marco Fusaroli Gocce d'anima (Italian Edition) Marco Fusaroli Non
Dettaglimaths review p.1/27 Maths review Francesca Odone
maths review p.1/27 Maths review Francesca Odone maths review p.2/27 Rotation matrices A rigid rotation of a 3D vector v onto a 3D vector v can be represented by a linear transformation, defined by a 3
DettagliDatabase support Prerequisites Architecture Driver features Setup Stored procedures Where to use. Contents
VEGA ODBC DRIVER Database support Prerequisites Architecture Driver features Setup Stored procedures Where to use Contents Database support CA-IDMS/SQL including table procedures CA-IDMS/DML via stored
DettagliLA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO TESTAMENTO VERSIONE RIVEDUTA BY GIOVANNI LUZZI
Read Online and Download Ebook LA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO TESTAMENTO VERSIONE RIVEDUTA BY GIOVANNI LUZZI DOWNLOAD EBOOK : LA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO Click link bellow and
DettagliFisher Linear discriminant analysis (pag 228)
Fisher Linear discriminant analysis (pag 228) 1 Nell Analisi delle componenti proncipali PCA si trovano quelle componenti utili per la rappresentazione dei dati Tali componenti non sono utili a discriminare
DettagliSOMMATORE / SOTTRATTORE - SEPARAZIONE GALVANICA
SOMMATORE / SOTTRATTORE - SEPARAZIONE GALVANICA S190 Strumento conforme alle prescrizioni sulla compatibilità elettromagnetica (direttiva 89/366/CEE.) Norme di riferimento: EN 50081-2 Norma Emissione -
DettagliAmmissibilità di co.co.co. e AdR in H2020. Laura Fulci Dirigente Area Ricerca Politecnico di Torino
Ammissibilità di co.co.co. e AdR in H2020 Laura Fulci Dirigente Area Ricerca Politecnico di Torino Conclusione della vicenda Ott. 2015 Dic. 2015 Feb. 2016 Mar. 2016 Giu. 2016 Set. 2016 Apr. 2017 Pubblicata
DettagliSelection procedure. MASTER IN BUSINESS ADMINISTRATION - MBA (LM-77, 2-year postgraduate degree) AY 2017/18
MASTER IN BUSINESS ADMINISTRATION - MBA (LM-77, 2-year postgraduate degree) AY 2017/18 http://www.business-administration.unito.it Selection procedure Selection criteria To enrol in the Master in Business
DettagliSRT064 BTH SRT051 BTH SRT052 BTH
KIT FOR TRUCK BRAKE TESTERS SRT051 BTH SRT052 BTH OPERATOR S MANUAL SRT064BTH SRT051BTH SRT052BTH CONTENTS 1. INTRODUCTION...1 2. Description of SRT064BTH Kit...2 3. Description of SRT051BTH Kit...2 4.
DettagliModelli evolutivi per la verifica del rischio di edifici esistenti. Quaderno 4 Primi concetti di analisi nonlineare
Odine degli Ingegneri della rovincia di istoia Corso sulla Vulnerabilità Sismica Modelli evolutivi per la verifica del rischio di edifici esistenti Quaderno 4 rimi concetti di analisi nonlineare rof. Enrico
DettagliCorso di Laurea in FISICA Dispositivi di calcolo II
Corso di Laurea in FISICA Dispositivi di calcolo II Prof. Luca Gammaitoni Corso di Laurea in FISICA Compu&ng device Laurea Specialistica in Informatica input output model input à output à Numerical data
DettagliGuida all immatricolazione online
Dottorati di Ricerca Guida all immatricolazione online (English version at the end) 1. Effettuare il login inserendo nome utente e password, quindi fare click a sinistra sulla voce Immatricolazione. A
DettagliFamiglia Spirituale nel XXI secolo (La) (Italian Edition)
Famiglia Spirituale nel XXI secolo (La) (Italian Edition) Peter Roche de Coppens Click here if your download doesn"t start automatically Famiglia Spirituale nel XXI secolo (La) (Italian Edition) Peter
DettagliEsercitazione numerica n.4 Estrazione liquido liquido
Esercitazione numerica n.4 Estrazione liquido liquido 1) A waste water from a process is loaded with acetone, which should be extracted with chlorobenzene. The equilibrium data for the ternary system water/acetone/
DettagliREGISTRATION. Area Ricerca
REGISTRATION Note: former students can skip the registration process and log in using their account (id123456) 1.1 HOW TO REGISTER: please, go to web page www.univr.it/applicationphd and select the item
DettagliLe coniche furono studiate già 2000 anni fa dagli antichi Greci in particolare da Apollonio (III secolo a.c) che ne scoprì numerose proprietà.
Coniche 1 3 Ci sono alcune curve, dette coniche, che fanno la loro comparsa in moltissimi ambiti, apparentemente diversi fra loro; per esempio: le traiettorie dei pianeti sono coniche; le superficie delle
DettagliLA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO TESTAMENTO VERSIONE RIVEDUTA BY GIOVANNI LUZZI
Read Online and Download Ebook LA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO TESTAMENTO VERSIONE RIVEDUTA BY GIOVANNI LUZZI DOWNLOAD EBOOK : LA SACRA BIBBIA: OSSIA L'ANTICO E IL NUOVO Click link bellow and
DettagliIl sistema dei tipi in ML. cenni
Il sistema dei tipi in ML cenni Inferenza tipi ML - val f = fn x => x+1; val f = fn : int -> int - f 2; val it = 3 : int - - fun f(x) = x+1; val f = fn : int -> int - f 2; val it = 3 : int - - val g =
DettagliAccesso Mul*plo - modelli
Accesso Mul*plo - modelli Conceptual Model of Mul/ple Access A B C D Station A Station B Station C Station D Master Channel The Master does not know if and how many packets are present in each queue (i.e.,
Dettagli