Diplomová práce
Získaná ocenění: Cena děkana FI za vynikající závěrečnou práci

Výpočetní analýza nelineárních dynamických systémů

Computational analysis of non-linear dynamic systems

Bc. Sven Dražan, učo 139891
Anotace

Dynamika biochemických reakčních systémů může být za podmínek dostatečně vysokých koncentrací látek popsána soustavou diferenciálních rovnic. Řešení této soustavy lze numericky aproximovat užitím metod numerické simulace. Výběrem diskrétních bodů blízkých trajektoriím původního systému lze vytvořit diskretizace, nad nimiž lze ověřovat vlastnosti vyjádřené formulemi lineární temporální logiky. Specifickým …více

Abstract

The dynamics of biochemical reaction systems can be under conditions of sufficiently high concentrations described a set of ordinary differential equations. The solution of such system can be numericaly approximated by using methods of numerical simulation. By choosing discrete points sufficiently close to trajectories of the original system a discretization can be created above which properties described …více

Klíčová slova
dynamický systém soustava diferenciálních rovnic diskretizace LTL analýza vlastností
Zadání práce

Dynamické systémy jsou nejčastějším nástrojem pro modelování a predikci chování komplexních systémů. Formalismem pro popis dynamického systému je soustava diferenciálních rovnic zachycujících dynamiku jednotlivých proměnných. Tato práce je věnována tématu dynamických systémů používaných v oblasti systémové biologie. Vzhledem ke složitosti modelovaných biochemických interakcí jsou tyto dynamické systémy typicky vysoce nelineární, proto je nejpoužívanější technikou analýzy numerická simulace.

Cílem práce je navrhnout a implementovat analytickou metodu rozšiřující tradiční techniky numerické simulace nelineárních systémů o možnost globální analýzy, tj. zobecnění iniciálního problému na libovolnou otevřenou množinu fázového prostoru. Metoda bude vycházet z empirických znalostí o dynamických systémech používaných v systémové biologii, přičemž bude využito specifických vlastností charakteristických pro třídu multi-afinních systémů. Metoda bude kombinována s metodou ověřování modelů interpretovanou pro simulované trajektorie, což umožní efektivnější analýzu vybraných dynamických vlastností.

Výstupem bude definice nového algoritmu, jeho paralelní implementace realizovaná v C++/MPI a sada experimentů poskytujících evaluaci navrhované metody.

Administrativní informace
Práce zkontrolována:
10. 1. 2011 13:18, doc. RNDr. David Šafránek, Ph.D., učo 3159
Plný text práce
1,4 MB / soubor PDF
Jazyk práce
čeština čeština
Termín obhajoby
9. 2. 2011
Práce byla úspěšně obhájena

Vedoucí

doc. RNDr. David Šafránek, Ph.D., učo 3159
KSUZD FI MU

Oponent

prof. RNDr. Luboš Brim, CSc.
abs PřF MU

Literatura

  • MORRISON, Foster. The art of modeling dynamic systems : forecasting for chaos, randomness, and determinism. New York: John Wiley & Sons, 1991, xvii, 387. ISBN 0471520047.
  • Computational methods in systems biology : 6th International Conference, CMSB 2008 : Rostock, Germany, October 12-15, 2008 : proceedings. Edited by Monika Heiner - Adelinde Uhrmacher. Berlin: Springer, 2008, x, 401. ISBN 9783540885610.
  • BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Sven DRAŽAN; Jana FABRIKOVÁ a David ŠAFRÁNEK. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science. 2009, roč. 2009, č. 410, s. 3128-3148, 20 s. ISSN 0304-3975.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Sven Dražan FI N-IN PDS, učo 139891 f7h2b/7
Dražan, S.
10. 1. 2011
Složky
Soubory
Anotace anglicky annotation_english.txt
Dražan, S.
10. 1. 2011
Anotace česky annotation.txt
Dražan, S.
10. 1. 2011
Diplomová práce thesis.pdf
Dražan, S.
10. 1. 2011
Klíčová slova keywords.txt
Dražan, S.
10. 1. 2011
Posudek oponent r_drazan.pdf
Brim, L.
26. 1. 2011
Zdrojové soubory sven_drazan_thesis.zip
Dražan, S.
10. 1. 2011

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.