Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2018-02-15T13:47:25Z No. of bitstreams: 1 JonathaRevoredoLeiteDaFonseca_DISSERT.pdf: 6647169 bytes, checksum: 89682e384a5fef047471acede0d629b4 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-02-20T21:24:35Z (GMT) No. of bitstreams: 1 JonathaRevoredoLeiteDaFonseca_DISSERT.pdf: 6647169 bytes, checksum: 89682e384a5fef047471acede0d629b4 (MD5) / Made available in DSpace on 2018-02-20T21:24:35Z (GMT). No. of bitstreams: 1 JonathaRevoredoLeiteDaFonseca_DISSERT.pdf: 6647169 bytes, checksum: 89682e384a5fef047471acede0d629b4 (MD5) Previous issue date: 2017-07-06 / Este trabalho tem como objetivo propor uma Smart Grid composta por duas subesta??es para a implanta??o da t?cnica de self healing utilizando o Simulador Digital em Tempo Real (RTDS ? Real Time Digital Simulator) e rel?s de prote??o IEDs (Intelligent Electronic Devices) com comunica??o atrav?s da padr?o IEC 61850 entre eles. Nas redes el?tricas de distribui??o, t?cnicas de recomposi??o autom?tica (self healing) podem ser usadas com o intuito de diminuir os tempos com a perda do fornecimento de energia el?trica aos consumidores ocasionado por curto-circuito, diminuindo assim os preju?zos aos consumidores e em decorr?ncia de multas. A metodologia aplicada ? baseada na modelagem do circuito proposto no RTDS, que ? monitorado em tempo real. S?o simulados v?rios tipos de curtos-circuitos em diferentes pontos do sistema e, na ocorr?ncia de cada falta gerada, o programa desenvolvido analisa os dados do sistema pr? e p?s falta, isolando o trecho do circuito afetado e ir? reconfigurar automaticamente a rede de forma a restabelecer o fornecimento de energia para as cargas afetadas. A escolha do arranjo final da rede, ap?s o processo de reconfigura??o autom?tica, ser? baseada em um processo de otimiza??o intitulado Reconfigura??o por Soma de Pot?ncias ? RSP. A comunica??o entre o RTDS e os IEDs (que fazem a prote??o de parte do sistema) utiliza o padr?o IEC 61850 com troca de mensagens GOOSE (Generic Object Oriented Substation Event) aplicando os aspectos relevantes desse padr?o. / This work aims to propose a Smart Grid composed of two substations for the implementation of the self healing technique using Real Time Digital Simulator (RTDS) and IED (Intelligent Electronic Devices) protection relays with communication through standard IEC 61850 between them. In distribution networks, self healing techniques can be used in order to reduce the times with the loss of electricity supply to consumers caused by a short circuit, thus reducing the losses to consumers and due to fines. The methodology applied is based on the proposed circuit modeling in the RTDS, which is monitored in real time. Several types of short circuits are simulated at different points in the system and, in each fault generated, the program developed analyze the pre and post fault system data, isolating the section affected and automatically reconfiguring the circuit to restore the power supply to the affected loads. The choice of the final network arrangement, after the automatic reconfiguration process, is based on an optimization process called Reconfiguration by Power Addition - RPA .Communication between RTDS and IEDs (which protect part of the system) use the IEC 61850 standard with GOOSE (Generic Object Oriented Substation Event) message exchange applying the relevant aspects of this standard.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2018-02-15T14:15:45Z No. of bitstreams: 1 MarianaDantasEViana_DISSERT.pdf: 9047327 bytes, checksum: 97895ea6cea481f15e750dc96d9f714e (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-02-20T22:03:23Z (GMT) No. of bitstreams: 1 MarianaDantasEViana_DISSERT.pdf: 9047327 bytes, checksum: 97895ea6cea481f15e750dc96d9f714e (MD5) / Made available in DSpace on 2018-02-20T22:03:23Z (GMT). No. of bitstreams: 1 MarianaDantasEViana_DISSERT.pdf: 9047327 bytes, checksum: 97895ea6cea481f15e750dc96d9f714e (MD5) Previous issue date: 2017-09-15 / Constantemente as concession?rias de energia el?trica v?m sendo auditadas pelo agente regulador para a melhoria dos indicadores de continuidade e qualidade dos servi?os prestados aos seus consumidores. Diante disso as distribuidoras de energia investem constantemente na melhoria das redes de distribui??o de energia como ? o caso de instala??o de dispositivos telecomandados visando ? reconfigura??o autom?tica dos circuitos em caso de defeito na rede alimentando os consumidores que ficam ilhados de forma r?pida observando as condi??es operacionais dos circuitos. Neste cen?rio, esse trabalho prop?e um projeto que visa ? melhoria de indicadores de continuidade de um conjunto el?trico da Companhia Energ?tica do Estado do Rio Grande do Norte (COSERN), concession?ria com sede na cidade de Natal/RN, atrav?s de reconfigura??o autom?tica, ap?s indica??es de pontos espec?ficos na rede de dispositivos automatizados. / The concessionaries of electric power have been audited constantly by the regulating agent for improving the continuity indicators and quality of services provided to its customers. Based on that , the energy distribution constantly invest in improving the energy distribution networks such as installation of remote control devices aim automatic reconfiguration of the circuits in case of defect in the power in the electric grid that supplies the consumers when they are in a difficult situation so fast , observing the operating condition of the circuit . In this scenario, this work proposes a project so that aims to improve the continuity indicators of a electric set of the Companhia Energ?tica do Estado do Rio Grande do Norte, energy provider located in Natal/RN , by automatic reconfiguration , after indication of specific points in the electric grid of the automated devices

Submitted by Alex Sandro R?go (alex@ifpb.edu.br) on 2016-11-25T12:52:37Z No. of bitstreams: 1 17- Nieremberg Jos? Pereira de Lyra Ramos - CARACTERIZA??O DE ANTENA TIPO REFLETOR DE CANTO UTILIZANDO SUPERF?CIES SELETIVAS EM FREQU?NCIA.compressed.pdf: 5329530 bytes, checksum: f1f959c66696a52e9b913b229e1c5ccd (MD5) / Approved for entry into archive by Alex Sandro R?go (alex@ifpb.edu.br) on 2016-11-25T12:53:29Z (GMT) No. of bitstreams: 1 17- Nieremberg Jos? Pereira de Lyra Ramos - CARACTERIZA??O DE ANTENA TIPO REFLETOR DE CANTO UTILIZANDO SUPERF?CIES SELETIVAS EM FREQU?NCIA.compressed.pdf: 5329530 bytes, checksum: f1f959c66696a52e9b913b229e1c5ccd (MD5) / Made available in DSpace on 2016-11-25T12:53:29Z (GMT). No. of bitstreams: 1 17- Nieremberg Jos? Pereira de Lyra Ramos - CARACTERIZA??O DE ANTENA TIPO REFLETOR DE CANTO UTILIZANDO SUPERF?CIES SELETIVAS EM FREQU?NCIA.compressed.pdf: 5329530 bytes, checksum: f1f959c66696a52e9b913b229e1c5ccd (MD5) Previous issue date: 2016-11-25 / O surgimento de novas aplica??es que utilizam a tecnologia da transmiss?o sem fio representa um desenvolvimento expressivo nos sistemas de telecomunica??es. Por?m agregado a esse desenvolvimento tem surgido novos problemas devido a limita??es do espectro eletromagn?tico. Uma alternativa para mitigar esses problemas ? o uso de antenas inteligentes capazes de direcionar as ondas eletromagn?ticas, evitando interferir em outros equipamentos. Uma forma de fabrica??o de antenas inteligentes utiliza superf?cies seletivas em frequ?ncia, estas s?o capazes de refletir ou permitir a passagem de ondas eletromagn?ticas, dependendo da sua frequ?ncia. Visando evitar que a antena interfira em outros sistemas, busca-se que essa tenha uma melhor diretividade, minimizando a energia de l?bulos secund?rios em dire??es distintas ? dire??o de propaga??o do projeto. A antena tipo refletor de canto se apresenta como um bom tipo de antena diretiva, pois apresenta uma boa rela??o frente/costas. Este trabalho tem como proposta a utiliza??o de superf?cies seletivas em frequ?ncia para a fabrica??o de antenas tipo refletor de canto com abertura de 60?. O dimensionamento da estrutura, o ajuste da resposta em frequ?ncia e a sua poss?vel reconfigura??o, utilizando comuta??o, s?o aspectos abordados neste trabalho. Para a an?lise num?rica das estruturas s?o utilizados os aplicativos da ANSYS, que fazem uso do m?todo dos momentos e m?todo dos elementos finitos. S?o apresentadas as compara??es entre os resultados obtidos na caracteriza??o num?rica e experimental. Ao analisar os resultados obtidos, ? poss?vel observar uma boa concord?ncia, o que valida os processos utilizados.

Made available in DSpace on 2014-12-17T14:55:12Z (GMT). No. of bitstreams: 1 LeonardoAC_TESE.pdf: 2904145 bytes, checksum: 71e85899a3f895d52ccee194769fd506 (MD5) Previous issue date: 2013-07-11 / In academia, it is common to create didactic processors, facing practical disciplines in the area of Hardware Computer and can be used as subjects in software platforms, operating systems and compilers. Often, these processors are described without ISA standard, which requires the creation of compilers and other basic software to provide the hardware / software interface and hinder their integration with other processors and devices. Using reconfigurable devices described in a HDL language allows the creation or modification of any microarchitecture component, leading to alteration of the functional units of data path processor as well as the state machine that implements the control unit even as new needs arise. In particular, processors RISP enable modification of machine instructions, allowing entering or modifying instructions, and may even adapt to a new architecture. This work, as the object of study addressing educational soft-core processors described in VHDL, from a proposed methodology and its application on two processors with different complexity levels, shows that it s possible to tailor processors for a standard ISA without causing an increase in the level hardware complexity, ie without significant increase in chip area, while its level of performance in the application execution remains unchanged or is enhanced. The implementations also allow us to say that besides being possible to replace the architecture of a processor without changing its organization, RISP processor can switch between different instruction sets, which can be expanded to toggle between different ISAs, allowing a single processor become adaptive hybrid architecture, which can be used in embedded systems and heterogeneous multiprocessor environments / No meio acad?mico, ? comum a cria??o de processadores denominados did?ticos, voltados para pr?ticas de disciplinas de hardware na ?rea de Computa??o e que podem ser utilizados como plataformas em disciplinas de softwares, sistemas operacionais e compiladores. Muitas vezes, tais processadores s?o descritos sem uma ISA padr?o, o que exige a cria??o de compiladores e outros softwares b?sicos para prover a interface hardware/software dificultando sua integra??o com outros processadores e demais dispositivos. Utilizar dispositivos reconfigur?veis descritos em uma linguagem do tipo HDL permitem a cria??o ou modifica??o de qualquer componente da microarquitetura, ocasionando a altera??o das unidades funcionais do caminho de dados que representa a parte operativa de um processador, bem como da m?quina de estados que implementa a unidade de controle do mesmo conforme surgem novas necessidades. Em particular, os processadores RISP possibilitam a altera??o das instru??es da m?quina, permitindo inserir ou modificar instru??es, podendo at? mesmo se adaptar a uma nova arquitetura. Este trabalho aborda como objeto de estudo dois processadores did?ticos soft-core descritos em VHDL com diferentes n?veis de complexidade de hardware adaptados a uma ISA padr?o a partir de uma metodologia proposta sem provocar aumento no n?vel de complexidade do hardware, ou seja, sem o acr?scimo significativo da ?rea em chip, ao mesmo tempo em que o seu n?vel de desempenho na execu??o de aplica??es permanece inalterado ou ? aprimorado. As modifica??es tamb?m permitem afirmar que, al?m de ser poss?vel substituir a arquitetura de um processador sem alterar sua organiza??o, um processador RISP pode alternar entre diferentes conjuntos de instru??o, o que pode ser expandido para altern?ncia entre diferentes ISAs, permitindo a um mesmo processador se tornar uma arquitetura h?brida adaptativa, pass?vel de ser utilizada em sistemas embarcados e ambientes multiprocessados heterog?neos

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2018-02-21T21:29:05Z No. of bitstreams: 1 AlvaroMedeirosAvelino_TESE.pdf: 3348844 bytes, checksum: e24a1cd66699b738bbda375f267f9058 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-02-22T22:32:30Z (GMT) No. of bitstreams: 1 AlvaroMedeirosAvelino_TESE.pdf: 3348844 bytes, checksum: e24a1cd66699b738bbda375f267f9058 (MD5) / Made available in DSpace on 2018-02-22T22:32:30Z (GMT). No. of bitstreams: 1 AlvaroMedeirosAvelino_TESE.pdf: 3348844 bytes, checksum: e24a1cd66699b738bbda375f267f9058 (MD5) Previous issue date: 2017-06-09 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Este trabalho utiliza como base a arquitetura P2IP, de gr?o grosso reconfigur?vel (em tempo de execu??o) de baixa lat?ncia, aplicada ao processamento de imagens em tempo real. Esta arquitetura foi implementada em FPGA, sendo validada com alguns algoritmos b?sicos de processamento de imagens, tais como Edge Sharpening, Canny Edge Detection e Harris Corner Detection. A quantidade de Elementos de Processamento ? definida pelo algoritmo que demanda uma quantidade maior de processamento. Entretanto, nem todos os Elementos de Processamento s?o utilizados o tempo todo. Mesmo estando ociosos estes Elementos de Processamento contribuem ativamente para o consumo est?tico de pot?ncia. A ideia do presente trabalho ? propor uma vers?o modificada do Elemento de Processamento, que n?o contenha nenhum bloco interno, mas seja capaz de replicar a entrada na sa?da. Quando necess?rio, este novo EP ? substitu?do pelo tradicional utilizando Reconfigura??o Parcial. Isso leva a um consumo energ?tico mais eficiente, caracter?stica bastante relevante de sistemas alimentados a bateria. As vari?veis utilizadas na valida??o da proposta ser?o o consumo energ?tico, a lat?ncia durante a reconfigura??o parcial e a ?rea ocupada.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-09-04T20:55:30Z No. of bitstreams: 1 FelipeFerreiraDeAraujo_DISSERT.pdf: 2900111 bytes, checksum: 315d88ae28395a6225499dd53b02e23b (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-09-06T22:06:44Z (GMT) No. of bitstreams: 1 FelipeFerreiraDeAraujo_DISSERT.pdf: 2900111 bytes, checksum: 315d88ae28395a6225499dd53b02e23b (MD5) / Made available in DSpace on 2017-09-06T22:06:44Z (GMT). No. of bitstreams: 1 FelipeFerreiraDeAraujo_DISSERT.pdf: 2900111 bytes, checksum: 315d88ae28395a6225499dd53b02e23b (MD5) Previous issue date: 2017-01-30 / No Brasil e no mundo, a evolu??o do setor de telecomunica??es tem sido cada vez mais requisitada como uma clara consequ?ncia do crescimento exponencial da demanda por sistemas de comunica??o sem fio. Neste cen?rio, a integra??o de m?ltiplos padr?es wireless em uma ?nica plataforma, antena reconfigur?vel, tamb?m conhecida como antena sintoniz?vel, est? atraindo muita aten??o. Estruturas metasurfaces t?m sido extensivamente utilizadas nos ?ltimos anos para alcan?ar o aperfei?oamento de antenas, dentre eles, a reconfigura??o. Uma metasuperf?cie (tamb?m referida como um metafilm) ? o equivalente de uma superf?cie metamaterial. Mais precisamente, um metafilm ? uma superf?cie com uma distribui??o de pequenos dispersores arranjados ao longo de uma regi?o do espa?o, de modo a obter comportamentos eletromagn?ticos desej?veis. Para muitas aplica??es, metasuperf?cies podem ser usadas no lugar de metamateriais, pois possuem como vantagem principal ocupar menos espa?o f?sico do que as estruturas tridimensionais dos metamateriais, oferecendo a possibilidade de perdas reduzidas, o que tem gerado grande interesse. Neste contexto, esta disserta??o de mestrado apresenta a simula??o, o projeto e a implementa??o de estruturas de antenas planares acopladas a estruturas de metasurfaces a fim de realizar reconfigura??o de antenas em frequ?ncia, polariza??o e multibanda, para aplica??es em comunica??es sem fio. A an?lise das estruturas das antenas ? realizada com o aux?lio de ferramentas computacionais. Prot?tipos s?o constru?dos e medidos, para fins de comprova??o experimental. Os resultados obtidos em medi??es e simula??es apresentam uma boa concord?ncia. / All over the world, the evolution of the technological apparatus for telecommunications systems has been increasingly required, as a clear consequence of the exponentially growth in the demand for wireless communication services. Therefore, the integration of multiple wireless standards on a single platform, like a reconfigurable antenna, also known as tunable antenna, is attracting much attention. Metasurfaces structures have been extensively used in recent years to improve the performance of planar antennas for wireless applications, including reconfiguration. A metasurface (also referred to as a metafilm) is the equivalent of a metamateriaI surface. More precisely, one metafilm is a surface with a distribution of small scatterers arranged along a region of space, to achieve desirable electromagnetic behaviors. For many applications, metasurfaces can be used in place of metamaterials because they have the advantage of taking up less physical space than the three-dimensional structures of metamaterials, offering the possibility of reduced losses, which has generated great interest. Therefore, this master thesis presents the simulation, design and implementation of planar antenna structures coupled to metasurfaces structures in order to reconfigure frequency, polarization and multiband antennas for wireless communications applications. The analysis of the antenna structures is performed with the aid of computational tools. Prototypes are fabricated and measured for experimental verification purpose. Simulations and measurements results are in good agreement.

Made available in DSpace on 2014-12-17T14:20:11Z (GMT). No. of bitstreams: 1 WilliamENP.pdf: 4249336 bytes, checksum: 20bed4007f58526e092ae87ab5f568ca (MD5) Previous issue date: 2008-09-26 / The central objective of this thesis is studying the changes in the industrial sector of Campina Grande-PB, in the years 1990, about the size of that space and urban sector. The hypothesis that guides this work is that there was a reconfiguration and industrial space in recent years, the result of the restructuring of productive capital and, secondarily, public policies - economic, urban etc. - implemented in the municipality in the years 1990. This reconfiguration industrial meant thepredominance of certain productive segments of the industry and the shift towards urban-industrial areas (industrial districts). This work is guided in these two axes to explain the changes in the industrial campinense and its consequent impact on the urban development of Campina Grande. It is understood by reconfiguration industrial changes in industrial structure, namely the preponderance of one or more productive segments on the other, changing the scenario of production, employment and the number of establishments. In this study, are considered as institutional structures of support and assistance to industry, the various institutions that directly and indirectly, contribute to the development of productive activity. These structures are the first to undergo institutional changes, physical and policies because of intrinsic connection with the industry. The institutional structures contribute to the development of industrial activity and urban development. In Campina Grande, these institutions are important for facilitating the development of certain segments. In this work, sought to identify the current configuration industrial campinense, explaining how the restructuring of production transformed the industry, modifying the urban space in Campina Grande - PB, to direct itself to specific urban areas, from the early 1990 / O objetivo central dessa tese ? estudar as transforma??es ocorridas no setor industrial de Campina Grande-PB, nos anos 1990, quanto a dimens?o espacial e urbana desse setor. A hip?tese que norteia esse trabalho ? a de que ocorreu uma reconfigura??o industrial e espacial nos ?ltimos anos, resultado da reestrutura??o produtiva do capital e, secundariamente, das pol?ticas p?blicas econ?micas, urbanas etc. implementadas no munic?pio nos anos 1990. Essa reconfigura??o industrial implicou a predomin?ncia de determinados segmentos produtivos e no deslocamento da ind?stria em dire??o aos espa?os urbano-industriais (distritos industriais). Este trabalho pautar-se nesses dois eixos para explicar as transforma??es no setor industrial campinense e em sua conseq?ente influ?ncia sobre o desenvolvimento urbano de Campina Grande. Entende-se por reconfigura??o industrial as mudan?as ocorridas na estrutura industrial, ou seja, a preponder?ncia de um ou mais segmentos produtivos sobre os demais, alterando o cen?rio da produ??o, do emprego e do n?mero de estabelecimentos. Nesse estudo, consideram-se como estruturas institucionais de suporte e apoio ? ind?stria, as diversas institui??es que, direta e indiretamente, contribuem para o desenvolvimento dessa atividade produtiva. Essas estruturas s?o as primeiras a sofrerem transforma??es institucionais, f?sicas e pol?ticas devido ? intr?nseca conex?o destas com a ind?stria. As estruturas institucionais contribuem para o desenvolvimento da atividade industrial e do desenvolvimento urbano. Em Campina Grande, essas institui??es s?o importantes por favorecerem o desenvolvimento de determinados segmentos. Nesse trabalho, procurou-se identificar a atual configura??o industrial campinense, explicitando como o processo de reestrutura??o produtiva transformou o setor industrial, modificando o espa?o urbano em Campina Grande PB, ao direcionar-se para ?reas urbanas espec?ficas, a partir dos anos 1990

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-03-22T00:23:25Z No. of bitstreams: 1 JulioCesarPaulinoDeMelo_TESE.pdf: 6225548 bytes, checksum: 626c81149f01a851ae8666c050dac932 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-03-22T22:50:30Z (GMT) No. of bitstreams: 1 JulioCesarPaulinoDeMelo_TESE.pdf: 6225548 bytes, checksum: 626c81149f01a851ae8666c050dac932 (MD5) / Made available in DSpace on 2016-03-22T22:50:30Z (GMT). No. of bitstreams: 1 JulioCesarPaulinoDeMelo_TESE.pdf: 6225548 bytes, checksum: 626c81149f01a851ae8666c050dac932 (MD5) Previous issue date: 2015-05-29 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Esta Tese tem como objetivo desenvolver e implementar uma arquitetura para suporte a sistemas de Hardware Auton?micos, capaz de gerenciar o hardware em opera??o em dispositivos reconfigur?veis. A arquitetura proposta implementa mecanismos para manipula??o, gera??o e comunica??o de arquiteturas de hardware, usando a metodologia de Reposit?rio Ativo orientado a Contexto. A solu??o consiste no desenvolvimento de uma arquitetura de Hardware-Software denominada Autonomic Hardware Manager, que cont?m um Reposit?rio Ativo de Componentes de Hardware. Usando o reposit?rio, a arquitetura se encarregar? de gerenciar os sistemas embarcados conectados durante sua opera??o, possibilitando a implementa??o de caracter?sticas auton?micas como auto-gerenciamento, autootimiza??o, auto-descri??o e auto-configura??o. A arquitetura proposta contempla tamb?m um metamodelo para representa??o do Contexto de Opera??o de sistemas de hardware. Esse metamodelo servir? de base para o desenvolvimento dos m?dulos de sensibilidade ao contexto, previstos na arquitetura do reposit?rio ativo. Para fins de demonstra??o do funcionamento da arquitetura proposta, experimentos foram realizados com vistas a comprovar as hip?teses de pesquisa e alcan?ar cada objetivo desta tese. Tr?s experimentos foram planejados e executados: o Hardware Reconfigurable Filter, que consiste em uma aplica??o que implementa Filtro Digitais atrav?s de hardware reconfigur?vel; o Autonomic Image Segmentation Filter, que apresenta o projeto e implementa??o de uma aplica??o auton?mica de segmenta??o de processamento de imagens; por fim, o Autonomic Auto Pilot aplica??o que consiste de um piloto autom?tico para ve?culos a?reos n?o tripulados. Neste trabalho, a arquitetura das aplica??es foi organizada em m?dulos, de acordo com as suas funcionalidades. Alguns destes m?dulos foram reimplementados em HDL e sintetizados em hardware. Outros m?dulos foram mantidos em software. Em seguida, a aplica??es s?o integradas com o reposit?rio AHM para possibilitar a sua adapta??o aos diferentes contextos de opera??o, tornando-as auton?micas. / This Thesis main objective is to implement a supporting architecture to Autonomic Hardware systems, capable of manage the hardware running in reconfigurable devices. The proposed architecture implements manipulation, generation and communication functionalities, using the Context Oriented Active Repository approach. The solution consists in a Hardware-Software based architecture called "Autonomic Hardware Manager (AHM)" that contains an Active Repository of Hardware Components. Using the repository the architecture will be able to manage the connected systems at run time allowing the implementation of autonomic features such as self-management, self-optimization, self-description and self-configuration. The proposed architecture also contains a meta-model that allows the representation of the Operating Context for hardware systems. This meta-model will be used as basis to the context sensing modules, that are needed in the Active Repository architecture. In order to demonstrate the proposed architecture functionalities, experiments were proposed and implemented in order to proof the Thesis hypothesis and achieved objectives. Three experiments were planned and implemented: the Hardware Reconfigurable Filter, that consists of an application that implements Digital Filters using reconfigurable hardware; the Autonomic Image Segmentation Filter, that shows the project and implementation of an image processing autonomic application; finally, the Autonomic Autopilot application that consist of an auto pilot to unmanned aerial vehicles. In this work, the applications architectures were organized in modules, according their functionalities. Some modules were implemented using HDL and synthesized in hardware. Other modules were implemented kept in software. After that, applications were integrated to the AHM to allow their adaptation to different Operating Context, making them autonomic.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-08-14T11:29:03Z No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-08-14T11:41:59Z (GMT) No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) / Made available in DSpace on 2017-08-14T11:42:00Z (GMT). No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) Previous issue date: 2016-06-10 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Arquiteturas de software exercem um papel significativo no desenvolvimento de sistemas intensivos de software a fim de permitir satisfazer tanto requisitos funcionais quanto n?ofuncionais. Em particular, arquiteturas de software din?micas t?m surgido para endere?ar caracter?sticas dos sistemas contempor?neos que operam em ambientes din?micos e consequentemente sujeitos a mudan?as em tempo de execu??o. Linguagens de descri??o arquitetural (ADLs) s?o utilizadas para representar arquiteturas de software, produzindo modelos que podem ser utilizados tanto em tempo de projeto quanto em tempo de execu??o. Contudo, a maioria das ADLs existentes possui limita??es em diversos aspectos: (i) possui enfoque em aspectos estruturais, topol?gicos da arquitetura; (ii) n?o prov? um suporte adequado ? representa??o de aspectos comportamentais da arquitetura; (iii) n?o permite descrever aspectos avan?ados relativos ? din?mica da arquitetura; (iv) ? limitada com rela??o ? verifica??o de propriedades arquiteturais e restri??es, e; (v) ? desconectada do n?vel de implementa??o, resultando em inconsist?ncias entre arquitetura e implementa??o. No intuito de endere?ar esses problemas, esta tese prop?e um framework formal para arquiteturas de software din?micas. Tal framework envolve: (i) ?-ADL, uma linguagem formal para descrever arquiteturas de software sob as perspectivas estrutural e comportamental; (ii) a especifica??o de opera??es de reconfigura??o din?mica programada; (iii) a gera??o autom?tica de c?digo fonte a partir de descri??es arquiteturais, e; (iv) uma abordagem baseada em verifica??o estat?stica (SMC) para expressar e verificar formalmente propriedades em arquiteturas de software din?micas. As principais contribui??es trazidas pelo framework proposto s?o quatro. Primeiro, a linguagem ?-ADL passou a ser dotada de primitivas de n?vel arquitetural para descrever reconfigura??es din?micas programadas. Segundo, descri??es arquiteturais em ?-ADL s?o traduzidas para c?digo fonte de implementa??o na linguagem de programa??o Go, contribuindo assim para minimizar desvios arquiteturais. Terceiro, uma nova l?gica chamada DynBLTL ? utilizada para expressar formalmente propriedades em arquiteturas de software din?micas. Quarto, um ferramental baseado em SMC foi constru?do para automatizar verifica??o de propriedades arquiteturais enquanto busca reduzir esfor?o, recursos computacionais e tempo para realizar essa tarefa. Neste trabalho, dois sistemas baseados em redes de sensores sem fio s?o utilizados para validar os elementos do framework. / Software architectures play a significant role in the development of software-intensive systems in order to allow satisfying both functional and non-functional requirements. In particular, dynamic software architectures have emerged to address characteristics of the contemporary systems that operate on dynamic environments and consequently subjected to changes at runtime. Architecture description languages (ADLs) are used to represent software architectures, producing models that can be used at design time and/or runtime. However, most existing ADLs have limitations in several facets: (i) they are focused on structural, topological aspects of the architecture; (ii) they do not provide an adequate support for representing behavioral aspects of the architecture; (iii) they do not allow describing advanced aspects regarding the dynamics of the architecture; (iv) they are limited with respect to the automated verification of architectural properties and constraints; and (v) they are disconnected from the implementation level, thus entailing inconsistencies between architecture and implementation. In order to tackle these problems, this thesis proposes formally founded framework for dynamic software architectures. Such a framework comprises: (i) ?-ADL, a formal language for describing software architectures under both structural and behavioral viewpoints; (ii) the specification of programmed dynamic reconfiguration operations; (iii) the automated generation of source code from architecture descriptions; and (iv) an approach based on statistical model checking (SMC) to formally express and verify properties in dynamic software architectures. The main contributions brought by the proposed framework are fourfold. First, the ?-ADL language was endowed with architectural-level primitives for describing programmed dynamic reconfigurations. Second, architecture descriptions in ?- ADL are translated towards implementation source code in the Go programming language, thereby contributing to minimize architectural drifts. Third, a novel logic, called DynBLTL, is used to formally express properties in dynamic software architectures. Fourth, a toolchain relying on SMC was built to automate the verification of architectural properties while striving to reduce effort, computational resources, and time for performing such a task. In this work, two wireless sensor network-based systems are used to validate the framework elements.

Submitted by Sandra Pereira (srpereira@ufrrj.br) on 2017-04-20T13:29:23Z No. of bitstreams: 1 2016 - Rafael Veloso Patr?cio.pdf: 9711857 bytes, checksum: 5f7e5b198769c9a633040fd42126df03 (MD5) / Made available in DSpace on 2017-04-20T13:29:23Z (GMT). No. of bitstreams: 1 2016 - Rafael Veloso Patr?cio.pdf: 9711857 bytes, checksum: 5f7e5b198769c9a633040fd42126df03 (MD5) Previous issue date: 2016-08-24 / Funda??o de Apoio a Pesquisa Cient?fica e Tecnol?gica da UFRRJ-FAPUR / Controling of downhole pressure is essential for a safety process of oil well drilling. In a permeable formation, fluids from reservoir come into the annulus region (wellbore) when the downhole pressure is below pore pressure, featuring a disorder called kick. Literature reports some mathematical models developed to predict the behavior of the wellbore in presence of gas kick, however, there are few works reporting control and experiments. By this reason, it was built an experimental plant in order to study system?s behavior during fluid inlet (gas) from reservoir to annulus, and then, sought to develop a control strategy able to mitigate this disorder, without shut-in the well. A strategy with reconfiguration of the control law feedback?feedforward was designed to reject disturbance (gas inlet in the annular), to ensure the drilling within the operating window. Parallelly,simulation studies were developed which are: the construction of mathematical model, validated by the employment of the experimental unit, and the implementation of control based on reconfiguration of control law. / O controle da press?o anular de fundo ? fundamental para que a perfura??o de po?os de petr?leo seja feita de forma segura. Em uma forma??o perme?vel, fluidos do reservat?rio migram para a regi?o anular quando a press?o anular de fundo est? abaixo da press?o de poros, caracterizando o dist?rbio denominado kick. A literatura reporta alguns modelos matem?ticos desenvolvidos para prever o comportamento do po?o na presen?a de kick de g?s, por?m poucos s?o os trabalhos abordando controle e experimentos. A partir desta motiva??o, foi constru?do uma planta experimental para estudar o comportamento do sistema durante a entrada de fluido (g?s) do reservat?rio no anular, e assim, buscou-se desenvolver uma estrat?gia de controle que mitigue tal dist?rbio sem a necessidade do fechamento total do po?o. Uma estrat?gia com reconfigura??o da lei de controle feedback?feedforward foi desenvolvida para rejeitar a perturba??o (entrada de g?s no anular), visando assegurar a perfura??o dentro da janela operacional. Paralelamente, foram desenvolvidos estudos de simula??o quais sejam: a constru??o de um modelo matem?tico, validado empregando-se a unidade experimental, e a implanta??o de controle baseado em reconfigura??o da lei de controle