4.11.2010

Novosad Petr: Analýza Hybridních Petriho sítí s využitím stromu dosažitelných značení a metody rozvinutí.
Hybridní Petriho sítě (HPN) byly vytvořeny spojením diskrétních a spojitých Petriho sítí. Dokonce i omezené HPN mají díky své spojité části nekonečný stavový prostor. Adaptoval jsem dvě metody analýzy diskrétních Petriho sítí na HPN. První je tzv. graf pokrytí, což je konečný graf, který nekonečný stavový prostor HPN uceleně zobrazuje za pomocí tzv. makro stavů. Druhá metoda je tzv. rozvinutí, což je acyklický graf, využívající částečného uspořádání výskytů přechodů. Prezentován bude aktuální stav disertační práce, předpokládaná struktura a plán na další semestr.
 
Grulich Lukáš: Modelovani socio-ekonomickych procesu
Tematem disertace je navrh koncepce modelovani socio-ekonomickych procesu, zalozenych na MAS, principech umeleho zivota a ekonomicke teorii. Jako nastroj modelovani bude vyuzivan modifikovany formalismus OOPN.

Kraus Michal: Paralelní výpočetní architektury založené na numerické integraci
Předkládaná práce se zabývá simulací spojitých systémů. Spojité systémy se popisují soustavou diferenciálních rovnic, velmi přirozenou formou je rovněž popis spojitých systému pomocí blokového diagramu. Při výpočtu se potom odpovídající blokový diagram převede na soustavu obyčejných diferenciálních rovnic. Zcela běžné je numerické řešení diferenciálních rovnic a používání simulačních programových celků. K numerickému řešení diferenciálních rovnic může být také použit specializovaný paralelní systém. Představení tohoto systému, založeného na výpočtu pomocí Taylorovy řady, bude obsahem prezentace.

Kopřiva Jan: Semi-analytické výpočty a zpřesnění numerických výpočtů pomocí aritmetiky zbytkových tříd
Semi-analytické výpočty, druhy numerických chyb, aritmetika zbytkových tříd, kongruence, jedno-modulová aritmetika kódu zbytkových tříd, více-modulová aritmetika kódu zbytkových tříd, pojem aritmetika s nekonečnou přesností, příklad na výpočet v aritmetice zbytkových tříd, Open CL, stav disertační práce, články.

Sehnalová Pavla: Stability and convergence of numerical computations
Many concepts of stability analysis are efficient to choose the propriate method for solving differential equation. Both stability and convergence analysis are interrelated. The presentation will show a short overview through the numerical methods for ordinary differential equations, especially focused on linear multistep methods and their stability regions.