|
|
Intelligent proxy for mobile user interfaces to electronic health record
Mišúr, Juraj ; Bulej, Lubomír (vedoucí práce) ; Král, Jaroslav (oponent)
V predloženej práci študujem možnosti využitia elektronického zdravotného záznamu, navrhnutého a implementovaného Josefom Špidlenom, na tzv. tenkých užívatelských klientoch, ako je napr. webový prehliadac na PC, vreckovom pocítaci alebo mobilnom telefóne. Úlohou práce jesprostredkovat užívatelovi (lekárovi, sestricke, záchrannej službe) informácie o jednotlivých pacientoch co najrýchlejšie a v prehladnej a užívatelsky prívetivej forme. Hlavným prínosom projektu je integrácia pacientových dát z rôznych zdrojov (databáz elektronického zdravotného záznamu MUDR), ktoré majú iba útržky znalostí o pacientovi, tak ako v reálnom živote jednotliví doktori alebo nemocnicné oddelenia. Proxy združuje dáta o pacientovi zo všetkých dostupných zdrojov a prezentuje ich ako jeden úplný a celistvý obraz pacienta. Takáto globálna integrácia dát je obrovská pomoc pre akúkolvek interakciu s pacientom s ohladom na jeho zdravotnú situáciu.
|
|
|
Flexible Event Processing Subsystem for the Java Performance Monitoring Framework
Júnoš, Peter ; Bulej, Lubomír (vedoucí práce) ; Hnětynka, Petr (oponent)
Java Performance Measurement Framework (JPMF) je framework zaměřen na popis sledovacích bodů, které se používají pro měření výkonnosti. Popis se použije na získávání dat vztahujících se k výkonnosti v těhto bodech. Data jsou vždy získána od operačního systému a zapsána bez dalšího zpracování. Popsaný tok dat přez framework je velký a zvyšuje zátěž úložiště. JPMF neumožňuje uživateli zredukovat množství těhto dat. Tato práce se zaměřuje na vyřešení popsaných problémů. Používá se při tom filtrování dat a jejich agregace, co vede k zmenšení množství dat na zápis. Kromě toho se tato práce věnuje úzkym hrdlám při zpracování dat v JPMF, řeší jejich důvody a snaží se je odstranit. Powered by TCPDF (www.tcpdf.org)
|
|
|
Uncertainty-Aware Self-Adaptive Cyber-Physical Systems
Al Ali, Rima ; Bulej, Lubomír (vedoucí práce) ; Pelliccione, Patrizio (oponent) ; Bühnová, Barbora (oponent)
Kyber-fyzikální systémy (CPS) je třeba navrhovat tak, aby byly schopny vyrovnat se z nejistotami, které vznikají při získávání dat o okolí těchto systémů. To vyžaduje využití vhodného modelu, který pak umožňuje dělat správná rozhodnutí a provádění správných akcí (v některých případech ovlivňující své okolí) na základě nepřesných informací. Volba a integrace vhodného modelu do návrhu může být složitá, protože vyžaduje identifikaci druhů nepřesností a znalost jejich modelování a aplikace. I když se může vývojář inspirovat konkrétními existujícími příklady, aplikace těchto postupů v jiných případech může být složitá, zejména z důvodů specifické neustálené terminologie, rozdíly v kontextu, a systémovými požadavky. Abychom usnadnili vývoj CPS, představujeme v této práci přehled přístupů, které berou nepřesné informace v úvahu, a to v oblasti kolektivních CPS. V této práci prezentujeme systematickou studii vědeckých projektů s průmyslovými vedoucími a syntézu vztahů mezi systémovými požadavky, druhy nepřesností a metodami pro jejich zpracování. Výsledky poskytují přehled druhů nepřesností napříč doménami a výzvami. Dále představujeme průvodce pro návrh sebeupravujících CPS, které umožňují zpracování nepřesností. V závěru představujeme proces, který umožňuje se s určitými druhy nepřesností vyrovnat.
|
|
|
Kampa: an experimental programming language
Rozsypal, Lukáš ; Bulej, Lubomír (vedoucí práce) ; Bednárek, David (oponent)
Kampa je všeobecný programovací jazyk. Je imperativní, ale má i rysy funkcionálního programování. Jeho nejzajímavější vlastnosti zahrnují hodnotové typy, zapisované stručně jako n-tice (tuples), rekurzivně platné immutable kvalifikátory a pojmenované operátory. Samozřejmostí je pak zacházení s funkcemi jako s hodnotami a vnitřní funkce s možností využití proměnných z vnější funkce (closures). Díky tzv. závislým typům je možné svázat velikost pole se zvolenou proměnnou. Pole se dají použít i přímo jako součásti jiných datových struktur (nejen jako reference). To ve spojení se závislými typy umožňuje do- sáhnout téměř libovolného rozložení v paměti. Kromě specifikace tato práce zahrnuje i pokusnou implementaci založenou na frameworku Truffle. 1
|
|
|
Dynamic Analysis Framework for C#/.NET Programs
Čižmárik, Andrej ; Parízek, Pavel (vedoucí práce) ; Bulej, Lubomír (oponent)
Dynamická analýza je metóda používaná na analýzu chovania programov, čo môže byť využité pri hľadaní rôznych chýb v softwari. V dnešnej dobe je trend vo vývoji viacvláknových programov, kde môžu bezpochyby nas- tať problémy so synchronizáciou vlákien. Navyše, pôvod chýb v softwari, ktoré sú spôsobené rozdielnym naplánovaním a usporiadaním operácií, je ťažko odhaliteľný, nakoľko sú tieto chyby nedeterministické. Rozhodli sme sa naimplementovať framework na dynamickú analýzu programov napísaných v jazyku C# spolu s dvoma známymi algoritmami, ktoré sa používajú na de- tekciu a predikciu data-race-ov. Vo výsledku sme vytvorili konfigurovateľný a rozšíriteľný nástroj SharpDetect, ktorý podporuje dynamickú analýzu CIL programov. Konkrétne ide o programy napísané v jazyku C# pre platformy podporované frameworkom .NET Core. Na ukážku užitočnosti vytvoreného riešenia bol SharpDetect úspešne nasadený na knižnicu NetMQ, čo je imple- mentácia ZeroMQ v programovacom jazyku C# a kde našiel jednu skutočnú chybu.
|
|
|
Integrated Server for Dynamic Program Analysis
Kabele, Vít ; Bulej, Lubomír (vedoucí práce) ; Horký, Vojtěch (oponent)
Dynamická analýza pomáhá při vývoji softwaru v mnoha situacích, ať už jde o debugo- vání, porozumění programu či optimalizaci výkonu. Vyvinout novou dynamickou analýzu je však netriviální úkol. Pro usnadnění vývoje dynamických analýz výzkumníci z Univerzity Karlovy ve spolu- práci s Università della Svizzera italiana v Luganu společnými silami vyvinuli frameworky DiSL a ShadowVM. Tyto frameworky zvyšují úroveň abstrakce pro vývojáře a poskytují vhodný programovací model jak pro instrumentaci bytekódu, tak pro provádění analýz. Ačkoliv tyto frameworky byly úspěšně použity při vývoji mnoha různých dynamických analýz v praxi, ukázalo se, že interní design originálních implementací obou frameworků způsobil, že jakékoliv budoucí rozšíření, jako například podpora pro "instrumentation- time reflection", bylo extrémně obtížné. Oba frameworky pracují v klient-server režimu a přestože jsou navrženy pro společné užití, design zabraňuje sdílení dat mezi oběma klientskými a oběma serverovými částmi. To nejenže zvyšuje množství dat které je potřeba přenést po síti, ale zároveň to činí konfiguraci obou částí složitější. V této práci navrhneme a implementujeme novou architekturu obou frameworků tak, že funkcionalita DiSLu i ShadowVM bude poskytována jedním serverem pro vícero kli- entů. 1
|
|
|
Norma SOAP a její použití v prostředí malých a středně velkých společností.
Lupták, Boris ; Král, Jaroslav (vedoucí práce) ; Bulej, Lubomír (oponent)
Norma SOAP je základným protokolom webových služieb. Webové služby otvárajú nové možnosti pri interakcii aplikácií s využitím sieťových spojení. V súvislosti s webovými službami je často dikutovaná aj servisne orientovaná architektúra. Hlavným cielom tejto práce je ukázať možnosti využita prokolu SOAP v prostredí malých a stredne velkých spoločností. Na docielenie tohto zámeru je v práci popísaná norma SOAP a normy jej príbuzné ako aj mechanizmus pomocou ktorého sa protokol SOAP dá rozširovať o nové vlastnosti. Nekolko štandarných rozšírení je v práci popísaných. Ďalej práca poukazuje na výhody a nevýhody použita normy SOAP a popisuje príbuzné alternatívne prístupy k prepájaniu aplikácií. Práca ukazuje na konkrétnych prípadoch sposob použitia technológie webových služieb a normy SOAP. Súčasťou práce je aj popísanie klučových vlasntostí servisne orientovanej architektúry a ich spojenie s webovými službami. Dovody, ktoré vedú k potrebe zarovnania webovýchch služiteb s obchodnými procesmi a hrubozrnné rozhrania sú tiež v práci diskutované. Powered by TCPDF (www.tcpdf.org)
|
|
|
Co se změnilo na sítích za posledních 10 let
Slivka, Lukáš ; Pyrih, Pavel (vedoucí práce) ; Bulej, Lubomír (oponent)
Bakalárská práca je zamerená na vývoj počítačových sieti za posledných 10 rokov. Súčasťou je aj krátký vývoj jednotlivých technológií. Rozoberá problémy vznikajúce v dosledku narástajúceho záujmu o Internet a komunikačné služby. Ide predovšetkým o nedostatok IP adries a zmeny vyvolané dopytom zákazníkov po nových službách. Konkrétne možeme spomenúť záujem o multimoediálne dáta, vyššie prenosové rýchlosti, pohodlie mobility a globálne pokrytie siete. Spomenuté sú aj niketoré konkrétne projekty a faktory ovplyvňujúce vývoj komunikácie. Veľká čásť je venovaná prenosovým médiám. Zhodnotené sú ich výhody, nasadenie a perspektíva. Powered by TCPDF (www.tcpdf.org)
|
|
|
Communication in mobile edge-cloud environment
Papík, Ondřej ; Hnětynka, Petr (vedoucí práce) ; Bulej, Lubomír (oponent)
Edge-cloud přináší výpočetní sílu co nejblíže ke klientům. To zmenšuje latency a celkový výpočetní čas v cloudu. Vzhledem k tomu, že klienti jsou mobilní, tak musíme přesouvat úkoly mezi různými servery. Cílem této práce je prozkoumat možné problémy v komunikaci a navrhnout architekturu frameworku. Náš frame- work používá gRPC a je napsán jako modul. Je platformě nezávislý, používá spolehlivou komunikaci a zaměřuje se na jednoduchost použití. Je vytvořena implementace tohoto frameworku spolu s několika příklady použití. 1
|
|
|
Webový editor a simulátor hradlových sítí
Horák, Jan ; Kruliš, Martin (vedoucí práce) ; Bulej, Lubomír (oponent)
Jedním z témat vyučovaných v rámci informatiky jsou principy hradlové logiky. Pomůckou k lepšímu pochopení této látky může být aplikace, která stu- dentům umožní sestavovat a zkoumat hradlové sítě. Měla by být jednoduše použitelná a její instalace by měla být snadná nezávisle na vybavení počítače. Podařilo se nám vytvořit prototyp webové aplikace, která tyto požadavky splňuje a umožňuje sestavování logických obvodů ze všech základních typů hradel, a která názorně zobrazuje hodnotu na každém vodiči. Implementovali jsme i další funkce, které zpříjemní použití aplikace - neomezenou editační plochu, úvodní tutoriál, možnost importu a exportu sítí do souboru či knihovnu log- ických obvodů, které lze importovat v podobě sítě či samostatné komponenty. Aplikace je díky objektovému přístupu a rozdělení jednotlivých částí do modulů snadno rozšiřitelná a její zdrojový kód je uvolněn pod open-source licencí. 1
|
host ::
RSS.