Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-02-17T15:22:24Z No. of bitstreams: 1 dissertacao_final_com_fichas - Marcio Pereira Lima.pdf: 2793355 bytes, checksum: 6551facb26382efd28120b85850f0026 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-17T15:35:54Z (GMT) No. of bitstreams: 1 dissertacao_final_com_fichas - Marcio Pereira Lima.pdf: 2793355 bytes, checksum: 6551facb26382efd28120b85850f0026 (MD5) / Made available in DSpace on 2017-02-17T15:35:54Z (GMT). No. of bitstreams: 1 dissertacao_final_com_fichas - Marcio Pereira Lima.pdf: 2793355 bytes, checksum: 6551facb26382efd28120b85850f0026 (MD5) / A lógica fuzzy tipo 2 é uma extensão da lógica fuzzy tradicional e tem ganhado bastante atenção e reconhecimento nas diversas áreas do conhecimento humano. Ela trata elementos que a lógica fuzzy tradicional não é capaz de resolver, em conseqüência da dificuldade presente na descrição da própria incerteza, tais como limites imprecisos de conjuntos e imprecisão de parâmetros das funções de pertinências. Esta imprecisão muitas vezes é dada pelas definições oriundas de informações de especialistas ou por erros presentes nos dados. Neste trabalho é apresentada esta nova modalidade da lógica e algumas de suas variações, como a intervalar com modelo TSK (Takagi-Sugeno-Kang). Também foram abordadas as diferenças em relação à lógica fuzzy tradicional, trabalhos desenvolvidos, áreas de aplicação, vantagens e desvantagens. Um estudo de caso foi realizado a fim de ilustrar a aplicabilidade da lógica fuzzy tipo 2 em relação à tomada de decisão, especificamente para o tratamento de um problema existente no controle de tráfego aéreo. Para isto, foi necessária a criação de uma metodologia apropriada e o desenvolvimento de um framework para a validação do modelo proposto. Através dos resultados obtidos e comparações com modelos fuzzy tradicionais (tipo 1), foi possível identificar que o modelo fuzzy tipo 2 se apresentou como uma melhor proposta de tradução das tomadas de decisões em tráfego aéreo para o cenário definido. Desta forma, os resultados mostram a potencialidade da metodologia proposta para o desenvolvimento de sistemas que sirvam como ferramenta de apoio à tomada de decisão em tráfego aéreo, e, além disso, confirmam a eficácia e a adequação da lógica fuzzy tipo 2 na identificação de modelos que contemplam a informação humana (do especialista) como elemento fundamental para a sua construção.

Made available in DSpace on 2014-06-11T19:31:40Z (GMT). No. of bitstreams: 0 Previous issue date: 2003-11-20Bitstream added on 2014-06-13T20:22:39Z : No. of bitstreams: 1 machado_ermd_dr_ilha.pdf: 1793182 bytes, checksum: 136d7d2b774a7bf4d61c43b9140d1cf4 (MD5) / Este trabalho aborda o problema de modelagem e controle de uma classe de sistemas não lineares atraves dos modelos fuzzy Takagi-Sugeno (TS). Primeiramente são apresentados dois metodos de modelagem existentes na literatura. O primeiro e um metodo de modelagem exata e o segundo, baseado em modelos locais otimos, e utilizado em todos os desenvolvimentos desta tese. A seguir e proposto um novo metodo para se obter os modelos locais, baseado em Desigualdades Matriciais Lineares (LMIs-Linear Matrix Inequalities), utilizando os modelos locais otimos com novos graus de liberdade e que permitem uma melhor aproximação local do sistema. Novas funções de pertinência, que servem para combinar os modelos locais, são obtidas a partir da solu ção de um problema de otimização (um dos metodos para obter a solução e baseado em LMIs), que tem como objetivo minimizar a norma Euclidiana do erro entre o modelo Takagi-Sugeno e a planta. Um algoritmo para determinar quantos e quais modelos locais devem ser utilizados na aproximação, considerando o m aximo erro de modelagem permitido, e desenvolvido. Este algoritmo tem como parâmetro o erro de modelagem. Um exemplo ilustrativo deste algoritmo e apresentado. Utilizando a modelagem proposta foram desenvolvidos dois novos metodos de projetos de reguladores fuzzy, baseados em LMIs, que consideram o erro de modelagem. No primeiro projeto e utilizado um conjunto de pontos na região de operação considerando somente as componentes do vetor de estado que fazem parte das não-linearidades do sistema e os erros de aproximação das funções nestes pontos. No segundo projeto e utilizada a maxima norma Euclidiana do erro obtido no ponto onde a aproximação e mais de ciente. Estes metodos permitem a construção de modelos fuzzy Takagi-Sugeno, em termos do numero de modelos locais, quando comparados com os metodos descritos na literatura. As tecnicas de projeto propostas tambem permitem a... / This work considers the problem of modeling and designing of a class of nonlinear systems represented by Takagi-Sugeno (TS) fuzzy models. Initially, two methods of modeling described in the literature are presented. The rst one, is a method of exact modeling and the second one, based on optimal local models, is utilized in all development in this thesis. A new method, based on LMIs (Linear Matrix Inequalities), to obtain better local models using new degrees of freedom is proposed. New membership functions, that combine the local models, are obtained starting from an optimization problem (one method is based on LMIs), that has as the end to minimize the Euclidian norm of the error between the Takagi-Sugeno fuzzy models and the plant model. An algorithm to nd the number of local models, their operation points and matrices, considering the maximum modeling erros allowed, is presented. This algorithm has as parameter the modeling error and it is illustrated by an example. Taking into account the proposed modeling methods, two new methods of fuzzy regulator designs based on LMIs were proposed, considering the modeling errors. In the rst design a set of points in the region of operation is used considering only the components of the state vector that compound the non-linearities of the system and the modeling error in these points. The second design method used the largest value of the Euclidian norm of the modeling error. These methods allow the construction of reduced TS fuzzy models, in terms of the number of local models, when compared with the methods described in the literature. The speci cation of the decay rate, constraints on control input and output are also described by LMIs. The design and simulations of the new control laws for an inverted pendulum illustrate the studied methods. A comparison between the new design methods and the method of exact modeling showed that the proposed methods allowed simpler controllers and, in ...

Made available in DSpace on 2014-06-11T19:22:31Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-05-27Bitstream added on 2014-06-13T20:47:51Z : No. of bitstreams: 1 esteves_tt_me_ilha.pdf: 642482 bytes, checksum: 6d87652f7c370af770e00c245690a225 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Neste trabalho é realizada a análise da estabilidade de sistemas fuzzy Takagi-Sugeno (TS) contínuos no tempo, através de Funções de Lyapunov Fuzzy (FLF), Funções de Lyapunov Metzler (FLM) e de Funções de Lyapunov Fuzzy-Metzler (FLFM) introduzida nesta disser- tação. Novas propostas são feitas a partir destas análises, sendo apresentadas condições su- ficientes para a estabilidade assintótica destes sistemas no sentido de Lyapunov. As soluções obtidas são baseadas em desigualdades lineares matriciais (LMIs, do inglês Linear Matrix Ine- qualities) e dependem da solução de um conjunto de desigualdades de Lyapunov-Metzler, que podem ser de difícil solução. Então, foram apresentadas condições de estabilidade baseadas em uma subclasse de matrizes de Metzler que, quando factíveis, podem ser resolvidas através de LMIs com a necessidade de uma busca unidimensional. Foram propostos métodos que genera- lizam os já existentes na literatura, baseados em FLF, para a estabilidade assintótica dos sistemas fuzzy TS / This work addresses the stability analysis of Takagi-Sugeno (TS) fuzzy systems via Fuzzy Lyapunov Functions (FLF), Metzler Lyapunov Functions (MLF) and Fuzzy-Metzler Lyapunov Functions (FMLF) that was proposed in this dissertation. New proposals are made from these analyses, and sufficient conditions for asymptotic stability of these systems in the sense of Lyapunov are presented. The results obtained are based on LMIs (Linear Matrix Inequalities) and depend on the solutions of a set of Lyapunov-Metzler inequalities, that are usually difficult to solve. Then, conditions for stability based on a subclass of Metzler matrices that, when feasible, can be described by a set of LMIs with an unidimensional search, are presented. The proposed methods generalize the similar methods available in the literature, based on FLF, for the asymptotic stability of TS fuzzy systems

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2015-09-28T20:12:48Z No. of bitstreams: 1 RafaelNunesDeAlmeidaPrado_TESE.pdf: 3641446 bytes, checksum: 85d829efbefde8d41eb4b62067431aa5 (MD5) / Approved for entry into archive by Elisangela Moura (lilaalves@gmail.com) on 2015-10-01T13:47:06Z (GMT) No. of bitstreams: 1 RafaelNunesDeAlmeidaPrado_TESE.pdf: 3641446 bytes, checksum: 85d829efbefde8d41eb4b62067431aa5 (MD5) / Made available in DSpace on 2015-10-01T13:47:06Z (GMT). No. of bitstreams: 1 RafaelNunesDeAlmeidaPrado_TESE.pdf: 3641446 bytes, checksum: 85d829efbefde8d41eb4b62067431aa5 (MD5) Previous issue date: 2014-06-06 / Os m?todos de Intelig?ncia Computacional v?m adquirindo espa?o nas aplica??es industriais devido a sua capacidade de solu??o de problemas na engenharia, conseq?entemente, os sistemas embarcados acompanham a tend?ncia do uso das ferramentas computacionais inteligentes de forma embarcada em m?quinas. Existem diversos trabalhos na ?rea de sistemas embarcados e sistemas inteligentes puros ou h?bridos, por?m, s?o poucos os que uniram ambas as ?reas em um s? projeto. O objetivo deste trabalho foi implementar um sistema fuzzy neural adaptativo em hardware com treinamento online para embarque em Field Programable Gate Array - FPGA. A adapta??o do sistema pode ocorrer durante a execu??o de uma determinada aplica??o, visando melhora do desempenho de forma online. A arquitetura do sistema ? modular, possibilitando a configura??o de v?rias topologias de redes fuzzy neurais com treinamento online. Verificou-se que o sistema proposto obteve desempenho satisfat?rio quando aplicado a problemas de interpola??o, classifica??o de padr?es e a problemas industriais. Diante dos resultados dos experimentos foram discutidas as vantagens e desvantagens do treinamento online em hardware ser realizado de forma paralela e serializada, esta ?ltima forma proporcionou economia na ?rea utilizada de FPGA, j? a forma de treinamento paralelo demonstrou alto desempenho e reduzido tempo de processamento. O trabalho utilizou ferramentas de desenvolvimento dispon?veis para circuitos FPGA. / Computational Intelligence Methods have been expanding to industrial applications motivated by their ability to solve problems in engineering. Therefore, the embedded systems follow the same idea of using computational intelligence tools embedded on machines. There are several works in the area of embedded systems and intelligent systems. However, there are a few papers that have joined both areas. The aim of this study was to implement an adaptive fuzzy neural hardware with online training embedded on Field Programmable Gate Array ? FPGA. The system adaptation can occur during the execution of a given application, aiming online performance improvement. The proposed system architecture is modular, allowing different configurations of fuzzy neural network topologies with online training. The proposed system was applied to: mathematical function interpolation, pattern classification and selfcompensation of industrial sensors. The proposed system achieves satisfactory performance in both tasks. The experiments results shows the advantages and disadvantages of online training in hardware when performed in parallel and sequentially ways. The sequentially training method provides economy in FPGA area, however, increases the complexity of architecture actions. The parallel training method achieves high performance and reduced processing time, the pipeline technique is used to increase the proposed architecture performance. The study development was based on available tools for FPGA circuits.

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-07-05T18:34:29Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Fagner_Dissertação_09-03-16 - Copia.pdf: 3545958 bytes, checksum: f4b411f2ea694dd6fbacc389b1e3e6ff (MD5) / Made available in DSpace on 2016-07-05T18:34:29Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Fagner_Dissertação_09-03-16 - Copia.pdf: 3545958 bytes, checksum: f4b411f2ea694dd6fbacc389b1e3e6ff (MD5) Previous issue date: 2016-02-26 / CNPQ / A qualidade no Setor de Serviços é uma aliada para o aumento da competitividade nas organizações, sua relevância se deu a partir do final do século XX, com a informatização e o desenvolvimento de novas tecnologias. No Brasil é possível visualizar o crescimento do setor por meio dos indicadores de ocupação de mão de obra e do Produto Interno Bruto. Esses indicadores mostram o quão importante é o setor estudado na economia brasileira nos últimos anos. Para obter melhores resultados os serviços especializados e customizados devem estar sob a visão do cliente. Por essa razão, as organizações devem responder e interagir de forma mais dinâmica com o mercado por intermédio da Gestão da Qualidade. Assim, esta pesquisa propôs uma abordagem para avaliação da qualidade percebida pelos pacientes de dois hospitais públicos situados na Região Metropolitana do Recife, buscando identificar como os atributos do serviço são capazes de satisfazer as necessidades dos clientes por meio do Modelo de Kano. Porém, sozinho o mesmo não considera as peculiaridades das características da avaliação da qualidade em serviço, especificamente em hospitais, por esse motivo será utilizada a Teoria dos Sistemas Fuzzy – TSF, com o intuito de aproximar-se do julgamento humano. E por fim, para comparar a distância do serviço prestado ao serviço ideal será utilizada a Técnica matemática de Verificação do Ponto Ideal, para a análise dos dados obtidos no tratamento da etapa anterior. Desta maneira é apresentada uma sistemática para que as organizações de prestação de serviço busquem avaliar a qualidade dos serviços prestados e, consequentemente, aumentem a satisfação dos seus clientes, se diferenciando. / The quality in the Service Sector is an ally to the increase of competitiveness in organizations, their relevance took place from the end of the twentieth century, with the information and the development of new technologies. In Brazil, You can view the growth of the sector through manpower occupancy indicators and GDP. These indicators show how important the sector studied in the Brazilian economy in recent years. To obtain the best results the specialized and customized services on the client's vision. For this reason, organizations must respond and interact more dynamically with the market through quality management as well, this research will propose an approach for assessing the quality perceived by patients of two hospitals located in the Metropolitan area of Recife, quest to identify as the attributes of the service, they are able to fulfill customer needs through the Kano Model. However alone not considerate the singularity characteristics of validation quality services, consequently will be used Theory Sistem Fuzzy- TSF, aiming to approach the human judgment - the Theory of Fuzzy Systems with the prupouse to aproach human judgment. Finally, to compare the distance to the optimal service provided service will use the Technical Mathematics for Check of Ideal Point, for analyzing the data obtained in the previous processing step. Thus presenting a systemic method for organizations of service pursue to assess quality of services and therefore increase customer satisfaction, consequently differentiating.

Orientador: João Marcos Travassos Romano / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-05T07:17:28Z (GMT). No. of bitstreams: 1 Ferrari_Rafael_M.pdf: 3590603 bytes, checksum: 36e018a11a02c47baafbf4b3682e9f1d (MD5) Previous issue date: 2005 / Resumo: Esta tese objetiva o estudo da utilização de fuzzy na equalização supervisionada e não-supervisionada de canais de comunicação digital. O trabalho se divide em basicamente duas partes. Na primeira, é feita uma revisão das técnicas de equalização supervisionada empregando filtros nebulosos mostradas na literatura. Na segunda parte concentramse as principais contribuições originais, voltadas ao estabelecimento de um paradigma sólido para equalização não-linear cega. Primeiramente, demonstramos que o teorema de Benveniste-Goursat-Ruget não garante a equalização quando do uso de não lineares como os fuzzy. Como alternativa, optamos por um critério baseado no erro de predição aliado a estruturas nebulosas, opção esta que se mostra plenamente justificada pela demonstração da equivalência entre os preditores fuzzy e o estimador de mínimo erro quadrático médio. Para efetuar o treinamento desta estrutura foi proposto um algoritmo baseado em clusterização não-supervisionada que combina estratégias evolutivas com técnicas de busca local. Porem, resultados de simulações computacionais são apresentados afim de avaliar e comparar com as soluções clássicas o desempenho dos equalizadores e das técnicas de treinamento descritos no trabalho / Abstract: The objective of this thesis is to study the application of fuzzy to supervised and unsupervised digital channel equalization. Our work is basically divided in two main parts. In the one, we make an extensive review of supervised fuzzy equalization techniques. In the second part, we present original contributions towards the establishment of a solid paradigm for blind nonlinear equalization. In this part, we demonstrate that the Benveniste-Goursat-Ruget theorem is not valid for nonlinear equalizers such as fuzzy liters. As a viable alternative, we propose an approach based on the predictionerror criterion and a fuzzy logic system. The eectiveness of which is cornered by the demonstration of the equivalence between the fuzzy predictor and the minimum eansquare error estimator. Secondly, we propose a training scheme founded on an unsupervised clustering algorithm that combines evolutionary strategies and local search techniques. Lastly, we present results of computational simulations to assess the performance of the equalizers and training techniques introduced in our work / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Orientador: Rodney Carlos Bassanezi / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-05T13:09:54Z (GMT). No. of bitstreams: 1 Silva_JoaodeDeusMendesda_D.pdf: 2207124 bytes, checksum: 66be9f080afc53c4cd7e470644e483e9 (MD5) Previous issue date: 2005 / Resumo: Um sistema dinâmico p-fuzzy é um sistema cuja dinâmica é obtida através de um sistema baseado em regras fuzzy. Neste trabalho, realizamos um estudo analítico da estabilidade dos sistemas dinâmicos p-fuzzy. Estabelecemos condições necessárias e suficientes para existência de ponto de equilíbrio para sistemas p-fuzzy unidimensionais e bidimensionais e derivamos condições para estabilidade deste ponto. Vimos que, uma condição suficiente para existência de ponto de equilíbrio é uma mudança de sinal na saída do controlador. Este trabalho mostra ainda, que a estabilidade de um ponto de equilíbrio depende, principalmente, das variáveis de entradas e saídas do sistema baseado em regras fuzzy associado ao sistema p-fuzzy. Além dos diversos resultados matemáticos encontrados, com demonstrações rigorosas, realizamos inúmeros experimentos computacionais e obtivemos resultados que atestam a veracidade de da teoria aqui proposta. Apresentamos ainda, algumas aplicações em Biomatemática onde podemos comprovar, em situações concretas, a eficácia, versatilidade e robustez da teoria desenvolvida / Abstract: A p-fuzzy dynamic system is a system whose dynamics is obtained through a fuzzy rule-based systems. ln this work we present an analytical study of the stability of p-fuzzy dynamic systems. We establish necessary and sufficient conditions to existence of equilibrium point for one variable and two variable p-fuzzy systems and, we derive conditions for stability of this point. We saw that, a sufficient condition for existence of equilibrium point is a change of signal in the output of the controller This work still shows, that the stability of an equilibrium point depends, mainly, fuzzy rule-based systems's input-output. Many mathematical results has been found and demonstrated rigorously. We still made many computational experiments and its results show that all developed mathematical theory is efficient. We still present, some applications in Biomathematics where we can prove, in real situations, the efficiency, versatility and robustness of the developed theory in this work / Doutorado / Doutor em Matemática Aplicada

Orientador: Armando Freitas da Rocha / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-21T02:56:55Z (GMT). No. of bitstreams: 1 Correa_JoseFransciscodosSantos_M.pdf: 41587022 bytes, checksum: c47a8413c82326cd5f7ca0d6e891453e (MD5) Previous issue date: 1995 / Resumo: o presente trabalho apresenta proposta de um sistema inteligente para a análise e apresentação de soluções a serem aplicadas em poços equipados com bombeamento mecânico. Este sistema engloba o tratamento de dados contidos em base de dados, a identificação de sintomas através de agentes especializados, a análise do conjunto de sintomas e a proposta de ações no sentido de corrigir problemas e otimizar o sistema bombeamento mecânico. Conceitos de engenharia de petróleo como dimensionamento e verificação do sistema de bombeamento mecânico, análise Nodal , cálculo da carta dinamométrica de fundo, fluxo multifásico, propriedades dos fluidos, "Inflow Performance Relationship", Interferência de Gás, dentre outros, foram incorporados ao sistema e integrados por agentes inteligentes desenvolvidos a partir de conceitos de Inteligência Artificial, tais como, sistemas distribuidos, redes neurais simbólicas e lógica nebulosa. o "Sistema Inteligente para Análise de Cartas Dinamométricas", atualmente em desenvolvimento através de convênio entre a PETROBRÁS e UNICAMP, tem seu campo de atuação ampliado pelo presente trabalho, através da incorporação dos conceitos citados / Abstract: This work presents a proposal for a Sucker Rod Pumping Analysis Expert System, with the main characteristic of presentating diagnostics and solutions to sucker rod pumping problems. The system includes database treatment, syntoms identification, diagnosis and solutions proposals, performed by a group of agents specialized in sucker rod pumping problems solution and otimization. Artificial Inteligence concepts such as distribuited systems, neural nets and fuzzy logic, as long as Petroleum Engineering concepts such as design and verification of sucker rod pumping, nodal analysis, and pump dynagraph are used by the inteligent agents to broadly analyse the sucker rod pumping system. The use of the above concepts in this work, enlarges the PETROBRÁS UNICAMP project "Sistema Inteligente para análise de Cartas Dinamométricas" scope in the treatment of sucker rod pumping problems / Mestrado / Mestre em Engenharia de Petróleo

Orientadores: Edson Bim, Jaime Szajner / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-22T09:36:43Z (GMT). No. of bitstreams: 1 RosellValdenebro_Lino_M.pdf: 8170325 bytes, checksum: a5ca154854b80a976000f6c15933bb7a (MD5) Previous issue date: 1997 / Resumo: Neste trabalho é apresentado o estudo e a implementação digital do controle indireto por orientação do fluxo de rotor para um motor de indução trifásico gaiola de esquilo. O método de orientação está baseado na determinação indireta do vetor fluxo de rotor. O acoplamento entre as variáveis de fluxo e conjugado eletromagnético da máquina, produto da variação dos parâmetros do modelo, é analisada e soluções são propostas e implementadas utilizando técnicas da Inteligência Artificial. Para determinar o valor atual da constante de tempo do rotor é implementado um sistema de identificação usando Redes Neurais Artificias que infere o valor desta constante a partir da resposta transitória de velocidade quando o sistema é submetido a sinais de tipo degrau na corrente de conjugado. Com o objetivo de melhorar a robustez do sistema de controle o regulador PI convencional da malha de velocidade é substituído por um regulador fuzzy. O algoritmo de controle, o sistema de identificação e o regulador fuzzy de velocidade são implementados utilizando o Microcontrolador de INTEL 87C196KD que tem como sinais de entrada as correntes de estator e a velocidade mecânica do motor. Resultados experimentais e de simulação são apresentados e discutidos / Abstract: A study and the digital implementation of a rotor flux field oriented based control of a squirrel cage induction motor is presented. The flux orientation is based on the indirect determination of the rotor flux vector. The coupling between the flux and electromagnetic torque due to the parameter variation is analyzed and experimental solutions are investigated using Artificial Neural Networks (ANN) techniques. The rotor electrical time constant is obtained using an ANN identification system based on the speed response to a torque current step stator input. In order to improve the robustness of the control system, a conventional PI speed regulator is replaced by a fuzzy controller. The control algorithm, the identification system and the speed regulator are implemented on the INTEL 87C196KD microcontroller. The input signals to the microcontroller are the stator currents and the rotor speed. Experimental and digital simulation results are presented and discussed. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Fernando Antonio Campos Gomide / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-27T01:52:40Z (GMT). No. of bitstreams: 1 RondonGonzalez_MagaliMercedes_M.pdf: 18770001 bytes, checksum: 9f3118fca6763c7b83e751d1b03c8c8f (MD5) Previous issue date: 2000 / Resumo: Modelos de linhas ferroviárias são essenciais para análise e decisão em sistemas ferroviários. Estes modelos fornecem meios para análise de movimento e despacho, fornecendo meios para simulação, análise de operações, otimização, controle de circulação e expansão de capacidade, entre outros problemas. Este trabalho apresenta um modelo estruturado de linha que estende o modelo clássico proposto por Petersen e Taylor em 1982. O modelo proposto acrescenta funcionalidades que não foram consideradas no modelo original e foi construído com uma visão que privilegia a orientação a objetos. Como conseqüência, um sistema computacional foi implementado em linguagem Java com o intuito de fornecer uma ferramenta de análise e suporte na tomada de decisão. Mais especificamente, o modelo aqui desenvolvido acrescenta as seguintes funcionalidades ao modelo original: criação de modelos de trens, percursos e escalas, circulação de trens numa malha ferroviária e perturbação de trens. A ferramenta computacional fornece mecanismos para caracterizar modelos de linha, simular a circulação de trens em uma malha ferroviária, visualizar dados e obter resultados de simulação que traduzem o desempenho do sistema ferroviário. Além disso, a ferramenta permite definir e avaliar funções de otimização de despacho através de uma linguagem concebida para este propósito. Estas funções podem ser definidas tanto através de algoritmos convencionais quanto em algoritmos da inteligência computacional, com ênfase naqueles baseados na teoria de conjuntos nebulosos. Exemplos de aplicação que servem para ilustrar o potencial do modelo e a utilização da ferramenta são também incluídos. Finalmente, as conclusões e as atividades que ainda necessitam de desenvolvimentos futuros são resumidas / Abstract: Railway line models are essential for analysis and decision making of rail systems. They provide a vehicle to analyze train movements and train dispatch strategies. Line models are also a key for system simulation, operation analysis, systems optimization and control, and capacity expansion as well. This work extends the classic Petersen and Taylor model developed in 1982. The new model introduces functionalities that were not part of original model of Petersen and Taylor. For instance, the model developed here includes the following additional characteristics: train, journey and stop models, train circulation over rail network and train disturbances. The model was developed using an object-oriented approach, and translated into a decision support software tool. Besides system simulation, operation analysis, capacity expansion, and train movement analysis, the tool also provides a language especially suitable to define circulation optimization using both, conventional and computational intelligence based procedures, with a focus on fuzzy set theory algorithms. Application examples are also included to illustrate the usefulness of the mode! and the software tool. Finally, the conclusions are summarized and future work suggested. / Mestrado / Mestre em Engenharia Elétrica