H. SKRÓCONY OPIS PROJEKTU
|
|
- Filip Zakrzewski
- 6 lat temu
- Przeglądów:
Transkrypt
1 H. SKRÓCONY OPIS PROJEKTU 1. Cel naukowy projektu Wiele społecznych i biologicznych procesów można modelować jako systemy oddziałujących obiektów. Naszym celem jest wyprowadzenie makroskopowego zachowania takich układów z mikroskopowych oddziaływań pomiędzy poszczególnymi obiektami, takimi jak cząsteczki RNA i białka w biochemicznych reakcjach ekspresji i regulacji genów, zwierzęta w modelach ekologicznych i ewolucyjnych, czy też ludzie w procesach społecznych. Zazwyczaj układy takie opisywane są przez równania różniczkowe: równania kinetyki chemicznej opisujące zmiany koncentracji substratów i produktów w procesach biochemicznych, równania dynamiki replikatorowej opisujące ewolucję częstości występowania poszczególnych strategii w grach ewolucyjnych. Jednakże, w wielu komórkach, liczba molekuł białek i innych substancji może być bardzo mała [13], jak również populacje oddziałujących osobników w grach ewolucyjnych są skończone i niezbyt duże [18]. Zatem konstruując matematyczne modele opisujące takie układy powinniśmy także brać pod uwagę występowanie stochastycznych fluktuacji. Dodatkowo, zazwyczaj zakłada się, że reakcje zachodzą błyskawicznie, a ich efekty są natychmiastowe. W rzeczywistości wszelkie procesy biochemiczne są rozciągnięte w czasie, a produkty reakcji pojawiają się po pewnym czasie od chwili jej rozpoczęcia. Podobnie w modelach ekologicznych, rezultaty oddziaływań pomiędzy osobnikami pojawiają się w przyszłości. W modelach społecznych, ludzie podejmują decyzje na podstawie informacji o zdarzeniach, które zaszły w przeszłości. Dlatego też jest bardzo ważne, abyśmy uwzględniali opóźnienia czasowe w konstrukcji matematycznych modeli procesów biologicznych i społecznych. W tym celu zajmiemy się ogólną teorią stochastycznych układów dynamicznych z opóźnieniami czasowymi, konstrukcją efektywnych technik przydatnych w badaniu takich układów. Nasz projekt ma charakter interdyscyplinarny. Zainspirowani jesteśmy problemami i pytaniami w naukach biologicznych. Skonstruujemy odpowiednie matematyczne modele (lub zmodyfikujemy klasyczne modele): model ekspresji genu z ujemnym lub dodatnim sprzężeniem zwrotnym, przełączniki genetyczne z dwoma rodzajami rywalizujących białek, modele ekspresji genu i gier ewolucyjnych z wieloma opóźnieniami czasowymi. Doprowadzi to do interesujących pytań matematycznych. Aby na nie odpowiedzieć, rozwiniemy nowe matematyczne teorie i techniki: 1) Teorię osobliwych zaburzeń skokowych procesów Markowa, 2) Rozwinięcia niskotemperaturowe (wokół zerowego szumu) stacjonarnych rozkładów prawdopodobieństwa procesów stochastycznych nie spełniających warunków równowagi szczegółowej, 3) Matematyczne podstawy metody samouzgodnionego pola średniego oparte na optymalizacji w przestrzeni miar probabilistycznych. Obiektami naszych badań będą równania różniczkowe i stochastyczne procesy skokowe z opóźnieniami czasowymi. Będziemy chcieli otrzymać ścisłe i przybliżone wyrażenia na stacjonarne rozkłady prawdopodobieństwa i ich charakterystyki, wartości oczekiwane i wariancje różnych zmiennych losowych, które charakteryzują badane procesy. Zmienne te opisywać mogą liczbę białek w komórkach lub liczbę osobników o określonym fenotypie, używających określonych strategii. 2. Znaczenie projektu Zazwyczaj opóźnienia czasowe wprowadzane są dość arbitralnie do równań różniczkowych, bez fundamentalnego mikroskopowego modelowania oddziaływań obiektów, których mają dotyczyć te równania. Przy modelowaniu biologicznych i społecznych procesów bardzo ważne jest branie pod uwagę przyczyny opóźnień czasowych. W niniejszym projekcie zbadamy mikroskopowe podstawy klasycznych równań z opóźnieniami czasowymi, skonstruujemy też nowe modele matematyczne. W skończonych (a także nieskończonych) populacjach, połączone efekty opóźnień czasowych i stochastycznych zaburzeń często prowadzą do nieoczekiwanych własności układów. Układy deterministyczne mogą posiadać kilka stanów stacjonarnych z odpowiednimi basenami przyciągania. W odpowiadających im modelach stochastycznych, niektóre z tych stanów mogą okazać się stochastycznie niestabilne. Dodatkowo, opóźnienia czasowe mogą zmieniać stochastyczną stabilność poszczególnych stanów [21, 22]. Klasyczny już przykład wskazujący na konieczność precyzyjnego modelowania matematycznego dotyczy modelu ekspresji genu z opóźnioną degradacją. W pracy [6] argumentowano, że połączone działania opóźnienia czasowego procesu degradacji i stochastycznych fluktuacji w procesach urodzin (produkcja białka z DNA) i śmierci (degradacja białka) prowadzą do oscylacji. W pracy [5] pokazaliśmy, że wszystkie okresowe rozwiązania tego modelu, przy istotnych biochemicznie warunkach początkowych, przyjmują wartości ujemne. W pracy [19] wykazaliśmy, że w poprawnie zbudowanym modelu (gdzie cząsteczki raz wybrane do degradacji nie mogą być do niej wybrane jeszcze raz) oscylacje nie występują. Dodatkowo w pracy [4] przeanalizowaliśmy modele deterministyczne zaproponowane
2 w [6] i pokazaliśmy, że w tym wypadku oscylacje mogą występować tylko w modelu, w którym sprzężenie zwrotne działa poprzez kompleksy cząstek a układ składa się z trzech nieliniowych równań różniczkowych z opóźnieniem. W niniejszym projekcie chcemy rozwinąć naszą metodę z [19] w zastosowaniu do innych modeli ekspresji i regulacji genów. W grach ewolucyjnych, różniczkowe równanie replikatorowe opisuje ewolucję częstości występowania poszczególnych strategii [10, 11]. W grze dwuosobowej z dwiema strategiami i asymptotycznie stabilnym wewnętrznym punktem równowagi (mieszaną równowagą Nasha) po wprowadzeniu opóźnienia czasowego udowodniono, że punkt wewnętrzny jest stabilny dla małych opóźnień, natomiast dla dużych opóźnień punkt ten traci stabilność i zachodzi bifurkacja Hopfa [28]. Modelując taką grę na poziomie mikroskopowym (równania różnicowe na liczby osobników grających różnymi strategiami) udowodniliśmy, że w zależności od charakteru opóźnienia, po przejściu granicznym (z liczbą graczy do nieskończoności) otrzymujemy równanie i wynik z [28], albo inne klasy równań, dla których punkt stacjonarny jest asymptotycznie stabilny dla dowolnych opóźnień [1]. Powyższe wyniki udowodniliśmy w sposób bezpośredni, bez odwoływania się do standardowych twierdzeń teorii równań z opóźnionym argumentem. Jednym z celów niniejszego projektu jest rozwinięcie tej metody i zastosowanie jej w innych grach ewolucyjnych, zwłaszcza z wieloma asymptotycznie stabilnymi punktami stacjonarnymi i zaburzeniami stochastycznymi. W sposób szczególny zajmiemy się układami z małymi opóźnieniami czasowymi. Jednym z celów naszego projektu będzie matematyczna analiza dynamiki układów stochastycznych z opóźnieniem gdy wielkość opóźnienia dąży do zera a także konstrukcja rozwinięcia (względem małego opóźnienia) miary stacjonarnej stochastycznych procesów skokowych. Analiza taka była ostatnio przeprowadzona w [12] dla ruchu Browna cząstek w granicy małej masy oraz dla obwodów elektrycznych z wejściowym kolorowym szumem i opóźnionym sprzężeniem zwrotnym [25]. Naszym ogólnym celem matematycznym będzie tutaj rozwinięcie teorii osobliwych zaburzeń dla skokowych procesów Markowa i zastosowanie jej w modelach z małym parametrem - małym opóźnieniem lub odwrotnością szybkości przełączania genu w układach ze sprzężeniem zwrotnym. W niniejszym projekcie rozwiniemy teorię pola średniego, stochastycznej stabilności oraz wspomnianych wyżej zaburzeń osobliwych skokowych procesów Markowa. Z drugiej strony, uzyskane wzory i matematyczne opisy zachowań mogą być bardzo użyteczne w biologii obliczeniowej do zrozumienia zależności pomiędzy różnymi biochemicznymi procesami, do kalibrowania różnych parametrów reakcji oraz do przyśpieszenia czasochłonnych symulacji komputerowych. W biologii ewolucyjnej wyniki nasze pozwolą na zrozumienie zależności wymierania pewnych fenotypów od rodzajów losowych zaburzeń i opóźnień czasowych. 3. Koncepcja i plan badań Zbadamy łączne efekty opóźnień czasowych i zaburzeń stochastycznych w modelach ekspresji i regulacji genów. Będziemy jednocześnie analizować matematyczne problemy występujące w modelach biologii molekularnej (stochastyczne procesy biochemiczne) i ewolucyjnej (stochastyczne gry ewolucyjne). Takie podejście pozwoli nam na przenoszenie wypracowanych koncepcji i technik matematycznych pomiędzy modelami biologicznymi i społecznymi. Zbadamy matematyczne podstawy i stosowalność różnych przybliżeń i użyjemy ich modyfikacji w różnych modelach matematycznych. W szczególności poświęcimy naszą uwagę metodom samouzgodnionego pola średniego. Metody te były rozwinięte do badania układów wielu oddziałujących cząstek. Ostatnio z powodzeniem były zastosowane w układach biologicznych [20]. Będziemy też rozwijać koncepcję stochastycznej stabilności w zaburzonych losowo układach deterministycznych [8] oraz osobliwych zaburzeń skokowych procesów Markowa [12,25]. Uzyskane modyfikacje powyższych metod zastosujemy do badania zachowań wyżej przedstawionych układów. Zadania badawcze: 1. Wpływ opóźnień na zachowanie układów genetycznych ze sprzężeniami zwrotnymi W najprostszym modelu stochastycznym regulacji genu, cząsteczki białka są produkowane bezpośrednio z DNA i mogą degradować. Dodatkowo, cząsteczki białka mogą wiązać się z odpowiednimi miejscami na DNA ograniczając lub aktywując produkcję białka. Opisujemy to czterema powiązanymi ze sobą skokowymi procesami Markowa odpowiadającymi produkcji i degradacji białka oraz przełączaniu się genu pomiędzy stanem związanym z białkiem i niezwiązanym. Jednym z celów tego zadania jest wyprowadzenie wyrażeń na wartość średnią i wariancję liczby cząsteczek białka w stanie stacjonarnym. Modele te były badane w różnego rodzaju przybliżeniach, w szczególności dla nieskończenie szybkiego przełączania, również w obecności opóźnień czasowych [14]. Naszym celem będzie matematyczna analiza pełnego modelu [20] i jego rozszerzeń z opóźnieniami czasowymi. W układach genetycznych z samoaktywacją oraz w przełącznikach genetycznych (gdzie dwa rodaje białek ograniczają wzajemnie swoją produkcję) dla pewnego zestawu parametrów, stacjonarny rozkład prawdopodobień-
3 stwa liczby cząsteczek białka może być bimodalny. Celem niniejszego zadania jest konstrukcja odpowiednich zmiennych opisujących bistabilności (przeskakiwanie układu pomiędzy dwoma stanami), wyprowadzenie wyrażeń na odpowiednie warunkowe wartości oczekiwane i wariancje oraz zbadanie wpływu opóźnień czasowych na zachowanie takich układów. W przypadku deterministycznym udowodniliśmy ogólne twierdzenia dotyczące istnienia i kierunku bifurkacji Hopfa dla układu ze sprzężeniem zwrotnym [3], natomiast dla ogólnej klasy zagadnień pokazaliśmy, że stan stacjonarny jest globalnie asymptotycznie stabilny [2]. Ciekawe wydaje się zbadanie wpływu na dynamikę rozwiązań stochastyki oraz szybkości przełączania genu. 2. Równowaga szczegółowa w stochastycznych układach biologicznych W najprostszym modelu stochastycznym ekspresji genu bez regulacji, opisanym standardowym procesem urodzin i śmierci, spełniony jest warunek tak zwanej równowagi szczegółowej: w stanie stacjonarnym nie występują przepływy (jest on niezmienniczy ze względu na odwrócenie strzałki czasu). Zarówno regulacja jak i opóźnienia zaburzają równowagę szczegółową. Jednym z naszych celów jest konstrukcja rozwinięcia stacjonarnego rozkładu prawdopodobieństwa wokół równowagi szczegółowej dla układów stochastycznych z małymi opóźnieniami i szybkim przełączaniem genu. Będziemy chcieli uogólnić metodę zaproponowaną w [7]. Celem ogólnym jest konstrukcja rozwinięcia niskotemperaturowego dla układów nie spełniających równowagi szczegółowej w analogii do rozwinięcia niskotemperaturowego w klasycznych gazach sieciowych typu Isinga (teoria Pirogova-Sinai [23, 24, 26]). Wstępne wyniki zostały uzyskane w [15 17]. 3. Osobliwe zaburzenia skokowych procesów Markowa Zajmiemy się matematyczną analizą rozwinięcia miar stacjonarnych odpowiednich stochastycznych procesów skokowych względem małego opóźnienia i nieskończenie szybkiego przełączania genu. Rozwiniemy w tym celu metodę osobliwych zaburzeń generatorow skokowych procesów Markowa. Metoda osobliwych zaburzeń była zastosownana w [12] do badania stochastycznych równań różniczkowych opisujących ruch cząstek w granicy małej masy i w [25] do układów elektrycznych w granicy małej czasowej korelacji odpowiedniego procesu stochastycznego i małego opóźnienia. 4. Stabilność stanów stacjonarnych w modelach z wieloma opóźnieniami Konstrukcja i zbadanie matematycznych własności modeli gier ewolucyjnych z wieloma opóźnieniami w kontekście możliwej zmiany położenia stanów stacjonarnych pod wpływem połączonych efektów opóźnień i losowych zaburzeń. Wstępne wyniki zostały uzyskane przez wnioskodawcę w deterministycznym modelu z opóźnieniami zależnymi od strategii. Zastosowanie formalizmu skokowych procesów Markowa (używanego w modelach ekspresji genów z wieloma opóźnieniami w Zadaniu 1) do gier ewolucyjnych z opóźnieniami czasowymi (procesy skokowe bez opóźnień były rozważane w grach ewolucyjnych w [27]). 4. Metodyka Ogólna metodologia. Zainspirowani pytaniami i problemami z nauk biologicznych i społecznych, skonstruujemy i zbadamy matematyczne modele stochastycznych dynamik z opóźnieniami czasowymi. Rozwiązania i własności przykładowych modeli pomogą nam sformułować i udowodnić ogólne twierdzenia matematyczne. Użyjemy standardowych i zmodyfikowanych narzędzi matematycznych i technik oraz koncepcji, takich jak stochastyczna stabilność, metody fizyki statystycznej, w szczególności metodę samouzgodnionego pola średniego. Podobne techniki zastosujemy w modelach mikro (biologia molekularna) i modelach makro (biologia ewolucyjna). Matematyczne narzędzia i techniki. Procesy biochemiczne i ewolucyjne są zazwyczaj modelowane układami równań różniczkowych zwyczajnych opisujących ewolucję czasową koncentracji różnych substancji w biologii komórkowej lub częstości występowania różnych strategii w teorii gier ewolucyjnych. Kiedy liczba biocząsteczek, lub odpowiednio osobników, jest mała, musimy w modelowaniu wziąć pod uwagę fluktuacje stochastyczne. W niniejszym projekcie będziemy konstruować i analizować odpowiednie łańcuchy Markowa z czasem dyskretnym i skokowe procesy Markowa (procesy urodzin i śmierci) z czasem ciągłym. Będziemy rozwijać matematyczne techniki badania układów wielu oddziałujących obiektów, takie jak stochastyczne zaburzenia układów dynamicznych [8], metodę samouzgodnionego pola średniego stosowaną powszechnie w mechanice statystycznej oraz teorię osobliwie zaburzonych skokowych procesów Markowa. Zmodyfikujemy odpowiednio te metody i zaadaptujemy do badania układów biologicznych, w szczególności z opóźnieniami czasowymi. Przykładowe modele 1. Samoregulujacy się gen W modelu stochastycznym samoregulującego sie genu, DNA może znajdować się w jednym z dwóch stanów: nie-
4 związanym 0 i związanym 1. Degradacja białek oznaczana jest przez γ. Rozważamy model z pojedynczą cząsteczką białka wiążącą się z DNA, intensywność wiązania jest dana przez β n, gdzie n jest liczbą niezwiązanych cząsteczek białka, intensywność zmiany stanu DNA na niezwiązany oznaczamy przez α. Stan układu jest opisywany przez f i (n,t), i = 0,1, łączne prawdopodobieństwo, że w czasie t liczba cząsteczek białka w systemie jest n, a DNA jest w stanie i. Wtedy dla n 1 równania na f i (n,t), tak zwane równania M, mają następującą postać: d dt f 0(n,t) = k 0 [ f 0 (n 1,t) f 0 (n,t)] + γ[(n + 1) f 0 (n + 1,t) n f 0 (n,t)] βn f 0 (n,t) + α f 1 (n,t), (1) d dt f 1(n,t) = k 1 [ f 1 (n 1,t) f 1 (n,t)] + γ[n f 1 (n + 1,t) (n 1) f 1 (n,t)] + βn f 0 (n,t) α f 1 (n,t), a dla n = 0 mamy d dt f 0(0,t) = k 0 f 0 (0,t) + γ f 0 (1,t) i f 1 (0,t) = 0. Dla k 0 = k 1 można ściśle wyliczyć rozkład prawdopodobieństwa w stanie stacjonarnym, ponieważ skokowy proces Markowa spełnia w tym przypadku warunki tak zwanej równowagi szczegółowej, która jest równoważna odwracalności procesu w czasie. Jeśli k 0 k 1, to równowaga szczegółowa nie zachodzi i zasadniczo trudno znaleźć wzory na rozkład prawdopodobieństwa stanu stacjonarnego, a nawet na jego momenty. Przybliżenie samouzgodnionego pola średniego polega na zastąpieniu n w składnikach reprezentujących przełączanie DNA przez nieznaną wartość oczekiwaną. Uzyskano w ten sposób analityczne wyrażenia na momenty rozkładu w przypadku genu samorepresjonującego się (k 1 = 0) [20]. W przypadku genu samoaktywującego się, k 1 > k 0, βn zastępujemy przez β 0 + β 2 n 2. Dla odpowiedniego zakresu parametrów mogą pojawić się bimodalne stany stacjonarne. Takie i inne układy biologiczne ze złamaną symetrią (jak na przykład przełączniki genetyczne, gdzie dwa typy białek ograniczają wzajemnie swoją produkcję) wymagają nietrywialnych modyfikacji techniki pola średniego (Zadanie 1). Szczególnie w obecności opóźnień czasowych musimy rozszerzyć standardowe równania M o równania na czasowe funkcje korelacyjne. Jednym z celów naszego projektu jest skonstruowanie systematycznego rozwinięcia wokół rozkładu prawdopodobieństwa stanu stacjonarnego spełniającego warunki równowagi szczegółowej, małym parametrem w modelu samorepresjonujacego się genu może być na przykład k 0 k 1 (Zadanie 2). Powyższe równania M mogą być zapisane jako d f dt = L f, gdzie L jest generatorem procesu Markowa. W naszym projekcie rozwiniemy teorię osobliwie zaburzonych generatorów skokowych procesów Markowa (Zadanie 3). Podejście takie było stosowane dotychczas w przypadku procesów ciągłych, takich jak ruchy Browna [12, 25]. 2. Dynamika replikatorowa w grach ewolucyjnych Dynamika replikatorowa opisuje ewolucję częstości występowania poszczególnych strategii [10, 11]. Dla gier z dwoma strategiami, zmiana w czasie częstości występowania pierwszej strategii, z opóźnieniami czasowymi zależnymi od strategii, może być zapisana w następujący sposób: dx dt = x(1 x)( f 1(t τ 1 ) f 2 (t τ 2 )), (2) gdzie f 1 i f 2 są średnimi wypłatami odpowiednich strategii. Dla skończonych populacji proponujemy następujące równania: p i (t + ε) = (1 ε)p i (t) + ε p i (t τ i )U i (t τ i ); i = 1,2, (3) gdzie p i (t), i = 1,2, jest liczbą osobników używajacych w czasie t strategii 1 and 2. Można pokazać, że (3) nie prowadzi do (2) w granicy ε 0 [1]. Zbadamy wpływ opóźnień czasowych i stochastycznych zaburzeń na stany stacjonarne w powyższej i innych dynamikach z wieloma opóźnieniami czasowymi (Zadanie 4). Matematyczna analiza modeli i zjawisk badanych w naszym projekcie będzie wspomagana symulacjami komputerowymi mającymi na celu odkrywanie nowych zjawisk i zależności oraz weryfikację różnych przybliżonych metod. Organizacja projektu. Poza kierownikiem, wykonawcą projektu będzie dr hab. Marek Bodnar, specjalista od teorii równań różniczkowych z opóźnieniami czasowymi, Chcielibyśmy skoncentrować w sposób efektywny nasze silne strony i różne doświadczenia do systematycznego rozwinięcia matematycznej teorii stochastycznych układów dynamicznych z opóźnieniami czasowymi. Jednocześnie chcielibyśmy zainspirować i wciągnąć do badań młodych ludzi. Temu celowi służy zaplanowane wsparcie finansowe dla czterech magistrantów i jednego doktoranta.
5 Rezultaty projektu będą ogłaszane na międzynarodowych i krajowych konferencjach oraz opublikowane w czasopismach o zasięgu międzynarodowym. Rozwinięta zostanie współpraca międzynarodowa. Zadanie 2 będzie realizowane w ścisłej współpracy z Christianem Maes (specjalista w konstrukcji nierównowagowej mechaniki statystycznej) z Uniwersytetu w Leuven, Belgia. Zadanie 3 będzie realizowane w ścisłej współpracy z Janem Wehrem (specjalista w stochastycznych równaniach różniczkowych i ich zastosowaniach) z Uniwersytetu w Arizonie. Na zaproszenie kierownika tego projektu wygłosili oni cykle wykładów na naszym Wydziale, poświęcone odpowiednio nierównowagowej mechanice statystycznej oraz matematyce i fizyce dyfuzji, które cieszyły się ogromnym zainteresowaniem wśród studentów. Zamierzamy też zaprosić Tobiasa Galla z Uniwersytetu w Manchester oraz Ofera Bihama z Hebrew University w Jerozolimie do współpracy w Zadaniu 1 i Jorge Pacheco z Uniwersytetu w Lizbonie w Zadaniu Literatura [1] J. Alboszta, J. Miȩkisz. Stability of evolutionarily stable strategies in discrete replicator dynamics with time delay. J. Theor. Biol. 231: (2004). [2] M. Bodnar. General model of a cascade of reactions with time delays: global stability analysis. J. Diff. Eqs. 259: (2015). [3] M. Bodnar, A. Bartłomiejczyk. Stability of delay induced oscillations in gene expression of Hes1 protein model. Non. Anal. Real World Applications 13: (2012). [4] M. Bodnar, U. Foryś, J. Poleszczuk. Analysis of biochemical reactions models with delays. J. Math. Anal. Appl. 376: (2011). [5] U. Foryś, M. Bodnar, J. Poleszczuk. Negativity of delayed induced oscillations in a simple linear DDE. Appl. Math. Lett. 24: (2011). [6] D. Bratsun, D. Volfson, L. Tsimring, J. Hasty. Delay-induced stochastic oscillations in gene regulation. Proc. Natl. Acad. Sci. USA 102: (2005). [7] M. Colangeli, C. Maes, B. Wynants. A meaningful expansion around detailed balance. J. Phys. A 44: (2011). [8] M. Freidlin, A. Wentzell. Random Perturbations of Dynamical Systems Springer Verlag, New York (1984). [9] K. Gopalsamy. Stability and Oscillations in Delay Differential Equations of Population. Springer (1992). [10] J. Hofbauer, K. Sigmund. Evolutionary Games and Population Dynamics. Cambridge: Cambridge University Press (1998). [11] J. Hofbauer, K. Sigmund. Evolutionary game dynamics. Bull. Amer. Math. Soc. 40: (2003). [12] S. Hottovy, G. Volpe, J. Wehr, Noise-induced drift in stochastic differential equations with arbitrary friction and diffusion in the Smoluchowski-Kramers limit. J. Stat. Phys. 146: (2012). [13] M. Komorowski, J. Miȩkisz, M.P.H. Stumpf. Decomposing noise in biochemical signalling systems highlights the role of protein degradation, Biophys. J. 104: (2013). [14] L. F. Lafuerza, R. Toral. Stochastic description of delayed systems. Phil. Trans. R. Soc. A 371: (2013). [15] C. Maes, K. Netocny. Heat bounds and the blowtorch theorem. Annales Henri Poincaré 14: (2013). [16] C. Maes, W. O Kelly de Galway. A low temperature analysis of the boundary driven Kawasaki Process. J. Stat. Phys. 153: (2013). [17] C. Maes, K. Netocny, W. O Kelly de Galway. Low temperature behavior of non-equilibrium multilevel systems. Journal of Physics A: Math. Theor. 47: (2014). [18] J. Miȩkisz. Evolutionary game theory and population dynamics. Lecture Notes in Mathematics 1940: (2008). [19] J. Miękisz, J. Poleszczuk, M. Bodnar, U. Foryś. Stochastic models of gene expression with delayed degradation. Bull. Math. Biol. 73: (2011). [20] J. Miȩkisz, P. Szymańska. Gene expression in self-repressing system with multiple gene copies. Bull. Math. Biol. 75: (2013). [21] J. Miȩkisz, S. Wesołowski. Stochasticity and time delays in evolutionary games. Dyn. Games Appl. 1: (2011). [22] J. Miękisz, M. Matuszak, and J. Poleszczuk, Stochastic stability in three-player games with time delays, Dynamic Games and Applications 4: (2014) [23] J. Miękisz. The decomposition property and equilibrium states of ferromagnetic lattice systems. Commun. Math. Phys. 109: (1987). [24] J. Miękisz. Low temperature equilibrium states of ferromagnetic lattice systems. J. Phys. A.: Math. Gen. 21: (1988). [25] G. Pesce, A. McDaniel, S. Hottovy, J. Wehr, G. Volpe. Stratonovich-to-Itô transition in noisy systems with multiplicative feedback. Nature Communications 4: 2733 (2013). [26] S. A. Pirogov, Ya. Sinai. Phase diagrams of classical lattice systems. Teor. Mat. Fiz. 25: (1975). [27] Y. Tao, R. Cressman. Stochastic fluctuations through intrinsic noise in evolutionary game dynamics. Bull.Math. Biol. 69: (2007). [28] Y. Tao, Z. Wang. Effect of time delay and evolutionarily stable strategy. J. Theor. Biol. 187: (1997).
Tematy prac magisterskich i doktorskich
Tematy prac magisterskich i doktorskich Stochastyczna dynamika z opóźnieniami czasowymi w grach ewolucyjnych oraz modelach ekspresji i regulacji genów Jacek Miękisz Instytut Matematyki Stosowanej i Mechaniki
Stochastyczna dynamika z opóźnieniem czasowym w grach ewolucyjnych oraz modelach ekspresji i regulacji genów
Stochastyczna dynamika z opóźnieniem czasowym w grach ewolucyjnych oraz modelach ekspresji i regulacji genów Jacek Miękisz Instytut Matematyki Stosowanej i Mechaniki Uniwersytet Warszawski Warszawa 14
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
GRA Przykład 1) Zbiór graczy n = 2 myśliwych I= {1,,n} 2) Zbiór strategii S = {polować na jelenia, gonić zająca} S = {1,,m} 3) Wypłaty jeleń - zając - 10 utils 3 utils U i : S n R i=1,,n J Z J Z J 5 0
Stochastyczne dynamiki z opóźnieniami czasowymi w grach ewolucyjnych
Stochastyczne dynamiki z opóźnieniami czasowymi w grach ewolucyjnych Jacek Miękisz Instytut Matematyki Stosowanej i Mechaniki Uniwersytet Warszawski Warszawa 10 listopada 2016 Proseminarium licencjackie
Gry hazardowe, gry ewolucyjne, ekspresja genów, tak czy owak łańcuchy Markowa
Kampus Ochota 18 kwietnia 2015 Gry hazardowe, gry ewolucyjne, ekspresja genów, tak czy owak łańcuchy Markowa Jacek Miękisz Instytut Matematyki Stosowanej i Mechaniki Uniwersytet Warszawski Andrey (Andrei)
Wykład 2. Przykład zastosowania teorii prawdopodobieństwa: procesy stochastyczne (Markova)
Wykład 2 Przykład zastosowania teorii prawdopodobieństwa: procesy stochastyczne (Markova) 1. Procesy Markova: definicja 2. Równanie Chapmana-Kołmogorowa-Smoluchowskiego 3. Przykład dyfuzji w kapilarze
Matematyk Ci powie, co łączy Eugeniusza Oniegina i gry hazardowe
Matematyk Ci powie, co łączy Eugeniusza Oniegina i gry hazardowe Empik każdego inspiruje inaczej Aleksander Puszkin (1799 1837) Andrey (Andrei) Andreyevich Markov (1856 1922) Wśród 20 tysięcy początkowych
Gry hazardowe, gry ewolucyjne, ekspresja genów, tak czy owak łańcuchy Markowa
Po co nam matematyka? 7 kwietnia 2016 Gry hazardowe, gry ewolucyjne, ekspresja genów, tak czy owak łańcuchy Markowa Jacek Miękisz Instytut Matematyki Stosowanej i Mechaniki Uniwersytet Warszawski Empik
Twierdzenie 2: Własności pola wskazujące na istnienie orbit
Cykle graniczne Dotychczas zajmowaliśmy się głównie znajdowaniem i badaniem stabilności punktów stacjonarnych. Wiele ciekawych procesów ma naturę cykliczną. Umiemy już sobie poradzić z cyklicznością występującą
Porównanie różnych podejść typu ODE do modelowania sieci regu
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
Równania różniczkowe z opóźnieniem w opisie zjawisk biologicznych
Równania różniczkowe z opóźnieniem w opisie zjawisk biologicznych Marek Bodnar Zakład Biomatematyki i Teorii Gier, Instytut Matematyki Stosowanej i Mechaniki, Wydział Matematyki, Informatyki i Mechaniki,
Obliczenia inspirowane Naturą
Obliczenia inspirowane Naturą Wykład 03 (uzupełnienie Wykładu 02) Jarosław Miszczak IITiS PAN Gliwice 31/03/2016 1 / 17 1 2 / 17 Dynamika populacji Równania Lotki-Voltery opisują model drapieżnik-ofiara.
Analiza modelu ekspresji genu białka Hes1
Analiza modelu ekspresji genu białka Hes1 Agnieszka Bartłomiejczyk Politechnika Gdańska Konferencja Śladami Kobiet w Matematyce w stulecie urodzin Profesor Heleny Rasiowej Rzeszów, 24 czerwca 2017 (współautor:
Prognozowanie i Symulacje. Wykład I. Matematyczne metody prognozowania
Prognozowanie i Symulacje. Wykład I. e-mail:e.kozlovski@pollub.pl Spis treści Szeregi czasowe 1 Szeregi czasowe 2 3 Szeregi czasowe Definicja 1 Szereg czasowy jest to proces stochastyczny z czasem dyskretnym
Modelowanie stochastyczne Stochastic Modeling. Poziom przedmiotu: II stopnia. Liczba godzin/tydzień: 2W E, 2C
Nazwa przedmiotu: Kierunek: Matematyka Rodzaj przedmiotu: obowiązkowy dla specjalności matematyka przemysłowa Rodzaj zajęć: wykład, ćwiczenia Modelowanie stochastyczne Stochastic Modeling Poziom przedmiotu:
Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne
Wydział: Matematyki Stosowanej Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne Specjalność: Matematyka finansowa Rocznik: 2014/2015 Język wykładowy: Polski Semestr
Zadania do wykładu Jakościowa Teoria Równań Różniczkowych Zwyczajnych
Zadania do wykładu Jakościowa Teoria Równań Różniczkowych Zwyczajnych [ ] e Zadanie 1 Pokazać, że X(t) = 2t cos t sin t e 2t jest specjalną macierzą fundamentalną w sin t cos t [ 2 cos chwili τ = 0 układu
ANALIZA WŁAŚCIWOŚCI FILTRU PARAMETRYCZNEGO I RZĘDU
POZNAN UNIVE RSITY OF TE CHNOLOGY ACADE MIC JOURNALS No 78 Electrical Engineering 2014 Seweryn MAZURKIEWICZ* Janusz WALCZAK* ANALIZA WŁAŚCIWOŚCI FILTRU PARAMETRYCZNEGO I RZĘDU W artykule rozpatrzono problem
Matematyka Stosowana na Politechnice Wrocławskiej. Komitet Matematyki PAN, luty 2017 r.
Matematyka Stosowana na Politechnice Wrocławskiej Komitet Matematyki PAN, luty 2017 r. Historia kierunku Matematyka Stosowana utworzona w 2012 r. na WPPT (zespół z Centrum im. Hugona Steinhausa) studia
Wstęp do rachunku prawdopodobieństwa. Cz. 1 / William Feller. wyd. 6, dodr. 4. Warszawa, Spis treści
Wstęp do rachunku prawdopodobieństwa. Cz. 1 / William Feller. wyd. 6, dodr. 4. Warszawa, 2012 Spis treści Od Wydawnictwa 5 Z przedmowy autora do wydania pierwszego 7 Z przedmowy autora do wydania drugiego
I. KARTA PRZEDMIOTU CEL PRZEDMIOTU
I. KARTA PRZEDMIOTU 1. Nazwa przedmiotu: MATEMATYKA STOSOWANA II 2. Kod przedmiotu: Ma2 3. Jednostka prowadząca: Wydział Mechaniczno-Elektryczny 4. Kierunek: Mechatronika 5. Specjalność: Zastosowanie informatyki
Hopfa w modelach reakcji biochemicznych z opóźnieniem
Nieujemność rozwiazań, stabilność i bifurkacja Hopfa w modelach reakcji biochemicznych z opóźnieniem Marek Bodnar Wydział Matematyki, Informatyki i Mechaniki, Instytut Matematyki Stosowanej i Mechaniki,
Stabilność II Metody Lapunowa badania stabilności
Metody Lapunowa badania stabilności Interesuje nas w sposób szczególny system: Wprowadzamy dla niego pojęcia: - stabilności wewnętrznej - odnosi się do zachowania się systemu przy zerowym wejściu, czyli
VII. Elementy teorii stabilności. Funkcja Lapunowa. 1. Stabilność w sensie Lapunowa.
VII. Elementy teorii stabilności. Funkcja Lapunowa. 1. Stabilność w sensie Lapunowa. W rozdziale tym zajmiemy się dokładniej badaniem stabilności rozwiązań równania różniczkowego. Pojęcie stabilności w
Model Pasywnego Trasera w Lokalnie Ergodycznym Środowisku
w Lokalnie Ergodycznym Środowisku Tymoteusz Chojecki UMCS, Lublin Tomasz Komorowski IMPAN, Warszawa Kościelisko, 10 września 2016, XLV Konferencja Zastosowań Matematyki T. Komorowski, T. Chojecki w Lokalnie
Układy dynamiczne. proseminarium dla studentów III roku matematyki. Michał Krych i Anna Zdunik. rok akad. 2014/15
Układy dynamiczne proseminarium dla studentów III roku matematyki Michał Krych i Anna Zdunik rok akad. 2014/15 Układy dynamiczne Układy dynamiczne Układy dynamiczne, i związana z nimi Teoria ergodyczna
Politechnika Wrocławska, Wydział Informatyki i Zarządzania. Modelowanie
Politechnika Wrocławska, Wydział Informatyki i Zarządzania Modelowanie Zad Procesy wykładniczego wzrostu i spadku (np populacja bakterii, rozpad radioaktywny, wymiana ciepła) można modelować równaniem
Zastosowania analizy stochastycznej w finansach Application of Stochastic Models in Financial Analysis Kod przedmiotu: Poziom przedmiotu: II stopnia
Nazwa przedmiotu: Kierunek: Matematyka Rodzaj przedmiotu: obowiązkowy dla specjalności matematyka finansowa i ubezpieczeniowa Rodzaj zajęć: wykład, ćwiczenia Zastosowania analizy stochastycznej w finansach
Twierdzenia graniczne fluktuacji procesów przebywania dla układów gałazkowych
Publiczna obrona rozprawy doktorskiej Twierdzenia graniczne fluktuacji procesów przebywania dla układów gałazkowych Piotr Miłoś Instytut Matematyczny Polskiej Akademii Nauk 23.10.2008 Warszawa Plan 1 Układy
Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne
Wydział: Matematyki Stosowanej Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne Specjalność: Matematyka w informatyce Rocznik: 2013/2014 Język wykładowy: Polski
Wstęp do rachunku prawdopodobieństwa. Cz. 2 / William Feller. wyd. 4, dodr. 3. Warszawa, Spis treści
Wstęp do rachunku prawdopodobieństwa. Cz. 2 / William Feller. wyd. 4, dodr. 3. Warszawa, 2012 Spis treści Przedmowa 5 Oznaczenia i konwencje 7 Rozdział I Rozkład wykładniczy i rozkład jednostajny 1. Wprowadzenie
Statystyka od podstaw Janina Jóźwiak, Jarosław Podgórski
Statystyka od podstaw Janina Jóźwiak, Jarosław Podgórski Książka jest nowoczesnym podręcznikiem przeznaczonym dla studentów uczelni i wydziałów ekonomicznych. Wykład podzielono na cztery części. W pierwszej
Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne
Wydział: Matematyki Stosowanej Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne Specjalność: Matematyka ubezpieczeniowa Rocznik: 2013/2014 Język wykładowy: Polski
Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne
Wydział: Matematyki Stosowanej Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne Specjalność: Matematyka finansowa Rocznik: 2013/2014 Język wykładowy: Polski Semestr
Janusz Adamowski METODY OBLICZENIOWE FIZYKI Kwantowa wariacyjna metoda Monte Carlo. Problem własny dla stanu podstawowego układu N cząstek
Janusz Adamowski METODY OBLICZENIOWE FIZYKI 1 Rozdział 20 KWANTOWE METODY MONTE CARLO 20.1 Kwantowa wariacyjna metoda Monte Carlo Problem własny dla stanu podstawowego układu N cząstek (H E 0 )ψ 0 (r)
Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne
Wydział: Matematyki Stosowanej Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne Specjalność: Matematyka ubezpieczeniowa Rocznik: 2016/2017 Język wykładowy: Polski
Zasada średniego potencjału w grach ewolucyjnych. Paweł Nałęcz-Jawecki
Zasada średniego potencjału w grach ewolucyjnych Paweł Nałęcz-Jawecki O czym będzie ten komunikat O czym będzie ten komunikat Jak powiązać procesy błądzenia losowego na dyskretnym grafie ze (stochastycznymi
Ćwiczenia: Ukryte procesy Markowa lista 1 kierunek: matematyka, specjalność: analiza danych i modelowanie, studia II
Ćwiczenia: Ukryte procesy Markowa lista kierunek: matematyka, specjalność: analiza danych i modelowanie, studia II dr Jarosław Kotowicz Zadanie. Dany jest łańcuch Markowa, który może przyjmować wartości,,...,
MODELOWANIE RZECZYWISTOŚCI
MODELOWANIE RZECZYWISTOŚCI Daniel Wójcik Instytut Biologii Doświadczalnej PAN Szkoła Wyższa Psychologii Społecznej d.wojcik@nencki.gov.pl dwojcik@swps.edu.pl tel. 022 5892 424 http://www.neuroinf.pl/members/danek/swps/
III. Układy liniowe równań różniczkowych. 1. Pojęcie stabilności rozwiązań.
III. Układy liniowe równań różniczkowych. 1. Pojęcie stabilności rozwiązań. Analiza stabilności rozwiązań stanowi ważną część jakościowej teorii równań różniczkowych. Jej istotą jest poszukiwanie odpowiedzi
Algorytm Genetyczny. zastosowanie do procesów rozmieszczenia stacji raportujących w sieciach komórkowych
Algorytm Genetyczny zastosowanie do procesów rozmieszczenia stacji raportujących w sieciach komórkowych Dlaczego Algorytmy Inspirowane Naturą? Rozwój nowych technologii: złożone problemy obliczeniowe w
ANALIZA TRÓJELEMENTOWEGO OBWODU MEMRYSTOROWEGO NIECAŁKOWITEGO RZĘDU
POZNAN UNIVE RSITY OF TE CHNOLOGY ACADE MIC JOURNALS No 77 Electrical Engineering 4 Mikołaj BUSŁOWICZ* ANALIZA TRÓJELEMENTOWEGO OBWODU MEMRYSTOROWEGO NIECAŁKOWITEGO RZĘDU W pracy rozpatrzono szeregowy
WYDZIAŁ ELEKTRONIKI MIKROSYSTEMÓW I FOTONIKI
Zał. nr do ZW WYDZIAŁ ELEKTRONIKI MIKROSYSTEMÓW I FOTONIKI KARTA PRZEDMIOTU Nazwa w języku polskim: Matematyka (Zao EA EiT stopień) Nazwa w języku angielskim: Mathematics Kierunek studiów (jeśli dotyczy):
Statystyka i eksploracja danych
Wykład II: i charakterystyki ich rozkładów 24 lutego 2014 Wartość oczekiwana Dystrybuanty Słowniczek teorii prawdopodobieństwa, cz. II Wartość oczekiwana Dystrybuanty Słowniczek teorii prawdopodobieństwa,
O procesie Wienera. O procesie Wienera. Procesy stochastyczne Wykład XV, 15 czerwca 2015 r. Proces Wienera. Ruch Browna. Ułamkowe ruchy Browna
Procesy stochastyczne Wykład XV, 15 czerwca 2015 r. Ruch 1 {X t } jest martyngałem dokładnie wtedy, gdy E(X t F s ) = X s, s, t T, s t. Jeżeli EX 2 (t) < +, to E(X t F s ) jest rzutem ortogonalnym zmiennej
Procedura modelowania matematycznego
Procedura modelowania matematycznego System fizyczny Model fizyczny Założenia Uproszczenia Model matematyczny Analiza matematyczna Symulacja komputerowa Rozwiązanie w postaci modelu odpowiedzi Poszerzenie
Proces Poissona. Proces {N(t), t 0} nazywamy procesem zliczającym jeśli N(t) oznacza całkowitą liczbę badanych zdarzeń zaobserwowanych do chwili t.
Procesy stochastyczne WYKŁAD 5 Proces Poissona. Proces {N(t), t } nazywamy procesem zliczającym jeśli N(t) oznacza całkowitą liczbę badanych zdarzeń zaobserwowanych do chwili t. Proces zliczający musi
Przejścia fazowe w uogólnionym modelu modelu q-wyborcy na grafie zupełnym
Przejścia fazowe w uogólnionym modelu modelu q-wyborcy na grafie zupełnym Piotr Nyczka Institute of Theoretical Physics University of Wrocław Artykuły Opinion dynamics as a movement in a bistable potential
Co ma piekarz do matematyki?
Instytut Matematyki i Informatyki Politechnika Wrocławska Dolnośląski Festiwal Nauki Wrzesień 2009 x x (x 1, x 2 ) x (x 1, x 2 ) (x 1, x 2, x 3 ) x (x 1, x 2 ) (x 1, x 2, x 3 ) (x 1, x 2, x 3, x 4 ). x
Opisy przedmiotów do wyboru
Opisy przedmiotów do wyboru moduły specjalistyczne oferowane na stacjonarnych studiach II stopnia (magisterskich) dla 1 roku matematyki semestr letni, rok akademicki 2018/2019 Spis treści 1. Analiza portfelowa
Uniwersytet Śląski w Katowicach WYDZIAŁ MATEMATYKI, FIZYKI I CHEMII. Kierunek Matematyka. Studia stacjonarne i niestacjonarne I i II stopnia
Uniwersytet Śląski w Katowicach WYDZIAŁ MATEMATYKI, FIZYKI I CHEMII Kierunek Matematyka Studia stacjonarne i niestacjonarne I i II stopnia Organizacja roku akademickiego 2017/2018 Studia stacjonarne I
Politechnika Wrocławska, Wydział Informatyki i Zarządzania. Modelowanie
Politechnika Wrocławska, Wydział Informatyki i Zarządzania Modelowanie Zad Wyznacz transformaty Laplace a poniższych funkcji, korzystając z tabeli transformat: a) 8 3e 3t b) 4 sin 5t 2e 5t + 5 c) e5t e
EGZAMIN MAGISTERSKI, 18 września 2013 Biomatematyka
Biomatematyka Liczebność populacji pewnego gatunku jest modelowana przez równanie różnicowe w którym N k stałymi. rn 2 n N n+1 =, A+Nn 2 oznacza liczebność populacji w k tej generacji, a r i A są dodatnimi
- prędkość masy wynikająca z innych procesów, np. adwekcji, naprężeń itd.
4. Równania dyfuzji 4.1. Prawo zachowania masy cd. Równanie dyfuzji jest prostą konsekwencją prawa zachowania masy, a właściwie to jest to prawo zachowania masy zapisane dla procesu dyfuzji i uwzględniające
Fale biegnące w równaniach reakcji-dyfuzji
Fale biegnące w równaniach reakcji-dyfuzji Piotr Bartłomiejczyk Politechnika Gdańska Między teorią a zastosowaniami: Matematyka w działaniu Będlewo, 25 30 maja 2015 P. Bartłomiejczyk Fale biegnące 1 /
EGZAMIN DYPLOMOWY, część II, Biomatematyka
Biomatematyka Niech X n oznacza proporcję pozycji w nici DNA, które po n replikacjach są obsadzone takimi samymi nukleotydami, jak w chwili początkowej, tak więc X 0 = 1. Zakładamy, że w każdej replikacji
Wprowadzenie do analizy korelacji i regresji
Statystyka dla jakości produktów i usług Six sigma i inne strategie Wprowadzenie do analizy korelacji i regresji StatSoft Polska Wybrane zagadnienia analizy korelacji Przy analizie zjawisk i procesów stanowiących
Wykład Ćwiczenia Laborat orium. Zaliczenie na ocenę. egzamin
Wydział Elektroniki PWr KARTA PRZEDMIOTU Nazwa w języku polskim: Metody matematyczne automatyki i robotyki Nazwa w języku angielskim: Mathematical methods of automation and robotics Kierunek studiów: Automatyka
Aproksymacja funkcji a regresja symboliczna
Aproksymacja funkcji a regresja symboliczna Problem aproksymacji funkcji polega na tym, że funkcję F(x), znaną lub określoną tablicą wartości, należy zastąpić inną funkcją, f(x), zwaną funkcją aproksymującą
PRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Równania różniczkowe Differential equations Kierunek: Rodzaj przedmiotu: obowiązkowy dla wszystkich specjalności Rodzaj zajęć: wykład, ćwiczenia Matematyka Poziom kwalifikacji: I stopnia
Zaawansowane metody numeryczne Komputerowa analiza zagadnień różniczkowych 4. Równania różniczkowe zwyczajne podstawy teoretyczne
Zaawansowane metody numeryczne Komputerowa analiza zagadnień różniczkowych 4. Równania różniczkowe zwyczajne podstawy teoretyczne P. F. Góra http://th-www.if.uj.edu.pl/zfs/gora/ semestr letni 2005/06 Wstęp
Tadeusz Lesiak. Dynamika punktu materialnego: Praca i energia; zasada zachowania energii
Mechanika klasyczna Tadeusz Lesiak Wykład nr 4 Dynamika punktu materialnego: Praca i energia; zasada zachowania energii Energia i praca T. Lesiak Mechanika klasyczna 2 Praca Praca (W) wykonana przez stałą
Wstęp do równań różniczkowych
Wstęp do równań różniczkowych Wykład 1 Lech Sławik Instytut Matematyki PK Literatura 1. Arnold W.I., Równania różniczkowe zwyczajne, PWN, Warszawa, 1975. 2. Matwiejew N.M., Metody całkowania równań różniczkowych
INSTRUKCJA DO ĆWICZENIA NR 7
KATEDRA MECHANIKI STOSOWANEJ Wydział Mechaniczny POLITECHNIKA LUBELSKA INSTRUKCJA DO ĆWICZENIA NR 7 PRZEDMIOT TEMAT OPRACOWAŁ LABORATORIUM MODELOWANIA Przykładowe analizy danych: przebiegi czasowe, portrety
PODSTAWY MODELOWANIA UKŁADÓW DYNAMICZNYCH W JĘZYKACH SYMULACYJNYCH
PODSTAWY MODELOWANIA UKŁADÓW DYNAMICZNYCH W JĘZYKACH SYMULACYJNYCH ( Na przykładzie POWERSIM) M. Berndt-Schreiber 1 Plan Zasady modelowania Obiekty symbole graficzne Dyskretyzacja modelowania Predefiniowane
Recenzja pracy doktorskiej mgr Tomasza Świsłockiego pt. Wpływ oddziaływań dipolowych na własności spinorowego kondensatu rubidowego
Prof. dr hab. Jan Mostowski Instytut Fizyki PAN Warszawa Warszawa, 15 listopada 2010 r. Recenzja pracy doktorskiej mgr Tomasza Świsłockiego pt. Wpływ oddziaływań dipolowych na własności spinorowego kondensatu
KARTA KURSU. Probability theory
KARTA KURSU Nazwa Nazwa w j. ang. Rachunek prawdopodobieństwa Probability theory Kod Punktacja ECTS* 4 Koordynator Dr Ireneusz Krech Zespół dydaktyczny Dr Ireneusz Krech Dr Robert Pluta Opis kursu (cele
Zadanie 1. Liczba szkód N w ciągu roku z pewnego ryzyka ma rozkład geometryczny: k =
Matematyka ubezpieczeń majątkowych 0.0.006 r. Zadanie. Liczba szkód N w ciągu roku z pewnego ryzyka ma rozkład geometryczny: k 5 Pr( N = k) =, k = 0,,,... 6 6 Wartości kolejnych szkód Y, Y,, są i.i.d.,
TEORIA CHAOSU. Autorzy: Szymon Sapkowski, Karolina Seweryn, Olaf Skrabacz, Kinga Szarkowska
TEORIA CHAOSU Autorzy: Szymon Sapkowski, Karolina Seweryn, Olaf Skrabacz, Kinga Szarkowska Wydział MiNI Politechnika Warszawska Rok akademicki 2015/2016 Semestr letni Krótki kurs historii matematyki DEFINICJA
WYDZIAŁ PODSTAWOWYCH PROBLEMÓW TECHNIKI KARTA PRZEDMIOTU
Zał. nr 4 do ZW WYDZIAŁ PODSTAWOWYCH PROBLEMÓW TECHNIKI KARTA PRZEDMIOTU Nazwa w języku polskim WSTĘP DO TEORII RÓWNAŃ RÓŻNICZKOWYCH Nazwa w języku angielskim INTRODUCTION TO DIFFERENTIAL EQUATIONS THEORY
Weryfikacja hipotez statystycznych. KG (CC) Statystyka 26 V / 1
Weryfikacja hipotez statystycznych KG (CC) Statystyka 26 V 2009 1 / 1 Sformułowanie problemu Weryfikacja hipotez statystycznych jest drugą (po estymacji) metodą uogólniania wyników uzyskanych w próbie
13. Równania różniczkowe - portrety fazowe
13. Równania różniczkowe - portrety fazowe Grzegorz Kosiorowski Uniwersytet Ekonomiczny w Krakowie rzegorz Kosiorowski (Uniwersytet Ekonomiczny 13. wrównania Krakowie) różniczkowe - portrety fazowe 1 /
Procesy Markowa zawdzięczają swoją nazwę ich twórcy Andriejowi Markowowi, który po raz pierwszy opisał problem w 1906 roku.
Procesy Markowa zawdzięczają swoją nazwę ich twórcy Andriejowi Markowowi, który po raz pierwszy opisał problem w 1906 roku. Uogólnienie na przeliczalnie nieskończone przestrzenie stanów zostało opracowane
Metody Lagrange a i Hamiltona w Mechanice
Metody Lagrange a i Hamiltona w Mechanice Mariusz Przybycień Wydział Fizyki i Informatyki Stosowanej Akademia Górniczo-Hutnicza Wykład 8 M. Przybycień (WFiIS AGH) Metody Lagrange a i Hamiltona... Wykład
Komputerowe modelowanie zjawisk fizycznych
Komputerowe modelowanie zjawisk fizycznych Ryszard Kutner Zakład Dydaktyki Fizyki Instytut Fizyki Doświadczalnej, Wydział Fizyki Uniwersytet Warszawski IX FESTIWAL NAUKI WARSZAWA 2005 BRAK INWESTYCJI W
Wykład FIZYKA I. 5. Energia, praca, moc. http://www.if.pwr.wroc.pl/~wozniak/fizyka1.html. Dr hab. inż. Władysław Artur Woźniak
Wykład FIZYKA I 5. Energia, praca, moc Dr hab. inż. Władysław Artur Woźniak Instytut Fizyki Politechniki Wrocławskiej http://www.if.pwr.wroc.pl/~wozniak/fizyka1.html ENERGIA, PRACA, MOC Siła to wielkość
WYMAGANIA WSTĘPNE W ZAKRESIE WIEDZY, UMIEJĘTNOŚCI I INNYCHY KOMPETENCJI EFEKTY KSZTAŁCENIA
I. KARTA PRZEDMIOTU. Nazwa przedmiotu: MATEMATYKA STOSOWANA 2. Kod przedmiotu: Ms 3. Jednostka prowadząca: Wydział Nawigacji i Uzbrojenia Okrętowego 4. Kierunek: Nawigacja 5. Specjalność: Nawigacja morska
Podręcznik. Przykład 1: Wyborcy
MODELOWANIE RZECZYWISTOŚCI Daniel Wójcik Instytut Biologii Doświadczalnej PAN d.wojcik@nencki.gov.pl tel. 5892 424 http://www.neuroinf.pl/members/danek/swps/ Iwo Białynicki-Birula Iwona Białynicka-Birula
Szczegółowy program kursu Statystyka z programem Excel (30 godzin lekcyjnych zajęć)
Szczegółowy program kursu Statystyka z programem Excel (30 godzin lekcyjnych zajęć) 1. Populacja generalna a losowa próba, parametr rozkładu cechy a jego ocena z losowej próby, miary opisu statystycznego
Modele matematyczne drapieżnictwa
Modele matematyczne drapieżnictwa Dariusz WRZOSEK Instytut Matematyki Stosowanej i Mechaniki Uniwersytet Warszawski BIOFIZMAT, Grudzień 2015 Rodzaje odziaływań miedzygatunkowych Podstawowe oddziaływania
Skoki o zerowej długości w formalizmie błądzenia losowego w czasie ciągłym
TEMATY PRAC MAGISTERSKICH Z EKONOFIZYKI Rok akademicki 2013/14 Skoki o zerowej długości w formalizmie błądzenia losowego w czasie ciągłym Opiekun: dr Tomasz Gubiec Email: Tomasz.Gubiec@fuw.edu.pl Błądzenie
Opis efektów kształcenia dla programu kształcenia (kierunkowe efekty kształcenia) WIEDZA. rozumie cywilizacyjne znaczenie matematyki i jej zastosowań
TABELA ODNIESIEŃ EFEKTÓW KSZTAŁCENIA OKREŚLONYCH DLA PROGRAMU KSZTAŁCENIA DO EFEKTÓW KSZTAŁCENIA OKREŚLONYCH DLA OBSZARU KSZTAŁCENIA I PROFILU STUDIÓW PROGRAM KSZTAŁCENIA: POZIOM KSZTAŁCENIA: PROFIL KSZTAŁCENIA:
Wstęp do równań różniczkowych
Wstęp do równań różniczkowych Wykład 1 Lech Sławik Instytut Matematyki PK Literatura 1. Arnold W.I., Równania różniczkowe zwyczajne, PWN, Warszawa, 1975. 2. Matwiejew N.M., Metody całkowania równań różniczkowych
KARTA PRZEDMIOTU. 12. PRZEDMIOTOWE EFEKTY KSZTAŁCENIA Odniesienie do kierunkowych efektów kształcenia (symbol)
KARTA PRZEDMIOTU 1. NAZWA PRZEDMIOTU: Równania różniczkowe (RRO020) 2. KIERUNEK: MATEMATYKA 3. POZIOM STUDIÓW: I stopnia 4. ROK/ SEMESTR STUDIÓW: II/4 5. LICZBA PUNKTÓW ECTS: 4 6. LICZBA GODZIN: 30 / 30
Szczegółowy program kursu Statystyka z programem Excel (30 godzin lekcyjnych zajęć)
Szczegółowy program kursu Statystyka z programem Excel (30 godzin lekcyjnych zajęć) 1. Populacja generalna a losowa próba, parametr rozkładu cechy a jego ocena z losowej próby, miary opisu statystycznego
WYDZIAŁ PODSTAWOWYCH PROBLEMÓW TECHNIKI KARTA PRZEDMIOTU
Zał. nr 4 do ZW WYDZIAŁ PODSTAWOWYCH PROBLEMÓW TECHNIKI KARTA PRZEDMIOTU Nazwa w języku polskim RÓWNANIA RÓŻNICZKOWE ZWYCZAJNE Nazwa w języku angielskim ORDINARY DIFFERENTIAL EQUATIONS Kierunek studiów
ZAGADNIENIA DO EGZAMINU MAGISTERSKIEGO
ZAGADNIENIA DO EGZAMINU MAGISTERSKIEGO Na egzaminie magisterskim student powinien: 1) omówić wyniki zawarte w pracy magisterskiej posługując się swobodnie pojęciami i twierdzeniami zamieszczonymi w pracy
EGZAMIN DYPLOMOWY, część II, Biomatematyka
Biomatematyka Badamy wpływ dwóch czynników mutagennych na DNA. W tym celu podczas każdej replikacji nić DNA poddawana jest na przemian działaniu pierwszego i drugiego czynnika wywołującego mutacje. Wiemy,
Procesy stochastyczne 2.
Procesy stochastyczne 2. Listy zadań 1-3. Autor: dr hab.a. Jurlewicz WPPT Matematyka, studia drugiego stopnia, I rok, rok akad. 211/12 1 Lista 1: Własność braku pamięci. Procesy o przyrostach niezależnych,
W rachunku prawdopodobieństwa wyróżniamy dwie zasadnicze grupy rozkładów zmiennych losowych:
W rachunku prawdopodobieństwa wyróżniamy dwie zasadnicze grupy rozkładów zmiennych losowych: Zmienne losowe skokowe (dyskretne) przyjmujące co najwyżej przeliczalnie wiele wartości Zmienne losowe ciągłe
O 2 O 1. Temat: Wyznaczenie przyspieszenia ziemskiego za pomocą wahadła rewersyjnego
msg M 7-1 - Temat: Wyznaczenie przyspieszenia ziemskiego za pomocą wahadła rewersyjnego Zagadnienia: prawa dynamiki Newtona, moment sił, moment bezwładności, dynamiczne równania ruchu wahadła fizycznego,
Ramowy Program Specjalizacji MODELOWANIE MATEMATYCZNE i KOMPUTEROWE PROCESÓW FIZYCZNYCH Studia Specjalistyczne (III etap)
Ramowy Program Specjalizacji MODELOWANIE MATEMATYCZNE i KOMPUTEROWE PROCESÓW FIZYCZNYCH Studia Specjalistyczne (III etap) Z uwagi na ogólno wydziałowy charakter specjalizacji i możliwość wykonywania prac
TERMODYNAMIKA I FIZYKA STATYSTYCZNA
TERMODYNAMIKA I FIZYKA STATYSTYCZNA Lech Longa pok. D.2.49, II piętro, sektor D Zakład Fizyki Statystycznej e-mail: lech.longa@uj.edu.pl Dyżury: poniedziałki 14-15.50 można się umówić wysyłając e-maila
Rozkłady statyczne Maxwella Boltzmana. Konrad Jachyra I IM gr V lab
Rozkłady statyczne Maxwella Boltzmana Konrad Jachyra I IM gr V lab MODEL STATYCZNY Model statystyczny hipoteza lub układ hipotez, sformułowanych w sposób matematyczny (odpowiednio w postaci równania lub
Chaos w układach dynamicznych: miary i kryteria chaosu
: miary i kryteria chaosu Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii 27.08.14 : miary i kryteria chaosu Temat tego referatu jest związany z teorią układów dynamicznych która ma
Fizyka statystyczna, elementy termodynamiki nierównowagowej Cele, zakres zagadnień
Fizyka statystyczna, elementy termodynamiki nierównowagowej Cele, zakres zagadnień Narzędzia przypomnienie podstawowych definicji i twierdzeń z rachunku prawdopodobienstwa; podstawowe rozkłady statystyczne
Nieregularne ścieżki - między determinizmem a losowością
Nieregularne ścieżki - między determinizmem a losowością Rafał Łochowski SGH 6. Forum Matematyków Rafał Łochowski (SGH) Nieregularne ścieżki 6. Forum Matematyków 1 / 21 Problem z nieskończonym wahaniem
Hypatia? 415 PROCESY KAWAŁKAMI DETERMINISTYCZNE I ICH ASYMPTOTYKA RYSZARD RUDNICKI ŚLADAMI KOBIET W MATEMATYCE RZESZÓW, Strona 1 z 36 Wróć
Strona 1 z 36 Wróć PROCESY KAWAŁKAMI Hypatia? 415 DETERMINISTYCZNE I ICH ASYMPTOTYKA RYSZARD RUDNICKI ŚLADAMI KOBIET W MATEMATYCE RZESZÓW, 23.06.2017 Strona 2 z 36 Wróć Plan: Co to sa procesy kawałkami
OPIS ZAKŁADANYCH EFEKTÓW KSZTAŁCENIA DLA KIERUNKU STUDIÓW. Efekty kształcenia dla kierunku studiów Matematyka
OPIS ZAKŁADANYCH EFEKTÓW KSZTAŁCENIA DLA KIERUNKU STUDIÓW Nazwa wydziału: Wydział Matematyki i Informatyki Nazwa kierunku studiów: Matematyka Obszar w zakresie: nauki ścisłe Dziedzina : matematyka Dyscyplina
1.1 Przegląd wybranych równań i modeli fizycznych. , u x1 x 2
Temat 1 Pojęcia podstawowe 1.1 Przegląd wybranych równań i modeli fizycznych Równaniem różniczkowym cząstkowym rzędu drugiego o n zmiennych niezależnych nazywamy równanie postaci gdzie u = u (x 1, x,...,