Suporte a testes automáticos em aplicações web geradas com a OutSystems Platform

Dissertação de natureza científica para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models

Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Austria, Nov 10-14, 2013

Remote operation of embedded controllers designed using IOPT Petri-nets

This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems. © 2015 IEEE.

Improving Remote Voting Security with Code Voting

One of the major problems that prevents the spread of elections with the possibility of remote voting over electronic networks, also called Internet Voting, is the use of unreliable client platforms, such as the voter's computer and the Internet infrastructure connecting it to the election server. A computer connected to the Internet is exposed to viruses, worms, Trojans, spyware, malware and other threats that can compromise the election's integrity. For instance, it is possible to write a virus that changes the voter's vote to a predetermined vote on election's day. Another possible attack is the creation of a fake election web site where the voter uses a malicious vote program on the web site that manipulates the voter's vote (phishing/pharming attack). Such attacks may not disturb the election protocol, therefore can remain undetected in the eyes of the election auditors. We propose the use of Code Voting to overcome insecurity of the client platform. Code Voting consists in creating a secure communication channel to communicate the voter's vote between the voter and a trusted component attached to the voter's computer. Consequently, no one controlling the voter's computer can change the his/her's vote. The trusted component can then process the vote according to a cryptographic voting protocol to enable cryptographic verification at the server's side.

A flexible side information generation framework for distributed video coding

One of the most efficient approaches to generate the side information (SI) in distributed video codecs is through motion compensated frame interpolation where the current frame is estimated based on past and future reference frames. However, this approach leads to significant spatial and temporal variations in the correlation noise between the source at the encoder and the SI at the decoder. In such scenario, it would be useful to design an architecture where the SI can be more robustly generated at the block level, avoiding the creation of SI frame regions with lower correlation, largely responsible for some coding efficiency losses. In this paper, a flexible framework to generate SI at the block level in two modes is presented: while the first mode corresponds to a motion compensated interpolation (MCI) technique, the second mode corresponds to a motion compensated quality enhancement (MCQE) technique where a low quality Intra block sent by the encoder is used to generate the SI by doing motion estimation with the help of the reference frames. The novel MCQE mode can be overall advantageous from the rate-distortion point of view, even if some rate has to be invested in the low quality Intra coding blocks, for blocks where the MCI produces SI with lower correlation. The overall solution is evaluated in terms of RD performance with improvements up to 2 dB, especially for high motion video sequences and long Group of Pictures (GOP) sizes.

Modelling of n-stage Blumlein stacked lines for bipolar pulse generation

A Blumlein line is a particular Pulse Forming Line, PFL, configuration that allows the generation of high-voltage sub-microsecond square pulses, with the same voltage amplitude as the dc charging voltage, into a matching load. By stacking n Blumlein lines one can multiply in theory by n the input dc voltage charging amplitude. In order to understand the operating behavior of this electromagnetic system and to further optimize its operation it is fundamental to theoretically model it, that is to calculate the voltage amplitudes at each circuit point and the time instant that happens. In order to do this, one needs to define the reflection and transmission coefficients where impedance discontinuity occurs. The experimental results of a fast solid-state switch, which discharges a three stage Blumlein stack, will be compared with theoretical ones.

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Mantle source heterogeneity, magma generation and magmatic evolution at Terceira Island (Azoresarchipelago): Constraints from elemental and isotopic (Sr, Nd, Hf, and Pb) data

This work addresses the present-day (<100 ka) mantle heterogeneity in the Azores region through the study of two active volcanic systems from Terceira Island. Our study shows that mantle heterogeneities are detectable even when "coeval" volcanic systems (Santa Barbara and Fissural) erupted less than 10 km away. These volcanic systems, respectively, reflect the influence of the Terceira and D. Joao de Castro Bank end-members defined by Beier et at (2008) for the Terceira Rift Santa Barbara magmas are interpreted to be the result of mixing between a HIMU-type component, carried to the upper mantle by the Azores plume, and the regional depleted MORB magmas/source. Fissural lavas are characterized by higher Ba/Nb and Nb/U ratios and less radiogenic Pb-206/Pb-204, Nd-143/Nd-144 and Hf-176/Hf-177, requiring the small contribution of delaminated sub-continental lithospheric mantle residing in the upper mantle. Published noble gas data on lavas from both volcanic systems also indicate the presence of a relatively undegassed component, which is interpreted as inherited from a lower mantle reservoir sampled by the ascending Azores plume. As inferred from trace and major elements, melting began in the garnet stability field, while magma extraction occurred within the spinel zone. The intra-volcanic system's chemical heterogeneity is mainly explained by variable proportions of the above-mentioned local end-members and by crystal fractionation processes. (C) 2011 Elsevier By. All rights reserved.

Solid State Marx Modulator with Blumlein Stack for Bipolar Pulse Generation

Sub-nanosecond bipolar high voltage pulses are a very important tool for food processing, medical treatment, waste water and exhaust gas processing. A Hybrid Modulator for sub-microsecond bipolar pulse generation, comprising an unipolar solid-state Marx generator connected to a load through a stack Blumlein system that produces bipolar pulses and further multiplies the pulse voltage amplitude, is presented. Experimental results from an assembled prototype show the generation of 1000 V amplitude bipolar pulses with 100 ns of pulse width and 1 kHz repetition rate.

Side information creation for efficient Wyner-Ziv video coding: Classifying and reviewing

Video coding technologies have played a major role in the explosion of large market digital video applications and services. In this context, the very popular MPEG-x and H-26x video coding standards adopted a predictive coding paradigm, where complex encoders exploit the data redundancy and irrelevancy to 'control' much simpler decoders. This codec paradigm fits well applications and services such as digital television and video storage where the decoder complexity is critical, but does not match well the requirements of emerging applications such as visual sensor networks where the encoder complexity is more critical. The Slepian Wolf and Wyner-Ziv theorems brought the possibility to develop the so-called Wyner-Ziv video codecs, following a different coding paradigm where it is the task of the decoder, and not anymore of the encoder, to (fully or partly) exploit the video redundancy. Theoretically, Wyner-Ziv video coding does not incur in any compression performance penalty regarding the more traditional predictive coding paradigm (at least for certain conditions). In the context of Wyner-Ziv video codecs, the so-called side information, which is a decoder estimate of the original frame to code, plays a critical role in the overall compression performance. For this reason, much research effort has been invested in the past decade to develop increasingly more efficient side information creation methods. This paper has the main objective to review and evaluate the available side information methods after proposing a classification taxonomy to guide this review, allowing to achieve more solid conclusions and better identify the next relevant research challenges. After classifying the side information creation methods into four classes, notably guess, try, hint and learn, the review of the most important techniques in each class and the evaluation of some of them leads to the important conclusion that the side information creation methods provide better rate-distortion (RD) performance depending on the amount of temporal correlation in each video sequence. It became also clear that the best available Wyner-Ziv video coding solutions are almost systematically based on the learn approach. The best solutions are already able to systematically outperform the H.264/AVC Intra, and also the H.264/AVC zero-motion standard solutions for specific types of content. (C) 2013 Elsevier B.V. All rights reserved.

Design and performance of a novel low-density parity-check code for distributed video coding

Low-density parity-check (LDPC) codes are nowadays one of the hottest topics in coding theory, notably due to their advantages in terms of bit error rate performance and low complexity. In order to exploit the potential of the Wyner-Ziv coding paradigm, practical distributed video coding (DVC) schemes should use powerful error correcting codes with near-capacity performance. In this paper, new ways to design LDPC codes for the DVC paradigm are proposed and studied. The new LDPC solutions rely on merging parity-check nodes, which corresponds to reduce the number of rows in the parity-check matrix. This allows to change gracefully the compression ratio of the source (DCT coefficient bitplane) according to the correlation between the original and the side information. The proposed LDPC codes reach a good performance for a wide range of source correlations and achieve a better RD performance when compared to the popular turbo codes.

Optimizing the renewable generation mix in the Portuguese power system based on temporal and spatial diversity

Renewable energy sources (RES) have unique characteristics that grant them preference in energy and environmental policies. However, considering that the renewable resources are barely controllable and sometimes unpredictable, some challenges are faced when integrating high shares of renewable sources in power systems. In order to mitigate this problem, this paper presents a decision-making methodology regarding renewable investments. The model computes the optimal renewable generation mix from different available technologies (hydro, wind and photovoltaic) that integrates a given share of renewable sources, minimizing residual demand variability, therefore stabilizing the thermal power generation. The model also includes a spatial optimization of wind farms in order to identify the best distribution of wind capacity. This methodology is applied to the Portuguese power system.

Micro-generation Evaluation of the Zero Emissions Technologies in the Portuguese Market

Micro-generation is the small scale production of heat and/or electricity from a low carbon source and can be a powerful driver for carbon reduction, behavior change, security of supply and economic value. The energy conversion technologies can include photovoltaic panels, micro combined heat and power, micro wind, heat pumps, solar thermal systems, fuel cells and micro hydro schemes. In this paper, a small research of the availability of the conversion apparatus and the prices for the micro wind turbines and photovoltaic systems is made and a comparison between these two technologies is performed in terms of the availability of the resource and costs. An analysis of the new legal framework published in Portugal is done to realize if the incentives to individualspsila investment in sustainable and local energy production is worth for their point of view. An economic evaluation for these alternatives, accounting with the governmentpsilas incentives should lead, in most cases, into attractive return rates for the investment. Apart from the attractiveness of the investment there are though other aspects that should be taken into account and those are the benefits that these choices have to us all. The idea is that micro-generation will not only make a significant direct contribution to carbon reduction targets, it will also trigger a multiplier effect in behavior change by engaging hearts and minds, and providing more efficient use of energy by householders. The diversified profile of power generation by micro-generators, both in terms of location and timing, should reduce the impact of intermittency or plant failures with significant gains for security of supply.

Renewable energy in Islands: an integrated proposal for electricity generation and transports

The purpose of this article is to analyse and evaluate the economical, energetic and environmental impacts of the increasing penetration of renewable energies and electrical vehicles in isolated systems, such as Terceira Island in Azores and Madeira Island. Given the fact that the islands are extremely dependent on the importation of fossil fuels - not only for the production of energy, but also for the transportation’s sector – it’s intended to analyse how it is possible to reduce that dependency and determine the resultant reduction of pollutant gas emissions. Different settings have been analysed - with and without the penetration of EVs. The Terceira Island is an interesting case study, where EVs charging during off-peak hours could allow an increase in geothermal power, limited by the valley of power demand. The percentage of renewable energy in the electric power mix could reach the 74% in 2030 while at the same time, it is possible to reduce the emissions of pollutant gases in 45% and the purchase of fossil fuels in 44%. In Madeira, apart from wind, solar and small hydro power, there are not so many endogenous resources and the Island’s emission factor cannot be so reduced as in Terceira. Although, it is possible to reduce fossil fuels imports and emissions in 1.8% in 2030 when compared with a BAU scenario with a 14% of the LD fleet composed by EVs.

Renewable energy in Islands: an integrated proposal for electricity generation and transports

The purpose of this article is to analyse and evaluate the economical, energetic and environmental impacts of the increasing penetration of renewable energies and electrical vehicles in isolated systems, such as Terceira Island in Azores and Madeira Island. Given the fact that the islands are extremely dependent on the importation of fossil fuels - not only for the production of energy, but also for the transportation’s sector – it’s intended to analyse how it is possible to reduce that dependency and determine the resultant reduction of pollutant gas emissions. Different settings have been analysed - with and without the penetration of EVs. The Terceira Island is an interesting case study, where EVs charging during off-peak hours could allow an increase in geothermal power, limited by the valley of power demand. The percentage of renewable energy in the electric power mix could reach the 74% in 2030 while at the same time, it is possible to reduce the emissions of pollutant gases in 45% and the purchase of fossil fuels in 44%. In Madeira, apart from wind, solar and small hydro power, there are not so many endogenous resources and the Island’s emission factor cannot be so reduced as in Terceira. Although, it is possible to reduce fossil fuels imports and emissions in 1.8% in 2030 when compared with a BAU scenario with a 14% of the LD fleet composed by EVs.