Made available in DSpace on 2014-12-17T15:47:44Z (GMT). No. of bitstreams: 1 RaulBP.pdf: 1811907 bytes, checksum: 007d54350318472b95b8e06144b749a5 (MD5) Previous issue date: 2007-07-27 / Although some individual techniques of supervised Machine Learning (ML), also known as classifiers, or algorithms of classification, to supply solutions that, most of the time, are considered efficient, have experimental results gotten with the use of large sets of pattern and/or that they have a expressive amount of irrelevant data or incomplete characteristic, that show a decrease in the efficiency of the precision of these techniques. In other words, such techniques can t do an recognition of patterns of an efficient form in complex problems. With the intention to get better performance and efficiency of these ML techniques, were thought about the idea to using some types of LM algorithms work jointly, thus origin to the term Multi-Classifier System (MCS). The MCS s presents, as component, different of LM algorithms, called of base classifiers, and realized a combination of results gotten for these algorithms to reach the final result. So that the MCS has a better performance that the base classifiers, the results gotten for each base classifier must present an certain diversity, in other words, a difference between the results gotten for each classifier that compose the system. It can be said that it does not make signification to have MCS s whose base classifiers have identical answers to the sames patterns. Although the MCS s present better results that the individually systems, has always the search to improve the results gotten for this type of system. Aim at this improvement and a better consistency in the results, as well as a larger diversity of the classifiers of a MCS, comes being recently searched methodologies that present as characteristic the use of weights, or confidence values. These weights can describe the importance that certain classifier supplied when associating with each pattern to a determined class. These weights still are used, in associate with the exits of the classifiers, during the process of recognition (use) of the MCS s. Exist different ways of calculating these weights and can be divided in two categories: the static weights and the dynamic weights. The first category of weights is characterizes for not having the modification of its values during the classification process, different it occurs with the second category, where the values suffers modifications during the classification process. In this work an analysis will be made to verify if the use of the weights, statics as much as dynamics, they can increase the perfomance of the MCS s in comparison with the individually systems. Moreover, will be made an analysis in the diversity gotten for the MCS s, for this mode verify if it has some relation between the use of the weights in the MCS s with different levels of diversity / Apesar de algumas t?cnicas individuais de Aprendizado de M?quina (AM) supervisionado, tamb?mconhecidos como classificadores, ou algoritmos de classifica??o, fornecerem solu??es que, na maioria das vezes, s?o consideradas eficientes, h? resultados experimentais obtidos com a utiliza??o de grandes conjuntos de padr?es e/ou que apresentam uma quantidade expressiva de dados incompletos ou caracter?sticas irrelevantes, que mostram uma queda na efic?cia da precis?o dessas t?cnicas. Ou seja, tais t?cnicas n?o conseguem realizar um reconhecimento de padr?es de uma forma eficiente em problemas complexos. Com o intuito de obter um melhor desempenho e efic?cia dessas t?cnicas de AM, pensouse na id?ia de fazer com que v?rios tipos de algoritmos de AM consigam trabalhar conjuntamente, dando assim origem ao termo Sistema Multi-Classificador (SMC). Os SMC s apresentam, como componentes, diferentes algoritmos de AM, chamados de classificadores base, e realizam uma combina??o dos resultados obtidos por estes algoritmos para atingir o resultado final. Para que o SMC tenha um desempenho melhor que os classificadores base, os resultados obtidos por cada classificador base devem apresentar uma determinada diversidade, ou seja, uma diferen?a entre os resultados obtidos por cada classificador que comp?em o sistema. Pode-se dizer que n?o faz sentido ter SMC s cujos classificadores base possuam respostas id?nticas aos padr?es apresentados. Apesar dos SMC s apresentarem melhores resultados que os sistemas executados individualmente, h? sempre a busca para melhorar os resultados obtidos por esse tipo de sistema. Visando essa melhora e uma maior consist?ncia nos resultados, assim como uma maior diversidade dos classificadores de um SMC, v?m sendo recentemente pesquisadas metodologias que apresentam como caracter?sticas o uso de pesos, ou valores de con- fian?a. Esses pesos podem descrever a import?ncia que um determinado classificador forneceu ao associar cada padr?o a uma determinada classe. Esses pesos ainda s?o utilizados, em conjunto com as sa?das dos classificadores, durante o processo de reconhecimento (uso) dos SMC s. Existem diferentes maneiras de se calcular esses pesos e podem ser divididas em duas categorias: os pesos est?ticos e os pesos din?micos. A primeira categoria de pesos se caracteriza por n?o haver a modifica??o de seus valores no decorrer do processo de classifica??o, ao contr?rio do que ocorre com a segunda categoria, onde os valores sofrem modifica??es no decorrer do processo de classifica??o. Neste trabalho ser? feito uma an?lise para verificar se o uso dos pesos, tanto est?ticos quanto din?micos, conseguem aumentar o desempenho dos SMC s em compara??o com estes sistemas executados individualmente. Al?m disso, ser? feita uma an?lise na diversidade obtida pelos SMC s, para dessa forma verificar se h? alguma rela??o entre o uso dos pesos nos SMC s com diferentes n?veis de diversidade

Made available in DSpace on 2014-12-17T15:47:56Z (GMT). No. of bitstreams: 1 DiegoHOS_DISSERT.pdf: 2899752 bytes, checksum: d3160b774efd6749eced9bb34d4a74cf (MD5) Previous issue date: 2011-08-31 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++. / Usando m?todos formais, o desenvolvedor pode aumentar a confiabilidade e corretude do software. Al?m disso, o desenvolvedor pode concentrar-se mais nos requisitos funcionais. Por?m h? muita resist?ncia em se adotar essa abordagem de desenvolvimento de software. A raz?o principal e a escassez de suporte ferramental adequado, ?til e de f?cil utiliza??o. Os desenvolvedores normalmente escrevem o c?digo e o testam. Estes testes geralmente consistem em checar se as sa?das est?o de acordo com os requisitos. Isto, contudo, nem sempre e poss?vel de maneira exaustiva. Por outro lado, usando M?todos Formais um desenvolvedor e capaz de investigar profundamente as propriedades do sistema. Infelizmente, linguagens de especifica??o formal nem sempre possuem ferramentas como animador ou simulador e ?s vezes n?o h? interfaces gr?ficas amig?veis. Por?m, algumas dessas ferramentas possuem um compilador, que gera um Sistema de Transi??es Rotuladas (LTS). A proposta deste trabalho ? desenvolver um aplicativo que fornece anima??o gr?fica para especifica??es formais usando o LTS como entrada. O aplicativo inicialmente suporta as as linguagens B, CSP e Z. Usando o LTS em um formato XML especificado ? poss?vel animar outras linguagens formais. Adicionalmente a ferramenta disponibiliza visualiza??o de traces, escolhas feitas pelo usu?rio, em um formato de ?rvore gr?fica. A inten??o ? melhorar a compreens?o de uma especifica??o, fornecendo informa??es sobre erros e animando-a, como os desenvolvedores fazem com linguagens de programa??o como Java e C++.

Made available in DSpace on 2014-12-17T15:48:03Z (GMT). No. of bitstreams: 1 HanielMB_DISSERT.pdf: 4925062 bytes, checksum: b4c15cc32318b96fa9ccd3be61b6e7e6 (MD5) Previous issue date: 2012-11-01 / PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs / Controladores L?gico Program?veis (PLCs Programmable Logic Controllers, em ingl?s) desempenham fun??es de controle, recebendo informa??es do ambiente, processando-as e modificando este ambiente de acordo com os resultados obtidos. S?o comumente utilizados na ind?stria nas mais diversas aplica??es, do transporte de massa ? ind?stria do petr?leo, g?s e energias renov?veis. Com o crescente aumento da complexidade dessas aplica??es e do seu uso em sistemas cr?ticos, faz-se necess?ria uma forma de verifica??o que propicie mais confian?a do que testes e simula??o, padr?es mais utilizados na ind?stria, mas que podem deixar falhas n?o tratadas. M?todos formais podem prover maior seguran?a a este tipo de sistema, uma vez que permitem a sua verifica??o matem?tica. Neste trabalho fazemos uso do M?todo B, que ? usado com sucesso na ind?stria para a verifica??o de sistemas cr?ticos, possui amplo apoio ferramental e suporte ? decomposi??o, refinamento e verifica??o de corretude em rela??o ? especifica??o atrav?s de obriga??es de prova. O m?todo desenvolvido e apresentado aqui consiste em gerar automaticamente modelos B a partir de programas para PLCs e verific?-los formalmente em rela??o a propriedades de seguran?a, estas derivadas manualmente a partir dos requisitos do sistema. O escopo do trabalho s?o as linguagens de programa??o para PLCs do padr?o IEC 61131-3, mas sistemas com linguagens que apresentem modifica??es em rela??o ao padr?o tamb?m s?o suportados. Esta abordagem visa facilitar a integra??o de m?todos formais na ind?stria atrav?s da diminui??o do esfor?o para realizar a verifica??o formal de PLCs

Made available in DSpace on 2014-12-17T14:08:37Z (GMT). No. of bitstreams: 1 ErnestoVBa_DISSERT.pdf: 9825397 bytes, checksum: 732b67b111fb317d406c771240e47d87 (MD5) Previous issue date: 2009-12-18 / Electrical resistive heating (ERH) is a thermal method used to improve oil recovery. It can increase oil rate and oil recovery due to temperature increase caused by electrical current passage through oil zone. ERH has some advantage compared with well-known thermal methods such as continuous steam flood, presenting low-water production. This method can be applied to reservoirs with different characteristics and initial reservoir conditions. Commercial software was used to test several cases using a semi-synthetic homogeneous reservoir with some characteristics as found in northeast Brazilian basins. It was realized a sensitivity analysis of some reservoir parameters, such as: oil zone, aquifer presence, gas cap presence and oil saturation on oil recovery and energy consumption. Then it was tested several cases studying the electrical variables considered more important in the process, such as: voltage, electrical configurations and electrodes positions. Energy optimization by electrodes voltage levels changes and electrical settings modify the intensity and the electrical current distribution in oil zone and, consequently, their influences in reservoir temperature reached at some regions. Results show which reservoir parameters were significant in order to improve oil recovery and energy requirement in for each reservoir. Most significant parameters on oil recovery and electrical energy delivered were oil thickness, presence of aquifer, presence of gas cap, voltage, electrical configuration and electrodes positions. Factors such as: connate water, water salinity and relative permeability to water at irreducible oil saturation had low influence on oil recovery but had some influence in energy requirements. It was possible to optimize energy consumption and oil recovery by electrical variables. Energy requirements can decrease by changing electrodes voltages during the process. This application can be extended to heavy oil reservoirs of high depth, such as offshore fields, where nowadays it is not applicable any conventional thermal process such as steam flooding / O Aquecimento El?trico Resistivo (AER) ? um m?todo t?rmico usado para aumentar a recupera??o de petr?leo. Este aumenta a vaz?o de ?leo e conseq?entemente a recupera??o de petr?leo devido ao aumento de temperatura promovida pela passagem de corrente el?trica na zona de interesse. O AER tem algumas vantagens sobre m?todos t?rmicos conhecidos, como inje??o cont?nua de vapor, por apresentar baixa produ??o de ?gua, podendo ser aplicado a reservat?rios com diversas caracter?sticas e diversas condi??es iniciais. Um software comercial foi usado para testar v?rios casos usando um reservat?rio homog?neo semi-sint?tico com algumas caracter?sticas encontradas em reservat?rio da bacia sedimentar do Nordeste Brasileiro. Foi realizada uma an?lise de sensibilidade dos par?metros de reservat?rio, tais como: espessura da zona de ?leo, presen?as de capa de g?s e de aq??fero e satura??o de ?leo, na recupera??o de ?leo e consumo de energia el?trica. V?rios casos foram testados usando vari?veis el?tricas consideradas mais importantes no processo, tais como: tens?o, configura??es el?tricas e posi??es dos eletrodos. Os resultados mostram que os par?metros de reservat?rio foram significativos no sentido de aumentar a recupera??o de ?leo e a demanda de energia em cada reservat?rio. Os par?metros mais significativos na recupera??o de ?leo e no consumo de energia foram: a espessura da zona de ?leo, presen?as de capa de g?s e de aq??fero, as configura??es el?tricas e a posi??o dos eletrodos. Fatores como: satura??o irredut?vel de ?gua, salinidade da ?gua e a permeabilidade relativa da ?gua na satura??o residual de ?leo tiveram pouca influ?ncia na recupera??o de ?leo, mas tiveram uma influ?ncia maior na demanda de energia. Foi poss?vel otimizar o consumo de energia com a recupera??o de ?leo usando as vari?veis el?tricas. Estas aplica??es podem ser estendidas para reservat?rios de ?leo pesado e de grande profundidade, como em campos mar?timos (offshore), onde atualmente n?o ? poss?vel o uso de m?todos t?rmicos convencionais de recupera??o, como a inje??o de vapor

Made available in DSpace on 2014-12-17T14:08:41Z (GMT). No. of bitstreams: 1 EduardoEFB_DISSERT_1-100.pdf: 2141096 bytes, checksum: 2c8315a9a7567e27a669088e0bbc6350 (MD5) Previous issue date: 2008-12-01 / The application of thermal methods, to increase the recovery of heavy oil in mature fields through drainage with multilateral and horizontal wells, has been thoroughly studied, theorically, experimentally, testing new tools and methods. The continuous injection of steam, through a steam injector well and a horizontal producer well in order to improve horizontal sweep of the fluid reservoir, it is an efficient method. Starting from an heterogeneous model, geologically characterized, modeling geostatistics, set history and identification of the best path of permeability, with seismic 3D, has been dubbed a studying model. It was studied horizontal wells in various directions in relation to the steam and the channel of higher permeability, in eight different depths. Into in the same area were studied, the sensitivity of the trajectories of horizontal wells, according to the depth of navigation. With the purpose of obtaining the highest output of oil to a particular flow, quality, temperature and time for the injection of steam. The wells studied showed a significant improvement in the cumulative oil recovery in one of the paths by promoting an alternative to application in mature fields or under development fields with heavy oil / A aplica??o de m?todos t?rmicos, para aumentar a recupera??o de ?leo pesado em campos maduros atrav?s da drenagem com po?os horizontais e multilaterais, tem sido exaustivamente estudada, te?rica e experimentalmente, testando novas ferramentas e novos m?todos. A inje??o cont?nua de vapor, atrav?s de um po?o injetor e de um po?o horizontal produtor com o objetivo de proporcionar uma varredura dos fluidos do reservat?rio, mostra-se um m?todo eficiente. Partindo de um modelo heterog?neo, geologicamente caracterizado por, modelagem geoestat?stica, ajuste de hist?rico e identifica??o do melhor caminho de permeabilidade, com a s?smica 3D, foi montado um modelo para estudo. Foram estudados po?os horizontais em v?rias dire??es em rela??o ao injetor de vapor e ao canal de maior permeabilidade, em oito profundidades diferentes. Dentro de uma mesma zona foram estudadas, a sensibilidade das trajet?rias de po?os horizontais, em fun??o da profundidade de navega??o. Com a finalidade de obter a maior produ??o acumulada de ?leo a uma determinada vaz?o, qualidade, temperatura e per?odo de inje??o do vapor. Os po?os estudados evidenciam uma melhora significativa na recupera??o acumulada de ?leo em uma das trajet?rias, promovendo uma alternativa de aplica??o em campos maduros ou em desenvolvimento com ?leo pesado

Submitted by M?rden L?les (marden.inacio@ufvjm.edu.br) on 2016-07-14T23:55:27Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Bruno Regis Lyrio Ferraz.PDF: 3015137 bytes, checksum: d479e9335e2f200939b52075f9b84382 (MD5) / Rejected by Rodrigo Martins Cruz (rodrigo.cruz@ufvjm.edu.br), reason: Inserir ano em nota de tese. Inserir t?tulo em ingl?s Inserir tipo de trabalho on 2016-07-18T15:05:26Z (GMT) / Submitted by M?rden L?les (marden.inacio@ufvjm.edu.br) on 2016-07-19T20:24:24Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Bruno Regis Lyrio Ferraz.PDF: 3015137 bytes, checksum: d479e9335e2f200939b52075f9b84382 (MD5) / Rejected by Rodrigo Martins Cruz (rodrigo.cruz@ufvjm.edu.br), reason: renomear on 2016-07-21T16:57:12Z (GMT) / Submitted by M?rden L?les (marden.inacio@ufvjm.edu.br) on 2016-07-21T17:33:50Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Bruno_Regis_Lyrio_Ferraz.PDF: 3015137 bytes, checksum: d479e9335e2f200939b52075f9b84382 (MD5) / Approved for entry into archive by Rodrigo Martins Cruz (rodrigo.cruz@ufvjm.edu.br) on 2016-07-22T15:28:18Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Bruno_Regis_Lyrio_Ferraz.PDF: 3015137 bytes, checksum: d479e9335e2f200939b52075f9b84382 (MD5) / Made available in DSpace on 2016-07-22T15:28:18Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Bruno_Regis_Lyrio_Ferraz.PDF: 3015137 bytes, checksum: d479e9335e2f200939b52075f9b84382 (MD5) Previous issue date: 2016 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Funda??o de Amparo a Pesquisa do Estado de Minas Gerais (FAPEMIG) / RESUMO Etionamida e pirazinamida s?o antibi?ticos ?teis no tratamento da tuberculose multirresistente. O presente trabalho descreve o desenvolvimento e valida??o de metodologias eletroanal?ticas para determina??o de etionamida e pirazinamida em formula??es farmac?uticas e em urina humana empregando um eletrodo de diamante dopado com boro e um eletrodo de carbono v?treo modificado comum filme de poli glicina. Durante o desenvolvimento de ambas as metodologias, a voltametria c?clica foi empregada para verificar a influ?ncia do pH, da velocidade de varredura e do eletr?lito suporte no comportamento eletroqu?mico de ambos os analitos, bem como foram calculados os n?meros de pr?tons e el?trons envolvidos em cada uma das rea??es eletroqu?micas. A voltametria de onda quadrada com os par?metros otimizados foi utilizada para construir curvas anal?ticas para a ETO e PZA. Para a ETO foi obtido um intervalo linear de 1,0 a 80,0 ?mol L?1, com LOD e LOQ iguais a 0,294 e 0,980 ?mol L?1, respectivamente. Para a PZA foi obtido um intervalo linear de 0,47 a 6,16 ?mol L?1, com LOD e LOQ iguais a 0,035 e 0,12 ?mol L?1, respectivamente. A precis?o foi avaliada pelo registro de voltamogramas no mesmo dia e em dias diferentes, obtendo-se desvios padr?es relativos, inferiores a 5,0% em ambos os m?todos. Os resultados dos estudos de interferentes mostraram que nenhuma das subst?ncias testadas interferiu de maneira significativa na determina??o de ambos os f?rmacos. Os m?todos desenvolvidos foram comparados estatisticamente com os protocolos oficiais da farmacopeia atrav?s do teste-t e do teste-F, e os resultados mostraram que os valores de t e F calculados foram menores do que os valores de t e F cr?ticos, indicando que n?o houve diferen?a estat?stica entre as m?dias. A exatid?o de ambos os m?todos foi avaliada tamb?m por estudos de adi??o e recupera??o, obtendo-se como resultados percentuais de recupera??o pr?ximos a 100% para ambos os m?todos. A valida??o das metodologias desenvolvidas foi realizada pela avalia??o dos par?metros anal?ticos como sensibilidade, seletividade, limite de detec??o, limite de quantifica??o, faixa linear, exatid?o e precis?o e os resultados obtidos foram satisfat?rios. Portanto, os m?todos desenvolvidos podem ser aplicados com sucesso na determina??o dos f?rmacos ETO e PZA em medicamentos e urina humana. / Disserta??o (Mestrado) ? Programa de P?s-gradua??o em Ci?ncias Farmac?uticas, Universidade Federal dos Vales do Jequitinhonha e Mucuri, 2016. / ABSTRACT Ethionamide and pyrazinamide antibiotics are useful in the treatment of multidrugresistant tuberculosis. This work describes the development and validation of electroanalytical methodologies for determination of ethionamide and pyrazinamide in pharmaceutical formulation and human urine using boron-doped diamond electrode and poly glycine modified glassy carbon electrode, respectively. During the development of both methodologies, cyclic voltammetry was used to investigate the influence of pH, scan rate and the supporting electrolyte on the electrochemical behavior of both analytes, as well as the numbers of protons and electrons involved in each of the electrochemical reactions were calculated. Square wave voltammetry with optimized parameters were used to construct standard curves for ETO and PZA. For ETO a linear range from 1.0 to 80.0 ?mol L?1 was obtained with LOD and LOQ equal to 0.294 and 0.980 ?mol L?1, respectively. For PZA a linear range from 0.47 to 6.16 ?mol L?1was obtained with LOD and LOQ equal to 0.035 and 0.12 ?mol L?1, respectively. The precision was evaluated by voltammograms record on the same day and on different days, obtaining relative standard deviation less than 5.0% in both methods. The results of interfering studies showed that none of the tested substance interferes significantly in the determination of both drugs. The developed methods were statistically compared with the pharmacopoeia official protocols through the t-test and F-test, and the results showed that the calculated t and F values were lower than the critical t and F values indicating that there was no statistical difference between the averages. The accuracy of both methods was also evaluated by addition and recovery studies, obtaining results as percentage recovery close to 100% for both methods. The validation of the developed methodologies was carried out by the evaluation of analytical parameters such as sensitivity, selectivity, detection limit, quantification limit, linear range, accuracy and precision and the obtained results were satisfactory. Therefore, the developed methods can be applied successfully in the determination of ETO and PZA drugs in pharmaceuticals and human urine.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2015-09-28T20:12:49Z No. of bitstreams: 1 RodrigoSiqueiraMartins_TESE.pdf: 3898946 bytes, checksum: 0606c73d62c01f99eaf21d5af3faf852 (MD5) / Approved for entry into archive by Elisangela Moura (lilaalves@gmail.com) on 2015-10-01T13:50:44Z (GMT) No. of bitstreams: 1 RodrigoSiqueiraMartins_TESE.pdf: 3898946 bytes, checksum: 0606c73d62c01f99eaf21d5af3faf852 (MD5) / Made available in DSpace on 2015-10-01T13:50:44Z (GMT). No. of bitstreams: 1 RodrigoSiqueiraMartins_TESE.pdf: 3898946 bytes, checksum: 0606c73d62c01f99eaf21d5af3faf852 (MD5) Previous issue date: 2014-06-27 / A detec??o e o diagn?stico de falhas, ou seja, descobrir como, onde e porque as falhas acontecem, ? uma importante ?rea de estudo desde que o homem passou a ser substitu?do pelas m?quinas. No entanto, nenhuma t?cnica estudada at? hoje consegue resolver em definitivo o problema. As diferen?as em sistemas din?micos, sejam eles lineares, n?o lineares, variantes ou invariantes no tempo, com redund?ncia f?sica ou mesmo anal?tica dificultam as pesquisas no sentido de obter uma solu??o ?nica. Neste trabalho, ser? apresentada uma t?cnica de detec??o e diagn?sticos de falhas (FDD) em sistemas din?micos utilizando observadores de estado em conjunto com outras ferramentas de maneira a criar um FDD h?brido. Um observador de estado modificado ser? utilizado para a cria??o de um res?duo que permita a detec??o e tamb?m o diagn?sticos de falhas. Um banco de assinaturas de falhas ser? criado a partir de recortes utilizando ferramentas estat?sticas e por fim uma aproxima??o usando erro m?dio quadr?tico (MSE) servir? de infer?ncia e auxiliar? no estudo do comportamento das falhas e no diagn?stico das mesmas, ainda que na presen?a de ru?dos. Essa metodologia ser? ent?o aplicada a uma planta did?tica de tanques acopladas e outra com instrumenta??o industrial com fim de validar o sistema. / The detection and diagnosis of faults, ie., find out how , where and why failures occur is an important area of study since man came to be replaced by machines. However, no technique studied to date can solve definitively the problem. Differences in dynamic systems, whether linear, nonlinear, variant or invariant in time, with physical or analytical redundancy, hamper research in order to obtain a unique solution . In this paper, a technique for fault detection and diagnosis (FDD) will be presented in dynamic systems using state observers in conjunction with other tools in order to create a hybrid FDD. A modified state observer is used to create a residue that allows also the detection and diagnosis of faults. A bank of faults signatures will be created using statistical tools and finally an approach using mean squared error ( MSE ) will assist in the study of the behavior of fault diagnosis even in the presence of noise . This methodology is then applied to an educational plant with coupled tanks and other with industrial instrumentation to validate the system.

Made available in DSpace on 2014-12-17T14:55:18Z (GMT). No. of bitstreams: 1 ArrheniusVCO_da_capa_ate_pag_12.pdf: 7828798 bytes, checksum: b0f0c76e1aebc32a2155c024e0abc8a9 (MD5) Previous issue date: 2004-12-17 / The objective of the present work is develop a model to simulate electrical energy networks in transient and stead states, using the software ATP (Alternative Transient Program), able to be a way to join two distinct themes, present in classical methodology planning networks: short circuit analysis and load flow theory. Beyond that, using a tool for relay simulation, this paper intend to use the new developed model to investigate the influence of transient phenomenon in operation of protection relays, and calibrate the enterprise's protections relays. For testing the model, some relays, actually, installed at COSERN were used / O presente trabalho objetiva ao desenvolvimento de um modelo para simular redes de energia el?trica em regimes transit?rio e permanente, utilizando o software ATP (Alternative Transient Program), para servir como elo entre dois temas distintos, presentes na metodologia cl?ssica de planejamento de redes: a an?lise de curtos-circuitos e o estudo de fluxo de carga. Al?m disso, dispondo de uma ferramenta de simula??o de rel?s, pretende-se usar o novo modelo, tanto para averiguar a influ?ncia de fen?menos transit?rios na opera??o dos rel?s de prote??o, quanto para calibrar esses rel?s. Para testar o modelo, utilizaram-se alguns dos rel?s atualmente instalados na COSERN

Made available in DSpace on 2014-12-17T14:55:35Z (GMT). No. of bitstreams: 1 FelipeDMO.pdf: 2614728 bytes, checksum: fd69e303891800912ab5260562a5545d (MD5) Previous issue date: 2009-02-13 / This dissertation aims to develop a software applied to a communication system for a wireless sensor network (WSN) for tracking analog and digital variables and control valve of the gas flow in artificial oil s elevation units, Plunger Lift type. The reason for this implementation is due to the fact that, in the studied plant configuration, the sensors communicate with the PLC (Programmable and Logic Controller) by the cables and pipelines, making any changes in that system, such as changing the layout of it, as well as inconveniences that arise from the nature of the site, such as the vicinity s animals presence that tend to destroy the cables for interconnection of sensors to the PLC. For software development, was used communication polling method via SMAC protocol (Simple Medium Access ControlIEEE 802.15.4 standard) in the CodeWarrior environment to which generated a firmware, loaded into the WSN s transceivers, present in the kit MC13193-EVK, (all items described above are owners of Freescale Semiconductors Inc.). The network monitoring and parameterization used in its application, was developed in LabVIEW software from National Instruments. The results were obtained through the observation of the network s behavior of sensors proposal, focusing on aspects such as: indoor and outdoor quantity of packages received and lost, general aspects of reliability in data transmission, coexistence with other types of wireless networks and power consumption under different operating conditions. The results were considered satisfactory, which showed the software efficiency in this communication system / Este trabalho tem por finalidade desenvolver um software aplicado a um sistema de comunica??o de uma rede de sensores sem fio (RSSF), para monitoramento de vari?veis anal?gicas, digitais e comando de v?lvulas de passagem do fluxo de g?s em unidades de eleva??o artificial de petr?leo e g?s natural do tipo Plunger Lift. A raz?o desta implementa??o deve-se ao fato que, na configura??o da planta estudada, os sensores comunicam-se com o CLP (Controlador L?gico Program?vel) atrav?s de cabos e dutos, dificultando eventuais modifica??es nesse sistema, tais como mudan?a de layout do mesmo, al?m de inconveni?ncias que venham a surgir da pr?pria natureza do local, como a presen?a de animais nas redondezas que tendem a destruir os cabos de interconex?o dos sensores ao CLP. Para o desenvolvimento do software, foi utilizado o m?todo de comunica??o polling, atrav?s do protocolo SMAC (Simple Medium Access Control - padr?o IEEE 802.15.4), no ambiente CodeWarrior, ao qual gerou um firmware, carregado nas placas de monitoramento da RSSF, presentes no kit MC13193-EVK, (todos os itens descritos acima s?o propriet?rios da Freescale Semiconductors Inc.). O monitoramento e parametriza??o da rede utilizou uma aplica??o, desenvolvida no software LabVIEW, da National Instruments. Os resultados foram obtidos atrav?s da observa??o do comportamento da rede de sensores proposta, focando aspectos, tais como: quantidade de pacotes recebidos e perdidos em ambientes externos (Outdoor) e internos (Indoor), aspectos gerais de confiabilidade na transmiss?o dos dados, coexist?ncia entre outros tipos de redes sem fio e consumo de energia sob diferentes condi??es de opera??o. Os resultados obtidos foram considerados satisfat?rios, o que comprovou a efici?ncia do software neste sistema de comunica??o

Made available in DSpace on 2014-12-17T15:01:22Z (GMT). No. of bitstreams: 1 GertrudesOQ.pdf: 1545154 bytes, checksum: 8733f5db29d9ddd6780de7e34160f375 (MD5) Previous issue date: 2005-12-16 / Thermal methods made heavy oil production possible in fields where primary recovery failed. Throughout the years steam injection became one of the most important alternatives to increase heavy oil recovery. There are many types of steam injection, and one of them is the cyclic steam injection, which has been used with success in several countries, including Brazil. The process involves three phases: firstly, steam is injected, inside of the producing well; secondly, the well is closed (soak period); and finally, the well is put back into production. These steps constitute one cycle. The cycle is repeated several times until economical production limit is reached. Usually, independent of reservoir type, as the number of cycles increases the cyclic injection turns less efficient. This work aims to analyze rock and reservoir property influence in the cyclic steam injection. The objective was to study the ideal number of cycles and, consequently, process optimization. Simulations were realized using the STARS simulator from the CMG group based in a proposed reservoir model. It was observed that the reservoir thickness was the most important parameter in the process performance, whilst soaking time influence was not significant / Os m?todos t?rmicos viabilizaram a produ??o de ?leo pesado em campos considerados n?o comerciais pelos m?todos convencionais de recupera??o. A inje??o de vapor, em particular, veio a se consagrar ao longo dos anos e ? hoje uma das principais alternativas economicamente vi?vel para o aumento da recupera??o dos ?leos pesados. Dentre as ramifica??es da inje??o de vapor existentes a inje??o c?clica tem sido utilizada com sucesso em escalas comerciais em v?rios pa?ses, incluindo o Brasil. O processo envolve tr?s fases: a primeira ? a inje??o de vapor na qual o vapor ? injetado, dentro do po?o produtor, por um per?odo espec?fico de tempo; em seguida, o po?o ? fechado por um curto per?odo de tempo ( soak period ); e finalmente, o po?o ? recolocado em produ??o durante meses a anos. Esse processo constitui um ciclo. O ciclo ? repetido um n?mero de vezes at? que o limite econ?mico na produ??o seja alcan?ado. Independente do tipo de reservat?rio, a inje??o c?clica geralmente se torna menos eficiente ? propor??o que o n?mero de ciclos aumenta. Este trabalho visa analisar a influ?ncia de algumas propriedades de rocha e reservat?rio na inje??o c?clica de vapor a fim de estudar o n?mero ideal de ciclos e, conseq?entemente, otimizar o processo. Foram realizadas simula??es, utilizando o simulador STARS do grupo CMG, a partir de um modelo de reservat?rio proposto. Observou-se que o efeito da espessura do reservat?rio foi o par?metro que mais influenciou no desempenho do processo, enquanto que para o tempo de soaking essa influ?ncia n?o foi significativa