Národní úložiště šedé literatury Nalezeno 39 záznamů.  začátekpředchozí30 - 39  přejít na záznam: Hledání trvalo 0.00 vteřin. 
Matematické modely v logistice
Nevrlý, Vlastimír ; Holešovský, Jan (oponent) ; Popela, Pavel (vedoucí práce)
Cílem práce je modelovat dopravní sítě s charakterem podobným reálným sítím a analyzovat závislost výpočtové náročnosti na velikosti sítě pomocí testovacích výpočtů na původním optimalizačním modelu pro podporu koncepčních rozhodnutí v oblasti odpadového hospodářství nazývaného NERUDA. Tyto výpočty jsou provedeny na základě znalosti modelu NERUDA. Výsledky jsou následně zpracovány a patřičně vyhodnoceny.
Intervalová data a výběrový rozptyl: výpočetní aspekty
Sokol, Ondřej ; Černý, Michal (vedoucí práce) ; Rada, Miroslav (oponent)
Práce se zabývá problematikou výpočtu horní meze výběrového rozptylu v případě, kdy nejsou k dispozici přesná data, ale pouze intervaly, ve kterých tato data s jistotou leží. Obecně je nalezení horní meze výběrového rozptylu ze znalosti pouze intervalových dat NP-těžký problém, ale při splnění určitých podmínek kladených na vstupní intervalová data lze použít některý z efektivních algoritmů. V práci jsou upraveny algoritmy tak, aby, byť i za cenu exponenciální složitosti, dokázaly vždy najít optimální řešení. Cílem práce je porovnat vybrané algoritmy pro výpočet horní meze rozptylu intervalových dat z pohledu průměrné výpočetní složitosti na generovaných datech. Pomocí simulací je ukázáno, že za splnění určitých předpokladů kladených na data je složitost v průměrném případě pouze polynomiální.
Inconspicuous Appeal of Amorphous Computing Systems
Wiedermann, Jiří
Amorphous computing systems typically consist of myriads of tiny simple processors that are randomly distributed at fixed positions or move randomly in a confined volume. The processors are “embodied” meaning that each of them has its own source of energy, has a “body” equipped with various sensors and communication means and has a computational control part. Initially, the processors have no identifiers and from the technological reasons, in the interest of their maximal simplicity, their computational, communication, sensory and locomotion (if any) parts are reduced to an absolute minimum. The processors communicate wirelessly, e.g., in an airborne medium they communicate via a short-range radio, acoustically or optically and in a waterborne medium via molecular communication. In the extreme cases the computational part of the processors can be simplified down to probabilistic finite state automata or even combinatorial circuits and the system as a whole can still be made universally programmable. From the theoretical point of view the structure and the properties of the amorphous systems qualify them among the simplest (non-uniform) universal computational devices. From the practical viewpoint, once technology will enable a mass production of the required processors a host of new applications so far inaccessible to classical approaches to computing will follow.
Modifikované úlohy čínského listonoše - experimenty
Jelínek, Tomáš ; Fábry, Jan (vedoucí práce) ; Pelikán, Jan (oponent)
Diplomová práce popisuje modifikované úlohy čínského listonoše. Úlohy jsou řešeny pomocí (smíšeného) celočíselného lineárního programování. Modifikované úlohy i použitá metoda řešení (celočíselné programování) patří minimálně do NP složitých úloh. Práce analyzuje, porovnává a odhaduje výpočetní složitost jednotlivých modelů. Z této analýzy je vyvozena použitelnost (tj. řešitelnost v rozumnén čase) modelů pro řešení reálných úloh. Modely se primárně zaměřují na úlohy z městského prostředí, lze je tak aplikovat na problémy jako je optimalizace svozu komunálního odpadu nebo údržby silnic. Pro potřeby práce je naprogramován generátor grafů a zadání úloh.
Algoritmy pro řešení speciálních problémů batohu a jejich výpočetní složitost
Sem, Štěpán ; Ivánek, Jiří (vedoucí práce) ; Kalčevová, Jana (oponent)
Práce se zabývá variantami problému batohu a možnostmi jejich řešení, dále potom vlivem speciálního tvaru konkrétního zadání (instance) na efektivitu testovaného postupu. Předkládá rovněž možnosti převoditelnosti mezi popsanými úlohami, jakož i jejich spojité rozšíření (spojitou relaxaci). Z řad klasických algoritmů popisuje algoritmus L3 a řešení superklesajícího problému batohu, z řad pravděpodobnostních algoritmů Metodu Monte Carlo, simulované žíhání a genetické algoritmy. Diskutovány jsou i další možnosti. Nedílnou součást práce tvoří doprovodná aplikace, která sloužila k vytvoření podkladů zde uváděných a může být rovněž použita k řešení dalších instancí.
Logics with Truth Constants for Delimiting Idempotents
Haniková, Zuzana
Plný tet: v1055-09 - Stáhnout plný textPDF
Plný text: content.csg - Stáhnout plný textPDF
Optimalizace příznakového prostoru
Klimešová, Dana
Příspěvek se zabývá problematikou strategií výběru příznaků pro případy velkého počtu příznaků. V článku je navržena efektivní metoda pro výběr původních příznaků, která pro tyto případy definuje dvě kumulativní soupeřící míry.
Five New Simulation Results on Turing Machines
Wiedermann, Jiří
Plný tet: v631-95 - Stáhnout plný textPDF
Plný text: content.csg - Stáhnout plný textPDF
It is tough to be a plumber
Král, D. ; Majerech, V. ; Sgall, Jiří ; Tichý, Tomáš ; Woeginger, G.
In the Linux computer game {tt KPlumber/}, the objective is to rotate tiles in a ~ raster of squares so as to complete a~ system of pipes. We give a~complexity classification for the original game and various special cases of it that arise from restting the set of six possible tiles.

Národní úložiště šedé literatury : Nalezeno 39 záznamů.   začátekpředchozí30 - 39  přejít na záznam:
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.