[pt] Este trabalho de Tese apresenta a pesquisa e desenvolvimento de conexões de ondas guiadas sobre substratos semicondutores (SiGe, GaAs). A integração de circuitos digitais através de guias S-SIWG (Semiconductor Substrate Integrated Waveguide) utilizando formato de modulação QAM é avaliada e destacada. Conexões internas aos chips e entre chips são associadas com o novo padrão Gigabit Ethernet 802.3ba operando na taxa de 100 Gbit/s estendendo-se a aplicações de 0,5 – 1,5 Terahertz. É também apresentada a pesquisa e o desenvolvimento de guias e dispositivos de microondas utilizando substratos de baixo custo e altas perdas (FR-4), substratos cerâmicos de alta constante dielétrica (Er igual a 80) e aplicações em subsistemas híbridos integrados. / [en] This work presents the research, design and development of guided waves connections in semiconductor substrates (SiGe, GaAs). The integration of digital systems using Semiconductor Wave Guides (S-SIWG) with QAM modulation formats are highlighted. Ultra-fast inter-chip and inner-chip connections are associated with the new Gigabit Ethernet IEEE 802.3ba standard at 100Gbit/s extended to (0.5-1.5) Terahertz domain. Additionally fiber glass substrates with high losses (Teflon/FR-4) and high dielectric ceramic substrates (Er equal 80) are also developed to be integrated with microwave devices, analog printed circuits boards and high Speed digital circuits and systems.

This dissertation aims to be a social history of 8-bit computer gaming culture in Czechoslovakia. It focuses mostly on the 1982-1989 period, i.e. from the beginnings of organized computer hobby scene until the end of the so-called "normalization" era. It draws from archival texts, mainly computer club newsletters, and oral history interviews. The resulting corpus is used both to reconstruct the social context surrounding computer game play at the time, and to identify social practices, norms and values connected with computer game playing. Theoretically, the dissertation draws from the social history of media, audience research in the vein of the British cultural studies, and game studies. The dissertation claims that in the earliest days of Czechoslovak computer hobby, the hobbyists were a prime example of active audience. As there was virtually no hardware and software market behind the Iron Curtain, hobbyists had to improvise ways of importing hardware and distributing software, often forming computer clubs to facilitate this. Computer game programming and play were integral parts of hobbyist experimentation. Around 1985, Western commercial games started to enter Czechoslovakia via efficient unauthorized distribution. Computer games have, however, become a hobby of its own a started to spread...

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-03-08T12:29:03Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) JOAO VICTOR DE CARVALHO EVANGELISTA_DISSERTACAO_VERSAO_FINAL_2016.pdf: 4051425 bytes, checksum: c53a5039b8aa3054c77f2ee82a10849f (MD5) / Made available in DSpace on 2017-03-08T12:29:03Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) JOAO VICTOR DE CARVALHO EVANGELISTA_DISSERTACAO_VERSAO_FINAL_2016.pdf: 4051425 bytes, checksum: c53a5039b8aa3054c77f2ee82a10849f (MD5) Previous issue date: 2016-08-16 / Message authentication, which ensures that a received message comes from its acclaimed sender, is of fundamental importance for secure communication systems. We consider in this work a physical layer authentication system employing tag signals embedded in the message to provide a robust authentication method. This work diverges from previous work in the area when it comes to the tag generation method. While the previous works use methods based on cryptographic hash functions or on the channel side information our system employs unidimensional chaotic maps to generate these tags. Due to the loss of information about the initial condition of chaotic maps, we show that they are strong candidates for the tag generation process. We prove that chaotic tags provide a positive lower bound on the unconditional security of the system. Additionally, we calculate the probability of success for three possible attacks to the authentication system: impersonation, substitution and replay.Finally, we analyze how the system parameters affect these probabilities and some performance metrics (bit error rate, outage probability, probability of false negative) and explore the tradeoff between security and performance in order to provide guidelines to design the system. / A autenticação de mensagem, o que garante que uma mensagem recebida vem de seu aclamado remetente, é de fundamental importância para sistemas de comunicação seguros. Neste contexto, considera-se neste trabalho um sistema de autenticação em camada física empregando tags embutidos nas mensagens proporcionando um robusto método de autenticação. Este trabalho diverge de trabalhos anteriores na área no que se refere ao método de geração de tags. Enquanto os trabalhos anteriores utilizam métodos baseados em funções criptográficas de hash e na informação do estado do canal, nosso sistema emprega mapas caóticos unidimensionais para gerar os tags. Devido ao fato de que a informação sobre a condição inicial se perde ao longo de uma órbita caótica mostraremos que elas são fortes candidatas para o processo de geração de tags. Provamos que tags caóticos garantem um limitante inferior positivo na segurança incondicional do sistema. Adicionalmente, nós calculamos a probabilidade de sucesso de três tipos de ataque: de personificação, de substituição e de repetição. Para finalizar, analisamos como os parâmetros do sistema afetam essas probabilidades e algumas métricas de performance (taxa de erro por bit, probabilidade de interrupção e probabilidade de falso negativo) e os compromissos entre segurança e performance para prover um guia de projeto do sistema.

This thesis presents and evaluates how to select the data to be logged in an embedded realtime system so as to be able to give confidence that it is possible to perform an accurate identification of the fault(s) that caused any runtime errors. Several log-selection strategies were evaluated by injecting random faults into a simulated real-time system. An instrument was created to perform accurate detection and identification of these faults by evaluating log data. The instrument’s output was compared to ground truth to determine the accuracy of the instrument. Three strategies for selecting the log entries to keep in limited permanent memory were created. The strategies were evaluated using log data from the simulated real-time system. One of the log-selection strategies performed much better than the other two: it minimized processing time and stored the maximum amount of useful log data in the available storage space. / Denna uppsats illustrerar hur det blev fastställt vad som ska loggas i ett inbäddat realtidssystem för att kunna ge förtroende för att det är möjligt att utföra en korrekt identifiering av fel(en) som orsakat körningsfel. Ett antal strategier utvärderades för loggval genom att injicera slumpmässiga fel i ett simulerat realtidssystem. Ett instrument konstruerades för att utföra en korrekt upptäckt och identifiering av dessa fel genom att utvärdera loggdata. Instrumentets utdata jämfördes med ett kontrollvärde för att bestämma riktigheten av instrumentet. Tre strategier skapades för att avgöra vilka loggposter som skulle behållas i det begränsade permanenta lagringsutrymmet. Strategierna utvärderades med hjälp av loggdata från det simulerade realtidssystemet. En av strategierna för val av loggdata presterade klart bättre än de andra två: den minimerade tiden för bearbetning och lagrade maximal mängd användbar loggdata i det permanenta lagringsutrymmet.

Nowadays, network security plays a major role in the field of wireless communications. Wired networks propagate electrical signals or pulses through cables. Whereas wireless signals propagate through the air. If wireless networks are left open and exposed to the outside world, there are high chances of being misused by others. The intruders take advantage of this, to intercept the wireless signals. This is the reason why an extra level of security is required for wireless networks. The physical layer is one of the important layers of the Open System Interconnection (OSI) model which plays an important role in the network’s physical connections like wireless transmission, cabling, connections etc. The physical layer supports the bit-level transmission between various devices by connecting to the physical medium for synchronized communication.In this thesis, a method is studied for exchanging secret key [1] bits using a pseudo-random sequence generator based on Frequency Division Duplex (FDD) systems. The principle of this method is to generate a secret key in a manner that produces low correlation at the intruder. By uniquely relating the secret key bits to the channel in a private version of the universal codebook, a robust key exchange between the transmitter and the receiver is then performed.

Approved for public release; distribution is unlimited. / Trellis-Coded Modulation (TCM) is employed with quadrature amplitude modulation (QAM) to provide error correction coding with no expense in bandwidth. There are two common implementations of TCM, namely pragmatic TCM and Ungerboeck TCM. Both schemes employ Viterbi algorithms for decoding but have different code construction. This thesis investigates and compares the performance of pragmatic TCM and Ungerboeck TCM by implementing the Viterbi decoding algorithm for both schemes with 16-QAM and 64-QAM. Both pragmatic and Ungerboeck TCM with six memory elements are considered. Simulations were carried out for both pragmatic and Ungerboeck TCM to evaluate their respective performance. The simulations were done using Matlab software, and an additive white Gaussian noise channel was assumed. The objective was to ascertain that pragmatic TCM, with its reduced-complexity decoding, is more suitable to adaptive modulation than Ungerboeck TCM. / Civilian

The Arctic Region is currently experiencing an amplified warming if compared to the rest of the world. The soils in this region store approximately half of the global soil organic carbon (OC), mainly locked in the permanently-frozen ground (permafrost). This carbon sink is sensitive to global warming meaning that the predicted warming will likely increase the thaw-release of this ‘old’ carbon. However, what happens to this remobilized OC once it is transported to the Arctic Ocean, including the potential conversion to greenhouse gasses causing a positive feedback to climate warming, remains unclear. In this work, we further investigate the fate of terrestrial derived OC (terrOC) in the Eurasian Arctic Region. The key findings of this work are: • Glycerol dialkyl glycerol tetraethers (GDGTs) and bacteriohopanepolyols (BHPs) are present in marine sediments of the Eurasian Arctic Region and the associated Branched and Isoprenoidal tetraether (BIT) and Rsoil indices can be used to trace terrOC in marine realm. However, a slight modification in the Rsoil index is suggested (R’soil). • Analyses indicate that the behaviour of BIT is largely controlled by a marine GDGT contribution while the R’soil index is mainly controlled by the removal of soil marker BHPs. Although both indices suggest a non-conservative behavior for the terrOC, this leads to differences in the estimations for the percentage terrOC present. A multi-proxy approach is essential since the use of a single-proxy approach can lead to over/under estimation.• Comparison of BIT and 13Csoc indices across the East Siberian Shelf indicates that the BIT index is possibly reflecting a predominantly fluvial input while 13Csoc represents a mixed fluvial and coastal erosion input.• The macromolecular terrOC composition varies along a west-east Eurasian Arctic climosequence and is mainly controlled by the river runoff of surface derived terrOC and wetland coverage (sphagnum vs. higher plants) but is not affected by the presence/absence of continuous permafrost. • The phenols/(phenols+pyridines) ratio was suggested as a proxy to trace terrOC at the macromolecular level along the Kolyma River-East Siberian Sea transect. The results indicate a non-conservative behavior of the macromolecular terrOC comparable to the bulk of the terrOC.All molecular analyses/based proxies used showed that the remobilized terrOC in the Eurasian Arctic region behaves non-conservatively potentially causing a positive feedback to global climate change.

abstract: The structural and electronic properties of compositionally complex semiconductors have long been of both theoretical interest and engineering importance. As a new class of materials with an intrinsic compositional complexity, medium entropy alloys (MEAs) are immensely studied mainly for their excellent mechanical properties. The electronic properties of MEAs, however, are less well investigated. In this thesis, various properties such as electronic, spin, and thermal properties of two three-dimensional (3D) and two two-dimensional (2D) compositionally complex semiconductors are demonstrated to have promising various applications in photovoltaic, thermoelectric, and spin quantum bits (qubits).3D semiconducting Si-Ge-Sn and C3BN alloys is firstly introduced. Density functional theory (DFT) calculations and Monte Carlo simulations show that the Si1/3Ge1/3Sn1/3 MEA exhibits a large local distortion effect yet no chemical short-range order. Single vacancies in this MEA can be stabilized by bond reformations while the alloy retains semiconducting. DFT and molecular dynamics calculations predict that increasing the compositional disorder in SiyGeySnx MEAs enhances their electrical conductivity while weakens the thermal conductivity at room temperature, making the SiyGeySnx MEAs promising functional materials for thermoelectric devices. Furthermore, the nitrogen-vacancy (NV) center analog in C3BN (NV-C3BN) is studied to explore its applications in quantum computers. This analog possesses similar properties to the NV center in diamond such as a highly localized spin density and strong hyperfine interactions, making C3BN suitable for hosting spin qubits. The analog also displays two zero-phonon-line energies corresponding to wavelengths close to the ideal telecommunication band width, useful for quantum communications. 2D semiconducting transition metal chalcogenides (TMCs) and PtPN are also investigated. The quaternary compositionally complex TMCs show tunable properties such as in-plane lattice constants, band gaps, and band alignment, using a high through-put workflow from DFT calculations in conjunction with the virtual crystal approximation. A novel 2D semiconductor PtPN of direct bandgap is also predicted, based on pentagonal tessellation. The work in the thesis offers guidance to the experimental realization of these novel semiconductors, which serve as valuable prototypes of other compositionally complex systems from other elements. / Dissertation/Thesis / Doctoral Dissertation Materials Science and Engineering 2020

Jednou z nejsložitěji verifikovaných vlastností programů v oblasti formální analýzy je živost. K jedné z metod ověřujících tuto vlastnost patří i dokazování neukončitelnosti programů. Naše práce popisuje návrh a implementaci dvou algoritmů ověřujících neukončitelnost. Inspirujeme se již existujícími přístupy, jako jsou rekurentní množiny a nadaproximace cyklů s využitím invariantů ve tvaru rekurentních relací. Hlavní výzvu pro nás představovalo přizpůsobení těchto algoritmů SSA (single static assignment) reprezentaci použité v 2LS a jejich celková integrace v našem frameworku. Vzpomínané přístupy se nám podařilo spojit do analýzy neukončitelnosti, která dosahuje nejlepší výsledky v porovnání s existujícími nástroji, které byly srovnané na soutěži SV-COMP 2017.

This thesis deals with the demonstration of bit error rate reduction techniques. In the theory section, different techniques of bit error rate reduction are presented, followed by the introduction of the communication channel and the communication system parameters. Each technique is simulated in Matlab Simulink environment using the additive white Gaussian noise channel model. The simulations are captured in waveform oscillograms of all the signal processing stages. The practical section of this thesis offers a functional laboratory solution demonstrating different ways of transmission: a direct-path signal, a path with a cross-correlation receiver and a path using matched filtering. The individual circuits are described in detail, including waveform oscillograms of the signal processing blocks for illustration. Furthermore, the practical section presents printed circuit boards designs, comprehensive documentation for production, measurement results and a sample laboratory protocol.