Submitted by RODOLFO CASTRO E SILVA null (rodolfocastro.rcs@gmail.com) on 2017-04-06T19:00:32Z No. of bitstreams: 1 Silva, Rodolfo Castro e.pdf: 3553354 bytes, checksum: e2c816fd7680331cc6f1aa7a583fdfc0 (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-04-12T19:45:25Z (GMT) No. of bitstreams: 1 silva_rc_me_ilha.pdf: 3553354 bytes, checksum: e2c816fd7680331cc6f1aa7a583fdfc0 (MD5) / Made available in DSpace on 2017-04-12T19:45:26Z (GMT). No. of bitstreams: 1 silva_rc_me_ilha.pdf: 3553354 bytes, checksum: e2c816fd7680331cc6f1aa7a583fdfc0 (MD5) Previous issue date: 2017-03-17 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Tem-se como proposta neste trabalho apresentar a montagem de um protótipo de um veículo aéreo não tripulado, visando seu controle de orientação em voo pairado, utilizando um algoritmo inteligente - Lógica nebulosa. Dos vários modelos para a construção destes veículos, optou-se por montar o tipo quadrirrotor (quatro motores) que é um dos modelos mais simples, composto por quatro hélices contrarrotoras que estabilizam o seu movimento. O controle embarcado em uma plataforma Arduino deve permitir a estabilização em torno dos eixos X, Y e Z, com o auxílio de sensores, acelerômetro e giroscópio triaxiais. A avaliação da eficiência do controlador nebuloso se obteve por meio de simulações realizadas no MATLAB/Simulink, cujos resultados indicam o seu correto funcionamento. / It is proposed to present the assembly of a prototype of an unmanned aerial vehicle, aiming its orientation control for hovering flight, using an intelligent algorithm – fuzzy logic. There are many models available for the construction of these vehicles, so it was decided to make the quadrirotor type (with four rotors) which is one of the simplest models, consisting of four counter-rotating propellers that stabilize its movement. The control embedded on an Arduino platform should allow its stabilization around the X, Y and Z axes, with sensors assistance, such as an accelerometer and a gyroscope, both triaxial. The evaluation of the nebulous controller efficiency was obtained through simulations performed in MATLAB / Simulink, whose results indicate its correct functioning. / CNPq: 133402/2015-0

Submitted by Thiago Alexandre Domingues de Souza null (thi.alex@gmail.com) on 2017-06-13T21:07:36Z No. of bitstreams: 1 dissertacao_thiago_final.pdf: 4785471 bytes, checksum: 3e37f93660d9b1fa3f368341de0bfdcd (MD5) / Rejected by Luiz Galeffi (luizgaleffi@gmail.com), reason: Solicitamos que realize uma nova submissão seguindo a orientação abaixo: A ficha catalográfica deve ser inserida na página subsequente à folha de rosto. Corrija esta informação e realize uma nova submissão com o arquivo correto. Agradecemos a compreensão. on 2017-06-19T13:20:07Z (GMT) / Submitted by Thiago Alexandre Domingues de Souza null (thi.alex@gmail.com) on 2017-06-19T14:07:52Z No. of bitstreams: 1 dissertacao_thiago_final.pdf: 4785471 bytes, checksum: 3e37f93660d9b1fa3f368341de0bfdcd (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-06-19T14:17:58Z (GMT) No. of bitstreams: 1 souza_tad_me_sjrp.pdf: 4785471 bytes, checksum: 3e37f93660d9b1fa3f368341de0bfdcd (MD5) / Made available in DSpace on 2017-06-19T14:17:58Z (GMT). No. of bitstreams: 1 souza_tad_me_sjrp.pdf: 4785471 bytes, checksum: 3e37f93660d9b1fa3f368341de0bfdcd (MD5) Previous issue date: 2017-05-12 / A indústria de tecnologia da informação tem permitido uma explosão de dados coletados nos últimos anos. Isso ocorreu, entre outros fatores, pela expansão do acesso à rede por meio de uma infinidade de equipamentos. Uma análise detalhada dos dados armazenados pode, por exemplo, extrair informações valiosas sobre o comportamento dos indivíduos, permitindo uma relação personalizada de acordo com os interesses dos usuários. Essa tarefa pode ser feita usando algoritmos de agrupamento de dados. Porém, esse é um processo que requer grande esforço computacional tanto pela ordem de complexidade dos algoritmos existentes como pelos crescentes volumes processados. Nesse contexto, execuções sequenciais não são viáveis e sua paralelização é o caminho natural. Isso exige remodelar algoritmos para explorar o potencial de plataformas massivamente paralelas, de acordo com as particularidades da arquitetura alvo. Neste trabalho se propõe uma implementação paralela do algoritmo Fuzzy Minimals para GPU, como uma solução de alto desempenho e baixo custo para contornar dificuldades frequentes no agrupamento de dados. Com o objetivo de avaliar o desempenho de nossa solução, também desenvolvemos versões paralelas em MPI e OpenMP. Nossos experimentos mostram que a solução para GPU alcança resultados expressivos com um baixo custo, mantendo uma precisão significativa. / IT industry has witnessed an explosion of data collected for the past few years. This took place, among other factors, due to the expansion of network access through several devices. For example, a detailed analysis of the stored data can extract some valuable information about human behaviors, allowing a customized experience that matches the interests of users . This task can be performed by clustering algorithms. However, this is a time-consuming process due to the asymptotic complexity of existing algorithms and the increasing volumes of data processed. In this context, sequential executions are not feasible and their parallelization is the natural path. This requires redesigning algorithms to take advantage of massively parallel platforms according to the particularities of targeted architectures. In this paper, it is proposed a novel parallel implementation of the Fuzzy Minimals algorithm on GPU, as a high-performance lowcost solution for common clustering issues. In order to evaluate the performance of our implementation, we have also designed parallel versions using MPI and OpenMP. Our experiments show that our parallel solution on GPU can achieve a high performance at a low cost, preserving a significant accuracy.

Esta tese trata do controle integrado de tensão e reativos (volt/var) em alimentadores de distribuição; no âmbito de planejamento; através da inserção de bancos de reguladores de tensão e de capacitores. Um algoritmo genético multiobjetivo incrementado por lógica fuzzy é apresentado para resolver o problema volt/var; uma vez que este se constitui um problema de otimização combinatória multiobjetivo. O conhecimento especialista é aplicado através da lógica fuzzy para promover uma redução do espaço de busca; utilizando reguladores em unidades padronizadas; bem como avaliando a sensibilidade das barras para receberem capacitores. Os objetivos da resolução do problema volt/var são para minimizar: desvio de tensão de barra e custo total das perdas. Segundo os preceitos da otimização multiobjetivo; um conjunto de soluções ótimas é obtido; o qual representa a solução de todos os objetivos; concomitantemente; onde são respeitadas as restrições operacionais do sistema. O algoritmo é aplicado a um alimentador de 69 barras; conhecido da literatura e depois a um alimentador real de 167 barras. Os resultados mostram uma boa aproximação da fronteira de Pareto no conjunto de soluções e que houve correção do perfil de tensão aliada a uma significativa redução nas perdas. _________________________________________________________________________________________ ABSTRACT: This thesis deals with integrated voltage and reactive power control (volt/var) for radial distribution feeders in planning issues, by means of the application of automatic voltage regulators (AVRs) banks and capacitors. A multiobjective genetic algorithm (SPEA2) improved using fuzzy logic is presented to solve the volt/var problem, since it is a combinatorial multiobjective optimization problem. The expert knowledge is taken into account via fuzzy logic in order to reduce the search space using voltage regulators in standard units as well doing capacitors sensitivity analysis. According to the multiobjective optimization fundamentals, an optimal solution ensemble is obtained, which concomitantly represents the solutions to both objectives, in such a way that the operational constraints of systems are satisfied. The algorithm is evaluated for a known 69- bus feeder in the literature of the subject and to 167-bus real feeder. The obtained results demonstrate that the proposed method provides good concordance between the obtained solution and the Pareto front, correction of voltage profile jointly with losses reduction.

Orientador: Luís Roberto Almeida Gabriel Filho / Coorientadora: Camila Pires Cremasco Gabriel / Coorientador: Fernando Ferrari Putti / Banca: Alfredo Bonini Neto / Banca: Carolina dos Santos Batista Bonini / Resumo: O tomate é uma importante cultura, não só em termos de produção, mas também em valor econômico, por ser uma hortaliça bastante industrializada e ainda conta com um aumento da produção per capita anual no Brasil, o que coloca o produto em destaque, além de estar diariamente na dieta alimentar de grande parte da população. Para o cultivo do tomate, duas preocupações devem ser levadas em conta: a quantidade de água, pois a baixa umidade do solo restringe seu crescimento reduzindo, sua produção e a qualidade da água que será utilizada na irrigação do tomateiro, pois, esta deve estar livre de contaminantes biológicos, teor de sais inferior a 1,5 g L-1 para evitar o murchamento foliar nos horários mais quentes do dia, queimadura do ápice e dos bordos da folha pela morte do tecido foliar e até mesmo da planta. Visando economia de recursos e aumento na produtividade no cultivo do tomate, o presente trabalho teve como objetivo desenvolver um sistema computacional para a avaliação da cultura do tomate híbrido (Licopersicum esculentum). Em que foi utilizado um sistema baseado em regras fuzzy por meio do software Matlab® utilizando dados biométricos da cultura do tomate submetido em diferentes níveis de irrigação e salinidade, sendo avaliado ao longo do ciclo. O experimento foi realizado em uma casa de vegetação da UNESP/FCA. Para tanto, foi utilizado a linguagem Delphi, os dados do experimento e a modelagem fuzzy. Este software possibilita ao produtor um indicativo da viabilidade de pro... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The tomato is an important crop, not only in terms of production, but also in economic value, being a vegetable very industrialized and also includes an increase in annual per capita production in Brazil, which puts the product highlighted, and be daily in the diet of most of the population. For growing tomatoes, two concerns should be taken into account: the amount of water because of the low soil moisture restricts its growth reducing production and quality of water to be used in tomato irrigation, therefore it must be free of biological contaminants, salt content less than 1.5 g L-1 to prevent leaf wilting in the hottest times of the day, apex burn and leaf edges of the death of leaf tissue and even the plant. Aiming to save resources and increase productivity in growing tomatoes, this study aimed to develop a computer system for the evaluation of hybrid tomato crop (Licopersicum esculentum). It was used a system based on fuzzy rules using the Matlab software using biometric data of the tomato crop submitted at different levels of irrigation and salinity, and evaluated over the cycle. The experiment was conducted in a greenhouse at UNESP/FCA. Therefore, we used the Delphi language, experimental data and fuzzy modeling. This software enables the producer indicative of production feasibility, and provide subsidies to assess and manage efficiently and effectively, making it a powerful decision-making tool, which aims to achieve greater productivity and economy of water and en... (Complete abstract click electronic access below) / Mestre

Orientador: Irineu Bicudo / Banca: Henrique Lazari / Banca: Carlos Roberto de Moraes / Resumo: O objetivo desta pesquisa é analisar o desenvolvimento histórico da obra clássica de geometria, Os Elementos, de Euclides e os fundamentos da geometria proposto por David Hilbert em seu livro Grundlangen der Geometrie (Fundamentos da Geometria), estudando a estrutura axiomática da geometria abordada por cada autor. O rigor dedutivo utilizado por Euclides, apoiado na lógica clássica de Aristóteles, recebeu diversas críticas de matemáticos modernos no que tange a lacunas no seu sistema dedutivo. As diversas incertezas em relação ao sistema axiomático ameaçavam seu desenvolvimento lógico e especificamente, tratando-se da geometria, surgiram muitas discussões sobre a aceitação do quinto postulado de Euclides. Somente no final do século XIX os sistemas axiomáticos alcançavam níveis profundos nos fundamentos da geometria e, na tentativa de completar a axiomática da geometria, Hilbert publica os Grundlangen der Geometrie, abordagem axiomática mais amplamente adotada na geometria euclidiana. Neste contexto, discutimos as diferentes concepções dos sistemas axiomáticos clássicos e modernos, estudando seus significados lógicos e suas relações com os objetos da geometria. Como parte das reflexões finais, o presente trabalho destaca algumas considerações sobre o conceito de movimento em geometria e uma possível abordagem axiomática da mesma / Abstract: The objective of this research is to analyze the historical development of the classical work of geometry named The Elements and written by Euclid and the foundations of geometry Grundlangen der Geometrie (Foundations of Geometry) written by David Hilbert by studying the axiomatic structure of geometry dealt with by each author. The deductive rigor used by Euclid, which is based on the classical logic of Aristotle, has received several criticisms from modern mathematicians with regard to the gaps in its mathematical deductive system. The various uncertainties regarding the axiomatic system threatened its logical development and in the specific case of geometry, many discussions arose on the acceptance of the Euclid's fifth postulate. Only in the late nineteenth century, axiomatic systems reached deeper levels in the foundations of geometry and, in an attempt to complete the axiomatic geometry, Hilbert publishes "Grundlangen der Geometrie", which is the axiomatic approach more widely adopted in the Euclidean geometry. In this context, we discuss the different concepts of classical and modern axiomatic systems , studying their logical meanings and its relations with the objects of geometry . As part of the final thoughts , this paper highlights some considerations on the concept of motion in geometry and a possible axiomatic approach to it / Mestre

Orientador: Luiz Fernando Costa Nascimento / Banca: Leonardo Mesquita / Banca: Claúdio Ribeiro Aguiar / Resumo: O objetivo deste trabalho foi construir um modelo lingüístico utilizando as propriedades da lógica fuzzy com 4 variáveis de entrada: peso ao nascer, idade gestacional, Apgar, fração inspirada de oxigênio e de saída a variável risco de morte. Foi oferecido uma planilha com dados reais a 4 especialistas para que estes estimassem a possibilidade de óbito. Os valores fornecidos pelos especialistas foram correlacionados com os valores fornecidos pelo modelo; o estudo incluiu 100 recém nascidos e ocorreram 8 óbitos. A possibilidade média de óbito do modelo foi de 49,7% (dp=29,3%) e para alta a média foi de 24% (dp=17,5%). Estes valores são diferentes quando comparados pelo teste t Student (t=2,44) mostrando que são diferentes com significância estatística p< 0,001. A correlação entre os especialistas e o modelo proposto foi de 80% e a acurácia do modelo foi de 81,9%. Foi notado que o risco de morte neonatal diminui quando o peso ao nascer, a idade gestacional e o Apgar aumentam, e a fração de oxigênio diminui. Este modelo preditivo não invasivo e de baixo custo financeiro pode ser usado em berçários e UTIN, pois é facilmente utilizado. / Abstract: The aim of the present study was to construct a linguistic model using the properties of fuzzy logic with four input variables (birth weight, gestational age, Apgar and inspired oxygen fraction) and risk of death as the output variable. A spreadsheet with real data was given to four specialists to estimate the possibility of death. The values provided by the specialists were correlated to those provided by the model; the study included 100 and eight deaths occurred. The mean chance of death in the model was 49.7% (sd=29.3%) and the mean chance of discharge was 24% (sd=17.5%). When compared using the Student's t-test (t=2.44), the difference between these values was statistically significant (p< 0.001). The correlation between the specialists and the proposed model was 80% and the accuracy of the model was 81.9%. The risk of neonatal death diminished with an increase in birth weight, gestational age and Apgar as well as a reduction in oxygen fraction. This non-invasive, low-cost predictive model is easy to use and may be used in nurseries and NICUs. / Mestre

Orientador: Marcelo Carvalho Minhoto Teixeira / Banca: Edvaldo Assunção / Banca: Aparecido Augusto de Carvalho / Banca: Cristiano Quevedo Andrea / Banca: Valtemir Emerencio do Nascimento / Resumo: Os sistemas fuzzy e neuro fuzzy têm sido usados com sucesso para resolver problemas em diversas áreas, como medicina, indústria, controle, agronomia e aplicações acadêmicas. Nas últimas décadas, as redes neurais têm sido utilizadas para identificação, avaliação e previsão e dados na medicina e na agronomia. Nesta tese, realizou-se um novo estudo comparativo entre as redes neuro fuzzy (ANFIS), rede perceptron multicamadas (MLP), rede função de base radial (RBF) e regressão generalizada (GRNN) na área de engenharia biomédica. Na engenharia biomédica as redes neurais e neuro fuzzy foram treinadas e validadas com dados de pacientes hígidos e hemiplégicos (pacientes com sequela motora após acidente vascular cerebral no hemicorpo direito ou esquerdo do cérebro) coletados por meio de um baropodômetro eletrônico (91 indivíduos, sendo 81 hígidos e 10 hemiplégicos). A rede GRNN apresentou o menor erro RMSE (Raiz Quadrada do Erro Médio Quadrático), porém a rede MLP conseguiu identificar um caso de hemiplegia. Na área de agricultura foi proposto um novo estudo comparativo utilizando redes neurais para previsão de produção de trigo (Triticum aestivum). Para este estudo utilizou-se uma base de dados experimental de trigo avaliada no período dois anos na região de Selvíria-MS. A validação foi realizada comparando-se a produção estimada pelas redes neurais MLP, GRNN e RBF com a curva de regressão quadrática, comumente utilizada para este fim, e com a rede neuro fuzzy ANFIS. O erro RMSE calculado com as redes neurais GRNN e RBF foi menor do que o obtido com a regressão quadrática e com o ANFIS utilizando o treinamento (híbrido). Para validação dos resultados obtidos em hemiplegia utilizou-se o RMSE, a matriz de confusão, a sensitividade, a especificidade e a acurácia. Os resultados mostraram que a utilização das redes neurais e redes neuro fuzzy, na engenharia biomédica, pode ser uma alternativa viável para ... / Abstract: The fuzzy and neuro fuzzy systems have been successfully used to solve problems in various fields such as medicine, manufacturing, control, agriculture and academic applications. In recent decades, neural networks have been used to the identification, assessment and diagnosis of diseases. In this thesis we performed a comparative study among fuzzy neural networks (ANFIS), multilayer perceptron neural networks (MLP), radial basis function network (RBF) and generalized regression (GRNN) in the area of biomedical engineering and agronomy. In biomedical engineering neural networks and neuro fuzzy were trained and validated with data set from patients (91 subjects, 81 healthy and 10 hemiplegic). The GRNN network had the lowest Root Mean Square Error (RMSE), but the MLP network was able to identify a case of hemiplegia. In the area of agriculture a comparative study to estimate the wheat (Triticum aestivum) productivity was proposed using neural networks. For this study it was used data from an experimental database of wheat cultivars evaluated during two years in the region of Selvíria - MS. The validation was performed by comparing the estimated productivity through the quadratic regression curve and the output of the ANFIS with the neural networks. The RMSE error calculated with the GRNN and RBF neural networks was lower than that obtained with the quadratic regression and the ANFIS. The results obtained in the study of hemiplegia were validated using the RMSE, the confusion matrix, the sensitivity, the specificity and the error accuracy. The results showed that the use of neural networks and fuzzy neural networks, in biomedical engineering, can be a viable for monitoring the progress of patients and discovery new information through a combination of parameters. In agriculture this methodology can bring benefits in combining several evaluation parameters of production to optimize production while minimize financial costs in new plantations / Doutor

Orientador: Carlos Roberto Minussi / Banca: Walmir de Freitas Filho / Banca: Jacqueline Gisèle Rolim / Banca: Antonio Padilha Feltrin / Banca: Laurence Duarte Colvara / Resumo: Esta pesquisa tem por objetivo o desenvolvimento de uma metodologia, para análise de estabilidade transitória e para o controle preventivo de sistemas de energia elétrica, formulada por redes neurais feedforward multicamadas. A margem de segurança (método da energia) é empregada como critério de análise de estabilidade transitória, considerando-se defeitos tipo curto-circuito trifásico com saída de linha de transmissão. O funcionamento das redes neurais é constituído por duas fases principais: treinamento (ou aprendizado) e análise. A fase de treinamento requer uma grande quantidade de processamento para a sua realização, enquanto que a fase de análise é efetivada, praticamente, sem esforço computacional. Trata-se, por conseguinte, da principal justificativa para o uso de redes neurais para a resolução de problemas complexos que exigem soluções rápidas, sendo, portanto, adequadas para aplicações em tempo real. O treinamento da rede neural é realizado usando o algoritmo retropropagação (backpropagation) com controlador nebuloso e a adaptação da inclinação e deslocamento da função sigmóide (pós-sináptica). O controlador nebuloso é usado visando proporcionar uma convergência mais rápida e resultados mais precisos, se comparado ao algoritmo retropropagação tradicional. A adaptação da taxa de treinamento é efetuada usando a informação do erro global e a variação do erro global. A adaptação da inclinação e deslocamento da função sigmóide também é usada com o objetivo de melhorar a capacidade da obtenção de uma solução, ou seja, ampliar o espaço de busca. Após ter sido concluído o treinamento, a rede neural deverá estar apta a estimar a margem de segurança e a análise de sensibilidade. Com esta informação é possível desenvolver um método para a realização da correção da segurança (controle preventivo)... (Resumo completo, clicar acesso eletrônico abaixo). / Abstract: This work presents a procedure, for transient stability analysis and for preventive control of electric power systems, formulated by multilayer feedforward neural network. The security margin (energy method) is used as a criterion of the transient stability analysis considering faults like three-phase short-circuits with outage of transmission line. The performance of neural networks is constituted of two principal phases: training (or learning) and analysis. The training phase needs a great quantity of processing time for the realization, whereas the analysis phase is effectuated almost without computational effort. Therefore, this is the principal justification to use neural networks for solving complex problems that need fast solutions, and as a consequence being adequate for real time applications. The neural network training is realized using the backpropagation algorithm with fuzzy controller and the sigmoid (postsynaptic) function slope and translation adaptation. The fuzzy controller is used to provide a faster convergence and more precise results, if compared to the traditional Backpropagation algorithm. The adapting of the training rate is effectuated using the information of the global error, and global error variation. The adaptation of the slope and translation of the postsynaptic function is used for improving the capacity of obtaining a solution, i.e., to enlarge the space of search. After finishing the training, the neural network is capable to estimate the security margin, and the sensitivity analysis. With these information it is possible to develop a method for the realization of the security correction (preventive control) based on generation reallocation and load shedding. The preventive control idealization is based on the sensitivity... (Complete abstract, click electronic address below). / Doutor

Orientador: Sergio Roberto Nobre / Banca: Rosa Lucia Sverzut Baroni / Banca: Maria Terezinha Jesus Gaspar / Banca: Antonio Sérgio Cobianchi / Banca: Marcos Vieira Teixeira / Resumo: Pretendemos mostrar o desenvolvimento da lógica matemática no Brasil focando principalmente nos sessenta anos iniciais do século XX apresentando obras e estudiosos que contribuíram para a consolidação e o desenvolvimento da lógica como um campo de pesquisa no Brasil. Abordaremos três obras que acreditamos serem relevantes na história da lógica no Brasil: As Ideas Fundamentaes da Matemática, de Manuel Amoroso Costa, publicada em 1929; Elementos de Lógica Matemática, de Vicente Ferreira da Silva, publicada em 1940 e O Sentido da Nova Lógica, de Willian Van Orman Quine, publicada em 1944. A lógica apresenta um salto qualitativo a partir do final dos anos 50, quando dois centros se destacam: um na Universidade de São Paulo (USP), em São Paulo, com o Prof. Edison Farah e outro na antiga Faculdade Nacional de Filosofia, no Rio de Janeiro. Neste trabalho, dedicaremos especial atenção aos pioneiros do grupo de São Paulo, que, no final da década de 50 reuniam-se sob a liderança do Prof. Edison Farah em um grupo de estudiosos de lógica e fundamentos da matemática do qual fizeram parte os professores Benedito Castrucci, Newton Carneiro Affonso da Costa, Mario Tourasse Teixeira e Leonidas Hegenberg que se reuniam em seminários no Departamento de Matemática da Universidade de São Paulo. / Abstract: We intend to present the development of mathematical logic in Brazil focusing mainly in the first six decades of the twenty century, presenting studies and researchers who contributed to consolidate and develop the logic as a field of research in Brazil. We will discuss about three books we believe that are more relevant in the History of Logic in Brazil: As Ideas Fundamentais da Matemática, by Manuel Amoroso Costa, published in 1929; Elementos de Lógica Matemática, by Vicente Ferreira da Silva, published in 1940; and O Sentido da Nova Lógica, by Willian Van Orman Quine, published in 1944. The logic presents a qualitative upgrade by the end of the fifties, when two centers obtain a great highlight: one at University of Sao Paulo (USP), in Sao Paulo city, with Professor Edison Farah and the other one at the former National Faculty of Philosophy, in Rio de Janeiro city. In the present study, we will pay special attention to the pioneers of the Sao Paulo group that, in the end of the fifty decade, upon the leadership of Professor Edison Farah, organized a group of researchers in logic and fundamentals of mathematics. Professors Benedito Castrucci, Newton Carneiro Affonso da Costa, Mario Tourasse Teixeira, and Leonidas Hegenberg took part of this group that used to have their meetings and seminars in the Department of Mathematics at University of Sao Paulo. / Doutor

Orientador : Carlos Roberto Minussi / Banca: Arlan Luiz Bettiol / Banca: Geraldo Roberto Martins da Costa / Banca: Jose Roberto Sanches Mantovani / Banca: Laurence Duarte Colvara / Resumo: Esta pesquisa apresenta uma metodologia para a análise de estabilidade transitória (de primeira oscilação) de sistema de energia elétrica usando uma rede neural baseada na arquitetura ART (Adaptive Resonance Theory), designada rede neural nebulosa ARTMAP modular para aplicações em tempo real. A margem de segurança é empregada como critério da análise de estabilidade transitória, considerando-se faltas tipo curto-circuito trifásico com saída de linha de operação. O funcionamento das redes neurais é constituído por duas fases fundamentais: treinamento e análise. A fase de treinamento requer uma grande quantidade de processamento para a sua realização, enquanto que a fase de análise é efetivada, praticamente, sem esforço computacional. Esta é, portanto, a principal justificativa para o uso de redes neurais para a resolução de problemas complexos que exigem soluções rápidas, como é caso de aplicações em tempo real. As redes neurais ART, possuem como características primordiais, a plasticidade e a estabilidade, as quais são qualidades essenciais para a execução do treinamento e para a análise de modo eficiente. A rede neural ARTMAP nebulosa modular está sendo proposta visando proporcionar um desempenho superior, em termos de precisão e rapidez, se comparada à formulação ARTMAP convencional, muito maior ainda quando comparada ao emprego de redes neurais com treinamento realizado via técnica retropropagação (que é um benchmark em termos de precisão no contexto de redes neurais). O treinamento da rede neural será realizado usando como "professor" um método de energia para o cálculo das margens de segurança. A metodologia proposta nesta pesquisa é um procedimento que incorpora inovações em relação à literatura existente, em destaque: (1) desenvolvimento de um novo modelo apropriado para a resolução... (Resumo completo, clicar acesso eletrônico abaixo). / Abstract: This work presents a methodology for transient stability analysis (first swing) of electrical energy systems, using a neural network based on ART (adaptive resonance theory), called modular fuzzy ARTMAP neural network for applications in real time. The security margin is used as a criterion for transient stability analysis, considering three-phase short circuit with outage of a transmission line faults. The neural network functioning is composed of two fundamental phases: training and analysis. The training phase needs a great quantity of processing, while the test phase is realized almost without computational effort. Therefore, this is the principal reason for using neural networks to solve complex problems that demand fast solutions, as the real time applications. The ART neural networks have as prime characteristics the plasticity and the stability, which are essential qualities for the training execution and for analysis in an efficient way. The modular fuzzy ARTMAP neural network is proposed to provide a superior performance, in precision and velocity, when compared to the conventional ARTMAP formulation, and much faster when compared to the neural networks using backpropagation training (benchmark in precision in a neural network context). The neural network training is realized using as a "teacher" an energy method to calculate the security margin. The proposed methodology is a proceeding that incorporates innovations in relation to the existent literature emphasizing: (1) development of a new appropriated model for solving the transient stability analysis by neural networks; (2) theoretical-practical development of the neural network output variable, represented in this work by the IMS (security margin interval) variable in a binary way. It is a convenient representation for the transient stability analysis approach; (3) proposition of a... (Complete abstract click electronic address below). / Doutor