This work is dealing with phase lock loop design. In the theoretical part is principal description. In the practical part is detailed mathematical description, choice of various blocks, design calculation and optimalization of final solution. Designed solution is simulated and final result are commented.

abstract: Modern Communication systems are progressively moving towards all-digital transmitters (ADTs) due to their high efficiency and potentially large frequency range. While significant work has been done on individual blocks within the ADT, there are few to no full systems designs at this point in time. The goal of this work is to provide a set of multiple novel block architectures which will allow for greater cohesion between the various ADT blocks. Furthermore, the design of these architectures are expected to focus on the practicalities of system design, such as regulatory compliance, which here to date has largely been neglected by the academic community. Amongst these techniques are a novel upconverted phase modulation, polyphase harmonic cancellation, and process voltage and temperature (PVT) invariant Delta Sigma phase interpolation. It will be shown in this work that the implementation of the aforementioned architectures allows ADTs to be designed with state of the art size, power, and accuracy levels, all while maintaining PVT insensitivity. Due to the significant performance enhancement over previously published works, this work presents the first feasible ADT architecture suitable for widespread commercial deployment. / Dissertation/Thesis / Doctoral Dissertation Electrical Engineering 2019

This project revolves around creating a home automation system prototype with the main focus being the ability to lock/unlock a door through the internet. The system consists of a central device, a server and an Android application.The central device is a microprocessor, in this case, a Raspberry Pi that connects to the Internet and receives an order to control a motor which in turn turns the lock with the help of gears. The ability to rotate the motor in both directions is achieved by the use of an H-bridge. The server manages users and devices, and handles the communication between the application and the central device. Users and devices are stored in a database on the server. The application is a frontend which presents the user with a list of devices to interact with.The main prototype where the Raspberry Pi acted as a central device was abandoned due to time and resource constraints. It was instead used to control the motor directly. This brought up some problems concerning powering the device using batteries. The software of the prototype is mostly working but due to the same time limitations not all planned features could be implemented.

Tikab Strukturmekanik AB, (Tikab), ett teknikkonsultföretag, har utvecklat en systemhandling för en ny sluss till ”nya Slussen” i Stockholm på uppdrag av Stockholm stad, Exploateringskontoret. En del i projektet var att även skapa attraktiva bonusfunktioner till anläggningen. Innan detta projekt startades hade Tikab visat att den konstruerade segmentluckan kunde användas för att skapa stående vågor nedströms luckan. Dessa vågor ansågs vara intressanta för vågsurfing.Målet med detta examensarbete var att utveckla en konstruktion utan rörliga delar som skulle kunna förbättra vågparametrar hos den, med avseende på surfing attraktiva, genererade vågen. Konstruktionen, också kallad vingen eller spoilern, skulle vara manuellt hanterbar och enkel att montera på slussluckan.Denna rapport beskriver utvecklingsprojektet. Efter att studerat slussen och existerande artificiella surfvågor kunde en omfattande studie av flödesteori göras. Därefter kunde teorier för flöde och vågor användas i modellförsök där de verifierades hydrodynamiskt. Spoilerkoncept togs fram och testades innan en slutlig design kunde väljas genom utvärdering av testresultaten. Det vinnande konceptet konstruerades i full skala och dimensionerades i enlighet med gällande eurokoder. Den slutgiltiga systemkonstruktionen utgjordes av en vinge uppbyggd av sex delar. De kan tillverkas av bockad aluminiumplåt med påsvetsade avstyvningar och ansluts med skruvförband till segmentluckans krön. Genom successiva optimeringar i konstruktionen kunde den totala vikten till slut reduceras till 138 kg, med en maximal vikt på 29 kg för den största delen.Vissa slutsatser drogs utifrån resultaten; Vågformen nedströms en, under vatten, nedsänkt segmentlucka kunde kontrolleras med hjälp av en skruvansluten vinge monterad på luckans krön. Därigenom kunde en attraktiv surfvåg skapas. Den bästa vågförbättringen, med avseende på surfing, uppnåddes för en horisontellt riktad vinge. Vingens form skulle för bästa inverkan vara likformad med den önskade krökningen på vågkrönet. En hanterbar och styv vinge kunde konstrueras med hjälp av aluminiumplåt och en optimerad dimensionering. / Tikab Strukturmekanik AB (Tikab), an engineering consulting company, has developed a system design of a new navigation lock at Slussen in central Stockholm on behalf of Stockholm City authorities. A part of the project has been to add attractive bonus functions to the area. It was shown by Tikab that the designed segment gate, also referred to as Tainter gate, could be used to create stationary back water waves. These waves were found to be of interest for wave surfing.The aim of this master project was to develop a device without moving parts which could improve the wave parameters into an, with respect to surfing, attractive wave. The device, also referred as spoiler, was requested to be manually manageable and easy to mount on the segment gate crest. This master thesis describes the development project. After a study of the navigation lock and existing artificial surf-wave techniques an extensive investigation of flow theory was done. From there theories for flow and wave creation could be transferred into model tests where hydrodynamic verifications were done. Spoiler concepts were developed and tested before a final design was selected by evaluation of the test results. The winning concept was designed in full-scale and dimensioned according to current Eurocodes.The final design was a spoiler which was built up by six parts. They were made for manufacturing using bent and stiffened aluminium plates and to be fastened on the gate crest by bolted joints. Through successive design optimisation, the total weight was reduced to a total of 138 kg. The weight of the largest part was 29 kg.Some conclusions were drawn from the results; The wave shape downstream a submerged segment gate could be controlled by a spoiler on the gate crest. Thereby an attractive wave could be generated. The best wave improvement, with respect to surfing, was reached for a horizontally positioned spoiler cut in a shape equal to the wished wave crest curvature. A manageable and functional spoiler could be designed by the use of aluminium plates and an optimised design.

SammanfattningExamensarbetets titel: Den ekonomiska politiken begränsar flyttviljanSeminariedatum: 2019-05-27Ämne/kurs: FF321FFörfattare: Daniel Bokhari Friberg, Eric Lagerlöf och Jakob GustafssonHandledare: Martin GranderNyckelord: Transaktionskostnad, ekonomisk politik, ränta, amorteringskrav, uppskov,reavinstbeskattning, flyttkedjor, lock-in-effekt.Syfte: Syftet med uppsatsen är att undersöka vilka faktorer som påverkar äldre människors benägenhet att flytta samt vilken effekt den nuvarande ekonomiska politiken har på den svenska bostadsmarknaden. Vidare utreds varför rörligheten och flyttkedjan bland äldre ser ut som den gör med anledning av dessa faktorer.Metod: För att uppnå syftet med uppsatsen har en kvalitativ studie genomförts i form av 15 semistrukturerade intervjuer.Teoretiska perspektiv: Den teoretiska referensramen är uppdelad i två avsnitt, tidigare forskning samt teori. I det första avsnittet berörs främst äldres rörlighet på bostadsmarknaden. I den andra delen återfinns följande rubriker: Marknadsteori, Pristeori bostadsrätter, Transaktionskostnader samt Flyttkedjor.Empiri: Studiens empiri består utav två avsnitt, en dokumentstudie samt ett intervjuresultat. Första delen består utav följande rubriker: Reavinstskatt, Fastighetsskatt och fastighetsavgift, Uppskov, Ränta samt Amortering och amorteringskrav. Intervjuresultatet är uppdelat i två huvudrubriker: Ekonomiska faktorer samt Personliga faktorer.Analys: Studiens intervjuresultat analyseras här med hjälp av den teoretiska referensramen samt tidigare forskning.Slutsats: Sammanfattningsvis vittnar studien om att dagens ekonomiska politik har stor inverkan på äldres flyttbenägenhet. Sveriges höga vinstbeskattning för permanentboende pekar mot en inlåsningseffekt som följaktligen leder till att bostadsbeståndet inte nyttjas optimalt. De ekonomiska faktorerna i kombination med de personliga faktorerna är avgörande för huruvida Sverige ska lyckas bearbeta den tröga rörligheten som råder på dagens bostadsmarknad. / AbstractTitle: The economic policy limits the willingness to moveSeminar date: 2019-05-27Course: FF321FAuthor: Daniel Bokhari Friberg, Eric Lagerlöf and Jakob GustafssonAdvisor: Martin GranderKey words: Transaction cost, economic policy, interest, amortization requirements, suspension, capital gains tax, relocation chains, lock-in effect,Purpose: The purpose of the thesis is to investigate which factors affect older people'sinclination to move and what effect the current economic policy has on the Swedishhousingmarket. As well as, why mobility and the migration chain among the elderly occurspresently as a result of these factors.Methodology: To achieve the purpose of the thesis, a qualitative study has been conducted in the form of 15 semi-structured interviews.Theoretical perspectives: The theoretical frame of reference is divided into two sections,previous research and theory. The first section deals primarily with elderly people's mobility in the housing market. The second section contains the following headings: Market theory,Price theory housing, Transaction costs and Moving chains.Empirical foundation: The study's empirical foundation data consists of two sections, adocument study and a part where the results of the interviews are presented. The first partconsists of the following headings: Capital gains tax, Property tax and Property fees, Deferral, Interest and Amortization and repayment requirements. The interview result is divided into two main headings: Economic factors and personal factors.Analysis: The study's interview results are analyzed using the theoretical frame of reference and previous research.Conclusions: In conclusion, the study testifies that today's economic policy has a great impact on the Elderly migratory propensity. Sweden's highest profit taxation for permanent residents points to alock-in effect which consequently leads to the housing stock not being used optimally. The economicfactors in combination with the personal factors is crucial for whether Sweden will succeed in processingit stagnant mobility that prevails in today's housing market

L'approche automate pour le model checking de propriétés temporelles à temps linéaire est une technique classique de vérification formelle de systèmes concurrents. Un système, ainsi qu'une propriété qu'on souhaite y vérifier, sont modélisés sous forme d’omega-automates reconnaissant des mots infinis. Des manipulations de ces automates (produit synchronisé et test de vacuité) permettent d'établir si le système vérifie la propriété ou non. Dans cette thèse nous nous focalisons sur un type particulier d'omega-automates qui permettent une représentation concise des propriétés d'équité faible: les automates de Büchi généralisés basés sur les transitions (TGBA ou Transition-based Generalized Büchi Automata). Dans un premier temps, nous brossons un aperçu des algorithmes de vérification existant et nous en proposons de nouveaux traitant efficacement les automates généralisés forts. Dans un second temps, l'analyse des composantes fortement connexes de l'automate de la propriété nous a conduit à élaborer une décomposition de cet automate. Cette décomposition se focalise sur les automates multi-forces et permet une parallélisation naturelle des model-checkers. Enfin, nous avons proposé les premiers tests de vacuité parallèles pour les automates généralisés. De plus, tous ces tests sont lock-free à la différence de ceux de l’état de l’art. Toutes ces techniques ont ensuite été implémentées et évaluées sur un jeu de test conséquent. / The automata-theoretic approach to linear time model-checking is a standard technique for formal verification of concurrent systems. The system and the property to check are modeled with omega-automata that recognizes infinite words. Operations overs these automata (synchronized product and emptiness checks) allows to determine whether the system satisfies the property or not. In this thesis we focus on a particular type of omega-automata that enable a concise representation of weak fairness properties: transitions-based generalized Büchi automata (TGBA). First we outline existing verification algorithms, and we propose new efficient algorithms for strong automata. In a second step, the analysis of the strongly connected components of the property automaton led us to develop a decomposition of this automata. This decomposition focuses on multi-strength property automata and allows a natural parallelization for already existing model-checkers. Finally, we proposed, for the first time, new parallel emptiness checks for generalized Büchi automata. Moreover, all these emptiness checks are lock-free, unlike those of the state-of-the-art. All these techniques have been implemented and then evaluated on a large benchmark.

The 1973 oil shock was the first energy crisis modern industrialized economies experienced. The disruption exposed the limitations of energy systems that rely on fossil fuels, creating a demand for experimentation of energy alternatives. In their book, Renewables: The Politics of a Global Energy Transition, Michaël Aklin, and Johannes Urpelainen provide a framework to analyze this transitionary period for selected countries, as well as the events that provoke the need for change in the form of the 1970s external shocks in oil prices. In this paper, for the first time, Aklin & Urpelainen's framework will be applied to Australia to help explain the "Australian Paradox." The Australian Paradox refers to the misalignment of Australia's climate change policy and exposure to climate change disruption. Though Australia is particularly vulnerable to climate change in several ways, the country is noted among rich industrialized nations for having done very little to promote alternative energies and reduce its carbon footprint. While the oil crises of the 1970s have catalyzed a search for alternative energy sources in some countries, it created a business opportunity for Australia in the form of expanding coal and gas exports, thereby further committing the country to carbon-cased energies. I conclude by reflecting on whether other forms of energy shocks could lead Australia into taking a more aggressive approach to climate change in the near future.

The 3D integration of dies promises to address the problem of increased die size caused by the slowing of scaling. By partitioning a design among two or more dies and stacking them vertically, the average interconnect length is greatly decreased and thus power is reduced. Also, since smaller dies will have a higher yield, 3D integration will reduce manufacturing costs. However, this increase in yield can only be seen if manufactured dies can be tested before they are stacked. If not, the overall yield for the die stack will be worse than that of the single, larger die. One of the largest issues with prebond die testing is that, to save power, a single die may not have a complete clock distribution network until bonding. This thesis addresses the problem of prebond die testability by ensuring the clock distribution network on a single die will operate with low skew during testing and at a reduced power consumption during operation as compared to a full clock network. The development of a Delay Lock Loop is detailed and used to synchronize disconnected clock networks on a prebond die. This succeeds in providing a test clock network that operates with a skew that is sufficiently close to the target postbond skew. Additionally, a scheme to increase interdie bandwidth by multiplexing Through-Silicon Vias (TSVs) by the system clock is presented. This technique allows for great increase in the number of effective signal TSVs while imposing a negligible area overhead causing no performance degradation.

Introduction: Nearly 60,000 children receive emergency services each year due to accidental medication ingestion. Since families regularly receive verbal anticipatory guidance about locking up medications during pediatric well child visits, primary care clinics are an opportune place to distribute lock boxes to families who need them. ETSU Pediatrics is an interprofessional outpatient clinic that serves a population with many social, medical, and psychological needs. ETSU Pediatrics partnered with a local non-profit organization to provide medication lock boxes free to charge to families who need one. However, it was not known whether more families would endorse a need for a lock box in response to a systematic effort to screen for this need. We hypothesized that more medication lock boxes would be administered if families were given a written screener asking explicitly about their need for a lock box. Method:ETSU Pediatrics added the question “To increase child safety, is your household in need of a lockbox for medications?” to an existing social determinants of health screener that is given annually to each patient during their well child visit. Social work students imbedded in the clinic gave out lock boxes to families who endorsed a need. Frequency counts of the number of medication lock boxes given out were compared 6 months before and after the initiation of the screener. Results: Out of the 2,018 well child visits that occurred in the 6 months after screener initiation, 5.5% (111) of families endorsed a need for a medication lock box. Of those 106 were given a lock box. This was a substantial increase in demand for lock boxes compared to the 6 months prior to screener initiation in which only 16 lock boxes were given out. Conclusions: Systematic screening for medication lock box need resulted in more lock boxes being administered to families over a 6-month period, compared to care as usual. An embedded interprofessional student team helped facilitate this process. These results show promise for other healthcare organizations aimed at reducing accidental medication ingestions in children.

In this dissertation, self-assembled InAs/InGaAs quantum dot Fabry-Perot lasers and mode-locked lasers are investigated. The mode-locked lasers investigated include monolithic and curved two-section devices, and colliding pulse mode-locked diode lasers. Ridge waveguide semiconductor lasers have been designed and fabricated by wet etching processes. Electroluminescence of the quantum dot lasers is studied. Cavity length dependent lasing via ground state and/or excited state transitions is observed from quantum dot lasers and the optical gain from both transitions is measured. Stable optical pulse trains via ground and excited state transitions are generated using a grating coupled external cavity with a curved two-section device. Large differences in the applied reverse bias voltage on the saturable absorber are observed for stable mode-locking from the excited and ground state mode-locking regimes. The optical pulses from quantum dot mode-locked lasers are investigated in terms of chirp sign and linear chirp magnitude. Upchirped pulses with large linear chirp magnitude are observed from both ground and excited states. Externally compressed pulse widths from the ground and excited states are 1.2 ps and 970 fs, respectively. Ground state optical pulses from monolithic mode-locked lasers e.g., two-section devices and colliding pulse mode-locked lasers, are also studied. Transformed limited optical pulses (~4.5 ps) are generated from a colliding pulse mode-locked semiconductor laser. The above threshold linewidth enhancement factor of quantum dot Fabry-Perot lasers is measured using the continuous wave injection locking method. A strong spectral dependence of the linewidth enhancement factor is observed around the gain peak. The measured linewidth enhancement factor is highest at the gain peak, but becomes lower 10 nm away from the gain peak. The lowest linewidth enhancement factor is observed on the anti-Stokes side. The spectral dependence of the pulse duration from quantum dot based mode-locked lasers is also observed. Shorter pulses and reduced linear chirp are observed on the anti-Stokes side and externally compressed 660 fs pulses are achieved in this spectral regime. A novel clock recovery technique using passively mode-locked quantum dot lasers is investigated. The clock signal (~4 GHz) is recovered by injecting an interband optical pulse train to the saturable absorber section. The excited state clock signal is recovered through the ground state transition and vice-versa. Asymmetry in the locking bandwidth is observed. The measured locking bandwidth is 10 times wider when the excited state clock signal is recovered from the ground state injection, as compared to recovering a ground state clock signal from excited state injection.