600 likes | 755 Views
Statická analýza fyziologických systémů. Obecné systémové vlastnosti. Studijní materiály. Studijní materiály. Chapter 2. Mathematical Modeling. Chapter 3. Static analysis of Physiological Systems. Modelování a simulace. Modelování. Blokové modelovací jazyky ( např. Simulink , ...).
E N D
Statická analýza fyziologických systémů Obecné systémové vlastnosti
Studijní materiály Chapter 2. Mathematical Modeling Chapter 3. Static analysisofPhysiologicalSystems
Modelování a simulace Modelování Blokové modelovací jazyky (např.Simulink, ...) … … Proprietární kód klasických programovacích jazyků (např.Ada, Fortran, C,...) Vstupy do bloku jsou vnější vstupy nebo výstupy z jiných bloků Výstupy z bloku jsou vnější výstupy nebo vstupy do dalších bloků … Definice systému Modelování subsystémů Odvození kauzality výpočtu (manuální odvození vstupně/výstupních vztahů) Dekompozice systému Implementace Simulace Proprietární kód Blokové modelovací jazyky Formalizace (modelování) Počítačová simulace
Softwarové nástroje pro tvorbu modelů Matlab/Simulink
Softwarové nástroje pro tvorbu modelů Matlab/Simulink
Softwarové nástroje pro tvorbu modelů Matlab/Simulink
Grafické zobrazení matematických vztahů? Matlab/Simulink
GKf Grafické zobrazení matematických vztahů? RAP RBF GKf GFR GP=RAP-PAff GFR PAff=RBF/AffC AffC GFR=NETP*GKf GP PTP=GFR/TubC PTP TubC AVeCOP TubC NETP=GP-PTP-AVeCOP GFR RPF RPF FF=GFR/RPF APr B*(APr)^2 APr (APr)^2 B A ACOP=A*Apr+B*(APr)^2 A*Apr EPr=APr/(1-FF) EPr^2 (1-FF) ACOP+ECOP B*EPr^2 ECOP=A*EPr+B*EPr^2 AVeCOP=(ACOP+ECOP)/2 A*EPr Matlab/Simulink
GKf Grafické zobrazení matematických vztahů? RAP RBF GKf GFR GP=RAP-PAff GFR PAff=RBF/AffC AffC GFR=NETP*GKf GP PTP=GFR/TubC PTP TubC AVeCOP TubC NETP=GP-PTP-AVeCOP GFR RPF RPF FF=GFR/RPF APr B*(APr)^2 APr (APr)^2 B A ACOP=A*Apr+B*(APr)^2 A*Apr EPr=APr/(1-FF) EPr^2 (1-FF) ACOP+ECOP B*EPr^2 ECOP=A*EPr+B*EPr^2 AVeCOP=(ACOP+ECOP)/2 A*EPr Matlab/Simulink
GKf Grafické zobrazení matematických vztahů? RAP RBF GKf GFR GP=RAP-PAff GFR PAff=RBF/AffC AffC GFR=NETP*GKf GP PTP=GFR/TubC PTP TubC AVeCOP GFRold-GFRnew TubC NETP=GP-PTP-AVeCOP Algebraic Constraint GFR RPF RPF FF=GFR/RPF APr B*(APr)^2 APr (APr)^2 B A ACOP=A*Apr+B*(APr)^2 A*Apr EPr=APr/(1-FF) EPr^2 (1-FF) ACOP+ECOP B*EPr^2 ECOP=A*EPr+B*EPr^2 AVeCOP=(ACOP+ECOP)/2 A*EPr Matlab/Simulink
Grafické zobrazení matematických vztahů? Ne! Grafické zobrazení transformace vstupních hodnot na výstupní Matlab/Simulink
Softwarové nástroje pro tvorbu modelů Matlab/Simulink
Blokově orientované modelovací nástroje Musíme definovat postup výpočtu Model v Simulinku vyjadřuje spíše způsob výpočtu než strukturu modelované reality Matlab/Simulink
Modelování a simulace Modelování Blokové modelovací jazyky (např.Simulink, ...) … … Proprietární kód klasických programovacích jazyků (např.Ada, Fortran, C,...) Vstupy do bloku jsou vnější vstupy nebo výstupy z jiných bloků Výstupy z bloku jsou vnější výstupy nebo vstupy do dalších bloků … Definice systému Modelování subsystémů Odvození kauzality výpočtu (manuální odvození vstupně/výstupních vztahů) Dekompozice systému Implementace Simulace Proprietární kód Blokové modelovací jazyky d formalizace • Zobecněné systémové vlastnosti
u1 u2 iR Zobecněné systémové vlastnosti Elektrická doména R uR= iRR ur = u1-u2 Mechanická doména F F = vRm Zobecněné úsilí „e“ Zobecněný tok „f“ e=rf v Hydraulická doména dP = QR1 Q P1 P2 dP = P1-P2 Termodynamická doména dT = QR1 Q dT= t°1-t°2 Chemická doména Q dc = QRc c1 c2 dc = c1-c2
Zobecněné systémové vlastnosti Q=C *uC Elektrická doména 1 1 1 1 1 1 1 1 dT= q = fqdt F = x P = V uC= Q = vCdt = fCdt = iCdt C C C C C C C C Mechanická doména v - rychlost) x=C *F F pružina x V=C *P Hydraulická doména V přítok fc P Zobecněné úsilí „e“ Zobecněný tok „f“ e=1/c * f dt Termodynamická doména Q - skladované teplo q dT= t°1-t°2 t°1 q=C *dT fq - tepelný tok fq t°2
C ò e=Rf q=Ce R p=Lf ò L Zobecněné systémové vlastnosti Zobecnělé úsilí (effort) e Zobecnělá akumulace (quantity) Zobecnělá hybnost p q f Zobecnělý tok (flow)
C ò e=Rf q=Ce R p=Lf ò L Zobecněné systémové vlastnosti Zobecnělé úsilí (effort) akumulace úsilí hybnost tok e Zobecnělá akumulace (quantity) Zobecnělá hybnost p q f Zobecnělý tok (flow)
Obecné systémové vlastnosti úsilí hybnost tok akumulace e ò ò napětí indukční tok proud náboj síla impuls síly rychlost poloha p moment impuls momentu síly úhlová rychlost úhel q tlak průtočná hybnost objemový průtok objem koncentrace molární průtok množství teplota tepelný tok teplo f teplota entropický průtok entropie
Obecné systémové vlastnosti energie úsilí hybnost tok akumulace e ò ò napětí indukční tok proud náboj síla impuls síly rychlost poloha p moment impuls momentu síly úhlová rychlost úhel q tlak průtočná hybnost objemový průtok objem koncentrace molární průtok množství teplota tepelný tok teplo f teplota entropický průtok entropie
C ò e=Rf q=Ce R p=Lf ò L Obecné systémové vlastnosti Zobecnělé úsilí (effort) e Zobecnělá akumulace (quantity) Zobecnělá hybnost p q energie f Zobecnělý tok (flow)
Bond Graphs - Výkonové grafy Přenos energie prvek prvek e (effort) f (flow) brána brána Přenos energie prvek prvek e (flow) f (flow) brána brána
Energie do prvku Bond Graphs - Výkonové grafy effort flow Energie z prvku effort flow
Bond Graphs - Výkonové grafy R:R ur i us ul Sr:us 1 l:L i i uc i Stejný tok = uzel typu „1“ C:C
Bond Graphs - Výkonové grafy L R C us R:R ur i us ul Sr:us 1 l:L i i uc i Stejný tok =uzeltypu„1“ C:C
Bond Graphs - Výkonové grafy L R C us R:R ur i us ul Sr:us 0 l:L i i uc i Stejné úsilí = uzel typu „0“, suma toků nulová C:C
Bond Graphs - Výkonové grafy Přenos energie e - směr výpočtu prvek prvek e (effort) f (flow) f - směr výpočtu prvek e - směr výpočtu prvek e (effort) f (flow) f - směr výpočtu
Bond Graphs - Výkonové grafy Přenos energie e - směr výpočtu e e f f Přenos energie e - směr výpočtu Přenos energie e - směr výpočtu e e f f Přenos energie e - směr výpočtu
Bond Graphs - Výkonové grafy Ideální zdroj SE e e f f Zdroj úsilí řízení FSE e řízení SF řízení Zdroj toku F-1SF f řízení
Bond Graphs - Výkonové grafy Jednobran typu rezistor R e e f f F-1R e R f=(1/R)e f Q R FR e e=Rf f
Bond Graphs - Výkonové grafy Jednobran typu akumulátor (kapacitor) e e f f C C F-1C FC e e q q ò dq/dt f f
Bond Graphs - Výkonové grafy Jednobran typu induktor e e f f F-1I F-1I F-1I I I dq/dt e e p FI p F-1I f f
Bond Graphs - Výkonové grafy Jednobran typu induktor e e f f F-1I F-1I F-1I I I dq/dt e e p FI p F-1I f f
Využití výkonových grafů k určení kauzálního směru výpočtu • Podrobnosti v článku „Introduction to PhysicalSystem Modeling with Bond Graphs https://cw.felk.cvut.cz/lib/exe/fetch.php/courses/a6m33mos/intro_bondgraphs.pdf
Modelování a simulace Modelování Blokové modelovací jazyky (např.Simulink, ...) … … Proprietární kód klasických programovacích jazyků (např.Ada, Fortran, C,...) Vstupy do bloku jsou vnější vstupy nebo výstupy z jiných bloků Výstupy z bloku jsou vnější výstupy nebo vstupy do dalších bloků … Definice systému Modelování subsystémů Odvození kauzality výpočtu (manuální odvození vstupně/výstupních vztahů) Dekompozice systému Implementace Simulace Proprietární kód Blokové modelovací jazyky d formalizace • Zobecněné systémové vlastnosti
Modelování a simulace Modelování Blokové modelovací jazyky (např.Simulink, ...) … … Proprietární kód klasických programovacích jazyků (např.Ada, Fortran, C,...) Vstupy do bloku jsou vnější vstupy nebo výstupy z jiných bloků Výstupy z bloku jsou vnější výstupy nebo vstupy do dalších bloků … Definice systému Modelování subsystémů Odvození kauzality výpočtu (manuální odvození vstupně/výstupních vztahů) Dekompozice systému Implementace Simulace Proprietární kód Blokové modelovací jazyky Modelica formalizace • Zobecněné systémové vlastnosti
Blokové schéma systému vstupy výstupy u1 S y1 u2 y2 x1 x2 . . . xm . . . xs . . . u y un yr Stavové proměnné xs
!!! Výstupy nesmí ovlivňovat vstupy pře okolí systému !!!! Separabilitasystému Podmínkaseparabilitysystému - systém je separabilní, jestližejehovýstupyzpětněvlivemprostředíneovlivňujípodstatněvstupy. Příklad: · termoregulačnísystémživéhoorganismu - systémmůžemepovažovatzaseparabilní, pokudorganismussvoutepelnouenergiívýznamněneovlivňujeteplotuprostředí, vekterém se nachází; · u1 S y1 u2 y2 x1 x2 . . . xm . . . u y X un yr
Základníatributysystému . . . Stavsystému- souhrnpřesnědefinovanýchpodmíneknebovlastnostídanéhosystému, kterélze v danémčasovémokamžikurozpoznat. Stavusystémulze v libovolnémčasovémokamžiku t (z nějakéhozvolenéhočasovéhointervalu) přiřaditvektorhodnotx(t) , kterýnazývámestavovýmvektorem, složkyxivektoruxnazývámestavovýmiveličinami (proměnnými) a prostorvšechmožnýchhodnotstavovýchveličinnazývámestavovýmprostorem. u1 S y1 u2 y2 . . . x1 x2 . . . xm u y X un yr
Blokové schéma systému vstupy výstupy u1 S y1 u2 y2 x1 x2 . . . xm . . . xs . . . u y un yr Stavové proměnné xs
Blokové schéma systému vstupy výstupy u1 S y1 u2 y2 x1 x2 . . . xm . . . xs . . . u y xn un yr Stavové proměnné xs (vnitřní) nestavové proměnné xs
Stavové proměnné Algebrodiferenciální rovnice v Modelice u(t)- vstupní proměnné y(t)- výstupní proměnné x(t)- dynamické proměnné ODE Algebr. Eq. xs(t) stavové proměnné (vzájemně nezávislé) x(t) nestavové proměnné (vypočítatelné ze stavových a vstupních proměnných) g(x(t), x‘(t), y(t), u(t))=0 x‘(t) = f (x(t), u(t)) xn(t) y(t)=h2(x(t), u(t))=0 h1(x(t), y(t), u(t))=0
Stavové proměnné Algebrodiferenciální rovnice v Modelice Real x (min=0, max = 100, … StateSelect.prefer) StateSelect.default - nech to na Modelice, StateSelect.never – nikdy to nebude stavová, vypočítej vždy z ostatních StateSelect.alwais – vždy ji ber jako srtavovou StateSelect.avoid – použij ji jako stavovou, jen když to už jinak nejde StateSelect.prefer - preferuj ji jako stavovou před default xs(t) stavové proměnné (vzájemně nezávislé) x(t) nestavové proměnné (vypočítatelné ze stavových a vstupních proměnných) xn(t)