Mineração de repositórios de software modelos de previsão de pedidos de evolução de software

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

Selecção de fornecedores utilizando o método analítico hierárquico (AHP) e a análise de risco de fornecimento na indústria farmacêutica: caso de estudo

Dissertação para a obtenção de Grau de Mestre em Engenharia e Gestão Industrial

Identificação modal e actualização de modelos de elementos finitos

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

Modelos de previsão da degradação de pavimentos: parâmetro IRI

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

Modelos Masculinos e Femininos no Oeste Americano de Annie Proulx

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Línguas, Literaturas e Culturas – Estudos Ingleses e Norte-Americanos

Pyruvate kinase and glucose-6-phosphate dehydrogenase deficies and their association with malaria - population genetics and proteomic studies

A malária é reconhecida como uma das principais forças selectivas a actuar na história recente no genoma humano. Inúmeros polimorfismos genéticos têm sido descritos como protectores contra a gravidade da malária, como o alelo HbS (designado de traço falciforme) e o alelo G6PD A- (associado à deficiência de G6PD). Mais recentemente, também a deficiência de PK foi associada com a protecção contra a malária. Evidências desta associação foram obtidas em estudos com modelos de roedor e estudos in vitro utilizando GV humanos deficientes em PK. Até à data, não foram obtidos dados em populações humanas que revelem esta associação: ainda não foi identificada uma variante de PK com uma prevalência elevada em regiões endémicas de malária e não foram identificadas marcas de selecção na região do gene que codifica para a PK (gene PKLR). Além disso, os mecanismos subjacentes à protecção contra a malária por deficiências enzimáticas dos GV não estão bem esclarecidos. Assim, os objectivos do presente estudo foram: investigar os polimorfismos genéticos humanos com associação com a malária em Cabo Verde; pesquisar marcas de selecção da malária na região do gene PKLR em populações Africanas; determinar a frequência da deficiência em PK e identificar uma eventual variante da enzima que possa estar sob selecção positiva em regiões endémicas de malária; avaliar o efeito das duas deficiências enzimáticas (PK e G6PD) na invasão e maturação do parasita em culturas in vitro de Plasmodium usando GV normais e deficientes; e analisar o perfil proteómico de GV infectados e não infectados, normais e com deficiência (em PK e G6PD), bem como de parasitas isolados de GV tanto deficientes como normais. Em Cabo Verde (área epidémica), não foram identificadas marcas de selecção pela malária, através da análise dos vários polimorfismos. No entanto, quando a análise foi realizada em dois países endémicos (Angola e Moçambique), foram detectadas várias marcas de selecção: a genotipagem de microssatélites (STRs) e polimorfismos de base única (SNPs) localizados na vizinhança do gene PKLR revelou uma diferenciação consideravelmente maior entre as populações Africana e Europeia (Portuguesa), do que a diferenciação determinada aquando da utilização de marcadores genéticos neutros. Além disso, uma região genómica de maior amplitude apresentou um Desequilíbrio de Ligação (LD) significativo no grupo de malária não grave (e não no grupo de malária grave), sugerindo que a malária poderá estar a exercer pressão selectiva sobre a região do genoma humano que envolve o gene PKLR. No estudo que incidiu na determinação da prevalência da deficiência de PK no continente Africano (realizado em Moçambique), esta revelou-se elevada - 4,1% - sendo o valor mais elevado descrito até ao momento a nível mundial para esta enzimopatia. Na pesquisa de mutações que pudessem estar na causa deste fenótipo (baixa actividade de PK), foi identificada uma mutação não sinónima 829G>A (277Glu>Lys), significativamente associada à baixa actividade enzimática. Esta mutação foi também identificada em Angola, São Tomé e Príncipe e Guiné Equatorial, onde a frequência de portadores heterozigóticos foi entre 2,6 e 6,7% (valores que se encontram entre os mais elevados descritos globalmente para mutações associadas à deficiência em PK). Não foi possível concluir acerca da associação entre a deficiência de PK e o grau de severidade da malária e da associação entre o alelo 829A e a mesma, devido ao baixo número de amostras. Os resultados dos ensaios de invasão/maturação do parasita sugeriram que, nos GV com deficiência de PK ou G6PD, a invasão (onde está envolvida a membrana do GV hospedeiro e o complexo apical do parasita) é mais relevante para a eventual protecção contra a malária do que a maturação. Os resultados da análise proteómica revelaram respostas diferentes por parte do parasita nas duas condições de crescimento (GV com deficiência de PK e GV com deficiência de G6PD). Esta resposta parece ser proporcional à gravidade da deficiência enzimática. Nos parasitas que cresceram em GV deficientes em G6PD (provenientes de um indivíduo assintomático), a principal alteração observada (relativamente às condições normais) foi o aumento do número de proteínas de choque térmico e chaperones, mostrando que os parasitas responderam às condições de stress oxidativo, aumentando a expressão de moléculas de protecção. Nos parasitas que cresceram em condições de deficit de PK (GV de indivíduo com crises hemolíticas regulares, dependente de transfusões sanguíneas), houve alteração da expressão de um maior número de proteínas (relativamente ao observado em condições normais), em que a maioria apresentou uma repressão da expressão. Os processos biológicos mais representados nesta resposta do parasita foram a digestão da hemoglobina e a troca de proteínas entre hospedeiro e parasita/remodelação da superfície do GV. Além disso, uma elevada percentagem destas proteínas com expressão alterada está relacionada com as fendas de Maurer, que desempenham um papel importante na patologia da infecção malárica. É colocada a hipótese de que a protecção contra a malária em GV deficientes em PK está relacionada com o processo de remodelação da membrana dos GV pelo parasita, o que pode condicionar a invasão por novos parasitas e a própria virulência da malária. Os resultados da análise do proteoma dos GV contribuirão para confirmar esta hipótese.

Modelos probabilísticos de previsão de fendilhamento em pavimentos rodoviários

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

Análise de custo-efectividade da terapêutica de ressincronização cardíaca : avaliação da selecção baseada na dessincronia mecânica

RESUMO - A Terapêutica de Ressincronização Cardíaca (TRC) apresenta benefícios significativos na classe funcional, função ventricular, hospitalização e mortalidade. É uma técnica com custos elevados e, com os actuais métodos de selecção de doentes, a taxa de não-respondedores ronda os 30%. Objectivo: Compreender se a inclusão da dessincronia mecânica (DM) na selecção de doentes para TRC contribui para a sua relação custo-efectividade, na perspectiva do Serviço Nacional de Saúde português. Metodologia: Estudo prospectivo baseado em coortes histórias de 12 meses de dois grupos submetidos a TRC com desfibrilhador, o grupo de intervenção com doentes seleccionados com inclusão da DM (n=133) e o de controlo com selecção baseada exclusivamente nas recomendações internacionais (n=71). Reuniram-se dados clínicos e de custos nos 12 meses subsequentes à implantação, para cálculo do rácio custo-efectividade incremental (RCEI). Resultados: O grupo de intervenção apresentou uma sobrevivência de 91% e o de controlo de 93%, aos 12 meses (p=0,335). O grupo de intervenção apresentou 60 re-internamentos e o de controlo 46 re-internamentos por qualquer causa aos 12 meses (p=0,032), com RCEI=6.886,09€/re-internamento evitado. O grupo de intervenção apresentou 19 re-internamentos e o de controlo apresentou 31 re-internamentos por Insuficiência Cardíaca (IC) descompensada aos 12 meses (p<0,001), com RCEI=2.686,26€/re-internamento por IC descompensada evitado. Relativamente à melhoria da classe funcional e da fracção de ejecção não foi possível estabelecer associações com custos (p>0,05). Conclusão: É seguro afirmar que recomendar a selecção com inclusão da DM, nos hospitais com capacidade instalada, é um passo positivo na redução de custos com re-internamentos de doentes com TRC.

O funcionalismo e o socioconstrutivismo no ensino da História e da Geografia: dois modelos em análise

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino da História e da Geografia no 3º Ciclo do Ensino Básico e Ensino Secundário

Paredes de alvenaria ordinária: estudo experimental com modelos simples e reforçados

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Civil na especialidade de Ciências da Construção

Métodos analíticos e numéricos do tipo elementos finitos contínuos e contínuos/descontínuos para o estudo de modelos de Boussinesq melhorados para a propagação de ondas

Dissertação para obtenção do Grau de Doutor em Matemática na área de especialização de Análise Numérica

Modelos de previsão de rodeiras em pavimentos rodoviários

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

Gestão soft da manutenção de automotoras UQE-S3500: aplicação de modelos de risco proporcionais

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia e Gestão Industrial.

Recuperação automática da modelação comportamental com aplicações ao ensaio baseado em modelos

O problema dos sistemas de software legados sem documentação ou com documentação obsoleta, continua a ser uma realidade no mundo empresarial. O progressivo aumento da dimensão e complexidade dos sistemas desenvolvidos vem aumentar a necessidade de existirem mecanismos de modelação e documentação de apoio às actividades de manutenção e teste. Apesar da investigação que tem sido levada a cabo para tentar apresentar cada vez melhores abordagens à resolução deste problema,o seu uso no mundo empresarial ainda é muito esparso. Tal deve-se, pelo menos em parte, ao facto de muitas das abordagens propostas acabarem por representar um acrescento do esforço e do tempo, que as organizações não estão em condições de disponibilizar. Esta dissertação contribui com uma abordagem automatizada de suporte às actividades de documentação de sistemas, de manutenção e de testes. Para demonstrar a aplicabilidade e usabilidade da abordagem, propõe-se a implementação de uma ferramenta de apoio. A abordagem proposta baseia-se em técnicas já existentes e consolidadas, mas propõe extensões que permitem melhorar a sua integração,usabilidade e eficiência na sua aplicação. O problema fulcral aqui tratado é a inexistência ou insuficiência de documentação sobre os sistemas desenvolvidos. De modo a mitigar este problema, é apresentado um mecanismo de recuperação da modelação dinâmica de sistemas legados e respectiva geração de artefactos documentais,nomeadamente diagramas de sequência (UML), cartões CRC e matrizes de CRUD. Finalmente, introduzem-se técnicas de rastreabilidade e de apoio a testes de qualidade e cobertura para os sistemas construídos, usando uma metáfora de coloração de diagramas UML.

De arquitecturas organizacionais em i* para arquitecturas baseadas em agentes: uma abordagem orientada a modelos

Os requisitos dizem, normalmente, o que um sistema deve fazer, por oposição a como fazê-lo. O contexto organizacional justifica e ajuda a compreender os porquês que levam à necessidade de certos requisitos importantes para um sistema de software ser bem sucedido. As técnicas de modelação de requisitos oferecem o conhecimento que permite a análise necessária nesta fase inicial do desenvolvimento. Contudo, a maioria das técnicas de requisitos são mais adequadas para uma fase posterior do processo da engenharia de requisitos. O desenvolvimento de software orientado a agentes procura preencher esta lacuna, mas é um paradigma relativamente recente. Para a consolidação deste novo paradigma, o projecto Tropos está a desenvolver uma abordagem para o desenvolvimento orientado a Agentes que se baseia nos conceitos sociais e intencionais oferecidos pela abordagem de modelação organizacional i*. No entanto, o uso do i* não é suficientemente expressivo como uma linguagem de descrição arquitectural. Reconhecendo no UML a capacidade de actuar como linguagem de descrição arquitectural, esta dissertação especifica as transformações necessárias dos modelos arquitecturais organizacionais descritos em i*, para os modelos arquitecturais descritos no perfil de Agência do UML utilizado para modelar sistemas multi-agente, através de uma abordagem orientada a modelos.