|
|
Simulace mraveniště
Henek, Štěpán ; Bojar, Ondřej (vedoucí práce) ; Brom, Cyril (oponent)
Cílem páace je navrhnout a implementovat simulační prostředí, které bude napodobovat chování mravenců při hledání potravy. Prostředí simulace není po celou dobu statické a může se měenit. Změny mohou být náhodného charakteru, s náhodným prvkem nebo čistě deterministické. Mravenci by na tyto změny měli být schopni zareagovat a přizpůsobit se novým podmínkám. Pohyb mravenců v prostředí je nedeterministický, je ovlivněn stavem bezprostředního okolí a genetickou výbavou každého jedince. Výsledný model je na závěr porovnán s chováním reálných mravenců v umělém prostředí.
|
|
|
Bezpečnostní kontejnery a přístupová práva v HelenOS
Henek, Štěpán ; Děcký, Martin (vedoucí práce) ; Bulej, Lubomír (oponent)
Název práce: Bezpečnostní kontejnery a přístupová práva v HelenOS Autor: Štěpán Henek Katedra (ústav): Katedra softwarového inženýrství Vedoucí diplomové práce: Mgr. Martin Děcký e-mail vedoucího: decky@ksi.mff.cuni.cz Abstrakt: Cílem práce je navrhnout implementaci bezpečnostních kontejnerů (kontextů) úloh a mechanismů přístupových práv pro mikrojádrové operační systémy. Mechanismy přístupových práv implementují běžná paradigmata jako je identifikace uživatelů systému, skupiny uživatelů, vlastnění entit systému (úloh, souborů) uživateli, seznam povolených operací uživatelů (capabilities) a seznam přístupových práv k entitám (ACL). Kromě toho návrh umožňuje implementovat hierarchickou strukturu bezpečnostních domén, kdy je možné, aby každá doména delegovala vlastněná oprávnění na své subdomény. Zároveň návrh dovoluje implementaci kontejnerů, které vzájemně zcela izolují ty úlohy, které se nacházejí v bezpečnostních doménách s prázdným průnikem. Práce obsahuje analýzu a vyhodnocení možných přístupů k řešení problému. Součástí práce je také prototypová implementace v systému HelenOS s přihlédnutím ke specifikům tohoto systému (omezení počtu přepínání kontextů, delegace...
|
|
|
Simulace mraveniště
Henek, Štěpán ; Brom, Cyril (oponent) ; Bojar, Ondřej (vedoucí práce)
Cílem páace je navrhnout a implementovat simulační prostředí, které bude napodobovat chování mravenců při hledání potravy. Prostředí simulace není po celou dobu statické a může se měenit. Změny mohou být náhodného charakteru, s náhodným prvkem nebo čistě deterministické. Mravenci by na tyto změny měli být schopni zareagovat a přizpůsobit se novým podmínkám. Pohyb mravenců v prostředí je nedeterministický, je ovlivněn stavem bezprostředního okolí a genetickou výbavou každého jedince. Výsledný model je na závěr porovnán s chováním reálných mravenců v umělém prostředí.
|
host ::
RSS.