Towards Certifiable Multicore-based Platforms for Avionics

Work in Progress Session, 21st IEEE Real-Time and Embedded Techonology and Applications Symposium (RTAS 2015). 13 to 16, Apr, 2015, pp 27-28. Seattle, U.S.A..

Spatio-temporal alignment of pedobarographic image sequences

O documento em anexo encontra-se na versão post-print (versão corrigida pelo editor).

Cooperative scheduling system with emergent swarm based behavior

This paper presents a Swarm based Cooperation Mechanism for scheduling optimization. We intend to conceptualize real manufacturing systems as interacting autonomous entities in order to support decision making in agile manufacturing environments. Agents coordinate their actions automatically without human supervision considering a common objective – global scheduling solution taking advantages from collective behavior of species through implicit and explicit cooperation. The performance of the cooperation mechanism will be evaluated consider implicit cooperation at first stage through ACS, PSO and ABC algorithms and explicit through cooperation mechanism application.

The verification of temporal KBS: SPARSE - a case study in power systems

In this paper we present VERITAS, a tool that focus time maintenance, that is one of the most important processes in the engineering of the time during the development of KBS. The verification and validation (V&V) process is part of a wider process denominated knowledge maintenance, in which an enterprise systematically gathers, organizes, shares, and analyzes knowledge to accomplish its goals and mission. The V&V process states if the software requirements specifications have been correctly and completely fulfilled. The methodologies proposed in software engineering have showed to be inadequate for Knowledge Based Systems (KBS) validation and verification, since KBS present some particular characteristics. VERITAS is an automatic tool developed for KBS verification which is able to detect a large number of knowledge anomalies. It addresses many relevant aspects considered in real applications, like the usage of rule triggering selection mechanisms and temporal reasoning.

Intelligent behavior in a Cyber-Ambient training system for control center operators

This paper deals with the application of an intelligent tutoring approach to delivery training in diagnosis procedures of a Power System. In particular, the mechanisms implemented by the training tool to support the trainees are detailed. This tool is part of an architecture conceived to integrate Power Systems tools in a Power System Control Centre, based on an Ambient Intelligent paradigm. The present work is integrated in the CITOPSY project which main goal is to achieve a better integration between operators and control room applications, considering the needs of people, customizing requirements and forecasting behaviors.

Seller, buyer and VPP agents behavior on a simulated electricity market

Competitive electricity markets are complex environments, involving a large number of different entities, playing in a dynamic scene to obtain the best advantages and profits. MASCEM is an electricity market simulator able to model market players and simulate their operation in the market. As market players are complex entities, having their characteristics and objectives, making their decisions and interacting with other players, a multi-agent architecture is used and proved to be adequate. MASCEM players have learning capabilities and different risk preferences. They are able to refine their strategies according to their past experience (both real and simulated) and considering other agents’ behavior. Agents’ behavior is also subject to its risk preferences.

Case-based reasoning for self-optimizing behavior

In this paper we present a Self-Optimizing module, inspired on Autonomic Computing, acquiring a scheduling system with the ability to automatically select a Meta-heuristic to use in the optimization process, so as its parameterization. Case-based Reasoning was used so the system may be able of learning from the acquired experience, in the resolution of similar problems. From the obtained results we conclude about the benefit of its use.

O efeito da técnica de inibição de Jones nos músculos Masseter e temporal nas disfunções temporomandibulares

Introdução: A disfunção temporomandibular (DTM), de causa muscular, caracteriza-se por uma dor músculo-esquelética crónica, com sinais e sintomas específicos como a presença de Trigger Points (TrPs). Objetivo: Avaliar o efeito da Técnica de Inibição de Jones (TIJ) nos músculos masseter e temporal em indivíduos com DTM, e a identificação dos sinais e sintomas, a relação entre a severidade da DTM, a ansiedade e a qualidade de sono. Métodos: Estudo quasi-experimental, constituído por 16 indivíduos no grupo experimental (GE) e 17 grupo controle (GC). O grau de severidade foi avaliado pelo Índice de Helkimo e as alterações do sono pelo questionário de Pittsburgh sobre a qualidade do sono. Apenas o GE foi sujeito a uma TIJ nos TrPs latentes dos músculos masseter e temporal. Os dois grupos foram avaliados pré-intervenção (M0), pós-intervenção (M1) e 3 semanas após (M2), as amplitudes de movimento ativas de abertura, lateralidade direita/esquerda e protusão da boca bem como a dor (EVA) em repouso e na abertura máxima. Resultados: Foi possível observar que quanto maior o grau de DTM, maior a frequência de ansiedade e pior a qualidade do sono. Observou-se um decréscimo de TrPs, no GE, após a aplicação da técnica, principalmente no masseter. Não foi possível verificar diferenças inter-grupos. Contudo, observou-se no GE uma melhoria em todas as amplitudes avaliadas entre o M0 e o M2. Em relação à EVA em repouso e na abertura máxima, o GE demonstrou diminuição da dor no M1 e manteve valores inferiores no M2. Conclusão: Verifica-se uma diminuição dos TrPs, uma melhoria das amplitudes ativas bem como uma diminuição da dor após a aplicação da TIJ no GE. Já ao longo do tempo, o efeito é menos expressivo contudo observam-se valores inferiores comparativamente a M0.

Static and hydrodynamic monitoring of citalopram based on its electro-oxidation behavior at a glassy-carbon surface

The electrooxidative behavior of citalopram (CTL) in aqueous media was studied by cyclic voltammetry (CV) and square-wave voltammetry (SWV) at a glassy-carbon electrode. The electrochemical behaviour of CTL involves two electrons and two protons in the irreversible and diffusion controlled oxidation of the tertiary amine group. The maximum analytical signal was obtained in a phosphate buffer (pH ¼ 8.2). For analytical purposes, an SWV method and a flow-injection analysis (FIA) system with amperometric detection were developed. The optimised SWV method showed a linear range between 1.10 10 5–1.20 10 4 molL 1, with a limit of detection (LOD) of 9.5 10 6 molL 1. Using the FIA method, a linear range between 2.00 10 6–9.00 10 5 molL 1 and an LODof 1.9 10 6 molL 1 were obtained. The validation of both methods revealed good performance characteristics confirming applicability for the quantification of CTL in several pharmaceutical products.

Adsorption behavior of α-cypermethrin on cork and activated carbon

Studies were undertaken to determine the adsorption behavior of α-cypermethrin [R)-α-cyano-3-phenoxybenzyl(1S)-cis- 3-(2,2-dichlorovinyl)-2,2-dimethylcyclopropanecarboxylate, and (S)-α-cyano-3-phenoxybenzyl (1R)-cis-3-(2,2-dichlorovinyl)-2,2- dimethylcyclopropanecarboxylate] in solutions on granules of cork and activated carbon (GAC). The adsorption studies were carried out using a batch equilibrium technique. A gas chromatograph with an electron capture detector (GC-ECD) was used to analyze α-cypermethrin after solid phase extraction with C18 disks. Physical properties including real density, pore volume, surface area and pore diameter of cork were evaluated by mercury porosimetry. Characterization of cork particles showed variations thereby indicating the highly heterogeneous structure of the material. The average surface area of cork particles was lower than that of GAC. Kinetics adsorption studies allowed the determination of the equilibrium time—24 hours for both cork (1–2 mm and 3–4 mm) and GAC. For the studied α-cypermethrin concentration range, GAC revealed to be a better sorbent. However, adsorption parameters for equilibrium concentrations, obtained through the Langmuir and Freundlich models, showed that granulated cork 1–2 mm have the maximum amount of adsorbed α-cypermethrin (qm) (303 μg/g); followed by GAC (186 μg/g) and cork 3-4 mm (136 μg/g). The standard deviation (SD) values, demonstrate that Freundlich model better describes the α-cypermethrin adsorption phenomena on GAC, while α-cypermethrin adsorption on cork (1-2 mm and 3-4 mm) is better described by the Langmuir. In view of the adsorption results obtained in this study it appears that granulated cork may be a better and a cheaper alternative to GAC for removing α-cypermethrin from water.

Mismatch negativity in childhood temporal lobe epilepsy: a proposed paradigm for testing central auditory processing

Background: Temporal lobe epilepsy (TLE) is a neurological disorder that directly affects cortical areas responsible for auditory processing. The resulting abnormalities can be assessed using event-related potentials (ERP), which have high temporal resolution. However, little is known about TLE in terms of dysfunction of early sensory memory encoding or possible correlations between EEGs, linguistic deficits, and seizures. Mismatch negativity (MMN) is an ERP component – elicited by introducing a deviant stimulus while the subject is attending to a repetitive behavioural task – which reflects pre-attentive sensory memory function and reflects neuronal auditory discrimination and perceptional accuracy. Hypothesis: We propose an MMN protocol for future clinical application and research based on the hypothesis that children with TLE may have abnormal MMN for speech and non-speech stimuli. The MMN can be elicited with a passive auditory oddball paradigm, and the abnormalities might be associated with the location and frequency of epileptic seizures. Significance: The suggested protocol might contribute to a better understanding of the neuropsychophysiological basis of MMN. We suggest that in TLE central sound representation may be decreased for speech and non-speech stimuli. Discussion: MMN arises from a difference to speech and non-speech stimuli across electrode sites. TLE in childhood might be a good model for studying topographic and functional auditory processing and its neurodevelopment, pointing to MMN as a possible clinical tool for prognosis, evaluation, follow-up, and rehabilitation for TLE.

Temporal lobe epilepsy in childhood – a study model of auditory processing

TLE in infancy has been the subject of varied research. Topographical and structural evidence is coincident with the neuronal systems responsible for auditory processing of the highest specialization and complexity. Recent studies have been showing the need of a hemispheric asymmetry for an optimization in central auditory processing (CAP) and acquisition and learning of a language system. A new functional research paradigm is required to study mental processes that require methods of cognitive-sensory information analysis processed in very short periods of time (msec), such as the ERPs. Thus, in this article, we hypothesize that the TLE in infancy could be a good model for topographic and functional study of CAP and its development process, contributing to a better understanding of the learning difficulties that children with this neurological disorder have.

Competitive dynamics for behavior coordination in a joint transportation task

We address the problem of coordinating two non-holonomic mobile robots that move in formation while transporting a long payload. A competitive dynamics is introduced that gradually controls the activation and deactivation of individual behaviors. This process introduces (asymmetrical) hysteresis during behavioral switching. As a result behavioral oscillations, due to noisy information, are eliminated. Results in indoor environments show that if parameter values are chosen within reasonable ranges then, in spite of noise in the robots communi- cation and sensors, the overall robotic system works quite well even in cluttered environments. The robots overt behavior is stable and smooth.

Long-term dependence in financial prices: evidence from the Belgian stock market returns

This article aims to contribute to the discussion of long-term dependence, focusing on the behavior of the main Belgian stock index. Non-parametric analyzes of the general characteristics of temporal frequency show that daily returns are non-ergodic and non-stationary. Therefore, we use the rescaled-range analysis (R/S) and the detrended fluctuation analysis (DFA), under the fractional Brownian motion approach, and we found slight evidence of long-term dependence. These results refute the random walk hypothesis with i.i.d. increments, which is the basis of the EMH in its weak form, and call into question some theoretical modeling of asset pricing. Other more localized complementary study, to identify the evolution of the degree of dependence over time windows, showed that the index has become less persistent from 2010. This may mean a maturing market by the extension of the effects of current financial crisis.

Long-term memory in financial prices: evidence from the Dutch stock market returns

Prepared for presentation at the Portuguese Finance Network International Conference 2014, Vilamoura, Portugal, June 18-20