No description available.

With growing trend in "cloud computing" and increase in the data moving into the Internet, the need to store large amounts of data by service providers such as Google, Yahoo and Microsoft has increased over time. Now, more than ever, there is a need to efficiently and securely store large amounts of data. This thesis presents an implementation of a Ramp Scheme that confidentially splits a data file into a configurable number of parts or shares of equal size such that a subset of those shares can recover the data entirely. Furthermore, the implementation supports a threshold for data compromise and data verification to verify that the data parts have not been tampered with. This thesis addresses two key problems faced in large-scale data storage, namely, data availability and confidentiality.

<p>Den här C-uppsatsens mål är att undersöka om den trådlösa tekniken ZigBee är lämplig att använda i en industriell miljö. Arbetet med uppsatsen har utförts i Trolhättan (Sverige) i företaget Binar Elektronik AB:s lokaler. Bakgrunden till detta samarbete är att Binar vill veta om ZigBee är ett lämpligt val för en av deras framtida produkter.</p><p>Uppsatsen är uppdelad i fyra delar, där den första och inledande delen översiktligt beskriver begreppet ZigBee. Den här delen innehåller även en marknadsundersökning rörande ZigBee-hårdvara. Uppsatsen fortsätter sedan med nästa del där en specialisering mot en specifik ZigBee-hårdvara tar vid. Den ZigBee-modul som valdes kallas Xbee och den blev utvald baserat på resultatet från marknadsundersökningen. Den här delen beskriver även den kod som utvecklats för att på ett effektivt sätt kommunicera med Xbee-modulen.</p><p>Uppsatsens tredje del består av ett antal praktiska tester i olika miljöer, vars mål är att påvisa vilka styrkor och svagheter som ZigBee-tekniken har i respektive miljö. Den här delen innehåller även ett räckviddstest av Xbee-modulen. Den sista och avslutande delen innehåller uppsatsens resultat och slutsatser. Dessa slutsatser visar tydlig att Xbee-modulen, och dess ZigBee-tekniken, har stor potential att uppfylla de krav som ställs på ett trådlöst system i en industriell miljö. Det måste dock noteras att denna slutsats ej bör tas ur sitt sammanhang och att den således endast är giltig för de testmiljöer som den här uppsatsen behandlat.</p> / <p>This Bachelor of Science thesis has the primary objective to investigate whether or not the wireless technology ZigBee is suitable for industry usage. The thesis work has been done in collaboration with Binar Elektronik AB (Trollhättan, Sweden). The background story for this collaboration is that Binar is interested in finding out if ZigBee is suitable for one of their upcoming products.</p><p>The thesis is divided into four main parts, beginning with a researching part concerning ZigBee as a concept and a market research on ZigBee hardware. The thesis continuous with a specialization towards one ZigBee hardware, the ZigBee module from MaxStream called Xbee. The Xbee module was chosen based on the result from the market research. This part also describes the code that has been developed for the Xbee module, which main purpose is to simplify communication with the module.</p><p>The next part of the thesis contains a number of different field tests that show how ZigBee communication is affected in different environments. This part also includes a range test with the Xbee module. The last part of the thesis contains the final results and conclusions, which clearly show that the ZigBee technology, and Xbee in particular, has a potential to satisfy the requirements for a wireless system in an industrial environment. This conclusion concerning the industrial usability of ZigBee should however be seen in the light of this particular thesis work, making this conclusion viable only for the field test environments.</p> / See hompage http://www.wettergren.se/zigbee/.

Den här C-uppsatsens mål är att undersöka om den trådlösa tekniken ZigBee är lämplig att använda i en industriell miljö. Arbetet med uppsatsen har utförts i Trolhättan (Sverige) i företaget Binar Elektronik AB:s lokaler. Bakgrunden till detta samarbete är att Binar vill veta om ZigBee är ett lämpligt val för en av deras framtida produkter. Uppsatsen är uppdelad i fyra delar, där den första och inledande delen översiktligt beskriver begreppet ZigBee. Den här delen innehåller även en marknadsundersökning rörande ZigBee-hårdvara. Uppsatsen fortsätter sedan med nästa del där en specialisering mot en specifik ZigBee-hårdvara tar vid. Den ZigBee-modul som valdes kallas Xbee och den blev utvald baserat på resultatet från marknadsundersökningen. Den här delen beskriver även den kod som utvecklats för att på ett effektivt sätt kommunicera med Xbee-modulen. Uppsatsens tredje del består av ett antal praktiska tester i olika miljöer, vars mål är att påvisa vilka styrkor och svagheter som ZigBee-tekniken har i respektive miljö. Den här delen innehåller även ett räckviddstest av Xbee-modulen. Den sista och avslutande delen innehåller uppsatsens resultat och slutsatser. Dessa slutsatser visar tydlig att Xbee-modulen, och dess ZigBee-tekniken, har stor potential att uppfylla de krav som ställs på ett trådlöst system i en industriell miljö. Det måste dock noteras att denna slutsats ej bör tas ur sitt sammanhang och att den således endast är giltig för de testmiljöer som den här uppsatsen behandlat. / This Bachelor of Science thesis has the primary objective to investigate whether or not the wireless technology ZigBee is suitable for industry usage. The thesis work has been done in collaboration with Binar Elektronik AB (Trollhättan, Sweden). The background story for this collaboration is that Binar is interested in finding out if ZigBee is suitable for one of their upcoming products. The thesis is divided into four main parts, beginning with a researching part concerning ZigBee as a concept and a market research on ZigBee hardware. The thesis continuous with a specialization towards one ZigBee hardware, the ZigBee module from MaxStream called Xbee. The Xbee module was chosen based on the result from the market research. This part also describes the code that has been developed for the Xbee module, which main purpose is to simplify communication with the module. The next part of the thesis contains a number of different field tests that show how ZigBee communication is affected in different environments. This part also includes a range test with the Xbee module. The last part of the thesis contains the final results and conclusions, which clearly show that the ZigBee technology, and Xbee in particular, has a potential to satisfy the requirements for a wireless system in an industrial environment. This conclusion concerning the industrial usability of ZigBee should however be seen in the light of this particular thesis work, making this conclusion viable only for the field test environments. / See hompage http://www.wettergren.se/zigbee/.

The diploma thesis focuses on the development of an automated integration testing tool for a company. The tool is employed to detect and report data changes that may have been caused by the modification of a database schema during the development of a software. This automation of recognizing data changes brings many advantages to the company. The tool has been developed using the C# programming language, which supports object-oriented programming, using the Microsoft Visual Studio Community 2019 software. Since the tool works with the Microsoft SQL Server database, Entity Framework, an object-relational mapping framework, has been used during the implementation of the tool.

<p dir="ltr">The intricate domain of chip design encompasses the creation of intricate blueprints for integrated circuits (ICs). Algorithms, pivotal in this realm, assume the role of optimizing IC performance and functionality. This thesis delves into the utilization of algorithms within chip design, spotlighting their potential to amplify design process efficiency and efficacy. Notably, this study undertakes a comprehensive comparison of algorithmic performances on both Central Processing Units (CPUs) and Graphics Processing Units (GPUs). A cornerstone application of algorithms in chip design lies in logic synthesis, which transmutes a high-level circuit description into a silicon-compatible, low-level representation. By minimizing gate requisites, curtailing power consumption, and bolstering performance, algorithms serve as architects of optimized logic synthesis. Furthermore, the arena of physical design harnesses algorithms to translate logical designs into physically realizable layouts on silicon wafers. This involves meticulous considerations like routing congestion and power efficiency. Furthermore, this thesis adopts a thorough approach by extensively exploring the implementation intricacies of two pivotal physical design algorithms. The Kernighan-Lin Partitioning Algorithm is prominently featured for optimizing Placement and Partitioning, while Lee’s Algorithm provides valuable insights for enhancing Routing. Through a meticulous comparison of dataset efficiency and run-time across both hardware platforms, noteworthy insights have emerged. In KL Algorithm, datasets categorized as small (with sizes < 105), the CPU demonstrates a 1.2X faster processing speed compared to the GPU. However, as dataset sizes surpass this threshold, a distinct trend emerges: while GPU run times remain relatively consistent, CPU run times undergo a threefold increase at select points. In the case of Lee’s Algorithm, the CPU demonstrated superior execution time despite having fewer cores and threads than the GPU. This can be attributed to the inherently sequential nature of Lee’s Algorithm, where each element depends on the preceding one, aligning with the CPU's strength in handling sequential tasks. This thesis embarks on a comprehensive analytical journey, delving into the nuanced interplay between these contrasting aspects.</p>

<p>This thesis describes the design and implementation of a Digital Audio Broadcasting (DAB) System developed using C++ Language and SystemC libraries. The main aspects covered within this report are the data structure of DAB system, and some interesting points of SystemC Library very useful for the implementation of the final system. </p><p>It starts with a introduction of DAB system and his principals advantages. Next it goes further into the definition of data structures of DAB, they are FIC, MSC, and DAB audio frame, explained with MPEG and PAD packets. Later on this chapter there is an explanation of the SystemC library with special attention on the features that I used to implement the system. This features are the events used in the communication between processes and the interfaces needed for sending and receiving the data.</p><p>With all these points covered is quite easy for a reader to understand the implementation of the system, despite this point is covered in the last chapter of the thesis. The implementation is here explained in two different steps. The first one explain how is formed the DAB audio frame by means of MPEG frames that are wrote in channel by producer interface, this frames are readed by consumer interface. For this purpose I have created some classes and structures that are explained in this part. The second part explain how I obtain the DAB transmission frame which is obtained creating MSC frames, that are big data structures formed by groups of DAB audio frames, therefore there are some functions that act like a buffer and add audio frames to the MSC data structure. Of independent way there is the FIC frame that is generated of random way and its added to the transmission frame.</p>

This thesis describes the design and implementation of a Digital Audio Broadcasting (DAB) System developed using C++ Language and SystemC libraries. The main aspects covered within this report are the data structure of DAB system, and some interesting points of SystemC Library very useful for the implementation of the final system. It starts with a introduction of DAB system and his principals advantages. Next it goes further into the definition of data structures of DAB, they are FIC, MSC, and DAB audio frame, explained with MPEG and PAD packets. Later on this chapter there is an explanation of the SystemC library with special attention on the features that I used to implement the system. This features are the events used in the communication between processes and the interfaces needed for sending and receiving the data. With all these points covered is quite easy for a reader to understand the implementation of the system, despite this point is covered in the last chapter of the thesis. The implementation is here explained in two different steps. The first one explain how is formed the DAB audio frame by means of MPEG frames that are wrote in channel by producer interface, this frames are readed by consumer interface. For this purpose I have created some classes and structures that are explained in this part. The second part explain how I obtain the DAB transmission frame which is obtained creating MSC frames, that are big data structures formed by groups of DAB audio frames, therefore there are some functions that act like a buffer and add audio frames to the MSC data structure. Of independent way there is the FIC frame that is generated of random way and its added to the transmission frame.

Submitted by Geyciane Santos (geyciane_thamires@hotmail.com) on 2015-07-23T13:51:53Z No. of bitstreams: 1 Dissertação - Mikhail Yasha Ramalho Gadelha.pdf: 1839545 bytes, checksum: 9f5e7d75af46b461d8ad6837ce6ad0be (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-07-23T15:49:26Z (GMT) No. of bitstreams: 1 Dissertação - Mikhail Yasha Ramalho Gadelha.pdf: 1839545 bytes, checksum: 9f5e7d75af46b461d8ad6837ce6ad0be (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-07-23T15:52:49Z (GMT) No. of bitstreams: 1 Dissertação - Mikhail Yasha Ramalho Gadelha.pdf: 1839545 bytes, checksum: 9f5e7d75af46b461d8ad6837ce6ad0be (MD5) / Made available in DSpace on 2015-07-23T15:52:49Z (GMT). No. of bitstreams: 1 Dissertação - Mikhail Yasha Ramalho Gadelha.pdf: 1839545 bytes, checksum: 9f5e7d75af46b461d8ad6837ce6ad0be (MD5) Previous issue date: 2013-12-20 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / The use of embedded systems, computational systems specialized to do a function in larger systems, electronic or mechanical, is growing in the daily life, and it is becoming increasingly important to ensure the robustness of these systems. There are several techniques to ensure that a system is released without error. In particular, formal verification is proving very effective in finding bugs in programs. In this work, we describe the formal verification for C++ Programs and correctness proof by mathematical induction. Both techniques will be developed using the tool Efficient SMT-Based Context-Bounded Model Checker (ESBMC), a model checker based on satisfiability modulo theories and first order logic. The experiments show that the tool can be used to check a wide range of applications, from simple test cases to commercial applications. The tool also proved to be more efficient than other models checkers to verify C++ programs, finding a greater number of bugs, and supporting a larger number of the features that the language C++ has to offer, in addition to being able to prove several properties, using the method of mathematical induction. / A utilização de sistemas embarcados, sistemas computacionais especializados para realizar uma função em sistemas maiores, eletrônicos ou mecânicos, vem crescendo no dia a dia das pessoas, e vem se tornando cada vez mais importante garantir a robustez desses sistemas. Existem diversas técnicas para garantir que um sistema seja lançado sem erros. Em especial, a verificação formal de programas está se mostrando efetiva na busca por falhas. Neste trabalho, serão descritos a verificação formal de programas C++ e a prova de corretude por indução matemática. Ambas as técnicas serão desenvolvidas utilizando a ferramenta Efficient SMTBased Context-Bounded Model Checker (ESBMC), um verificador de modelos que se baseia em teorias de satisfabilidade de fórmulas proposicionais e de lógica de primeira ordem. Os experimentos mostram que a ferramenta pode ser utilizada para verificar uma ampla gama de aplicações, de casos simples à aplicações comerciais. A ferramenta também mostrou-se superior em comparação com outros verificadores na verificação de programas C++, encontrando um maior número de erros e suportando um número superior das funcionalidades que a linguagem C++ tem a oferecer, além de ser capaz de provar diversas propriedades (por exemplo, laços invariantes), utilizando a técnica de indução matemática.

The C Navigational System (CNS) is a proposed programming environment for the C programming language. The introduction covers the major influences of programming environments and the components of a programming environment. The system is designed to support the design, coding and maintenance phases of software development. CNS provides multiple views to both the source and documentation for a programming project. User-defined and system-defined links allow the source and documentation to be hierarchically searched. CNS also creates a history list and function interface for each function in a module. The final chapter compares CNS and several other programming environments (Microscope, Rn, Cedar, PECAN, and Marvel).