Sistema de ficheiros transaccional sobre FUSE

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

Análise limite aplicada ao estudo tridimensional de paredes de alvenaria

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

Development of an interface for ontology‐based transformation between features of different types

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

RailScan – desenvolvimento de software para a detecção e caracterização de desgaste ondulatório em ferrovias

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 de Computadores

RepComp - replicated software components for improved performance

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

Concepção de um aparelho de medição 3D da coluna vertebral: Desenvolvimento de um software de detecção de apófises espinhosas e cálculo da distância ântero-posterior

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

Infra-estrutura de software baseada em standards de apoio à eficiência energética utilizando fontes de energia renovável

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 Electrotécnica e de Computadores

Verificação prática de anomalias em programas de memória transaccional

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

GVSOS: A New Client for OGC SOS Interface Standard

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

Eficiência energética e simulação dinâmica

Dissertação para obtenção do Grau de Mestre em Energias Renováveis - Conversão Eléctrica e Utilização Sustentáveis

Brain-computer interface (BCI): a methodological proposal to assess the impacts of medical applications in 2022

Based on the report for “Project IV” unit of the PhD programme on Technology Assessment (Doctoral Conference) at Universidade Nova de Lisboa (December 2011). This thesis research has the supervision of António Moniz (FCT-UNL and ITAS-KIT) and Armin Grunwald (Karlsruhe Institute of Technology-ITAS, Germany). Other members of the thesis committee are Mário Forjaz Secca (FCT-UNL) and Femke Nijboer (University of Twente, Netherlands).

Partial replication in distributed software transactional memory

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

Comparação dos programas Cypeterm e RCCTE-STE no âmbito da simulação dinâmica de edifícios

A presente dissertação tem como objetivo primordial realizar a comparação entre o programa de simulação monozona RCCTE-STE do LNEG e o programa de simulação dinâmica multizona Cypeterm que permite utilizar o motor de cálculo do EnergyPlus de forma a executar a simulação térmica de edifícios. Para tal foram considerados dois casos de estudo diferentes. O primeiro caso de estudo considerado foi um edifício de escritórios que funciona em open-space. É feita uma descrição detalhada dos dados inseridos nos dois programas, em particular os referentes aos elementos construtivos do edifício, aos sistemas de climatização e ventilação e aos perfis de ocupação, equipamentos e iluminação. Por fim realizou-se uma comparação crítica e exaustiva dos resultados entre os dois programas sendo que o Cypeterm foi designado como o melhor, devido às suas qualidades de cálculo do EnergyPlus e pela sua interface gráfica bastante intuitiva, que o torna bastante rápido e eficaz na introdução e alteração de dados. No segundo caso de estudo foi delineado um edifício com mais de 1000 m2 com múltiplos espaços no seu interior. Deste modo procedeu-se a uma comparação monozona face a uma simulação multizona que permitiu demonstrar que esta última é mais vantajosa e capaz, particularmente no dimensionamento do equipamento de climatização do edifício e análise energética de cada espaço. Foram também efetuadas alterações estruturais num dos edifícios estudados, de modo a perceber a sua influência a nível energética em qualquer edifício. De salientar ainda que todo este trabalho teve como base os regulamentos RCCTE e RSECE.

Novo Software para análise do epitélio nasal humano

A discinesia ciliar primária (DCP) resulta de disfunção ciliar no ser humano, estando associada a um conjunto de sintomas muito diversificados. É uma doença respiratória rara caracterizada por infecções respiratórias, situs inversus, infertilidade e hidrocefalia. Em Portugal não existe nenhum centro de diagnóstico da doença. Mas a inten-ção de criar um surgiu, seguindo o método de centros de diagnóstico para DCP utilizado noutros países. Este diagnóstico consiste em recolher amostras dos cílios do nariz, através do método de escovagem nasal e obter a gravação do batimento das células ciliadas por uma câmara de alta velocidade acoplada a um microscópio com objectivas de alta resolução. É possível estudar a DCP através da análise do comportamento físico dos cílios, e, para uma melhor abordagem, foi desenvolvido um programa executável, em C#, para análise destas amostras. Este, após a escolha de uma zona de interesse da sequência de imagens pelo utilizador (ROI), detecta as frequências do bati-mento ciliar, indicando uma lista com as percentagens das frequências obtidas e cria um mapa de frequências do ROI. A ferramenta permite ainda calcular o comprimento do cílio e realizar um estudo do movimento do mesmo, algo que ainda não foi abordado por outros programas. O código desenvolvido permitirá, assim, obter um diagnóstico de DCP em Por-tugal, rápido e nalguns casos com um melhor desempenho do que a inspecção visual seguida noutros centros de diagnóstico.

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.