Desenvolvimento e avaliação de um sistema de monitorização da corrosão electroquímica no betão armado

O presente trabalho teve como principal objectivo desenvolver e avaliar o desempenho de um sistema de monitorização da corrosão no betão armado. Para tal foram construídos dois provetes de classe 20/25, e outros dois de classe 30/35. Dentro desses quatro provetes foram instalados sensores de corrosão designados por Monicorr. Para cada classe de betão utilizaram-se dois tipos diferentes de contaminação, designadas por A e B. A contaminação do tipo A é feita adicionando durante a amassadura do betão uma solução aquosa de cloreto de cálcio a 4% em massa de cimento e sujeitando esses provetes a ciclos de condensação de 50h, durante um período de 1000h. A contaminação do tipo B é feita sujeitando os outros dois provetes de classes diferentes a ciclos de 100h de nevoeiro salino a 3% em massa de água, durante um período de 2000h. Para avaliar o desempenho do sistema de monitorização Monicorr foram comparados os valores da velocidade de corrosão instantânea por LPR, a resistividade do betão e o potencial de corrosão da armadura, obtidos pelo sistema Monicorr, com os obtidos por aparelhos utilizados para o mesmo efeito em laboratório. Paralelamente, estudou-se também a variação do potencial de corrosão da armadura em função da área oxidada. Para além disso desenvolveu-se um conjunto de pseudo referências de grafite dopada com diferentes percentagens de cimento e avaliou-se a sua estabilidade relativamente ao eléctrodo de calomelanos e óxido de managanês manganês em soluções de hidróxido de cálcio saturada e de betão armado contaminado com sais cloreto. Finalmente foram ainda desenvolvidas duas tarefas, a primeira relacionada com os resultados obtidos na medição da resistividade do betão armado pelas técnicas de dois pinos e quatro pinos, e a segunda com o desenvolvimento de um método rápido de contaminação do betão armado com dióxido de enxofre. Os resultados obtidos permitem concluir que: - o sistema de monitorização Monicorr apresenta um comportamento muito semelhante aos utilizados em laboratório para medir grandezas como o potencial de corrosão da armadura, resistividade do betão e velocidade de corrosão instantânea por LPR; - a monitorização das três grandezas atrás referidas pode ser uma ferramenta importante para permitir saber qual é o desenvolvimento corrosivo de uma estrutura de betão armado; os eléctrodos de grafite dopada com cimento apresentam uma elevada estabilidade nos meios testados tendo um desempenho muito semelhante à referência de manganês óxido de manganês para os mesmos meios. Relativamente à influência da área oxidada no potencial de corrosão da armadura não foi possível tirar conclusões. Foi possível, também, concluir que existe uma clara concordância entre as medições da resistividade do betão utilizando o método dos dois pinos e o método dos quatro pinos. Finalmente pode-se concluir que a metodologia desenvolvida para contaminar provetes de betão com iões sulfato obtém bons resultados ao fim de, apenas, 48h de contaminação.

Analysis of multirate behavior in electronic systems

Esta tese insere-se na área da simulação de circuitos de RF e microondas, e visa o estudo de ferramentas computacionais inovadoras que consigam simular, de forma eficiente, circuitos não lineares e muito heterogéneos, contendo uma estrutura combinada de blocos analógicos de RF e de banda base e blocos digitais, a operar em múltiplas escalas de tempo. Os métodos numéricos propostos nesta tese baseiam-se em estratégias multi-dimensionais, as quais usam múltiplas variáveis temporais definidas em domínios de tempo deformados e não deformados, para lidar, de forma eficaz, com as disparidades existentes entre as diversas escalas de tempo. De modo a poder tirar proveito dos diferentes ritmos de evolução temporal existentes entre correntes e tensões com variação muito rápida (variáveis de estado activas) e correntes e tensões com variação lenta (variáveis de estado latentes), são utilizadas algumas técnicas numéricas avançadas para operar dentro dos espaços multi-dimensionais, como, por exemplo, os algoritmos multi-ritmo de Runge-Kutta, ou o método das linhas. São também apresentadas algumas estratégias de partição dos circuitos, as quais permitem dividir um circuito em sub-circuitos de uma forma completamente automática, em função dos ritmos de evolução das suas variáveis de estado. Para problemas acentuadamente não lineares, são propostos vários métodos inovadores de simulação a operar estritamente no domínio do tempo. Para problemas com não linearidades moderadas é proposto um novo método híbrido frequência-tempo, baseado numa combinação entre a integração passo a passo unidimensional e o método seguidor de envolvente com balanço harmónico. O desempenho dos métodos é testado na simulação de alguns exemplos ilustrativos, com resultados bastante promissores. Uma análise comparativa entre os métodos agora propostos e os métodos actualmente existentes para simulação RF, revela ganhos consideráveis em termos de rapidez de computação.

Behavioral modeling optimization and enhancement for high-speed analog mixed-signal I/O interfaces

A integridade do sinal em sistemas digitais interligados de alta velocidade, e avaliada através da simulação de modelos físicos (de nível de transístor) é custosa de ponto vista computacional (por exemplo, em tempo de execução de CPU e armazenamento de memória), e exige a disponibilização de detalhes físicos da estrutura interna do dispositivo. Esse cenário aumenta o interesse pela alternativa de modelação comportamental que descreve as características de operação do equipamento a partir da observação dos sinais eléctrico de entrada/saída (E/S). Os interfaces de E/S em chips de memória, que mais contribuem em carga computacional, desempenham funções complexas e incluem, por isso, um elevado número de pinos. Particularmente, os buffers de saída são obrigados a distorcer os sinais devido à sua dinâmica e não linearidade. Portanto, constituem o ponto crítico nos de circuitos integrados (CI) para a garantia da transmissão confiável em comunicações digitais de alta velocidade. Neste trabalho de doutoramento, os efeitos dinâmicos não-lineares anteriormente negligenciados do buffer de saída são estudados e modulados de forma eficiente para reduzir a complexidade da modelação do tipo caixa-negra paramétrica, melhorando assim o modelo standard IBIS. Isto é conseguido seguindo a abordagem semi-física que combina as características de formulação do modelo caixa-negra, a análise dos sinais eléctricos observados na E/S e propriedades na estrutura física do buffer em condições de operação práticas. Esta abordagem leva a um processo de construção do modelo comportamental fisicamente inspirado que supera os problemas das abordagens anteriores, optimizando os recursos utilizados em diferentes etapas de geração do modelo (ou seja, caracterização, formulação, extracção e implementação) para simular o comportamento dinâmico não-linear do buffer. Em consequência, contributo mais significativo desta tese é o desenvolvimento de um novo modelo comportamental analógico de duas portas adequado à simulação em overclocking que reveste de um particular interesse nas mais recentes usos de interfaces de E/S para memória de elevadas taxas de transmissão. A eficácia e a precisão dos modelos comportamentais desenvolvidos e implementados são qualitativa e quantitativamente avaliados comparando os resultados numéricos de extracção das suas funções e de simulação transitória com o correspondente modelo de referência do estado-da-arte, IBIS.