Speculative execution by using software transactional memory

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

Byzantium: Contribuições para o desenvolvimento de um sistema de replicação de bases de dados tolerante a falhas bizantinas

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Modelação e controlo não-linear do sistema motor humano

Mestrado Integrado em Engenharia Electrotécnica e de Computadores

Medidas de bem‐estar e sustentabilidade: desenvolvimento de metodologias de análise e selecção de métricas

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia do Ambiente, perfil de Gestão e Sistemas Ambientais

Monitorização de sistema de baterias para veículos elétricos

Uma das maiores preocupações do mundo neste momento prende-se com o facto da grande dependência do petróleo e seus aglomerados. Esta dependência causa dois problemas: novos estudos fomentam o começo da escassez deste produto, atirando para cima o preço deste material precioso, e a poluição que que este causa. Um dos sectores mais dependentes e que mais polui, é o dos transportes. Nos últimos anos, o mundo teve finalmente noção deste problema e uma das apostas neste sector é o desenvolvimento da célula de combustível, uma tecnologia que utiliza água como combustível, podendo ser reutilizada. É uma tecnologia ainda em fase de introdução pelo que, para já, a médio prazo não será solução. Uma solução intermédia é a utilização de energia elétrica como ―combustível‖. Apesar de grande parte da produção de energia elétrica ser a partir da queima de derivados de petróleo, os motores elétricos são por si só muito mais eficientes comparando com os motores de combustão. Não se vai aqui debater se são uma solução com viabilidade devido à questão da transferência da dependência do petróleo do sector dos transportes para o sector da produção de energia elétrica. O objetivo deste trabalho será desenvolver um sistema de faça a gestão do ―combustível‖ dos veículos elétricos, ou seja, baterias. Essa gestão tem como objetivo aumentar a autonomia do veículo e prolongar o tempo de vida das baterias. Na primeira fase, uma introdução à atualidade dos veículos elétricos, fazendo uma análise às diferentes soluções. Serão referidas os diferentes tipos de baterias e suas características, passando depois para exemplos de sistemas de gestão de baterias. A explicação da ideia para este sistema vem com o capítulo projeto, ficando a implementação para o capítulo seguinte.

Desenvolvimento de um jogo de simulação do sistema de produção LEAN ferramentas: 5S, organização de layout e TPM

O Lean Thinking (Pensamento Magro) baseia-se no Sistema Toyota de Produção, também conhecido pela sigla TPS (Toyota Production System). Foi desenvolvido em ambiente fabril, em particular na indústria automóvel, por Taiichi Ohno (1988) com o principal objectivo de eliminar desperdícios. O Lean Thinking tem crescido e hoje é muito mais abrangente. Com o intuito de melhorar a aprendizagem dos conceitos e das práticas lean, têm sido desenvolvidos diversos jogos que simulam a utilização das diferentes ferramentas lean. Estes jogos têm uma vertente comercial e são especialmente dirigidos para a indústria contudo não se consegue encontrar um que consiga ser utilizado para simular individualmente as ferramentas Lean. No âmbito desta dissertação, foi desenvolvido um jogo didáctico para apoio nas aulas onde são estudadas as ferramentas Lean. As ferramentas Lean abordadas neste trabalho são: 5S, Organização de Layout e Total Productive Maintenance. O jogo desenvolvido permite introduzir as ferramentas individualmente e as simulações efectuadas possibilitam a análise das melhorias obtidas com a eliminação de desperdícios através da aplicação das diferentes ferramentas.

Efeito de alterações geométricas na resistência de juntas de sobreposição

A utilização de juntas coladas em aplicações industriais tem vindo a aumentar nos últimos anos, em detrimento dos métodos tradicionais de ligação tais como a soldadura, brasagem, ligações aparafusadas e rebitadas. As juntas de sobreposição simples são o tipo de juntas mais frequentemente utilizadas em aplicações industriais, porque são as mais simples de fabricar. No entanto, a aplicação descentrada da carga neste tipo de junta provoca efeitos de flexão que originam o aparecimento de tensões normais na direção da espessura do adesivo (arrancamento), reduzindo assim a resistência da junta colada. De uma maneira geral, existem dois tipos de métodos para reduzir as concentrações de tensões. O primeiro é utilizar alterações no próprio material, otimizando as propriedades do adesivo e do substrato, enquanto o segundo método envolve alterar a geometria da junta, como por exemplo utilizando filetes de adesivo, chanfros nas extremidades dos substratos, aplicar uma geometria ondulada ou dobrar os substratos na zona de sobreposição, ou ainda utilizar rasgos nos substratos ao longo da sobreposição. Neste trabalho é realizado um estudo experimental e numérico por Elementos Finitos de duas alterações efetuadas à geometria de juntas de sobreposição simples, de modo a aumentar a sua resistência comparativamente às juntas sem alteração geométrica. A primeira condição efetuada foi a utilização de rasgos nas extremidades do comprimento de sobreposição e a segunda foi a utilização de rasgos a meio do comprimento de sobreposição. No final do estudo experimental, verificou-se que a resistência da ligação foi significativamente melhorada com algumas das configurações testadas para cada alteração, e foi possível estabelecer em ambos os casos a configuração ótima. Numa fase posterior, procedeu-se à simulação numérica, que incluiu uma análise de tensões e previsão do comportamento das juntas através de modelos de dano coesivo. A análise permitiu obter os modos de rotura, as curvas força-deslocamento e a resistência das juntas. Obteve-se uma concordância bastante boa com os resultados experimentais, o que mostrou a adequabilidade do método de previsão proposto para estimar o comportamento das juntas.

Bridging the gap between closed and open data. System proposal for the Portuguese Legislation

Esta dissertação apresenta uma proposta de sistema capaz de preencher a lacuna entre documentos legislativos em formato PDF e documentos legislativos em formato aberto. O objetivo principal é mapear o conhecimento presente nesses documentos de maneira a representar essa coleção como informação interligada. O sistema é composto por vários componentes responsáveis pela execução de três fases propostas: extração de dados, organização de conhecimento, acesso à informação. A primeira fase propõe uma abordagem à extração de estrutura, texto e entidades de documentos PDF de maneira a obter a informação desejada, de acordo com a parametrização do utilizador. Esta abordagem usa dois métodos de extração diferentes, de acordo com as duas fases de processamento de documentos – análise de documento e compreensão de documento. O critério utilizado para agrupar objetos de texto é a fonte usada nos objetos de texto de acordo com a sua definição no código de fonte (Content Stream) do PDF. A abordagem está dividida em três partes: análise de documento, compreensão de documento e conjunção. A primeira parte da abordagem trata da extração de segmentos de texto, adotando uma abordagem geométrica. O resultado é uma lista de linhas do texto do documento; a segunda parte trata de agrupar os objetos de texto de acordo com o critério estipulado, produzindo um documento XML com o resultado dessa extração; a terceira e última fase junta os resultados das duas fases anteriores e aplica regras estruturais e lógicas no sentido de obter o documento XML final. A segunda fase propõe uma ontologia no domínio legal capaz de organizar a informação extraída pelo processo de extração da primeira fase. Também é responsável pelo processo de indexação do texto dos documentos. A ontologia proposta apresenta três características: pequena, interoperável e partilhável. A primeira característica está relacionada com o facto da ontologia não estar focada na descrição pormenorizada dos conceitos presentes, propondo uma descrição mais abstrata das entidades presentes; a segunda característica é incorporada devido à necessidade de interoperabilidade com outras ontologias do domínio legal, mas também com as ontologias padrão que são utilizadas geralmente; a terceira característica é definida no sentido de permitir que o conhecimento traduzido, segundo a ontologia proposta, seja independente de vários fatores, tais como o país, a língua ou a jurisdição. A terceira fase corresponde a uma resposta à questão do acesso e reutilização do conhecimento por utilizadores externos ao sistema através do desenvolvimento dum Web Service. Este componente permite o acesso à informação através da disponibilização de um grupo de recursos disponíveis a atores externos que desejem aceder à informação. O Web Service desenvolvido utiliza a arquitetura REST. Uma aplicação móvel Android também foi desenvolvida de maneira a providenciar visualizações dos pedidos de informação. O resultado final é então o desenvolvimento de um sistema capaz de transformar coleções de documentos em formato PDF para coleções em formato aberto de maneira a permitir o acesso e reutilização por outros utilizadores. Este sistema responde diretamente às questões da comunidade de dados abertos e de Governos, que possuem muitas coleções deste tipo, para as quais não existe a capacidade de raciocinar sobre a informação contida, e transformá-la em dados que os cidadãos e os profissionais possam visualizar e utilizar.

Sistema visual para Ground Truth de sistemas autónomos

Este trabalho visa contribuir para o desenvolvimento de um sistema de visão multi-câmara para determinação da localização, atitude e seguimento de múltiplos objectos, para ser utilizado na unidade de robótica do INESCTEC, e resulta da necessidade de ter informação externa exacta que sirva de referência no estudo, caracterização e desenvolvimento de algoritmos de localização, navegação e controlo de vários sistemas autónomos. Com base na caracterização dos veículos autónomos existentes na unidade de robótica do INESCTEC e na análise dos seus cenários de operação, foi efectuado o levantamento de requisitos para o sistema a desenvolver. Foram estudados os fundamentos teóricos, necessários ao desenvolvimento do sistema, em temas relacionados com visão computacional, métodos de estimação e associação de dados para problemas de seguimento de múltiplos objectos . Foi proposta uma arquitectura para o sistema global que endereça os vários requisitos identi cados, permitindo a utilização de múltiplas câmaras e suportando o seguimento de múltiplos objectos, com ou sem marcadores. Foram implementados e validados componentes da arquitectura proposta e integrados num sistema para validação, focando na localização e seguimento de múltiplos objectos com marcadores luminosos à base de Light-Emitting Diodes (LEDs). Nomeadamente, os módulos para a identi cação dos pontos de interesse na imagem, técnicas para agrupar os vários pontos de interesse de cada objecto e efectuar a correspondência das medidas obtidas pelas várias câmaras, método para a determinação da posição e atitude dos objectos, ltro para seguimento de múltiplos objectos. Foram realizados testes para validação e a nação do sistema implementado que demonstram que a solução encontrada vai de encontro aos requisitos, e foram identi cadas as linhas de trabalho para a continuação do desenvolvimento do sistema global.

Location-Based services - A crescente importância da localização

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

Transformador diferencial de variação linear: condicionamento de sinal e desmodulação síncrona

Dissertação para obtenção do grau de Mestre em Engenharia Eletrotécnica Ramo de Automação e eletrónica Industrial

O trabalho individual e o trabalho de grupo no processo de ensino-aprendizagem do estudo do meio no 1º Ciclo

Relatório Final apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1º e 2º ciclo do Ensino Básico

Aplicação ao ensino médico do método de aprendizagem por problemas (APP), 2ª Parte: A experiência da disciplina de Fisiopatologia entre 1992 e 1995

Educação Médica. 1997;8 (3): 156-173

Métodos de dimensionamento de cortinas de contenção autoportantes e mono-apoiadas: o problema das cargas verticais

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Civil na especialidade de Estruturas e Geotecnia