|
|
Boolean methods in knowledge compilation
Kaleyski, Nikolay Stoyanov ; Čepek, Ondřej (vedoucí práce) ; Gregor, Petr (oponent)
V rámci práce je vyřešen otevřený problém o relativní úspornosti jazyků PI a MODS. Ukazuje se, že PI není alespoň tak úsporný jako MODS tím, že se konstruuje třída Booleovských funkcí s počtem primárních implikantů který je superpolynomiální vzhledem k počtu nulových bodů zkonstruovaných funkcí. Odvozuje se dolní mez (čím se dokazuje, že PI není alespoň tak úsporný jako MODS), horní mez (která ukazuje, že zkonstruovaný protipříklad nemůže poskytnout exponenciální separaci PI a MODS) a vzorec pro přesný počet primárních implikantů zkonstruovaných funkcí. Powered by TCPDF (www.tcpdf.org)
|
|
|
Boolean methods in knowledge compilation
Kaleyski, Nikolay Stoyanov ; Čepek, Ondřej (vedoucí práce) ; Gregor, Petr (oponent)
V rámci práce je vyřešen otevřený problém o relativní úspornosti jazyků PI a MODS. Ukazuje se, že PI není alespoň tak úsporný jako MODS tím, že se konstruuje třída Booleovských funkcí s počtem primárních implikantů který je superpolynomiální vzhledem k počtu nulových bodů zkonstruovaných funkcí. Odvozuje se dolní mez (čím se dokazuje, že PI není alespoň tak úsporný jako MODS), horní mez (která ukazuje, že zkonstruovaný protipříklad nemůže poskytnout exponenciální separaci PI a MODS) a vzorec pro přesný počet primárních implikantů zkonstruovaných funkcí. Powered by TCPDF (www.tcpdf.org)
|
|
|
Eigenvalues of symmetric interval matrices
Kaleyski, Nikolay Stoyanov ; Hladík, Milan (vedoucí práce) ; Hartman, David (oponent)
Cílem práce je popsat a případně vylepšit některé algoritmy pro hledání vnitřních a vnějších odhadů hranic intervalů vlastních čísel reálných symetrických intervalových matic, převést je do verifikovaného tvaru a implementovat je v programovacím jazyce Matlab. Popsány jsou základní principy verifikace a intervalové aritmetiky, použité teoretické základy a problémy, které nastávají při verifikaci jednotlivých algoritmů, včetně možností jejich řešení. Popsány jsou experimenty ukazující některé empirické vlastnosti zkoumaných algoritmů. Praktický výsledek práce je softwarový balík funkcí pro verifikovaný výpočet odhadů množin vlastních čísel symetrických intervalových matic. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.