RCAAP Repository

O presente trabalho reúne elementos para a análise dos principais problemas e dificuldades inerentes à implementação de um dispositivo para a aferição de velocímetros de veículos automotores, de forma a atender a legislação prevista no código nacional de Trânsito, determinada pela Portaria n.º 115 de 1998, que define erros máximos permitidos para velocímetros de ± 5km/h para velocidades de até 100km/h e de ± 5% para velocidades acima de 100km/h. Inicialmente são apresentados e comparados os principais métodos de medição de velocidade abordados na literatura. A partir desta análise, é implementado um método inovador decorrente do efeito de escorrimento ou blur, onde, através do estudo das características e regularidades contidas em uma única imagem borrada, será determinada a velocidade da superfície em análise. A partir de uma bancada que simula o solo em movimento e, utilizando-se uma câmera CCD (Charge Coupled Device) e um frame grabber, fez-se a aquisição de imagens da superfície asfáltica em movimento. A informação de velocidade pôde então ser determinada, através da análise das regularidades contidas na imagem dinâmica devido ao efeito de escorrimento ou efeito blur. Obteve-se resultados suficientes para a aferição de velocímetros, com erros máximos abaixo de 5%. A técnica desenvolvida e avaliada na prática através de uma bancada que simula o asfalto em movimento, demonstrou uma precisão de 0,8% numa faixa de velocidades de 0 a 20km/h , de 1,5% numa faixa de velocidades de 20 a 60km/h e de 2,5% numa faixa de velocidades de 60km/h a 80km/h. Finalmente foram investigados os fatores preponderantes que limitaram os erros nesta ordem de grandeza.

Este trabalho trata do estudo e aplicação da técnica de abertura focal sintética (SAFT) na geração de imagens por ultra-som em modo-B com transdutores matriciais lineares, para aplicação em ensaios não destrutivos. Sinais em modo-A são adquiridos e armazenados correspondentes ao meio inspecionado. Implementaram-se duas estratégias de processamento baseadas no método SAFT. A primeira consiste em um elemento central do array emitindo e todos recebendo, resultando em imagens com uma baixa energia acústica envolvida. A outra estratégia considera cada um dos elementos do array emissores e receptores gerando imagens de melhor qualidade, mas requer um maior tempo de processamento. Aplicaram-se técnicas de processamento digital de sinais como: filtragem, extração da envoltória, retificação, compressão logarítmica, interpolação e janelas de ponderação. Arquivos de dados foram gerados com um array de 128 elementos pelos pesquisadores da Universidade de Michigan e disponibilizados no site. Esses foram utilizados para a elaboração e otimização dos algoritmos no MatlabR. As imagens obtidas foram analisadas com relação a alguns parâmetros como a resolução axial e lateral, o contraste e o tempo de processamento. Foi confeccionado, no Laboratório de Ultra-Som da Escola Politécnica da Universidade de São Paulo, transdutor array de 16 elementos. Realizaram-se experimentos, adquirindo-se sinais que foram processados, gerando imagens referentes ao meio inspecionado.

O cenário competitivo e globalizado em que as empresas estão inseridas, sobretudo a partir do século XXI, associados a ciclos de vida cada vez menores dos produtos, rigorosos requisitos de qualidade, além de políticas de preservação do meio ambiente, com redução de consumo energético e de recursos hídricos, somadas às exigências legais de melhores condições de trabalho, resultaram em uma quebra de paradigma nos processos produtivos até então concebidos. Como solução a este novo cenário produtivo pode-se citar o extenso uso da automação industrial, fato que resultou em sistemas cada vez mais complexos, tanto do ponto de vista estrutural, em função do elevado número de componentes, quanto da complexidade dos sistemas de controle. A previsibilidade de todos os estados possíveis do sistema torna-se praticamente impossível. Dentre os estados possíveis pode-se citar os estados de falha que, dependendo da severidade do efeito associado à sua ocorrência, podem resultar em sérios danos para o homem, o meio ambiente e às próprias instalações, caso não sejam corretamente diagnosticados e tratados. Fatos recentes de catástrofes relacionadas à sistemas produtivos revelam a necessidade de se implementar medidas para prevenir e para mitigar os efeitos da ocorrência de falhas, com o objetivo de se evitar a ocorrência de catástrofes. De acordo com especialistas, os Sistemas Instrumentados de Segurança SIS, referenciados em normas como a IEC 61508 e IEC 61511, são uma solução para este tipo de problema. Trabalhos publicados tratam de métodos para a implementação de camadas SIS de prevenção, porém com escassez de trabalhos para camadas SIS de mitigação. Em função do desconhecimento da dinâmica do sistema em estado de falha, técnicas tradicionais de modelagem tornam-se inviáveis. Neste caso, o uso de inteligência artificial, como por exemplo a lógica fuzzy, pode se tornar uma solução para o desenvolvimento do algoritmo de controle, associadas a ferramentas de edição, modelagem e geração dos códigos de controle. A proposta deste trabalho é apresentar uma sistemática para a implementação de um sistema de controle para a mitigação de falhas críticas em sistemas produtivos, com referência às normas IEC 61508/61511, com ação antecipativa à ocorrência de catástrofes.

O estudo do movimento pulmonar é assunto de grande interesse na área médica. A observação direta do mesmo é inviável, uma vez que o pulmão colapsa quando a caixa torácica é aberta. Dentre os meios de observação indireta, escolheu-se o imageamento por ressonância magnética em respiração livre e sem uso de nenhum gás para melhorar o contraste ou qualquer informação de sincronismo. Esta escolha propõe diversos desafios, como: a superar a alta variação na qualidade das imagens, que é baixa, em geral, e a suscetibilidade a artefatos, entre outras limitações a serem superadas. Imagens de Tomografia Computadorizada apresentam melhor qualidade e menor tempo de aquisição, mas expõem o paciente a níveis consideráveis de radiação ionizante. É apresentada uma metodologia para segmentação do pulmão, produzindo um conjunto de pontos coordenados. Isto é feito através do processamento temporal da sequência de imagens de RM. Este processamento consiste nas seguintes etapas: geração de imagens temporais (2DSTI), transformada de Hough modificada, algoritmo de contornos ativos e geração de silhueta. A partir de um dado ponto, denominado centro de rotação, são geradas diversas imagens temporais com orientações variadas. É proposta uma formulação modificada da transformada de Hough para determinar curvas parametrizadas que sejam síncronas ao movimento diafragmático, chamados movimentos respiratórios. Também são utilizadas máscaras para delimitar o domínio de aplicação da transformada de Hough. São obtidos movimentos respiratórios que são suavizados pelo algoritmo de contornos ativos e, assim, permitem a geração de contornos para cada quadro pertencente a sequência e, portanto, de uma silhueta do pulmão para cada sequência.

A manipulação de materiais é uma das tarefas em que comumente empregam-se robôs para substituir o trabalho humano, dadas algumas vantagens como: maior precisão na manipulação de cargas e maior velocidade de execução da tarefa, bem como por aumentar a segurança do operador. Apesar dessas vantagens, os dispositivos robóticos são largamente empregados apenas em situações em que velocidade e precisão são indispensáveis, em outros casos, os equipamentos convencionais (como talhas, gruas e macacos hidráulicos) e os dispositivos específicos (aqueles fazem uso de molas e contrapesos), vêm sendo utilizados nas tarefas cotidianas, principalmente pelo fato de, entre outros, serem menos dispendiosos. Comparando-se estas duas soluções disponíveis, tem-se que os equipamentos tradicionais, apesar de sua simplicidade e versatilidade de movimentação, apresentam limitações quando são exigidas precisão e eficiência, enquanto os dispositivos robóticos apresentam alta complexidade tanto no projeto quanto na operação, representando uma solução cara e com movimentação restrita pela programação. Neste contexto, o presente trabalho tem por objetivo estudar e propor uma solução intermediária entre a solução convencional e a robótica. O foco do estudo é o projeto de um dispositivo simplificado, que faz uso de molas e de um sistema de alavanca para manipular cargas. Um estudo preliminar desse mecanismo mostrou imperfeições quanto à força de contrabalanceamento. Com o intuito de corrigir esse erro foi usado um sistema de controle, que é constituído por um motor elétrico, um mecanismo de correção, sensores e um módulo controlador. O dispositivo proposto apresenta um controle simplificado, vez que a movimentação é feita exclusivamente pelo operador, possibilitando assim que o dispositivo apresente um baixo consumo de energia. Um protótipo é desenvolvido e os testes demonstraram a eficácia da solução.

Materiais piezelétricos geram deslocamentos ao serem excitados com potencial elétrico, bem como potencial elétrico ao serem submetidos a força ou pressão. Eles são amplamente utilizados em aplicações relacionadas principalmente com a área de Mecânica de Precisão, Mecatrônica e aquisição de imagens por Ultra-Som. Por outro lado, os Materiais com Gradação Funcional (MGF) são materiais avançados compostos, os quais são projetados de forma que sua composição varie gradualmente numa direção espacial. Esses materiais combinam as vantagens de certas características de cada fase constitutiva; por exemplo, alta resistência à temperatura dos materiais cerâmicos com alta resistência mecânica dos metais. Vários trabalhos têm mostrado as vantagens de aplicar o conceito MGF ao projeto de transdutores piezelétricos. Entre essas vantagens podem-se mencionar: (i) atuadores flextensionais ou bilaminares sem interface entre materiais (ex: PZT e Alumínio); (ii) suavização da distribuição de tensões mecânicas; e (iii) aumento da largura de banda e redução das ondas refletidas em transdutores de ultra-som, principalmente. No entanto, na mesma literatura se observa uma carência de métodos computacionais para a sua modelagem e o seu projeto otimizado e sistemático. Baseado nessas idéias, esta tese propõe a formulação e desenvolvimento de modelos analíticos, algoritmos de elementos finitos, e algoritmos de otimização topológica para projetar Transdutores Piezelétricos com Gradação Funcional (TPGF) inovadores. Adicionalmente, amostras de TPGFs são fabricadas mediante Spark Plasma Sintering SPS, sendo estudado o seu comportamento dinâmico e as suas características micro-estruturais. Assim, através de modelagem, análise, simulação, projeto otimizado, fabricação e caracterização explora-se a potencialidade do conceito de MGF em TPGFs; em particular, evidenciam-se as melhoras que os TPGF podem trazer em aplicações de ensaios não-destrutivos e aquisição de imagens médicas por ultra-som, e no aumento da vida útil de transdutores piezelétricos flextensionais.

The Dynamic Positioning (DP) systems currently available employ a feedback controller based on the position and heading error, associated with a wind feed-forward control action to keep the vessel position. This last technology improves the eficiency of the DP by anticipating wind loads. However, there is no consolidated technology to feed the controller with wave loads information and the major issue is related to the wave measurement process. The present thesis aims at filling this technological gap by proposing an alternative approach for the measuring of waves near the vessel. Image-based measurement methods are noninvasive and can produce a spatial and temporal description of the surface, making them suitable for recovering the geometry of liquid surfaces. Nevertheless, these surface reconstruction methods, particularly those applying stereoscopic approaches, have dificulty in measuring waves produced in laboratory facilities, mainly because, in such conditions, the water surface is smooth, translucent and highly specular. Alternatively, intensity based image methods are capable of dealing with these surface characteristics, if employed under controlled conditions and if a suitable reflectance model is selected. In the present study, a well-known reflectance model is applied to recover the parameters of regular waves produced in an offshore basin. Firstly, an experimental setup is proposed, designed to grant appropriate conditions for the application of the reflectance model, even under conventional laboratory illumination. Later, the second set of experiments with a model scale DP vessel are presented, which applied the image-based method developed before as a wave feed-forward system. Three control methods are evaluated, namely: PID, PD (Proportional-Derivative) and the PD with the wave feed-forward. Results demonstrated that the presence of the wave feed-forward reduced the steady error of the PD controller. These are the first steps towards the practical use of the wave feed-forward, and several aspects remain pending. However, the promising results and discussions regarding the future steps define the contribution of this work.

A capacidade de reconfiguração de sistemas de manufatura tem sido procurada pelas empresas para assegurar características de agilidade, eficiência e exibilidade para atender as mudanças de tipo/quantidade de produtos, processos, recursos e, além disso, para assegurar a devida reação à ocorrência de falhas. Por outro lado, a Indústria 4.0\" impõe novos desafios para os sistemas de controle, tais como a integração de tecnologias de interação entre homem e máquina em cadeias de valor compondo uma rede de plantas industriais geograficamente dispersas. O controle de sistemas reconfiguráveis de manufatura deve considerar: (i) funcionalidades de sistemas distribuídos e dispersos, tais como agilidade de resposta às mudanças, autonomia e colaboração entre os componentes para alcançar os objetivos do sistema de forma conjunta; (ii) interfaces para sua interoperabilidade e portabilidade; (iii) modularização para facilitar a manutenção, expansão e atualização do sistema, evitando a sobreposição de escopos; e (iv) mecanismos de controle para supervisionar as ações e interações dos componentes, o diagnóstico e a tomada de decisão. O pleno atendimento a estes requisitos não é trivial e formalismos para o desenvolvimento de soluções devem ser adotados. Uma solução é combinar técnicas voltadas para sistema multiagente e holon com arquitetura orientada a serviço através de uma adequada técnica de modelagem usando extensões de rede de Petri: Production Flow Schema e Input Output Place Transition. Portanto, este trabalho prop~oe uma arquitetura de controle e o método de modelagem de seus componentes para sistemas reconfiguráveis de manufatura combinando estas técnicas e considerando os aspectos de personalização, convertibilidade, escalabilidade, modularidade, integrabilidade, diagnosticabilidade, interoperabilidade e colaboração entre os componentes do sistema de controle, inclusive do homem. Um exemplo de aplicação é apresentado para demonstrar a viabilidade da proposta e comprovar os resultados alcançados.

Computer simulations have become a great tool to assist the medical field. The present work is a study of a non-invasive patient-specific methodology to evaluate the hemodynamic importance of coronary stenosis using computer simulations. The severity of the lesion is evaluated by the Fractional Flow Reserve, calculated by the pressure gradient before and after the lesion. The geometry models are obtained from medical images of Computed Tomography Angiography exams, and the simulations considers the pulsatile flow and the blood as a non-Newtonian fluid. The governing equations of the blood flow are solved by using Finite Element Method applied to the numerical method called Incremental Pressure Correction Scheme, and with the aid of the libraries from the open-source software FEniCS. Computer simulations of three different patients are performed and the results are compared with the invasive FFR measurements. The methodology proposed shows to be feasible in the study and analysis of stenosed coronaries.

O desenvolvimento de sistemas de controle em plataformas de tempo real é uma tarefa que envolve Engenharia de Controle e Ciência da Computação. Nas últimas décadas, estas áreas se desenvolveram como áreas independentes. Este trabalho busca diminuir distância entre as áreas propondo a utilização de métodos de Engenharia de Software em uma fase de modelagem do software de controle. Uma das propostas apresentadas no trabalho é a utilização de frameworks orientados a objetos no processo de Rapid Control Prototyping (RCP) para substituir a geração automática de código, eliminar os problemas de integração com código legado e tornar o processo RCP mais interativo. Outra proposta é a utilização de plataformas para RCP composta por uma camada de hardware real, uma camada SOTR e uma camada de aplicação formada pelo framework para análise e desenvolvimento de sistemas de controle centralizado ou distribuído.

The dynamics of an underwater vehicle is intrinsically nonlinear. Hence, when it is desirable to reproduce various types of maneuvers of an underwater vehicle, such as straight line, zigzag and turning in circles; a nonlinear mathematical model is required. Usually, for vehicles such as an autonomous underwater vehicle (AUV), the dynamics is modeled as a decoupled-nonlinear system which considers that the vehicle is maneuvering in the horizontal plane or in the vertical plane. This work proposes a new method for identification of the AUV Dynamics combining an analytical and semi-empirical (ASE) approach and a system identification approach to estimate the hydrodynamic coefficients related to the horizontal maneuvering of the vehicle. The ASE method is used to initialize the parameter estimation process, assuming a simplified geometry of the AUV. The system identification phase adopted nonlinear estimators, such as the Extended Kalman Filter (EKF) and the Unscented Kalman Filter (UKF), to estimate the hydrodynamic coefficients according to the type of maneuver in which they are relevant. The experimental data were obtained with the sensors of the Pirajuba AUV during sea-trials. The identified model is used to simulate the vehicle maneuver and the movement variables are compared to the experimental data, thus validating the identified model. The method is applied to the estimation of the complete set of hydrodynamic coefficients included in the equations of motion.

Este trabalho é dedicado ao desenvolvimento teórico e algorítmico de processos de decisão markovianos com probabilidades imprecisas e representações relacionais. Na literatura, essa configuração tem sido importante dentro da área de planejamento em inteligência artificial, onde o uso de representações relacionais permite obter descrições compactas, e o emprego de probabilidades imprecisas resulta em formas mais gerais de incerteza. São três as principais contribuições deste trabalho. Primeiro, efetua-se uma discussão sobre os fundamentos de tomada de decisão sequencial com probabilidades imprecisas, em que evidencia-se alguns problemas ainda em aberto. Esses resultados afetam diretamente o (porém não restrito ao) modelo de interesse deste trabalho, os processos de decisão markovianos com probabilidades imprecisas. Segundo, propõe-se três algoritmos para processos de decisão markovianos com probabilidades imprecisas baseadas em programação (otimização) matemática. E terceiro, desenvolvem-se ideias propostas por Trevizan, Cozman e de Barros (2008) no uso de variantes do algoritmo Real-Time Dynamic Programming para resolução de problemas de planejamento probabilístico descritos através de versões estendidas da linguagem de descrição de domínios de planejamento (PPDDL).

Este trabalho apresenta três principais contribuições: i. a proposta de uma nova lógica de descrição probabilística; ii. um novo algoritmo de inferência em primeira ordem a ser utilizado em terminologias representadas nessa lógica; e iii. aplicações práticas em problemas reais. A lógica aqui proposta, crALC (credal ALC), adiciona inclusões probabilísticas na popular lógica ALC combinando as terminologias com condições de aciclicidade, de Markov, e adotando uma semântica baseada em interpretações. Como os métodos de inferência exata tradicionalmente apresentam problemas de escalabilidade devido à presença de quantificadores (restrições universal e existencial), apresentamos um algoritmo de loopy propagation em primeira-ordem que se comporta bem para terminologias com domínios não triviais. Uma série de testes foi feita com o algoritmo proposto em comparação com algoritmos tradicionais da literatura; os resultados apresentados mostram uma clara vantagem em relação aos outros algoritmos. São apresentadas ainda duas aplicações da lógica e do algoritmo para resolver problemas reais da área de robótica móvel. Embora os problemas tratados sejam relativamente simples, eles constituem a base de muitos outros problemas da área, sendo um passo importante na representação de conhecimento de agentes/robôs autônomos e no raciocínio sobre esse conhecimento.

A maior parte dos mapas empregados em tarefas de navegação por robôs móveis representam apenas informações espaciais do ambiente. Outros tipos de informações, que poderiam ser obtidos dos sensores do robô e incorporados à representação, são desprezados. Hoje em dia é comum um robô móvel conter sensores de distância e um sistema de visão, o que permitiria a princípio usá-lo na realização de tarefas complexas e gerais de maneira autônoma, dada uma representação adequada e um meio de extrair diretamente dos sensores o conhecimento necessário. Uma representação possível nesse contexto consiste no acréscimo de informação semântica aos mapas métricos, como por exemplo a segmentação do ambiente seguida da rotulação de cada uma de suas partes. O presente trabalho propõe uma maneira de estruturar a informação espacial criando um mapa semântico do ambiente que representa, além de obstáculos, um vínculo entre estes e as imagens segmentadas correspondentes obtidas por um sistema de visão omnidirecional. A representação é implementada por uma descrição relacional do domínio, que quando instanciada gera um campo aleatório condicionado, onde são realizadas as inferências. Modelos que combinam probabilidade e lógica de primeira ordem são mais expressivos e adequados para estruturar informações espaciais em semânticas.

A necessidade de antecipar e identificar variações de acontecimentos apontam para uma nova direção nos mercados de bolsa de valores e vem de encontro às análises das oscilações de preços de ativos financeiros. Esta necessidade leva a argumentar sobre novas alternativas na predição de séries temporais financeiras utilizando métodos de aprendizado de máquinas e vários modelos têm sido desenvolvidos para efetuar a análise e a previsão de dados de ativos financeiros. Este trabalho tem por objetivo propor o desenvolvimento de um modelo de previsão adaptativo baseado em um sistema SVR-wavelet híbrido, que integra modelos de wavelets e Support Vector Regression (SVR) na previsão de séries financeiras. O método consiste na utilização da Transformada de Wavelet Discreta (DWT) a fim de decompor dados de séries de ativos financeiros que são utilizados como variáveis de entrada do SVR com o objetivo de prever dados futuros de ativos financeiros. O modelo proposto é aplicado a um conjunto de ativos financeiros do tipo Foreign Exchange Market (FOREX), Mercado Global de Câmbio, obtidos a partir de uma base de conhecimento público. As séries são ajustadas gerando-se novas predições das séries originais, que são comparadas com outros modelos tradicionais tais como o modelo Autorregressivo Integrado de Médias Móveis (ARIMA), o modelo Autorregressivo Fracionário Integrado de Médias Móveis (ARFIMA), o modelo Autorregressivo Condicional com Heterocedasticidade Generalizado (GARCH) e o modelo SVR tradicional com Kernel. Além disso, realizam-se testes de normalidade e de raiz unitária para distribuição não linear, tal como testes de correlação, para constatar que as séries temporais FOREX são adequadas para a comprovação do modelo híbrido SVR-wavelet e posterior comparação com modelos tradicionais. Verifica-se também a aderência ao Expoente de Hurst por meio da estatística de Reescalonamento (R/S).

A presente dissertação trata do estudo experimental do comportamento estrutural de barras helicoidais assentadas sobre superfície cilíndrica e sujeitas a cargas de compressão. Aparato experimental específico foi projetado e construído para este fim. O projeto, bem como a aferição deste aparato, é descrito em detalhes. Este aparato permite ajustar as barras através de um sistema de apoios constituídos por uma série de rolamentos, que podem ser posicionados de forma a conferir liberdade de deslocamento à barra em duas direções distintas: radial (normal à superfície cilíndrica de assentamento) e lateral (tangencial; bi-normal). A aplicação de carga compressiva se faz na direção tangencial à hélice não-deformada. Barras com seção transversal circular e retangular, com diversos comprimentos livres de flambagem e para diferentes ângulos de assentamento, foram ensaiadas. Estudos preliminares, com barras retas, permitiram avaliar as condições efetivas de engastamento proporcionadas pelo aparato. Nestes casos foi possível induzir o fenômeno de flambagem, recuperando-se, consistentemente, os valores de cargas críticas previstas pela teoria de Euler e avaliando-se o grau de engastamento proporcionado pelo aparato experimental. Filmagem com câmera de alta velocidade permitiu observar o fenômeno de instabilidade. O comportamento estrutural das barras curvas, de seção circular e retangular, foi então estudado. Tanto o comprimento livre quanto o ângulo de assentamento foi variado. O estudo permitiu levantar base de dados experimentais do comportamento de barras helicoidais nessas condições de carregamento e de condições de contorno. No entanto, para nenhuma das diversas condições ensaiadas foi possível induzir o fenômeno de instabilidade. Tal fato poderia dar subsídios a inferências acerca do estudo da instabilidade de tubos flexíveis do tipo birdcaging.

Neste trabalho é apresentada uma metodologia de projeto de bomba dinâmica por lâmina ondulante. Um algoritmo permite determinar variáveis de projeto da bomba que maximizem a eficiência energética. A bomba consiste em um canal de seção transversal quadrada, dentro do qual há uma lâmina flexível, articulada nas extremidades. Impõe-se deformação transversal nessa lâmina. A deformação deve ter forma senoidal que se propaga ao longo da lâmina. A amplitude e a freqüência de oscilação são controladas. Os campos de pressão e velocidade no canal foram estimados por simulação numérica, uma vez que não é possível obter uma solução analítica. O Método dos Elementos Finitos foi empregado para resolver a equação de Navier-Stokes. O movimento da lâmina foi representado através do conceito de fronteiras virtuais móveis. Uma vez obtidos os campos de pressão e velocidade, calcula-se a eficiência energética para avaliar quais variáveis de projeto geram maior eficiência energética. Doze atuadores eletromagnéticos aplicam forças a lâmina. O estado da lâmina é observado por cinco sensores de posição capacitivos. O comprimento da lâmina, a largura da lâmina, amplitude das oscilações, a freqüência das oscilações, altura do canal e largura do canal são variáveis de projeto. Uma tabela que relaciona variáveis de projeto e eficiência mecânica foi calculada. Os resultados de simulação numérica indicam que é possível obter eficiência energética média da ordem de 20%. Resultados experimentais mostram o escoamento na saída da bomba. Este escoamento ocorre por golfadas em lados alternados da lâmina ondulatória.

A Tomografia por Impedância elétrica (TIE) tem como objetivo gerar imagens da distribuição de resistividade dentro de um domínio. A TIE injeta correntes em eletrodos alocados na fronteira do domínio e mede potenciais elétricos através dos mesmos eletrodos. A TIE é considerada um problema inverso, não-linear e mal posto. Atualmente, para gerar uma solução do problema inverso, existem duas classes de algoritmos para estimar a distribuição de resistividade no interior do domínio, os que estimam variações da distribuição de resistividade do domínio e os absolutos, que estimam a distribuição de resistividade. Variações da distribuição de resistividade são o resultado da solução de um sistema linear do tipo Ax = b. O objetivo do presente trabalho é avaliar o desempenho da Programação Linear (PL) na solução do sistema linear, avaliar o algoritmo quanto a propaga- ção de erros numéricos e avaliar os efeitos de restringir o espaço solução através de restrições de PL. Os efeitos do uso de Programação Linear é avaliado tanto em métodos que geram imagens de diferenças, como o Matriz de Sensibilidade, como em métodos absolutos, como o Gauss-Newton. Mostra-se neste trabalho que o uso da PL diminui o erro numérico propagado quando comparado ao uso do algoritmo LU Decomposition. Resulta também que reduzir o espaço solução, diretamente através de restrições de PL, melhora a resolução em resistividade e a resolução espacial da imagem quando comparado com o uso de LU Decomposition.

Este trabalho trata do desenvolvimento de um gerador e absorvedor dinâmico de ondas para ensaios com modelos de estruturas oceânicas em escala reduzida, em tanques que simulam as condições de operação encontradas no mar. Propõe-se um procedimento para o projeto de geradores absorvedores ativos de ondas do tipo placa basculante. O procedimento desenvolvido é aplicado ao projeto de um protótipo com quatro módulos geradores de ondas. O protótipo resultante foi instalado no laboratório do Departamento de Engenharia Naval e Oceânica a fim de ser utilizado pela Escola Politécnica da Universidade de São Paulo no estudo de algoritmos de geração e absorção de ondas. Para a medição de altura de onda, foi desenvolvido um sensor por ultra-som utilizando a técnica de pulso-eco e uma guia de ondas. O sensor, fixado junto ao batedor de ondas, é utilizado para a realimentação do controlador de absorção de ondas. Foram realizados ensaios para sua caracterização e comparação com um sensor capacitivo. Nesses ensaios, o sensor por ultra-som apresentou melhor linearidade e resposta dinâmica do que o sensor capacitivo, além de não necessitar de calibração antes de cada ensaio. Foram realizados ensaios com ondas regulares para a avaliação do desempenho do gerador de ondas e para o levantamento das funções de transferência do motor, da onda progressiva longe do atuador H/S e da onda próxima ao atuador H0/S que considera as ondas evanescentes. Os resultados experimentais apresentaram uma boa concordância com o modelo teórico.

A tendência da fabricação de moldes e matrizes é utilizar a tecnologia de usinagem HSM (High Speed Machining), pois esta pode produzir superfícies com melhor qualidade. Isto é possível, pois pode-se aumentar o número de passes laterais de um molde, sem que haja perdas de tempo de ciclo de usinagem, melhorando assim a qualidade do produto. No entanto, com a crescente utilização desta tecnologia, o perfil gerado de uma superfície usinada com uma fresa de ponta esférica, é alterado. Isto ocorre porque, normalmente, é possível medir-se a rugosidade em duas direções, obtendo-se em cada uma delas um valor de rugosidade máxima: um é o pico (crista) entre passes laterais e o outro é a altura de crista entre avanços por dente sucessivos. Cada um deles tem maior importância em função dos parâmetros utilizados. Estudar os fatores que alteram o perfil de rugosidade se faz, portanto, necessário. O objetivo deste trabalho é verificar experimentalmente como os parâmetros de usinagem: avanço por dente, passe lateral, diâmetro da ferramenta, ângulo de inclinação do eixo axial da ferramenta de corte e direção de corte (unidirecional ou bidirecional) influenciam o perfil de rugosidade e a rugosidade máxima, além de criar um modelo matemático que possa prever estas alterações. Foi mostrado neste trabalho que o perfil de rugosidade para corte unidirecional é diferente do corte bidirecional, e que, à medida que a relação entre avanço por aresta e passe lateral cresce, a rugosidade máxima também aumenta. Mas, ao se inclinar o eixo axial da ferramenta e aumentar o diâmetro da fresa esférica a rugosidade máxima diminui. Em resumo, este trabalho visa mostrar quais são os fatores que influenciam o acabamento de superfícies usinadas com fresas de topo esférico em condições, cuja relação entre o passe lateral e avanço por dente são típicas da HSM.