PPGEE - Doutorado em Engenharia Elétrica e de Computação
URI Permanente para esta coleçãohttps://repositorio.ufrn.br/handle/123456789/12009
Navegar
Navegando PPGEE - Doutorado em Engenharia Elétrica e de Computação por Data de Publicação
Agora exibindo 1 - 20 de 387
- Resultados por página
- Opções de Ordenação
Tese Um algoritmo para estimação de estado em alimentadores de distribuição de energia elétrica com base no método da soma de potências(Universidade Federal do Rio Grande do Norte, 2003-12-29) Almeida, Marcos Antonio Dias de; Medeiros Júnior, Manoel Firmino de; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781378J1; ; http://lattes.cnpq.br/5323110802158816; Bezerra, Ubiratan Holanda; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4787768D6; Souza, Benemar Alencar de; ; http://lattes.cnpq.br/4987294390789975; Oliveira, José Tavares de; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4780328Y8; Dória Neto, Adrião Duarte; ; http://lattes.cnpq.br/1987295209521433A grande maioria dos algoritmos de estimação de estado, que usa o modelo clássico, se destina à aplicação em sistemas de transmissão. Há poucos algoritmos para sistemas de distribuição. Isto se deve em parte, a pequena quantidade de dados de medição disponíveis em tempo real. A maioria dos alimentadores só dispõe de medição de corrente na saída do barramento de média tensão da subestação. Dessa forma, a aplicação de algoritmos tradicionais de estimação de estado para a supervisão de alimentadores pode ser inadequada, mesmo considerando dados obtidos off-line através de pseudomedições. Entretanto, a necessidade de automatização da operação dos sistemas de distribuição, principalmente no que diz respeito à seletividade quando da presença de defeitos, fez surgir alguns equipamentos telecomandados, que incorporam módulos de telemedição de algumas grandezas da rede, que podem ser transmitidas em tempo real para o centro de operação do sistema COS. Isso permite o desenvolvimento de um novo modelo de estimador de estado, envolvendo medidas reais e pseudomedidas de cargas, que são construídas a partir da definição de fatores de potência e de utilização típicos de sistemas de distribuição. O presente trabalho trata do desenvolvimento de um novo modelo de estimador de estado voltado para sistemas de distribuição, particularmente, alimentadores radiais. Baseia-se no algoritmo do fluxo de carga soma de potências. Daí o nome estimador de estado de soma de potências. O método faz a estimação de alimentador por seção, partindo da subestação para os ramais. Para cada seção é construído o modelo de medição. Isto resulta em sistemas de equações não-lineares, sobre determinados, que requerem uma solução iterativa. Obtém-se essa solução através do método dos mínimos quadrados ponderados via equação normal de Gauss. As grandezas estimadas em uma seção são usadas como pseudomedidas para estimar a seção subseqüente. O conjunto de medição de cada seção é constituído por pseudomedidas ou medidas de fluxos de potência nos trechos e tensões nodais, em tempo real, e por pseudomedidas de injeções de potências nos nós. As pseudomedidas de injeções de potência são construídas a partir das equações clássicas de potências injetadas, usadas no estudo de fluxo de carga. Assume-se ainda, que o sistema trifásico pode ser representado por seu equivalente monofásico. A grande vantagem do algoritmo está na simplicidade e rapidez do programa computacional que o implementa. Além disso, é muito eficiente no que diz respeito à exatidão das grandezas estimadas. Além do estimador soma de potências, este trabalho mostra como outros algoritmos poderiam ser adaptados para prover estimação de estado de subestações e circuitos de média tensão, isto é, o método de Schweppe e um algoritmo baseado em proporcionalidade de corrente, que normalmente é usado em estudos de planejamento de redes. Ambos os estimadores foram implementados não somente como alternativas para o método proposto, mas também procurando obter resultados para servir de suporte para sua validação. Uma vez que na maioria dos casos não há medição de potências na saída para o alimentador e esta é requerida para implementação do método da soma de potências, um novo algoritmo para estimar as grandezas de rede em barra de média tensão foi também desenvolvidoTese Contribuições à análise de robustez de sistemas de controle usando redes neurais(Universidade Federal do Rio Grande do Norte, 2004-03-05) Gabriel Filho, Oscar; Maitelli, André Laurindo; ; http://lattes.cnpq.br/0477027244297797; ; http://lattes.cnpq.br/4171033998524192; Oliveira, Roberto Célio Limão de; ; http://lattes.cnpq.br/4497607460894318; Cerqueira, Jés de Jesus Fiais; ; http://lattes.cnpq.br/3099827700882478; Dória Neto, Adrião Duarte; ; http://lattes.cnpq.br/1987295209521433; Mota, Francisco das Chagas; ; http://lattes.cnpq.br/1640808531484356Este trabalho utiliza as Redes Neurais Multicamadas - RNM s, totalmente com treinamento em tempo real (on-line), no desenvolvimento de duas estratégias de controle indireto. Os esquemas propostos denominam-se Controle Híbrido Indireto e Controle Neural Indireto. Todo o treinamento dos neurodispositivos - o identificador da planta e o controlador, quando presentes na malha de controle indireto, é realizado com um mínimo de atraso computacional, de modo a contemplar o controle de plantas com pequenos períodos de amostragem. São apresentados Teoremas de Estabilidade para garantia da convergência dos dispositivos neurais, assim como foram feitas considerações para adequar o método de aceleração da convergência h-adaptativo utilizado às condições de estabilidade. Para cada esquema de controle indireto foi desenvolvido um teorema que permite calcular o máximo erro permanente (steady-state error) que poderá ocorrer em função da tolerância previamente especificada para convergência dos dispositivos neurais usados na malha de controle, desde que a estabilidade seja garantida. Estes teoremas foram denominados de Teoremas da Robustez e constituem a principal contribuição deste trabalho. As condições de estabilidade e robustez foram testadas para as estratégias de Controle Híbrido Indireto e de Controle Neural Indireto, sendo apresentados os resultados obtidos na simulação computacional do controle de regulação de plantas não-lineares, BIBO (Bounded Input, Bounded Output) estáveisTese Infra-estrutura para avaliação e testes de protocolos sociais de comunicação em ambientes tridimencionais compartilhados(Universidade Federal do Rio Grande do Norte, 2004-04-19) Tavares, Tatiana Aires; Souza Filho, Guido Lemos de; Gonçalves, Luiz Marcos Garcia; ; http://lattes.cnpq.br/1562357566810393; ; http://lattes.cnpq.br/6614550860293610; ; http://lattes.cnpq.br/4903908392101557; Farias, Ricardo Cordeiro de; ; http://lattes.cnpq.br/9063837162469343; Medeiros, Adelardo Adelino Dantas de; ; http://lattes.cnpq.br/6787525856497063O advento da Internet estimulou o aparecimento de diversos serviços vinculados a Rede. Um exemplo são os serviços de comunicação cada vez mais presentes no dia-a-dia dos usuários da Rede. Serviços como salas de bate-papo e correio eletrônico atingem um número crescente de usuários tornando a Rede um poderoso meio de comunicação da atualidade. Nesse contexto, surge a preocupação de como melhor adaptar os serviços de comunicação convencionais à infra-estrutura da Rede. O trabalho seguinte introduz o conceito de protocolos sociais de comunicação aplicada a um ambiente virtual compartilhado na Rede. Discutimos ferramentas de comunicação voltadas as necessidades e potencialidades do meio de comunicação digital, abordando várias teorias da área de Comunicação e sua aplicabilidade num contexto de ambientes virtuais. Para tanto, definimos uma arquitetura multi-agentes para suportar o oferecimento desses serviços, bem como, uma plataforma de software e hardware para suportar a realização de experimentos utilizando Realidade Mista. Por fim, apresentamos os resultados de experimentos realizados e dos produtos obtidos com a realização deste trabalhoTese Uma Aplicação de Redes Neurais Auto-Organizaveis à Reconstrução Tridimensional de Superfícies(Universidade Federal do Rio Grande do Norte, 2005-01-14) Brito Júnior, Agostinho de Medeiros; Dória Neto, Adrião Duarte; Melo, Jorge Dantas de; ; http://lattes.cnpq.br/7325007451912598; ; http://lattes.cnpq.br/1987295209521433; ; http://lattes.cnpq.br/0958617290020120É proposto um método em multi-resolução para reconstrução de superfícies a partir de nuvens de pontos, que representam a superfície de um objeto no espaço 3D. O método proposto utiliza um conjunto de operadores de malha e regras simples de refinamento seletivo da malha, com um estratégia baseada nos mapas auto-organizáveis de Kohonen. Basicamente, um esquema auto-adaptativo é utilizado para mover iterativamente os vértices de uma malha inicial simples em direção ao conjunto de pontos, localizados idealmente na fronteira do objeto. Sucessivos refinamentos da malha e movimentações dos seus vértices são aplicados, levando a superfícies cada vez mais detalhadas, num esquema iterativo em multi-resolução. Experimentos de reconstrução foram realizados com diversos conjuntos de pontos, de diferentes formas e tamanhos. Os resultados apresentam malhas geradas que são muito próximas das formas das superfícies implícitas nas amostras. São incluídas medidas de erro e de qualidade e discutida a robustez do algoritmo.Tese Um ambiente computacional para modelagem simbólica de sistemas físicos lineares(Universidade Federal do Rio Grande do Norte, 2005-01-28) Silva, Gilbert Azevedo da; Maitelli, André Laurindo; ; http://lattes.cnpq.br/0477027244297797; ; http://lattes.cnpq.br/8000184133806404; Oliveira, Roberto Célio Limão de; ; http://lattes.cnpq.br/4497607460894318; Netto, Eduardo Bráulio Wanderley; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4798543Y3; Aloise, Dario José; ; http://lattes.cnpq.br/7266011798625538; Oliveira, Luiz Affonso Henderson Guedes de; ; http://lattes.cnpq.br/7987212907837941Este trabalho propõe um ambiente computacional aplicado ao ensino de sistemas de controle, denominado de ModSym. O software implementa uma interface gráfica para a modelagem de sistemas físicos lineares e mostra, passo a passo, o processamento necessário à obtenção de modelos matemáticos para esses sistemas. Um sistema físico pode ser representado, no software, de três formas diferentes. O sistema pode ser representado por um diagrama gráfico a partir de elementos dos domínios elétrico, mecânico translacional, mecânico rotacional e hidráulico. Pode também ser representado a partir de grafos de ligação ou de diagramas de fluxo de sinal. Uma vez representado o sistema, o ModSym possibilita o cálculo de funções de transferência do sistema na forma simbólica, utilizando a regra de Mason. O software calcula também funções de transferência na forma numérica e funções de sensibilidade paramétrica. O trabalho propõe ainda um algoritmo para obter o diagrama de fluxo de sinal de um sistema físico baseado no seu grafo de ligação. Este algoritmo e a metodologia de análise de sistemas conhecida por Network Method permitiram a utilização da regra de Mason no cálculo de funções de transferência dos sistemas modelados no softwareTese Metodologia estatística na solução do problema do caixeiro viajante e na avaliação de algoritmos : um estudo aplicado à transgenética computacional(Universidade Federal do Rio Grande do Norte, 2005-03-03) Ramos, Iloneide Carlos de Oliveira; Goldbarg, Marco César; Dória Neto, Adrião Duarte; ; http://lattes.cnpq.br/1987295209521433; ; http://lattes.cnpq.br/1371199678541174; ; http://lattes.cnpq.br/0613948277011672; Luna, Henrique Pacca Loureiro; ; http://lattes.cnpq.br/4967240163248619; Gouvêa, Elizabeth Ferreira; ; http://lattes.cnpq.br/2888641121265608; Melo, Jorge Dantas de; ; http://lattes.cnpq.br/7325007451912598Os problemas de otimização combinatória têm envolvido um grande número de pesquisadores na busca por soluções aproximativas para aqueles, desde a aceitação de que eles são considerados insolúveis em tempo polinomial. Inicialmente, essas soluções eram focalizadas por meio de heurísticas. Atualmente, as metaheurísticas são mais utilizadas para essa tarefa, especialmente aquelas baseadas em algoritmos evolucionários. As duas principais contribuições deste trabalho são: a criação de uma heurística, denominada Operon, para a construção de cadeias de informações necessárias à implementação de algoritmos transgenéticos (evolucionários) utilizando, principalmente, a metodologia estatística - Análise de Agrupamentos e Análise de Componentes Principais -; e a utilização de análises estatísticas adequadas à avaliação da performance de algoritmos destinados à solução desses problemas. O Operon visa construir, de forma dinâmica e de boa qualidade, cadeias de informações a fim de promover uma busca -inteligente- no espaço de soluções. O Problema do Caixeiro Viajante (PCV) é focalizado para as aplicações que são realizadas com base num algoritmo transgenético, denominado ProtoG. Propõe-se, também, uma estratégia de renovação de parte da população de cromossomos indicada pela adoção de um limite mínimo no coeficiente de variação da função de adequação dos indivíduos, calculado com base na população. São propostas três análises estatísticas para avaliar a performance de algoritmos. A primeira é realizada através da Análise de Regressão Logística, com base na probabilidade de obtenção da solução ótima de uma instância do PCV pelo algoritmo em teste. A segunda é realizada através da Análise de Sobrevivência, com base numa probabilidade envolvendo o tempo de execução observado até que a solução ótima seja obtida. A terceira é realizada por meio da Análise de Variância não paramétrica, considerando o Erro Percentual da Solução (EPS) obtido pela percentagem em que a solução encontrada excede a melhor solução disponível na literatura. Utiliza-se essa metodologia para a avaliação da performance de quatro algoritmos, a saber: o ProtoG proposto, dois algoritmos meméticos e um algoritmo Simulated Annealing. Foram realizados seis experimentos, aplicados a sessenta e uma instâncias do PCV euclidiano, com tamanhos de até 1.655 cidades. Os dois primeiros experimentos tratam do ajuste de quatro parâmetros utilizados no algoritmo ProtoG, visando melhorar a performance do mesmo. Os quatro últimos são utilizados para avaliar a performance do ProtoG em comparação aos três algoritmos adotados. Para essas sessenta e uma instâncias, conclui-se, sob testes estatísticos, que há evidências de que o ProtoG é superior a esses três algoritmos em cinqüenta instâncias. Além disso, para as trinta e seis instâncias consideradas nos três últimos experimentos, nos quais a avaliação da performance dos algoritmos foi realizada com base no EPS, observou-se que o ProtoG obteve EPSs médios menores que 1% em quase metade das instâncias, tendo atingido a maior média para uma instância composta por 1.173 cidades, com EPS médio igual a 3,52%. Logo, o ProtoG pode ser considerado um algoritmo competitivo para solucionar o PCV, pois não é raro serem reportados, na literatura, EPSs médios maiores que 10% para instâncias desse porte.Tese Contribuições aos Processos de Clustering com Base em Métricas não-Euclidianas(Universidade Federal do Rio Grande do Norte, 2005-03-08) Martins, Allan de Medeiros; Dória Neto, Adrião Duarte; Melo, Jorge Dantas de; ; http://lattes.cnpq.br/7325007451912598; ; http://lattes.cnpq.br/1987295209521433; ; http://lattes.cnpq.br/4402694969508077; Aguiar Neto, Benedito Guimarães; ; http://lattes.cnpq.br/3405447548131544; Tanscheit, Ricardo; ; http://lattes.cnpq.br/8206214061481076; Mariz, Ananias Monteiro; ; http://lattes.cnpq.br/7218040405934056; Costa, José Alfredo Ferreira; ; http://lattes.cnpq.br/9745845064013172Neste trabalho apresentamos um novo método de clustering que agrupa pontos de um conjunto de dados em classes. O método baseia-se em um algoritmo para ligação de clusters auxiliares que são obtidos usando-se técnicas de quantização vetorial tradicionais. São descritas algumas abordagens durante o desenvolvimento do trabalho que baseiam-se em medidas de distância ou dissimilaridade (divergência) entre os clusters auxiliares. Este novo método utiliza apenas duas informações a priori, a saber: o número de centros auxiliares Na e uma distância de limiar dt que será utilizada para decidir sobre a ligação ou não dos clusters auxilares. O número de clusters pode ser automaticamente encontrado pelo método, que o faz com base na distância limiar dt escolhida. Analogamente, o número de classes, pode ser fornecido como informação adicional para auxiliar na escolha do limiar correto. Algumas análises são feitas e os resultados são comparados com outros métodos tradicionais de clustering. Neste trabalho são analisadas diferentes métricas de dissimilaridade e uma nova métrica baseada no conceito de negentropia é proposta. Além de agrupar pontos de um conjunto de classes, é proposto um método para o modelamento estatístico das classes de modo a se obter uma expressão para a probabilidade de um ponto pertencer a uma das classes. Experimentos com diversos valores de Na e dt são realizados em conjuntos de teste e os resultados são analisados de maneira a se estudar a robustez do método e propor heurísticas para a escolha do limiar correto. No trabalho são explorados os aspectos de teoria da informação aplicados ao cálculo das divergências. São exploradas em particular as diferenças medidas de informação e divergência utilizando a entropia de Rényi. Os resultados utilizando as diferentes métricas são comparados e comentados. O trabalho ainda conta com apêndices onde são expostas aplicações reais utilizando o método propostoTese Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)(Universidade Federal do Rio Grande do Norte, 2005-09-02) Araújo, Ricardo Wagner de; Medeiros, Adelardo Adelino Dantas de; ; http://lattes.cnpq.br/6787525856497063; ; http://lattes.cnpq.br/4189661112532670; Botelho, Sílvia Silva da Costa; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4723628Z9; Dórea, Carlos Eduardo Trabuco; ; http://lattes.cnpq.br/0143490577842914; Alsina, Pablo Javier; ; http://lattes.cnpq.br/3653597363789712; Oliveira, Luiz Affonso Henderson Guedes de; ; http://lattes.cnpq.br/7987212907837941Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmosTese Uso de técnicas de otimização baseadas em derivadas como suporte do planejamento operacional de redes de distribuição de energia elétrica(Universidade Federal do Rio Grande do Norte, 2005-10-21) Pimentel Filho, Max Chianca; Medeiros Júnior, Manoel Firmino de; Oliveira, José Tavares de; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4780328Y8; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781378J1; ; http://lattes.cnpq.br/0466613101201324; Almeida, Marcos Antonio Dias de; ; http://lattes.cnpq.br/5323110802158816; Souza, Benemar Alencar de; ; http://lattes.cnpq.br/4987294390789975; Bezerra, Ubiratan Holanda; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4787768D6Os programas desenvolvidos para o cálculo de fluxo de carga sempre foram amplamente utilizados objetivando simular sistemas de transmissão, subtransmissão e distribuição de energia elétrica. Entretanto, os métodos matemáticos aplicados para esse cálculo estruturavam-se, em sua maioria, tomando como base apenas as características dos sistemas de transmissão, os quais eram o principal foco de preocupação dos engenheiros e pesquisadores. Todavia, as características físicas desses sistemas são bastante diferentes da realidade dos de distribuição. Nos sistemas de transmissão, os níveis de tensão são altos e as linhas são geralmente muito longas. Esses fatores contribuem para que os efeitos capacitivos e indutivos que aparecem nos sistemas passem a ter uma influência considerável nos valores das grandezas de interesse, razão por que devem ser considerados. Ainda nos sistemas de transmissão, as cargas são de natureza macro, a exemplo de cidades, bairros, ou grandes indústrias ou consumidores. Tais cargas são, em geral, praticamente equilibradas, o que reduz a necessidade de utilização de metodologias trifásicas para o cálculo do fluxo. Os sistemas de distribuição, por sua vez, pressupõem outras implicações, apesar de os níveis de tensão serem pequenos em comparação aos de transmissão, o que praticamente anula o efeito capacitivo das linhas. Como as cargas passam a ser, neste caso, transformadores, em cujos secundários estão conectados pequenos consumidores, muitas vezes, monofásicos, a possibilidade de se encontrar um circuito desbalanceado é grande. Portanto, face a tal possibilidade, a utilização de metodologias trifásicas assume uma dimensão importante. Além disso, equipamentos como reguladores de tensão, para cujo funcionamento utilizam simultaneamente o conceito de tensão de fase e de linha, necessitam de uma metodologia trifásica, para que seu modelo permita simulação em tempo real. Pelas razões expostas, o trabalho apresenta um método de cálculo de fluxo de carga trifásico para sistemas de distribuição de energia. No intuito de realizar tal tarefa, foi utilizado como base o método Soma de Potências, já bastante testado e aprovado na simulação de sistemas radiais de distribuição de energia elétrica. As linhas são a três fios, considerando-se o acoplamento magnético entre as fases; já o efeito da terra foi considerado através da correção de Carson. É interessante ressaltar que, apesar de as cargas estarem normalmente conectadas nos secundários dos transformadores, foi considerada, além dessa possibilidade, a hipótese da existência de cargas em estrela ou delta no circuito primário. Já para a simulação de reguladores de tensão, foi utilizado um novo modelo que permite a simulação dos vários tipos de configurações, de acordo com o seu funcionamento real. Por fim, também foi considerada a possibilidade da representação com chaves de medição de corrente em diversos pontos do alimentador. As cargas são ajustadas, durante o processo iterativo, de maneira que a corrente em cada chave convirja para o valor especificado nos dados de entrada. Em uma segunda etapa, tomando como base o fluxo de carga descrito, o trabalho apresenta um método de cálculo para os parâmetros de sensibilidade, com o objetivo de serem aplicados em processos de otimização. Esses parâmetros são encontrados através do cálculo da derivada parcial de uma variável com relação a uma outra, determinando a taxa de variação entre elas. Após a descrição de cálculo dos parâmetros de sensibilidade, apresenta-se o método do gradiente, que usa esses parâmetros para determinar o ponto ótimo de uma função objetivo, que será definida para cada tipo de estudo. Neste trabalho são abordados dois tipos de problema. O primeiro refere-se à redução das perdas técnicas em um alimentador de média tensão, através da instalação de bancos de capacitores; o segundo trata do problema da correção do perfil de tensão, através da instalação de bancos de capacitores ou de reguladores de tensão. No caso da redução das perdas será considerada, como função objetivo, a soma das perdas em todos os trechos do sistema. Já para a correção do perfil de tensão, a função objetivo será a soma do quadrado dos desvios de tensão em cada nó, com relação à tensão requerida. No final do trabalho, os métodos descritos foram aplicados em alguns alimentadores com a finalidade de testar o seu desempenho e precisãoTese Uso de técnicas de otimização baseadas em derivadas como suporte do planejamento operacional de redes de distribuição de energia elétrica(Universidade Federal do Rio Grande do Norte, 2005-10-21) Pimentel Filho, Max Chianca; Medeiros Júnior, Manoel Firmino de; Oliveira, José Tavares de; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4780328Y8; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781378J1; ; http://lattes.cnpq.br/0466613101201324; Souza, Benemar Alencar de; ; http://lattes.cnpq.br/4987294390789975; Bezerra, Ubiratan Holanda; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4787768D6; Almeida, Marcos Antonio Dias de; ; http://lattes.cnpq.br/5323110802158816A utilização de cálculos de fluxo de carga para análise de sistemas de transmissão de energia elétrica é algo que vem sendo feito desde da década de 50. Portanto, sabendo-se as características físicas do sistema, como os tipos de cabos utilizados nas linhas e seu comprimento, transformadores utilizados, capacitores, geradores e as cargas do sistema, era possível calcular os valores das tensões, correntes, dos fluxos de potência e das perdas do mesmo. Contudo, naquela época, este tipo de cálculo apresentava algumas limitações como, em primeiro lugar, o método utilizado para resolver o sistema de equações não lineares, Gauss-Siedel, fundamental para realização do cálculo de fluxo de carga, era bastante lento. E em segundo, os computadores da época além de extremamente caros e raros eram grandes e lentos. No final da década de 60, Domell apresenta em seu trabalho uma proposta de resolução de fluxo de carga baseado no método Newton-Rhapson. A partir daí, o método apresentado por Domell passou a se uma referencia na resolução de cálculo de fluxo de carga. O método de Newton (como passou a ser chamado), além de apresentar uma excelente convergência para sistemas ditos mal comportados, é bastante rápido. Depois da apresentação do trabalho de Domell muitos outros trabalhos foram publicados baseados na sua formulação, tentando melhorar ainda as características do método. Pois, mesmo naquela época, os computadores ainda apresentavam duas limitações básicas, velocidade de processamento e a limitação de memória. Portanto, os métodos baseados no de Newton tentavam diminuir a quantidade de cálculos e o tamanho das matrizes utilizados no processo, tentado conservar a robustez do método original. Uma característica comum entre os métodos apresentados até o final dos anos 80, era que eles eram desenvolvidos baseados nas características dos sistemas de transmissão de energia elétrica. Ou seja, até então, a distribuição de energia era uma área em que os engenheiros não se preocupavam. E para realização de qualquer estudo para sistemas de distribuição era utilizava-se os métodos desenvolvidos para sistemas de transmissão. Porêm, nos anos 90, esta tendência começou a mudar, em Janeiro de 1990 Cespedes apresenta um método desenvolvido especialmente para sistemas radiais de distribuição de energia elétrica. O método apresentado por Cespedes explora a principal característica dos sistemas de distribuição, a sua formação radial e, além disso, o método não sugere na sua formulação que o sistema tenha alto valor da relação entre a indutância e a resistência das linhas, como no método de Newton. Com o passar dos anos, o aparecimento de novos tipos de cargas mais sensíveis a qualidade da energia, a regulamentação do fornecimento de energia com o aparecimento de novas leis, a competição entre as distribuidoras, a privatização do fornecimento e a necessidade de redução dos custos em geral, os engenheiros passaram a ter uma outra preocupação: a qualidade e custo do fornecimento. Ou seja, o problema da resolução de cálculos de fluxo de carga não seria mais o de tempo de processamento nem da quantidade de memória envolvida, os engenheiros estariam agora preocupados com a fidelidade da representação matemática dos elementos do sistema e o desenvolvimento de técnicas de otimização para a instalação e dimensionamento dos elementos dos sistemas. Nos primeiros fluxos de carga as representações dos elementos eram bastante elementares, fazendo-se muitas aproximações. Inicialmente, todo o sistema era reduzido a um equivalente monofásico, ou seja, as indutâncias mútuas das linhas eram desprezadas, as cargas eram consideradas perfeitamente equilibradas, teriam que ser necessariamente todas trifásicas e o efeito da ligação das bobinas entre o primário e o secundário dos transformadores não era considerado. Estes tipos de aproximações limitavam muito o poder de análise dos engenheiros, pois a representação matemática era bem diferente da realidade encontrada no sistema real, dificultando análises mais precisas. Com o passar dos anos e o aumento da necessidade foram aparecendo fluxos de carga trifásicos, com uma modelagem matemática mais fiel dos equipamentos, e com isso os resultados passaram a ser mais compatíveis com a realidade, possibilitando aos engenheiros análises mais precisas. O uso de técnicas de otimização associado a cálculos de fluxo de carga, permitiu que os resultados dos fluxos não somente apresentasse o estado do sistema, calculando-se unicamente os valores das variáveis de interesse, para um carregamento qualquer. Agora, com esta nova ferramenta, os engenheiros poderiam fazer estudos verificando a localização e dimensionamento ótimo de equipamentos no sistema. Domell, em um trabalho pioneiro, desenvolveu um método de cálculo defluxo de carga no qual eram calculados os reativos necessários que deveriam ser injetados em cada barra do sistema, de modo que as perdas do sistema fossem mínimas. Em resumo, cálculos de fluxo de carga ótimos permitem que, se escolhendo uma variável de controle e uma função objetivo, encontre-se um ponto onde o valor da função objetivo seja ótimo quando for calculado para o valor encontrado da variável de controle. A proposta desse trabalho é, inicialmente, desenvolver um fluxo de carga trifásico para sistemas radiais de distribuição, baseado no método de CESPEDES, cuja representação matemática dos elementos do sistema seja o mais fiel possível ao seu funcionamento real. Este fluxo de carga servirá como base para, em uma segunda etapa, a aplicação de técnicas de otimização visando o dimensionamento ótimo de elementos do sistema. Para que se possa utilizar técnicas de otimização, inicialmente, foram desenvolvidos métodos para se encontrar como o sistema se comporta, sobre algum aspecto, quando o valor de uma variável de controle é modificado, ou seja, calcular o valor da derivada de uma função com relação a uma variável específica. Em posse do cálculo dessas derivadas, serão aplicadas técnicas de otimização para se encontrar o ponto de ótimoTese Uso de renderização volumétrica e realidade virtual para problemas de percolação na engenharia(Universidade Federal do Rio Grande do Norte, 2005-11-28) Lima, Carlos Magno de; Gonçalves, Luiz Marcos Garcia; ; http://lattes.cnpq.br/1562357566810393; ; http://lattes.cnpq.br/2682764296612645; Farias, Ricardo Cordeiro de; ; http://lattes.cnpq.br/9063837162469343; Bezerra, Sílvio José; ; http://lattes.cnpq.br/5745162176288505; Brito Júnior, Agostinho de Medeiros; ; http://lattes.cnpq.br/0958617290020120No processo da recuperação do petróleo, a heterogeneidade das rochas exerce um impacto enorme na forma como os líquidos se movem no reservatório, definindo quanto petróleo pode ser recuperado. A fim de estudar esta variabilidade, a teoria da percolação, que descreve fenômenos envolvendo geometria e conectividade é um modelo muito útil. Os resultados da simulação de percolação são de caráter tridimensional e não têm nenhum significado físico até que sejam visualizados em imagens ou animações. Embora ferramentas poderosas e sofisticadas de visualização tenham sido desenvolvidas, estas transformam grandes volumes de dados em imagens 2D. A fim de interpretarmos os dados como eles aparecem no mundo real, técnicas de realidade virtual baseadas principalmente em estereoscopia podem ser usadas. Neste trabalho, propomos uma ferramenta interativa, denominada ZSweepVR, baseada em técnicas de realidade virtual, que permite uma melhor compreensão dos dados volumétricos gerados por simulações de percolação dinâmica. O sistema desenvolvido tem a capacidade de renderizar imagens utilizando duas técnicas diferentes: renderização de superfície e renderização de volumes. A renderização de superfície é realizada utilizando diretivas OpenGL, enquanto que a renderização volumétrica é realizada pelo algoritmo de renderização volumétrica direta ZSweep. No caso da renderização volumétrica, implementamos algoritmo para gerar imagens estéreo. Nós também propomos melhorias no algoritmo original de percolação dinâmica visando melhorar sua eficiência. Aplicamos as ferramentas desenvolvidas a dados de campos maduros, obtendo resultados satisfatórios. O uso de imagens estereoscópicas e volumétricas trouxe contribuições valiosas para a interpretação e analise da formação dos aglomerados na percolação, o que certamente pode levar a decisões melhores sobre a exploração e recuperação de petróleoTese Caracterização de estruturas planares com substratos Iso/Anisotrópicos truncados através da técnica da ressonância transversa modificada(Universidade Federal do Rio Grande do Norte, 2005-12-19) Carvalho, Joabson Nogueira de; D'assunção, Adaildo Gomes; Gomes Neto, Alfrêdo; ; http://lattes.cnpq.br/1403715441701958; ; ; http://lattes.cnpq.br/3511078820928127; Cavalcante, Gervásio Protásio dos Santos; ; http://lattes.cnpq.br/2265948982068382; Souza, Rui Fragassi; ; http://lattes.cnpq.br/5359107500377040; Silva, Sandro Gonçalves da; ; http://lattes.cnpq.br/6122570451445215; Albuquerque, Maria Rosa Medeiros Lins de; ; http://lattes.cnpq.br/4546157125717070Este trabalho apresenta os fundamentos teóricos da técnica da ressonância transversa (TRT) e da técnica da ressonância transversa modificada (MTRT) aplicada na análise das características dispersivas de uma microfita considerando substratos dielétricos isotrópicos e anisotrópicos truncados. A TRT utiliza o modelo da linha de transmissão na seção transversal da estrutura, permitindo analisar o seu comportamento dispersivo. A diferença entre a TRT e MTRT consiste basicamente na direção da ressonância. Enquanto na TRT a ressonância é calculada ao longo do eixo normal à fita metálica, a MTRT considera a ressonância no plano paralelo à fita metálica. Embora a aplicação da MTRT resulte num circuito equivalente mais complexo, sua utilização permite a caracterização mais precisa, incluindo modo elétrico de seção longitudinal (LSE) e modo magnético de seção longitudinal (LSM), microfitas com substrato truncado, ou estruturas planares com multiplas regiões dielétricas. Um programa computacional utilizando a TRT e MTRT é discutido e desenvolvido para caracterização de microfitas sobre substratos isotrópicos e anisotrópicos truncados. Na análise, consideram-se modos propagantes e evanescentes. Assim, é possível caracterizar não somente o modo fundamental, mas também os modos de ordem superior da estrutura. São apresentados resultados numéricos para as diversas grandezas, ou seja, permissividade efetiva, impedância característica e velocidade de fase relativa para microfita com diferentes parâmetros e dimensões do substrato. São feitas comparações com outros resultados disponíveis na literatura e, também, com resultados determinados experimentalmente. Em alguns casos, os resultados são comparados como casos particulares de materiais isotrópicos ou de estruturas com dielétricos de tamanho infinito encontradas na literatura, tendo sido observada uma excelente concordância. Apresenta-se, ainda, um estudo de convergência da formulação proposta e, finalmente, conclusões e sugestões para continuidade do trabalhoTese Análise dos Modos Ressonantes em Antenas de Microfita sobre Substratos Iso/Anisotrópicos por Técnicas da Ressonância Transversa(Universidade Federal do Rio Grande do Norte, 2005-12-20) Silva, Jefferson Costa e; D'assunção, Adaildo Gomes; Gomes Neto, Alfrêdo; ; http://lattes.cnpq.br/1403715441701958; ; ; http://lattes.cnpq.br/7399512856151138; Cavalcante, Gervásio Protásio dos Santos; ; http://lattes.cnpq.br/2265948982068382; Souza, Rui Fragassi; ; http://lattes.cnpq.br/5359107500377040; Campos, Antônio Luiz Pereira de Siqueira; ; http://lattes.cnpq.br/1982228057731254Neste trabalho, são utilizadas a Técnica da Ressonância Transversa (TRT) e a Técnica da Ressonância Transversa Modificada (MTRT), para a determinação das freqüências dos modos ressonantes de antenas de microfita com patch quadrado, retangular e circular e com substratos isotrópicos e anisotrópicos. Para isso, é proposto um modelo da cavidade equivalente, onde a antena tipo patch retangular é representada como sendo a superposição de duas linhas infinitas em microfita, uma de largura W, representando a dimensão que expressa a largura do patch, e a outra com largura L, representando a dimensão que expressa o comprimento do patch. A avaliação da eficiência e aplicabilidade dos métodos citados é realizada comparando-se com resultados experimentais e obtidos através de outras técnicas. Três situações serão verificadas: estruturas com substrato infinito, estrutura com substrato tipo pedestal e estruturas com substrato truncado além dos limites da fita metálica. Os resultados obtidos demonstram que as técnicas de análise de onda completa utilizadas neste trabalho, por um formalismo matemático mais rigoroso, são eficientes e precisas tanto na aplicação em estruturas com substrato isotrópico como nas que possuem substrato anisotrópico. Inicialmente são consideradas apenas as estruturas com substratos isotrópicos, com diferentes constantes dielétricas, e é avaliada a influência da largura do substrato sobre as freqüências dos modos ressonantes das antenas. Posteriormente, a análise do truncamento do dielétrico é realizada para estruturas com substrato anisotrópico. Em todos os casos, os resultados experimentais, obtidos a partir da construção de protótipos, são confrontados com os obtidos a partir de simulação, utilizando as técnicas TRT e MTRT. No final, as técnicas descritas são utilizadas para antenas tipo patch circular, sendo utilizada uma técnica de equivalência para transformar a antena circular em outra quadrada ou retangular equivalente, dependendo do modo que se queira encontrar. Os resultados obtidos são então analisados, observando-se uma boa concordância e indicando a viabilidade do método. Após isso, são apresentadas as conclusões e sugeridos alguns temas para a continuidade deste trabalhoTese Uma arquitetura P2P baseada na hierarquia do endereçamento IP com roteamento unificado(Universidade Federal do Rio Grande do Norte, 2006-02-20) Pinheiro, Marcos Cesar Madruga Alves; Batista, Thais Vasconcelos; Oliveira, Luiz Affonso Henderson Guedes de; ; http://lattes.cnpq.br/7987212907837941; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4784543T8; ; http://lattes.cnpq.br/1682925222063297; Brasileiro, Francisco Vilar; ; http://lattes.cnpq.br/5957855817378897; Silva, Ivan Saraiva; ; http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4780113E2Entre as diversas abordagens para se aproveitar os recursos computacionais ociosos existentes nas folhas da Internet, ou seja, nas máquinas dos usuários, as redes peer-to-peer (P2P) vêm ganhando destaque especial nos últimos anos devido principalmente à sua escalabilidade, desempenho e tolerância à falhas. As arquiteturas P2P atuais, entretanto, ainda apresentam alguns problemas como a sobrecarga nos nós devido à realização do roteamento de mensagens, o número elevado de nós reconfigurados devido à mudanças de topologia da rede, a existência de tráfego de roteamento dentro das redes das organizações que não é destinado a nenhuma de suas máquinas e à ausência de relação entre a proximidade dos nós na rede P2P e a proximidade desses nós na rede IP. Embora algumas arquiteturas considerem essas distâncias na rede IP, o fazem através de métodos que requerem a troca de informações constantemente. Nesse trabalho nós propomos uma arquitetura P2P para resolver os problemas citados. Essa arquitetura é composta por três partes. A primeira parte consiste em uma arquitetura P2P básica, chamada SGrid, que mantém a relação dos nós na rede P2P com suas posições na rede IP e atribui regiões de chaves adjacentes para nós de uma mesma organização. A segunda parte consiste em um protocolo chamado NATal (Routing and NAT application layer) que estende a arquitetura básica para retirar dos nós a função de roteamento de mensagens. A terceira parte consiste de um tipo especial de nó, chamado LSP (Lightware Super-Peer), que é o responsável pela manutenção das tabelas de roteamento P2P. Além da descrição da arquitetura proposta e da especificação dos protocolos SGrid e NATal, esse trabalho apresenta o simulador desenvolvido para validar a arquitetura e um módulo para ser utilizado em roteadores Linux que implementa o protocolo NatalTese Desenvolvimento e avaliação de controladores preditivos baseados em modelos biliares(Universidade Federal do Rio Grande do Norte, 2006-05-19) Fontes, Adhemar de Barros; Maitelli, André Laurindo; Salazar, Andrés Ortiz; ; http://lattes.cnpq.br/7865065553087432; ; http://lattes.cnpq.br/0477027244297797; ; http://lattes.cnpq.br/9900321851030867; Dórea, Carlos Eduardo Trabuco; ; http://lattes.cnpq.br/0143490577842914; Rêgo, José Ivonildo do; ; http://lattes.cnpq.br/8764140247078923O presente trabalho trata do desenvolvimento e avaliação de controladores preditivos baseados em modelos bilineares. Como caso particular da técnica de controle preditivo baseado em sistemas não lineares, estes têm despertado grande interesse, uma vez que apresentam a vantagem de ser mais simples que o não linear em geral e mais representativo que o linear. A obtenção de uma lei de controle explícita, que minimize um critério quadrático sujeito a um modelo bilinear, é um problema de otimização não-linear, e uma solução analítica para o problema não pode ser obtida. Em essência, existem dois métodos representativos adotados na solução de controle preditivo não linear. Um dos métodos, aqui adotado, utiliza o modelo "quasilinear por degrau de tempo" no desenvolvimento do controlador preditivo baseado no Controlador Preditivo Generalizado. A principal contribuição apresentada nesta tese é o desenvolvimento de uma nova abordagem para o controlador preditivo generalizado, baseado em sistemas bilineares, utilizando o modelo quasilinear por degrau de tempo compensado mono e multivariável. Nesta nova abordagem, um termo de compensação é adicionado ao modelo quasilinear por degrau de tempo objetivando diminuir o erro de predição e conseqüentemente melhorar o desempenho do controladorTese Mapeamento de ambientes estruturados com extração de informações geométricas através de dados sensoriais(Universidade Federal do Rio Grande do Norte, 2006-05-19) Pedrosa, Diogo Pinheiro Fernandes; Medeiros, Adelardo Adelino Dantas de; Alsina, Pablo Javier; http://lattes.cnpq.br/3653597363789712; http://lattes.cnpq.br/6787525856497063; http://lattes.cnpq.br/3276436982330644Esta tese tem o objetivo de propor uma metodologia para construção de um mapa híbrido de um ambiente interno. A parte topológica da representação trata das relações de conectividade existentes entre as salas e corredores, sendo assim um grafo que representa a topologia do ambiente global. A parte métrica consiste em armazenar um conjunto de parâmetros que descreve uma figura geométrica plana que melhor se ajusta ao espaço livre local. Esta figura é calculada através do conhecimento de pontos, ou amostras, dos limites do espaço livre. Estes pontos são obtidos com sensores de distância e a informação é complementada com a estimativa da pose do robô. Uma vez que estes pontos estão determinados, o robô então aplica uma ferramenta baseada na transformada generalizada de Hough para obter a figura em questão. O processo de construção do mapa é incremental e totalmente realizado enquanto o robô explora o ambiente. Cada sala é representada por este mapa local e cada nó do grafo que representa a topologia do ambiente está associado a este mapa. Durante o mapeamento o robô pode utilizar as informações recém-adquiridas do ambiente para obter uma melhor estimativa de sua pose global ou relativa a uma sala ou corredorTese Modelagem e medições de ondas de rádio para predição de perda de propagação em ambientes urbanos(Universidade Federal do Rio Grande do Norte, 2006-06-12) Martins, Ronaldo de Andrade; Mendonça, Laércio Martins de; D'assunção, Adaildo Gomes; ; ; http://lattes.cnpq.br/1853488415531363; ; http://lattes.cnpq.br/0978273656336966; Cavalcante, Gervásio Protásio dos Santos; ; http://lattes.cnpq.br/2265948982068382; Gomes Neto, Alfrêdo; ; http://lattes.cnpq.br/1403715441701958; Campos, Antônio Luiz Pereira de Siqueira; ; http://lattes.cnpq.br/1982228057731254Nesta tese novos modelos de predição de perda de percurso de propagação são propostos a partir de técnicas de otimizações recentes e de medições de níveis de potências obtidas para as áreas urbana e suburbana de Natal, cidade do Nordeste Brasileiro. Estes novos modelos são: (i) um modelo estatístico que foi implementado baseado na adição de estatísticas de 2a. ordem para a potência e a altimetria do relevo ao modelo de perdas lineares; (ii) um modelo com redes neurais artificiais que usou o treinamento do algoritmo backpropagation, a fim de obter a equação de perdas de propagação; (iii) um modelo baseado na técnica dos trajetos aleatórios, que considera a aleatoriedade da absorção e do caos do meio ambiente e que seus parâmetros desconhecidos para a equação de perdas de propagação são determinados através de uma rede neural. A digitalização do relevo das áreas urbanas e suburbanas de Natal foi realizada através do desenvolvimento de programas computacionais específicos e foram usados os mapas existentes no Instituto Brasileiro de Geografia e Estatística. As validações dos modelos propostos de predição de perda de propagação foram realizadas através de comparações com medidas e modelos clássicos de propagação, obtendo-se boas concordâncias numéricas. Estes novos modelos poderão ser aplicados a qualquer cenário urbano e suburbano com características arquitetônicas semelhantes à cidade de NatalTese Especificação de uma rede MPLS fim-a-fim com diferenciação de serviços(Universidade Federal do Rio Grande do Norte, 2006-08-02) Silva Neto, Edson Moreira; Fialho, Sérgio Vianna; ; http://lattes.cnpq.br/8215124502137579; ; http://lattes.cnpq.br/7036261141459193; Andrade, Rossana Maria de Castro; ; http://lattes.cnpq.br/9576713124661835; Bezerra, João Batista; ; http://lattes.cnpq.br/5189479609940481; Gonçalves, Luiz Marcos Garcia; ; http://lattes.cnpq.br/1562357566810393O protocolo proposto nesta Tese, denominado Resource Reservation Protocol Switched Virtual Connection (RSVP-SVC), que consiste numa extensão do RSVP-TE, vai de encontro ao surgimento de novas aplicações multimídia, que usam a Internet como meio de interconexão. Tais aplicações pressionam pelo desenvolvimento de novas tecnologias, tais como: MPLS, DiffServ e RSVP-TE, que introduzem novas e eficientes características ao backbone Internet, proporcionando uma significativa diferença no que tange à provisão de QoS (Quality of Service). O presente trabalho leva em conta o fato de que para se conseguir uma QoS fim-a-fim verdadeira, não basta implementar tais tecnologias no núcleo da rede, é imprescindível, estender tais melhorias às redes de acesso e quiçá às redes locais. Nesse sentido, muitos trabalhos estão atualmente em desenvolvimento. É no intuito de contribuir com este processo que este trabalho apresenta a definição de uma UNI MPLS SVC através do RSVP-SVC. Essa extensão dá ao RSVP-TE a capacidade de estabelecer túneis LSP (Label Switched Path) a partir de conexões discadas, ampliando portanto o escopo de utilização do MPLS, levando-o até às redes locais através das redes de acesso, e provendo também suporte a uma QoS fim-a-fim verdadeira. O RSVP-SVC foi especificado em Estelle, que é uma linguagem de especificação formal padronizada pela ISO. A edição, compilação, verificação e simulação do RSVP-SVC foi feita através do programa EDT (Estelle Development Toolset). Ademais, tanto os benefícios quanto às questões mais importantes a serem consideradas quando do uso deste protocolo são apresentadosTese Modelagem de máquina de indução trifásica sem mancais com bobinado dividido(Universidade Federal do Rio Grande do Norte, 2006-11-10) Ferreira, Jossana Maria de Souza; Salazar, Andrés Ortiz; ; http://lattes.cnpq.br/7865065553087432; ; http://lattes.cnpq.br/7691693293898376; Maitelli, André Laurindo; ; http://lattes.cnpq.br/0477027244297797; Ribeiro, Ricardo Lúcio de Araújo; ; http://lattes.cnpq.br/6628177274865696; Jacobina, Cursino Brandão; ; http://lattes.cnpq.br/0261885352003041Este trabalho apresenta um modelo para a máquina de indução sem mancais com bobinado dividido. O principal objetivo consiste na obtenção do modelo da máquina para que possam ser implementados controladores mais eficientes. Para se alcançar tal modelo, fez-se uso dos mesmos artifícios utilizados para as máquinas convencionais adotados na literatura, o que possibilitou um manuseio simplificado das variáveis envolvidas. A máquina estudada é uma adaptação de uma máquina de indução convencional, o que foi possível dividindo-se os enrolamentos do estator e tornando acessíveis todos os seus terminais. Essa técnica dispensa o acréscimo de um outro enrolamento ao estator para a realização do controle de posição radial, o que resulta em uma máquina mais compacta. Uma outra característica dessa máquina é a variação da matriz de indutâncias em função do deslocamento radial do rotor, a variação do entreferro produz variações no fluxo e conseqüentemente nos valores de indutâncias tanto próprias quanto mútuas. O modelo da máquina convencional pode ser utilizado para a máquina sem mancais quando o rotor estiver fixo no centro, porém em situações de deslocamento radial esse modelo falha e não pode será plicado. A máquina em questão possui dois conjuntos motor+mancal, ambos de quatro pólos, e foi projetada com seu rotor na posição horizontal, o que incluiu algumas dificuldades à implementação. O rotor utilizado possui características peculiares, o qual é projetado de acordo com as exigências da máquina, a fim de render o maior torque e força possíveis. É importante observar que o desbalanceamento de correntes, gerado pelo controle de posição radial, não modifica os parâmetros da máquina, isso apenas ocorre devido ao deslocamento radial do rotor. Os resultados apresentados viabilizaram a validação do trabalho, os dados obtidos através de um sistema supervisório condizem com os previstos em simulação, o que atesta a veracidade do modeloTese EIT: Escalonador Inteligente de Transações(Universidade Federal do Rio Grande do Norte, 2007-07-09) Holanda, Maristela Terto de; Fialho, Sérgio Vianna; http://lattes.cnpq.br/8215124502137579; http://lattes.cnpq.br/5724567591998546; Melo, Jorge Dantas de; http://lattes.cnpq.br/7325007451912598Para garantir a consistência do banco de dados, um sistema de banco de dados deve sincronizar as operações das transações concorrentes executadas sobre esse banco. O componente do sistema de banco de dados responsável por tal sincronização é o escalonador. O escalonador sincroniza operações de diferentes transações através dos protocolos de controle de concorrência. Os protocolos de controle de concorrência podem apresentar diferentes comportamentos: em geral, esse comportamento do escalonador pode ser classificado como agressivo ou conservador. Esta tese apresenta o Escalonador Inteligente de Transações (EIT), o qual tem a habilidade de sincronizar a execução das transações concorrentes de maneira adaptativa. Este escalonador adapta seu comportamento (agressivo ou conservador) de acordo com as características do ambiente computacional onde está inserido, usando um sistema especialista baseado em lógica fuzzy. O EIT foi desenvolvido para trabalhar com protocolos baseados nos critérios de corretude de serializabilidade convencional e serializabilidade semântica. Para avaliar o desempenho do EIT em relação aos escalonadores com comportamento exclusivamente conservador ou agressivo, ele foi usado em um ambiente dinâmico, uma Comunidade de Banco de Dados Móveis (MDBC Mobile Database Community). Foi implementado um simulador de MDBC e um conjunto de testes foi executado. Os resultados obtidos provaram a eficiência do EIT, um escalonador inteligente, quando utilizado em um ambiente dinâmico de banco de dados