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.

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.

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.

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.

Controlo automático de um interferómetro para monitorização e caracterização de sensores interferométricos

A indústria de sensores de fibra óptica está a tornar-se cada vez mais importante e emprega diferentes técnicas que permitem monitorizar uma grande variedade de parâmetros. Uma das técnicas que apresenta grandes potencialidades, devido ao seu elevado desempenho, é a técnica interferométrica, que fornece, simultaneamente, uma grande sensibilidade e uma larga gama dinâmica. Além destas vantagens, juntam-se as vantagens comuns associadas a todos os sensores de fibra óptica, tais como passividade eléctrica, fiabilidade e possibilidade de multiplexagem, que também se aplicam aos sensores interferométricos. Outra técnica muito utilizada no ramo dos sensores de fibra óptica, em configurações interferométricas com intuito de interrogação, é a técnica de interferometria de luz branca. Esta técnica permite precisão de medição, insensibilidade a flutuações da potência óptica ao longo do sistema de interrogação, assim como uma resolução elevada. Com o intuito de tornar os sistemas de instrumentação / interrogação mais compactos e flexíveis foi desenvolvida uma plataforma de instrumentação virtual, que consiste em aplicações de software que implementam as funções dos instrumentos físicos em ambiente computacional. Esta área permite obter sistemas de instrumentação / interrogação menos complexos, de maior portabilidade e com um custo mais reduzido. Esta dissertação tem como objectivo o desenvolvimento de um sistema de interrogação de sensores de fibra óptica interferométricos controlado automaticamente através de instrumentação virtual, sendo necessário numa fase inicial um estudo aprofundado dos sensores de fibra óptica, das diferentes técnicas de interrogação e da área de instrumentação virtual. O capítulo 1 é o capítulo de introdução, onde são apresentados de forma genérica os diferentes conceitos inerentes ao trabalho, nomeadamente sensores de fibra óptica e os conceitos de interrogação de sensores interferométricos e conceitos de instrumentação virtual. Os sensores interferométricos são abordados com mais detalhe no capítulo 2. Neste capítulo são abordados os conceitos teóricos de interferometria, assim como os diferentes esquemas interferométricos geralmente utilizados em sensores de fibra óptica.No capítulo 3 são apresentados os diferentes esquemas de detecção de sinal utilizados para interrogar sensores interferométricos de fibra óptica. É apresentada a técnica de interferometria de luz branca e os esquemas de detecção de sinal homódina e heteródina. O conceito de instrumentação, com ênfase nos sistemas de instrumentação virtual é apresentado no capítulo 4. É abordado o tema de sistemas de instrumentação tradicionais e de instrumentação virtual, dando ênfase às vantagens destes últimos. É também apresentado o ambiente de programação LabVIEW e o amplificador lock-in virtual, utilizado no desenvolvimento do projecto. No capítulo 5 é apresentado o desenvolvimento do sistema de interrogação de sensores interferométricos proposto inicialmente. Todo o desenvolvimento, desde implementação do interferómetro receptor, passando pelo sistema de controlo baseado em instrumentação virtual, até à caracterização do sistema está documentado neste capítulo. A monitorização e caracterização de sensores interferométricos com o sistema apresentado no capítulo 5 estão documentadas no capítulo 6. No capítulo 7 são apresentadas as conclusões relativas ao trabalho desenvolvido, assim como as perspectivas futuras de evolução do sistema implementado.

Análise da performance táctico-técnica no andebol de alto nível: estudo das acções ofensivas com recurso à análise sequencial

O presente estudo insere-se na problemática da Análise da performance táctico – técnica em Andebol, efectuada a partir da observação do jogo e visando a optimização do rendimento desportivo. Tendo como finalidade contribuir para uma alternativa na análise táctico-técnica do rendimento no Andebol, centrou-se a atenção na microanálise de acções táctico-técnicas, integrando-as numa análise mais global das sequências de jogo e das respectivas alterações contextuais. Pretendeu-se questionar a eficácia do ataque e da defesa no Andebol, tendo-se direccionado o estudo para os seguintes objectivos: (1) Analisar padrões de comportamento dos defensores após a recuperação da bola, em relação com o modo e zona de início das sequências ofensivas, tendo em conta as diferentes relações numéricas;(2) Analisar a eficácia do guarda-redes, tendo em conta a interacção guardaredes/defensor; (3) Analisar os meios tácticos que precedem a finalização bem como a sua influência no resultado final da sequência, considerando diferentes relações numéricas; (4) Analisar a interrupção das sequências por faltas sofridas e a respectiva influência no resultado final, tendo em conta diferentes relações numéricas. A amostra do presente estudo foi constituída pelas sequências ofensivas registadas a partir de vinte e cinco jogos das fases finais do Campeonato da Europa de 2002 (onze) e do Campeonato do Mundo de 2003 (catorze), envolvendo, em ambos os casos, apenas as equipas classificadas nos oito primeiros lugares de cada competição. Para a realização do estudo recorreu-se à metodologia observacional, tendo-se efectuado a exploração dos dados através da análise sequencial, tanto prospectiva como retrospectivamente. Usou-se ainda a técnica de análise através das coordenadas polares. Os resultados do estudo permitiram concluir que: (1) É significativa a probabilidade da cooperação guarda-redes/defensor influenciar a eficácia do guarda-redes na defesa da baliza; (2) É significativa a probabilidade do modo de recuperação da bola influenciar o modo de início da sequência ofensiva; (3) É significativa a probabilidade do modo de recuperação da bola influenciar a zona para onde é efectuada a primeira acção com bola da sequência ofensiva; (4) A interrupção da sequência ofensiva por falta sofrida, acompanhada ou não de uma exclusão, tem uma probabilidade significativa de activar o golo de sete metros. A não ocorrência de interrupção da sequência por falta sofrida, evidencia uma probabilidade significativa de activar o golo. No entanto, não é possível concluir que é significativa a probabilidade das interrupções por faltas sofridas influenciarem o resultado da sequência; (5) É significativa a probabilidade da utilização de meios tácticos anteriores à finalização influenciar a eficácia das sequências; (6) É significativa a probabilidade da relação numérica influenciar a eficácia das sequências.

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.

Situações de bola parada no jogo de futebol: as sequências de jogo a partir dos livres no meio campo ofensivo

O estudo do futebol com recurso à análise do jogo tem servido para a compreensão da tendência evolutiva do jogo, para nortear o processo de treino e preparar a competição de forma eficiente. No presente estudo pretende-se detectar padrões comportamentais ocorridos a partir de livres ofensivos. A metodologia observacional, com recurso à análise sequencial com transições, prospectiva e retrospectiva, foi utilizada para a realização do estudo. A amostra foi constituída pelas sequências de jogo referentes aos livres observados em 7 jogos (quartos de final, meias finais e final) do Campeonato Europeu de Futebol 2008. Os resultados obtidos permitiram concluir que: a maioria das faltas sofridas ocorre durante o ataque posicional (57,5%), ataque rápido (35,3%) e nos primeiros 30 minutos de cada parte do jogo (1ªparte- 32,7%; 2ªparte- 24,7%). A análise sequencial prospectiva e retrospectiva permite afirmar ser significativa a probabilidade de: 1) o livre marcado directamente, no corredor central, activar: a) formação da barreira com 3 ou mais defesas, com pelo menos um atacante e uma defesa mista; b)trajectória da bola sem efeito e desmarcação para eventual recarga; c) remate com o pé finalizando em golo ou golo iminente; 2) o livre marcado indirectamente das zonas laterais activar: a) 3 ou mais atacantes na grande área e defesa mista; b) desmarcação do atacante que finaliza, com efeito da bola para o 1º e 2º poste, havendo superioridade e igualdade numérica atacante na zona alvo; c) remate com a cabeça e golo parcial; 3) situações de finalização com perigo ou perigo relativo serem activadas: a) pelo pé ou cabeça nas zonas próximas da baliza, em superioridade ou igualdade numérica atacante na área alvo; b) pela trajectória da bola ao 1º e 2º poste com desmarcação; 4) situações de finalização sem perigo serem activadas na ZLLB e ausência de desmarcação

Promoção da actividade física laboral, como meio de prevenção e redução da dor, nos assistentes operacionais de acção directa

As lesões músculo-esqueléticas associadas ao trabalho, dentro dos assistentes operacionais de acção directa, atingem incidência elevada. Os idosos nas instituições são em grande parte dependentes, aumentando o nível da carga de trabalho sofrida por estes auxiliares no apoio directo. O presente trabalho pretende promover um Programa de Actividade Física Laboral, como forma de prevenção e redução da dor resultante daquelas lesões. Metodologia: a amostra total é constituída por 67 funcionários, de ambos sexos, divididos por dois grupos: 1) intervenção (n=37), e 2) controlo (n=30). A dor foi avaliada através de uma Ficha de Anamnese do Historial da Dor; da Escala Numérica da Dor (Circular Normativa da Direcção-Geral da Saúde, 2003) e do Questionário da Auto-Eficácia Dor Crónica desenvolvido por Anderson et al. (1995). A Aptidão Física foi avaliada através da bateria de testes do Eurofit para adultos (Oja & Tuxworth, 1995), sendo a composição corporal determinada através do IMC, cujos valores foram referenciados pela World Health Organization (2006) e do Perímetro da cintura referenciado pela Internacional Diabetes Federation (2006). A actividade física habitual e a prontidão para a mesma foram averiguadas através do Questionário de Avaliação da Actividade Física Habitual desenvolvido por Baecke et al. (1982) e pelo PAR-Q (ACSM, 2006), respectivamente. A auto-percepção do estado de saúde geral e da qualidade de vida foi analisada através do questionário MOS SF-36 de Ware & Sherbourne (Ferreira, 2000a, 2000b). Resultados: Após os 5 meses de aplicação do programa de intervenção, 56,5% dos indivíduos integrados no grupo de intervenção apresentaram redução de dor, e ocorreram 0% de novos casos de dor. Nos testes motores, este grupo apresentou melhoria na amplitude de movimento (no teste de abdução-do-ombro, =0,042). Na auto-percepção do estado de saúde geral verificaram-se melhorias significativas na dimensão física(=0,002).

Avaliação do risco de galgamento de estruturas portuárias: o caso do Porto de Ponta Delgada (Açores, Portugal)

A análise do galgamento de estruturas portuárias não só é importante para a avaliação da segurança de bens, pessoas e equipamentos e das atividades junto a elas desenvolvidas, como também a nível económico e financeiro. A finalidade deste trabalho é a aplicação da metodologia desenvolvida pelo Laboratório Nacional de Engenharia Civil (LNEC) para a avaliação do risco de galgamento de estruturas portuárias ao Porto de Ponta Delgada, Açores, num período de dois anos (2011 e 2012), para cinco secções nele enquadradas. A metodologia desenvolvida ao longo desde trabalho apresenta como componentes essenciais a caraterização da agitação marítima a que estão sujeitas as secções em estudo e o cálculo do caudal médio de galgamento por metro linear de estrutura. Estas duas variáveis, inicialmente estudadas e indispensáveis neste trabalho, são obtidas com base em dados de agitação marítima em águas profundas fornecidas pelo modelo regional de previsão de agitação WAVEWATCH III, que, acoplado ao modelo espetral SWAN e ao modelo de declive suave DREAMS, permite a obtenção da agitação marítima incidente na entrada do porto e no seu interior, respetivamente. Os resultados do modelo SWAN são validados mediante uma comparação com dados medidos in situ pela boia ondógrafo localizada ao largo da zona em estudo. Os parâmetros de agitação marítima obtidos para as cinco secções em análise permitem determinar o caudal médio de galgamento, com recurso à ferramenta NN_OVERTOPPING, baseada em redes neuronais.Em seguida, como resultado da combinação entre os valores de probabilidades e de consequências associadas, quando ultrapassado um determinado caudal médio de galgamento admissível anteriormente estabelecido para cada zona em estudo, é obtido um grau de risco de galgamento para cada zona analisada, o que permite criar um mapa de risco que servirá de informação para o planeamento de operações e de futuras intervenções nessa envolvente.

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.

On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.