Refinamento de diagramas de classes: análise e verificação

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

Desenvolvimento de uma técnica de refinamento adaptativo hierárquico de malhas estruturadas em análise limite

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

Teoria básica das estruturas conceptuais

As Estruturas Conceptuais são um formalismo de representação de conhecimentos baseado em grafos, os chamados grafos conceptuais. A teoria foi inicialmente desenvolvida por John Sowa há dez anos. desde então, uma comunidade científica cada vez mais ampla tem-na utilizado em muitas áreas de aplicação e propôs várias alterações à teoria original. Também está em desenvolvimento uma implementação estado-da-arte gratuita e, além disso, os grafos conceptuais foram adoptados num padrão ANSI em preparação. Apesar desta actividade não existe de facto uma definição formal, completa, consistente e revista da Teoria das Estruturas Conceptuais. Esta dissertação vem contribuir para essa definição ao estender, refinar e clarificar as noções básicas da teoria. A clarificação dos grafos conceptuais em * grafos sintacticamente correctos, * grafos bem tipados, * grafos ontologicamente correctos, chamados grafos canónicos, * e grafos verdadeiros é a base da clarificação do significado das várias noções e serve de guia às extensões e aos refinamentos introduzidos. As principais extensões foram feitas no sistema de tipos e no esquema de dependências entre vértices de grafos, e o refinamento de quase todos os aspectos da teoria - em particular das regras de formação de grafos canónicos e de regras de inferência para os grafos verdadeiros - inclui o tratamento formal de algumas propostas informais de outros autores.

Arte e filosofia no pensamento de Nietzsche

Dissertação de Doutoramento em Filosofia

Determinação dos factores intervenientes na fórmula de capacidade de carga. Comparação com o EC7 e com os da literatura existente

Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Geológica (Geotecnia)

Uma extensão da representação de Munn e o grau de separação dos idempotentes de um block-group

Actas do Encontro de Algebristas Portugueses 2005, Braga, Portugal, Centro de Matemática da Universidade do Minho, (2006),p. 105-116

MicroECG: an integrated platform for the cardiac arrythmia detection and characterization

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e Computadores

Análise Multicrédito e análise de percursos de menor custo aplicadas ao transporte de CO2 no Mediterrâneo Ocidental

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Desenvolvimento de formulações de elementos finitos para problemas de transferência de calor

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

Aplicação do teorema cinemático da análise limite ao cálculo da capacidade resistente de fundações superficiais. Influência de aspectos tridimensionais

A expressão da capacidade resistente de fundações superficiais, proposta por Terzaghi (1943) para o caso de uma fundação corrida, sob carregamento vertical, centrado, e onde não se tem em conta a resistência do solo acima da base de fundação, tem sido alvo de diversos estudos ao longo do tempo, visando a melhoria dos factores associados à mesma, assim como a proposta de novos factores. Uma das metodologias disponíveis para tal tarefa é a Análise Limite, onde, através dos teoremas estático e cinemático é possível obter um intervalo que aproxima a carga de colapso. Com o recurso à implementação numérica do teorema cinemático (região superior) da análise limite numa plataforma de processamento paralelo, são realizados cálculos tridimensionais focados para os factores de forma, sγ, sq e sc; e para o factor de profundidade tridimensional, dq*, através da construção de modelos de elementos finitos com refinamento elevado. Os resultados obtidos permitem o encurtamento do intervalo de região inferior e superior e a observação do comportamento dos referidos factores com a evolução da forma e profundidade da fundação.

Argamassas de cal hidráulica natural NHL3.5 com metacaulino – Caracterização após três anos em cura laboratorial e marítima

A presente dissertação enquadra-se num estudo que esteve inserido nos projetos FCT-METACAL e FCT-LIMECONTECH, e cujos resultados foram já parcialmente publicados por GRILO et al. (2014a e 2014b). Nesse estudo produziram-se e caraterizaram-se, aos 28, 90 e 180 dias, argamassas de cal hidráulica natural, NHL3.5 produzida em Portugal, com substituições percentuais de ligante por metacaulino (Mk). Outro fator estudado foi a influência do tipo de cura, estando as amostras das argamassas sujeitas a 3 tipos de cura diferentes: standard, marítima e húmida. Aos 180 dias de cura, as argamassas com 10% de substituição de Mk apresentaram melhorias nas resistências mecânicas e melhorias evidentes no comportamento em relação à absorção de água e secagem. No geral as características das argamassas indiciavam a sua adequação para a conservação de fachadas de edifícios antigos e aplicação na reabilitação de edifícios com suportes mais resistentes ou mesmo em construção nova. No presente estudo foram caracterizadas as mesmas argamassas, desta feita com 3 anos de idade, e avaliada a evolução das suas caraterísticas até esta idade em cura marítima e húmida. Ao contrário do previsto, as resistências mecânicas das argamassas com substituição de metacaulino tiveram reduções nos seus valores, chegando, em alguns casos, a ficar abaixo dos valores das argamassas sem Mk. Pela caracterização química e mineralógica constata-se que essa redução foi motivada pela instabilidade dos compostos pozolânicos formados pelo Mk, embora esses compostos tenham sido os responsáveis pelas elevadas resistências mecânicas registadas a idades jovens. As argamassas com Mk apresentaram um melhor comportamento à água, devido ao refinamento da sua estrutura porosa. Dos ensaios realizados apenas o índice de secagem e o ensaio de resistência aos sais revelaram resultados piores nas argamassas com Mk, quando em comparação com as argamassas de referência, só com NHL. Em relação ao tipo de cura, verificou-se não existirem grandes diferenças entre a cura húmida e a marítima.

Arte e terrorismo: meta-representações da Arte

Tendo como ponto de partida os estudos da performance para a análise do terrorismo, a presente dissertação teve como resultado a possibilidade de reflectir sobre tácticas de incorporação, reperformance e meta-teatro, três conceitos que permitem compreender de que forma a arte assimila e se compreende em relação com o terrorismo. Apresenta, por um lado, documentos oficiais que demonstram a existência de um conflito quanto à definição de terrorismo, reflectindo sobre “terrorismo de estado” e “contra-estado”. Por outro lado, a partir da análise dos Surveillence Camera Players e da performance Three Posters, ou de artistas como Hasan Elahy e Alyson Wyper, esta dissertação defende que a arte reperforma “táticas de representação” e realização mediática do terrorismo, nomeadamente, o teatro panóptico, a tortura como performance e os vídeo-testemunhos de mártires como retratos e vídeo-performances.