|
|
Constrained activity sequencing
Nguyen, Son Tung ; Barták, Roman (vedoucí práce) ; Čepek, Ondřej (oponent)
Mnoho rozvrhovacích problémů lze považovat za problémy s hledáním posloupností aktivit splňujících určité podmínky a omezení. Typickým příkladem je rozvrhování letů v leteckém průmyslu, kde úlohou je přiřazení segmentů letů a servisních aktivit k jednotlivým letadlům. Tato diplomová práce se zaměřuje na hledání takovýchto omezených posloupností aktivit. Cílem práce je navrhnout formální model problému, včetně přesné specifikace podmínek a účelové funkce, schopný najít (sub)optimální posloupnosti aktivit. Navrhovaný model je založen na technikách Programování s omezujícími podmínkami.
|
|
|
E-mailový klient pro J2ME zařízení
Nguyen, Son Tung ; Machek, Pavel (vedoucí práce) ; Kosina, Jiří (oponent)
Cílem projektu je vytvořit emailového klienta umožňujícího práci s emaily s ohledem na rychlost a optimalizaci na malých J2ME zařízení. Program bude schopen načítat emaily z POP3 i IMAP serverů a posilat email pomocí SMTP protokolu. Klient bude podporovat MIME přílohy ke zprávám vybraných základnich formátů příloh - txt, jpg, png a jiných multimediálních formátů v závislosti na konkrétnim mobilním telefonu. Zprávy budou organizovány ve standardních složkách (Inbox, Outbox, Rozepsané, Koš...). Zprávy mohou být řazeny ve složkách podle uživatelem zvolených kritérií (odesílatel, subject, datum, velikost). Podpora automatické kontroly nových zpráv. Operace, u kterých se předpokládá dlouhá doba zpracování jsou přerušitelné a jejich stav je zobrazitelný. Inteligentni T9-like adresář.
|
|
|
Constrained activity sequencing
Nguyen, Son Tung ; Barták, Roman (vedoucí práce) ; Čepek, Ondřej (oponent)
Mnoho rozvrhovacích problémů lze považovat za problémy s hledáním posloupností aktivit splňujících určité podmínky a omezení. Typickým příkladem je rozvrhování letů v leteckém průmyslu, kde úlohou je přiřazení segmentů letů a servisních aktivit k jednotlivým letadlům. Tato diplomová práce se zaměřuje na hledání takovýchto omezených posloupností aktivit. Cílem práce je navrhnout formální model problému, včetně přesné specifikace podmínek a účelové funkce, schopný najít (sub)optimální posloupnosti aktivit. Navrhovaný model je založen na technikách Programování s omezujícími podmínkami.
|
|
|
E-mailový klient pro J2ME zařízení
Nguyen, Son Tung ; Machek, Pavel (vedoucí práce) ; Kosina, Jiří (oponent)
Cílem projektu je vytvořit emailového klienta umožňujícího práci s emaily s ohledem na rychlost a optimalizaci na malých J2ME zařízení. Program bude schopen načítat emaily z POP3 i IMAP serverů a posilat email pomocí SMTP protokolu. Klient bude podporovat MIME přílohy ke zprávám vybraných základnich formátů příloh - txt, jpg, png a jiných multimediálních formátů v závislosti na konkrétnim mobilním telefonu. Zprávy budou organizovány ve standardních složkách (Inbox, Outbox, Rozepsané, Koš...). Zprávy mohou být řazeny ve složkách podle uživatelem zvolených kritérií (odesílatel, subject, datum, velikost). Podpora automatické kontroly nových zpráv. Operace, u kterých se předpokládá dlouhá doba zpracování jsou přerušitelné a jejich stav je zobrazitelný. Inteligentni T9-like adresář.
|
host ::
RSS.