Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2013. / Made available in DSpace on 2014-08-06T17:16:01Z (GMT). No. of bitstreams: 1 325551.pdf: 1989313 bytes, checksum: 46057ac0831bcc672016a13bf3e85f67 (MD5) Previous issue date: 2013 / Nesta tese são abordados os problemas de análise de estabilidade e síntese de realimentação de estados de sistemas lineares sujeitos a zona morta. Como ferramentas teóricas fundamentais para a definição dos problemas de análise e síntese na presença de zona morta e o seu tratamento, utiliza-se o conceito de Estabilidade UB (do inglês, Ultimate Boundedness) e a definição do conjunto de confinamento final (ou simplesmente, conjunto UB). Neste contexto, apresentam-se condições para a solução dos problemas na forma de desigualdades matriciais lineares (do inglês, Linear Matrix Inequalities, LMI). Inicialmente, são consideradas três modelagens diferentes para a não-linearidade de zona morta, modelagens estas relacionadas a trabalhos existentes na literatura. Posteriormente, propõe-se uma parametrização para a não-linearidade através de uma classe de funções pertencentes a setores, a qual mostrou-se interessante para o tratamento dos problemas considerados e para também considerar outras não-linearidades. Dessa forma, os resultados são estendidos para sistemas lineares sujeitos a uma não-linearidade que combinam os efeitos da zona morta e da saturação. Exemplos numéricos são apresentados ao longo do trabalho com o objetivo de ilustrar a aplicação e verificar a eficiência dos métodos propostos.<br> / Abstract : This Thesis presents the problems of stability analysis and state feedback control synthesis for linear systems subject to dead-zone. As theoretical tools for defining and treat the fundamental issues of analysis and synthesis in the presence of the dead-zone, we use the concept of ultimate boundedness (UB) and the definition of the ultimately bounded set (or just, UB set). In this context, we present some conditions for solving the considered problems linear matrix inequalities (LMI). Initially, we consider three different models approaches for the dead-zone nonlinearity. Then, we propose a parametrization for the nonlinearity through a class of functions belonging to sectors, that allows to approach of the considered issues and also to take in account other nonlinearities. Thus, the results are extended to linear systems under a nonlinearity that combines the effects of dead-zone and saturation. Numerical examples are presented in order to illustrate the application and verify the effectiveness of the proposed methods.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016. / Made available in DSpace on 2017-02-14T03:04:11Z (GMT). No. of bitstreams: 1 343947.pdf: 5026897 bytes, checksum: 912665a769b3156524e4985cb94e102c (MD5) Previous issue date: 2016 / Introdução. Sistemas multiagente abertos requerem algum tipo de regulação para conciliar a atuação autônoma dos agentes com os objetivos globais do sistema. Normas são uma forma usual de expressar os requisitos de regulação nesse tipo de sistema e são normalmente especificadas em termos abstratos que podem ser vistos como uma interpretação dos elementos concretos que compõem o sistema, os quais fazem parte do ambiente em um sistema multiagente. Por exemplo, em uma norma especificando que clientes são obrigados a pagar por suas compras, agentes podem ser considerados clientes e depósitos bancários podem ser considerados pagamentos. Esses conceitos abstratos fazem parte da realidade institucional das sociedades de agentes. Essa realidade não é composta, mas constituída a partir dos elementos existentes no ambiente. Por exemplo, um agente atuando no ambiente pode constitutir um cliente na realidade institucional. Para que a regulação especificada pelas normas possa ser baseada na realidade institucional, é necessário haver meios para especificá-la, definindo sua constitutição a partir do ambiente. Objetivos. O objetivo desta tese é propor um modelo de realidade institucional, constitutída a partir do ambiente, para suportar a regulação especificada pelas normas em sistemas multiagente. Para atingir esse objetivo, toma-se, como inspiração, a teoria do filósofo John Searle, que observa que, nas sociedades humanas, a realidade institucional existe devido à concordância coletiva de que alguns elementos existentes no mundo contam como elementos da realidade institucional. Por exemplo, concorda-se que cédulas de papel com determinadas características contam como dinheiro. Para atingir o objetivo desta tese, é necessário definir quais são as abstrações utilizadas para representar a realidade institucional em instituições artificiais, bem como definir como a heterogeneidade dos elementos do ambiente é capturada pela realidade institucional, definindo ainda como as normas, que podem ser concebidas de diferentes maneiras, podem ser acopladas em uma representação unificada de realidade institucional. Contribuições. Esta tese propõe um modelo de realidade institucional para suportar a regulação em sociedades de agentes, definindo suas representações bem como sua dinâmica, que é consequência da dinâmica do ambiente. Essa realidade institucional é representada através de status functions, que são funções atribuídas pela instituição a agentes atuando, eventos ocorrendo e estados vigorando no ambiente. A partir desse modelo, define-se uma linguagem para especificar a realidade institucional. Além disso, define-se como as normas, da forma em que são propostas na literatura, baseiam sua regulação nessa realidade institucional ao fazerem referência às status functions. Esses elementos permitem conceber um modelo de instituição artificial, chamado SAI (de Situated Artificial Institution ou Institução Artificial Situada), em que é possível especificar a realidade institucional para suportar a regulação provida por normas que seguem diferentes modelos normativos. A partir desse modelo, propõe-se a arquitetura de uma plataforma para execução dessas instituições em sistemas multiagente. O modelo proposto é avaliado através de exemplos de aplicações e, quando possível, comparado com outras propostas de modelos institucionais. Conclusões. O modelo de realidade institucional proposto concebe abstrações apropriadas para a representação desse aspecto social dos sistemas multiagente. A partir desse modelo, é possível conceber instituições artificiais em que a regulação é baseada em uma realidade institucional constituída a partir do ambiente. Tem-se, assim, instituições em que regulação e realidade institucional são desacopladas porém coerentemente conectáveis.<br> / Abstract : Open Multi-Agent Systems require some regulation to conciliate the autonomy of the agents with the overall goals of the system. Norms are a usual way to express the regulative requirements in this kind of system and are usually specified in abstract terms that can be seen as an interpretation of the concrete elements composing the system. For example, in the norm ``buyers are obliged to pay for their purchases'', agents can be seen as buyers and bank transfers can be seen as payments. These abstract concepts, such as buyers and payments, refer to elements belonging to the institutional reality in a society of agents. Such reality is not composed, but constituted from the elements existing in the environment where the agents act. This thesis proposes a model of institutional reality to base the regulation of agent societies, defining its representations as well as its dynamics, that is constituted from the dynamics of the environment. From this model, it is defined a language to design the institutional reality. Furthermore, it is defined how the norms, as conceived by the literature, can base their regulation on this institutional reality. These elements enable us to conceive a model of artificial institution called SAI (from Situated Artificial Institution), that considers both the institutional reality and norms, that can follow different normative models. From this model, it is proposed a platform architecture to deploy these institutions in Multi-Agent Systems. The proposed model is evaluated through application examples and, when possible, compared with other proposals of institutional models.

Este trabalho apresenta a proposta de uma arquitetura e o modelo de um Agente de Intercâmbio Eletrônico de Dados, Agente EDI, cuja função é, permitir a troca de dados estruturados entre Sistemas de Informações Distribuídos através da Internet. A estratégia de interação dos agentes possibilita uma maneira alternativa de tratar a recuperação, o armazenamento e a distribuição de dados, permitindo assim, o desenvolvimento de um modelo de Sistema de Informações baseado em Web, igualmente proposto neste trabalho. É apresentado também o desenvolvimento do Agente EDI proposto. O qual poderá ser utilizado por entidades que necessitam disponibilizar ou recuperar dados estruturados via Web, como por exemplo: informações de produtos, listas de preços, dados cadastrais, etc. A relevância deste trabalho está no fato de apresentar uma tecnologia simples e acessível, capaz de ser implementada sem a necessidade de altos investimentos e capaz de facilitar a implementação de Sistemas Distribuídos via Internet.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2017-02-01T15:08:06Z No. of bitstreams: 1 2016_AnaCristinaRochaOliveiraValverde.pdf: 879616 bytes, checksum: b64378498855c30cf60d6faa9518461c (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-02-01T19:13:19Z (GMT) No. of bitstreams: 1 2016_AnaCristinaRochaOliveiraValverde.pdf: 879616 bytes, checksum: b64378498855c30cf60d6faa9518461c (MD5) / Made available in DSpace on 2017-02-01T19:13:19Z (GMT). No. of bitstreams: 1 2016_AnaCristinaRochaOliveiraValverde.pdf: 879616 bytes, checksum: b64378498855c30cf60d6faa9518461c (MD5) / Sistemas nominais são uma abordagem alternativa para o tratamento de variáveis em sistemas computacionais, onde a reescrita de primeira ordem é generalizada através do suporte para especificação de ligação de variáveis e de _-equivalência, fazendo uso do conceito de freshness e da troca bijetiva de nomes (swapping). Teoremas bem conhecidos em reescrita de primeira ordem podem ser adaptados a fim de serem adicionalmente válidos em reescrita nominal. Nesta tese, nós analisamos sob que condições a confluência de sistemas de reescrita e o Critério dos Pares Críticos são válidos para a reescrita nominal, assim como para a reescrita nominal fechada (que é uma noção de reescrita mais eficiente nesse contexto). As condições definidas aqui são de fácil checagem através de um algoritmo de unificação nominal. A unificação nominal foi inicialmente estudada por Urban, Pitts e Gabbay e formalizada por Urban no assistente de prova Isabelle/HOL. Neste trabalho, são também apresentadas uma especificação nova de unificação nominal na linguagem do PVS e uma formalização da sua terminação, correção e completude. Em nossa especificação, ao invés de aplicar regras de simplificação a condições restritivas de unificação e freshness, soluções para um problema de unificação são construídas recursivamente através de uma especificação funcional direta, obtendo uma formalização que é mais próxima a implementações algorítmicas. Esta formalização é o passo inicial com vistas a ter mais resultados formalizados sobre reescrita nominal em PVS, onde um forte arcabouço de sistemas de reescrita de termos já é disponibilizado. Ademais, um sistema de tipos com interseção para termos nominais é apresentado. O sistema de tipos presente possui a importante propriedade de redução do sujeito para uma noção especializada de reescrita nominal tipada, o que significa que a tipabilidade no sistema é coerente com execuções computacionais. / Nominal systems are an alternative approach for the treatment of variables in computational systems where first-order rewriting is generalised by providing support for the specification of binding operators and α-equivalence using the notions of freshness and name swapping. Famous theorems in the context of first-order rewriting can be adapted for nominal rewriting as well. In this thesis, we analyse the conditions under which confluence of orthogonal rewrite systems and the Critical Pair Criterion hold for nominal rewriting as well as for closed nominal rewriting (an efficient notion of rewriting in this context). The conditions we define are easy to check using a nominal unification algorithm. Nominal unification was initially studied by Urban, Pitts and Gabbay and then first formalised by Urban in the proof assistant Isabelle/HOL. In this work, we also present a new specification of nominal unification in the language of PVS and a formalisation of its termination, soundness and completeness. In our specification, instead of applying simplification rules to unification and freshness constraints, we recursively build solutions for the original problem through a straightforward functional specification, obtaining a formalisation that is closer to algorithmic implementations. This formalisation is a first step in order to have more formalised results about nominal rewriting in PVS, where a huge background for term rewriting system is already available. Additionally, an inter- section type system is presented for nominal terms. The present type system possesses the important property of subject reduction for a specialised notion of typed nominal rewriting, that means the soundness of typability under computational execution.

O uso intenso e sem planejamento de espaços e de recursos aquáticos e costeiros pode proporcionar impactos sobre sistemas ambientais e ocasionar conflitos entre os setores da economia. Assim, visou-se identificar, classificar e analisar as consequências dos conflitos, por meio da avaliação de áreas importantes aos usos e de potenciais riscos aos sistemas ambientais no sistema Mirim-Mangueira-Patos, setor sul do Rio Grande do Sul, com coordenadas geográficas aproximadas entre 31º30' a 33º35' de latitude Sul e 51º45' a 54º15' de longitude Oeste. Para isso, foram utilizados os modelos ecossistêmicos Integrated Valuation of Ecosystem Services and Tradeoffs (InVEST) e informações espaciais de setores socioeconômicos e de sistemas ambientais. Identificou-se quinze sistemas ambientais e sete usos nos municípios do entorno do estuário da Lagoa dos Patos, do Canal São Gonçalo e das lagoas Mirim e Mangueira. Os sistemas ambientais naturais tiveram seus benefícios ecossistêmicos e usuários descritos. Para avaliação da sobreposição de usos, obteve-se mapas de Frequência de Ocorrência e de Índice de Importância, variando de acordo com três cenários ambientais de análise. Na avaliação de Potencial de Recuperação dos Ecossistemas, o menor potencial foi observado nas áreas de mata ciliar e floresta. Já em relação ao Risco Cumulativo para os Ecossistemas, as áreas aquáticas e de campo apresentaram maior risco a degradação, devido à densidade de estressores que ali ocorrem, tornando-as mais vulneráveis. Ainda, foram classificadas e analisadas as consequências dos conflitos por recursos naturais, por usos antagônicos em um mesmo espaço e aqueles advindos de políticas públicas. Com base na análise integrada dos resultados, obteve-se as áreas prioritárias a gestão, divididas em três categorias de necessidades a iniciativas de gestão. Os resultados sinalizam a necessidade dos usos compartilharem espaços e recursos, associando conservação e recuperação com interesses econômicos e sociais. Portanto, é de grande importância o desenvolvimento de subsídios a proposição de diretrizes que facilitem o desenvolvimento de instrumentos de organização e de planejamento espacial, como o Zoneamento Ecológico-Econômico (ZEE). / Intense and unplanned use of aquatic and coastal spaces and resources can lead to impacts on environmental systems and conflicts between economic sectors. Thus, this study aims to identify, classify and analyze the consequences of such conflicts, through the evaluation of important areas in terms of human uses and potential risks to environmental systems in the Mirim-Mangueira-Patos system, Southern Rio Grande do Sul, with approximate geographic coordinates between 31º30' to 33º35' south latitude and 51º45' to 54º15' west longitude. To accomplish this, the ecosystem models Integrated Valuation of Ecosystem Services and Tradeoffs (InVEST) was applied based on spatial information from socioeconomic sectors and environmental systems. Fifteen environmental systems and seven uses were identified in the municipalities around the Lagoa dos Patos estuary, São Gonçalo waterway, Mirim and Mangueira lagoons. Ecosystem benefits and users of natural environmental systems have been described. To evaluate the use overlapping, maps of Frequency of Occurrence and of Index of Importance were built, varying according to three environmental scenarios of analysis. Regarding the Ecosystem Recovery Potential, the lowest potential was observed in areas of riparian woods and forest. Regarding the Cumulative Risk for Ecosystems, the aquatic and field areas presented a greater risk of degradation, which is due to the density of stressors, making them more vulnerable. Also, the consequences of conflicts were classified and analyzed by natural resources, by antagonistic uses in the same space, and those derived from public policies. Based on the integrated analysis of the results, the priority areas for management were indicated, which were divided into three categories of management initiatives. The results show the need for spaces and resources to be shared, matching conservation and recovery to economic and social interests. Therefore, it is of great importance the development of subsidies to propose guidelines that facilitate the elaboration of instruments dealing with spatial planning, such as the Ecological-Economic Zoning (EEZ).

O uso de modelos matemáticos na análise de sistemas de recursos hídricos tem se desenvolvido bastante desde a década de 1960. Uma das principais áreas de aplicação dos modelos de análise de sistemas de recursos hídricos é no planejamento e na operação de sistemas de reservatórios. Dois tipos de abordagem podem ser adotados para a solução desse tipo de problema: abordagem tradicional, baseada em técnicas de pesquisa operacional, e abordagem por sistemas inteligentes (inteligência artificial – IA). Modelos baseados em IA têm como principal característica a flexibilidade de inclusão de regras expressas em uma linguagem de fácil compreensão que incorporam na modelagem o conhecimento especializado e a experiência dos operadores. Apesar da importância do assunto e do potencial das técnicas, o estágio de desenvolvimento atual é carente de fundamentação teórica que sistematize a prática vivencial dos atores nos processos. Pesquisas que fechem essa lacuna são necessárias para que melhor se conheçam as vantagens e desvantagens dos Sistemas Inteligentes aplicados à operação de sistemas de reservatórios. Foram escolhidas para teste técnicas baseadas em lógica difusa, redes neurais artificiais e sistemas híbridos neuro-difusos. nvestigar o potencial destas técnicas para o processo de tomada de decisão na operação de sistemas de reservatórios constitui o objetivo geral desta pesquisa. As definições e as implementações dos esquemas metodológicos propostos nesta pesquisa e suas aplicações no estudo de caso do sistema que abastece a região metropolitana de Fortaleza confirmaram a hipótese da pesquisa para duas das três técnicas avaliadas – os modelos baseados em lógica difusa e os modelos baseados em redes neurais artificiais. A terceira técnica testada – sistemas de inferência adaptativos neuro-difusos – apresentou resultados insatisfatórios. As principais contribuições desta pesquisa ao estado da arte estão principalmente nos seguintes pontos: definição de esquemas metodológicos utilizando abordagens baseadas em sistemas inteligentes na obtenção de políticas operacionais para sistemas de reservatórios em regiões semi-áridas; inclusão, nos sistemas inteligentes para obtenção de políticas operacionais, de variáveis semânticas (qualitativas) indicativas da previsão climática, avaliando tanto a melhora do processo de operação dos reservatórios quanto os erros potenciais decorrentes de previsões equivocadas; utilização, em conjunto, de técnicas de agrupamento e de aprendizado organizativo na construção de sistemas especialistas difusos para operação de sistemas de reservatórios; construção e utilização, para os sistemas especialistas difusos de operação de reservatórios, de Modelos Hierarquicamente Escalonados, evitando a “Falta de Conhecimento”. / The use of mathematical models in the analysis of water resources systems grew enough since the decade of 1960. One of the main areas of application of the models is in the planning and in the operation of systems of reservoirs. Two approach types can be adopted for the solution of this problem type: traditional approach, based on techniques of operational research, and approach by intelligent systems (artificial intelligence – AI). The Models in AI have as main characteristic the flexibility of inclusion of expressed rules in a language of easy understanding that incorporate in the modeling the specialized knowledge and the experience of the operators. In spite of the importance of the subject and of the potential of the techniques, the apprenticeship of current development is lacking of theoretical recital that it systematizes the actors' practice in the processes. Researches that close this gap are necessary so that better is known the advantages and disadvantages of the applied Intelligent Systems to the operation of systems of reservoirs. Techniques based on fuzzy logic, artificial neural networks and neuro-diffuse hybrid systems were chosen for test. The objective of the research is to investigate the potential of these techniques for the process of decision in the operation of systems of reservoirs. The definitions and implementations of the methodological outlines proposed in this research and their applications in the study of case of the system that supplies the metropolitan area of Fortaleza confirmed the hypothesis of the research for two of the three appraised techniques – the models based in fuzzy logic and the models based in artificial neural networks. The third tested technique – Adaptive Network Based Fuzzy Inference System – presented unsatisfactory results. The main contributions of this research to the state of the art are: definition of methodological outlines using approaches based in intelligent systems in the obtaining of operational politics for systems of reservoirs in semi-arid areas; inclusion, in the intelligent systems for obtaining of operational politics, of semantic variables (qualitative) indicative of the climatic forecast, evaluating as much the improvement of the process of operation of the reservoirs as the current potential mistakes of mistaken forecasts; use, together, of clustering techniques and of learning in the construction of diffuse expert systems for operation of systems of reservoirs; construction and use, for the diffuse expert systems of operation of reservoirs, of assigned models, avoiding the "Lack of Knowledge".

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2014. / Submitted by Jaqueline Ferreira de Souza (jaquefs.braz@gmail.com) on 2014-10-24T10:38:54Z No. of bitstreams: 1 2014_HugoTadashiMunizKussaba.pdf: 2967680 bytes, checksum: 87d7c1d3c1606df8e894da7c784467a6 (MD5) / Approved for entry into archive by Tania Milca Carvalho Malheiros(tania@bce.unb.br) on 2014-10-24T14:30:46Z (GMT) No. of bitstreams: 1 2014_HugoTadashiMunizKussaba.pdf: 2967680 bytes, checksum: 87d7c1d3c1606df8e894da7c784467a6 (MD5) / Made available in DSpace on 2014-10-24T14:30:46Z (GMT). No. of bitstreams: 1 2014_HugoTadashiMunizKussaba.pdf: 2967680 bytes, checksum: 87d7c1d3c1606df8e894da7c784467a6 (MD5) / Para investigar se as variáveis de estado de um sistema dinâmico são limitadas em um horizonte de tempo finito, é utilizado a noção de estabilidade em tempo finito. Uma versão robusta dessa noção, que é a limitação em tempo finito, também é investigada. A análise de estabilidade e limitação em tempo finito de sistemas lineares podem ser feitas com as condições propostas nessa dissertação. Com estas condições de análise também podem ser resolvidos alguns problemas de controle e filtragem de sistemas lineares de parâmetros variáveis, no contexto de estabilidade e limitação em tempo finito. / To investigate whether the state variables of a dynamical system are bounded in a finite time horizon, it is used the notion of finite time stability. A robust version of this notion, which is the finite time boundedness, is also investigated. The analysis of the finite time stability and the finite time boundedness of a linear system can be made using the proposed conditions in this dissertation. With these analysis conditions, some control and filtering problems for linear parameter varying systems can also be solved in the context of finite time stability and finite time boundedness.

O uso de modelos matemáticos na análise de sistemas de recursos hídricos tem se desenvolvido bastante desde a década de 1960. Uma das principais áreas de aplicação dos modelos de análise de sistemas de recursos hídricos é no planejamento e na operação de sistemas de reservatórios. Dois tipos de abordagem podem ser adotados para a solução desse tipo de problema: abordagem tradicional, baseada em técnicas de pesquisa operacional, e abordagem por sistemas inteligentes (inteligência artificial – IA). Modelos baseados em IA têm como principal característica a flexibilidade de inclusão de regras expressas em uma linguagem de fácil compreensão que incorporam na modelagem o conhecimento especializado e a experiência dos operadores. Apesar da importância do assunto e do potencial das técnicas, o estágio de desenvolvimento atual é carente de fundamentação teórica que sistematize a prática vivencial dos atores nos processos. Pesquisas que fechem essa lacuna são necessárias para que melhor se conheçam as vantagens e desvantagens dos Sistemas Inteligentes aplicados à operação de sistemas de reservatórios. Foram escolhidas para teste técnicas baseadas em lógica difusa, redes neurais artificiais e sistemas híbridos neuro-difusos. nvestigar o potencial destas técnicas para o processo de tomada de decisão na operação de sistemas de reservatórios constitui o objetivo geral desta pesquisa. As definições e as implementações dos esquemas metodológicos propostos nesta pesquisa e suas aplicações no estudo de caso do sistema que abastece a região metropolitana de Fortaleza confirmaram a hipótese da pesquisa para duas das três técnicas avaliadas – os modelos baseados em lógica difusa e os modelos baseados em redes neurais artificiais. A terceira técnica testada – sistemas de inferência adaptativos neuro-difusos – apresentou resultados insatisfatórios. As principais contribuições desta pesquisa ao estado da arte estão principalmente nos seguintes pontos: definição de esquemas metodológicos utilizando abordagens baseadas em sistemas inteligentes na obtenção de políticas operacionais para sistemas de reservatórios em regiões semi-áridas; inclusão, nos sistemas inteligentes para obtenção de políticas operacionais, de variáveis semânticas (qualitativas) indicativas da previsão climática, avaliando tanto a melhora do processo de operação dos reservatórios quanto os erros potenciais decorrentes de previsões equivocadas; utilização, em conjunto, de técnicas de agrupamento e de aprendizado organizativo na construção de sistemas especialistas difusos para operação de sistemas de reservatórios; construção e utilização, para os sistemas especialistas difusos de operação de reservatórios, de Modelos Hierarquicamente Escalonados, evitando a “Falta de Conhecimento”. / The use of mathematical models in the analysis of water resources systems grew enough since the decade of 1960. One of the main areas of application of the models is in the planning and in the operation of systems of reservoirs. Two approach types can be adopted for the solution of this problem type: traditional approach, based on techniques of operational research, and approach by intelligent systems (artificial intelligence – AI). The Models in AI have as main characteristic the flexibility of inclusion of expressed rules in a language of easy understanding that incorporate in the modeling the specialized knowledge and the experience of the operators. In spite of the importance of the subject and of the potential of the techniques, the apprenticeship of current development is lacking of theoretical recital that it systematizes the actors' practice in the processes. Researches that close this gap are necessary so that better is known the advantages and disadvantages of the applied Intelligent Systems to the operation of systems of reservoirs. Techniques based on fuzzy logic, artificial neural networks and neuro-diffuse hybrid systems were chosen for test. The objective of the research is to investigate the potential of these techniques for the process of decision in the operation of systems of reservoirs. The definitions and implementations of the methodological outlines proposed in this research and their applications in the study of case of the system that supplies the metropolitan area of Fortaleza confirmed the hypothesis of the research for two of the three appraised techniques – the models based in fuzzy logic and the models based in artificial neural networks. The third tested technique – Adaptive Network Based Fuzzy Inference System – presented unsatisfactory results. The main contributions of this research to the state of the art are: definition of methodological outlines using approaches based in intelligent systems in the obtaining of operational politics for systems of reservoirs in semi-arid areas; inclusion, in the intelligent systems for obtaining of operational politics, of semantic variables (qualitative) indicative of the climatic forecast, evaluating as much the improvement of the process of operation of the reservoirs as the current potential mistakes of mistaken forecasts; use, together, of clustering techniques and of learning in the construction of diffuse expert systems for operation of systems of reservoirs; construction and use, for the diffuse expert systems of operation of reservoirs, of assigned models, avoiding the "Lack of Knowledge".

Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-09-05T21:33:23Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Rúbia Esterfânia de Araújo Ramos.pdf: 3613477 bytes, checksum: 40a86c5834ed3cb888e76b58362ea078 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-09-14T21:53:22Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Rúbia Esterfânia de Araújo Ramos.pdf: 3613477 bytes, checksum: 40a86c5834ed3cb888e76b58362ea078 (MD5) / Made available in DSpace on 2018-09-14T21:53:22Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Rúbia Esterfânia de Araújo Ramos.pdf: 3613477 bytes, checksum: 40a86c5834ed3cb888e76b58362ea078 (MD5) Previous issue date: 2015-02-26 / CAPES / Neste trabalho, descreveremos através de uma abordagem geométrica a dinâmica e o comportamento caótico em Sistemas Hamiltonianos. Para tal fim, discutiremos as hipóteses necessárias para realizarmos a geometrização da dinâmica, que nos possibilita relacionarmos as trajetórias de um sistema hamiltoniano com as geodésicas de sua variedade equipotencial, munida de uma métrica adequada. Inicialmente analisaremos o caso em que a variedade é isotrópica, onde encontraremos, após estudar a equação de Jacobi associada, que o sistema apresentará caos sempre que sua curvatura seccional for negativa. Para o caso não isotrópico, em baixa dimensão, veremos que o mecanismo de instabilidade paramétrica caracteriza a ocorrência do caos. Assumindo algumas hipóteses geométricas e estatísticas, no limite termodinâmico, ao relacionarmos a média e a flutuação da curvatura de Ricci, obteremos uma expressão analítica para o maior expoente de Lyapunov que dará suporte ao mecanismo de instabilidade paramétrica. Finalmente, faremos uma aplicação original da teoria desenvolvida para o modelo XY na presença do Campo. Os resultados encontrados estão em acordância com a termodinâmica do modelo e contribuem para um melhor entendimento dos aspectos geométricos associados da dinâmica do mesmo. / In this work, we will describe through a geometric approach the dynamic and chaotic behavior in Hamiltonian systems. For this purpose, we discuss the hypothesis necessary to accomplish the geometrization of dynamics, which enables us to relate the trajectories of a Hamiltonian system with the geodesics of its equipotential manifold, provided with a suitable metric. First we will analyze the case of isotropic manifold, which we will find, after studying its Jacobi equation associated, that the system will present chaos whenever its sectional curvature is negative. For non-isotropic case, in low dimension, we will see that the parametric instability mechanism characterizes the occurrence of chaos. Assuming some geometric and statistics hypothesis, in the thermodynamic limit, which relate the mean and the fluctuation of Ricci curvature, we will obtain an analytical expression for the Lyapunov exponent which will support the parametric stability mechanism. Finally, we will make an original application of the theory developed for the XY model in the presence of the Field. The results found are in accordance with the thermodynamics of the model and contribute to a better understanding of the geometric aspects of their it dynamics.

Orientador: Raul Vinhas Ribeiro / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T15:16:25Z (GMT). No. of bitstreams: 1 Banov_JoanaTeixeiraMachado_M.pdf: 4454162 bytes, checksum: 58c4780a65bbdd49b1da0b697a9e8af8 (MD5) Previous issue date: 1999 / Resumo: A nova tecnologia de equipamentos de transmissão da Hierarquia Digital Síncrona (SDH - Synchronous Digital Hierarchy) vem compor um novo cenário tecnológico no mundo das Telecomunicações, revolucionando o atendimento aos serviços atuais e futuros e dando suporte à implementação da Rede Digital de Serviços Integrados - RDSI. Esta tese apresenta uma nova visão do planejamento da Rede SDH de Transmissão, baseada numa arquitetura de rede decomposta em camadas funcionais. A divisão em camadas funcionais possibilita o desenvolvimento de uma metodologia de planejamento para cada camada funcional. A decomposição proposta aqui considera quatro camadas: de circuitos, lógica, de transmissão e física. Neste trabalho propomos uma metodologia de Planejamento da Camada Lógica, camada funcional cuja função é "arrumar" demandas de canais El (2Mbits/s), ou de ordem superior, em containers virtuais VC-4. A atividade de arrumar eficientemente tributários dentro de VC-4 é essencial, já que um VC-4 acrescido de um cabeçalho de seção (SOH ¿ Section OverHead) toma-se um STM-l, sinal de transporte básico SDH. . A metodologia de planejamento da Camada Lógica tem o objetivo de minimizar o úmero de containers VC-4 e a quantidade de vezes que as demandas em 2Mbits/s são transpostas de um VC-4 para o outro ao longo de seu trajeto na rede. ...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: Synchronous Digital Hierarchy (SDH) is a new technology in the area of transmission, and it has brought numerous advantages to the world of telecommunications. It guarantees a moreflexible and efficient transmission network, capable of meeting the service needs of telecommunications, both present and future. The present work proposes a methodology for planning an SDH transmission network based on the decomposition of the network into functional layers. The planning of such a transmission network is based on this decomposition, and each of the layers is considered independently, taking into consideration the information of the higher leveI. The architecture of the network presented in this study is a network decomposed into four functionallayers: Circuit Layer, Path Layer, with high and low orders sub-Iayers, Transmission Media Layer and PhysicalLayer. A planning algorithm for the Path Layer is proposed which will provide input for the next lower transmission media layer. The Path Layer is the layer responsible for the all ocation of the 2Mbits/s channels (El) into virtual containers (VC). Groups of these virtual containe rs, alongwith the Section Overhead (SOH), form STM-l modules (Synchronous Transport Modules), which are the basic transport signals of SDH transmission. The planning of the path layer is designed to minimize the number of containers required, as well as the number of times the 2 Mbits/s demands are transposed from one VC to another during transmission through the network. ...Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Engenharia Elétrica