Interactive classi&amp / #64257 / cation is an attractive alternative and complementary for automatic classi&amp / #64257 / cation of satellite image content, since the subject is visual and there are not yet powerful computational features corresponding to the sought visual features. In this study, we improve our previous attempt by building a more stable software system with better capabilities for interactive classi&amp / #64257 / cation of the content of satellite images. The system allows user to indicate a few number of image regions that contain a speci&amp / #64257 / c geographical object, for example, a bridge, and to retrieve similar objects on the same satellite images. Retrieval process is iterative in the sense that user guides the classi&amp / #64257 / cation procedure by interaction and visual observation of the results. The classi&amp / #64257 / cation procedure is based on one-class classi&amp / #64257 / cation.

Made available in DSpace on 2014-12-17T15:48:05Z (GMT). No. of bitstreams: 1 LeonardoAC.pdf: 6046620 bytes, checksum: ad9a9332aa6ef3e81e83f93b75f55894 (MD5) Previous issue date: 2006-05-19 / The Reconfigurable Computing is an intermediate solution at the resolution of complex problems, making possible to combine the speed of the hardware with the flexibility of the software. An reconfigurable architecture possess some goals, among these the increase of performance. The use of reconfigurable architectures to increase the performance of systems is a well known technology, specially because of the possibility of implementing certain slow algorithms in the current processors directly in hardware. Amongst the various segments that use reconfigurable architectures the reconfigurable processors deserve a special mention. These processors combine the functions of a microprocessor with a reconfigurable logic and can be adapted after the development process. Reconfigurable Instruction Set Processors (RISP) are a subgroup of the reconfigurable processors, that have as goal the reconfiguration of the instruction set of the processor, involving issues such formats, operands and operations of the instructions. This work possess as main objective the development of a RISP processor, combining the techniques of configuration of the set of executed instructions of the processor during the development, and reconfiguration of itself in execution time. The project and implementation in VHDL of this RISP processor has as intention to prove the applicability and the efficiency of two concepts: to use more than one set of fixed instructions, with only one set active in a given time, and the possibility to create and combine new instructions, in a way that the processor pass to recognize and use them in real time as if these existed in the fixed set of instruction. The creation and combination of instructions is made through a reconfiguration unit, incorporated to the processor. This unit allows the user to send custom instructions to the processor, so that later he can use them as if they were fixed instructions of the processor. In this work can also be found simulations of applications involving fixed and custom instructions and results of the comparisons between these applications in relation to the consumption of power and the time of execution, which confirm the attainment of the goals for which the processor was developed / A Computa??o Reconfigur?vel ? uma solu??o intermedi?ria na resolu??o de problemas complexos, possibilitando combinar a velocidade do hardware com a flexibilidade do software. Uma arquitetura reconfigur?vel possui v?rias metas, entre estas o aumento de desempenho. Dentre os v?rios segmentos em rela??o ?s arquiteturas reconfigur?veis, destacam-se os Processadores Reconfigur?veis. Estes processadores combinam as fun??es de um microprocessador com uma l?gica reconfigur?vel e podem ser adaptados depois do processo de desenvolvimento. Processadores com Conjunto de Instru??es Reconfigur?veis (RISP -Reconfigurable Instruction Set Processors) s?o um subconjunto dos processadores reconfigur?veis, que visa como meta a reconfigura??o do conjunto de instru??es do processador, envolvendo caracter?sticas referentes aos padr?es de instru??es como formatos, operandos, e opera??es elementares. Este trabalho possui como objetivo principal o desenvolvimento de um processador RISP, combinando as t?cnicas de configura??o do conjunto de instru??es do processador executadas em tempo de desenvolvimento, e de reconfigura??o do mesmo em tempo de execu??o. O projeto e implementa??o em VHDL deste processador RISP tem como intuito provar a aplicabilidade e a efici?ncia de dois conceitos: utilizar mais de um conjunto de instru??o fixo, com apenas um ativo em determinado momento, e a possibilidade de criar e combinar novas instru??es, de modo que o processador passe a reconhec?-las e utiliz?-las em tempo real como se estas existissem no conjunto de instru??o fixo. A cria??o e combina??o de instru??es ? realizada mediante uma unidade de reconfigura??o incorporada ao processador. Esta unidade permite que o usu?rio possa enviar instru??es customizadas ao processador para que depois possa utiliz?-las como se fossem instru??es fixas do processador. Neste trabalho tamb?m encontram-se simula??es de aplica??es envolvendo instru??es fixas e customizadas e resultados das compara??es entre estas aplica??es em rela??o ao consumo de pot?ncia e ao tempo de execu??o que confirmam a obten??o das metas para as quais o processador foi desenvolvido

Made available in DSpace on 2014-12-17T14:54:51Z (GMT). No. of bitstreams: 1 DiegoRCS.pdf: 1286138 bytes, checksum: 890aca771a97105bf912985058e417c2 (MD5) Previous issue date: 2008-12-11 / The present research aims at contributing to the area of detection and diagnosis of failure through the proposal of a new system architecture of detection and isolation of failures (FDI, Fault Detection and Isolation). The proposed architecture presents innovations related to the way the physical values monitored are linked to the FDI system and, as a consequence, the way the failures are detected, isolated and classified. A search for mathematical tools able to satisfy the objectives of the proposed architecture has pointed at the use of the Kalman Filter and its derivatives EKF (Extended Kalman Filter) and UKF (Unscented Kalman Filter). The use of the first one is efficient when the monitored process presents a linear relation among its physical values to be monitored and its out-put. The other two are proficient in case this dynamics is no-linear. After that, a short comparative of features and abilities in the context of failure detection concludes that the UFK system is a better alternative than the EKF one to compose the architecture of the FDI system proposed in case of processes of no-linear dynamics. The results shown in the end of the research refer to the linear and no-linear industrial processes. The efficiency of the proposed architecture may be observed since it has been applied to simulated and real processes. To conclude, the contributions of this thesis are found in the end of the text / O presente trabalho visa contribuir com a ?rea de detec??o e diagn?stico de falhas em sistemas din?micos atrav?s da proposta de uma nova arquitetura de sistemas de detec??o e isolamento de falhas (FDI, Fault Detection and Isolation). A arquitetura proposta traz inova??es no que se refere ? maneira como as grandezas f?sicas do processo monitorado s?o relacionadas ao sistema FDI e, em conseq??ncia disso, ? maneira como as falhas s?o detectadas, isoladas e classificadas. Uma busca por ferramentas matem?ticas capazes de satisfazer os objetivos da arquitetura proposta apontou para o uso do filtro de Kalman e seus derivados EKF (Extended Kalman Filter) e UKF (Unscented Kalman Filter). O uso do primeiro algoritmo mostra-se eficaz no caso em que o processo monitorado apresenta uma rela??o linear entre suas grandezas f?sicas a serem monitoradas e sua sa?da. Os outros dois, caso a din?mica seja n?o linear. Posteriormente, um comparativo entre o EKF e o UKF mostra que o segundo se adequa melhor ?s necessidades da arquitetura proposta. Os resultados mostrados no final da tese s?o referentes a plantas lineares e n?o-lineares, onde se pode observar a efic?cia da arquitetura proposta quando a mesma foi aplicada a processos simulados e reais

Made available in DSpace on 2014-12-17T14:56:21Z (GMT). No. of bitstreams: 1 DaniloLS.pdf: 2499617 bytes, checksum: 328b5ce6d56f5a92a61ad220565411c7 (MD5) Previous issue date: 2006-07-24 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Oil spill on the sea, accidental or not, generates enormous negative consequences for the affected area. The damages are ambient and economic, mainly with the proximity of these spots of preservation areas and/or coastal zones. The development of automatic techniques for identification of oil spots on the sea surface, captured through Radar images, assist in a complete monitoring of the oceans and seas. However spots of different origins can be visualized in this type of imaging, which is a very difficult task. The system proposed in this work, based on techniques of digital image processing and artificial neural network, has the objective to identify the analyzed spot and to discern between oil and other generating phenomena of spot. Tests in functional blocks that compose the proposed system allow the implementation of different algorithms, as well as its detailed and prompt analysis. The algorithms of digital image processing (speckle filtering and gradient), as well as classifier algorithms (Multilayer Perceptron, Radial Basis Function, Support Vector Machine and Committe Machine) are presented and commented.The final performance of the system, with different kind of classifiers, is presented by ROC curve. The true positive rates are considered agreed with the literature about oil slick detection through SAR images presents / Derramamentos de ?leo sobre o mar, mesmo que acidentais, geram enormes conseq??ncias negativas para a ?rea afetada. Os preju?zos s?o ambientais e econ?micos, principalmente com a proximidade dessas manchas de ?reas de preserva??o e/ou zonas costeiras. O desenvolvimento de t?cnicas autom?ticas para a identifica??o de manchas de ?leo sobre a superf?cie marinha, capturadas atrav?s de imagens de Radar, auxiliam num completo monitoramento dos oceanos e mares. Contudo, manchas de diferentes origens podem ser visualizadas nesse tipo de produ??o de imagem, tornando o monitoramento dif?cil. O sistema proposto neste trabalho, baseado em t?cnicas de processamento digital de imagens e redes neurais artificiais, tem o objetivo de identificar a mancha analisada e discernir entre ?leo e os demais fen?menos geradores de mancha. Testes nos blocos funcionais que comp?em o sistema proposto permitem a implementa??o de diferentes algoritmos, assim como sua an?lise detalhada e pontual. Os algoritmos que tratam do processamento digital de imagem (filtragem do ru?do speckle e gradiente), assim como o de classifica??o (Perceptron de M?ltiplas Camadas, rede de fun??o de Base Radial, M?quina de Vetor de Suporte e M?quina de comit?) s?o apresentados e comentados.O desempenho final do sistema, com diferentes tipos de classificadores, ? apresentado atrav?s da curva ROC. As taxas de acertos s?o consideradas condizentes com o que a literatura de detec??o de manchas de ?leo na superf?cie oce?nica atrav?s de imagens de SAR apresenta

Made available in DSpace on 2014-12-17T15:48:05Z (GMT). No. of bitstreams: 1 MarjoryCCA.pdf: 917121 bytes, checksum: 918ccb19adcf29ebd6cdbf1f3ac97310 (MD5) Previous issue date: 2006-10-26 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The use of multi-agent systems for classification tasks has been proposed in order to overcome some drawbacks of multi-classifier systems and, as a consequence, to improve performance of such systems. As a result, the NeurAge system was proposed. This system is composed by several neural agents which communicate and negotiate a common result for the testing patterns. In the NeurAge system, a negotiation method is very important to the overall performance of the system since the agents need to reach and agreement about a problem when there is a conflict among the agents. This thesis presents an extensive analysis of the NeurAge System where it is used all kind of classifiers. This systems is now named ClassAge System. It is aimed to analyze the reaction of this system to some modifications in its topology and configuration / A utiliza??o de sistemas baseados no paradigma dos agentes para resolu??o de problemas de reconhecimento de padr?es vem sendo propostos com o intuito de resolver, ou atenuar, o problema de tomada de decis?o centralizada dos sistemas multi-classificadores e, como consequ?ncia, melhorar sua capacidade de classifica??o. Com a inten??o de solucionar este problema, o Sistema NeurAge foi proposto. Este sistema ? composto por agentes neurais que podem se comunicar e negociar um resultado comum para padr?es de teste. No Sistema NeurAge, os m?todos de negocia??o s?o muito importantes para prover uma melhor precis?o ao sistema, pois os agentes necessitam alcan?ar a melhor solu??o e resolver conflitos, quando estes existem, em rela??o a um problema. Esta disserta??o apresenta uma extens?o do Sistema NeurAge que pode utilizar qualquer tipo de classificador e agora ser? chamado de Sistema ClassAge. Aqui ? feita uma an?lise do comportamento do Sistema ClassAge diante de v?rias modifica??es na topologia e nas configura??es dos componentes deste sistema

Nesta tese, aborda-se o problema de classificaÃÃo de dados que estÃo contaminados com pa- drÃes atÃpicos. Tais padrÃes, genericamente chamados de outliers, sÃo onipresentes em conjunto de dados multivariados reais, porÃm sua detecÃÃo a priori (i.e antes de treinar um classificador) à uma tarefa de difÃcil realizaÃÃo. Como conseqÃÃncia, uma abordagem reativa, em que se desconfia da presenÃa de outliers somente apÃs um classificador previamente treinado apresen- tar baixo desempenho, à a mais comum. VÃrias estratÃgias podem entÃo ser levadas a cabo a fim de melhorar o desempenho do classificador, dentre elas escolher um classificador mais poderoso computacionalmente ou promover uma limpeza dos dados, eliminando aqueles pa- drÃes difÃceis de categorizar corretamente. Qualquer que seja a estratÃgia adotada, a presenÃa de outliers sempre irà requerer maior atenÃÃo e cuidado durante o projeto de um classificador de padrÃes. Tendo estas dificuldades em mente, nesta tese sÃo revisitados conceitos e tÃcni- cas provenientes da teoria de regressÃo robusta, em particular aqueles relacionados à estimaÃÃo M, adaptando-os ao projeto de classificadores de padrÃes capazes de lidar automaticamente com outliers. Esta adaptaÃÃo leva à proposiÃÃo de versÃes robustas de dois classificadores de padrÃes amplamente utilizados na literatura, a saber, o classificador linear dos mÃnimos qua- drados (least squares classifier, LSC) e a mÃquina de aprendizado extremo (extreme learning machine, ELM). AtravÃs de uma ampla gama de experimentos computacionais, usando dados sintÃticos e reais, mostra-se que as versÃes robustas dos classificadores supracitados apresentam desempenho consistentemente superior aos das versÃes originais. / This thesis addresses the problem of data classification when they are contaminated with atypical patterns. These patterns, generally called outliers, are omnipresent in real-world multi- variate data sets, but their a priori detection (i.e. before training the classifier) is a difficult task to perform. As a result, the most common approach is the reactive one, in which one suspects of the presence of outliers in the data only after a previously trained classifier has achieved a low performance. Several strategies can then be carried out to improve the performance of the classifier, such as to choose a more computationally powerful classifier and/or to remove the de- tected outliers from data, eliminating those patterns which are difficult to categorize properly. Whatever the strategy adopted, the presence of outliers will always require more attention and care during the design of a pattern classifier. Bearing these difficulties in mind, this thesis revi- sits concepts and techniques from the theory of robust regression, in particular those related to M-estimation, adapting them to the design of pattern classifiers which are able to automatically handle outliers. This adaptation leads to the proposal of robust versions of two pattern classi- fiers widely used in the literature, namely, least squares classifier (LSC) and extreme learning machine (ELM). Through a comprehensive set of computer experiments using synthetic and real-world data, it is shown that the proposed robust classifiers consistently outperform their original versions.

Made available in DSpace on 2014-06-12T15:57:14Z (GMT). No. of bitstreams: 2 arquivo3150_1.pdf: 1307018 bytes, checksum: ba6c797961ba6b10284f16cd4227343f (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Este trabalho propõe uma metodologia de otimização multimodal e simultânea de pesos e arquiteturas de Redes Neurais Artificiais (RNAs) com Evolução Diferencial. O sistema neural híbrido proposto busca por arquiteturas de forma construtiva e realiza o ajuste dos pesos invasivamente, dispensando assim o uso de algoritmos de treinamento por correção de erros. A motivação para o desenvolvimento do presente trabalho é propor uma abordagem que contorne a sensibilidade natural dos métodos construtivos e invasivos aos mínimos locais , tanto na busca de arquiteturas, quanto no ajuste dos pesos das RNAs. Para isto, utilizou-se uma estraté- gia implícita de manutenção da diversidade inspirada na computação evolucionária paralela. A combinação desta estratégia em um sistema neural híbrido, assim como sua adaptação em uma metodologia construtiva e invasiva, é a principal inovação deste trabalho. Como base evolucionária da metodologia proposta, foram utilizadas a Evolução Diferencial em sua forma original e também uma recente variação deste algoritmo, a Evolução Diferencial baseada em Oposição. Desta forma, esta dissertação possui dois objetivos primários: (1) avaliar a performance da metodologia proposta comparando com outros sistemas neurais híbridos encontrados na literatura; (2) avaliar e comparar o desempenho dos dois algoritmos evolucionários utilizados na otimização de redes neurais. Os experimentos foram conduzidos com o propósito de otimizar redes Multi-Layer Perceptron (MLP) para problemas de classificação. Os critérios utilizados para análise de performance do método foram a capacidade de generalização, tamanho da arquitetura encontrada e tempo de convergência. Os resultados obtidos indicam que o método proposto possui grande capacidade de generalização com qualidade de resposta superior ou equivalente a muitos métodos encontrados na literatura, e geralmente com menor arquitetura. Além do mais, a metodologia multimodal proposta obteve estes bons resultados com velocidade plausível, necessitando de poucos segundos para convergir. Estas análises ressaltam a boa performance geral do sistema neural híbrido proposto, cuja característica uni-modular sugere que bons resultados podem ser obtidos sem excessiva complexidade e em tempo hábil

Made available in DSpace on 2014-12-17T15:48:07Z (GMT). No. of bitstreams: 1 AntonioAOVS.pdf: 849695 bytes, checksum: 575cdb368ae14f3aad606763ebea7114 (MD5) Previous issue date: 2004-10-13 / The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification / O grande crescimento do uso de smart cards (por bancos, companhias de transporte, celulares, etc) trouxe um fato importante, que deve ser considerado: a necessidade de ferramentas que possam ser usadas para verificar os cart?es, para que se possa garantir a corretude de seu software. Como a grande maioria dos cart?es desenvolvidos hoje em dia usa a tecnologia JavaCard em sua camada de software, o uso da Java Modeling Language (JML) para especificar os programas aparece como uma solu?ao natural. JML ? uma linguagem de especifica??o formal ligada ao Java. Ela foi inspirada pelas metodologias de Larch e Eiffel, e foi largamente adotada como a linguagem de facto em se tratando da especifica??o de qualquer programa relacionado ? Java. V?rias ferramentas que fazem uso de JML j? foram desenvolvidas, cobrindo uma grande gama de funcionalidades, entre elas, a verifica??o em tempo de execu??o e est?tica. Mas as ferramentas existentes at? o momento para a verifica??o est?tica n?o s?o totalmente automatizadas, e, aquelas que s?o, n?o oferecem um n?vel adequado de completude e seguran?a. Nosso objetivo ? contribuir com uma s?rie de t?cnicas, que podem ser usadas para alcan?ar uma verifica??o completamente autom?tica e segura para applets JavaCard. Nesse trabalho n?s apresentamos os primeiros passos nessa dire??o. Com o uso de uma plataforma de software composta pelo Krakatoa, Why e haRVey, n?s desenvolvemos um conjunto de t?cnicas para reduzir o tamanho da teoria necess?ria para verificar as especifica??es. Tais t?cnicas deram resultados muito bons, com ganhos de quase 100% em todos os testes que realizamos, e se provou como uma t?cnica que deve ser sempre considerAda, n?o somente nesse, mas na maioria dos problemas reais relacionado com verifica??o autom?tica

Made available in DSpace on 2014-12-17T15:48:12Z (GMT). No. of bitstreams: 1 CamilaA.pdf: 551643 bytes, checksum: c211e0d0bbaf86da86337efffe6f407b (MD5) Previous issue date: 2007-07-28 / The Reconfigurables Architectures had appeares as an alternative to the ASICs and the GGP, keeping a balance between flexibility and performance. This work presents a proposal for the modeling of Reconfigurables with Chu Spaces, describing the subjects main about this thematic. The solution proposal consists of a modeling that uses a generalization of the Chu Spaces, called of Chu nets, to model the configurations of a Reconfigurables Architectures. To validate the models, three algorithms had been developed and implemented to compose configurable logic blocks, detection of controllability and observability in applications for Reconfigurables Architectures modeled by Chu nets / As Arquiteturas Reconfigur?veis surgiram no ambiente acad?mico como uma alternativa aos ASICs e aos GGP, mantendo um equil?brio entre flexibilidade e performance. Este trabalho apresenta uma proposta para a modelagem de Arquiteturas Reconfigur?veis com Espa?os de Chu, descrevendo os principais assuntos relativos a esta tem?tica. A solu??o proposta consiste em uma modelagem que utiliza uma generaliza??o dos Espa?os de Chu, denominada de Chu nets, para modelar as configura??es de uma Arquitetura Reconfigur?vel. Como forma de validar os modelos, foram desenvolvidos e implementados tr?s algoritmos que realizam a composi??o de c?lulas l?gicas program?veis, detec??o dos vetores de controlabilidade e observabilidade em aplica??es para Arquiteturas Reconfigur?veis, que est?o modeladas atrav?s das Chu nets

Made available in DSpace on 2014-12-17T14:54:48Z (GMT). No. of bitstreams: 1 BennoWA.pdf: 2840837 bytes, checksum: 9aeb78caaab0d5311260d71632eb20e8 (MD5) Previous issue date: 2008-02-08 / The progressing cavity pump artificial lift system, PCP, is a main lift system used in oil production industry. As this artificial lift application grows the knowledge of it s dynamics behavior, the application of automatic control and the developing of equipment selection design specialist systems are more useful. This work presents tools for dynamic analysis, control technics and a specialist system for selecting lift equipments for this artificial lift technology. The PCP artificial lift system consists of a progressing cavity pump installed downhole in the production tubing edge. The pump consists of two parts, a stator and a rotor, and is set in motion by the rotation of the rotor transmitted through a rod string installed in the tubing. The surface equipment generates and transmits the rotation to the rod string. First, is presented the developing of a complete mathematical dynamic model of PCP system. This model is simplified for use in several conditions, including steady state for sizing PCP equipments, like pump, rod string and drive head. This model is used to implement a computer simulator able to help in system analysis and to operates as a well with a controller and allows testing and developing of control algorithms. The next developing applies control technics to PCP system to optimize pumping velocity to achieve productivity and durability of downhole components. The mathematical model is linearized to apply conventional control technics including observability and controllability of the system and develop design rules for PI controller. Stability conditions are stated for operation point of the system. A fuzzy rule-based control system are developed from a PI controller using a inference machine based on Mandami operators. The fuzzy logic is applied to develop a specialist system that selects PCP equipments too. The developed technics to simulate and the linearized model was used in an actual well where a control system is installed. This control system consists of a pump intake pressure sensor, an industrial controller and a variable speed drive. The PI control was applied and fuzzy controller was applied to optimize simulated and actual well operation and the results was compared. The simulated and actual open loop response was compared to validate simulation. A case study was accomplished to validate equipment selection specialist system / O sistema de eleva??o por bombeio de cavidades progressivas, BCP, tem se tornado uma importante tecnologia de produ??o de po?os de petr?leo. Na medida em que cresce o uso desta t?cnica, torna-se cada vez mais ?til o conhecimento de seu comportamento din?mico, a aplica??o das tecnologias de controle e o desenvolvimento de sistemas especialistas para dimensionamento dos equipamentos. Este trabalho apresenta o desenvolvimento de ferramentas de an?lise, controle e dimensionamento a serem aplicadas a este m?todo de eleva??o. O m?todo de eleva??o artificial por bombeio de cavidades progressivas ? composto por uma bomba de cavidades progressivas instalada dentro do po?o na extremidade inferior da coluna de produ??o atrav?s das quais o fluido ? bombeado. A bomba, que consiste de duas pe?as, um estator e um rotor ? acionada atrav?s da rota?ao do rotor atrav?s de uma coluna de hastes. Os equipamentos de superf?cie geram e transmitem a rota??o para esta coluna de hastes. Em primeiro lugar, apresenta-se o desenvolvimento de uma modelagem matem?tica din?mica completa do sistema de eleva??o por bombeio de cavidades progressivas. Este modelo ? simplicado para uso em diversas situa??es, inclusive a condi??o de regime permanente para fins de dimensionamento do sistema. A partir deste modelo matem?tico foi desenvolvido um simulador din?mico do sistema capaz de auxiliar na an?lise do sistema e atuar em conjunto com controladores de forma a permitir o teste e desenvolvimento de algoritmos de controle. O desenvolvimento seguinte visa aplicar as t?cnicas de controle ao sistema de eleva??o por bombeio de cavidades progressivas com a finalidade de otimizar a velocidade de bombeio de forma a se obter produtividade e durabilidade dos componentes de sub- superf?cie. ? feita a lineariza??o do modelo matem?tico, permitindo aplicar as t?cnicas convencionais de controle, incluindo a an?lise de observabilidade e controlabilidade, estabelecendo t?cnicas de projeto de controle PI. As condi??es de estabilidade s?o estabelecidas em torno do ponto de opera??o para o modelo linearizado. ?, tamb?m, desenvolvido um sistema de controle fuzzy baseado em regras a partir de um sistema de controle PI utilizando uma m?quina de infer?ncia baseada nas t-normas de Mandami. A l?gica fuzzy tamb?m ? aplicada no desenvolvimento de um sistema especialista para dimensionamento de BCP baseado em l?gica fuzzy. As t?cnicas de simula??o, lineariza??o e obten??o da fun??o de transfer?ncia linearizada foram aplicadas a um po?o real ao qual foi implementado um sistema de controle constitu?do de sensor de press?o de suc??o da bomba, controlador industrial e variador de freq??ncia. Aplicaram-se as t?cnicas de projeto de controle PI e controlador fuzzy ao po?o e comparou-se o comportamento dos dois controladores por simula??o. A resposta em malha aberta da fun??o de transfer?ncia foi comparada com a resposta em malha aberta medida no po?o, para fins de valida??o da t?cnica de modelagem matem?tica e de simula??o utilizadas. Foi realizado um estudo de caso de dimensionamento de sistema BCP para valida??o do sistema especialista