3D Model of a Room Using Kinect

Tato práce se zabývá nalezením významných rovinných ploch v mračně bodů a jejich převodem na polygony, což je důležitý krok pro odhad geometrie místnosti. Vstupem je mračno bodů, které bylo získáno pomocí senzoru Kinect v2. Součástí práce je program, který dokáže zachytit jeden snímek z Kinectu. Pro detailnější mračna bodů je potřeba použít některý z externích programů, které jsou zmíněny dále v této práci. Pro detekci rovin je použit algoritmus RANSAC. Roviny se pomocí algoritmu extrakce Euklidovského shlukování rozdělí na menší plochy. Tyto plochy se následně pomocí konvexní nebo konkávní obálky převedou na polygony.   Výsledná aplikace je schopná zpracovat jak jeden snímek nebo větší mračno získané registrací dílčích snímků a detekovat hlavní i vedlejší roviny. Pro největší rovinu dokáže nachystat body k vytvoření textury a vypsat rozměry do příkazové řádky.This thesis is about finding significant planar surfaces in point cloud and their conversion to polygons. Which is important step for making a 3D model of a room. Input is point cloud, which was recorded by Kinect v2 sensor. Tool for capturing one snapshot from Kinect is included in this thesis. For recording more detailed point cloud is needed external program. Some of the programs are mentioned further in this thesis. For plane detection is used RANSAC. Inliers are divided using Euclidean Cluster Extraction. These clusters are converted to polygon using convex or concave hull.  Application is capable of working with one snapshot or bigger point cloud assembled by registration of particular snapshots and detect primary and secondary planar surfaces. For the largest plane points can be prepared for creation of a texture and dimensions of this plan can be printed in CLI. 

Asplund Functions and Projectional Resolutions of the Identity

*Supported by the Grants AV ˇCR 101-97-02, 101-90-03, GA ˇCR 201-98-1449, and by the Grant of the Faculty of Civil Engineering of the Czech Technical University No. 2003.We further develop the theory of the so called Asplund functions, recently introduced and studied by W. K. Tang. Let f be an Asplund function on a Banach space X. We prove that (i) the subspace Y := sp ∂f(X) has a projectional resolution of the identity, and that (ii) if X is weakly Lindel¨of determined, then X admits a projectional resolution of the identity such that the adjoint projections restricted to Y form a projectional resolution of the identity on Y , and the dual X* admits an equivalent dual norm such that its restriction to Y is locally uniformly rotund

Canonical Derivations in Programmed Grammars

V této práci jsou studovány kanonické derivace (se zaměřením na nejlevější derivace) v programovaných gramatikách a rozsah levého omezení. Je ukázáno, že zavedením n-limitovaných derivací v programovaných gramatikách tak, jako byly zavedeny pro stavové gramatiky, dostaneme nekonečnou hierarchii jazykových tříd vyplývající z n-limitovaných programovaných gramatik, takže rozsah levého omezení ovlivňuje generativní sílu n-limitovaných programovaných gramatik. Tento výsledek má význam pro syntaktickou analýzu založenou na programovaných gramatikách.This work studies canonical derivations (with focus on leftmost derivations) in programmed grammars and left restriction range. It is shown that if we introduce n-limited derivations in programmed grammars as they were defined for state grammars, we get an infinite hierarchy of language families resulting from n-limited programmed grammars, so the left restriction range affects the generative power of n-limited programmed grammars. This result is significant for syntactical analysis based on programmed grammars.

Electron supersurface scattering on polycrystalline Au

Supersurface electron scattering, i.e., electron energy losses and associated deflections in vacuum above the surface of a medium, is shown to contribute significantly to electron spectra. We have obtained experimental verification (in absolute units) of theoretical predictions that the angular distribution of the supersurface backscattering probability exhibits strong oscillations which are anticorrelated with the generalized Ramsauer-Townsend minima in the backscattering probability. We have investigated 500-eV electron backscattering from an Au surface for an incidence angle of 70° and scattering angles between 37° and 165°. After removing the contribution of supersurface scattering from the experimental data, the resulting angular and energy distribution agrees with the Landau-Goudsmit-Saunderson (LGS) theory, which was proposed about 60 years ago, while the raw data are anticorrelated with LGS theory. This result implies that supersurface scattering is an essential phenomenon for quantitative understanding of electron spectra

An Institutional Analysis of European Systems for Impact Assessment

Agricultural and Food Policy, Environmental Economics and Policy, Farm Management, Land Economics/Use,

Design of the 22LR Adapter for the CZ P-07 DUTY

Import 05/08/2014Návrh adaptéru 22LR pro CZ P-07 DUTYDesign of the 22LR Adapter for the CZ P-07 DUTY340 - Katedra výrobních strojů a konstruovánívýborn

On Erasing Rules in Regulated Grammars

V této práci je diskutován vliv vymazávacích pravidel na generativní sílu řízených gramatik, což je velký otevřený problém teorie řízeného přepisování. Tato práce studuje možnost odstranění vymazávacích pravidel z těchto gramatik tak, že shromažďuje aktuální výsledky na toto téma a přináší novou podmínku, nazvanou k-limitované vymazávání, která zaručuje, že jsme bez vlivu na generovaný jazyk schopni odstranit všechna vymazávací pravidla z libovolné bezkontextové gramatiky řízené regulárním jazykem splňující tuto podmínku. Tento výsledek je částečným řešením výše zmíněného problému. Mimoto je prezentován nový algoritmus k odstranění vymazávacích pravidel z bezkontextových gramatik, který nepotřebuje předurčovat tzv. epsilon-neterminály (na rozdíl od standardního algoritmu používaného v učebnicích). V závěru je zhodnocen přínos těchto výsledků pro syntaktickou analýzu.This work discusses the effect of erasing rules to the generative power of regulated grammars, which is a big open problem in the theory of regulated rewriting. It studies the possibility of removal of erasing rules from regulated grammars by aggregation of current, up-to-date results concerning this elimination and by presentation of a new condition, called k-limited erasing, under which all erasing rules can be always removed from regularly controlled context-free grammars without affecting their generative power. This result partially solves the abovementioned problem. Moreover, a new algorithm for elimination of erasing rules from context-free grammars is presented. This algorithm does not require any predetermination of so called epsilon-nonterminals (in contrast to the standard algorithm used in textbooks). In the conclusion, a significance of these results concerning syntactical analysis is discussed.

Amplitude envelopes as a means to quantify vowel length contrasts

publishe

Quality Control in the Production of Short Arms

Import 02/11/2016Kontrola jakosti ve výrobě krátkých zbraníQuality Control in the Production of Short Arms346 - Katedra obrábění, montáže a strojírenské metrologievýborn