|
|
Demonstrace skákajících automatů
Růžička, Ladislav ; Kocman, Radim (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá demonstrací nově zkoumaného výpočetního modelu pro popis formálních jazyků, a to skákajícího automatu. Místo souvislého čtení vstupního řetězce, jak je tomu u konvenčních konečných automatů, tak u skákajícího automatu je proveden skok přes nějaké symboly, a poté je přečten symbol. V této práci se zejména budeme zabývat hledáním praktického algoritmu pro určení problému členství vstupního řetězce do jazyka popsaného skákajícím automatem. Ukážeme, že problém členství může být redukován na problém hledání nějakého nezáporného celočíselného řešení pro formuli v Presburgové aritmetice bez kvantifikátorů. Z této formule jsme schopni jednoznačně definovat jazyk přijímaný skákajícím automatem. Najdeme podmnožinu takových skákajících automatů, pro které lze vyřešit problém členství v polynomiálním čase. Zmíníme se také, že předchozí formule lze převést na konečný automat s více čtecími hlavami. Bohužel pro problém členství obecného skákajícího automatu hledání nezáporné číselného řešení je nedostačující, nicméně metoda může zmenšit prohledávaný stavový prostor. Uvedeme další možné heuristiky, které výrazně urychlují výpočet problému členství pro obecné skákající automaty.
|
|
|
Demonstrace skákajících automatů
Růžička, Ladislav ; Kocman, Radim (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá demonstrací nově zkoumaného výpočetního modelu pro popis formálních jazyků, a to skákajícího automatu. Místo souvislého čtení vstupního řetězce, jak je tomu u konvenčních konečných automatů, tak u skákajícího automatu je proveden skok přes nějaké symboly, a poté je přečten symbol. V této práci se zejména budeme zabývat hledáním praktického algoritmu pro určení problému členství vstupního řetězce do jazyka popsaného skákajícím automatem. Ukážeme, že problém členství může být redukován na problém hledání nějakého nezáporného celočíselného řešení pro formuli v Presburgové aritmetice bez kvantifikátorů. Z této formule jsme schopni jednoznačně definovat jazyk přijímaný skákajícím automatem. Najdeme podmnožinu takových skákajících automatů, pro které lze vyřešit problém členství v polynomiálním čase. Zmíníme se také, že předchozí formule lze převést na konečný automat s více čtecími hlavami. Bohužel pro problém členství obecného skákajícího automatu hledání nezáporné číselného řešení je nedostačující, nicméně metoda může zmenšit prohledávaný stavový prostor. Uvedeme další možné heuristiky, které výrazně urychlují výpočet problému členství pro obecné skákající automaty.
|
|
|
Optimalizace výroby potravinových produktů
Slámová, Dominika ; Sekničková, Jana (vedoucí práce) ; Kuncová, Martina (oponent)
Tématem bakalářské práce je optimalizace výroby potravinových produktů zaniklé společnosti ing. Petra Němce. Společnost se zabývala výrobou potravinových směsí pro pekárny, cukrárny, zmrzlinárny a gastronomii. Hlavním cílem práce je sestavit model k nalezení optimální struktury výroby za účelem maximalizace zisku a současně minimalizace nákladů a maximalizace tržeb. Dílčím úkolem je zjistit optimální počet vyrobených produktů a množství vyráběných směsí. Jednotlivá řešení jsou v práci popsána pomocí simplexové metody a celočíselného lineárního programování. Kompromisní řešení je získáno užitím vícekriteriálního programování. Splnění stanovených cílů a jejich zhodnocení jsou popsány v závěru práce.
|
|
|
LP relaxations and pruning for characteristic imsets
Studený, Milan
The geometric approach to learning BN structure is to represent it by a certain vector; a suitable such zero-one vector is the characteristic imset, which allows to reformulate the task of finding global maximum of a score over BN structures as an integer linear programming problem. The main contribution of this report is an LP relaxation of the corresponding polytope, that is, a polyhedral description of the domain of the respective integer linear programming problem.
|
host ::
RSS.