Hledat
Zobrazují se záznamy 1-10 z 406
Distribuované rozvrhování
Distributed Scheduling
Diplomová práce
Vedoucí práce: Olmer, Petr
Dátum publikování:
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis deals with distributed meeting scheduling (DMS) with respect to the multiagent system paradigm. The DMS goal is to find an optimal or at least acceptable time slot for the meeting of given subjects. Each subject ...
Tato práce se zabývá problematikou označovanou jako distributed meeting scheduling (DMS) z hlediska paradigmatu multiagentních systémů. Cílem DMS je nalézt optimální nebo alespoň možný čas konání schůzky daných subjektů, ...
Tato práce se zabývá problematikou označovanou jako distributed meeting scheduling (DMS) z hlediska paradigmatu multiagentních systémů. Cílem DMS je nalézt optimální nebo alespoň možný čas konání schůzky daných subjektů, ...
Maticová kalkulačka
Matrix calculator
Bakalářská práce
Vedoucí práce: Chrpa, Lukáš
Dátum publikování:
Datum obhajoby: 24. 06. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cieľom práce je vytvorenie prostredia, ktoré umožní užívateľovi pracovať s vybranými maticovými algoritmami za účelom porozumenia ich princípom. Pomocou jednoduchého jazyka umožní zadávať požiadavky na výpočty a zobrazovať ...
The aim of this project is creating an environment which would allow the user to work with chosen matrix algorithms, with the emphasis on understanding their principles. Using a simple programming language, the user will ...
The aim of this project is creating an environment which would allow the user to work with chosen matrix algorithms, with the emphasis on understanding their principles. Using a simple programming language, the user will ...
Go na malých deskách
Go on Small Boards
Bakalářská práce
Vedoucí práce: Hric, Jan
Dátum publikování:
Datum obhajoby: 23. 06. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci studujeme vhodnost použití heuristik užívaných při počítačové analýze šachu (konkrétně se bude jednat o transpoziční tabulky, killery, historii a protitahy) pro výpočty hodnoty pozice v go. V první části ...
In presented work we study applicability of the heuristics used in computer analysis of the chess (to be specific we will consider transposition tables, killer moves, history heuristics and counter-moves) for the valuation ...
In presented work we study applicability of the heuristics used in computer analysis of the chess (to be specific we will consider transposition tables, killer moves, history heuristics and counter-moves) for the valuation ...
Constraint satisfaction for HW/SW verification
Použití programování s omezujícími podmínkami pro verifikaci HW/SW
Diplomová práce
Vedoucí práce: Barták, Roman
Dátum publikování:
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Constraint satisfaction techniques (CSP) are a powerful framework for modeling and solving various problems in artificial intelligence and operations research. Verification of HW and SW can profit from employing constraint ...
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 ...
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 ...
Simulace ekonomiky
Economic simulation
Bakalářská práce
Vedoucí práce: Zajíček, Ondřej
Dátum publikování:
Datum obhajoby: 24. 06. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Návrh a implementace ekonomické simulace společnosti (na úrovni státu). Cílem je simulovat toky komodit a peněz, vývoj nabídky a poptávky na jednotlivých trzích a rozvoj měst. Důraz není kladen na přesnost simulace, ale ...
Design and implementation of economy society simulation (at country level). The aim is to simulate comodities and financy flow, supply and demand progress at each market and evolution of the cities. Exactnest of the ...
Design and implementation of economy society simulation (at country level). The aim is to simulate comodities and financy flow, supply and demand progress at each market and evolution of the cities. Exactnest of the ...
Multiagentní simulace založené na iterovaném vězňově dilematu
Multiagent simulations based on the iterated prisoner's dilemma
Bakalářská práce
Vedoucí práce: Olmer, Petr
Dátum publikování:
Datum obhajoby: 24. 06. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá možnostmi využití jazyka 3APL při simulaci iterovaného vězňova dilematu. Nedrží se však pouze teorie, ale předkládá i konkrétní příklad implementace multiagentního systému schopného provádět simulace nejen ...
This work is studying possibilities for simulating iterated prisoners dilema in the 3APL language. It does not stick to theory only but offers a concrete example of a multiagent system capable of simulating not only the ...
This work is studying possibilities for simulating iterated prisoners dilema in the 3APL language. It does not stick to theory only but offers a concrete example of a multiagent system capable of simulating not only the ...
Evoluční algoritmy pro řízení heterogenních robotických swarmů
Evolutionary Algorithms for the Control of Heterogeneous Robotic Swarms
Bakalářská práce
Vedoucí práce: Pilát, Martin
Dátum publikování:
Datum obhajoby: 22. 06. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Robotic swarms are often used for solving different tasks. Many articles are focused on generating robot controllers for swarm behaviour using evolutionary algorithms. Most of them are nevertheless considering only homogenous ...
Robotická hejna se často díky svým dobrým vlastnostem používají při řešení rozličných úkolů. Řada prací zabývající se touto problematikou používá pro optimalizaci řízení robotických hejn evoluční algoritmy, ovšem z pravidla ...
Robotická hejna se často díky svým dobrým vlastnostem používají při řešení rozličných úkolů. Řada prací zabývající se touto problematikou používá pro optimalizaci řízení robotických hejn evoluční algoritmy, ovšem z pravidla ...
Budovatelská strategie
City-building game
Bakalářská práce
Vedoucí práce: Malenko, Jaromír
Dátum publikování:
Datum obhajoby: 23. 06. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Předložená práce popisuje program Damoklv meč, což je hra z kategorie budovatelských strategií, kde úkolem hráče je co nejlépe pečovat o svěřené město a lidi v něm. Těžištěm práce bylo navrhnout a implementovat způsob ...
Present work describes the Sword of Damocles application. It is a citybuilding strategy game, where player's task is to care about some city and wellbeing of its inhabitants. Main goal of the work was to design and implement ...
Present work describes the Sword of Damocles application. It is a citybuilding strategy game, where player's task is to care about some city and wellbeing of its inhabitants. Main goal of the work was to design and implement ...
Efektivní řešič problémů Booleovské splnitelnosti
Efficient SAT SolverEfektivní řešič problémů Booleovské splnitelnosti
Bakalářská práce
Vedoucí práce: Surynek, Pavel
Dátum publikování:
Datum obhajoby: 23. 06. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Problém boolovskej splniteľnosti je jedným z najdôležitejších a najviac študovaných problémov umelej inteligencie. Mnoho teoretických a priemyselných problémov sa prevádza na SAT a rieši sa pomocou riešiča SAT. V rámci ...
The boolean satisfaction problem (SAT) is one of the most important and most studied problems of artificial intelligence. Many theoretical and real life problems are transformed to SAT and solved using a SAT solver. During ...
The boolean satisfaction problem (SAT) is one of the most important and most studied problems of artificial intelligence. Many theoretical and real life problems are transformed to SAT and solved using a SAT solver. During ...
Temporal networks
Temporal networks
Diplomová práce
Vedoucí práce: Barták, Roman
Dátum publikování:
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Integrace plánování rozvrhování vyžaduje hledání nových přístupů problému rozvrhování. Rozvrhovací systém musí být schopen poskytnout užitečné informace plánovači, aby se zabránilo vytvářní neuskutečnitelných plánů. Pro ...
Integration of planning and scheduling requires new approaches to the scheduling problem. The scheduler must be able to provide useful information for the planner in order to avoid generation of unfeasible plans. In ...
Integration of planning and scheduling requires new approaches to the scheduling problem. The scheduler must be able to provide useful information for the planner in order to avoid generation of unfeasible plans. In ...