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

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

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.

Cálculo do limite superior para a capacidade discriminante de modelos preditivos baseados na informação disponível – variáveis dependentes dicotómicas

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação.

Esclonamento de máquinas de cogeração utilzando programação inteira mista

As centrais termoelétricas convencionais convertem apenas parte do combustível consumido na produção de energia elétrica, sendo que outra parte resulta em perdas sob a forma de calor. Neste sentido, surgiram as unidades de cogeração, ou Combined Heat and Power (CHP), que permitem reaproveitar a energia dissipada sob a forma de energia térmica e disponibilizá-la, em conjunto com a energia elétrica gerada, para consumo doméstico ou industrial, tornando-as mais eficientes que as unidades convencionais Os custos de produção de energia elétrica e de calor das unidades CHP são representados por uma função não-linear e apresentam uma região de operação admissível que pode ser convexa ou não-convexa, dependendo das caraterísticas de cada unidade. Por estas razões, a modelação de unidades CHP no âmbito do escalonamento de geradores elétricos (na literatura inglesa Unit Commitment Problem (UCP)) tem especial relevância para as empresas que possuem, também, este tipo de unidades. Estas empresas têm como objetivo definir, entre as unidades CHP e as unidades que apenas geram energia elétrica ou calor, quais devem ser ligadas e os respetivos níveis de produção para satisfazer a procura de energia elétrica e de calor a um custo mínimo. Neste documento são propostos dois modelos de programação inteira mista para o UCP com inclusão de unidades de cogeração: um modelo não-linear que inclui a função real de custo de produção das unidades CHP e um modelo que propõe uma linearização da referida função baseada na combinação convexa de um número pré-definido de pontos extremos. Em ambos os modelos a região de operação admissível não-convexa é modelada através da divisão desta àrea em duas àreas convexas distintas. Testes computacionais efetuados com ambos os modelos para várias instâncias permitiram verificar a eficiência do modelo linear proposto. Este modelo permitiu obter as soluções ótimas do modelo não-linear com tempos computationais significativamente menores. Para além disso, ambos os modelos foram testados com e sem a inclusão de restrições de tomada e deslastre de carga, permitindo concluir que este tipo de restrições aumenta a complexidade do problema sendo que o tempo computacional exigido para a resolução do mesmo cresce significativamente.

Modelação de uma embraiagem bimassa

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