|
Development and applications of near-field imaging methods in the terahertz spectral domain
Berta, Milan ; Kadlec, Filip (vedoucí práce) ; Fejfar, Antonín (oponent) ; Adam, Auréle J.L. (oponent)
Předkládáme výsledky studia citlivosti a rozlišení kovově-dielektrických sond určených k zobrazování v blízkém poli. Šíření elektromagnetického pole sondou bylo experimentálně studováno pomocí časově rozlišené terahertzové spektroskopie a numericky modelováno v prostředí CST MicroWave Studio 2008. V blízkosti koncové plochy sondy bylo nalezeno několik zón citlivých na lokální dielektrické vlastnosti a lokální anizotropii vzorků. Byla provedena měření citlivosti a kontrastu v několika různých uspořádáních sondy a vzorků; výsledky byly potvrzeny numerickými simulacemi. Získaná data byla analyzována metodou singulárního rozkladu, která umožnila rozlišit nezávislé fyzikální jevy v měřených datech a oddělit vnější vlivy od užitečného signálu. Byly odděleny a rozpoznány nezávislé složky odpovídající charakteristickým změnám ve výstupním terahertzovém pulzu, například při změnách vzdálenosti sondy a vzorku, a při zkoumání lokální anisotropie feroelektrického krystalu titaničitanu barnatého (BaTiO3). V zobrazení vzorku feroelektrického BaTiO3 byly rozpoznány doménové struktury s charakteristickým rozměrem 5 um, t. j. s rozměrem deset krát menším než byly charakteristické rozměry výstupní plochy sondy a čtyřicet krát menším než byla nejkratší vlnová délka použitého záření. V terahertzové spektrální oblasti jsme...
|
|
Periodické vlastnosti převzorkovaných obrazů
Mahdian, Babak ; Saic, Stanislav
V současné době díky vysoce výkonným počítačům a zdokonaleným počítačovým periferiím, je možné vcelku snadno upravovat digitální fotografie. Moderní programy na zpracování obrazů umožňují vytořit padělky fotografií, které nejsou rozpoznatelné prostým okem. Jednou z nejčastějších technik takových úprav je převzorkování jedné fotografie a spojení s druhou, při tom je použita změna měřítka a případné otočení části obrazu. V této práci je navržena metoda, která automaticky detekuje převzorkovanou část obrazu. Výsledky a použitelnost metody je ukázána na řadě příkladů
|
|
Non - covalent interactions in fundamental biological processes
Klusák, Vojtěch ; Rulíšek, Lubomír (vedoucí práce) ; Burda, Jaroslav (oponent) ; Šponer, Jiří (oponent)
Charles University in Prague Faculty of Science Department of Physical and Macromolecular Chemistry Non-covalent interactions in fundamental biological processes Doctoral Thesis Abstract Mgr. Vojtěch Klusák Supervisor: Mgr. Lubomír Rulíšek, CSc. Institute of Organic Chemistry and Biochemistry AS CR Center for Biomolecules and Complex Molecular Systems Praha 2010 10 Úvod Klíčem k pochopení vlastností a chování biomolekul je porozumění jejich vzájemným interakcím, ať už jde o interakce mezi nimi jako celky či mezi jejich jednotlivými částmi, (např. funkčními skupinami) .Snaha o pochopení vztahu mezi strukturou a funkcí na úrovni atomů či elektronů nás často dovádí za hranice možností či rozlišení experimentálních metod. Moderní nástroje výpočetní chemie nám však často s dostatečnou mírou přesnosti a spolehlivosti umožňují popsat tyto detaily studovaných procesů a doplnit tak naše znalosti a přiřadit k měřitelným veličinám určité strukturní vlastnosti. Za normálních podmínek, za kterých se biomolekuly při buněčných procesech přeskupují a seskupují (například při sbalování proteinů, formování a přeskupování membrán, při buněčné signalizaci) nedochází ke vzniku a zániku kovalentních vazeb. Takovéto procesy jsou z velké míry řízeny nekovalentními interakcemi. Tyto interakce jsou sice poměrně slabé, jejich celkový...
|
|
Dimensional analysis for HD languages
Horváth, Martin ; Jirovský, Václav (oponent) ; Bednárek, David (vedoucí práce)
Na vývoj elektrických obvodov v súčasnosti používajú inžinieri špeciálne popisné jazyky, ktoré im umožňujú vytvoriť modely týchto obvodov a otestovať ich pred samotnou konštrukciou. Tieto jazyky však neposkytujú dostatočne komplexné prostriedky na definovanie fyzikálnych dimenzií a jednotiek pre veličiny používané v modeloch a kontrolu ich konzistencie vo výpočtoch a rovniciach. Nekonzistencia v použití fyzikálnych jednotiek môže byť spôsobená drobnou typografickou chybou, ale taktiež môže predstavovať hlbšie konceptuálne chyby. Hľadanie takýchto chýb môže byť veľmi náročné, keďže modely bežne obsahujú tisíce riadkov kódu. Táto diplomová práca si kladie dva ciele. Prvým je analyzovať problematiku fyzikálnych dimenzií, formalizovať ich vlastnosti a navrhnúť algoritmus ich automatickej kontroly v modeloch napísaných v jazykoch na popis hardwaru. Druhým cieľom je navrhnúť a implementovať systém pre anotáciu modelov dimenzionálnou informáciou a implementovať algoritmus dimenzionálnej analýzy do komerčného produktu ModLyng. Tento produkt je integrovaným prostredím pre vývoj AMS integrovaných obvodov. Použitie automatickej analýzy by malo inžinierom pomôcť navrhovať korektné modely a urýchliť ich vývoj.
|
|
Interface for Delphi Programs
Šufliarsky, Peter ; Töpfer, Pavel (oponent) ; Holan, Tomáš (vedoucí práce)
Ciel'om projektu je vytvorit' knižnicu pre prostredie Delphi, ktorá umožní externé čítanie, nastavovanie hodnot vlastností jednotlivých ovládacích prvkov a simuláciu užívatel'ského vstupu v projektoch vytvorených pomocou prostredia Delphi. Sučast'ou práce je ovládací program, ktorý demonštruje funkcionalitu uvedenej knižnice. Vykonávanie jednotlivých funkcií knižnice bude možné automatizovat' pomocou skriptovacieho jazyka, ktorý je súčast'ou práce a je interpretovaný ovládacím programom. V tomto jazyku bude možné popísat operácie užívatel'ského vstupu ako kliknutie myšou, vstup z klávesnice a sledovanie či zmenu stavu ovládacích prvkov programu s grafickým užívatel'ským prostredím. Vd'aka tomuto bude možné dávkovo spúšt'at' takéto programy a následne testovat' ich funkčnost'.
|
|
Studium transportních proteinů z rodiny Nramp
Surá, Lucie ; Chaloupka, Roman (vedoucí práce) ; Holoubek, Aleš (oponent)
The Natural Resistance-Associated Macrophage Proteins (Nramp) form functionally conserved family of proton-dependent divalent metal ion transporters. In the present study, we investigated transport properties of a prokaryotic Nramp homolog - MntH transporter from Escherichia coli. H+ transport mediated by MntH was monitored in a bacterial model system using pH-sensitive green fluorescent protein (pHluorin). Our experimental conditions enabled us to observe an uncoupled H+ transport mediated by MntH. Uncoupled H+ flux had been previously described in eukaryotic Nramp proteins, nevertheless this is the first observation of this phenomenon in a prokaryotic homolog. We demonstrated that the uncoupled H+ transport is pH- and temperature- dependent. The uncoupled transport H+ is also affected by specific single-point mutations at functionally important residues Asp34, His211 and Asn401. The second part of the work focused on effect of different ions, which are not MntH substrates, on transport properties of MntH. It was shown that addition of excess calcium or magnesium resulted in increase of H+ transport induced by divalent metal ions, but on the other hand our data suggest that calcium inhibits uncoupled H+ transport.
|
|
Checking Primitive Component Behavior
Klika, David ; Parízek, Pavel (oponent) ; Kofroň, Jan (vedoucí práce)
Software model checking je metoda ověřování vlastností programů a tedy zajišťování jejich vyšší spolehlivosti. Je však stále nutné dělit programy na části ověřované nezávisle, Nebot' úplné programy tvoří často příliš velký stavový prostor, který není možné prozkoumat v rozumném čase. Softwarové komponenty dělí aplikace na čáasti vhodným způsobem. Ale vzhledem k tomu, jak fungují model checkery, je nutné jim poskytnout vhodné prostředí pro ověření každé komponenty. Pro popis chování komponent vznikly behavior protokoly. Umožňují ověřovat kompatibilitu a shodu chování komponent - to se používá již při návrhu aplikací pro odhalení možných nevhodných použití komponent. Protokoly jsou také vhodné jako popis chování komponenty, který může být srovnán s chováním konkrétní implementace komponenty. Cílem této pr¶ace je poskytnout nástroj pro srovnání chování primitivní komponenty oproti její specifikaci. V rámci toho bude implementován generátor prostředí komponent podle frame protokolu, které umožní rozpoznat porušení specifikace chování. Bude použit Java PathFinder a Fractal component model.
|
|
Konvexní funkce a jejich zobecnění
Krtek, Jiří ; Červinka, Michal (oponent) ; Hladík, Milan (vedoucí práce)
V předložené práci studujeme vlastnosti a vztahy mezi konvexními funkcemi a jejich zobecněními. Začínáme definicí konvexních funkcí a přes základní vlastnosti, jako je spojitost, se dostáváme k diferencovatelnosti a hledání jejich extrému. Pokračujeme pojednáním o kvazikonvexních, explicitně kvazikonvexních a pseudokonvexních funkcích. Přes jejich definice a základní vlastnosti se dostáváme ke vztahům mezi nimi a konvexními funkcemi. Nalezneme zde i věty o skládání těchto zobecnění, které nám umožnují snadněji poznat, jestli je daná složená funkce (explicitně) kvazikonvexní, či pseudokonvexní. Práce obsahuje i část věnovanou minimalizaci těchto zobecnění. Na závěr práce jsou zmíněna některá další zobecnění konvexity, která už nejsou tak podrobně rozebrána.
|
|
Phyllotactic Model Linking Nano and Macro World
Horáček, Miroslav ; Meluzín, Petr ; Krátký, Stanislav ; Urbánek, Michal ; Bok, Jan ; Kolařík, Vladimír
Recently, the arrangement of diffraction primitives according to a phyllotactic model was presented. This arrangement was used to benchmarking purposes of the e-beam writer nano patterning. The phyllotactic arrangement has several interesting properties. One of them is related with the coherence between the nanoor microscopic domain of individual optical primitives and the properties of visually perceived images crated by these structures in the macro domain. This paper presents theoretical analysis of the phyllotactic arrangement in the referred context. Different approaches enabling the creation of diffractive optically variable images are proposed. The practical part of the presented work deals with the nano patterning of such structures using two different types of the e-beam pattern generators. One of them is a system with a variable shaped beam of electrons, while the other one is a system with a Gaussian-shaped beam. E-beam writing strategies and the use of inherent spiral patterns for exposure ordering and partitioning are also discussed.
|
| |
host ::
