Podívejte se na přednášky z Ústavu informatiky

Podívejte se na přednášky z Ústavu informatiky | foto: Profimedia.cz

Odvracení katastrof a doostřování obrazu. Podívejte se na přednášky

  • 27
Matematické modely a algoritmy dnes řeší i zdánlivě nesouvisející problémy všedního dne. Například bezpečné parkování. Mladí vědci z Ústavu informatiky AV ČR vám v přednáškách ukáží, že matematika nemusí být ten nepochopitelný předmět, u kterého vás polil pot vždy, když jste slyšeli pokyn „pojď k tabuli“.

Přednášky proběhly jako hlavní program dne otevřených dveří Ústavu informatiky AV ČR. Jejich přímý přenos jste mohli sledovat na Technet.cz celé dopoledne 5. listopadu. Nyní přinášíme záznam tohoto vysílání.

Přednáška: Jak včas a bezpečně zaparkovat?

autoři: Mgr. Ondřej Konár a Mgr. Ivan Kasanický
přednáší: Mgr. Ivan Kasanický

Tuto otázku řeší denně tisíce řidičů. Velkým problémem je zejména parkování nákladních vozidel. Pravidla pro bezpečnostní přestávky jsou přísná a kapacita parkovacích míst je omezená. Představíme unikátní systém vyvíjený ve spolupráci ÚI s dalšími partnery za podpory Technologické agentury ČR, který umožní řidičům nákladních vozidel zjistit předpokládanou obsazenost nejbližších dálničních parkovišť v čase jejich očekávaného příjezdu.

zdroj: www.youtube.com

Vývoj takto složitého systému obnáší mnoho typů problémů od informatických (přenos, zpracování a skladování obrovského množství dopravních dat) přes matematicko-statistické (identifikace vhodného predikčního modelu) po psychologické (efektivní způsob distribuce předpovědi řidičům). Přednáška je zároveň názornou ukázkou, jak se lze z „ ničeho“ přiblížit k funkčnímu systému, který může významně pomoci.

Přednáška: Zaostřování obrazu pomocí matematických metod

autoři: RNDr. Iveta Hnětynková a Ph.D., Mgr. Marie Kubínová
přednáší: RNDr. Iveta Hnětynková

Jedním z příkladů praktické aplikace matematiky je zpětné zaostřování obrazu (například fotografií nebo videí), kdy se snažíme rekonstruovat ostrý obraz z jeho rozmazané verze na základě znalosti typu rozmazání.

zdroj: www.youtube.com

Problémem této rekonstrukce je její vysoká citlivost na šum (chyby), který vzniká na čipu a je v rozmazaném obrázku vždy přítomen. Pokud je šum ignorován, výsledek je tímto šumem dominován a je obvykle zcela nepoužitelný. Pomocí praktických ukázek se seznámíme s problémem zaostřování obrazu a jeho matematickou formulací.

Přednáška: Hledáme chyby a odvracíme katastrofy

autor / přednáší: Mgr. Jan Kuřátko

V průmyslu se pro testování funkčnosti a bezpečnosti vestavěných zařízení, což jsou zařízení s řídicí elektronikou jako např. auta, letadla a roboti, využívají počítačové simulace. Vývoj metod a efektivních algoritmů pro takové testování je velmi důležitý, protože vede ke zvýšení spolehlivosti výrobků a snižování nákladů při výrobě.

zdroj: www.youtube.com

V přednášce si ukážeme techniku, jak najít skryté chyby, které v průmyslu běžně používané metody odhalí jen s obtížemi.

Přednáška: Rozhodovací pravidla v analýze dat

autor / přednáší: RNDr. Jan Kalina, Ph.D.

Na každém kroku nás provází rozhodování jako proces volby jedné možnosti z několika alternativ. Často je třeba se rozhodovat na základě naměřených dat. Například lékař se rozhoduje pro určitou léčbu pacienta na základě velkého počtu klinických a laboratorních veličin. Jak se v takové záplavě dat vyznat?

zdroj: www.youtube.com

Prezentace vysvětluje principy statistických a informatických metod pro klasifikační a shlukovou analýzu, jejichž cílem může být např. určit diagnózu pacienta. Jinou úlohou je rozčlenit pacienty do shluků tak, aby pacienti v rámci jednoho shluku měli podobné symptomy.

Přednáška: Jednoduché nerozhodnutelné problémy

autor / přednášející: Mgr. Karel Chvalovský

Každý programátor občas napíše program, který se dostane do nekonečné smyčky, a nikdy se tedy nezastaví. Klasický výsledek říká, že neexistuje obecný algoritmus (program) jak takové programy rozpoznávat, problém zastavení je algoritmicky nerozhodnutelný.

zdroj: www.youtube.com

Podívejte se na pár jiných problémů, které jsou sice na první pohled jednoduché, přesto také algoritmicky nerozhodnutelné.