Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Integrating wind generation in the distribution network

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Energias Renováveis – Conversão Eléctrica e Utilização Sustentáveis

Information flow analysis using data-dependent logical propositions

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

Sustainability of systems interoperability in dynamic business networks

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

Evaluating Dynamic Signage for Emergency Evacuation using an Immersive Video Environment

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

Travel simulation inside an Immersive Video Environment (IVE)

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

Recursive neuro fuzzy techniques for online identification and control

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

War and propaganda in the XXth Century

Propaganda represented the sacrifice of soldiers in war and praised the power of the country. It has been around these images that all over the world entire populations were mobilized on the expectation of victory. Through the static image of printed posters or the newspaper news projected in cinemas all over the globe, governments sought to promote a patriotic spirit, encouraging the effort of individual sacrifice by sending a clear set of messages that directly appealed to the voluntary enlistment in the armies, messages that explained the important of rationing essential goods, of the intensification of food production or the purchase of war bonds, exacerbating feelings, arousing emotions and projecting an image divided between the notion of superiority and the idea of fear of the opponent. From press, in the First World War, to radio in World War II, to television and cinema from the 1950s onwards, propaganda proved to be a weapon as deadly as those managed by soldiers in the battlefield. That’s why it is essential to analyse and discuss the topic of War and Propaganda in the Twentieth Century. This conference is organized by the IHC and the CEIS20 and is part of the Centennial Program of the Great War, organized by the IHC, and the International Centennial Program coordinated by the Imperial War Museum in London.

A low-voltage RF-CMOS receiver front-end for a wireless fall detection microsystem

Dissertação para obtenção do Grau de Mestre em Engenharia Eletrotécnica e de Computadores, pela Universidade Nova de Ciências e Tecnologia

Maintaining the correctness of transactional memory programs

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

Dynamic adaptation of interaction models for stateful web services

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

Role of surfactants in filtration and fouling of colloidal silica

The EM3E Master is an Education Programme supported by the European Commission, the European Membrane Society (EMS), the European Membrane House (EMH), and a large international network of industrial companies, research centres and universities

Amorphous silicon e 3D sensors applied to object detection

Nowadays, existing 3D scanning cameras and microscopes in the market use digital or discrete sensors, such as CCDs or CMOS for object detection applications. However, these combined systems are not fast enough for some application scenarios since they require large data processing resources and can be cumbersome. Thereby, there is a clear interest in exploring the possibilities and performances of analogue sensors such as arrays of position sensitive detectors with the final goal of integrating them in 3D scanning cameras or microscopes for object detection purposes. The work performed in this thesis deals with the implementation of prototype systems in order to explore the application of object detection using amorphous silicon position sensors of 32 and 128 lines which were produced in the clean room at CENIMAT-CEMOP. During the first phase of this work, the fabrication and the study of the static and dynamic specifications of the sensors as well as their conditioning in relation to the existing scientific and technological knowledge became a starting point. Subsequently, relevant data acquisition and suitable signal processing electronics were assembled. Various prototypes were developed for the 32 and 128 array PSD sensors. Appropriate optical solutions were integrated to work together with the constructed prototypes, allowing the required experiments to be carried out and allowing the achievement of the results presented in this thesis. All control, data acquisition and 3D rendering platform software was implemented for the existing systems. All these components were combined together to form several integrated systems for the 32 and 128 line PSD 3D sensors. The performance of the 32 PSD array sensor and system was evaluated for machine vision applications such as for example 3D object rendering as well as for microscopy applications such as for example micro object movement detection. Trials were also performed involving the 128 array PSD sensor systems. Sensor channel non-linearities of approximately 4 to 7% were obtained. Overall results obtained show the possibility of using a linear array of 32/128 1D line sensors based on the amorphous silicon technology to render 3D profiles of objects. The system and setup presented allows 3D rendering at high speeds and at high frame rates. The minimum detail or gap that can be detected by the sensor system is approximately 350 μm when using this current setup. It is also possible to render an object in 3D within a scanning angle range of 15º to 85º and identify its real height as a function of the scanning angle and the image displacement distance on the sensor. Simple and not so simple objects, such as a rubber and a plastic fork, can be rendered in 3D properly and accurately also at high resolution, using this sensor and system platform. The nip structure sensor system can detect primary and even derived colors of objects by a proper adjustment of the integration time of the system and by combining white, red, green and blue (RGB) light sources. A mean colorimetric error of 25.7 was obtained. It is also possible to detect the movement of micrometer objects using the 32 PSD sensor system. This kind of setup offers the possibility to detect if a micro object is moving, what are its dimensions and what is its position in two dimensions, even at high speeds. Results show a non-linearity of about 3% and a spatial resolution of < 2µm.

Design and development of a microfluidic platform for use with colorimetric gold nanoprobe assays

Due to the importance and wide applications of the DNA analysis, there is a need to make genetic analysis more available and more affordable. As such, the aim of this PhD thesis is to optimize a colorimetric DNA biosensor based on gold nanoprobes developed in CEMOP by reducing its price and the needed volume of solution without compromising the device sensitivity and reliability, towards the point of care use. Firstly, the price of the biosensor was decreased by replacing the silicon photodetector by a low cost, solution processed TiO2 photodetector. To further reduce the photodetector price, a novel fabrication method was developed: a cost-effective inkjet printing technology that enabled to increase TiO2 surface area. Secondly, the DNA biosensor was optimized by means of microfluidics that offer advantages of miniaturization, much lower sample/reagents consumption, enhanced system performance and functionality by integrating different components. In the developed microfluidic platform, the optical path length was extended by detecting along the channel and the light was transmitted by optical fibres enabling to guide the light very close to the analysed solution. Microfluidic chip of high aspect ratio (~13), smooth and nearly vertical sidewalls was fabricated in PDMS using a SU-8 mould for patterning. The platform coupled to the gold nanoprobe assay enabled detection of Mycobacterium tuberculosis using 3 8l on DNA solution, i.e. 20 times less than in the previous state-of-the-art. Subsequently, the bio-microfluidic platform was optimized in terms of cost, electrical signal processing and sensitivity to colour variation, yielding 160% improvement of colorimetric AuNPs analysis. Planar microlenses were incorporated to converge light into the sample and then to the output fibre core increasing 6 times the signal-to-losses ratio. The optimized platform enabled detection of single nucleotide polymorphism related with obesity risk (FTO) using target DNA concentration below the limit of detection of the conventionally used microplate reader (i.e. 15 ng/μl) with 10 times lower solution volume (3 μl). The combination of the unique optical properties of gold nanoprobes with microfluidic platform resulted in sensitive and accurate sensor for single nucleotide polymorphism detection operating using small volumes of solutions and without the need for substrate functionalization or sophisticated instrumentation. Simultaneously, to enable on chip reagents mixing, a PDMS micromixer was developed and optimized for the highest efficiency, low pressure drop and short mixing length. The optimized device shows 80% of mixing efficiency at Re = 0.1 in 2.5 mm long mixer with the pressure drop of 6 Pa, satisfying requirements for the application in the microfluidic platform for DNA analysis.

Isolation and encapsulation of a natural colourant using green technologies

The use of natural pigments instead of synthetic colourants is receiving growing interest in the food industry. In this field, cactus pears (Opuntia spp.) have been identified to be a promising betalainic crops covering a wide coloured spectrum. The aim of this work was to develop adequate clean and mild methodologies for the isolation and encapsulation of betacyanins, from cactus pear fruits (Opuntia spp.). Firstly, two different emerging technologies, namely PLE (Pressurized Liquid Extraction) and HPCDAE (High Pressure Carbon Dioxide-Assisted Extraction), were exploited to isolation of betacyanins form cactus pear fruits. Different process conditions were tested for the maximum recovery of betacyanins. Results showed that highest extraction yields were achieved for HPCDAE and mass ratio of pressurized carbon dioxide vs. acidified water was the parameter that most affected the betacyanins extraction. At optimum conditions of HPCDAE, Opuntia spp. extract presented a total betacyanin content of 211 ± 10 mg/100 g whereas extracts obtained using conventional extraction, PLE in static and in dynamic mode presented a total betacyanin content of 85 ± 3, 191 ± 2 and 153 ± 5 mg/100 g, respectively. HPCDAE has proven to be a successful technology to extract betacyanins from Opuntia spp. fruits. Afterward, Supercritical Fluid Technology was exploited to develop lipidic particles of betalain-rich extract. A betacyanin-rich conventional extract was encapsulated by PGSS® (Particles from Gas Saturated Solutions) technique. Different process conditions were tested in order to model the encapsulation of betacyanins. The pressure had a negative effect on betacyanin encapsulation. Lower pressures leads to an increase in the betacyanin encapsulation. This effect was more pronounced at higher temperatures and lower equilibrium time. At these conditions, Opuntia spp. particles presented 64.4 ± 4.5 mg/100 g and high antioxidant capacity. When compared with the Opuntia spp. dried extract, lipidic particles contributed to a better homogenization of the pink colour after incorporation in ice cream.