Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-09-19T19:51:49Z No. of bitstreams: 1 DaniloCurveloDeSouza_TESE.pdf: 2406741 bytes, checksum: 3c85e2f4d8b969a73d53e67544840db1 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-09-20T19:36:12Z (GMT) No. of bitstreams: 1 DaniloCurveloDeSouza_TESE.pdf: 2406741 bytes, checksum: 3c85e2f4d8b969a73d53e67544840db1 (MD5) / Made available in DSpace on 2017-09-20T19:36:12Z (GMT). No. of bitstreams: 1 DaniloCurveloDeSouza_TESE.pdf: 2406741 bytes, checksum: 3c85e2f4d8b969a73d53e67544840db1 (MD5) Previous issue date: 2017-06-23 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / A presente tese apresenta uma t?cnica inovadora ? designada como sistema especialista baseado em regras ponderado por tend?ncias (SEBRPT) ? fundamentada na integra??o de duas ferramentas existentes na ?rea de intelig?ncia artificial, os sistemas especialistas (SE) e a an?lise qualitativa de tend?ncias (QTA). Um dos objetivos desta abordagem ? usufruir das principais vantagens associadas a cada uma das ferramentas utilizadas, tais como a facilidade de se representar o conhecimento atrav?s de regras e a capacidade de extrair o comportamento e as tend?ncias de um sinal cont?nuo. Esta metodologia tamb?m permite preencher uma lacuna entre m?todos puramente baseado em n?meros (quantitativos) e m?todos puramente simb?licos (qualitativos), permitindo assim uma obten??o de resultados a partir de um processo de infer?ncia baseado tanto nos valores exatos como nas tend?ncias de um determinado sinal. Dessa forma, a t?cnica abordada possibilita a extra??o de um "fator de certeza" associado a uma regra previamente modelada por um especialista, descartando assim a l?gica puramente booleana (verdadeiro/falso) adotada nos sistemas especialistas cl?ssicos. O m?todo proposto permite uma ado??o direta em ambientes industriais, especialmente na ?rea de automa??o inteligente. Seus principais recursos e caracter?sticas, com aplica??o no monitoramento de processos industriais, ser?o demonstrados por simula??es e resultados experimentais baseados no benchmark conhecido como o processo de Tennessee Eastman.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-11-01T21:17:46Z No. of bitstreams: 1 DalayIsraelDeAlmeidaPereira_DISSERT.pdf: 1298858 bytes, checksum: 8ff640d45df0332e0a20a3f4476198ce (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-11-07T19:51:30Z (GMT) No. of bitstreams: 1 DalayIsraelDeAlmeidaPereira_DISSERT.pdf: 1298858 bytes, checksum: 8ff640d45df0332e0a20a3f4476198ce (MD5) / Made available in DSpace on 2017-11-07T19:51:30Z (GMT). No. of bitstreams: 1 DalayIsraelDeAlmeidaPereira_DISSERT.pdf: 1298858 bytes, checksum: 8ff640d45df0332e0a20a3f4476198ce (MD5) Previous issue date: 2017-08-18 / Utilizando a abordagem de desenvolvimento baseado em componentes, a complexidade dos sistemas ? reduzida e a sua manuten??o ? facilitada, trazendo mais seguran?a e reuso dos componentes. Por?m, a composi??o dos componentes (e suas intera??es) ainda ? uma grande fonte de problemas e requer uma an?lise mais detalhada. Esse problema ? ainda mais relevante quando lidamos com aplica??es cr?ticas. Uma abordagem para especificar esse tipo de aplica??o ? o uso de M?todos Formais, uma metodologia precisa para a especifica??o de sistemas, que possui uma base matem?tica forte e que traz, entre outros benef?cios, mais seguran?a. Como exemplo, o m?todo formal CSP permite a especifica??o de sistemas concorrentes e a verifica??o de propriedades inerentes a esses sistemas. CSP disp?e de um conjunto de ferramentas para a sua verifica??o, como, por exemplo, FDR. Usando CSP ? poss?vel indentificar e resolver problemas como deadlock e livelock em um sistema, muito embora isso possa ser custoso em termos de tempo gasto em verifica??es. Nesse contexto, BRIC surge como uma abordagem baseada em CSP para o desenvolvimento de sistemas baseados em componentes, garantindo a aus?ncia de deadlock e livelock por constru??o. Essa abordagem usa CSP para especificar restri??es e intera??es entre componentes de maneira a permitir uma verifica??o formal do sistema. Uma extens?o de BRIC, BRICK , prop?e adicionar metadados aos componentes a fim de diminuir a complexidade e a quantidade das verifica??es feitas quando componentes s?o compostos. Por?m, a aplica??o pr?tica dessa abordagem pode se tornar muito complexa e cansativa se feita manualmente. Com o objetivo de automatizar o uso da abordagem BRICK , foi desenvolvida anteriormente uma ferramenta (BTS - BRICK Tool Support) que automatiza as verifica??es das composi??es dos componentes gerando e verificando automaticamente as condi??es impostas pela abordagem utilizando FDR. Por?m, devido ao n?mero e ? complexidade das verifica??es feitas em FDR, a ferramenta pode levar ainda muito tempo nesse processo. Esta disserta??o apresenta uma extens?o ? BTS que melhora o modo como s?o feitas as verifica??es, substituindo o FDR utilizado na ferramenta pela sua mais recente vers?o e adicionando um provador SMT que, concorrentemente, verifica algumas das propriedades da aplica??o. N?s tamb?m adaptamos a ferramenta para ser usada na especifica??o de um maior n?mero de sistemas e avaliamos a ferramenta estendida com dois estudos de caso, comparando as verifica??es feitas na vers?o anterior da ferramenta com a nossa nova abordagem de verifica??o. / Using the component-based development approach, the system complexity is reduced and its maintenance is facilitated, bringing more reliability and reuse of components. However, the composition of components (and their interactions) is still a significant source of problems and requires a more detailed analysis. This problem is even more relevant when dealing with safety-critical applications. An approach for specifying this kind of applications is using Formal Methods, which are a precise methodology for system specification that has strong mathematical background which brings, among other benefits, more safety. As an example, the formal method CSP allows the specification of concurrent systems and the verification of properties inherent to such systems. CSP has a set of tools for verification, like, for instance, FDR. Using CSP, one can detect and solve problems like deadlock and livelock in a system, although it can be costly in terms of the time spent in verifications. In this context, BRICK has emerged as a CSP based approach for developing componentbased systems, which guarantees deadlock and livelock freedom by construction. This approach uses CSP to specify the constraints and interactions between the components to allow a formal verification of the system. An extension to BRIC, BRICK , makes use of metadata as part of the components in order to decrease the complexity and the quantity of verifications made when composing components. However, the practical use of this approach can be too complex and cumbersome. In order to automate the use of the BRICK approach a tool has been previously developed (BTS - BRICK Tool Support), which automates the verifications of component compositions by automatically generating and checking the side conditions imposed by the approach using FDR. Nevertheless, due to the number and complexity of the verifications made in FDR, the tool can still take too much time in this process. In this dissertation, we present an extension to BTS that improves the way how it make verifications by replacing the FDR used inside the tool by its most recent version and adding a SMT-solver, that, concurrently, checks some properties of the specification. We also adapted the tool in order to be used for the specification of a greater number of systems and we evaluated the extended tool with two case studies, comparing the verifications made in the older version of the tool with this new approach of verification.

Made available in DSpace on 2015-12-03T18:32:59Z (GMT). No. of bitstreams: 1 Sandra_Regina_Silva_dos_Santos_Souza.pdf: 1386805 bytes, checksum: d13f76892ad0d12e8a0709642ba09ba6 (MD5) Previous issue date: 2001-11-30 / The Automated Teller Machines (ATMs) are a successful product of the bank and a financial organization around the world. This research means investigate the changes in a Brazilian state bank, when the Automated Teller Machines (ATMs), were utilized in client services. To realized the research, we interview the employers that participated of the implemented project of ATMs. We made an choice of persons that started the procedures to introduce the equipment. We use a exploratory qualitative methodology by clinical interview and applied a semi-structured questionnaire. To explained the process, we analyzed the ATMs and automation history, the bank history and aspect of the information systems, indicate the facilities and problems for introduce the ATMs. In the early days of ATMs implementation, two other banks had the equipment and the technology to use these. The cause for our bank had implemented the ATMs in yours current services, was to offer more modern technological resources. To realized the ATM project, the employers were inexperienced and the bank no had the necessary structure to do. Problems of hardware, software, installation and system administration had in the role of the vulgar works. Also, the project generate problems with the union. Today, the ATMs are synonymous of successful, but we verify, in this research the difficulties and problems to implementation development. / As Automated Teller Machines (ATMs) ou caixas eletr??nicos s??o reconhecidos como um produto de sucesso dos Bancos e das organiza????es financeiras em todo o mundo. Para estudar a sua implanta????o, n??s realizamos um estudo sobre as mudan??as que ocorreram em um Banco brasileiro de grande porte, onde as ATMs passaram a ser utilizadas em servi??os oferecidos aos clientes. Para realizar esta pesquisa, n??s entrevistamos os empregados que participaram da implanta????o do projeto das ATMs e aqueles que iniciaram a implanta????o dos primeiros equipamento e usamos uma metodologia qualitativa de entrevistas cl??nicas semi- estruturadas. Al??m da an??lise dos dados obtidos, n??s apresentamos algumas caracter??sticas da hist??ria da automa????o, dos sistemas de informa????o, para indicar as facilidades e problemas para introduzir as ATMs na organiza????o em estudo. Observamos, nesta pesquisa, que no in??cio da implementa????o, dois outros bancos j?? possu??am esses equipamentos e a tecnologia para o seu uso. Assim uma das causas principais dessa implanta????o foi oferecer equipamentos mais modernos. Tamb??m observamos que no projeto das ATMs, os participantes n??o tinham experi??ncia anterior e a infra-estrutura necess??ria para tal. Problemas com os hardwares, com os softwares, as instala????es e os sistemas administrativos aconteceram, al??m de problemas com a equipe. Assim, apesar do sucesso alcan??ado, n??s iremos apresentar nesta pesquisa as mudan??as, dificuldades e os problemas apresentados no processo.

Made available in DSpace on 2014-12-17T15:48:01Z (GMT). No. of bitstreams: 1 CarlosBPS_DISSERT-2.pdf: 1721990 bytes, checksum: b74ed589704115aa90c5e8bcfc5218b9 (MD5) Previous issue date: 2012-07-27 / A automa??o consiste em uma importante atividade do processo de teste e ? capaz de reduzir significativamente o tempo e custo do desenvolvimento. Algumas ferramentas tem sido propostas para automatizar a realiza??o de testes de aceita??o em aplica??es Web. Contudo, grande parte delas apresenta limita??es importantes tais como necessidade de valora??o manual dos casos de testes, refatora??o do c?digo gerado e forte depend?ncia com a estrutura das p?ginas HTML. Neste trabalho, apresentamos uma linguagem de especifica??o de teste e uma ferramenta concebidas para minimizar os impactos propiciados por essas limita??es. A linguagem proposta d? suporte aos crit?rios de classes de equival?ncia e a ferramenta, desenvolvida sob a forma de um plug-in para a plataforma Eclipse, permite a gera??o de casos de teste atrav?s de diferentes estrat?gias de combina??o. Para realizar a avalia??o da abordagem, utilizamos um dos m?dulos do Sistema Unificado de Administra??o Publica (SUAP) do Instituto Federal do Rio Grande do Norte (IFRN). Participaram da avalia??o analistas de sistemas e um t?cnico de inform?tica que atuam como desenvolvedores do sistema utilizado.

Made available in DSpace on 2014-12-17T15:48:01Z (GMT). No. of bitstreams: 1 CarlosBPS_DISSERT.pdf: 1722008 bytes, checksum: 1b3fd4314fbf5b4ba2b4dfe1a0865e45 (MD5) Previous issue date: 2012-07-27 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / Automation has become increasingly necessary during the software test process due to the high cost and time associated with such activity. Some tools have been proposed to automate the execution of Acceptance Tests in Web applications. However, many of them have important limitations such as the strong dependence on the structure of the HTML pages and the need of manual valuing of the test cases. In this work, we present a language for specifying acceptance test scenarios for Web applications called IFL4TCG and a tool that allows the generation of test cases from these scenarios. The proposed language supports the criterion of Equivalence Classes Partition and the tool allows the generation of test cases that meet different combination strategies (i.e., Each-Choice, Base-Choice and All Combinations). In order to evaluate the effectiveness of the proposed solution, we used the language and the associated tool for designing and executing Acceptance Tests on a module of Sistema Unificado de Administra??o P?blica (SUAP) of Instituto Federal Rio Grande do Norte (IFRN). Four Systems Analysts and one Computer Technician, which work as developers of the that system, participated in the evaluation. Preliminary results showed that IFL4TCG can actually help to detect defects in Web applications / A automatiza??o no processo de teste de software tem se tornado cada vez mais necess?ria devido ao alto custo e tempo associado a esta atividade. Algumas ferramentas tem sido propostas para automatizar a execu??o de testes de aceita??o em aplica??es Web. Contudo, grande parte delas apresenta limita??es importantes tais como a forte depend?ncia com a estrutura das p?ginas HTML e a necessidade de valora??o manual dos casos de testes. Neste trabalho, apresentamos uma linguagem para especifica??o de cen?rios de Testes de Aceita??o em aplica??es Web denominada IFL4TCG e uma ferramenta que permite a gera??o de casos de testes a partir destes cen?rios. A linguagem proposta d? suporte ao crit?rio Parti??o em Classes de Equival?ncia e a ferramenta permite a gera??o de casos de teste que atendem diferentes estrat?gias de combina??o (i.e., Cada Escolha, Escolha Base e Todas Combina??es). Com o objetivo de avaliar a efic?cia da solu??o proposta, utilizamos a linguagem e a ferramenta associada para elaborar e executar testes de Aceita??o em um dos m?dulos do Sistema Unificado de Administra??o Publica (SUAP) do Instituto Federal do Rio Grande do Norte (IFRN). Participaram da avalia??o quatro Analistas de Sistemas e um T?cnico em Inform?tica que atuam como desenvolvedores do respectivo sistema. Resultados preliminares mostraram que a IFL4TCG pode, de fato, auxiliar na detec??o de defeitos em aplica??es Web

Submitted by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-12-12T20:10:31Z No. of bitstreams: 1 FlavioGentilDeAraujoFilho_TESE.pdf: 4569671 bytes, checksum: 74f67c4306ba61a1b4872e0e94522410 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-12-12T20:13:23Z (GMT) No. of bitstreams: 1 FlavioGentilDeAraujoFilho_TESE.pdf: 4569671 bytes, checksum: 74f67c4306ba61a1b4872e0e94522410 (MD5) / Made available in DSpace on 2017-12-12T20:13:23Z (GMT). No. of bitstreams: 1 FlavioGentilDeAraujoFilho_TESE.pdf: 4569671 bytes, checksum: 74f67c4306ba61a1b4872e0e94522410 (MD5) Previous issue date: 2017-07-28 / Este trabalho apresenta o desenvolvimento de um conjunto de m?todos de sintonia de controladores nebulosos aplicados ao processo n?o linear de controle de vaz?o em um sistema de produ??o de petr?leo com po?os produtores equipados com bombeio centr?fugo submerso. O controle eficiente dos processos industriais estudados ser? atingido pela aplica??o de t?cnicas de intelig?ncia artificial, sobretudo pelo fato de serem requeridos diferentes pontos de opera??o, bem como determinadas trajet?rias de refer?ncia. A necessidade de obten??o do conhecimento especialista, em regras de infer?ncia e fun??es de pertin?ncia da l?gica nebulosa do controlador empregado, ? suprida pelo processo de aprendizagem da t?cnica do controle adaptativo neural por modelo inverso, no qual a estrutura do controlador e seus par?metros s?o definidos automaticamente, utilizando-se para o treinamento os pr?prios dados da aplica??o. O modelo neuro-fuzzy obtido ? utilizado para gerar a??es de controle em s?rie com o processo, apresentando uma resposta din?mica satisfat?ria. Da mesma forma, s?o empregadas t?cnicas baseadas em meta-heur?sticas de otimiza??o, a fim de se encontrar a solu??o ?tima ou suficientemente pr?xima da ?tima para a sintonia do controlador nebuloso aplicado ao processo de produ??o de petr?leo. Os algoritmos de otimiza??o dos poliedros flex?veis e do recozimento simulado foram utilizados com diferentes tipos de fun??es objetivo de minimiza??o de erro do sistema, para sele??o dos par?metros de sintonia do controlador, de acordo com os crit?rios de desempenho pretendidos. Os resultados apresentados comparam as respostas obtidas do sistema para cada uma das t?cnicas empregadas, evidenciando o bom desempenho e a robustez das sintonias propostas.

Made available in DSpace on 2014-12-17T14:08:33Z (GMT). No. of bitstreams: 1 HeitorPG.pdf: 2527761 bytes, checksum: 19f772cea6bcb648ba6562ac9a4eeffd (MD5) Previous issue date: 2009-06-26 / The artificial lifting of oil is needed when the pressure of the reservoir is not high enough so that the fluid contained in it can reach the surface spontaneously. Thus the increase in energy supplies artificial or additional fluid integral to the well to come to the surface. The rod pump is the artificial lift method most used in the world and the dynamometer card (surface and down-hole) is the best tool for the analysis of a well equipped with such method. A computational method using Artificial Neural Networks MLP was and developed using pre-established patterns, based on its geometry, the downhole card are used for training the network and then the network provides the knowledge for classification of new cards, allows the fails diagnose in the system and operation conditions of the lifting system. These routines could be integrated to a supervisory system that collects the cards to be analyzed / A necessidade da eleva??o artificial de petr?leo se d? quando a press?o do reservat?rio n?o ? suficientemente elevada para que os fluidos nele contidos possam alcan?ar a superf?cie espontaneamente. Assim a eleva??o artificial fornece energia de forma suplementar ou integral aos fluidos do po?o para que cheguem ? superf?cie. O Bombeio mec?nico com hastes ? o m?todo de eleva??o artificial mais utilizado no mundo e a Carta Dinamom?trica (de superf?cie e de fundo) ? a melhor ferramenta de an?lise de um po?o equipado com esse tipo de m?todo de eleva??o.Um Sistema que utiliza Redes Neurais Artificiais MLP foi desenvolvido e usando padr?es pr?-estabelecidos, baseadas em sua geometria, as cartas de fundo dos po?os s?o utilizadas para o treinamento da rede e posteriormente essa rede disponibiliza o conhecimento adquirido para a classifica??o de novas cartas, permitindo o diagn?stico de poss?veis falhas no sistema de bombeio e das condi??es de funcionamento desse sistema de eleva??o. Essas rotinas podem ser integradas a um Sistema Supervis?rio que coleta as cartas a serem analisadas. Palavras-chave: Automa??o industrial, Eleva??o artificial, Bombeio mec?nico, Redes Neurais

Made available in DSpace on 2014-12-17T14:09:15Z (GMT). No. of bitstreams: 1 RutacioOC_TESE_PARCIAL.pdf: 408685 bytes, checksum: 5bea29db0102078f885dab06d8188a0f (MD5) Previous issue date: 2012-07-13 / The Electrical Submersible Pumping is an artificial lift method for oil wells employed in onshore and offshore areas. The economic revenue of the petroleum production in a well depends on the oil flow and the availability of lifting equipment. The fewer the failures, the lower the revenue shortfall and costs to repair it. The frequency with which failures occur depends on the operating conditions to which the pumps are submitted. In high-productivity offshore wells monitoring is done by operators with engineering support 24h/day, which is not economically viable for the land areas. In this context, the automation of onshore wells has clear economic advantages. This work proposes a system capable of automatically control the operation of electrical submersible pumps, installed in oil wells, by an adjustment at the electric motor rotation based on signals provided by sensors installed on the surface and subsurface, keeping the pump operating within the recommended range, closest to the well s potential. Techniques are developed to estimate unmeasured variables, enabling the automation of wells that do not have all the required sensors. The automatic adjustment, according to an algorithm that runs on a programmable logic controller maintains the flow and submergence within acceptable parameters avoiding undesirable operating conditions, as the gas interference and high engine temperature, without need to resort to stopping the engine, which would reduce the its useful life. The control strategy described, based on modeling of physical phenomena and operational experience reported in literature, is materialized in terms of a fuzzy controller based on rules, and all generated information can be accompanied by a supervisory system / O bombeio centr?fugo submerso ? um m?todo de eleva??o artificial de petr?leo empregado em ?reas terrestres ou mar?timas. A receita econ?mica da produ??o de petr?leo em um po?o depende da vaz?o de ?leo e da disponibilidade do equipamento de eleva??o. Quanto menos falhas, menores ser?o as receitas cessantes e os custos para repar?-las. A frequ?ncia com que as falhas ocorrem depende das condi??es operacionais ?s quais as bombas s?o submetidas. Em po?os mar?timos de alta produtividade o acompanhamento ? feito por operadores com suporte de engenharia 24h/dia, o que n?o ? economicamente vi?vel para as ?reas terrestres. Nesse contexto, a automa??o de po?os terrestres apresenta vantagens econ?micas claras. Neste trabalho ? proposto um sistema capaz de controlar automaticamente a opera??o de bombas centr?fugas submersas instaladas em po?os produtores de petr?leo, via ajuste na rota??o do motor el?trico, a partir de sensores instalados na superf?cie e subsuperf?cie, mantendo a bomba operando dentro da faixa recomendada, o mais pr?ximo poss?vel do potencial do po?o. S?o desenvolvidas t?cnicas de estimativa de vari?veis n?o medidas, possibilitando a automa??o de po?os que n?o possuem todos os sensores requeridos. O ajuste autom?tico, conforme um algoritmo que ? executado em um controlador l?gico program?vel, mant?m a vaz?o e a submerg?ncia dentro de par?metros aceit?veis, evitando condi??es operacionais indesej?veis como a interfer?ncia de g?s e a elevada temperatura do motor, sem a necessidade de recorrer ao desligamento do motor, o que reduziria a sua vida ?til. A estrat?gia de controle descrita, baseada na modelagem dos fen?menos f?sicos e na experi?ncia operacional registrada na literatura, ? materializada em termos de um controlador Fuzzy baseado em regras, sendo que todas as informa??es geradas podem ser acompanhadas por um sistema supervis?rio

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-06-03T23:48:41Z No. of bitstreams: 1 EdsonJacksonDeMedeirosNeto_DISSERT.pdf: 2349422 bytes, checksum: 58dbff032ce7a77c69ab57cce418be2d (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-06-07T19:55:39Z (GMT) No. of bitstreams: 1 EdsonJacksonDeMedeirosNeto_DISSERT.pdf: 2349422 bytes, checksum: 58dbff032ce7a77c69ab57cce418be2d (MD5) / Made available in DSpace on 2016-06-07T19:55:39Z (GMT). No. of bitstreams: 1 EdsonJacksonDeMedeirosNeto_DISSERT.pdf: 2349422 bytes, checksum: 58dbff032ce7a77c69ab57cce418be2d (MD5) Previous issue date: 2015-11-09 / O grande volume de dados gerados como resultado da supervis?o de processos de automa??o na ind?stria gerou como consequ?ncia um vasto espa?o de armazenamento em disco, assim como dificuldade na transmiss?o destes dados por links de telecomunica??es. Os algoritmos de compress?o com perda de dados surgiram na d?cada de 90 com intuito de solucionar estes problemas, passando a serem utilizados em sistemas de supervis?o industrial para a compress?o de dados em tempo real. Para isso estes foram projetados para eliminar informa??es redundantes e indesejadas de forma simples e eficiente. No entanto, os par?metros destes algoritmos necessitam de serem configurados para cada vari?vel de processo, tornando invi?vel a configura??o manual em caso de sistemas que supervisionam milhares de vari?veis. Nesse contexto este trabalho prop?e o algoritmo Adaptive Swinging Door Trending, que consiste numa adapta??o do Swinging Door Trending, em que seus principais par?metros s?o ajustados dinamicamente atrav?s da an?lise de tend?ncias do sinal. Prop?e-se tamb?m uma an?lise comparativa de desempenho dos algoritmos de compress?o com perda de dados aplicados sobre vari?veis de processo de s?ries temporais e cartas dinamom?tricas de fundo de po?o. Os algoritmos abordados para efeito comparativos foram os lineares por partes e os de transformadas. / The great amount of data generated as the result of the automation and process supervision in industry implies in two problems: a big demand of storage in discs and the difficulty in streaming this data through a telecommunications link. The lossy data compression algorithms were born in the 90?s with the goal of solving these problems and, by consequence, industries started to use those algorithms in industrial supervision systems to compress data in real time. These algorithms were projected to eliminate redundant and undesired information in a efficient and simple way. However, those algorithms parameters must be set for each process variable, becoming impracticable to configure this parameters for each variable in case of systems that monitor thousands of them. In that context, this paper propose the algorithm Adaptive Swinging Door Trending that consists in a adaptation of the Swinging Door Trending, as this main parameters are adjusted dynamically by the analysis of the signal tendencies in real time. It?s also proposed a comparative analysis of performance in lossy data compression algorithms applied on time series process variables and dynamometer cards. The algorithms used to compare were the piecewise linear and the transforms.

Made available in DSpace on 2014-12-17T14:54:54Z (GMT). No. of bitstreams: 1 AlexandreMFG_TESE.pdf: 5334818 bytes, checksum: 7c848d27061280b40eb07e9232cb9807 (MD5) Previous issue date: 2009-08-28 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The traditional processes for treatment of hazardous waste are questionable for it generates other wastes that adversely affect people s health. As an attempt to minimize these problems, it was developed a system for treatment of hazardous waste by thermal plasma, a more appropriate technology since it produces high temperatures, preventing the formation of toxic pollutants to human beings. The present work brings out a solution of automation for this plant. The system has local and remote monitoring resources to ensure the operators security as well as the process itself. A special attention was given to the control of the main reactor temperature of the plant as it is the place where the main processing occurs and because it presents a complex mathematical model. To this, it was employed cascaded controls based on Fuzzy logic. A process computer, with a particular man-machine interface (MMI), provides information and controls of the plant to the operator, including by Internet. A compact PLC module is in charge of the central element of management automation and plant control which receives information from sensors, and sends it to the MMI / Os processos tradicionais de tratamento de lixos perigosos s?o question?veis por gerar outros res?duos que afetam negativamente ? sa?de das pessoas. Como tentativa de minimiza??o desses problemas foi desenvolvido um sistema de tratamento de res?duos perigosos por plasma t?rmico, uma tecnologia adequada por produzir altas temperaturas, impedindo a forma??o de poluentes bastantes t?xicos ao homem. O trabalho aqui exposto traz uma solu??o de automa??o para essa planta. O sistema disp?e de recursos de monitoramento e prote??es locais e remotos, que garantem a seguran?a do processo e dos operadores. Para controle de temperatura do reator principal da planta foi dada uma aten??o especial por ser o recinto onde ocorre o principal processamento e por apresentar um complexo modelo matem?tico. Para esse fim, foram empregados controles em cascata baseados em l?gica Fuzzy. Um computador de processo, com uma interface homem-m?quina (IHM) espec?fica, disponibiliza ao operador informa??es e controles da planta, inclusive via Internet. O elemento central de gerenciamento da automa??o e controle da planta fica a cargo de um m?dulo CLP compacto, que recebe as informa??es dos sensores, e as envia ? IHM