Porównanie różnych podejść typu ODE do modelowania sieci regu

Podobne dokumenty
VII. Elementy teorii stabilności. Funkcja Lapunowa. 1. Stabilność w sensie Lapunowa.

Wykład z modelowania matematycznego.

Model pajęczyny: Równania modelu: Q d (t)=α-βp(t) Q s (t)=-γ+δp(t-1) Q d (t)= Q s (t) t=0,1,2. α,β,γ,δ>0

Twierdzenie 2: Własności pola wskazujące na istnienie orbit

ϕ(t k ; p) dla pewnego cigu t k }.

INSTRUKCJA DO ĆWICZENIA NR 7

III. Układy liniowe równań różniczkowych. 1. Pojęcie stabilności rozwiązań.

Zasada maksimum Pontriagina

Analiza modelu ekspresji genu białka Hes1

Zadania do wykładu Jakościowa Teoria Równań Różniczkowych Zwyczajnych

Informacja o przestrzeniach Sobolewa

Stochastyczna dynamika z opóźnieniem czasowym w grach ewolucyjnych oraz modelach ekspresji i regulacji genów

Analiza matematyczna dla informatyków 3 Zajęcia 14

Równania różniczkowe liniowe rzędu pierwszego

RÓWNANIA NIELINIOWE Maciej Patan

Metody numeryczne. materiały do wykładu dla studentów

Algebra liniowa II. Lista 1. 1 u w 0 1 v 0 0 1

Politechnika Wrocławska, Wydział Informatyki i Zarządzania. Modelowanie

EGZAMIN MAGISTERSKI, 18 września 2013 Biomatematyka

n=0 (n + r)a n x n+r 1 (n + r)(n + r 1)a n x n+r 2. Wykorzystując te obliczenia otrzymujemy, że lewa strona równania (1) jest równa

II. Równania autonomiczne. 1. Podstawowe pojęcia.

O pewnych klasach funkcji prawie okresowych (niekoniecznie ograniczonych)

Optymalizacja ciągła

Iteracyjne rozwiązywanie równań

Równania różniczkowe. Notatki z wykładu.

Rekurencyjna przeliczalność

Sekantooptyki owali i ich własności

Równania różniczkowe liniowe wyższych rzędów o stałych współcz

Politechnika Wrocławska, Wydział Informatyki i Zarządzania. Modelowanie

zastosowania patron sesji Andrzej Lasota

Instytut Politechniczny Państwowa Wyższa Szkoła Zawodowa. Diagnostyka i niezawodność robotów

TEORIA OBWODÓW I SYGNAŁÓW LABORATORIUM

Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie:

Zaawansowane metody numeryczne Komputerowa analiza zagadnień różniczkowych 4. Równania różniczkowe zwyczajne podstawy teoretyczne

Prognozowanie i Symulacje. Wykład I. Matematyczne metody prognozowania

DRGANIA SWOBODNE UKŁADU O DWÓCH STOPNIACH SWOBODY. Rys Model układu

Determinanty kursu walutowego w ujęciu modelowym

8. PODSTAWY ANALIZY NIELINIOWEJ

Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne

Metody Lagrange a i Hamiltona w Mechanice

Zestaw zadań 5: Sumy i sumy proste podprzestrzeni. Baza i wymiar. Rzędy macierzy. Struktura zbioru rozwiązań układu równań.

Metody numeryczne Wykład 4

Wykład 3 Równania rózniczkowe cd

Regresja wieloraka Ogólny problem obliczeniowy: dopasowanie linii prostej do zbioru punktów. Najprostszy przypadek - jedna zmienna zależna i jedna

21 maja, Mocna własność Markowa procesu Wienera. Procesy Stochastyczne, wykład 13, T. Byczkowski, Procesy Stochastyczne, PPT, Matematyka MAP1126

Rekurencje. Jeśli algorytm zawiera wywołanie samego siebie, jego czas działania moŝe być określony rekurencją. Przykład: sortowanie przez scalanie:

Logarytmy. Funkcje logarytmiczna i wykładnicza. Równania i nierówności wykładnicze i logarytmiczne.

składa się z m + 1 uporządkowanych niemalejąco liczb nieujemnych. Pomiędzy p, n i m zachodzi następująca zależność:

Praca domowa - seria 6

Matematyka A kolokwium: godz. 18:05 20:00, 24 maja 2017 r. rozwiązania. ) zachodzi równość: x (t) ( 1 + x(t) 2)

Rodzinę F złożoną z podzbiorów zbioru X będziemy nazywali ciałem zbiorów, gdy spełnione są dwa następujące warunki.

Modelowanie jako sposób opisu rzeczywistości. Katedra Mikroelektroniki i Technik Informatycznych Politechnika Łódzka

Aproksymacja. j<k. L 2 p[a, b] l 2 p,n X = Lemat 1. Wielomiany ortogonalne P 0,P 1,...,P n tworza przestrzeni liniowej Π n. Dowód.

Wykład 5. Metoda eliminacji Gaussa

Sterowanie Napędów Maszyn i Robotów

Zadania do Rozdziału X

W3 - Niezawodność elementu nienaprawialnego

BioFizMat 5. Bistabilny przełącznik genetyczny

Finansowe szeregi czasowe

1. PODSTAWY TEORETYCZNE

Metody iteracyjne dla hiperbolicznych równań różniczkowo-funkcyjnych

Teoretyczne podstawy informatyki

Wykład 2. Przykład zastosowania teorii prawdopodobieństwa: procesy stochastyczne (Markova)

Optymalizacja ciągła

26 marzec, Łańcuchy Markowa z czasem ciągłym. Procesy Stochastyczne, wykład 7, T. Byczkowski, Procesy Stochastyczne, PPT, Matematyka MAP1136

DOPASOWYWANIE KRZYWYCH

LI Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia trzeciego 3 kwietnia 2000 r. (pierwszy dzień zawodów)

Konrad Słodowicz sk30792 AR22 Zadanie domowe satelita

PRZEWODNIK PO PRZEDMIOCIE

Równania różniczkowe z opóźnieniem w opisie zjawisk biologicznych

4.2 Analiza fourierowska(f1)

13. Równania różniczkowe - portrety fazowe

Dynamika nieliniowa i chaos deterministyczny. Fizyka układów złożonych

Wyprowadzenie wzoru na krzywą łańcuchową

Manipulatory i roboty mobilne AR S1 semestr 5

Podstawy Automatyki. Wykład 2 - podstawy matematyczne. dr inż. Jakub Możaryn. Warszawa, Instytut Automatyki i Robotyki

Równania różniczkowe zwyczajne

Procesy stochastyczne 2.

Rozwiązywanie zależności rekurencyjnych metodą równania charakterystycznego

INTERFERENCJA WIELOPROMIENIOWA

Dystrybucje, wiadomości wstępne (I)

Mechanika Kwantowa. Maciej J. Mrowiński. 24 grudnia Funkcja falowa opisująca stan pewnej cząstki ma następującą postać: 2 x 2 )

Całki niewłaściwe. Całki w granicach nieskończonych

Reakcja Bielousowa-Żabotyńskiego

Hypatia? 415 PROCESY KAWAŁKAMI DETERMINISTYCZNE I ICH ASYMPTOTYKA RYSZARD RUDNICKI ŚLADAMI KOBIET W MATEMATYCE RZESZÓW, Strona 1 z 36 Wróć

Zagadnienia brzegowe dla równań eliptycznych

Modele epidemiologiczne

Rozwiązania, seria 5.

Optymalizacja ciągła

Ekonomia matematyczna Dynamiczny model wymiany rynkowej (Arrowa-Hurwicza)

2 Równania różniczkowe zwyczajne o rozdzielonych zmiennych

Schemat programowania dynamicznego (ang. dynamic programming)

Optymalizacja ciągła

SIMR 2016/2017, Analiza 2, wykład 1, Przestrzeń wektorowa

Funkcja wykładnicza kilka dopowiedzeń

Podstawy Automatyki. wykład 1 ( ) mgr inż. Łukasz Dworzak. Politechnika Wrocławska. Instytut Technologii Maszyn i Automatyzacji (I-24)

Laboratorium komputerowe z wybranych zagadnień mechaniki płynów

Ekonomia matematyczna i dynamiczna optymalizacja

GRA Przykład. 1) Zbiór graczy. 2) Zbiór strategii. 3) Wypłaty. n = 2 myśliwych. I= {1,,n} S = {polować na jelenia, gonić zająca} S = {1,,m} 10 utils

Tematy prac magisterskich i doktorskich

Transkrypt:

Porównanie różnych podejść typu ODE do modelowania sieci regulacji genów 8 stycznia 2010

Plan prezentacji 1 Praca źródłowa Sieci regulacji genów 2 Założenia Funkcja Hill a Modele dyskretne 3 Przykład Modele dla przykładu Model dyskretny 4 Analiza teoretyczna Przykłady zachowania modeli Linearyzacja - modele CPWLM i SPWLM Efekty dyskretyzacji 5

Praca źródłowa Praca źródłowa Sieci regulacji genów Comparing different ODE modelling approaches for gene regulatory networks A. Polynikis, S.J. Hogan, M. di Bernardo Journal of Theoretical Biology

Sieci regulacji genów Praca źródłowa Sieci regulacji genów Sieć regulacji genów jest to sposób organizacji zależności w procesie tworzenia białek. Podstawowe modele sieci regulacji dzielą się na deterministyczne i stochastyczne.

Praca źródłowa Sieci regulacji genów Przykłady podejść do modelowania Przykłady podejść do modelowania sieci regulacji genów: równania różniczkowe modele stochastyczne sieci boolowskie modele Bayesowskie...

Założenia Funkcja Hill a Modele dyskretne Ordinary Differential Equations (ODE) Model Zazwyczaj do modelowania dynamiki procesów transkrypcji i translacji w podejściu ODE używa się takich równań: gdzie: Transkrypcja: dr i dt Translacja: dp i dt = F (f R i = f p i (r i ) δ i p i, (p 1 ), fi R (p 2 ),..., fi R (p n)) γ i r i, funkcje fi R (p j ) : R R wyrażają zależność koncentracji mrna od koncentracji białka p j, funkcja F : R n R zazwyczaj jest zdefiniowana jako suma lub iloczyn funkcji f R j, funkcja f p i (r i ) opisuje dynamikę translacji mrna r i w białko p i, stałe γ i, δ i reprezentują parametry degradacji mrna i białek i-tego genu.

Funkcja Hill a Założenia Funkcja Hill a Modele dyskretne Eksperymenty potwierdzają monotoniczny kształt funkcji fi R, która rośnie gdy białko p i jest aktywatorem, a maleje gdy p i jest inhibitorem. Funkcja Hill a to użyteczna funkcja spełniająca tę własność. Funkcja Hill a: dla aktywatora: h + (p i ; θ i, n i ) = p n i i pn i i +θ n i i dla inhibitora: h (p i ; θ i, n i ) = 1 h + (p i ; θ i, n i ) = parametr θ i, to próg ekspresji parametr n i, nazywa się współczynnikiem Hill a, kontroluje skokowość funkcji p n i i θn i i +θ n i i

Funkcja schodkowa Założenia Funkcja Hill a Modele dyskretne Dla sieci wielu genów często nie mogą być wyznaczone rozwiązania równań różniczkowych, w których występuje funkcja Hill a. W związku z tym często analizuje się schodkową wersję funkcji Hill a, postaci: s + (p i, θ i ) = 1 {pi >θ i }, s (p i, θ i ) = 1 s + (p i, θ i )

Funkcja trójkątna Założenia Funkcja Hill a Modele dyskretne Niestety, funkcja schodkowa nie jest ciągła, co intuicyjnie źle nadaje się do modelowania procesów regulacji. Aby rozwiązać ten problem stosuje się funkcję trójkątną : { 0 jezeli: pi < θ 1 l + (p i, θi 1, θ2 i ) = i 1 jezeli: p i > θi 2 µp i + λ wpp l (p i, θ 1 i, θ2 i ) = 1 l+ (p i, θ 1 i, θ2 i )

Założenia Funkcja Hill a Modele dyskretne Założenie quasi-steady-state dla koncentracji mrna Dla wielu modelów przyjmowane jest upraszczające założenie, że koncentracja mrna znajduje się w stanie stabilnym, bazuje ono na fakcie, że dynamika mrna jest znacznie szybsza niż białek, co prowadzi do szybszego uzyskania stanu stabilnego przez mrna. Powyższe założenie możemy modelować matematycznie przyjmując: r i = 0, wtedy: r i = 1 γ i F (f R i (p 1 ), f R i (p 2 ),..., fi R (p n)), po podstawieniu do równania opisującego translację: ṗ i = f P i ( 1 γ i F (f R i (p 1 ), f R i ) (p 2 ),..., fi R (p n)) δ i p i

Modele z czasem dyskretnym Założenia Funkcja Hill a Modele dyskretne Idea: Napisanie modelu ODE (równań różniczkowych) i jego dyskretyzacja. Modele dyskretne wykorzystują założenie stanu quasi-stabilnego dla koncentracji mrna.

Modele przeanalizowane w pracy Założenia Funkcja Hill a Modele dyskretne CNM - complete nonlinear model (funkcja Hill a dla trankrypcji, funkcje liniowe dla translacji) CPWLM - complete piecewise linear model (zamiast funkcji Hill a funkcja schodkowa) SNM - simlified nonlinear model (CNM + założenie o quasi stabilności) SPWLM - simplified piecewise linear model (SNM + zamiast funkcji Hill a funkcja schodkowa) discrete time model - (Coutinho et al. 2006), dyskretyzacja czasu w SPWLM

Modele przeanalizowane w pracy Założenia Funkcja Hill a Modele dyskretne

Przykład Przykład Modele dla przykładu Model dyskretny Aby zaprezentować zalety i wady wybranych modeli użyto sieci złożonej z dwóch genów: W dalszych rozważaniach będziemy przyjmować i = a, b.

Model CNM dla przykładowej sieci Przykład Modele dla przykładu Model dyskretny ṙ a = m ah + (p b ; θ b, n b ) γ ar a, ṙ b = m ah + (p a; θ a, n a) γ b r b, ṗ a = k ar a δ ap a ṗ b = k b r b δ b p b

Model SNM dla przykładowej sieci Przykład Modele dla przykładu Model dyskretny W poprzednim modelu (CNM) przyjmujemy założenie: ṙ a 0 i ṙ b 0, wtedy: r a = ma γ a h + (p b ; θ b, n b ) r b = m b γ b h (p a; θ a, n a) ṗ a = k a h+ (p b ; θ b, n b ) δ ap a ṗ b = k b h (p a; θ a, n a) δ b p b gdzie: k a = ma γ a k a, k b = m b γ b k b

Przykład Modele dla przykładu Model dyskretny Modele CPWLM i SPWLM dla przykładowej sieci ṙ a = m as + (p b ; θ b, n b ) γ ar a, ṙ b = m as (p a; θ a, n a) γ b r b, ṗ a = k ar a δ ap a ṗ b = k b r b δ b p b Dla modelu SPWLM otrzymujemy: ṗ a = k a s+ (p b ; θ b, n b ) δ ap a ṗ b = k b s (p a; θ a, n a) δ b p b

Model dyskretny Przykład Modele dla przykładu Model dyskretny Zapiszmy równania z modelu SPWLM na koncentrację białek w następującej postaci: ṗ = Ap + Bu, gdzie: Rozwiązując powyższe równanie otrzymujemy: p(t) = e At p(0) + (e At Id)A 1 Bu

Model dyskretny II Przykład Modele dla przykładu Model dyskretny Dla dostatecznie małego czasu T, otrzymujemy: Przyjmujemy t = 0, wtedy otrzymujemy: p a(t ) = e δat p a(0) + k a δ a (1 e δa )s + (p b (0); θ b ) p b (T ) = e δ bt p b (0) + k b δ b (1 e δ b )s (p a(0); θ a)

Model dyskretny III Przykład Modele dla przykładu Model dyskretny Przyjmujemy T = 1, niech p a(0) = p a(n) oraz p a(t ) = p a(n + 1), wtedy otrzymujemy rekurencyjne wzory na p a(n): p a(n + 1) = e δa p a(n) + k a δ a (1 e δa )s + (p b (n); θ b ) p b (n + 1) = e δ b p b (n) + k b δ b (1 e δ b )s (p a(n); θ a) Robiąc kolejne uproszczenie: δ a = k a = δ b = k b oraz α = e δa, otrzymujemy: p a(n + 1) = αp a(n) + (1 α)s + (p b (n); θ b ) p b (n + 1) = αp b (n) + (1 α)s (p a(n); θ a) Ten model został zaproponowany przez Coutinho w 2006.

Analiza Analiza teoretyczna Przykłady zachowania modeli Linearyzacja - modele CPWLM i SPWLM Efekty dyskretyzacji Analiza została przeprowadzona dla modeli opisanych wcześniej na przykładzie sieci składającej się z dwóch genów (również jak wcześniej).

Analiza CNM i SNM Analiza teoretyczna Przykłady zachowania modeli Linearyzacja - modele CPWLM i SPWLM Efekty dyskretyzacji Startujemy od modelu CNM. Przyjmijmy, że znajdujemy sie w stanie stabilnym, czyli: ṙ a = ṙ b = ṗ a = ṗ a = 0. Oznaczmy przez ˆr a, ˆr b, ˆp a, ˆp b wartości koncentracji mrna i białek w stanie stabilnym. Zgodnie ze wzorami: ṗ a = k ar a δ ap a, ṗ b = k b r b δ b p b, otrzymujemy: ˆr a = δa k a ˆp a, ˆr b = δ b k b ˆp b, stąd można uzyskać zależności dla: ˆr a, ˆr b, ˆr a, ˆp b.

Analiza teoretyczna Przykłady zachowania modeli Linearyzacja - modele CPWLM i SPWLM Efekty dyskretyzacji Analiza CNM i SNM - zbieżność modeli Zachowanie (p a, p b ): Czerwona linia - SNM Czerwona linia - CNM Wniosek: SNM zbiega szybciej

Analiza CNM i SNM - różnice Analiza teoretyczna Przykłady zachowania modeli Linearyzacja - modele CPWLM i SPWLM Efekty dyskretyzacji

Analiza teoretyczna Przykłady zachowania modeli Linearyzacja - modele CPWLM i SPWLM Efekty dyskretyzacji W pracy zostało analitycznie udowodnione, że model SNM (dla potencjalnie interesujących parametrów) jest zawsze zbieżny, natomiast CNM niekoniecznie. Dla pewnych parametrów w modelu CNM powstaje bifurkacja Hopfa- w portrecie fazowym powstaje okrąg, wokół którego koncentrują się trajektorie.

Analiza CNM - bifurkacja Hopfa Analiza teoretyczna Przykłady zachowania modeli Linearyzacja - modele CPWLM i SPWLM Efekty dyskretyzacji Wykresy ukazujące bifurkacje Hopfa w modelu CNM w zależności od różnych parametrów n a, n b w modelu CNM.

Analiza teoretyczna Analiza teoretyczna Przykłady zachowania modeli Linearyzacja - modele CPWLM i SPWLM Efekty dyskretyzacji Zachowanie modeli CPWLM i SPWLM jest analogiczne do ich odpowiedników CNM i SNM opartych na funkcji Hill a, tzn.: model SPWLM jest zawsze zbieżny, a CPWLM niekoniecznie SPWLM jest również szybciej zbieżny.

Zachowanie modeli CPWLM i SPWLM Analiza teoretyczna Przykłady zachowania modeli Linearyzacja - modele CPWLM i SPWLM Efekty dyskretyzacji

Porównanie SNM i SPWLM Analiza teoretyczna Przykłady zachowania modeli Linearyzacja - modele CPWLM i SPWLM Efekty dyskretyzacji

Model dyskretny Analiza teoretyczna Przykłady zachowania modeli Linearyzacja - modele CPWLM i SPWLM Efekty dyskretyzacji najważniejsza różnica pomiędzy modelami dyskretnymi a ciągłymi to taka, że modele dyskretne zawsze dają rozwiązania okresowo oscylujące, niezależnie od doboru parametrów. dla modeli CNM i CPWLM okresowe oscylacje istnieją tylko dla specyficznych wartości parametrów dla modeli SNM i SPWLM układ równań nie wpada w okresowe oscylacje

Wnioski Często wyniki dla różnych modeli są bardzo różne, nawet w przypadku prostej sieci. Brakuje metod pozwalających rozstrzygnąć kompromis pomiędzy złożonością modelu a jakością predykcji. Nie ma pełnego zrozumienia wpływu poszczególnych założeń modeli na całościowe zachowanie modelu oraz jego jakość.