No description available.

In this study, the ladder-type filters based on back-etched thin film bulk acoustic resonator (TFBAR) were fabricated with several patterns to investigate the influence on their frequency responses. The highly c-axis oriented ZnO films were deposited on silicon substrates by reactive RF magnetron sputtering. The optimal two-step deposition temperature for ZnO films is 100 ¢J, which is obtained by means of SEM AFM, and XRD analysis. According to the experimental results, it leads to good resonance responses as TFBAR filters are fabricated with the patterns of large resonance area, two stages and the ratio of shunt/series resonance area is equal to two. Herein, conventional thermal annealing (CTA) was adopted to improve the frequency responses of TFBAR filters. Because CTA treatment can release stress and improve surface roughness of ZnO and Pt films, it enhances the frequency responses of TFBAR filters. The optimal CTA treatment temperature for TFBAR filters is 400 ¢J. Finally, TFBAR filters show the good performances with insertion loss of -8.138 dB, band rejection of 10.9 dB and bandwidth of 37.125 MHz.

Communications scholars recognize two related trends in twenty-first century politics: the rise of information and communications technologies promising major changes in civic participation and a growing disconnection between citizens and their governments. The coexistence of these trends raises some interesting questions about the role of ICTs for enabling new forms of civic participation. How can new technologies better enable civic participation? This report proposes a typology for evaluating online civic participation projects that allows researchers to analyze the goals, designs, and outcomes of particular projects. The typology also incorporates Arnstein’s (1969) ladder of citizen participation in order to enumerate the relationships between the project’s goals and its outcomes and to provide a flexible model for understanding the democratic conceptualizations manifested in particular projects. The report analyzes three online civic participation projects, highlighting their innovations and discussion their levels of citizen participation. The analyses suggest that a project’s goals, designs and outcomes are related to, and inform, its desired and realized levels of citizen participation. The review also suggests clarifications to Arnstein’s ladder for future use in understanding online civic participation. The report’s evaluative typology can aid in the interpretation of past online civic participation projects and guide the conceptualization and implementation of future projects in order to facilitate the development of more direct connections between citizens and governments and more open and transparent democratic governance structures. / text

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pòs-graduação em Engenharia de Automação e Sistemas, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T03:15:55Z (GMT). No. of bitstreams: 1 287047.pdf: 2105803 bytes, checksum: a722cc55acdfaf3252bdf60d781f04b3 (MD5) / Para resolver os problemas associados a verificação de sistemas industriais complexos, como os desenvolvidos para CLPs, são necessárias técnicas de modelagem e verificação formal, como forma de provar que o programa está de acordo com as propriedades esperadas. Neste trabalho é proposto um modelo de tradução da linguagem Diagrama Ladder de CLPs para uma linguagem intermediária de verificação FIACRE, que está inserida em uma cadeia de verificação formal do projeto Topcased. Esta abordagem segue o paradigma da engenharia dirigida a modelos e consiste em transformar modelos próximos ao usuário em modelos para a verificação. As regras de transformação propostas devem estar inseridas em duas cadeias de verificação formal, que utilizam as abordagens de model-checking e por equivalências de modelos. A validação da proposta é feita por intermédio da transformação de modelos e verificação das propriedades de um sistema de automação pneumática e um sistema para um misturador industrial.

This thesis proposes innovative methods to extract information embedded in the frequency and time domain response of the transformer winding, and utilizes them to suggest solutions to a few tasks that have until now been thought difficult, if not impossible, to resolve. Pursuing this philosophy originated from the basic under- standing that the response of any physical system (behaving largely as a linear time invariant system) has embedded information that characterizes it completely. So, the prerequisite is to evolve ways to extract this information from measured responses. Once that is done, a variety of interesting applications can be envisaged. The two applications considered in this thesis are- •Investigate indirect measurement of the series capacitance of a transformer winding using the measured frequency or time domain response •Explore the possibility of increasing the physical resolution of the ladder network used to model a fully interleaved-disk winding In the former application, since direct measurement of series capacitance is impossible, alternatives based on indirect measurement were also not attempted. Similarly, in the latter application, the upper limit is known to be fixed by the number of distinctly observable peaks in the magnitude frequency response, so the question of increasing this limit was also never explored. Solutions to these tasks are proposed after a systematic analysis of frequency/time domain responses of a winding, initially modeled as a lumped parameter ladder network, to extract correlations that exist between them and winding parameters, and finally examine how these relations can be exploited together with the measured responses. Each of the five chapters is dedicated to describe the solution to one task. In each chapter, analytical formulation is presented first, followed by experimental results. Good agreement with the predicted results demonstrates its practicability. In final summary, indirect measurement of the series capacitance of a winding and en- hancing physical resolution of a ladder network model to represent a fully interleaved- disk winding was successfully demonstrated and they are the main contributions of this thesis.

This thesis is dedicated to Solvency II, a regulatory framework for insurance and reinsurance companies effective in European Union. Firstly, it explains the notion solvency and also describes the principles of the regulation itself. Another part is focused on the calculation of solvency capital requirement and minimal capital requirement, using standard formula. The capital requirements are derived on the level of risk modules and their submodules. Furthermore, the topic of technical reserves is discussed and emphasis is placed on the derivation of mean square error of prediction. Described methods are Chain-Ladder and Bornhuetter-Ferguson. The last part of the thesis includes the calculation of capital requirements for real data. A program SolvencyII.xlsx that shows particular derivations is enclosed.

Title: Computational tools for IBNR reserves calculation Author: Bc. Štěpán Gregor Department: Department of Probability and Mathematical Statistics Supervisor: Mgr. Helga Krafferová, UNIQA pojišťovna, a.s. Supervisor' s e-mail address: Helga.Krafferova@uniqa.cz Abstract: Technical provisions represent the liability of the insurance company to its clients. In this work we focus on the computational tools of incurred but not reported claims. The most popular calculation method is probably the chain-ladder method which will be in detail analyzed in this thesis. Finally, by applying the theory in this work we will demonstrate the calculation in the own developed software. Keywords: Insurance, IBNR reserve, chain-ladder

Leakages from seals are one of the important factors that are taken into consideration while designing any machining element. This is because leakages can affect the performance of any component and can also turn into a catastrophe. If looked into it, many parameters can be pointed out that can enhance leakages within the system, some of them may be pressure, temperature, clamping force and bolt distance etc. But the main parameter is the surface roughness, higher the roughness more the leakage and vice-versa. Thus, in this thesis an attempt has been made how the surface roughness can affect the performance of the sealing concept for metal bounded gasket with above four mentioned parameters. Also how leak proof surface can be defined using standard tribological parameters is the aim of this thesis. This report includes the results for methodologies implemented during the thesis and track down the leakages. The leaked surfaces were carefully studied and analyzed using different standards compared with the non leaked surfaces’ roughness parameters. / Läckagerisk från tätande förband är en av de viktigaste faktorerna som beaktas vid utformning av konstruktionsartiklar. Detta på grund av att konsekvenserna kan bli förödande. Det tätande förbandet påverkas av många olika parametrar såsom till exempel tryck, temperatur, klämkraft, skruvavstånd och val av packning. En viktig faktor är ytans beskaffenhet; Generellt läcker en grov yta och vågig yta mer än en fin och plan yta. Således har i denna avhandling ytans beskaffenhet studerats tillsammans med en packning av typen metallburen gummipackning för att påvisa täthetfunktionen som en funktion av tryck, temperatur, klämkraft och skruvavstånd. Denna rapport innehåller resultat och analys av olika standardmetoder för de ytor som ingick i utredningen.

No description available.

Industrial programs written on Programmable Logic Controllers (PLCs) have become an essential component of many modern industries, including automotive, aerospace, manufacturing, infrastructure, and even amusement parks. As these safety-critical systems become larger and more complex, ensuring their continuous error-free operation has become a significant and important challenge. Formal methods are a potential solution to this issue but have traditionally required substantial time and expertise to deploy. This usability issue is compounded by the fact that PLCs are highly proprietary and have substantial licensing costs, making it difficult to learn about or deploy formal methods on them. This thesis presents the OPPP (Open-source Proving of PLC Programs) system as a solution to this usability issue. The OPPP system allows the end-to-end creation and verification of PLC programs from within the development environment. The system is created with an emphasis on being easy to use, with formal constraints presented in English phrases that require no special knowledge to understand. The system uses entirely open-source components, including modified versions of both the OpenPLC development environment and the PLCverif verification platform. The OPPP system is then demonstrated to formalize the requirements of two college-level introductory PLC programming problems. It is further demonstrated to correctly find errors in and verify the correctness of a known good and known bad solution to each problem.