O presente trabalho enfoca o estudo de transdutores indutivos de deslocamento linear. Dentre os diversos dispositivos dessa natureza, procurou-se desenvolver um estudo mais aprofundado do transdutor indutivo diferencial com núcleo de esferas. O desenvolvimento experimental, com a construção de quatro protótipos, levou ao projeto de um transdutor com características adequadas ao uso industrial. / The present work focuses on the study of inductive transducers of linear displacement. Among the several devices of that nature, a more detailed study of the inductive differential transducer was attempted with core of spherical balls. The experimental development of four prototypes resulted in a transducer with characteristics adequate for industrial use to be designed.

Neste trabalho, é apresentado um estudo sobre sistemas de transmissão de energia com o uso de bobinas fracamente acopladas magneticamente. A análise é feita levando-se em conta os efeitos parasitas dos componentes em um circuito equivalente considerando-se somente uma única frequência e o circuito já no regime estacionário. Esse circuito é alimentado por uma fonte de tensão senoidal e conectado a uma carga puramente resistiva por simplificação. São analisadas a potência de saída e a eficiência do circuito. Portanto um exercício de otimização dessas duas variáveis é desenvolvido ao longo desse trabalho com diferentes possíveis configurações. Um novo método de compensação do circuito utilizando quatro capacitores é apresentado. Além disso, é explorada a possibilidade de se melhorar ainda mais o resultado da compensação através do ajuste da frequência de ressonância. Inicialmente, o circuito básico sem compensação é analisado. A seguir, são desenvolvidas equações para as máximas eficiência e potência na saída para os circuitos contendo somente um capacitor de compensação. Também são demonstradas as configurações normalmente utilizadas para compensação com dois capacitores. Então a compensação de um circuito com quatro capacitores sem perdas é analisada. Finalmente, após serem adicionadas todas as perdas resistivas dos componentes do circuito, um método de busca é empregado para encontrar os valores ótimos (ou subótimos) dos capacitores que fazem o circuito alcançar a máxima eficiência ou potência na saída. Um algoritmo baseado no método Monte Carlo é apresentado de modo a obter boas soluções para o problema de otimização proposto e assim evitar a análise direta do intrincado sistema de equações resultantes da compensação com mais do que dois capacitores. Para verificar experimentalmente os resultados teóricos e das simulações foi construído um protótipo que possibilita uma variação linear e de maneira controlada do coeficiente de acoplamento entre as bobinas. Os resultados são comparados e, ainda, melhorados através do método da sintonia da frequência. / In this work, we present a study of power transmission systems using magnetically loosely coupled coils. The analysis is done taking into account the effects of parasitic components in an equivalent circuit considering only a single frequency and the circuit already in the steady state. This circuit is powered by a sinusoidal voltage source and connected to a purely resistive load for simplification. Improvements in the output power and efficiency of the circuit are the main topic. So an exercise in optimization of these two variables is developed throughout this work with different possible configurations. A new compensation method using four capacitors of the circuit is presented. Moreover, the possibility is exploited to further improve the result of compensation by adjusting the resonance frequency. Initially, the basic circuit without compensation is analyzed. The following equations are designed for maximum efficiency and output power for the circuits containing only one compensation capacitor. Also, the settings normally used to offset two capacitors are presented. So the compensation of a circuit with four capacitors lossless is analyzed. Finally, are added all the resistive losses of the circuit components, an search method is employed to find the optimal values (or suboptimal) capacitors that make the circuit to achieve maximum efficiency or power output. An algorithm based on Monte Carlo method is presented to solve the proposed optimization problem and thus avoid direct analysis of the intricate system of equations resulting from the clearing of more than two capacitors. To experimentally verify the theoretical results of simulations a prototype was constructed which allows for linear variation and a controlled coefficient of coupling between the coils. The results are compared and, moreover, improved by the method of tuning the frequency.

Orientadores: Peter Jurgen Tatsch, Stanislav A. Moshkalyov / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-11T19:17:46Z (GMT). No. of bitstreams: 1 Besseler_Edmilson_M.pdf: 3143419 bytes, checksum: 2715af82a31f1728537a14b1764455a6 (MD5) Previous issue date: 2008 / Resumo: Esta dissertação apresenta as etapas do trabalho de construção de um Reator ICP destinado a processos de micro fabricação, mais precisamente, destinado a corrosões profundas de Silício a taxas de corrosões elevadas. O modelamento e as caracterizações do reator ICP foram feitas através de um protótipo e depois aplicadas a um equipamento da LAM Research que funcionava em modo RIE. Este foi adaptado para trabalhar em modo ICP, de acordo com os parâmetros obtidos no protótipo. Para isso, foi necessário a instalação do Equipamento e fornecer toda a infra-estrutura que este necessitava para seu funcionamento. Foram desenvolvidos casadores de impedância para ligação dos geradores de RF à bobina do ICP e do eletrodo de polarização da amostra, controladores de fluxo de gases, chaveadores manuais para válvulas pneumáticas, sistemas de refrigeração e tubulação de vácuo. O plasma foi caracterizado e alguns processos foram realizados com o intuído de mostrar o comportamento com relação à variação de parâmetros como pressão, potência, polarização da amostra, fluxo de gases, tempo de processo, área da lâmina exposta ao plasma e também o comportamento de diferentes tipos de máscaras. O Equipamento também foi preparado para que seja possível a comutação de gases, que futuramente será automática, de modo que se possa realizar corrosões e polimerizações consecutivas, como ocorre em processos Bosch. / Abstract: This dissertation shows the steps to building an ICP Reactor dedicated to micro fabrication process, further to deep etching of Silicon on high rates. The modeling and characterization of ICP Reactor has been done in a prototype and after applied on an RIE equipment from LAM Research, that was adapted to work in ICP mode like the prototype. To do it was necessary equipment installation and give it the infra structure needed to it works. A network matching was developed to connect the RF generator to ICP coil and to the electrode of wafer polarization, such as gas flow controllers, manual switches for pneumatic valves, cooling systems and vacuum pipes. The plasma was characterized and some processes has been realized in order to show the trends against some parameters variation as pressure, power, sample polarization (bias), gas flow, process time, wafer area exposed to the plasma and also the behavior of different kind of masks. The equipment is ready to switch some gases, which will be automatic in the future, to corrosion and polymerization consecutive process as at a Bosch process. / Mestrado / Eletrônica, Microeletrônica e Optoeletrônica / Mestre em Engenharia Elétrica

Nas últimas décadas, considerável atenção foi direcionada para os dispositivos de mensuração não invasiva da configuração e coordenação toracoabdominal. Dentre os dispositivos mais empregados, destaca-se aquele que emprega a Pletismografia Respiratória por Indutância (PRI) que, apesar de ser considerado um dispositivo de avaliação reprodutível e acurado, apresenta divergências acerca do método de calibração para estimativa da participação dos compartimentos torácico e abdominal, principalmente quando utilizada em diferentes posturas corporais. O padrão-ouro da calibração da PRI é o método de calibração por isovolume (ISOCAL). Entretanto, a grande maioria dos estudos emprega somente a calibração qualitativa diagnóstica (QDC) devido ao fato desta não necessitar manobras respiratórias específicas. Em vista disso, o objetivo deste estudo foi comparar os dois métodos de calibração da PRI, em 3 diferentes posturas (decúbito dorsal, sedestação e ortostatismo). Foram avaliados 28 indivíduos saudáveis (18 mulheres/10 homens), com idade de 25,4±3,9 anos (média±DP). Todos os indivíduos foram submetidos aos dois métodos de calibração (ISOCAL e QDC) e avaliados nas 03 posturas. Foi verificado que os valores da constante de proporcionalidade dos sinais elétricos dos compartimentos (K) foram distintos em ambos os métodos de calibração nas 3 posturas avaliadas. Os valores de K avaliados com a calibração ISOCAL e QDC foram, respectivamente, 1,6±0,5 vs. 2,0±1,2 em decúbito dorsal, 2,5±0,8 vs. 0,6±0,3 em sedestação, e 2,0±0,8 vs. 0,6±0,3 em ortostatismo (p<0,05 para todas as comparações). Os nossos resultados sugerem que a QDC não deve ser considerada um método acurado para a calibração da PRI. Além disso, os valores da constante K do ISOCAL mostram ainda que a calibração do equipamento deve ocorrer para cada postura avaliada / In recent decades, considerable attention has been directed to devices for noninvasive measurement of thoracoabdominal configuration and coordination. Among the most commonly applied devices, there is one that employs the respiratory inductive plethysmography (PRI), which, despite being considered a device for reproducible and accurate assessment, shows variations on the calibration method to estimate the contribution of the thoracic and abdominal compartments especially when applied in different body postures. The gold standard in the calibration of PRI is the method of isovolume calibration (ISOCAL). However, most studies employ only the qualitative diagnostic calibration (QDC) due to the fact that this does not require specific respiratory maneuvers. This study aims to compare the two methods of calibration of the PRI in three different postures (supine, standing, and seated). A total of 28 healthy subjects (18 men mulheres/10), aged 25.4 ± 3.9 years (mean ± SD). All subjects underwent both methods of calibration (QDC and ISOCAL) and assessed at the 03 postures. It was found that the values of the constant of proportionality of the electrical signals of compartments (K) were different in both calibration methods evaluated in three postures. The values of K evaluated with calibration ISOCAL and QDC were respectively 1.6 ± 0.5 vs. 2.0 ± 1.2 supine position, 2.5 ± 0.8 vs. 0.6 ± 0.3 in seated position, and 2.0 ± 0.8 vs. 0.6 ± 0.3 in standing position (p <0.05 for all comparisons). Our results suggest that the QDC should not be considered an accurate method for calibration of the PRI. Moreover, the values of constant K ISOCAL also show that the calibration of equipment should occur for each position evaluated

In this thesis we present a theoretical investigation of the feasibility of using a problem specific inductive bias for back-propagated neural networks. We argue that if a learning algorithm is biased towards optimizing a certain performance measure, it is plausible to assume that it will generate a higher performance score when evaluated using that particular measure. We use the term measure function for a multi-criteria evaluation function that can also be used as an inherent function in learning algorithms, in order to customize the bias of a learning algorithm for a specific problem. Hence, the term measure-based learning algorithms. We discuss different characteristics of the most commonly used performance measures and establish similarities among them. The characteristics of individual measures and the established similarities are then correlated to the characteristics of the backpropagation algorithm, in order to explore the applicability of introducing a measure function to backpropagated neural networks. Our study shows that there are certain characteristics of the error back-propagation mechanism and the inherent gradient search method that limit the set of measures that can be used for the measure function. Also, we highlight the significance of taking the representational bias of the neural network into account when developing methods for measure-based learning. The overall analysis of the research shows that measure-based learning is a promising area of research with potential for further exploration. We suggest directions for future research that might help realize measure-based neural networks. / The study is an investigation on the feasibility of using a generic inductive bias for backpropagation artificial neural networks, which could incorporate any one or a combination of problem specific performance metrics to be optimized. We have identified several limitations of both the standard error backpropagation mechanism as well the inherent gradient search approach. These limitations suggest exploration of methods other than backpropagation, as well use of global search methods instead of gradient search. Also, we emphasize the importance of taking the representational bias of the neural network in consideration, since only a combination of both procedural and representational bias can provide highly optimal solutions.

Grammar is one of the most discussed part of language learning. Many studentshave problems understanding how to use the grammatical forms in their ownproduction and communication. The purpose of this work is to investigate theteachers´ attitudes towards grammar and what methods they use when they teachgrammar. The method used in this work is qualitative, with four interviews ofteachers working in the Swedish high school. In order to determine how the teacherswork, we have studied the course plans presented by Skolverket and we have alsostudied what the current research have to say about this. The result shows that theinterviewed teachers mostly vary their methods, using both inductive and deductiveapproaches in order to promote the communicative competence of the students. Theinterviews also show that the teachers have a positive attitude towards grammar,considering it an important part of language learning.

Hybrid is a two-level logical framework that supports higher-order abstract syntax (HOAS), where a specification logic (SL) extends the class of object logics (OLs) we can reason about. We develop a new Hybrid SL and formalize its metatheory, proving weakening, contraction, exchange, and cut admissibility; results that greatly simplify reasoning about OLs in systems providing HOAS. The SL is a sequent calculus defined as an inductive type in Coq and we prove properties by structural induction over SL sequents. We also present a generalized SL and metatheory statement, allowing us to prove many cases of such theorems in a general way and understand how to identify and prove the difficult cases. We make a concrete and measurable improvement to Hybrid with the new SL formalization and provide a technique for abstracting such proofs, leading to a condensed presentation, greater understanding, and a generalization that may be instantiated to other logics.

The concept of a recursive function has been extensively studied using traditional tools of computability theory. However, with the development of category-theoretic methods it has become possible to study recursion in a more general (abstract) sense. The particular model this thesis is structured around is known as a Turing category. The structure within a Turing category models the notion of partiality as well as recursive computation, and equips us with the tools of category theory to study these concepts. The goal of this work is to build a formal language description of this computation model. Specifically, to use the Coq proof assistant to formulate informal definitions, propositions and proofs pertaining to Turing categories in the underlying formal language of Coq, the Calculus of Co-inductive Constructions (CIC). Furthermore, we have instantiated the more general Turing category formalism with a CIC description of the category which models the language of partial recursive functions exactly.

Orientador: Lucas Angioni / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-14T10:15:53Z (GMT). No. of bitstreams: 1 Barreto_CarolinaMuranakaSaliba_M.pdf: 1239803 bytes, checksum: 74ea070083168573fcbff1d1720b13de (MD5) Previous issue date: 2009 / Resumo: Com o fim da Guerra Fria os Estados Unidos se consolidam no cenário internacional como a única superpotência em termos políticos, militares e econômicos. A partir da queda do inimigo soviético, perspectivas emergem a fim de identificar quais ameaças seriam capazes de colocar em xeque a segurança nacional dos EUA. Neste período, estas novas ameaças foram definidas em duas instâncias, uma considerando as ameaças estatais, relativas aos estados hostis aos EUA bem como os estados delinqüentes os quais representavam ainda uma ameaça generalizada à segurança internacional, e a outra considerando as ameaças não estatais, focadas principalmente no terrorismo como fonte de insegurança e instabilidade internacional. Tendo isto em vista, essa dissertação analisará o documento National Security Strategy dos governos de George H. W. Bush (1989-1993), William J. Clinton (1993-2001) e George W. Bush (2001-2009) com o objetivo de compreender como este define as ameaças aos Estados Unidos, bem como estabelece prioridades estratégicas e objetivos, a fim de direcionar como as ameaças serão enfrentadas. Ao mesmo tempo, será feita uma contraposição entre a análise do documento e as ações desempenhadas pelos governos nas questões de segurança nacional. / Abstract: With the end of the Cold War the United States consolidate themselves in the international scenery as the only superpower in political, military and economic terms. Since the fall of the Soviet enemy, perspectives emerge in order to identify which threats would be able to put in check the national security of the USA. In this period, these new threats were defined in two instances, one considering the state actors, relative to hostile states to the USA as well as the rogue states which ones represented a generalized threat to the international security, and the other considering the non-state threats, focused mostly in the terrorism as a source of international insecurity and instability. Having this in mind, this dissertation will analyze the National Security Strategy release of the governments of George H. W. Bush (1989-1993), William J. Clinton (1993-2001) and George W. Bush (2001-2009) in order to comprehend how these documents define the threats to the United States, as well as how it establishes strategic and objective priorities in order to address how the threats will be faced, at the same time, will be made a comparison between the document analysis and the actions performed by the governments in the national security issues. / Mestrado / Filosofia Antiga / Mestre em Filosofia

O Aprendizado de Máquina trata da questão de como desenvolver programas de computador capazes de aprender um conceito ou hipótese a partir de um conjunto de exemplos ou casos observados. Baseado no conjunto de treinamento o algoritmo de aprendizado induz a classificação de uma hipótese capaz de determinar corretamente a classe de novos exemplos ainda não rotulados. Linguagens de descrição são necessárias para escrever exemplos, conhecimento do domínio bem como as hipóteses aprendidas a partir dos exemplos. Em geral, essas linguagens podem ser divididas em dois tipos: linguagem baseada em atributo-valor ou proposicional e linguagem relacional. Algoritmos de aprendizado são classificados como proposicional ou relacional dependendo da liguagem de descrição que eles utilizam. Além disso, no aprendizado simbólico o objetivo é gerar a classificação de hipóteses que possam ser facilmente interpretadas pelos humanos. Algoritmos de aprendizado proposicional utilizam a representação atributo-valor, a qual é inadequada para representar objetos estruturados e relações entre esses objetos. Por outro lado, a Programação lógica Indutiva (PLI) é realizada com o desenvolvimento de técnicas e ferramentas para o aprendizado relacional. Sistemas de PLI são capazes de aprender levando em consideração conhecimento do domínio na forma de um programa lógico e também usar a linguagem de programas lógicos para descrever o conhecimento induzido. Neste trabalho foi implementado um módulo chamado Kaeru para converter dados no formato atributo-valor para o formato relacional utilizado pelo sistema de PLI Aleph. Uma série de experimentos foram realizados com quatro conjuntos de dados naturais e um conjunto de dados real no formato atributo valor. Utilizando o módulo conversor Kaeru esses dados foram convertidos para o formato relacional utilizado pelo Aleph e hipóteses de classificação foram induzidas utilizando aprendizado proposicional bem como aprendizado relacional. É mostrado também, que o aprendizado proposicional pode ser utilizado para incrementar o conhecimento do domínio utilizado pelos sistemas de aprendizado relacional para melhorar a qualidade das hipóteses induzidas. / Machine Learning addresses the question of how to build computer programs that learn a concept or hypotheses from a set of examples, objects or cases. Descriptive languages are necessary in machine learning to describe the set of examples, domain knowledge as well as the hypothesis learned from these examples. In general, these languages can be divided into two types: languages based on attribute values, or em propositional languages, and relational languages. Learning algorithms are often classified as propositional or relational taking into consideration the descriptive language they use. Typical propositional learning algorithms employ the attribute value representation, which is inadequate for problem-domains that require reasoning about the structure of objects in the domain and relations among such objects. On the other hand, Inductive Logig Programming (ILP) is concerned with the development of techniques and tools for relational learning. ILP systems are able to take into account domain knowledge in the form of a logic program and also use the language of logic programs for describing the induced knowledge or hypothesis. In this work we propose and implement a module, named kaeru, to convert data in the attribute-value format to the relational format used by the ILP system Aleph. We describe a series of experiments performed on four natural data sets and one real data set in the attribute value format. Using the kaeru module these data sets were converted to the relational format used by Aleph and classifying hipoteses were induced using propositional as well as relational learning. We also show that propositional knowledge can be used to increment the background knowledge used by relational learners in order to improve the induded hypotheses quality.