Framework development for providing accessibility to qualitative spatial calculi

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Aplicação de um software de cálculo automático na verificação aos estados limites de utilização em estruturas de Betão Armado

Actualmente e cada vez mais, são concebidos e utilizados programas de cálculo automático de Engenharia na realização de projectos de edifícios, que proporcionam aos engenheiros uma possibilidade avançada e rápida de execução, simulação e análise de edifícios para estruturas complexas e de elevada dimensão. Contudo, será necessário que os resultados deverão ser fiáveis de modo a não existirem consequências no comportamento real da estrutura a longo prazo. O presente relatório de estágio, refere-se à verificação aos estados limites de utilização (tensões, fendilhação e deformação) segundo o Eurocódigo 2, de uma estrutura porticada em betão armado, nomeadamente de um pórtico central pertencente a essa mesma estrutura recorrendo ao programa de cálculo automático da Autodesk o Robot Structural Analysis Professional 2014. O objectivo principal do presente trabalho consiste na comparação de resultados referente aos estados limites últimos e de utilização, pelos diferentes módulos de dimensionamento Required e Provided Reinforcement presentes no programa Robot. É destacado no final do relatório, considerando uma disposição de armadura optada analiticamente para o pórtico, uma análise comparativa de resultados referente aos estados limites de utilização entre o comando Typical Reinforcement do módulo Provided Reinforcement e por expressões analíticas. Refere-se contudo que, o procedimento do método analítico teve como base de cálculo uma aplicação desenvolvida para a verificação de elementos de betão armado aos estados limites de utilização segundo o Eurocódigo 2, com o nome de XD-Conserv tendo sido também comparado os resultados finais do mesmo.

Fluência de materiais

A presente dissertação apresenta uma abordagem ao tema Fluência, com um desenvolvimento geral para quatro materiais: madeira, alumínio, betão e aço. No entanto, particularizou-se este estudo apenas para dois destes materiais, a madeira e o alumínio. A madeira é um material viscoelástico, logo fortemente influenciado quando submetido a uma ação constante (Fluência) sendo agravada com alterações do teor em água. Iniciou-se o estudo, com uma introdução aos objetivos principais e a revisão teórica do conhecimento da propriedade mecânica (Fluência). Efetuou-se o estudo inicial para os quatro materiais indicados. Posteriormente, fez-se avaliação do efeito mecânico sortivo durante 60 dias com sete ciclos, em provetes de dimensões 20 x 20 x 400 mm3 (escala 1:10) de madeira de Eucalyptus globulus Labill. Recorrendo ao levantamento de um conjunto de modelos numéricos, procedeu-se ao ajuste e extrapolação do comportamento, em Fluência, para distintos períodos de tempo (1, 10 e 50 anos). Os resultados obtidos demonstraram que a madeira de Eucalipto não apresenta um limite no seu comportamento em Fluência, logo instável para os 60 dias de duração de ensaio. Os diferentes modelos de Fluência (x6) apresentaram uma variabilidade crescente de resultados, de acordo com o aumento de extrapolação dos resultados. Para a espécie de madeira de Eucalipto constatou-se ainda, que o ajuste e extrapolação de deformação para 50 anos ultrapassaram os valores sugeridos pelo Eurocódigo 5. A última parte deste trabalho, incidiu sobre o desenvolvimento da metodologia do ensaio em flexão de 3 provetes de alumínio similares, cujas dimensões eram de 20 x 20 x 400mm3. O objetivo desta metodologia foi avaliar o seu comportamento em Fluência. Numa primeira fase, foi aplicada uma carga contante de 160 kN. E numa segunda fase, foi aplicada o dobro dessa carga sujeita adicionalmente a uma temperatura bastante superior à temperatura ambiente (a rondar os 50 oC). Conclusivamente verificou-se que o alumínio não apresenta deformação por Fluência, para as condições de ensaio apresentadas.

Adaptation and Localization of Open Source ERPs - The case of Parties in OFBiz

O software tem vindo a tornar-se uma parte importante de qualquer empresa, cobrindo várias áreas funcionais, tais como manufaturação, vendas ou recursos humanos. O facto de uma empresa possuir um software capaz de ligar todas ou a maior parte das suas áreas funcionais e de acomodar as suas regras de negócio permite que estas tenham acesso a dados em tempo real nos quais se podem basear para tomar decisões. Estes tipos de software podem ser categorizados como Enterprise resource planning (ERP). Tendo em conta que estes tipos de software têm um papel importante dentro de uma empresa, a aquisição dos mesmos é algo que deve ser bem estudado. As grandes empresas normalmente optam pela aquisição de soluções comerciais uma vez que estas tendem a ter mais funcionalidades, maior suporte e certificações. Os ERPs comerciais representam, no entanto, um esforço elevado para que a sua compra possa ser feita, o que limita a possibilidade de aquisição dos mesmos por parte de pequenas ou médias empresas. No entanto, tal como acontece com a maior parte dos tipos de software, existem alternativas open-source. Se nos colocássemos na posição de uma pequena empresa, a tentar iniciar o seu negócio em Portugal, que tipo de ERP seria suficiente para os nossos requisitos? Teríamos que optar por comprar uma solução comercial, ou uma solução open-source seria suficiente? E se optássemos por desenvolver uma solução à medida? Esta tese irá responder a estas questões focando-se apenas num dos componentes base de qualquer ERP, a gestão de entidades. O componente de gestão de entidades é responsável por gerir todas as entidades com as quais a empresa interage abrangindo colaboradores, clientes, fornecedores, etc. A nível de funcionalidades será feita uma comparação entre um ERP comercial e um ERP open-source. Como os ERPs tendem a ser soluções muito genéricas é comum que estes não implementem todos os requisitos de um negócio em particular, como tal os ERPs precisam de ser extensíveis e adaptáveis. Para perceber até que ponto a solução open-source é extensível será feita uma análise técnica ao seu código fonte e será feita uma implementação parcial de um gerador de ficheiros de auditoria requerido pela lei Portuguesa, o SAF-T (PT). Ao estudar e adaptar a solução open-source podemos especificar o que teria que ser desenvolvido para podermos criar uma solução à medida de raiz.

A framework for real time MMO game content generation

Com o aumento de plataformas móveis disponíveis no mercado e com o constante incremento na sua capacidade computacional, a possibilidade de executar aplicações e em especial jogos com elevados requisitos de desempenho aumentou consideravelmente. O mercado dos videojogos tem assim um cada vez maior número de potenciais clientes. Em especial, o mercado de jogos massive multiplayer online (MMO) tem-se tornado muito atractivo para as empresas de desenvolvimento de jogos. Estes jogos suportam uma elevada quantidade de jogadores em simultâneo que podem estar a executar o jogo em diferentes plataformas e distribuídos por um "mundo" de jogo extenso. Para incentivar a exploração desse "mundo", distribuem-se de forma inteligente pontos de interesse que podem ser explorados pelo jogador. Esta abordagem leva a um esforço substancial no planeamento e construção desses mundos, gastando tempo e recursos durante a fase de desenvolvimento. Isto representa um problema para as empresas de desenvolvimento de jogos, e em alguns casos, e impraticável suportar tais custos para equipas indie. Nesta tese e apresentada uma abordagem para a criação de mundos para jogos MMO. Estudam-se vários jogos MMO que são casos de sucesso de modo a identificar propriedades comuns nos seus mundos. O objectivo e criar uma framework flexível capaz de gerar mundos com estruturas que respeitam conjuntos de regras definidas por game designers. Para que seja possível usar a abordagem aqui apresentada em v arias aplicações diferentes, foram desenvolvidos dois módulos principais. O primeiro, chamado rule-based-map-generator, contem a lógica e operações necessárias para a criação de mundos. O segundo, chamado blocker, e um wrapper à volta do módulo rule-based-map-generator que gere as comunicações entre servidor e clientes. De uma forma resumida, o objectivo geral e disponibilizar uma framework para facilitar a geração de mundos para jogos MMO, o que normalmente e um processo bastante demorado e aumenta significativamente o custo de produção, através de uma abordagem semi-automática combinando os benefícios de procedural content generation (PCG) com conteúdo gráfico gerado manualmente.

Context-aware personalization environment for mobile computing

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

A proof system for lock-free concurrency

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

A multiagent based shop floor transportation system simulator

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Purification of complex biopharmaceuticals with new processes, advanced analytics and computer-aided process design tools

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Service-oriented architecture for device lifecycle support in industrial automation

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores Especialidade: Robótica e Manufactura Integrada

Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

Improving contact center cost efficiency and customer experience in a retail company

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Controlling gene expression in enterobacteriaceae: studies on sRNAs and strategies for synthetic biology

Dissertation presented to obtain the Master Degree in Molecular, Genetics and Biomedicine

Characterization and surface reconstruction of objects in tomographic images of composite materials

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

Hydrogen permeation in parabolic trough receivers

The continued economic and population development puts additional pressure on the already scarce energetic sources. Thus there is a growing urge to adopt a sustainable plan able to meet the present and future energetic demands. Since the last two decades, solar trough technology has been demonstrating to be a reliable alternative to fossil fuels. Currently, the trough industry seeks, by optimizing energy conversion, to drive the cost of electricity down and therefore to place itself as main player in the next energetic age. One of the issues that lately have gained considerable relevance came from the observation of significant heat losses in a large number of receiver modules. These heat losses were attributed to slow permeation of traces of hydrogen gas through the steel tube wall into the vacuum annulus. The presence of hydrogen gas in the absorber tube results from the decomposition of heat transfer fluid due to the long-term exposure to 400°C. The permeated hydrogen acts as heat conduction mean leading to a decrease in the receivers performance and thus its lifetime. In order to prevent hydrogen accumulation, it has been common practice to incorporate hydrogen getters in the vacuum annulus of the receivers. Nevertheless these materials are not only expensive but their gas absorbing capacity can be insufficient to assure the required level of vacuum for the receivers to function. In this work the building of a permeation measurement device, vulnerabilities detected in the construction process and its overcome are described. Furthermore an experimental procedure was optimized and the obtained permeability results, of different samples were evaluated. The data was compared to measurements performed by an external entity. The reliability of the comparative data was also addressed. In the end conclusions on the permeability results for the different samples characteristics, feasibility of the measurement device are drawn and recommendations on future line of work were made.