|
|
Park's conjecture
Lauschmannová, Anna ; Ježek, Jaroslav (oponent) ; Stanovský, David (vedoucí práce)
A finite algebra of finite type (i.e. in a finite language) is finitely based iff the variety it generates can be axiomatized by finitely many equations. Park's conjecture states that if a finite algebra of finite type generates a variety in which all subdirectly irreducible members are finite and of bounded size, then the algebra is finitely based. In this thesis, I reproduce some of the finite basis results of this millennium, and give a taster of older ones. The main results fall into two categories: applications of Jonsson's theorem from 1979 (Baker's theorem in the congruence distributive setting, and its extension by Willard to congruence meet-semidistributive varieties), whilst other proofs are syntactical in nature (Lyndon's theorem on two element algebras, Je·zek's on poor signatures, Perkins's on commutative semigroups and the theorem on regularisation). The text is self-contained, assuming only basic knowledge of logic and universal algebra, and stating the results we build upon without proof.
|
|
|
Congruence-Simple Semirings
Al-Zoubi, Khaldoun Falah Salim ; Kepka, Tomáš (vedoucí práce) ; Ježek, Jaroslav (oponent) ; Philips, Jon (oponent)
Následující dizertační práce je věnována podrobnému zkoumání kongrunenčně-jednoduchých (konečných) aditivně idempotentních polookruhů. sestává ze čtyř kapitol. V první kapitole jsou zkoumány kvazitriviální polomoduly a polookruhy. Speciálně jsou charakterizovány minimální a kongruenčně-jednoduché kvazitriviální polomoduly. Jsou zobeněny výsledky z knihy. Ve druhé kapitole pokračujeme ve zkoumíní polomodulů. Hlavně s důrazem na minimální a kongruenčně-jednoduché polomoduly. Ve třetí kapitole se zkoumají skoro minimální polomoduly. Klasifikujeme konečné kongruenčně jednoduché polookruhy. Ve čtvrté kapitole dokážeme, že polookruh endomorfismů netriviálního polosvazu je vždy subdirektně nerozložitelný a popíšeme jeho monolit. Polookruh endomorfismů je kongruenčně jednoduchý právě, když příslušný polosvaz má největší i nejmenší prvek. První tři kapitoly jsou souhrnem výsledků [2], [3] a [4]. Obsah poslední kapitoly je adaptován z [17]. K práci patří z ilustrativních důvodů.
|
|
|
Přenosové parametry optických přístupových sítí
Ježek, Jaroslav ; Kapoun, Vladimír (oponent) ; Havelka, Dušan (vedoucí práce)
Podstatou této bakalářské práce je poznání teoretický základů pro měření na optických vláknech, prvcích a také optických trasách. Práce popisuje metody měření a zjišťování parametrů těchto sítí. Následná aplikace získaných znalostí na dvou laboratorních úlohách. První úloha spočívá ve využití metody vložených ztrát pro změření útlumu vlákna a následné využití metody OTDR pro lokalizaci závady. Druhá úloha se zabývá měřením útlumu na pasivním optickém prvku pouze metodou vložených ztrát. Laboratorní úlohy byly popsány a z každé z ní byl vyvozen patřičný závěr a poznatky.
|
|
|
Fluxmetr s grafickým zobrazením B-H křivky
Ježek, Jaroslav ; Mačák, Jaromír (oponent) ; Hanák, Pavel (vedoucí práce)
Tato diplomová práce se zabývá jednoduchým fluxmetrem, který je schopen spolu s dalšími přístroji zobrazovat hysterezní smyčku. Hysterezní smyčka je grafické vyjádření závislosti magnetické indukce na intenzitě magnetického pole. K zobrazení hysterezní smyčky je použit osciloskop. Tento přístroj je plně dostačující pro zobrazovaní. Měřenými předměty jsou solenoidy z různých druhů materiálu o shodném tvaru. Hlavním cílem diplomové práce je návrh, realizace a popis fluxmetru. Fluxmetr se skládá z několika dílčích bloků. Prvním dílčím blokem, kterým se práce zabývá, je generátor signálu, který je schopen generovat různé druhy signálu. Generovaný signál se přivádí na primární vinutí solenoidu, kde vzniká magnetické pole o dané intenzitě. K získání dostatečné intenzity je použit zesilovač. Dále se práce zabývá návrhem integrátoru, který je nezbytný pro správnou funkci fluxmetru. V práci je uvedeno blokové schéma propojení jednotlivých částí, tak jak bylo navrhnuto. Na konci práce jsou popsány dosažené naměřené výsledky a jejich popis.
|
|
| |
host ::
RSS.