|
|
Agent-Based Algorithms for the Vehicle Routing Problem with Time Windows
Kalina, Petr ; Mařík, Vladimír (vedoucí práce)
Vehicle routing problem s casovymi okny (VRPTW) je jednim z nejdulezitSjSich a nejvice zkou- manych problemu v oblasti dopravy. Matematicky model tohoto problemu vystihuje klicove vlastnosti spolecne cele fadS dalslch dopravmch problemu feSenych v praxi. Jadrem problemu je hledani mnoziny tras zacmajicicli a koncicich v jedinem depu, ktere obsahuji zastavky u mnoziny zakazniku. Pro kazdSho zakazm'ka je pak definovano konkretm' mnozstvf zbozf, jez je tfeba dorucit a casove okno, ve kterem je pozadovano dodani tohoto zbozi. Realne aplikace tohoto problemu jsou zpravidla vyrazne bohatsi, napojene na nadfazene logisticke systemy. KliSoA'ym faktorem pro uspSSne nasazeni odpovldajicich algoritmu je proto jejich fiexibilita vzhledem k dodatecnym rozSuemm zhkladmho matematickeho modelu spojenym s nasazenim v realnem sv§t§. Dalglm podstatnym faktorem je schopnost systemu reagovat na nepfedvidane udalosti jako jsou dopravm zaepy, poruchy, zmgny preferenci zakazniku atd. Multi-agentni systemy reprezentuji architekturu a navrhovy vzor vhodny pro modelovani heterogennlch a dynamickych systemu. Entity v systemu jsou v ramci multi-agentmho mo- delu reprezentovany mnozinou agentil s odpovidajlci'mi vzorci autonommho jako i spolecenskeho chovani. Chovani systemu jako celku pak vyplyva z autonomnich akci...
|
|
|
Agent-Based Algorithms for the Vehicle Routing Problem with Time Windows
Kalina, Petr ; Mařík, Vladimír (vedoucí práce)
Vehicle routing problem s casovymi okny (VRPTW) je jednim z nejdulezitSjSich a nejvice zkou- manych problemu v oblasti dopravy. Matematicky model tohoto problemu vystihuje klicove vlastnosti spolecne cele fadS dalslch dopravmch problemu feSenych v praxi. Jadrem problemu je hledani mnoziny tras zacmajicicli a koncicich v jedinem depu, ktere obsahuji zastavky u mnoziny zakazniku. Pro kazdSho zakazm'ka je pak definovano konkretm' mnozstvf zbozf, jez je tfeba dorucit a casove okno, ve kterem je pozadovano dodani tohoto zbozi. Realne aplikace tohoto problemu jsou zpravidla vyrazne bohatsi, napojene na nadfazene logisticke systemy. KliSoA'ym faktorem pro uspSSne nasazeni odpovldajicich algoritmu je proto jejich fiexibilita vzhledem k dodatecnym rozSuemm zhkladmho matematickeho modelu spojenym s nasazenim v realnem sv§t§. Dalglm podstatnym faktorem je schopnost systemu reagovat na nepfedvidane udalosti jako jsou dopravm zaepy, poruchy, zmgny preferenci zakazniku atd. Multi-agentni systemy reprezentuji architekturu a navrhovy vzor vhodny pro modelovani heterogennlch a dynamickych systemu. Entity v systemu jsou v ramci multi-agentmho mo- delu reprezentovany mnozinou agentil s odpovidajlci'mi vzorci autonommho jako i spolecenskeho chovani. Chovani systemu jako celku pak vyplyva z autonomnich akci...
|
|
|
Využití logiky v bezpečnosti IT
Švarný, Petr ; Řepa, Václav (vedoucí práce) ; Mařík, Vladimír (oponent)
Tato práce studuje užití dynamických epistemických logik pro zachování důvěrnosti informací. Základem je syntéza tří přístupů: bezpečnostních logiky A. Hommersoma, hodnověrnostní rámce a komunikační logiky A. Baltaga a S. Smets a studie tzv. Ruského karetního problému. V návaznosti na toto je prezentován také praktický model vytvořený v prostředí NetLogo pro ilustraci funkčnosti základních myšlenek.
|
host ::
RSS.