Sistemi Intelligenti Reinforcement Learning: Sommario
|
|
- Bartolommeo Di Stefano
- 6 anni fa
- Visualizzazioni
Transcript
1 Sistemi Intelligenti Reinforcement Lerning: Itertive policy evlution Alberto Borghese Università degli Studi di Milno Lbortorio di Sistemi Intelligenti Applicti (AIS-Lb) Diprtimento di Scienze dell Informzione 1/35 Sommrio Determinzione ricorsiv dell Vlue function Dlle equzioni di Bellmn ll itertive policy evlution. Determinzione dell policy ottim. 2/35 1
2 Esempio di clcolo dell Vlue function Vlue function Policy V(high) =? (s=high) =? V(low) =? (s=low) =? 3/35 Esempio di clcolo dell funzione vlore α=0.4, β=0.1, γ=0.8, R serch =3, R wit =1 Vh = Pr(W)x1x[1+0.8Vh] + Pr(S)x0.4x[3+0.8xVh]+Pr(S)x0.6x[3+0.8Vl] Wit Serch -> high Serch -> low Vl = Pr(W)x1x[1+0.8Vl] + Pr(S)x0.1x[3+0.8xVl]+Pr(S)x0.9x[-3+0.8Vh]+ 0 [ 8Vh]+ Wit Pr(R)x1x[0+0.8Vh] Serch -> High Rechrge Serch -> Low Sistem linere di 2 equzioni nelle 2 incognite: Vh e Vl Come clcolo Vh e Vl? 4/35 2
3 Sviluppo dei clcoli s = High Pr(W) = 0,4 Pr(S) = 0,6 s = Low Pr(W) = 0,4 Pr(S) = 0,6 Pr(R) = 0,1 0,488 Vh 0,288Vl = 2,20 0,44 Vh -0,64Vl = 0,8 Sistem linere di 2 equzioni in 2 incognite. E risolubile? Che relzione h con l intelligenz? 5/35 Clcolo ricorsivo dell Vlue function V π = = = k ( s) Eπ { Rt st s} Eπ γ rt k = 0 V π ( s') = Eπ { R + st+ 1 t 1 = s '} = + k + 1 st s Legme? Policy Next-stte P s = s' s = s, } s > s ' = Pr{ t+ 1 t t = π ( ) = + k V ( s) π j, s Ps s' Rs s E r j ' j π γ γ t+ j s' k = 0 π π V ( s) = π j, s Ps s + l R j s sl ' γ V ( s j l ' j sl' 6/35 k + 2 ( ) { ' [ )]} s = s t Bellmn s eqution 3
4 Osservzioni V π (s) = funz(v π (s )) Bckwrds in time V π ( s) π ( j, s) { Ps s ' [ Rs s ' + γ V ( sl ')]} = π j s ' l l j 7/35 l j Esempio di funzione vlore (possibile progetto) = π(s) equiprobbile = 0.25 R(s,) per stti sui bordi e zioni che portno fuori dl bordo. R(s) per tutti gli ltri stti (= 0, +5, +10) 8/35 4
5 t: s = s t = C Clcolo dell funzione vlore per uno stto t + 1: s = s = s t+1 I C + Dy p = 0.25 r = 0 II C Dy p = 0.25 r = 0 III C + Dx p = 0.25 r = 0 IV C p = 0.25 r = -1 y x Per clcolre il vlore di s: V(s), (), devo nlizzre il vlore di ogni s : C π(s,) -- P s-> s -- R s->s -- V π (s ) Vlue of s. policy Rispost mbiente Rewrd 9/35 t: s = s t = C Esempio di vlore di uno stto t + 1: s = s = s t+1 C+Dyp=025r= = 0 C Dy p = 0.25 r = 0 C + Dx p = 0.25 r = 0 C p = 0.25 r = -1 r t+1 = y t + 2, s = C+Dx s = C-Dy A p = 0.25 r = 0 C r = 0 C +Dx+Dy p = 0.25 r = 0 C -2Dy r = 0 A +2Dx p = 0.25 r = 0 C Dy + Dx r = 0 C p = 0.25 r = 0 C Dy r = -1 r t+2 = 0.0 r t+2 = /35 C x 5
6 Sviluppo przile 2 pssi C su giù dx sx C+Dy C-Dy C+Dx C su giù dx sx A C-Dy +Dx C+2Dx C 11/35 3 ssunzioni: Problemtiche legte l clcolo di V(s): problem di policy evlution 1) Conoscenz dell dinmic dell mbiente: P(s->s j ) 2) Conoscenz osce dell policy (eventulmente e e stocstic), s c π(s, ) 3) Potenz di clcolo sufficiente 4) Proprietà Mrkovine dell mbiente (definizione di uno stto). Le equzioni contengono dei termini sttistici (vlori ttesi). Soluzione di un sistem linere in N incognite (numero di stti). Come mi posso determinre l Vlue function per l policy π(.), se quest si bs sul rewrd che riceverò negli istnti futuri? C e poc interzione con l mbiente e molt simulzione (cf. metodi Montecrlo). 12/35 6
7 L Vlue function sulle zioni L vlue function può rigurdre le zioni. Action-Vlue function Q = = = = k s, ) Eπ { Rt st s, t } Eπ γ rt + k + st = s, t = k = 0 π ( 1 Mssimizzo l ricompens lungo termine, Q(.). Dipende dll policy. Dove bbimo già trovto un Vlue function ssocit lle zioni? 13/35 Sommrio Determinzione ricorsiv dell Vlue function Dlle equzioni di Bellmn ll itertive policy evlution. Determinzione dell policy ottim. 14/35 7
8 Policy Fig. 3.4 L policy deve essere ncor determint. Come f l gente determinre l policy ottimle? Archi multipli fuoriuscenti d un zione sono ssociti ll probbilità di scegliere quel cmmino (mbiente stocstico). Archi multipli fuoriuscenti d uno stto, sono ssociti ll policy. 15/35 Ottimizzzione policy Per ogni stto scelgo le zioni secondo l policy: π(s,). Posso ordinre l Vlue function V(s) in funzione delle zioni scelte in s (policy). Si definisce un policy, π 1, migliore di un ltr, π 2, se e solo se: V π1 (s) > =V π2 (s) s. In prticolre si definisce un politic ottim, π *, se e solo se: V * (s) > =V π (s) s Q * (s,) > =Q π (s,) [s,]. 16/35 8
9 Rissunto Posso determinre l Vlue function in modo ricorsivo. Per ogni stto, srà funzione dell output dell mbiente in quell istnte (ttrverso l funzione stto prossimo ed il rewrd istntneo) e dell policy scelt in quell istnte e dei rewrd lungo termine ttesi negli stti in cui l mbiente mi port. Per scegliere l policy devo esminre il rewrd lungo termine che mi si prospett nello stto in cui mi trovo e scegliere l zione che lo mssimizz. 17/35 Itertive policy evlution Evoluzione del sistem d s(t=0) {s (t = T)} utilizzndo l policy π(s,), prefisst. Qunto vlgono gli stti? Prto d V(s(t=0)) k=0 rbitrri, otterrò un vlue function per ogni stto che srà funzione di V(s(t=0)). Devo migliorre, come? Utilizzimo l informzione sul pssto. {V} 0, {V} 1, {V} 2, {V} 3, {V} 4, {V} 5,. {V} 18/35 9
10 Fondmenti del metodo Supponimo di essere ll istnte t. In questo istnte t, si può pssre d un certo insieme di stti: {s t+1 }. Anlizzimo un solo psso: cos succede nell trnsizione d t t+1. Migliorre l stim dell nostr Vlue Function d ogni iterzione. 19/35 Tecnic full-bckup t Bck-up π(s,) fisst Conoscimo V k (s(t)) s, nche per s quindi Anlizzimo l trnsizione d s(t) -> {s (t+1)} Clcolimo un nuovo vlore di s: V k+1 (s(t)) congruente con V k (s(t)) ed r t+1 Full bckup se esminimo tutti gli s (cf. DP). π fisst D s mi gurdo indietro ed ggiorno V(s). 20/35 t+1 10
11 Clcolo itertivo dell Vlue Function Per ogni stto s, estrtto cso, nlizzimo un singol trnsizione. Equzione di Bellmn per itertive policy evlution : V (, s) P [ R V ( ')] 1( s) = π j s s' s s' + γ k s j j j s' k + Mi fido di V k (s ) (Bckup) lim k { V k ( s)} = V π ( s) 21/35 Algoritmo per itertive policy evlution, versione btch Prtimo d un politic π(s,) dt. Definimo un sogli di convergenz τ Inizilizzimo V(s) = 0 s, compreso gli stti finli. Repet { Δ = 0; for s = 1 : N // s, j TS j { π ( s, j ) P R ' V ( s') s s' s s + γ > > j s' W(s) = [ ] // W(s) è V k+1 (s) Δ = mx(δ, V(s) W (s) ) } for s=1:n V(s) = W(s); } Until (Δ < τ); 22/35 11
12 Interpretzione dell updte (btch o tril) j j ( s, j ) [ R ' V ( s') ] s s' s s V(s) = π P > + γ > () j s' Al termine dell ggiornmento dei V(s) per tutti gli stti, V(s) = V new (s). Aggiornmento btch. Utilizzerò in prte già il nuovo vlore di V(s) ll interno dell equzione equzione di ggiornmento. Aggiornmento per tril. Entrmbe le modlità di ggiornmento convergono. 23/35 Algoritmo per itertive policy evlution, versione per tril Prtimo d un politic π(s,) dt. Definimo un sogli reltiv di convergenz τ Inizilizzimo V(s) = 0 s, compreso gli stti finli. Repet { Δ = 0; for s = 1 : N // s, TS { Vlue = V(s); V k+1 (s) = k 1 j j [ Rs > s V ( s') ] π ( s, j ) P ' + γ s' j s > s' Δ = mx(δ, ( Vlue V k+1 (s) ) / Vlue ) } } Until (Δ < τ); 24/35 12
13 Esempio L gente evolve esplorndo gli stti TS sono gli stti TS terminli. L gente può spostrsi: {dx, sx, lto, bsso} π(s,) è equiprobbile. R =-1 per ogni trnsizione, trnne qundo s = TS (R = 0). γ = TS 25/35 Esempio V(s) k=0 26/35 13
14 Esempio V(s) k=1 V(s) k= V(s) k=1 Esempi: V(s=10) k=1 = 0.25 [1 ( V(14) k=0 ] [1 ( V(6) k=0 ] [1 ( V(9) k=0 ] [1 ( V(11) k=0 ] = -1 V(s=1) k=1 = 0.25 [1 ( V(1) k=0 ] [1 ( V(5) k=0 ] [1 (0 + 1 V(TS) k=0 ] [1 ( V(2) k=0 ] = /35 Esempio V(4) k=1 per tril V(s) k= ,75?? V(s) k=1 Per epoch: V(s=5) k=1 = 0.25 [1 ( V(9) k=0 ] [1 ( V(6) k=0 ] [1 ( V(4) k=0 ] [1 ( V(1) k=0 ] = -1 Per tril: V(s=5) k=1 = 0.25 [1 ( V(9) ] [1 ( V(6)] [1 (0 + 1 V(4)] [1 ( V(1)] = /35 14
15 Esempio V(s) k= V(s) k= V(s) k=2 Esempi: V(s=10) k=2 = 0.25 [1 ( V(14) k=1 ] [1 ( V(6) k=1 ] [1 ( V(9) k=1 ] [1 ( V(11) k=0 ] = V(s=1) k=2 = 0.25 [1 ( V(1) k=1 ] [1 ( V(5) k=1 ] [1 (0 + 1 V(TS) k=1 ] [1 ( V(2) k=1 ] = /35 Sommrio Determinzione ricorsiv dell Vlue function Dlle equzioni di Bellmn ll itertive policy evlution. Determinzione dell policy ottim. 30/35 15
16 Esempio di clcolo di V*(s) - I V(high): stte = high, ction = wit Q( high, wit) = 1[ R α = 0.4, β = 0.1, γ = 0.8, R Wit = 1, R Serch = 3 wit * + γv ( high)] serch serch * stte = highh, ction = serch Q ( highh, serch ) = α [ R + γ V *( highh )] + (1 α )[ R + γ V ( low )] V(low): stte = low, ction = wit Q( low, wit) = [ R stte = low, ction = serch Q( low, serch) = β[ R stte = low, ction = rechr Q( low, rechr) = γv wit * + γv ( low)] 31/35 * serch ( h) * * + γv ( low)] + (1 β )[ 3 + γv ( high)] Esempio di clcolo di V*(s) - II s = HighEnergy = Serch; Vh V*l = Wit; Vh = 5 (per ogni V*l) s = Low = Serch; Vl V*h = Wit; Vl = 5 = Rechrge; Vl = 0.8 V*h Come clcolo V*h ev*l? 32/35 16
17 Esempio di clcolo di V*(s) - III s = HighEnergy = Serch; Vh V*l = Wit; Vh = 5 (per ogni V*l) s = Low = Serch; Vl V*h = Wit; Vl = 5 = Rechrge; Vl = 0.8 V*h Scelgo Mx Sistem non-linere.. si per lo stto High Energy che Low Energy 33/35 Esempio di clcolo di V*(s) - IV s = HighEnergy = Serch; Vh Vl 9.25 s = Low = Wit; Vl = 5 s = HighEnergy = Serch; Vh Vl 12 s = Low = Rechrge; Vl = 0.8 * Vh = 9.6 s = HighEnergy = Wit; Vh 5 s = Low = Serch; Vl = Vh 33 Serve comunque un vlutzione globle di V(s) per i vri stti. L soluzione dipende dl vlore dei prmetri. 34/35 17
18 Sommrio Determinzione ricorsiv dell Vlue function Dlle equzioni di Bellmn ll itertive policy evlution. Determinzione dell policy ottim. 35/35 18
Part I Reinforcement Learning. 1 Q-Learning. 1.1 Deterministico
http://www.windizio.ltervist.org/ppunti/ File distribuito con licenz Cretive Commons BY NC SA 2.5 IT Copyright 2007 Michele Trtr Prt I Reinforcement Lerning In un processo decisionle Mrkovino (MDP) l'gente
DettagliB8. Equazioni di secondo grado
B8. Equzioni di secondo grdo B8.1 Legge di nnullmento del prodotto Spendo che b0 si può dedurre che 0 oppure b0. Quest è l legge di nnullmento del prodotto. Pertnto spendo che (-1) (+)0 llor dovrà vlere
Dettagli5 2d x x >12. con a, b, c e d parametri reali. Il grafico di f (x) passa per l origine del sistema di riferimento
Questionrio Risolvi quttro degli otto quesiti: L Città dello sport è un struttur sportiv progettt dll rchitetto Sntigo Cltrv e mi complett, situt sud di Rom Rispetto l sistem di riferimento indicto in
DettagliLinguaggi di Programmazione Corso C. Parte n.5 Automi a Stati Finiti. Nicola Fanizzi
Linguggi di Progrmmzione Corso C Prte n.5 Automi Stti Finiti Nicol Fnizzi (fnizzi@di.uni.it) Diprtimento di Informtic Università degli Studi di Bri Automi Stti Finiti Dto un lfeto X, un utom stti finiti
DettagliPNI SESSIONE SUPPLETIVA QUESITO 1
www.mtefili.it PNI 2005 - SESSIONE SUPPLETIVA QUESITO È dto un trpezio rettngolo, in cui le bisettrici degli ngoli dicenti l lto obliquo si intersecno in un punto del lto perpendicolre lle bsi. Dimostrre
Dettagli, x 2. , x 3. è un equazione nella quale le incognite appaiono solo con esponente 1, ossia del tipo:
Sistemi lineri Un equzione linere nelle n incognite x 1, x 2, x,, x n è un equzione nell qule le incognite ppiono solo con esponente 1, ossi del tipo: 1 x 1 + 2 x 2 + x +!+ n x n = b con 1, 2,,, n numeri
DettagliFORMULE DI AGGIUDICAZIONE
Mnule di supporto ll utilizzo di Sintel per stzione ppltnte FORMULE DI AGGIUDICAZIONE gin 1 di 18 Indice AZIENDA REGIONALE CENTRALE ACQUISTI - ARCA S.p.A. 1 INTRODUZIONE... 3 1.1 Mtrice modlità offert/modlità
DettagliCapitolo 5. Integrali. 5.1 Integrali di funzioni a gradinata
Cpitolo 5 Integrli 5.1 Integrli di funzioni grdint Un concetto molto semplice m di fondmentle importnz per l trttzione dell integrle di Riemnn è quello di divisione di un intervllo [, b]. In sostnz si
DettagliIl calcolo letterale
Progetto Mtemtic in Rete Il clcolo letterle Finor imo studito gli insiemi numerici (espressioni numeriche). Ν, Ζ, Q, R ed operto con numeri In mtemtic però è molto importnte sper operre con le lettere
DettagliUnità 3 Metodi particolari per il calcolo di reti
Unità 3 Metodi prticolri per il clcolo di reti 1 Cos c è nell unità Metodi prticolri per il clcolo di reti con un solo genertore Prtitore di tensione Prtitore di corrente Metodi di clcolo di reti con più
DettagliSessione Suppletiv PNI 006 Sessione Suppletiv PNI 006 Sessione Suppletiv PNI 006 PROBLEMA ) L prbol di equzione V ' (0,0). y h sse di simmetri prllelo ll sse delle ordinte e vertice in L prbol di equzione
Dettaglim kg M. 2.5 kg
4.1 Due blocchi di mss m = 720 g e M = 2.5 kg sono posti uno sull'ltro e sono in moto sopr un pino orizzontle, scbro. L mssim forz che può essere pplict sul blocco superiore ffinchè i blocchi si muovno
Dettagli8 Controllo di un antenna
8 Controllo di un ntenn L ntenn prbolic di un rdr mobile è montt in modo d consentire un elevzione compres tr e =2. Il momento d inerzi dell ntenn, Je, ed il coefficiente di ttrito viscoso, f e, che crtterizzno
DettagliIntegrale Improprio. f(x) dx =: Osserviamo che questa definizione ha senso dal momento che per ogni y è ben definito l integrale b
Integrle Improprio In queste lezioni riprendimo l teori dell integrzione in un vribile, l ide è di estendere l integrle definito nche in csi in cui l funzione integrnd o l intervllo di integrzione non
DettagliCampi. Una funzione F di n variabili reali e a valori in R n è detta campo di vettori. Nel seguito considereremo F : A R n con A aperto di R n.
Cmpi Ultimo ggiornmento: 18 febbrio 217 Un funzione F di n vribili reli e vlori in R n è dett cmpo di vettori. Nel seguito considereremo F : A R n con A perto di R n. 1. Integrli curvilinei di second specie
Dettagli{ 3 x y=4. { x=2. Sistemi di equazioni
Sistemi di equzioni Definizione Un sistem è un insieme di equzioni che devono essere verificte contempornemente, cioè devono vere contempornemente le stesse soluzioni. Definimo grdo di un sistem il prodotto
DettagliOsserviamo che per trovare le costanti A e B possiamo anche ragionare così: se moltiplichiamo l equazione x + 1 (x + 2)(x + 3) = A.
88 Roberto Turso - Anlisi 2 Osservimo che per trovre le costnti A e B possimo nche rgionre così: se moltiplichimo l equzione + ( + 2)( + 3) = A + 2 + B + 3 per + 2, dopo ver semplificto, ottenimo + + 3
DettagliIntegrali. all integrale definito all integrale indefinito. Integrali: riepilogo
Integrli ll integrle deinito ll integrle indeinito Indice dell lezione Integrle Deinito Rettngoloide Integrle deinito come re del rettngoloide Esempi e propriet Primitiv Teorem ondmentle del clcolo integrle
DettagliGeometria Analitica Domande, Risposte & Esercizi
Geometri Anlitic Domnde, Risposte & Esercizi. Dre l definizione di iperole come luogo di punti. L iperole è un luogo di punti, è cioè un insieme di punti del pino le cui distnze d due punti fissi F e F
DettagliLo spettro di un segnale numerico
Lo spettro di un segnle numerico Abbimo visto che le prestzioni (P b (e) in funzione di E b /N 0 ) di un costellzione dipendono solo dll disposizione dei suoi segnli nello spzio Euclideo, non dlle forme
DettagliTeoria in pillole: logaritmi
Teori in pillole: logritmi EQUAZIONI ESPONENZIALI Un'equzione si dice esponenzile qundo l'incognit compre soltnto nell'esponente di un o più potenze. L'equzione esponenzile più semplice (elementre) è del
DettagliIngegneria Elettrica Politecnico di Torino. Luca Carlone. ControlliAutomaticiI LEZIONE II
Ingegneri Elettric Politecnico di Torino Luc Crlone ControlliAutomticiI LEZIONE II Sommrio LEZIONE II Sistemi lineri e proprietà di unicità Concetto di Stilità Stilità intern ed estern Criterio di Routh
DettagliIntegrazione Numerica
Integrzione Numeric Si f un funzione integrbile sull intervllo [, b]. Il suo integrle I (f ) = b f (x) dx può essere difficile d clcolre (può nche non essere vlutbile in form esplicit). Un formul esplicit
DettagliLezione 14. Risoluzione delle equazioni algebriche.
Lezione Prerequisiti: Lezioni 8,. Risoluzione delle equzioni lgebriche. Si F un cmpo, e si K un chiusur lgebric di F. Si f ( ) F[ ] non costnte. Studimo i metodi di risoluzione per l equzione f ( ) = 0,
DettagliFacoltà di Economia - Università di Sassari Anno Accademico 2004-2005. Dispense Corso di Econometria Docente: Luciano Gutierrez.
Fcoltà di Economi - Università di Sssri Anno Accdemico 2004-2005 Dispense Corso di Econometri Docente: Lucino Gutierrez Algebr Linere Progrmm: 1.1 Definizione di mtrice e vettore 1.2 Addizione e sottrzione
DettagliDeterminanti e caratteristica di una matrice (M.S. Bernabei & H. Thaler
Determinnti e crtteristic di un mtrice (M.S. Bernbei & H. Thler Determinnte Il determinnte può essere definito solmente nel cso di mtrici qudrte Per un mtrice qudrt 11 (del primo ordine) il determinnte
DettagliLaboratorio di Matematica Computazionale A.A Lab. 11 Integrazione numerica
Lbortorio di Mtemtic Computzionle A.A. 2008-2009 1 Integrzione numeric Lb. 11 Integrzione numeric Un metodo di integrzione numerico consiste in un formul esplicit che permett di pprossimre il vlore di
DettagliUn classico modello dinamico dell interazione tra domanda e offerta è
Appendice A Alcuni modelli per l ingegneri gestionle A.1 Il modello rgntel Un clssico modello dinmico dell interzione tr domnd e offert è descitto d un equzione lle differenze del primo ordine. Il funzionmento
DettagliEsponenziali e logaritmi
Esponenzili e ritmi ESPONENZIALI Potenze con esponente rele L potenz è definit: se > 0, per ogni R se 0, per tutti e soli gli R se < 0, per tutti e soli gli Z Sono definite: ( ) ( ) ( ) 7 7 Non sono definite:
DettagliCurve e forme differenziali
Curve e forme differenzili Bricentro di un curv Si dt un curv :,b] R 3 di clsse C 1 trtti, con (t) = ( 1 (t), 2 (t), 3 (t)). Assumimo che si ssegnt un funzione continu e positiv µ : (,b]) R, che chimimo
DettagliSerie di Potenze. Introduciamo il concetto di convergenza puntuale ed uniforme per successioni. { 0 se 1 < x < 1
Serie di Potenze Introducimo il concetto di convergenz puntule ed uniforme per successioni di funzioni. Definizione 1 Si I un intervllo di R. Si dt l vrire di n N l funzione f n : I R. Dicimo che l successione
DettagliCorso di Analisi Matematica. Calcolo integrale
.. 2011/12 Lure triennle in Informtic Corso di Anlisi Mtemtic Clcolo integrle Avvertenz Questi sono ppunti informli delle lezioni, che vengono resi disponibili per comodità degli studenti. Prte del mterile
DettagliLa Cinematica Un punto materiale si muove lungo una circonferenza di raggio 20 cm con frequenza di 5,0 Hz.
Un punto mterile si muove luno un circonferenz di rio cm con frequenz di 5, Hz. Clcolre l velocità tnenzile ed il numero di iri compiuti in s. R L velocità tnenzile l clcolimo ttrverso l su definizione:
DettagliRAPPRESENTAZIONE GRAFICA DELLA PARABOLA a ( ) { } f con, è la parabola di equazione y = ax + bx + c. Vogliamo disegnarla. 2
APPENDICE 1 AL CAPITOLO 3: RAPPRESENTAZIONE GRAFICA DELLA PARABOLA Per 0 l insieme,y / y = + + c, grfico dell funzione f = + + c { } f con, è l prol di equzione y = + + c Voglimo disegnrl non è difficile
DettagliFenomeni di fluttuazione e meccanica quantistica W. Heisenberg a Copenaghen
1 Fenomeni di fluttuzione e meccnic quntistic W. Heisenberg Copenghen L not presente cerc di mostrre che l meccnic quntistic è sempre in ccordo con le formule di fluttuzione prescritte dll teori dell discontinuità.
DettagliINTEGRAZIONE NUMERICA
INTEGRAZIONE NUMERICA Frncesc Pelosi Diprtimento di Mtemtic, Università di Rom Tor Vergt CALCOLO NUMERICO e PROGRAMMAZIONE http://www.mt.unirom.it/ pelosi/ INTEGRAZIONE NUMERICA p./33 INTEGRAZIONE NUMERICA
DettagliUTILIZZO DEL PRINCIPIO DEI LAVORI VIRTUALE PER ANALISI DI STRUTTURE IPERSTATICHE CALCOLO DI SPOSTAMENTI ESERCIZIO 1
UTILIZZO DEL RINIIO DEI LVORI VIRTULE ER NLISI DI STRUTTURE IERSTTIHE LOLO DI SOSTMENTI ESERIZIO L struttur indict in fig., compost d un unic st sezione circolre pien di dimetro d, simmetric rispetto ll
DettagliLaurea triennale in Scienze della Natura a.a. 2009/2010. Regole di Calcolo
Lure triennle in Scienze dell Ntur.. 2009/200 Regole di Clcolo In queste note esminimo lcune conseguenze degli ssiomi reltivi lle operzioni e ll ordinmento nell insieme R dei numeri reli. L obiettivo principle
Dettagli01CXGBN Trasmissione numerica. parte 9: lo spettro del segnale trasmesso
0CXGBN rsmissione numeric prte 9: lo spettro del segnle trsmesso Lo spettro di un segnle numerico Abbimo visto che le prestzioni (P b (e) in funzione di Eb/N0) di un costellzione dipendono solo dll disposizione
DettagliAnno 5. Applicazione del calcolo degli integrali definiti
Anno 5 Appliczione del clcolo degli integrli definiti 1 Introduzione In quest lezione vedremo come pplicre il clcolo dell integrle definito per determinre le ree di prticolri figure pine, i volumi dei
DettagliMinimi quadrati e problemi di distanza minima
Minimi qudrti e problemi di distnz minim Considerimo un mtrice rettngolre B, con elementi b ij, i 1,..., n, j 1,..., m, con m < n (quindi, più righe che colonne. Voglimo risolvere il sistem linere (1 Bx
Dettagliipotenusa cateto adiacente ad α cateto opposto ad α ipotenusa cateto adiacente ad α ipotenusa cateto adiacente ad α
Trigonometri I In quest prim prte dell trigonometri denimo le funzioni trigonometriche seno, coseno e tngente e le loro funzioni inverse. Vedremo nche come utilizzrle nell risoluzione dei tringoli. Comincimo
Dettaglib a 2. Il candidato spieghi, avvalendosi di un esempio, il teorema del valor medio.
Domnde preprzione terz prov. Considert, come esempio, l funzione nell intervllo [,], il cndidto illustri il concetto di integrle definito. INTEGRALE DEFINITO, prendendo in esme un generic funzione f()
DettagliAppunti di calcolo integrale
prte II Integrle definito Liceo Scientifico A. Volt - Milno 23 mrzo 2017 Integrle definito Si y = f (x) un funzione continu in I = [, b]. Si chim trpezoide l figur curviline pin delimitt: dl grfico dell
DettagliTraduzione di espressioni in assembly Motorola 68000
Trduzione di espressioni in ssemly Motorol 68000 Dniele Polo Scrpzz dniele.scrpzz@elet.polimi.it Politecnico di Milno Ultimo ggiornmento: 10 Mggio 2005 Trduzione e ssemlggio Trduzione: dto un progrmm,
DettagliSuccessioni di Funzioni e Serie di Potenze
Successioni di Funzioni e Serie di Potenze 1 Successioni di Funzioni e Serie di Potenze 1 Successioni di Funzioni Nel corso di nlisi di bse si sono studite le successioni numeriche. Qui considerimo un
DettagliFormulario di Analisi Matematica 1
Formulrio di Anlisi Mtemtic Indice degli rgomenti Punti interni, isolti, di ccumulzione e di frontier Alcune costnti Proprietà delle potenze Proprietà degli esponenzili Proprietà dei logritmi Proprietà
DettagliEsercizi di Informatica Teorica
03-utomi--stti-finiti-0 Esercizi di Informtic Teoric Automi stti finiti Autom stti finiti (ASF) richimi utom stti finiti ASF = dove Σ = {σ, σ 2,, σ n } è un lfeto (finito) di input K= {, q,,
DettagliTurnazione dei mezzi (vehicles-scheduling)
Turnzione dei mezzi (vehicles-scheduling) Definizione del prolem L fse di turnzione dei mezzi e del personle consiste nel pinificre l utilizzo nel tempo (e nello spzio) dei mezzi e del personle in modo
Dettagli7. Derivate Definizione 1
7. Derivte Il concetto di derivt è importntissimo e molto nturle. Per vere un esempio concreto, penste l moto di un mcchin: se f(t) è l funzione che esprime qunt strd vete percorso fino d un certo istnte
Dettagli1 Integrale delle funzioni a scala
INTEGRALE DELLE FUNZIONI DI UNA VARIABILE Teori di Riemnn 1 Integrle delle funzioni scl (1.1) Definizione Si dice suddivisione di un intervllo chiuso e limitto [, b] un sottoinsieme {,..., n } di [, b]
DettagliMisure ed incertezze di misura
Misure ed incertezze di misur Misurzione e Misur Misurre signiic quntiicre un grndezz isic chimt misurndo trmite un processo (misurzione) il cui risultto detto misur. L misur deve poter essere ripetut
DettagliI Teoremi di Green, della divergenza (o di Gauss) e di Stokes
I Teoremi di Green, dell divergenz o di Guss e di Stokes In R Si un sottoinsieme limitto di R semplice rispetto d entrmbi gli ssi crtesini con costituit dll unione di un numero finito di sostegni di curve
DettagliScheda Sei ESPONENZIALI E LOGARITMI. 0,+. Inoltre valgono le
Sched Sei ESPONENZIALI E LOGARITMI L funzione esponenzile Assegnto un numero rele >0, si dice funzione esponenzile in bse l funzione Grfici dell funzione esponenzile Se = l funzione esponenzile è costnte:
DettagliU.D. N 15 Funzioni e loro rappresentazione grafica
54 Unità Didttic N 5 Funzioni e loro rppresentzione grfic U.D. N 5 Funzioni e loro rppresentzione grfic ) Le coordinte crtesine ) L distnz tr due punti 3) Coordinte del punto medio di un segmento 4) Le
DettagliFUNZIONI CONTINUE A TRATTI E LORO INTEGRALI
FUNZIONI CONTINUE A TRATTI E LORO INTEGRALI Considerimo un funzione f : I R, dove I è un intervllo di R. Si c un punto interno I in cui f è discontinu. Diremo che c è un punto di discontinuità di prim
DettagliEsercitazione Dicembre 2014
Esercitzione 10 17 Dicembre 2014 Esercizio 1 Un economi chius è crtterizzt di seguenti dti: A = 400 M = 250 γ = 1.5 (moltiplictore dell politic fiscle) β = 0.8 moltiplictore dell politic monetri z = 0.25
Dettaglia monometriche Oxy, l equazione cartesiana di Γ è: y =
Y557 - ESAME DI STATO DI LICEO SCIENTIFICO CORSO SPERIMENTALE P.N.I. Tem di: MATEMATICA Il cndidto risolv uno dei due problemi e 5 dei quesiti del questionrio. PROBLEMA Nel pino sono dti: il cerchio γ
DettagliTitolazione Acido Debole Base Forte. La reazione che avviene nella titolazione di un acido debole HA con una base forte NaOH è:
Titolzione Acido Debole Bse Forte L rezione che vviene nell titolzione di un cido debole HA con un bse forte NOH è: HA(q) NOH(q) N (q) A (q) HO Per quest rezione l costnte di equilibrio è: 1 = = >>1 w
DettagliFUNZIONI IPERBOLICHE
FUNZIONI IPERBOLICHE Umberto Mrconi Diprtimento di Mtemtic Pur e Applict Pdov Premess Si [, [, fissto. Voglimo cpire cos signific: w dw perché l funzione integrnd è illimitt. Se considerimo, per b [, [,
DettagliCinetica chimica. Studia la velocità ed i meccanismi con cui avvengono le reazioni chimiche.
Cinetic chimic Studi l velocità ed i meccnismi con cui vvengono le rezioni chimiche. Velocità con cui vri l concentrzione dei regenti o dei prodotti nel tempo: scomprs dei regenti e comprs dei prodotti
DettagliIl problema delle aree. Metodo di esaustione.
INTEGRALE DEFINITO. DEFINIZIONE E SIGNIFICATO GEOMETRICO. PROPRIETA DELL INTEGRALE DEFINITO. FUNZIONE INTEGRALE. TEOREMA DELLA MEDIA. TEOREMA FONDAMENTALE DEL CALCOLO INTEGRALE. FORMULA DI LEIBNITZ NEWTON.
DettagliTeoria in sintesi ESPONENZIALI. Potenze con esponente reale. La potenza. Sono definite: Non sono definite: Casi particolari :
Teori in sintesi ESPONENZIALI Potenze con esponente rele L potenz è definit: se >, per ogni R se, per tutti e soli gli R se
DettagliCorso di Componenti e Impianti termotecnici IL PROGETTO TERMOTECNICO PARTE SECONDA
IL PROGETTO TERMOTECNICO PARTE ECONDA 1 I ponti termici Il ponte termico può essere definito come: un elemento di elevt conduttività inserito in un prete o elemento di prete di minore conduttività. I ponti
DettagliSeconda prova maturita 2016 soluzione secondo problema di matematica scientifico
Second prov mturit 06 soluzione secondo problem di mtemtic scientifico Skuol.net June, 06 Primo Problem Le tre funzioni proposte sono f () ( ) k f () 6 + 9k + f () cos( π k ). Punto Affinche l funzione
DettagliINTEGRALI IMPROPRI. c Paola Gervasio - Analisi Matematica 1 - A.A. 16/17 Integrali impropri cap10.pdf 1
INTEGRALI IMPROPRI c Pol Gervsio - Anlisi Mtemtic - A.A. 6/7 Integrli impropri cp.pdf Abbimo visto che l integrle di Riemnn è definito per funzioni limitte e su intervlli limitti. Si or I R un intervllo
DettagliLa parabola LA PARABOLA È IL LUOGO DEI PUNTI DEL PIANO EQUIDI- STANTI DA UN PUNTO DETTO FUOCO E DA UNA RETTA CHE NON LO CONTIENE DETTA DIRETTRICE.
L prol In figur è trccito il grfico di un prol con sse di simmetri verticle. Si vede suito dl grfico ce: l curv è simmetric rispetto l suo sse di simmetri il suo punto più in sso è il vertice il vertice
DettagliE U Q A U Z A I Z O I N O I N DI SE S C E O C N O DO
EQUAZIONI DI ECONDO GRADO Riepilogo delle soluzioni in bse l segno di < φ : b > : b b Prof I voi, EQUAZIONI DI ECONDO GRADO EQUAZIONI PURE DI ECONDO GRADO : EEMPI ) ) ) 7 7 ) > φ (impossibile) ) impossibil
DettagliEsponenziali e logaritmi
Teori in sintesi ESPONENZIALI Potenze con esponente rele Esponenzili e ritmi L potenz è definit: se, per ogni R se, per tutti e soli gli R se, per tutti e soli gli Z. Sono definite: 7 7. Non sono definite:.
Dettaglia a a a a a a-- REGOLAMENTO D GRADUAZONE DEGU NCARKH DllRftGENZAU Aree veterinaria sanitaria, profession&e, tecnica ed amministrathia
ZSAM CCAPORME TERAMO REGOLAMENTO D GRADUAZONE DEGU NCARKH DllRftGENZAU Aree veterinri snitri, profession&e, tecnic ed mministrthi Term o, 4 prile 2017 E E -- ndice PREMESSA.3 ARTICOLO i Criteri generli
DettagliVerifica di Fisica 04/12/2014 Argomenti trattati durante il corso:
Liceo Scientifico Augusto Righi, Cesen Corso di Fisic Generle, AS 2014/15, Clsse 1C Verific di Fisic 04/12/2014 Argomenti trttti durnte il corso: Grndezze fisiche: fondmentli e derivte Notzione scientific
DettagliIl modello IS-LM: derivazione analitica 1
Il modello IS-LM: derivzione nlitic 1 Ultim revisione My 12, 2014 Economi chius Il mercto rele L equilibrio sul mercto dei beni e servizi - il cosiddetto mercto rele - e descritto dll curv IS. Le equzioni
DettagliUn carrello del supermercato viene lanciato con velocità iniziale
Esempio 44 Un utomobile procede lungo l utostrd ll velocità costnte di m/s, ed inizi d ccelerre in vnti di m/s.5 proprio nell istnte in cui super un cmion fermo in un re di sost. In quel preciso momento
DettagliIl moto uniformemente accelerato
Il moto uniformemente ccelerto Viene detto uniformemente ccelerto un moto nel qule l ccelerzione rimng costnte in intensità e direzione. Alle volte esso viene distinto dl moto uniformemente vrio nel qule
DettagliEsponenziali e logaritmi
Prof Emnuele ANDRISANI Teori in sintesi ESPONENZIALI Potenze con esponente rele L potenz è definit: se 0, per ogni R se 0, per tutti e soli gli R se 0, per tutti e soli gli Z Esponenzili e ritmi Sono definite:
DettagliESERCIZIO DI ASD DEL 27 APRILE 2009
ESERCIZIO DI ASD DEL 27 APRILE 2009 Dimetro Algoritmi. Ricordimo che un grfo non orientto, ciclico e connesso è un lero. Un lero può essere pensto come lero rdicto un volt che si si fissto un nodo come
Dettagli1 b a. f(x) dx. Osservazione 1.2. Se indichiamo con µ il valore medio di f su [a, b], abbiamo che. f(x) dx = µ(b a) =
Note ed esercizi di Anlisi Mtemtic - (Fosci) Ingegneri dell Informzione - 28-29. Lezione del 7 novembre 28. Questi esercizi sono reperibili dll pgin web del corso ttp://utenti.unife.it/dmino.fosci/didttic/mii89.tml
DettagliFORMULE DI AGGIUDICAZIONE
Mnule di supporto ll utilizzo di Sintel per stzione ppltnte FOMULE DI AGGIUDICAZIONE Pgin 1 di 31 Indice AZIENDA EGIONALE CENTALE ACQUISTI - ACA S.p.A. 1 INTODUZIONE... 3 1.1 Mtrice modlità offert/modlità
DettagliEquazioni di 2 grado. Definizioni Equazioni incomplete Equazione completa Relazioni tra i coefficienti della equazione e le sue soluzioni Esercizi
Equzioni di grdo Definizioni Equzioni incomplete Equzione complet Relzioni tr i coefficienti dell equzione e le sue soluzioni Esercizi Mteri: Mtemtic Autore: Mrio De Leo Definizioni Un equzione è: Un uguglinz
DettagliEsercitazioni di Elettrotecnica: circuiti in regime stazionario
Università degli Studi di ssino sercitzioni di lettrotecnic: circuiti in regime stzionrio prof ntonio Mffucci Ver ottore 007 Mffucci: ircuiti in regime stzionrio ver -007 Serie, prllelo e prtitori S lcolre
Dettagli2. Teoremi per eseguire operazioni con i limiti in forma determinata
. Teoremi per eseguire operzioni con i iti in form determint Vedimo dunque i teoremi che consentono il clcolo dei iti, ttrverso i quli si riconducono le situzioni rticolte semplici operzioni lgebriche
DettagliEsempio Data la matrice E estraiamo due minori di ordine 3 differenti:
Minori di un mtrice Si A K m,n, si definisce minore di ordine p con p N, p
DettagliUn polinomio trigonometrico di grado N nell intervallo [ π, π] è una funzione g(x), periodica di periodo 2π, della forma. c n e inx.
Cpitolo 6 Serie di Fourier 6.1. Introduzione Un polinomio trigonometrico di grdo N nell intervllo [, π] è un funzione g(x), periodic di periodo, dell form g(x) = N n= N c n e inx per un qulche scelt delle
DettagliEsercizi su spazi ed operatori lineari
Esercizi su spzi ed opertori lineri Corso di Fisic Mtemtic 2,.. 2013-2014 Diprtimento di Mtemtic, Università di Milno 23 Ottobre 2013 1 Spzio L 2 Esercizio 1. Per = 0, b = 1, dire quli delle seguenti funzioni
Dettaglicorrispondenza dal piano in sé, che ad ogni punto P del piano fa corrispondere il punto P' in
Cpitolo 5 Le omotetie 5. Richimi di teori Definizione Sino fissti un punto C del pino ed un numero rele. Si chim omoteti di centro C e rpporto ( che si indic con il simolo O, ) l corrispondenz dl pino
DettagliINTEGRALI IMPROPRI. f(x) dx. e la funzione f(x) si dice integrabile in senso improprio su (a, b]. Se tale limite esiste ma
INTEGRALI IMPROPRI. Integrli impropri su intervlli itti Dt un funzione f() continu in [, b), ponimo ε f() = f() ε + qundo il ite esiste. Se tle ite esiste finito, l integrle improprio si dice convergente
DettagliIntegrazione numerica. I(f) := Non sempre si riesce a trovare la forma esplicita della primitiva.
Approssimzione numeric di: Motivzioni. Integrzione numeric I(f) = f(x)dx. Non sempre si riesce trovre l form esplicit dell primitiv. Vlutzione costos dell primitiv. L funzione d integrre può essere dt
Dettagliacuradi Luca Cabibbo e Walter Didimo Esercizi di Informatica teorica - Luca Cabibbo e Walter Didimo 1
curdi Luc Cio e Wlter Didimo Esercizi di Informtic teoric - Luc Cio e Wlter Didimo 1 utomi stti finiti utomi stti finiti non deterministici utomi e grmmtiche regolri notzioni sul livello degli esercizi:(*)fcile,
DettagliESERCITAZIONE N.3 DETERMINANTI. il determinante di una matrice 1x1 è l elemento stesso det (a) = a. il determinante di una matrice 2x2 è :
DETERMINANTI ESERCITAZIONE N 5 mrzo Ad ogni mtrice qudrt coefficienti in R ( o C o un qulsisi K cmpo) è ssocito un numero rele che or definimo,detto det(a),(d(a)) determinnte di A il determinnte di un
DettagliProgettazione strutturale per elementi finiti Sergio Baragetti
Progettzione strutturle per elementi finiti Sergio Brgetti Fcoltà di Ingegneri Università degli Studi di Bergmo Il metodo degli Elementi Finiti permette di risolvere il problem dell determinzione dello
DettagliIntegrali curvilinei (integrali di densità) Federico Lastaria, Analisi e Geometria 1. Politecnico di Milano Corso di Analisi e Geometria 1
Politecnico di Milno orso di Anlisi e Geometri 1 Federico Lstri federico.lstri@polimi.it Integrli curvilinei di prim specie (integrli di densità) 15 Dicembre 215 Indice 1 Integrli di line di prim specie
DettagliBilancio d'esercizio: le scritture di fine anno
Bilncio d'esercizio: le scritture di fine nno In prossimità dell chiusur dell nno, i fini dell redzione del bilncio di esercizio occorre pportre delle scritture che integrino o modifichino quelle esistenti
Dettagli1 Il problema del calcolo dell area di una regione piana limitata
Anlisi Mtemtic 2 1 CORSO DI STUDI IN SMID CORSO DI ANALISI MATEMATICA 2 CAPITOLO 1 INTEGRALI DI FUNZIONI DI UNA VARIABILE REALE 1 Il problem del clcolo dell re di un regione pin limitt Se si consider un
DettagliAppunti di Matematica Computazionale Lezione 1. Equazioni non lineari. Consideriamo il problema della determinazione delle radici dell equazione
Appunti di Mtemti Computzionle Lezione Equzioni non lineri Considerimo il prolem dell determinzione delle rdii dell equzione dove è un funzione definit in [,]. Teorem: Zeri di unzioni Continue Si un funzione
DettagliMetodo degli elementi finiti in una dimensione
Metodo degli elementi finiti in un dimensione Luci Gstldi DICATAM - Sez. di Mtemtic, http://luci-gstldi.unibs.it Indice 1 Problemi di diffusione-rezione del secondo ordine Formulzione debole Metodo di
DettagliECONOMIA POLITICA II - ESERCITAZIONE 8 Curva di Phillips Legge di Okun - AD
ECOOMIA POLITICA II - ESERCITAZIOE 8 Curv di Phillips Legge di Okun - AD Esercizio 1 Sino β = 0.5, α = 1, u = u n = 6%, λ = 0.5, g y = 0.03. Supponee che nell nno 0 l disoccupzione si 6% e che l bnc cenrle
DettagliMATEMATIKA OLASZ NYELVEN
Mtemtik olsz nyelven középszint 061 É RETTSÉGI VIZSGA 007. október 5. MATEMATIKA OLASZ NYELVEN KÖZÉPSZINTŰ ÍRÁSBELI ÉRETTSÉGI VIZSGA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ OKTATÁSI ÉS KULTURÁLIS MINISZTÉRIUM Indiczioni
DettagliIntroduzione e strumenti
Controlli utomtici Introduzione e strumenti Convenzioni generli ed elementi di bse Dll equzione ll rppresentzione grfic L lgebr dei blocchi Clcolo di funzioni di trsferimento di schemi interconnessi 2
DettagliESPONENZIALI E LOGARITMI
ESPONENZIALI E LOGARITMI 1 se 0, per ogni R ; Teori in sintesi ESPONENZIALI Potenze con esponente rele L potenz è definit: se >0: Sono definite: se >0: Non sono definite: Csi prticolri: Le proprietà delle
DettagliMoto in due dimensioni
INGEGNERIA GESTIONALE corso di Fisic Generle Prof. E. Puddu LEZIONE DEL 24 SETTEMBRE 2008 Moto in due dimensioni Spostmento e velocità Posizione e spostmento L posizione di un punto mterile nel pino è
Dettagli