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.

Fly by data link: feasibility of a relative navigation solution for aviation relying on a future L-band data link

Trabalho final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

Analysis of Forest Fires by means of Pseudo Phase Plane and Multidimensional Scaling Methods

Forest fires dynamics is often characterized by the absence of a characteristic length-scale, long range correlations in space and time, and long memory, which are features also associated with fractional order systems. In this paper a public domain forest fires catalogue, containing information of events for Portugal, covering the period from 1980 up to 2012, is tackled. The events are modelled as time series of Dirac impulses with amplitude proportional to the burnt area. The time series are viewed as the system output and are interpreted as a manifestation of the system dynamics. In the first phase we use the pseudo phase plane (PPP) technique to describe forest fires dynamics. In the second phase we use multidimensional scaling (MDS) visualization tools. The PPP allows the representation of forest fires dynamics in two-dimensional space, by taking time series representative of the phenomena. The MDS approach generates maps where objects that are perceived to be similar to each other are placed on the map forming clusters. The results are analysed in order to extract relationships among the data and to better understand forest fires behaviour.

Pozzolanic activity of oil-refining catalyst: evaluation by electron and atomic microscopy

The reuse of waste fluid catalytic cracking (FCC) catalyst as partial surrogate for cement can reduce the environmental impact of both the oil-refinery and cement production industries [1,2]. FCC catalysts can be considered as pozzolanic materials since in the presence of water they tend to chemically react with calcium hydroxide to produce compounds possessing cementitious properties [3,4]. In addition, partial replacement of cement with FCC catalysts can enhance the performance of pastes and mortars, namely by improving their compressive strength [5,6]. In the present work the reaction of waste FCC catalyst with Ca(OH)2 has been investigated after a curing time of 28 days by scanning electron microscopy (SEM) with electron backscattered signal (BSE) combined with X-ray energy dispersive spectroscopy (EDS) carried out with a JEOL JSM 7001F instrument operated at 15 kV coupled to an INCA pentaFetx3 Oxford spectrometer. The polished cross-sections of FCC particles embedded in resin have also been evaluated by atomic force microscopy (AFM) in contact mode (CM) using a NanoSurf EasyScan 2 instrument. The SEM/EDS results revealed that an inward migration of Ca occurred during the reaction. A weaker outward migration of Si and Al was also apparent (Fig. 1). The migration of Ca was not homogeneous and tended to follow high-diffusivity paths within the porous waste FCC catalyst particles. The present study suggests that the porosity of waste FCC catalysts is key for the migration/reaction of Ca from the surrounding matrix, playing an important role in the pozzolanic activity of the system. The topography images and surface roughness parameters obtained by atomic force microscopy can be used to infer the local porosity in waste FCC catalyst particles (Fig. 2).

The hamster cheek pouch: an immunologically privileged site suitable to the study of granulomatous infections

The hamster check pouch is an invagination of oral mucosa, characterized histologically as skin-like. In this paper we describe anatomical, histological and embriological features of the pouch and coment on the pouch as an immunologically privileged site since it lacks lymphatic drainage and has few Langerhans cells. We present the review from literature and our observations after inoculation in the pouch of mycobacteriae (BCG, Mycobacterium tuberculosis and Mycobacterium leprae) and a fungus (Paracoccidioides brasiliensis). Lesions in the pouch were granulomatous but smaller and long lasting; even granulomatous, the reaction was inefficient to control the proliferation of agents compared with inoculation in other sites, except for BCG. Appearance of immunity was also delayed or absent and, when it was detected, a sharp decrease in number of agents in pouch lesions was observed. These observations make the pouch an interesting site for the study of the role of immune system in infeccious diseases and in granuloma formation.

Characterisation of noisy speech channels in 2G and 3G mobile networks

As the wireless cellular market reaches competitive levels never seen before, network operators need to focus on maintaining Quality of Service (QoS) a main priority if they wish to attract new subscribers while keeping existing customers satisfied. Speech Quality as perceived by the end user is one major example of a characteristic in constant need of maintenance and improvement. It is in this topic that this Master Thesis project fits in. Making use of an intrusive method of speech quality evaluation, as a means to further study and characterize the performance of speech codecs in second-generation (2G) and third-generation (3G) technologies. Trying to find further correlation between codecs with similar bit rates, along with the exploration of certain transmission parameters which may aid in the assessment of speech quality. Due to some limitations concerning the audio analyzer equipment that was to be employed, a different system for recording the test samples was sought out. Although the new designed system is not standard, after extensive testing and optimization of the system's parameters, final results were found reliable and satisfactory. Tests include a set of high and low bit rate codecs for both 2G and 3G, where values were compared and analysed, leading to the outcome that 3G speech codecs perform better, under the approximately same conditions, when compared with 2G. Reinforcing the idea that 3G is, with no doubt, the best choice if the costumer looks for the best possible listening speech quality. Regarding the transmission parameters chosen for the experiment, the Receiver Quality (RxQual) and Received Energy per Chip to the Power Density Ratio (Ec/N0), these were subject to speech quality correlation tests. Final results of RxQual were compared to those of prior studies from different researchers and, are considered to be of important relevance. Leading to the confirmation of RxQual as a reliable indicator of speech quality. As for Ec/N0, it is not possible to state it as a speech quality indicator however, it shows clear thresholds for which the MOS values decrease significantly. The studied transmission parameters show that they can be used not only for network management purposes but, at the same time, give an expected idea to the communications engineer (or technician) of the end-to-end speech quality consequences. With the conclusion of the work new ideas for future studies come to mind. Considering that the fourth-generation (4G) cellular technologies are now beginning to take an important place in the global market, as the first all-IP network structure, it seems of great relevance that 4G speech quality should be subject of evaluation. Comparing it to 3G, not only in narrowband but also adding wideband scenarios with the most recent standard objective method of speech quality assessment, POLQA. Also, new data found on Ec/N0 tests, justifies further research studies with the intention of validating the assumptions made in this work.

Light controlled synthesis of nucleic acids

Dissertação apresentada para obtenção do grau de Doutor em Bioquímica - especialidade Biotecnologia, pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia

Simulador de sistema de informação ao público para rede de transportes metro-ferroviária

O aumento da complexidade e das funcionalidades a fornecer pelos equipamentos de apoio à exploração de sistemas de redes de transporte criou um novo paradigma no qual vários intervenientes são chamados a fornecer módulos. Estes devem comunicar entre si de forma transparente, não devendo haver limitações colocadas pela tecnologia utilizada ou pelo facto de serem de fabricantes distintos. Este projeto de dissertação resulta de uma proposta da empresa EFACEC para a construção de um Simulador de um Sistema de Informação ao Público numa rede de transportes metro-ferroviária, que utilize como interface para comunicação com a plataforma de gestão EFARail a tecnologia de Web Services. Nesta dissertação faz-se um levantamento dos principais equipamentos utilizados em Sistemas de Informação ao Público e das funcionalidades disponibilizadas, assim como dastecnologias de Web Services que permitem responder aos requisitos e funcionalidades gerais do sistema. A aplicação desenvolvida permite a simulação duma rede de equipamentos visuais e sonoros de informação ao público que compõem uma linha metro-ferroviária. Desta forma é possível testar novos módulos sem necessidade de uma integração em ambiente real. Com isto pretende-se otimizar o processo de desenvolvimento, diminuindo os custos associados ao teste dos sub-sistemas que compõem a solução.

Aquaponics System - An EPS@ISEP 2014 Spring Project

The goal of this project, one of the proposals of the EPS@ISEP 2014 Spring, was to develop an Aquaponics System. Over recent years Aquaponics systems have received increased attention due to its possibilities in helping reduce strain on resources within 1st and 3rd world countries. Aquaponics is the combination of Hydroponics and Aquaculture and mimics a natural environment in order to successfully apply and enhance the understanding of natural cycles within an indoor process. By using this knowledge of natural cycles it was possible to create a system with the capabilities similar to that of a natural environment with the benefits of electronic adaptions to enhance the overall efficiency of the system. The multinational team involved in its development was composed of five students, from five countries and fields of study. This paper covers their solution, involving overall design, the technology involved and the benefits it could bring to the current market. The team was able to achieve the final rendered Computer Aided Design (CAD) drawings, successfully performed all the electronic testing, and designed a solution under budget. Furthermore, the solution presented was deeply studied from the sustainability viewpoint and the team also developed a product specific marketing plan. Finally, the students involved in this project obtained new knowledge and skills.

An Enhanced WLAN Security System With FPGA Implementation for Multimedia Applications

Maintaining a high level of data security with a low impact on system performance is more challenging in wireless multimedia applications. Protocols that are used for wireless local area network (WLAN) security are known to significantly degrade performance. In this paper, we propose an enhanced security system for a WLAN. Our new design aims to decrease the processing delay and increase both the speed and throughput of the system, thereby making it more efficient for multimedia applications. Our design is based on the idea of offloading computationally intensive encryption and authentication services to the end systems’ CPUs. The security operations are performed by the hosts’ central processor (which is usually a powerful processor) before delivering the data to a wireless card (which usually has a low-performance processor). By adopting this design, we show that both the delay and the jitter are significantly reduced. At the access point, we improve the performance of network processing hardware for real-time cryptographic processing by using a specialized processor implemented with field-programmable gate array technology. Furthermore, we use enhanced techniques to implement the Counter (CTR) Mode with Cipher Block Chaining Message Authentication Code Protocol (CCMP) and the CTR protocol. Our experiments show that it requires timing in the range of 20–40 μs to perform data encryption and authentication on different end-host CPUs (e.g., Intel Core i5, i7, and AMD 6-Core) as compared with 10–50 ms when performed using the wireless card. Furthermore, when compared with the standard WiFi protected access II (WPA2), results show that our proposed security system improved the speed to up to 3.7 times.

Assessing and comparing the total antioxidant capacity of commercial beverages: application to beers, wines, waters and soft drinks using TRAP, TEAC and FRAP methods.

This work measures and tries to compare the Antioxidant Capacity (AC) of 50 commercial beverages of different kinds: 6 wines, 12 beers, 18 soft drinks and 14 flavoured waters. Because there is no reference procedure established for this purpose, three different optical methods were used to analyse these samples: Total Radical trapping Antioxidant Parameter (TRAP), Trolox Equivalent Antioxidant Capacity (TEAC) and Ferric ion Reducing Antioxidant Parameter (FRAP). These methods differ on the chemical background and nature of redox system. The TRAP method involves the transfer of hydrogen atoms while TEAC and FRAP involves electron transfer reactions. The AC was also assessed against three antioxidants of reference, Ascorbic acid (AA), Gallic acid (GA) and 6-hydroxy-2,5,7,8-tetramethyl- 2-carboxylic acid (Trolox). The results obtained were analyzed statistically. Anova one-way tests were applied to all results and suggested that methods and standards exhibited significant statistical differences. The possible effect of sample features in the AC, such as gas, flavours, food colouring, sweeteners, acidity regulators, preservatives, stabilizers, vitamins, juice percentage, alcohol percentage, antioxidants and the colour was also investigated. The AC levels seemed to change with brand, kind of antioxidants added, and kind of flavour, depending on the sample. In general, higher ACs were obtained for FRAP as method, and beer for kind of sample, and the standard expressing the smaller AC values was GA.

The Persistence of Memory

This paper analyzes several natural and man-made complex phenomena in the perspective of dynamical systems. Such phenomena are often characterized by the absence of a characteristic length-scale, long range correlations and persistent memory, which are features also associated to fractional order systems. For each system, the output, interpreted as a manifestation of the system dynamics, is analyzed by means of the Fourier transform. The amplitude spectrum is approximated by a power law function and the parameters are interpreted as an underlying signature of the system dynamics. The complex systems under analysis are then compared in a global perspective in order to unveil and visualize hidden relationships among them.

Integer/fractional decomposition of the impulse response of fractional linear systems

The decomposition of a fractional linear system is discussed in this paper. It is shown that it can be decomposed into an integer order part, corresponding to possible existing poles, and a fractional part. The first and second parts are responsible for the short and long memory behaviors of the system, respectively, known as characteristic of fractional systems.

Dynamical Analysis and Visualization of Tornadoes Time Series

In this paper we analyze the behavior of tornado time-series in the U.S. from the perspective of dynamical systems. A tornado is a violently rotating column of air extending from a cumulonimbus cloud down to the ground. Such phenomena reveal features that are well described by power law functions and unveil characteristics found in systems with long range memory effects. Tornado time series are viewed as the output of a complex system and are interpreted as a manifestation of its dynamics. Tornadoes are modeled as sequences of Dirac impulses with amplitude proportional to the events size. First, a collection of time series involving 64 years is analyzed in the frequency domain by means of the Fourier transform. The amplitude spectra are approximated by power law functions and their parameters are read as an underlying signature of the system dynamics. Second, it is adopted the concept of circular time and the collective behavior of tornadoes analyzed. Clustering techniques are then adopted to identify and visualize the emerging patterns.

Towards the Certification of Multicore Platforms in the Avionics Domain

Poster presented in Work in Progress Session, The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 27, Mar, 2015. Porto, Portugal.