|
|
Tvorba operačního systému založeného na evolučních a genetických algoritmech
Skorkovský, Petr ; Moučka,, Jiří (oponent) ; Kovár, Martin (oponent) ; Chvalina, Jan (vedoucí práce)
Hlavním cílem této práce je představit nové myšlenky, jak obvyklé postupy pro návrh operačního systému a přidruženého software mohou být vylepšeny aby se staly součástí automatizovaného vývoje software. Obecně se předpokládá, že algoritmy nalezené pomocí genetického programování nemohou být použity pro přesné výpočty, ale jen pro přibližná řešení. Je představeno několik příkladů jak lze při evoluci software přesto dosáhnout přiměřené přesnosti. Pro dosažení tohoto cíle jsou vlastnosti stromově orientovaných struktur spolu s postupy používanými u buněčných automatů spojeny do nového slibného přístupu, který slučuje výhody obou metod. Byla vyvinuta aplikace založená na těchto nových postupech a předpokládá se její budoucí využití v procesu automatizovaného vývoje software.
|
|
|
Strukturované multisystémy a multiautomaty indukované časovými procesy
Křehlík, Štěpán ; Moučka,, Jiří (oponent) ; Šlapal, Josef (oponent) ; Chvalina, Jan (vedoucí práce)
V disertační práci diskutujeme binární hyperstruktury obecných lineárních diferenciálních operátorů druhého řádů a speciálně operátorů Jacobiho tvaru. Tyto operátory jsou motivovány modely specifických časových procesů. Také studujeme binární hyperstruktury konstruované z distributivních svazů a navrhujeme přechod těchto konstrukcí na n-ární hyperstruktury. Používáme tyto hyperstruktury ke konstrukci multiautomatů a kvazi-multiautomatů. Vstupní množina těchto strukturovaných automatů je konstruována tak, že přenos informací speciálních časových funkcí je nenáročný. Z tohoto důvodu používáme hladké kladné funkce nebo vektory, jejichž složky jsou reálná čísla nebo hladké kladné funkce. Právě výše zmíněné hypergrupy jsou použity jako stavové množiny těchto kvazi-multiautomatů. Nakonec zkoumáme různé typy součinů takovýchto multi-automatů a kvazi-multiautomatů. V tomto pojetí zobecňujeme klasické definice Dörfelra. U některých typů součinů je transfer na kontext hyperstruktur přirozený, v případě kartézské kompozice toto zobecnění vede na zajímavé výsledky.
|
|
|
Topological Properties of Generalized Context Structures
Chernikava, Alena ; Chvalina, Jan (oponent) ; Beránek,, Jaroslav (oponent) ; Kovár, Martin (vedoucí práce)
This work is focused on the interaction of several branches of mathematics. The main idea was to nd dependencies, relationships and analogies between them. First part of the work is concerned to the relationship between Formal Concept Analysis, General Topology and Partial Metrics. A formal context is a very general mathematical structure that can represent other mathematical structures in a unied form. In a natural way, we could represent an information in a cross-table-like view of a formal context (fully respecting all set-theoretical limitations) and generate a topology on an attribute and object sets. In the second part the we study especially the pretopological systems as a special case of the formal contexts. They dier from topological systems especially by a more general poset structure of the set of attributes, representing the generalized open sets. Since the properties of this order structure are essential for the behavior of the whole structure, we pay them a special attention at the end of the chapter. Among others, we construct and study an analogue of the de Groot dual for posets, including its iteration properties. The third part is devoted to a mathematical structure called framework that has a contextual nature. A framework consists of two sets, rst one is a set of places, and the second one is a family of some its subsets, without the necessity of any external axioms to be fullled. The structure is equipped with a simple duality construction, allowing to switch between the classical point-set representation (like in topological spaces) and the point-less representation of topological relationships. At the end of the chapter, we suggest and study how a framework could be approximated by a directed family of nite frameworks from the point of view of the generated topology. In the last part the general topology methods were used to correct and improve one of the fundamental theorems in the game theory. It was showed that in a normal form game if i-th player has a continuous utility function and if the set of his strategies is almost-compact then he has an undominated strategy. In addition to this result, in the last two chapters we show that game theory naturally generates very general, for instance non-Hausdor topological and context structures, which shifts the traditional perception of reality in unexpected direction.
|
|
| |
|
| |
|
|
Strukturované multisystémy a multiautomaty indukované časovými procesy
Křehlík, Štěpán ; Moučka,, Jiří (oponent) ; Šlapal, Josef (oponent) ; Chvalina, Jan (vedoucí práce)
V disertační práci diskutujeme binární hyperstruktury obecných lineárních diferenciálních operátorů druhého řádů a speciálně operátorů Jacobiho tvaru. Tyto operátory jsou motivovány modely specifických časových procesů. Také studujeme binární hyperstruktury konstruované z distributivních svazů a navrhujeme přechod těchto konstrukcí na n-ární hyperstruktury. Používáme tyto hyperstruktury ke konstrukci multiautomatů a kvazi-multiautomatů. Vstupní množina těchto strukturovaných automatů je konstruována tak, že přenos informací speciálních časových funkcí je nenáročný. Z tohoto důvodu používáme hladké kladné funkce nebo vektory, jejichž složky jsou reálná čísla nebo hladké kladné funkce. Právě výše zmíněné hypergrupy jsou použity jako stavové množiny těchto kvazi-multiautomatů. Nakonec zkoumáme různé typy součinů takovýchto multi-automatů a kvazi-multiautomatů. V tomto pojetí zobecňujeme klasické definice Dörfelra. U některých typů součinů je transfer na kontext hyperstruktur přirozený, v případě kartézské kompozice toto zobecnění vede na zajímavé výsledky.
|
|
|
Topological Properties of Generalized Context Structures
Chernikava, Alena ; Chvalina, Jan (oponent) ; Beránek,, Jaroslav (oponent) ; Kovár, Martin (vedoucí práce)
This work is focused on the interaction of several branches of mathematics. The main idea was to nd dependencies, relationships and analogies between them. First part of the work is concerned to the relationship between Formal Concept Analysis, General Topology and Partial Metrics. A formal context is a very general mathematical structure that can represent other mathematical structures in a unied form. In a natural way, we could represent an information in a cross-table-like view of a formal context (fully respecting all set-theoretical limitations) and generate a topology on an attribute and object sets. In the second part the we study especially the pretopological systems as a special case of the formal contexts. They dier from topological systems especially by a more general poset structure of the set of attributes, representing the generalized open sets. Since the properties of this order structure are essential for the behavior of the whole structure, we pay them a special attention at the end of the chapter. Among others, we construct and study an analogue of the de Groot dual for posets, including its iteration properties. The third part is devoted to a mathematical structure called framework that has a contextual nature. A framework consists of two sets, rst one is a set of places, and the second one is a family of some its subsets, without the necessity of any external axioms to be fullled. The structure is equipped with a simple duality construction, allowing to switch between the classical point-set representation (like in topological spaces) and the point-less representation of topological relationships. At the end of the chapter, we suggest and study how a framework could be approximated by a directed family of nite frameworks from the point of view of the generated topology. In the last part the general topology methods were used to correct and improve one of the fundamental theorems in the game theory. It was showed that in a normal form game if i-th player has a continuous utility function and if the set of his strategies is almost-compact then he has an undominated strategy. In addition to this result, in the last two chapters we show that game theory naturally generates very general, for instance non-Hausdor topological and context structures, which shifts the traditional perception of reality in unexpected direction.
|
|
|
Tvorba operačního systému založeného na evolučních a genetických algoritmech
Skorkovský, Petr ; Moučka,, Jiří (oponent) ; Kovár, Martin (oponent) ; Chvalina, Jan (vedoucí práce)
Hlavním cílem této práce je představit nové myšlenky, jak obvyklé postupy pro návrh operačního systému a přidruženého software mohou být vylepšeny aby se staly součástí automatizovaného vývoje software. Obecně se předpokládá, že algoritmy nalezené pomocí genetického programování nemohou být použity pro přesné výpočty, ale jen pro přibližná řešení. Je představeno několik příkladů jak lze při evoluci software přesto dosáhnout přiměřené přesnosti. Pro dosažení tohoto cíle jsou vlastnosti stromově orientovaných struktur spolu s postupy používanými u buněčných automatů spojeny do nového slibného přístupu, který slučuje výhody obou metod. Byla vyvinuta aplikace založená na těchto nových postupech a předpokládá se její budoucí využití v procesu automatizovaného vývoje software.
|
host ::
RSS.