Cigler, Luděk - Výsledky hledání - Digitální repozitář

host :: přihlásit Digitální repozitář
		Hledej		Nový záznam		Nápověda		O repozitáři

Hlavní stránka > Výsledky hledání: Cigler, Luděk

Hledej:

Tipy pro vyhledávaní :: Rozšířené hledání

Hledej ve sbírkách:

Seřadit podle:	Zobrazit výsledky:	Výstupní formát:

	Constraint satisfaction for HW/SW verification Cigler, Luděk ; Barták, Roman (vedoucí práce) ; Vomlelová, Marta (oponent) Programování s omezujícími podmínkami (CSP) je silným nástrojem pro modelování a řešení mnoha problémů v umělé inteligenci a operačním výzkumu. Verifikace HW a SW může využít CSP pro automatické vytváření testů. Hlavním požadavkem na CSP algorithmus (vzhledem ke generování testů) je rovnoměrné rozložení nalezených řešení. Studujeme několik stávajících algoritmů pro náhodné generování řešení klasických CSP problémů, a prezentujeme naše rozšíření těchto algoritmů na problémy s ohodnocenými podmínkami. Naše algoritmy testujeme na různých benchmarkových problémech. Úplný záznam
	Constraint satisfaction for HW/SW verification Cigler, Luděk ; Vomlelová, Marta (oponent) ; Barták, Roman (vedoucí práce) Programování s omezujícími podmínkami (CSP) je silným nástrojem pro modelování a řešení mnoha problémů v umělé inteligenci a operačním výzkumu. Verifikace HW a SW může využít CSP pro automatické vytváření testů. Hlavním požadavkem na CSP algorithmus (vzhledem ke generování testů) je rovnoměrné rozložení nalezených řešení. Studujeme několik stávajících algoritmů pro náhodné generování řešení klasických CSP problémů, a prezentujeme naše rozšíření těchto algoritmů na problémy s ohodnocenými podmínkami. Naše algoritmy testujeme na různých benchmarkových problémech. Úplný záznam
	Analýza a implementace algoritmů pro sestavování středoškolských rozvrhů Cigler, Luděk ; Surynek, Pavel (oponent) ; Pergel, Martin (vedoucí práce) Rozvrhování představuje zajímavý a obtížný problém kombinatorické optimalizace. V této práci studujeme přístupy používané pro automatické sestavování rozvrhu pro střední školy. Popisujeme implementaci rozvrhovacího systému, který kombinuje rozvrhování pomocí programování s omezujícími podmínkami a techniky lokálního prohledávání. Systém umožňuje uživateli provádět ruční úpravy rozvrhu během výpočtu. Úplný záznam

Viz též: podobná jména autorů
2	Cígler, Lukáš

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.

Digitální repozitář :: :: :: ::
Powered by v1.1.2
Spravuje

Tato stránka je dostupná také v následujících jazycích:
Česky English