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.

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.

Preliminary study of the acoustic behavior concerning an innovative prototype for indoor modular partitioning

This paper presents a preliminary acoustic study concerning the development of the first prototype of a patented removable module for interior partitioning. It is a prefabricated, vertical element for division of interior spaces that does not require the use of gutters or technical support. A set of such modules, linearly disposed, will create a division, allowing the personalization of any indoor area, including open office spaces, rooms, among others. The main characteristic that distinguishes this element from the existing solutions available on the market is that its mobility relies exclusively on a set of integrated bearings at the base of each module. Through an incorporated elevation system, the user can lower the module, move it to the desired position and re-elevate it until pressed against the ledge of the ceiling, making it stable. In this sense, and taking into account its acoustic behavior, several tests were made in the LNEC acoustics lab. Airborne sound insulation tests for different typologies of the prototype were conducted, according to the applicable standards EN ISO 354:2003, EN ISO 717-1:2013 and EN ISO 10140-2:2010. Some important conclusions and analysis of the prototype viability were extracted.

Development of an integrative approach for the characterization of ecological risk on marine transition ecosystems: the Sado Estuary as a case study

Estuaries and other transitional waters are complex ecosystems critically important as nursery and shelter areas for organisms. Also, humans depend on estuaries for multiple socio-economical activities such as urbanism, tourism, heavy industry, (taking advantage of shipping), fisheries and aquaculture, the development of which led to strong historical pressures, with emphasis on pollution. The degradation of estuarine environmental quality implies ecologic, economic and social prejudice, hence the importance of evaluating environmental quality through the identification of stressors and impacts. The Sado Estuary (SW Portugal) holds the characteristics of industrialized estuaries, which results in multiple adverse impacts. Still, it has recently been considered moderately contaminated. In fact, many studies were conducted in the past few years, albeit scattered due to the absence of true biomonitoring programmes. As such, there is a need to integrate the information, in order to obtain a holistic perspective of the area able to assist management and decision-making. As such, a geographical information system (GIS) was created based on sediment contamination and biomarker data collected from a decade-long time-series of publications. Four impacted and a reference areas were identified, characterized by distinct sediment contamination patterns related to different hot spots and diffuse sources of toxicants. The potential risk of sediment-bound toxicants was determined by contrasting the levels of pollutants with available sediment quality guidelines, followed by their integration through the Sediment Quality guideline Quotient (SQG-Q). The SQG-Q estimates per toxicant or class was then subjected to georreferencing and statistical analyses between the five distinct areas and seasons. Biomarker responses were integrated through the Biomarkers Consistency Indice and georreferenced as well through GIS. Overall, in spite of the multiple biological traits surveyed, the biomarker data (from several organisms) are accordant with sediment contamination. The most impacted areas were the shipyard area and adjacent industrial belt, followed by urban and agricultural grounds. It is evident that the estuary, although globally moderately impacted, is very heterogeneous and affected by a cocktail of contaminants, especially metals and polycyclic aromatic hydrocarbon. Although elements (like copper, zinc and even arsenic) may originate from the geology of the hydrographic basin of the Sado River, the majority of the remaining contaminants results from human activities. The present work revealed that the estuary should be divided into distinct biogeographic units, in order to implement effective measures to safeguard environmental quality.

Estudo experimental de um sistema BIPV/T-PCM

A União Europeia tem dado cada vez mais enfoque à eficiência energética nos edifícios e à sua capacidade de produção de energia, tendo lançado a directiva “Energy Performance of Buildings Directive” com o intuito de que até 31 de Dezembro de 2018 todos os edifícios novos sejam “nZEB-nearly Zero Energy Building”, o que significa que devem por um lado diminuir o seu consumo energético, aumentando a sua eficiência, e por outro lado produzir localmente e através de fontes de energias renováveis toda, ou quase toda, a energia de que necessitam. A presente tese está integrada no Projecto “Frame – Prefabricated systems (modules) for low-energy buildings: design, prototyping and testing” (Ref: PTDC/AURAQI-AQI/117782/2010) que está a ser desenvolvido na Unidade de Eficiência Energética do Laboratório Nacional de Energia e Geologia (LNEG). Neste trabalho é desenvolvido e analisado um sistema BIPV/T-PCM (Building Integrated Photovoltaic Thermal – Phase Change Materials) que engloba todo um novo conceito de captação, armazenamento e gestão da energia solar em fachadas. Este sistema é composto por um módulo fotovoltaico, uma bateria de PCM (Materiais de Mudança de Fase) e todo um sistema de fluxo de ar que permite a gestão da energia colectada e armazenada. Foi também desenvolvido teoricamente um código de gestão energética para a manipulação do sistema. O sistema em estudo apoia-se em três objectivos principais: aquecer no inverno; arrefecer no verão; e aumentar a eficiência do PV arrefecendo-o. Na sequência do trabalho realizado verificou-se que o conceito do sistema em estudo alcança alguns dos objectivos propostos, tendo ainda potencial para se continuar o seu desenvolvimento. O sistema em estudo é um sistema inovador, e como tal está a ser registada uma patente com base no conceito desenvolvido.