Diploma thesis describes geodetic works in the construction of a subway under the railway track in Trenčín. Foundation for geodetic works in the construction is decree 300/2009 from the body of laws. The thesis describes these works in the order in which they were executed during the construction process. These works are: prepration of project documents, stake-out, control measurement, measurement of real building execution, quantification of executed building works, creation of real building execution documents. Part of the thesis describes the stake-out evaluation of each building phase and the evaluation of the building execution. The subway is a part of the railway modernization Nové Mesto nad Váhom – Púchov in city Trenčín.

The main goal of the diploma thesis is the description of geodetic and construction activities and work processes dealing with reconstruction of the D1 highway surface in the section Rosice – Brno. The thesis is focused within the sphere of engineering geodesy and address the issue of creation of point field, stake-out, control measurement and the measurement of real building execution documents. Used survey procedures are analyzed in the context of the standard deviation listed in the project documentation or ČSN. The geotetic documentation is compiled for the chosen measured data.

Tato diplomová práce se zabývá technologii blockchain se zaměřením na konsenzus protokoly, zvláště protokoly typu proof-of-stake. V této práci naleznete popis těchto protokolů následovaný popisem konsenzu v technologii blockchain. Prvotní kapitoly detailněji popisují a porovnávají jednotlivé proof-of-stake protokoly na základě teoretických znalostí. Druhá část práce se zaobírá návrhem a implementací testbedu, který je následně použitý pro praktické porovnání proof-of-stake protokolů. V závěrečné částí práce je diskutováno nad zjištěnými výsledky pozorováním testbedu a zjištěnými vlatnostmi protokolů. Na tomto základě práce ve svém konci naznačuje další směřování consesus protokolů, ba jejich případné zlepšení, a zvláště proof-of-stake typu protokolů.

V tejto práci sumarizujeme aktuálny výskum protokolov z rodiny Proof-of-Stake ako napr. Algorand, Tendermint a LaKSA. Analyzovali sme ich funkcionalitu a tiež ich problémy. V rámci výskumu sme implementovali a novy protokol z rodiny Dôkaz-Podielom, ktorý rieši nájdené problémy ako priepustnosť, škálovatelnosť a bezpečnosť.

While the history of the Latter-day Saints who colonized in Mexico is probably not generally known by the majority of Latter-day Saints living throughout the world today, it nevertheless comprises an exceptionally colorful and exciting chapter of the history of Mormonism. The Latter-day Saints who went to Mexico created there a culture and society which has never been duplicated. Probably one of the chief concerns of the Mormon Colonists in Mexico was to establish in their society a culture which would be lastingly enduring and which would progressively improve. Secondly, it is also probable that they were passionately desirous of having their children share their same convictions concerning religion and morality. The Colonists determined that the best way to insure a realization of these desires was through their system of schooling—secular as well as religious. These appear to be the aims which justified the existence of the Juarez Stake Academy. Because of the unique circumstances which account for the existence of both the Mexican colonies and the subsequent existence of the Juarez Academy neither can be understood or explained without looking to certain attendant circumstances. Although this study is concerned primarily with the Juarez Stake Academy, it will nevertheless be necessary to look to these other circumstances.

Denna studie undersöker huruvida avsiktligt implementerad friktion inom interaktionsdesign kan minska antal användarfel vid insatsprocessen för blockkedjor med Proof-of-Stake teknik. Friktion som avsiktligt implementerats har tidigare visats kunna leda till färre användarfel. Det spekuleras i att blockkedjor kan komma att användas i större utsträckning i framtiden. Eftersom fel i insatsprocessen för en blockkedja med Proof-of-Stake teknik kan leda till att pengar går förlorade valdes det området för att undersökas närmare om friktion kan leda till färre användarfel. Studien avgränsas till en typ av avsiktlig friktion som kallas design for pauses som syftar till att få användaren att tillfälligt stanna upp med sin interaktion. I studien skapades två versioner av en prototyp på en insatsprocess till blockkedjan Ethereum som testades på två olika testgrupper. Ena versionen av prototypen innehöll avsiktligt implementerad friktion och i den andra versionen adderades ingen friktion avsiktligt. Deltagarna i testet ombads utföra insatsprocessen i prototypen där deras interaktioner granskades och statistik fördes på antal användarfel. Användarfelen delades upp i två kategorier: slarvfel och misstag. Resultaten från testerna visar på att avsiktlig friktion av typen design for pauses minskar antal användarfel av typen misstag. Ytterligare forskning krävs för att besvara om design for pauses kan bidra till att minska antal användarfel av typen slarvfel. / This study evaluates whether intentionally implemented friction within interaction design can reduce the amount of user errors in the staking process within blockhains with Proof-of-Stake technology. Intentionally implemented friction has previously been proved to reduce user errors. It is speculated that blockchains may be used to a greater extent in the future. Since user errors in the staking process of a blockchain with Proof-of-Stake technology can result in money being lost, that field was selected to investigate if friction can result in fewer user errors. This study is limited to a type of deliberate friction called design for pauses which aims to temporarily pause the users interaction. In the study, two versions of a prototype were created to simulate the staking process for the Ethereum blockchain and were tested on two different test groups. One version of the prototype had intentionally added friction while in the other version no friction was added intentionally. Participants in the test were asked to perform the staking process in the prototype. Their interactions were analyzed and statistics were kept on the number of user errors. The user errors were divided into two categories: slips and mistakes. The results of the tests shows that deliberate friction of type design for pauses leads to reduced number of user errors of type mistakes. Further research is needed in order to answer whether design for pauses may reduce the number of user errors of type slips.

The thesis investigates how a blockchain can be used to build a decentralised public key infrastructure for the web, by proposing a custom federation blockchain relying on honest majority. Our main contribution is the design of a Proof of Stake protocol based on a stake tree, which builds upon an idea called follow-the-satoshi used in previous papers. Digital identities are stored in an authenticated self-balancing tree maintained by blockchain nodes. Our back-of-the-envelope calculations, based on the size of the domain name system, show that the block size must be set to at least 5.2 MB, while each blockchain node with a one-month transaction history would need to store about 243 GB. Thin clients would have to synchronise about 13.6 MB of block headers per year, and download an additional 3.7 KB of proof data for every leaf certificate which is to be checked. / Uppsatsen undersöker hur en blockkedja kan användas för att bygga en decentraliserad publik nyckel-infrastruktur för webben. Vi ger ett designförslag på en blockkedja som drivs av en pålitlig grupp av noder, där en majoritet antas vara ärliga. Vårt huvudsakliga bidrag är utformningen av ett Proof of Stake-protokoll baserat på ett staketräd, vilket bygger på en idé som kallas follow-the-satoshi omnämnd i tidigare publikationer. Digitala identiteter sparas i ett autentiserat, självbalanserande träd som underhålls av noder anslutna till blockkedjenätverket. Våra preliminära beräkningar baserade på storleken av DNS-systemet visar att blockstorleken måste sättas till åtminstone 5.2 MB, medan varje nod med en månads transaktionshistorik måste spara ungefär 243 GB. Webbläsare och andra resurssnåla klienter måste synkronisera 13.6 MB data per år, och ladda ner ytterligare 3.7 KB för varje användarcertifikat som skall valideras.

Traditional tests for large-scale assessment of mathematics learning have been criticized for several reasons, such as their mismatch between the vision of mathematical competence and the content covered by the test, and their failure to provide relevant information for guiding further learning and instruction. To achieve that large-scale assessments can function as tools for monitoring and improving learning and teaching, one has to move away from the rationale, the constraints, and the practices of traditional tests. As an illustration this paper presents an alternative approach to largescale assessment of elementary school mathematics developed in Flanders, Belgium Using models of item response theory, 14 measurement scales were constructed, each representing a cluster of curriculum standards and covering as a whole the mathematics curriculum relating to numbers, measurement and geometry. A representative sample of 5,763 sixth-graders (12-year-olds) belonging to 184 schools participated in the study. Based on expert judgments a cut-off score was set that determines the minimum level that students must achieve on each scale to master the standards. Overall, the more innovative curriculum standards were mastered less well than the more traditional ones. Few gender differences in performance were observed. The advantages of this approach and its further development are discussed.

The Industrial Internet of Things (IIoT) is growing day by day and is implemented in many industries. The centralized architecture of an IIoT system is composed of several devices that communicate with a special device only via one link, in an instance where this one link is attacked, major problems could occur for the whole system. The solution is to decentralize the entire architecture, a feature that the implementation of blockchain technology provides. Blockchain technology uses numerous consensus algorithms and some of the consensus algorithms require a large amount of computational power , such as the proof of work consensus algorithm. The problem is that IIoT devices have limited processor performance therefore it is important to find consensus algorithms that are suitable for an IIoT system in terms of time efficiency and electricity consumption. The question then becomes, which of the following different consensus algorithms; proof of work, proof of stake and proof of authentication performs best in an IIoT environment in terms of time efficiency and electricity consumption?  This question can be answered by implementing blockchain technology using the three aforementioned consensus algorithms in an IIoT environment to see which consensus algorithm is the most time efficient and uses the smallest amount of electricity. The results showed that proof of stake was the best consensus algorithm both in terms of time efficiency and electricity consumption. / Sakernas internet inom industrin (IIoT) växer dag för dag och används i flertalet industrier. Den centraliserade arkitekturen av ett IIoT-system består av flera enheter som kommunicerar med en speciell enhet endast via en länk och detta kan skapa stora problem för hela systemet om endast denna länk attackeras. Lösningen är att decentralisera hela arkitekturen, en funktion som implementeringen av blockkedjeteknologi förser. Inom blockkedjeknologi används flertalet algoritmer och bland algoritmerna finns det flera som kräver hög processorprestanda, som t.ex proof of work algoritmen. Problemet är att IIoT-enheter har begränsad processorprestanda, och ett viktigt skäl är att hitta algoritmer som är anpassade för ett IIoT-system beträffande tidseffektivitet samt elkonsumtion. Frågan blir då, vilken av de olika konsensus algoritmerna; proof of work, proof of stake och proof of authentication presterar bäst i en IIoT-miljö sett ur tidseffektivitet och elkonsumtion?  Denna fråga kan besvaras genom att implementera blockkedjeteknologi med de tre ovannämnda algoritmer i en IIoT-miljö för att se vilken algoritm är den mest tidseffektiva och har lägst elkonsumtion. Resultatet visade att proof of stake var den bästa konsensus algoritmen både tidsmässigt och elkonsumtion mässigt.

Traditional tests for large-scale assessment of mathematics learning have been criticized for several reasons, such as their mismatch between the vision of mathematical competence and the content covered by the test, and their failure to provide relevant information for guiding further learning and instruction. To achieve that large-scale assessments can function as tools for monitoring and improving learning and teaching, one has to move away from the rationale, the constraints, and the practices of traditional tests. As an illustration this paper presents an alternative approach to largescale assessment of elementary school mathematics developed in Flanders, Belgium Using models of item response theory, 14 measurement scales were constructed, each representing a cluster of curriculum standards and covering as a whole the mathematics curriculum relating to numbers, measurement and geometry. A representative sample of 5,763 sixth-graders (12-year-olds) belonging to 184 schools participated in the study. Based on expert judgments a cut-off score was set that determines the minimum level that students must achieve on each scale to master the standards. Overall, the more innovative curriculum standards were mastered less well than the more traditional ones. Few gender differences in performance were observed. The advantages of this approach and its further development are discussed.