Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-05-10T17:55:53Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertacao_lennon_chaves.pdf: 2813829 bytes, checksum: 48c3fbefe451491c81bbf9ddb680a318 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-05-10T17:56:13Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertacao_lennon_chaves.pdf: 2813829 bytes, checksum: 48c3fbefe451491c81bbf9ddb680a318 (MD5) / Made available in DSpace on 2018-05-10T17:56:14Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertacao_lennon_chaves.pdf: 2813829 bytes, checksum: 48c3fbefe451491c81bbf9ddb680a318 (MD5) Previous issue date: 2018-02-02 / During the last decades, model checking techniques have been applied to improve overall system reliability, in unmanned aerial vehicle (UAV) approaches. Nonetheless, there is little effort focused on applying those methods to the control-system domain, especially when it comes to the investigation of low-level implementation errors, which are related to digital controllers and hardware compatibility. The present study addresses the mentioned problems and proposes the application of a bounded model checking tool, named as Digital System Verifier (DSVerifier), to the verification of digital-system implementation issues, in order to investigate problems that emerge in digital controllers designed for UAV attitude systems. A verification methodology to search for implementation errors related to finite word-length effects ( e.g., arithmetic overflows and limit cycles), in UAV attitude controllers, is presented, along with its evaluation, which aims to ensure correct-by-design systems. Experimental results show that failures in UAV attitude control software used in aerial surveillance, which are hardly found by simulation and testing tools, can be easily identified by DSVerifier. / Durante as últimas décadas, técnicas de verificação de modelos tem sido utilizadas para melhorar a confiabilidade de sistemas, no que diz respeito a veículos aéreos não-tripulados (VANTs). Contudo, existem poucos esforços focados em aplicar esses métodos ao controle de sistemas, especialmente os relativos à investigação de erros de implementação de baixo nível, os quais estão relacionados a controladores digitais e compatibilidade de hardware. O presente trabalho aborda os problemas mencionados e propõe a aplicação de uma ferramenta de verificação limitada de modelos, conhecida como Digital System Verifier (DSVerifier) ou Verificador de Sistemas Digitais, à verificação de implementação de sistemas digiais, com o objetivo de investigar problemas em controladores digitais projetados para sistemas de atitude em VANTs. Apresenta-se uma metodologia de verificação para procurar por erros de implementação relacionados a efeitos de tamanho de palavra finita (i.e, estouros aritméticos e ciclos-limites), em controladores de atitude de VANTs, juntamente com sua avaliação, o que visa garantir a corretude desses sistemas. Resultados experimentais mostram que falhas encontradas em software de controle de atitude de VANTs usados em vigilância aérea, as quais são dificilmente encontradas pro simulação e ferramentas de teste, podem ser facilmente identificadas pelo DSVerifier.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-08-03T12:41:19Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Yadini P. Lopez.pdf: 3876547 bytes, checksum: b6ee2f55b965310100cf0116374ef994 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-08-03T12:41:35Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Yadini P. Lopez.pdf: 3876547 bytes, checksum: b6ee2f55b965310100cf0116374ef994 (MD5) / Made available in DSpace on 2018-08-03T12:41:36Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Yadini P. Lopez.pdf: 3876547 bytes, checksum: b6ee2f55b965310100cf0116374ef994 (MD5) Previous issue date: 2018-04-13 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Tuberculosis (TB) is a disease caused by a slow-growing bacterium named Mycobacterium tuberculosis (MT). Since 2000 has been included among the top 10 leading causes of death worldwide. In 2015, Brazil ranked eighteenth in TB incidence, representing 9% and 33% of the estimated cases worldwide and for the Americas respectively. Light field smear microscopy is the most commonly used exam in developing countries for diagnosis and follow-up of the disease. Since 2008, several researches have been developed focused on TB bacillus detection, aiming the automation of light field smear microscopy. These studies used datasets with different amounts of images, explored different color aspects of bacilli, and applied Digital Image Processing and / or Machine Learning techniques, and more recently, Deep Learning using Grayscale images. However, Deep Learning techniques have not been explored using a robust smear microscopy image dataset that reflect real conditions of smear microscopy exams. This work presents a method for automatic detection of TB bacillus using Convolutional Neural Networks (CNN) using a dataset of images taken from 2 patients in RGB, R-G and Grayscale color formats. To reach the proposed goal, a patch dataset containing bacilli (positive patches) and without bacilli (negative patches) was generated. This patch dataset was used for training three different RNC architectures. Then, Non-maximum Suppression (NMS) algorithm was applied using CNN models and complete smear images for bacillus detection. Best results in the patch classification stage were obtained using R-G and RGB images and two CNN models, achieving an accuracy of 99% in both cases. At final stage, Bacilli detection in full smear images, best results were achieved using RGB images reaching a Precision of 56,82%, Recall of 86,15% and F1-score of 68,47%. / A Tuberculose (TB) é uma doença causada por uma bactéria de crescimento lento, Mycobacterium tuberculosis (MT) e desde o ano 2000 tem sido incluída entre as dez causas principais de morte a nível mundial. No ano 2015 o Brasil ocupou a 18ª posição em incidência de tuberculose, representando 9% dos casos estimados no mundo, e 33% dos estimados para as Américas. O exame de baciloscopia de campo claro é o mais utilizado em países em desenvolvimento para o diagnóstico e acompanhamento da doença. Desde o ano de 2008 têm sido desenvolvidos trabalhos pela comunidade científica focados na detecção do bacilo da TB visando a automatização da baciloscopia de campo claro. Esses estudos utilizaram bases de dados com diferentes quantidades de imagens, exploraram aspectos de cor dos bacilos e aplicaram técnicas de Processamento Digital de Imagens e/ou Aprendizado de Máquina, e mais recentemente Aprendizado de Máquina Profundo. Entretanto, verificou-se que técnicas de Aprendizado de Máquina Profundo não têm sido exploradas utilizando bases de dados de imagens de baciloscopia robustas que refletem as condições reais dos exames de baciloscopia de campo claro. O presente trabalho visa o desenvolvimento de um método de detecção automática do bacilo da TB mediante a utilização de Redes Neurais Convolutivas (RNC), utilizando conjuntos de imagens baciloscópicas de 2 pacientes nos formatos de cor RGB, R-G e Escala de Cinza. Para atingir o objetivo proposto, foi gerada uma base de dados de patches contendo bacilos (positivos) e patches sem bacilos (negativos), os quais foram utilizados no treinamento de três arquiteturas diferentes de RNC. Posteriormente, foi aplicado o algoritmo Non-maximum Suppression utilizando imagens completas de baciloscopia para detectar cada bacilo. Os melhores resultados na etapa de classificação de patches foram obtidos utilizando as imagens de baciloscopia R-G e RGB e dois modelos RNC de duas e três camadas convolutivas, alcançando uma acurácia de 99%. Na etapa final de detecção dos bacilos nas imagens completas de baciloscopia os melhores resultados foram alcançados utilizando as imagens no formato RGB atingindo um Precision de 56,82%, um Recall de 86,15% e um F1-score de 68,47%.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-09-11T13:46:43Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação Pericles Balderrama.pdf: 2562430 bytes, checksum: 225d4c2dd608f78114e9938de2d5861a (MD5) / Made available in DSpace on 2018-09-11T13:46:43Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação Pericles Balderrama.pdf: 2562430 bytes, checksum: 225d4c2dd608f78114e9938de2d5861a (MD5) Previous issue date: 2018-02-09 / This dissertation proposes a heuristic that uses the concept of market and the process of price formation as guidelines for the generation of routes in a factory plant scenario. The assumption is that the economic market is efficient in allocating scarce resources and that the price agglutinates in a single number the complexity of the productive process, simplifying the system of evaluation of economic agents. In this way, the price is adopted as the main variable in the selection of the sections that compose the routes. The price definition considered in the proposal differs from the cost per an updated variable considering only the market, that is, the interactions between economic agents. The market is modeled and implemented to simulate the movement of inputs in a manufacturing space, this space consisting of production cells interconnected by a transport grid in which the mobile robots carry inputs between the central warehouse and the production cells. In the proposed context robots are consumer economic agents and the crate of the grid are the traded products, there is a vendor that caters to all the robots. In the implementation of the proposed heuristic the Dijkstra algorithm is used to detect to the stretches that form the route with the minimum price in the market at a certain instant / Este trabalho propõe uma heurística que utiliza o conceito de mercado e no processo de formação de preço como diretrizes para a geração de rotas em um cenário de uma planta fabril. Assume-se como premissa que o mercado econômico é eficiente em alocar os recursos escassos e que o preço aglutina em um único número a complexidade do processo produtivo, simplificando o sistema de avaliação dos agentes econômicos. Desta forma, adota-se o preço como principal variável na seleção dos trechos que compõem as rotas. A definição de preço considerada na proposta diferencia-se do custo por se uma variável atualizada considerando unicamente o mercado, ou seja, as interações entre os agentes econômicos. O mercado é modelado e implementado para simular a movimentação de insumos em um espaço fabril, espaço este constituido por células de produção interligadas por uma grade de transporte na qual os robôs moveis transportam insumos entre o deposito central e as células de produção. No contexto proposto os robôs são agentes econômicos consumidores e os treicho da grade são os produtos negociados, existe um vendedor que atende a todos o conjunto de robôs. Na implementação da heurística proposta o algoritmo Dijkstra é utilizado para detectar aos trechos que forma a rota com o preço mínimo no mercado em determinado instante.

Submitted by Adriely Bruce (adriely_bruce@hotmail.com) on 2016-12-16T12:57:38Z No. of bitstreams: 1 Dissertação - Wollace de Souza Picanço.pdf: 4678200 bytes, checksum: ce699259498922bd5dc6ac7bd7698e03 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-12-22T15:17:22Z (GMT) No. of bitstreams: 1 Dissertação - Wollace de Souza Picanço.pdf: 4678200 bytes, checksum: ce699259498922bd5dc6ac7bd7698e03 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-12-22T15:18:43Z (GMT) No. of bitstreams: 1 Dissertação - Wollace de Souza Picanço.pdf: 4678200 bytes, checksum: ce699259498922bd5dc6ac7bd7698e03 (MD5) / Made available in DSpace on 2016-12-22T15:18:43Z (GMT). No. of bitstreams: 1 Dissertação - Wollace de Souza Picanço.pdf: 4678200 bytes, checksum: ce699259498922bd5dc6ac7bd7698e03 (MD5) Previous issue date: 2016-01-29 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / The production of new approaches using the technological resources in the teaching-learning process has grown in the educational environment. Therefore, the use of educational applications focused on robotics, is facilitating learning in education. However, engineering students, specifically in the discipline of programming languages are difficult to learn the standardized method to communicate instructions to a computer station. This dissertation addresses the frames of dedicated resources and methods of cooperative-competitive learning in order to facilitate the process of learning programming languages. It also seeks to define a software architecture to manipulate a robot in the real learning environment. The purpose is to promote a tool to assist in interpreting programming language instructions by a robot. The architecture definition process and set of methods to manipulate the robot was held to assist the difficulties encountered in students the discipline of programming languages. From these findings, it was possible to develop a system model, specific to the C programming language The prototype built in this paper is different from commercial products, because it took into account the adaptation of cooperative and competitive learning method. We attempted to offer an option that facilitates the editing of source code and its interpretation as to its use in the teaching-learning process. The evaluation process of the prototype was carried out by the methods of Usability Engineering. Based on results of experiments show that the environment has contributed to the process of teaching-learning programming languages. Therefore, the usability of the measurement criteria established by the ISO 9241 standard, claim that the proposal is another tool I support technological resources that can be used in education. / A produção de novas abordagens utilizando os recursos tecnológicos no processo de ensino-aprendizagem vem crescendo no ambiente educativo. Por conseguinte, o uso de aplicações educativas voltada para a robótica, vem facilitando a aprendizagem na educação. No entanto, alunos de engenharia, especificamente na disciplina de linguagens de programação encontram dificuldades em aprender o método padronizado que comunicar instruções para um computador. Esta dissertação aborda o uso de frameworks dedicados e métodos de aprendizagem cooperativa-competitiva com a finalidade de facilitar o processo de ensino de linguagens de programação. Além disso, visa definir uma arquitetura de software para manipular um robô no ambiente real de aprendizagem. O propósito é promover uma ferramenta que auxilie na interpretação das instruções de linguagem de programação por meio de um robô. O processo de definição da arquitetura e do conjunto de métodos para manipular o robô, foi realizado para auxiliar as dificuldades encontradas nos estudantes da disciplina de linguagens de programação. A partir dessas verificações, foi possível elaborar um modelo de sistema, específico para linguagem de programação C. O protótipo construído neste trabalho se diferencia de produtos comerciais, pois se levou em consideração a adaptação do método de aprendizagem cooperativa e competitiva. Buscou-se oferecer uma opção que facilitasse a edição do código-fonte e de sua interpretação quanto ao seu uso no processo de ensino-aprendizagem. O processo de avaliação do protótipo foi realizado por meio dos métodos da Engenharia da Usabilidade. Os resultados obtidos nos experimentos demonstram que o ambiente contribuiu para o processo de ensino-aprendizagem de linguagens de programação. Portanto, os critérios de medição da usabilidade estabelecidos pela norma ISO 9241, afirmam que a ferramenta proposta é mais um apoio de recursos tecnológicos que pode ser utilizada na educação.

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2018-09-21T17:00:26Z No. of bitstreams: 1 Guilherme Ferreira Lopes_.pdf: 4084198 bytes, checksum: ddd09816e33c4ef8fac72a3f74fcc9d5 (MD5) / Made available in DSpace on 2018-09-21T17:00:26Z (GMT). No. of bitstreams: 1 Guilherme Ferreira Lopes_.pdf: 4084198 bytes, checksum: ddd09816e33c4ef8fac72a3f74fcc9d5 (MD5) Previous issue date: 2018-05-28 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A memória NAND Flash lidera o mercado de memórias não voláteis por prover soluções para aplicações móveis, juntando alta densidade de armazenamento em uma área de silício muito pequena e consumindo pouca energia (RICHTER, 2014). Devido à mecanismos específicos para a realização de operações na memória, elas se tornam suscetíveis à falhas funcionais de interferências, assim aumentando a importância do teste(HOU; LI, 2014). Esta dissertação apresenta o projeto de um modelo funcional de memória NAND Flash com inserção de falhas caracterizadas em 2 etapas, a primeira etapa ocorreu utilizando a ferramenta LogisimTM, projetada para desenvolver e simular circuitos lógicos de forma que possam ser apresentados visualmente, a segunda etapa consistiu no desenvolvimento também de forma modular e escalar em linguagem de descrição de hardware (VHDL). As 2 ferramentas possuem a implementação de um circuito de injeção de falhas, capaz de simular e aplicar falhas funcionais de interferência e stuck-at na memória desenvolvida. Com base no modelo comercial de memórias NAND Flash, o trabalho visa desenvolver os circuitos presentes na memória, respeitando a organização dos sinais e a organização das células em páginas e blocos, sendo uma característica específica para memórias NAND Flash. Após o desenvolvimento do modelo funcional, ocorreu a primeira etapa de verificação e validação da memória, composta pela varredura de endereços, criação e comparação dos valores esperados com valores de saída e utilização de algoritmos de teste para a validação final, finalizando o projeto com a verificação e validação de cada falha injetada para que assim tenha-se um modelo funcional de uma memória NAND Flash capaz de inserir uma determinada falha na posição exata da matriz de memória. Após a modelagem realizou-se simulações para avaliar aplicabilidade do projeto desenvolvido e os resultados mostram o atingimento de 100% de cobertura das falhas desenvolvidas, chegando ao objetivo de criar um modelo funcional para possibilitar a inserção de falhas foi atingido.

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2018-10-01T11:47:12Z No. of bitstreams: 1 Márcio Rafael Stracke_.pdf: 1667083 bytes, checksum: 7f8c37d9c5a822527980feaaec50278e (MD5) / Made available in DSpace on 2018-10-01T11:47:13Z (GMT). No. of bitstreams: 1 Márcio Rafael Stracke_.pdf: 1667083 bytes, checksum: 7f8c37d9c5a822527980feaaec50278e (MD5) Previous issue date: 2018-06-06 / HT Micron / Com o avanço da microeletrônica, cada vez mais surgem dispositivos eletrônicos portáteis. Isso traz diversos desafios à cadeia de semicondutores, desde o projeto, no desenvolvimento de circuitos integrados menores e mais eficientes até o encapsulamento, uma vez que os componentes tem ficado menores, mais finos e com um número maior de pinos de entrada e saída. Esses desafios estão presentes em todos os processos de fabricação de um chip e podemos citar a moldagem como um processo crítico em especial. A tecnologia de moldagem por transferência, que está consolidada e é a principal utilizada neste processo, necessita de cuidados especiais na otimização de seus parâmetros e materiais, tendo em vista os fatores citados e a consequente redução do diâmetro dos fios que realizam a interconexão do die com o substrato. Neste cenário, o wire sweep, que é o arraste destes fios de solda devido ao escoamento do encapsulante, acaba se tornando um problema, já que perdas no processo de moldagem implicam em sucatear o componente. A taxa de falhas devido a este tipo de falha podem chegar a 2,5%, segundo estudos de grandes fabricantes da cadeia de semicondutores divulgado em (SANDGREN; ROTH, 2004). Neste trabalho foi simulado o processo de moldagem de memórias DRAM com encapsulament do tipo BOC BGA, utilizando o módulo de FSI do software COMSOL. Os resultados da razão de wire sweep obtidos na simulação ficaram dentro do intervalo da média com um desvio padrão, na comparação com os valores reais medidos em peças fabricadas na condição simulada, tendo como erro máximo 15,26%. / The advancement of microelectronics makes more and more portable electronic devices emerge in our daily lives. This brings a number of challenges to the semiconductor chain, from design, to the development of smaller and more efficient integrated circuits to encapsulation, since the components have become smaller, thinner, and with a larger number of input and output pins. These challenges are present in all chip fabrication processes and we can define molding as a critical process in particular. The transfer molding technology, which is consolidated and the main one used in this process, requires special care in the optimization of its parameters and materials, since there are more and shorter wires realizing the connection between the die and the substrate. The wire sweep, which is the entrainment of the wires due to the flow of the mold compound, becomes a problem, since losses in the molding process imply scrapping the component. The failure rate due to this type of failure can reach 2.5%, according to studies by major semiconductor chain manufacturers disclosed in (SANDGREN; ROTH, 2004). In this project the DRAM memory molding process with BOC BGA encapsulation type was simulated using the FSI module in COMSOL software. Results of wire sweep ratio obtained are within the average adding or subtracting one standard deviation and the maximum error rate ranging was 15.26% considering manufactured boards using the simulation parameters.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-06-29T14:42:16Z No. of bitstreams: 1 Pablo Eduardo Pereira de Araujo Cottens_.pdf: 1315690 bytes, checksum: 78ac4ce471c2b51e826c7523a01711bd (MD5) / Made available in DSpace on 2016-06-29T14:42:16Z (GMT). No. of bitstreams: 1 Pablo Eduardo Pereira de Araujo Cottens_.pdf: 1315690 bytes, checksum: 78ac4ce471c2b51e826c7523a01711bd (MD5) Previous issue date: 2016-03-07 / Nenhuma / Normalmente Redes Neurais Artificiais (RNAs) necessitam estações de trabalho para o seu processamento, por causa da complexidade do sistema. Este tipo de arquitetura de processamento requer que instrumentos de campo estejam localizados na vizinhança da estação de trabalho, caso exista a necessidade de processamento em tempo real, ou que o dispositivo de campo possua como única tarefa a de coleta de dados para processamento futuro. Este projeto visa criar uma arquitetura em lógica programável para um neurônio genérico, no qual as RNAs podem fazer uso da natureza paralela de FPGAs para executar a aplicação de forma rápida. Este trabalho mostra que a utilização de lógica programável para a implementação de RNAs de baixa resolução de bits é viável e as redes neurais, devido à natureza paralelizável, se beneficiam pela implementação em hardware, podendo obter resultados de forma muito rápida. / Currently, modern Artificial Neural Networks (ANN), according to their complexity, require a workstation for processing all their input data. This type of processing architecture requires that the field device is located somewhere in the vicintity of a workstation, in case real-time processing is required, or that the field device at hand will have the sole task of collecting data for future processing, when field data is required. This project creates a generic neuron architecture in programmabl logic, where Artifical Neural Networks can use the parallel nature of FPGAs to execute applications in a fast manner, albeit not using the same resolution for its otputs. This work shows that the utilization of programmable logic for the implementation of low bit resolution ANNs is not only viable, but the neural network, due to its parallel nature, benefits greatly from the hardware implementation, giving fast and accurate results.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-08-02T17:10:41Z No. of bitstreams: 1 Agner Grion_.pdf: 2314653 bytes, checksum: cb04ed0d87d4cb71461f526d2c611f04 (MD5) / Made available in DSpace on 2016-08-02T17:10:41Z (GMT). No. of bitstreams: 1 Agner Grion_.pdf: 2314653 bytes, checksum: cb04ed0d87d4cb71461f526d2c611f04 (MD5) Previous issue date: 2016-06-17 / Nenhuma / Atualmente os sensores magnéticos estão presentes em uma grande variedade de equipamentos, tais como computadores, automóveis, aviões, instrumentos médicos e industriais. Em muitas destas aplicações os sensores magnéticos oferecem meios seguros e não invasivos de detecção e são mais confiáveis do que outras tecnologias. A corrente elétrica em um condutor gera um campo magnético que pode ser detectado por este tipo de sensor. Este trabalho tem como objetivo definir um encapsulamento dedicado a um sensor de corrente elétrica que utiliza uma MTJ (Junção Túnel Magnética) como dispositivo de detecção. No desenvolvimento foram analisadas diferentes propostas de encapsulamentos através do software de modelagem COMSOLR . Os resultados obtidos com a análise térmica, magnética e a avaliação dos custos relativos de produção entre estas propostas levaram a definição de um encapsulamento para a aplicação pretendida. / Nowadays there are magnetic sensors in a wide variety of equipment such as computers, cars, airplanes, medical and industrial instruments. In many of these applications the magnetic sensors offer safe and non-invasive means of detection and are more reliable than others technologies. The electric current in a conductor generates a magnetic field detected by this type of sensor. This work aims to define a package dedicated to an electrical current sensor using a MTJ (Magnetic Tunnel Junction) as a sensing device. Different proposals of packaging were analyzed by COMSOLR modeling software. The results obtained from the thermal and magnetic analysis and the relative costs of production between these proposals led to the definition of a package to the intended application.

Made available in DSpace on 2015-04-22T22:00:47Z (GMT). No. of bitstreams: 1 jose.pdf: 2255469 bytes, checksum: cebe37770c4719e5ebf2b60e4ae0d2a6 (MD5) Previous issue date: 2013-06-07 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Currently, the majority of multicarrier transmission systems are based on the Fourier transform, which is used as frequency multiplexing technique. The main advantages of this approach include multipath immunity and low computational complexity, due to the use of a family of fast algorithms, known as Fast Fourier Transform (FFT). However, when used to provide a robust transmission, this technique presents some disadvantages, like the need for a cyclic prefix, which demands part of the useful datarate. In this work, a study for verifying the possibility of replacing the FFT, by the wavelet transform, was carried out, which has the potential to raise some advantages, such as the removal of the cyclic prefix and a simpler synchronization procedure. A computational model for the transmission layer of the Integrated Services Digital Broadcasting Terrestrial, Brazilian version (ISDB-Tb) was created, aiming to provide a direct comparison between two versions: the traditional one, which is based on FFT, and a new proposal, which is based on wavelets. Such an evaluation was performed through the relation between error bit rate and signal-to-noise ratio, in additive white gaussian noise, Rayleigh and Rician fading and also in frequency-selective Rayleigh fading channels. Similar comparisons were also performed for the ETSI TS 101 475 (HIPERLAN-2) and Digital Video Broadcasting Terrestrial (DVB-T) systems. The simulation results show that the wavelet-based systems present a similar performance, when compared with the FFT-based ones, for the chosen channel models, and without employing a cyclic prefix, which allows a more efficiente spectrum use. / Atualmente, uma grande parte dos sistemas de transmissão multiportadoras é baseada na transformada de Fourier, como técnica de multiplexação em frequência. Dentre as suas principais vantagens, encontram-se a imunidade a multipercursos e a baixa complexidade computacional, através de algoritmos rápidos conhecidos como Fast Fourier Transform (FFT). Esta técnica, entretanto, para proporcionar uma transmissão robusta, apresenta a desvantagem de exigir prefixo cíclico, o que resulta no consumo de uma fatia do espectro útil. Neste trabalho, um estudo para se verificar a viabilidade de substituição da FFT pela transformada wavelet foi realizado, o que promete trazer algumas vantagens, tais como a não exigência de prefixo cíclico e uma sincronização mais simples. Um modelo computacional para a camada de transmissão do Integrated Services Digital Broadcasting - Terrestrial, Brazilian version (ISDB-Tb) foi criado, com o objetivo de proporcionar uma comparação entre duas versões: a atual, baseada em FFT, e uma nova proposta, baseada em wavelets. Tal avaliação foi realizada em termos das curvas de taxa de erro de bit versus relação sinal ruído, em canais com adição de ruído gaussiano branco, com desvanecimento plano de Rayleigh e Rice e também com desvanecimento seletivo em frequência de Rayleigh. Comparações similares também foram realizadas para os sistemas ETSI TS 101 475 (HIPERLAN-2) e Digital Video Broadcasting Terrestrial (DVB-T). Os resultados obtidos mostram que os sistemas baseados em wavelets apresentam desempenhos similares aos dos baseados em FFT, para os modelos de canal simulados, com a vantagem adicional de não utilizarem prefixo cíclico, o que promove um uso mais eficiente do espectro.

Made available in DSpace on 2015-04-22T22:00:51Z (GMT). No. of bitstreams: 1 Dissertacao Final Gisele Lira.pdf: 2945367 bytes, checksum: 57a06468ad5309a2985be8b8ca0281d4 (MD5) Previous issue date: 2010-08-27 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / The sub-actuated mechanical system of the double inverted pendulum on a cart is a complex subject in the field of control theory. The main reason researchers have focus their attention on this system is its characteristic difficulty on balancing two rods in vertical only using the movement of the cart. Although the evolution of the control theory throughout the years, the development of a robust controller is still an open question. In order to provide a study on more efficient control techniques, considering aspects of efficiency and robustness, we performed a comparative study from which we chose the most appropriate to make part of the model presented in this work. Since there is no a common standard in the different control laws applied to the system, it is modeled, linearized and its dynamic movements are studied. Three control techniques are designed to this modeled system: linear quadratic regulator (LQR), fuzzy logic control and sliding mode control. To the last technique we applied an improvement in the switching function in order to decrease the effects of the chattering problem, using the saturation function. The asymptotic stability of the sliding mode surfaces in each one of these subsystems is proved theoretically using the Barbalat s lemma and the Lyapunov stability. The results of the simulations to the LQR and fuzzy control applied to the linearized system proved its efficiency in stabilizing the system, and the fuzzy controller as a better approximation of the state variables of the equilibrium point, however, their response is slow. The results with the sliding mode controller also present better results when compared to the LQR, with a faster response. The results with the hierarchical sliding mode controller proved its efficiency in face of the uncertainty of the system and the function used to decrease the effects of the chattering problem showed itself useful. / O sistema mecânico sub-atuado duplo pêndulo invertido sobre um carro é um sistema complexo em termos da teoria de controle. O principal motivo de interesse de pesquisadores por este sistema é a dificuldade característica deste sistema em equilibrar duas hastes na vertical apenas com o movimento do carro. Apesar da evolução da teoria de controle ao longo dos anos, o desenvolvimento de um controlador robusto ainda é uma questão aberta. A fim de promover uma análise sobre as técnicas de controle existentes, considerando aspectos de eficiência e robustez, um estudo comparativo foi realizado e, a partir dele, foram escolhidas as mais eficientes para fazer parte do modelo proposto neste trabalho. Devido a dificuldade de padronização entre as diferentes leis de controle aplicadas ao sistema, o mesmo é modelado, linearizado e seus movimentos dinâmicos são estudados. Três técnicas de controle são projetadas para este sistema modelado, sendo elas regulador linear quadrático LQR, controle por lógica fuzzy e controle por modo deslizante. Para este último aplicamos uma melhoria na função de chaveamento visando a atenuação do problema de chattering, utilizando a função de saturação. A estabilidade assintótica das superfícies de modo deslizante de cada um destes subsistemas é provada teoricamente usando o lema de Barbalat e a teoria de estabilidade de Lyapunov. Os resultados de simulações para o controle LQR e fuzzy aplicados ao sistema linearizado comprovam sua eficiência na estabilização do sistema, sendo que o controlador fuzzy possui uma melhor aproximação das variáveis de estado do ponto de equilíbrio, contudo, sua resposta é lenta. Os resultados com o controlador por modo deslizante apresentam também melhores resultados frente ao LQR, com uma resposta mais rápida. Os resultados com o controlador por modo deslizante hierárquico comprovam sua eficiência frente às incertezas do sistema e a função utilizada para atenuação do fenômeno de chattering mostrou-se eficaz.