Modelação da interacção entre um plasma de arco de alta pressão e cátodos refractários

Nesta dissertação apresento um estudo detalhado de vários aspectos da interacção entre um plasma de arco de alta pressão e cátodos refractários. Um modelo da camada de plasma junto ao cátodo num plasma sujeito a uma pressão da ordem de uma ou várias atmosferas é reconsiderado com base em recentes resultados teóricos. A física da camada de plasma junto ao cátodo é analisada para valores da queda de tensão na camada de plasma junto ao cátodo até 50V, de acordo com recentes resultados experimentais que mostram que a queda de tensão na camada de plasma junto ao cátodo numa descarga de arco de alta pressão pode atingir valores tão elevados. São identificados os mecanismos que originam a não monotonia da dependência da densidade de fluxo de energia (proveniente do plasma para a superfície do cátodo) em relação à temperatura da superfície do cátodo, para um valor fixo da queda de tensão junto ao cátodo. Uma descrição fechada da interacção plasma-cátodo é obtida por meio da resolução numérica do problema não linear com condições de fronteira para a distribuição da temperatura no interior do corpo do cátodo. São apresentados resultados da modelação numérica da descarga difusa nas condições de funcionamento de uma lâmpada de descarga experimental, sendo bom o acordo entre os resultados numéricos e os dados experimentais. Manchas solitárias num cátodo plano infinito e modos difuso e mancha axialmente simétricos em cátodos finitos de descargas de arco de alta pressão são estudados num grande intervalo de corrente. São analisados aspectos gerais e apresentados resultados numéricos referentes a cátodos de tungsténio planos e de forma cilíndrica a operar num plasma de argon à pressão atmosférica para correntes de arco até 100 kA. Émostrado, em particular, que a temperatura da superfície do cátodo no interior de uma mancha solitária varia relativamente pouco, podendo ser estimada com uma precisão de cerca de 200 − 300K sem ser necesário resolver a equação da condução térmica no corpo do cátodo. O comportamento assimptótico das soluções para um cátodo finito no caso limite de altas correntes é encontrado e confirmado pelos resultados numéricos. É confirmado um padrão geral das características tensão-corrente de vários modos de transferência de corrente em cátodos finitos sugerido previamente com base numa análise de bifurcações. É estudada a transição de modos mancha num cátodo finito no limite de cátodos de grandes dimensões para o modo mancha solitária num cátodo plano infinito. É estabelecido que o modo mancha solitária representa uma forma limite do modo mancha de alta tensão num cátodo finito. É considerada a questão da distinção entre modo difuso e modo mancha num cátodo finito. É desenvolvida uma abordagem para o cálculo de pontos de bifurcação nos quais soluções mancha tridimensionais bifurcam-se a partir de soluções que descrevem o modo difuso e modos mancha axialmente simétricos. Em particular, é calculado o primeiro ponto de bifurcação posicionado na solução que descreve o modo difuso e, por conseguinte, o seu limite de estabilidade, isto é, a corrente abaixo da qual o modo difuso torna-se instável. São apresentados os resultados da modelação numérica efectuada para o caso de um cátodo de tungsténio de forma cilíndrica a operar num plasma de alta pressão. É estudado o efeito produzido no limite de estabilidade pelas variações dos parâmetros de controle (dimensões do cátodo, função de trabalho do material do cátodo, tipo e pressão do gás que produz o plasma). Foi encontrado que o comportamento do limite de estabilidade sujeito a estas variações está em conformidade com as tendências observadas experimentalmente. Foi encontrado que o limite de estabilidade é muito mais sensível às variações dos parâmetros de controle do que as características tensão-corrente do modo difuso, sendo o efeito mais forte produzido pelas variações das dimensões do cátodo e da função de trabalho do material do cátodo. Este resultado está em conformidade com o facto experimental de que a transição difuso-mancha é de difícil reprodução.

Avaliação do comportamento dinâmico da torre sineira da Sé Catedral do Funchal

O objetivo principal deste trabalho consiste na caracterização dinâmica da Torre Sineira da Sé Catedral do Funchal. Esta caracterização tem como base o recurso a técnicas de análise experimental, e em simultâneo, a simulações numéricas. As técnicas experimentais utilizadas baseiam-se na utilização de metodologias de identificação dinâmica com base em medições da resposta estrutural provocada pela excitação ambiente, i.e. vento e tráfego. A campanha de ensaios foi realizada em cinco séries de medição com acelerômetros piezoelétricos de alta sensibilidade e recorrendo a equipamento de aquisição de dados de alto desempenho. Ao longo do trabalho são descritas as principais características dos ensaios, bem como os resultados obtidos recorrendo a técnicas de análise modal operacional, culminando na obtenção dos parâmetros modais dos principais modos de vibração da estrutura. Após o tratamento dos resultados obtidos experimentalmente, estes foram usados para calibrar um modelo numérico implementado num software comercial de elementos finitos. Este modelo tem como base técnicas de modelação correntemente utilizadas na simulação deste tipo de estruturas, bem como parâmetros plausíveis para definir o comportamento mecânico dos materiais. Posteriormente, os resultados obtidos em ambas as abordagens são diretamente comparados, tendo sido possível observar uma boa correspondência entre ambos. Esta dissertação termina com as principais conclusões e com a identificação dos principais desenvolvimentos para trabalhos futuros.

Padrões de aleatoriedade na modelação do acaso

A soma de variáveis aleatórias com número de parcelas é aleatório, para além do evidente interesse conceptual e teórico, tem larga ressonância na investigação do processo de risco e em processos de ramificação. Reformulamos a teoria de Panjer (1981), que permite o cálculo iterativo do risco agregado, com o recurso a valores médios de uniformes, descrevendo uma extensão da classe de Panjer, e estudando em detalhe a equação funcional que a caracteriza. Aplicamos essas ideias na caracterização de aleatoriedade discreta, exemplificando com o comportamento das fêmeas de pássaros que investem na promiscuidade de parceiros para garantir a diversidade genética da progénie, tendo no entanto o cuidado de manter as aparências de fidelidade, para garantir a cooperação do parceiro no sucesso da ninhada. Apresentamos as transformadas de Laplace e funções geradoras numa perspectiva que leva a uma introdção natural de transformadas de Pareto, cuja relevância exemplificamos.

Modelação de diálogos com o Midiki: um gestor de diálogo do tipo Information State Update

Nesta dissertação investigamos a problemática da criação de sistemas e interfaces que permitam a interacção entre pessoas e máquinas através de linguagem natural(LN), recorrendo a Gestores de Diálogo (GD). Esse tipo de interacção concretiza-se através do estabelecimento de diálogos entre uma pessoa (cliente ou utilizador de um serviço) e a máquina, por exemplo, e em particular, através da fala. Quando disponibilizado da forma tradicional, o acesso ao serviço exige um intermediário Humano ou a adaptação da Pessoa a interfaces menos naturais, tais como linhas de comandos num computador, digitadas através de teclado ou o recurso (usual) a janelas, cliques de rato e preenchimento de formulários. Os sistemas que possibilitam a intermediação com esses serviços através de LN chamam-se Sistemas de Diálogo (SD), no núcleo dos quais se encontram os chamados Gestores de Diálogo. A implementação de SDs robustos ainda constitui um desafio, dada a complexidade, problemas e dificuldades que apresenta. Um SD, e em particular um GD, tem de ser configurado para levar a cabo um diálogo em linguagem natural com um Humano, por mais restrito ou mais genérico que seja o domínio (ou tarefa) considerado. Infelizmente, existem poucas metodologias e ferramentas de autoria que possibilitem a modelação fácil e intuitiva de tais diálogos (sobre os GDs). Nesta dissertação apresentamos uma metodologia [Quintal & Sampaio, 2007] e uma ferramenta para a autoria de diálogos com base no Gestor de Diálogo MIDIKI [Burke, 2005b]. A ferramenta de autoria automatiza as partes mais importantes da geração de código com vista à execução de um diálogo nesse GD.

Modelação de interfaces gráficas no âmbito do ProjectIT

Orientador: Alberto Manuel Rodrigues da Silva

Fundamentação numérica da Análise em Portugal em Anastácio da Cunha, Gomes Teixeira e Vicente Gonçalves

Neste trabalho estudamos a fundamentação numérica da Análise em Portugal, centrando particularmente este estudo nos trabalhos de José Anastácio da Cunha, Francisco Gomes Teixeira e Vicente Gonçalves. Num capítulo introdutório apresentamos uma perspectiva cronológica da procura de uma fundamentação rigorosa para a matemática, com o intuito de enquadrar historicamente as obras destes matemáticos Portugueses e reconhecer possíveis influências prestadas por trabalhos de outros autores. Relacionado com Anastácio da Cunha, analisamos os aspectos fundamentais da sua obra Principios Mathematicos, procurando evidenciar os resultados mais importantes avançados pelo autor, bem como as suas preocupações axiomáticas que não eram usuais no século XVIII, em que se insere a sua obra. Neste trabalho foi igualmente efectuada uma análise às quatro edições do Curso de Analyse Infinitesimal — Calculo Integral de Francisco Gomes Teixeira, particularmente centrada na definição do conceito de número irracional. Finalmente, analisamos o Curso de Álgebra Superior de Vicente Gonçalves, particularmente as duas últimas edições. A 2a edição do referido Curso foi objecto de duras críticas por parte de Neves Real e um dos objectivos deste trabalho foi o de procurar analisar essas críticas e verificar até que ponto influenciaram a reformulação de alguns aspectos da 3a edição.

Identificação de alvos na terapia anti-cancerígena utilizando técnicas de modelação molecular

Miguel Fernandes

Investigação numérica do desempenho de um sensor de fibra ótica de índice de refração, baseado em SPR e utilizando COMSOL multiphysics

Esta tese é dedicada aos sensores de fibra ótica especificamente aos sensores baseados no fenómeno de ressonância de plasmão de superfície, SPR (Surface Plasmon Resonance), gerados em fibras óticas com configuração do tipo “D”, para aplicação em sensores refratométricos. Numa primeira parte desta dissertação são descritos os aspetos teóricos fundamentais para a compreensão dos fenómenos de ressonância de plasmões de superfície e a sua utilização em sistemas sensores. Estes fenómenos ocorrem na superfície de interface entre metais e outros meios materiais, sendo capazes de afetar as propriedades em reflexão e transmissão de uma onda eletromagnética incidente (feixe luminoso), de uma forma que é fortemente dependente dos meios na proximidade do metal. Assim, a medição das propriedades do feixe luminoso, como por exemplo o comprimento de onda de ressonância com SPR, permite monitorizar esses meios. Numa segunda fase foi implementada a simulação destes modelos, em COMSOL Multiphysics, que permitia não só a obtenção dos espetros de transmissão dos fenómenos de ressonância de plasmões de superfície, mas também a obtenção das distribuições do campo elétrico e magnético em função das dimensões do sensor. O COMSOL permitiu também a obtenção das curvas do deslocamento do comprimento de onda ressonante, perante variações do índice de refração exterior, da espessura do metal, da espessura da bainha e da espessura de outro elemento de elevado índice de refração. A fase seguinte foi verificar que os resultados dos métodos teóricos para os diferentes parâmetros de estudo eram semelhantes aos resultados obtidos no COMSOL. Conclui-se que com este programa é possível criar novos sensores em fibra ótica, baseados em SPR, para melhorar e otimizar os parâmetros de ressonância e sensibilidade do sensor. A última fase do trabalho baseou-se na modelização de uma fibra cuja configuração seja tal que possa criar um pequeno efeito de antena e fazer com que parte da luz seja guiada para o exterior da fibra e possa interatuar com o meio externo para melhor sensibilidade.

Modelação e estudo paramétrico do comportamento de vigas de betão armado com Varões de GFRP

A introdução de um novo material para a execução de estruturas, implica um amplo estudo sobre o mesmo, para que seja aceite como um material de utilização, ou solução, corrente na engenharia civil. Os varões plásticos reforçados com fibra de vidro, GFRP,apresentam-se com diversas vantagens para uma solução de substituição das tradicionais armaduras de aço no betão armado. Um Estado da Arte foi apurado para determinar o ponto de situação do conhecimento e dos estudos realizados por vários autores, desde o início das pesquisas até aos mais recentes estudos disponíveis. Neste seguimento, o presente estudo incide na análise do comportamento à flexão de vigas contínuas de betão armado com varões de GFRP, submetidas a um carregamento distribuído. O trabalho realiza-se com base em 18 modelos de elementos finitos para uma análise paramétrica, sendo os parâmetros estudados, o vão, a percentagem de armadura de flexão e a esbelteza da secção. Para validação do modelo foram, modeladas 7 vigas reais ensaiadas no âmbito de trabalhos de investigação de dois autores Os resultados das modelações das análises paramétricas foram comparados com uma análise elástica e uma análise plástica, utilizando a metodologia do ACI 440.1R-06, para a carga última de dimensionamento. Outras comparações foram feitas através dos limites de deformação do EN 1992-1-1, 2004. Analisa-se a distribuição de esforços, não elásticos, devido à perda de rigidez da viga. Os modelos das vigas mais esbeltas e com menor percentagem de armadura mostraram maior concordância com a análise realizada. As deformações comparadas com o limite L/250 mostram concordância de resultados.

Avaliação numérica do comportamento sísmico de estruturas de betão armado

Os danos provocados por sismos encontram-se diretamente relacionados com os movimentos do solo que este possa provocar, com a vulnerabilidade da estrutura geológica e com a capacidade das construções para resistirem a tais ações. A preocupação na salvaguarda da vida humana e no mitigar dos danos provocados por eventos sísmicos conduziu a um grande avanço e aperfeiçoamento na compreensão do fenómeno, nas suas consequências e nas técnicas de conceção e de dimensionamento sismo-resistentes. À medida que as exigências técnicas evoluem, procura-se desenvolver métodos de análise que descrevam melhor o comportamento real das estruturas. Embora atualmente as análises dinâmicas tridimensionais lineares com base em análises modais e em coeficientes de comportamento sejam muito utilizadas, devido essencialmente à sua simplicidade e rapidez de execução, tem-se verificado uma crescente aderência a novas metodologias que têm diretamente em conta o comportamento não linear das estruturas quando sujeitas a ações sísmicas. Esta tese tem como principal objetivo estudar diferentes técnicas de simulação numérica do comportamento sísmico de estruturas de betão armado. São descritas as principais características das metodologias de simulação numérica mais utilizadas tanto em gabinete de projeto como em estudos de investigação. É dada especial atenção às análises dinâmicas não lineares, uma vez que esta técnica foi utilizada para simular o comportamento de uma estrutura de betão armado de um piso, que foi ensaiada no âmbito da 15ª Conferência Mundial em Engenharia Sísmica. Para avaliar a capacidade de simulação desta técnica, os resultados numéricos são diretamente comparados com os resultados experimentais, sendo possível verificar uma boa concordâncias entre ambos.

Caracterização, simulação (à escala) e modelação do escoamento em canais artificiais: aplicação a caso de estudo

Os escoamentos no interior de zonas urbanas, apresentam grande heterogeneidade, pelo que a sua caracterização, requer uma formulação que incorpore explicitamente essa variabilidade espacial. A caracterização, simulação (à escala) e modelação do escoamento em canais artificiais e a aplicação a um caso de estudo, no Laboratório de Hidráulica da UMa, representa o cerne desta dissertação. Os objetivos principais desta dissertação são: a caracterização e desenvolvimento de ferramentas de simulação do comportamento do escoamento em canais artificiais, no caso de uma variação súbita dos caudais afluentes, mecanismos de prevenção de cheia; o desenvolvimento de um modelo de simulação hidrodinâmico, considerando os escoamentos variáveis em superfície livre no caso de situações de cheia, na simulação entre as condições variáveis das afluências, das condições hidromorfológicas do canal e da instalação e operação dos sistemas e regulação dos escoamentos; e ainda a análise da viabilidade da simulação (modelo) na gestão e prevenção de cheias em canais artificiais. Numa primeira instância, procede-se à recolha de toda a informação bibliográfica disponível. Com recurso aos modelos digitais do terreno e ao programa ArcGis, é efetuada toda uma exaustiva caracterização da bacia hidrográfica, relativa ao caso de estudo (canal artificial), a partir da qual foi possível obter os dados inerentes às características geométricas, características de relevo e características de drenagem. Segue-se a análise da precipitação com recurso a folhas de cálculo e dados fornecidos pelas instituições pertinentes, de forma a obter valores de precipitação média diária e anual para aplicação de fórmulas, tanto para calcular valores de tempo de concentração, bem como caudais. O próximo passo é selecionar os troços relevantes do canal em estudo e com recurso ao equipamento disponível no Laboratório de Hidráulica da UMa, à folha de cálculo programada e ao programa HEC-RAS procede-se à simulação/modelação/análise desses troços, comparando o resultado/comportamento simulado, com o expectável e entre os vários métodos. Por fim, são expostas as conclusões, bem como algumas considerações finais e uma listagem de objetivos a manter ou alcançar nos próximos anos, onde se incluem, ações prioritárias e recomendações visando, não só melhorar o processo de caracterização do escoamento em canais artificiais, bem como simplificar a prevenção e gestão de cheias.

Aplicação de retroanálise na escavação de um túnel na Ilha da Madeira

Pretende-se determinar os parâmetros geomecânicos de um maciço atravessado por um túnel construído na ilha da Madeira, através de retroanálise. Para tal, recorre-se a um modelo numérico tridimensional para simular o avanço da escavação e a dados obtidos a partir da instrumentação da obra, nomeadamente, através da medição de convergências e deslocamentos superficiais. A análise numérica é aplicada a um problema de identificação de parâmetros geomecânicos, em três secções localizadas muito próximas do emboquilhamento do Faial, do túnel do Faial/Cortado. Este problema rege-se por um comportamento elástico perfeitamente plástico e um critério de rotura de Mohr-Coulomb. Para a resolução do problema recorreu-se à utilização do software de diferenças finitas, FLAC3D, tendo-se usufruído da sua base de programação para modelar o processo complexo de escavação e suporte do túnel. A modelação tridimensional no FLAC3D é conseguida através da sua linguagem de programação interna, FISH, criando funções capazes de simular o processo da escavação parcial, instalação dos elementos de suporte, e monitorizar e extrair as variáveis pretendidas. Numa primeira fase realizou-se uma análise paramétrica relativamente ao comportamento do maciço fazendo variar alguns parâmetros geomecânicos deste. Numa segunda fase do estudo, procedeu-se à otimização de um conjunto de parâmetros elásticos e resistentes, intrínsecos ao material envolvente do túnel, através de retroanálise. A otimização dos parâmetros foi realizada por meio da utilização de expressões de cálculo de medida de dispersão estatística entre os dados obtidos a partir da instrumentação em obra e os resultados correspondentes obtidos a partir da análise numérica. Os valores obtidos para os diferentes parâmetros do maciço rochoso foram comparados com os respetivos valores recolhidos na bibliografia para maciços da ilha da Madeira, bem como com os valores previstos pela caracterização geomecânica efetuada durante a fase de construção do túnel objeto de estudo.

A classe de distribuições de Panjer e a modelação do risco coletivo

O principal objetivo desta dissertação é analisar a classe de distribuições de Panjer, algumas das suas extensões e a utilização destas na modelação do risco coletivo. Inicialmente, são referidos alguns momentos históricos importantes no estudo da família de distribuições de Panjer e no desenvolvimento do modelo do risco coletivo. Apresentamos também alguns artigos publicados nos últimos vinte anos sobre estas temáticas. Depois, são apresentados os conceitos e instrumentos fundamentais na construção das extensões da família de Panjer e na construção recursiva das distribuições do modelo do risco coletivo. Tais conceitos e instrumentos incluem a função geradora de probabilidades, a transformada de Laplace, a mistura e modi cação de distribuições de probabilidade. Seguidamente, são caracterizadas as distribuições discretas pertencentes à classe de Panjer, distribuições essas denominadas de distribuições de contagem básicas, de nidas a recursão de Panjer e duas suas extensões e apresentadas as distribuições pertencentes a cada uma delas. Finalmente, é apresentado o modelo do risco coletivo, designadamente o modelo composto das indemnizações agregadas, cujas distribuições, neste caso, são construídas através do método recursivo. São também expostos dois métodos de construção de distribuições aritméticas. A dissertação termina com a dedução de alguns modelos particulares para o risco coletivo, obtidos com o auxílio dos programas informáticos Mathematica e R.

Geração automática de interfaces com o utilizador: uma abordagem baseada em MDA para a plataforma PHP

Os modelos e as técnicas de modelação são, hoje em dia, fundamentais na engenharia de software, devido à complexidade e sofisticação dos sistemas de informação actuais.A linguagem Unified Modeling Language (UML) [OMG, 2005a] [OMG, 2005b] tornou-se uma norma para modelação, na engenharia de software e em outras áreas e domínios, mas é reconhecida a sua falta de suporte para a modelação da interactividade e da interface com o utilizador [Nunes and Falcão e Cunha, 2000].Neste trabalho, é explorada a ligação entre as áreas de engenharia de software e de interacção humano-computador, tendo, para isso, sido escolhido o processo de desenvolvimento Wisdom [Nunes and Falcão e Cunha, 2000] [Nunes, 2001]. O método Wisdom é conduzido por casos de utilização essenciais e pelo princípio da prototipificação evolutiva, focando-se no desenho das interfaces com o utilizador através da estrutura da apresentação, com a notação Protótipos Abstractos Canónicos (PAC) [Constantine and Lockwood, 1999] [Constantine, 2003], e do comportamento da interacção com a notação ConcurTaskTrees (CTT) [Paternò, 1999] [Mori, Paternò, et al., 2004] em UML.É proposto, também, neste trabalho um novo passo no processo Wisdom, sendo definido um modelo específico, construído segundo os requisitos da recomendação Model Driven Architecture (MDA) [Soley and OMG, 2000] [OMG, 2003] elaborada pela organização Object Managent Group (OMG). Este modelo específico será o intermediário entre o modelo de desenho e a implementação da interface final com o utilizador. Esta proposta alinha o método Wisdom com a recomendação MDA, tornando possível que sejam gerados, de forma automática, protótipos funcionais de interfaces com o utilizador a partir dos modelos conceptuais de análise e desenho.Foi utilizada a ferramenta de modelação e de metamodelação MetaSketch [Nóbrega, Nunes, et al., 2006] para a definição e manipulação dos modelos e elementos propostos. Foram criadas as aplicações Model2Model e Model2Code para suportar as transformações entre modelos e a geração de código a partir destes. Para a plataforma de implementação foi escolhida a framework Hydra, desenvolvida na linguagem PHP [PHP, 2006], que foi adaptada com alguns conceitos de modo a suportar a abordagem defendida neste trabalho.

Modelização das camadas junto aos eléctrodos em descargas de arco de alta pressão

Nesta dissertação foi realizada a modelização numérica das camadas de não-equilíbrio junto aos cátodos e ânodos em descargas de arco de alta pressão. Ao contrário de trabalhos anteriores, a modelização é uni cada, i.e., baseia-se num único conjunto de equações escritas sem suposições simpli cativas tais como equilíbrio térmico, equilíbrio de ionização (Saha) e quaseneutralidade, e não utiliza uma divisão a priori do domínio de cálculo em sub- camadas com propriedades físicas diferentes. Processos de transporte de iões e electrões são descritos no âmbito do modelo de difusão. Foi também desenvolvida uma teoria da camada de ionização junto ao cátodo no âmbito do modelo multi uido. Os resultados obtidos são comparados com dados experimentais. Os resultados da tese elucidam a física de transferência de corrente através das camadas junto aos eléctrodos em descargas de arco de alta pressão, e servem para melhor compreen- der os fenómenos que ocorrem em vários dispositivos industriais, como as lâmpadas de descarga de muito alta pressão e as tochas de plasma.