• čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • English 
    • čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • Login
View Item 
  •   Repository Home
  • Závěrečné práce
  • dizertační práce
  • Fakulta elektrotechniky a komunikačních technologií
  • 2015
  • View Item
  •   Repository Home
  • Závěrečné práce
  • dizertační práce
  • Fakulta elektrotechniky a komunikačních technologií
  • 2015
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Strukturované multisystémy a multiautomaty indukované časovými procesy

Structured Multisystems and Multiautomata Induced by Times Processes

Thumbnail
View/Open
Posudek-Oponent prace-Slapal_KrehlikPhDposudek1.pdf (201.1Kb)
Posudek-Oponent prace-Moucka_Oponentsky posudek disertacni prace Krehlik.pdf (113.3Kb)
final-thesis.pdf (1006.Kb)
thesis-1.pdf (233.9Kb)
review_88286.html (5.115Kb)
Author
Křehlík, Štěpán
Advisor
Chvalina, Jan
Referee
Moučka,, Jiří
Šlapal, Josef
Grade
P
Altmetrics
Metadata
Show full item record
Abstract
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.
 
In the thesis we discuss binary hyperstructures of linear differential operators of the second order both in general and (inspired by models of specific time processes) in a special case of the Jacobi form. We also study binary hyperstructures constructed from distributive lattices and suggest transfer of this construction to n-ary hyperstructures. We use these hyperstructures to construct multiautomata and quasi-multiautomata. The input sets of all these automata structures are constructed so that the transfer of information for certain specific modeling time functions is facilitated. For this reason we use smooth positive functions or vectors components of which are real numbers or smooth positive functions. The above hyperstructures are state-sets of these automata structures. Finally, we investigate various types of compositions of the above multiautomata and quasi-multiautomata. In order to this we have to generalize the classical definitions of Dörfler. While some of the concepts can be transferred to the hyperstructure context rather easily, in the case of Cartesian composition the attempt to generalize it leads to some interesting results.
 
Keywords
Kartézská kompozice kvazi--automatů, Zobecnění kvazi--automatů, Heterogenní produkt kvazi-automatů, Homogenní produkt kvazi-automatů, Hypergrupy, Teorie hyperstruktur a automatů, Lineární diferenciální operátory, Modelovací funkce, Spojnicový prostor, Kvazi-multiautomaty., Cartesian composition of quasi--automata, Generalization of quasi--automata, Heterogeneous product of quasi--automata, Homogeneous product of quasi--automata, Hypergroups, Hyperstructure theory and automata, Join space, Linear differential operators, Modelling function Quasi--multiautomata.
Language
čeština (Czech)
Study brunch
Matematika v elektroinženýrství
Composition of Committee
prof. RNDr. Josef Diblík, DrSc. (předseda) prof. RNDr. Josef Šlapal, CSc. - oponent (člen) doc. RNDr. Zdeněk Šmarda, CSc. (člen) doc. RNDr. Jaromír Baštinec, CSc. (člen) doc. RNDr. Martin Kovár, Ph.D. (člen) doc. RNDr. Jaroslav Beránek, CSc. (člen) doc. RNDr. Dana Hliněná, Ph.D. (člen) doc. RNDr. Jiří Moučka, Ph.D. - oponent (člen)
Date of defence
2015-12-11
Process of defence
Result of the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/51598
Source
KŘEHLÍK, Š. Strukturované multisystémy a multiautomaty indukované časovými procesy [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2015.
Collections
  • 2015 [44]
Citace PRO

Related items

Showing items related by title, author, creator and subject.

  • Nové verze zásobníkových automatů 

    Genčúrová, Ľubica
    Táto diplomová práca sa zaoberá verziami viac-zásobníkových automatov založených na hlbokých zásobníkoch. Zavádza novú modifikáciu Vstupom riadený hlboký viac-zásobníkový automat, ktorý pozostáva z dvoch a viac hlbokých ...
  • Využití nekonvenčních CMOS technik při návrhu analogových obvodů s nízkým příkonem a nízkým napájecím napětím pro biomedicínské aplikace 

    Bay Abo Dabbous, Salma
    Tato disertační práce se zabývá navržením nízkonapěťových, nízkopříkonových analogových obvodů, které používají nekonvenční techniky CMOS. Lékařská zařízení na bateriové napájení, jako systémy pro dlouhodobý fyziologický ...
  • Vizualizace práce konečných automatů, zásobníkových automatů a Turingova stroje 

    Syrový, Ondřej
    Tato práce se zabývá návrhem a implementací aplikace pro demonstraci činnosti konečných automatů, zásobníkových automatů a Turingova stroje. Teoretická část práce se zabývá teorií formálních jazyků, gramatik a automatů. ...

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV
 

 

Browse

All of repositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Statistics

View Usage Statistics

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV