Melhoria da qualidade para modelos orientados a objectivos: o caso da abordagem KAOS

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Contribuição para o desenvolvimento de modelos de previsão de fendilhamento de pavimentos rodoviários

Dissertação para obtenção do Grau de Mestre em Engenharia Civil

Abordagens axiomáticas da Teoria da Probabilidade

Os problemas relacionados com a axiomatização da Teoria da Probabilidade remontam ao início do nosso século. Se bem que, as várias tentativas de axiomatização, não surjam exclusivamente como uma resposta de índole matemática, foram vários os matemáticos que tentaram ver na construção axiomática, um processo de filiação da Teoria da Probabilidade como um subcapítulo da Teoria da Medida. O objectivo desta comunicação visa arrumar de alguma forma a dualidade que quase sempre está presente, separando o formalismo matemático (de que a Probabilidade se serve) da questão filosófica: “o que é a Probabilidade?” Basicamente, concluir-se-á que a pergunta acima formulada não faz sentido num contexto puramente matemático.

Modelos lineares gerais

Neste testo procede-se a uma apresentação muito sumária dos modelos lineares generalizados. Começa-se assim por definir esta família de modelos, apresentando-se então o processo de estimação dos seus parâmetros bem como o conceito de desvio (“deviance”). Finalmente exemplifica-se as potencialidades destes modelos com base num exemplo prático, procurando-se simultaneamente ilustrar o funcionamento do programa GLIM, especialmente concebido para lidar com modelos lineares generalizados.

Modelos de sobrevivência

A Análise de Sobrevivência engloba um conjunto de modelos e métodos destinados à análise estatística de dados que representam o tempo de vida para um grupo de indivíduos ou, mais geralmente, o tempo decorrido desde um instante inicial até à ocorrência de um determinado acontecimento. Portanto, tempo de vida ou tempo de sobrevivência pode ser usado simplesmente para designar uma variável aleatória não negativa. No entanto, o que distingue fundamentalmente a Análise de Sobrevivência de outras áreas da Estatística é a possível existência de dados censurados, correspondentes a indivíduos para os quais não foi observado todo o seu tempo de vida.

Linearidade e não linearidade em modelos para sucessões cronológicas

A maioria dos métodos clássicos de análise de uma sucessão cronológica baseia-se nas seguintes hipóteses fundamentais: estacionaridade, linearidade e gaussianidade da sucessão. Estas hipóteses são idealizações matemáticas que em alguns casos são apenas válidas como a aproximação à realidade. Nesse sentido, será natural em situações práticas proceder a ensaios onde essas hipóteses sejam testadas.

Modelos de estimação em contexto de não respostas

Neste texto apresenta-se algumas estratégias para se lidar com as não-respostas. Como veremos, o enviesamento cresce com a taxa de não-respostas. É difícil contudo, encontrar medidas objectivas do enviesamento, embora seja relativamente simples quantificar a extensão das não-respostas. Para minimizar os seus efeitos, apresentam-se estimadores que se apoiam em modelos de resposta.

Modelos log-lineares em tabelas de contingência

Os modelos log-lineares permitem enriquecer bastante a análise e interpretação das tabelas de contingência. Embora a nível teórico a sua importância já tenha sido reconhecida há bastante tempo, a nível da sua aplicação prática só há relativamente pouco tempo é que foi reconhecida, devido, sobretudo, às dificuldades de cálculo que lhe são inerentes e que só se resolveram completamente com o desenvolvimento dos computadores e do software adequado. Neste trabalho apresentam-se os métodos básicos da análise log-linear de tabelas de contingência bidimensionais e tridimensionais.

Modelos de análise factorial dinâmica: uma abordagem no domínio da frequência

O objectivo deste trabalho é o de apresentar as ferramentas teóricas necessárias para compreender o funcionamento dos modelos em Factores Dinâmicos. Dar-se-á ênfase às metodologias que utilizam conceitos ligados à Análise Espectral. A ideia fundamental subjacente à análise no domínio da frequência é de que qualquer processo estacionário pode ser visto como a soma de um número infinito de componentes periódicas não correlacionadas. A análise no domínio da frequência permite-nos estudar a relação entre as componentes periódicas das variáveis associadas e uma determinada frequência.

Modelos Teóricos de Difusão Dérmica: abordagens matemáticas e computacionais para terapias transdérmicas da Obesidade

É de senso comum que os nutrientes são fundamentais à vida e que a subnutrição leva à acumulação de gorduras que pode chegar a casos de obesidade, tendo como consequência inúmeras complicações de saúde. Diferentes estruturas neuroanatómicas do cérebro têm um papel essencial no comportamento digestivo. A ação de várias moléculas de sinalização (hormonas, neurotransmissores e neuropéptidos) resulta na regulação da ingestão de alimentos, sendo que, por exemplo, algumas hormonas podem aumentar a sensação de saciedade podendo diminuir o apetite e a ingestão calórica. A descoberta de hormonas envolvidas no balanço energético proporcionou novas oportunidades para desenvolver meios para o tratamento da obesidade. A transferência de medicação antiobesidade por via tópica ou transdérmica é um desafio pois a pele funciona como uma barreira natural e protetora. Sendo uma barreira com uma grande área de superfície e de fácil acessibilidade, a pele tem potencial interesse na libertação de fármacos específicos a cada terapia. Vários métodos têm sido estudados de modo a permitir um aumento da permeabilidade de moléculas terapêuticas para o interior da pele e através da pele. As biotecnologias transdérmicas são um campo de interesse cada vez maior, devido as aplicações dérmicas e farmacêuticas que lhes estão subjacentes. Existem vários modelos computacionais e matemáticos em uso que permite uma visão mais abrangente de puros dados experimentais e até mesmo permite a extrapolação prática de novas metodologias de difusão dérmica. Contudo, eles compreendem uma complexa variedade de teorias e suposições que atribuem a sua utilização para situações específicas. Este trabalho, primeiramente analisa, de forma extensiva, as várias metodologias teóricas para o estudo da difusão dérmica e sistematiza as suas características, realizando depois a fase prévia duma nova abordagem computacional para o estudo da difusão dérmica, que determina características microscópicas de moléculas capazes de provocar a perda de peso, tais como a Leptina e/ou os seus agonistas.

Análise de vários modelos numéricos de captura de superfície livre e aplicação a um dispositivo conversor de energia do tipo coluna de água oscilante

Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica

Influência dos três tipos de piso na probabilidade da entorse em árbitros de futebol

As lesões músculo-esqueléticas (LME) são comuns nas atividades desportivas, nomeadamente no futebol. No entanto, apesar da importância dos árbitros nesta modalidade, a maior parte dos estudos tem-se centrado nos jogadores de futebol. Sabe-se no entanto que as entorses são um dos tipos de lesões mais frequentes e que existem um conjunto de fatores de risco que potenciam a sua ocorrência, como o tipo de piso. Este estudo teve como objetivo comparar a influência de três tipos de piso (relvado natural, relvado artificial e terra batida) no risco de entorse lateral ou por inversão em árbitros. Este estudo foi desenvolvido em duas fases. A primeira pretendeu analisar a perceção de risco sobre os diferentes tipos de pisos. Para isso, foi elaborado e aplicado um questionário, envolvendo 157 árbitros. Este analisou questões referentes à caracterização pessoal dos árbitros, atividade de arbitragem e suas percepções sobre o nível de risco de entorse, nível de exigência do tornozelo, nível de esforço, nível e influência das condições meteorológicas e nível de aderência. Na segunda fase foram realizados dois testes práticos para a avaliação do risco de entorse em cada tipo de piso através da análise de dois indicadores: amplitude de variação do movimento de inversão/eversão, e equilíbrio. Foi analisada a amplitude do movimento de inversão/eversão nos três tipos de piso no momento em que o árbitro muda de direção à esquerda, através da realização do “Teste T”. O segundo teste consistiu na aplicação do YBalance Test para a determinação do equilíbrio. Foi determinado o maior alcance possível com o membro inferior dominante em cada uma das três direções permitidas. Os resultados deste estudo indicaram que os árbitros percebem o piso em terra batida como aquele que apresenta maior risco de desenvolvimento de LME e de entorse, maior nível de exigência de rotação do tornozelo, menor aderência e maior influência das condições meteorológicas. O piso relvado foi apontado como estando associado a um menor risco, mas a maiores níveis de exigência. Maiores amplitudes de variação no movimento de inversão foram identificadas para o piso de relvado natural e que o piso de terra batida foi aquele que ofereceu menor estabilidade aos atletas. O piso de relva artificial foi aquele que mostrou melhor desempenho nos testes aplicados. Este estudo permitiu analisar a influência de um fator externo, o tipo de piso, no risco de entorse em árbitros, permitindo compreender melhor a ocorrência desta lesão nestes profissionais.

Detecção de falhas baseada em modelos identificados com recurso a técnicas de subespaços

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

Modelos representacionais vs modelos operacionais na escrituralidade notarial médio-latina

Nas comunidades linguísticas modernas estudadas que apresentam uma estratificação social complexa , e na qual vigoram padrões linguísticos que de algum modo condicionam ou regulam o uso linguístico, verifica-se que não existe sempre coincidência entre os juízos que os sujeitos linguísticos são capazes de emitir sobre o uso linguístico e a realidade da produção linguística dos mesmos sujeitos. A distinção entre aquilo que os falantes/escreventes "dizem que dizem ou grafam" (ou "dizem qu e se deve dizer ou escrever" ) e "aquilo que de facto dizem/grafam " é um aspecto a que a emergência da sociolinguística veio dar a devida importância e relevância no contexto dos estudos linguísticos.