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

Modelação tridimensional de estruturas sujeitas a sismos utilizando o OpenSees

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

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

Modelação e análise não-linear do comportamento dinâmico de um passadiço pedonal

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

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

Conceitos de viscoelasticidade na modelação da fluência em estruturas mistas aço-betão

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

Métodos simplificados para o pré-dimensionamento de pontes suspensas

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

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.

Produção de compósitos Alumínio/NiTi através do processo híbrido de fricção linear

Os compósitos inteligentes de matriz metálica (CIMM) têm sido intensamente explorados nas últimas décadas devido à capacidade destes sistemas poderem alterar as suas propriedades mediante um estímulo externo. As ligas de Níquel-Titânio (Ni-Ti) são materiais inteligentes e desempenham, maioritariamente, funções de atuação ou controlo de vibrações nos sistemas em que se inserem, permitindo que estes apresentem características funcionais. A soldadura por fricção linear (SFL) tem sido uma alternativa aos processos de soldadura por fusão para materiais difíceis de soldar como as ligas de alumínio (AA) ou ainda na ligação de materiais dissimilares. No entanto, devido à ocorrência de defeitos, gerados como consequência do deficiente fluxo visco-plástico produzidos pela SFL, surgiram novas variantes deste processo, como a SFL assistida por corrente elétrica (SFLACE), que, por efeito de Joule, provoca o aquecimento do material processado e, consequente, aumento do fluxo visco-plástico, diminuindo ou eliminando a presença de defeitos. Este trabalho incide na produção de CIMM utilizando chapas de AA1100 reforçadas com Ni-Ti por SFLACE em configuração de junta sobreposta. As interfaces e os fluxos de material resultantes foram analisados recorrendo às técnicas de microscopia ótica (MO), SEM, EDS e difração de raio-x (DRX). O controlo de vibrações do CIMM produzido foi também estudado através de ensaios de vibração à temperatura ambiente, bem como a temperaturas superiores à de fim da formação da fase austenítica, e efetuaram-se ensaios de flexão e pull-out com vista à caracterização mecânica. Observou-se que o compósito produzido apresenta um fator de amortecimento superior quando o reforço se encontra na fase martensítica. O ensaio de pull-out confirmou a existência da ligação entre a matriz e o reforço, igualmente observada por SEM. O compósito produzido apresenta uma forte ligação entre os materiais dissimilares, com franca melhoria no caso das amostras processadas com corrente elétrica, obtendo-se um material com características funcionais.

Modelos de ação bélica na Crônica de D. Duarte de Meneses - Texto, Contexto e Representação

Bolsista de Doutorado (SFRH/BD/77667/2011) da Fundação de Ciência e Tecnologia, Portugal.

Modelos de avaliação do desempenho empresarial: guia de referência para empresas transformadoras do setor vitivinícola

Com elevada preponderância na competitividade de uma organização, a avaliação é cada vez mais utilizada no mercado atual. Pode ser aplicada tanto na implementação de projetos como na melhoria do processo existente e da atividade do negócio como um todo. Na lógica da avaliação global do negócio, a avaliação é cada vez mais vista como uma boa prática, uma vez que permite, de forma integrada, durante as atividades de monitorização, identificar erros, desvios face a metas fixadas ou outros problemas de maneira a corrigi-los preventivamente. Na lógica da melhoria da atividade de negócio, possibilita a identificação de potenciais falhas onde se pode incidir na melhoria dos mesmos, tendo um nível de abrangência superior aos tradicionais indicadores financeiros, o que permite avaliar o desempenho global da organização e correlacionar medidas e impactos. No presente trabalho elaborou-se um levantamento de modelos de avaliação macroeconómicos, empresariais e individuais e foi realizado um questionário às organizações do setor vitivinícola para aferir da sua maturidade na prática de avaliação, bem com o intuito de aferir acerca da utilidade e aplicabilidade de um guia de apoio a esta prática. Com base nestes elementos, criou-se um guia de avaliação de referência para empresas transformadoras do setor vitivinícola, tendo como base os conceitos inerentes aos modelos de avaliação empresariais: balanced scorecard (BSC), modelo Shingo, modelo European Foundation for Quality Management (EFQM) e tendo em conta a contextualização realizada ao setor vitivinícola, baseada nas respostas fornecidas aos questionários realizados no âmbito desta dissertação.. Como resultado, gerou-se um guia de apoio à adoção de práticas de avaliação que poderá ser aplicado com vista ao aumento da competitividade das organizações do setor transformador vitivinícola.