A synchronous transition protocol with periodicity for global scheduling of multimode real-time systems on multiprocessors

We consider the global scheduling problem of multimode real-time systems upon identical multiprocessor platforms. During the execution of a multimode system, the system can change from one mode to another such that the current task set is replaced with a new task set. Thereby, ensuring that deadlines are met requires not only that a schedulability test is performed on tasks in each mode but also that (i) a protocol for transitioning from one mode to another is specified and (ii) a schedulability test for each transition is performed. In this paper, we extend the synchronous transition protocol SM-MSO in order to take into account mode-independent tasks [1], i.e., tasks of which the execution pattern must not be jeopardized by the mode changes.

Mining social individuals movements and friends based on mobile devices

Trabalho de Projeto realizado para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Petri nets based components within globally asynchronous locally synchronous systems

Dissertação apresentada na Faculdade de Ciências e Tecnologias da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e Computadores

Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs

23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015). 4 to 6, Mar, 2015. Turku, Finland.

Watermelon Stomach, Hemorrhagic Pericarditis, Small Cell Carcinoma of the Lung and Synchronous Squamous Cell Carcinoma of the Tongue Base

Based on a case of gastric antral vascular ectasia (watermelon stomach) that was associated with hemorrhagic pericarditis, small cell lung carcinoma with mediastinal lymph node metastases and a synchronous squamous cell carcinoma of the base of the tongue, the authors made a review of the clinical, endoscopic and histopathological aspects of this type of gastropathy, and its association with other diseases, and of the results of its endoscopic therapy. The causes of hemorrhagic pericarditis are considered, emphasizing the necessity to know if the effusion has a malignant etiology. To the best of our knowledge the association of watermelon stomach to small cell lung carcinoma and squamous cell carcinoma of the base of the tongue has not yet been described. Extensive metastases to mediastal lymph nodes are common to small cell lung carcinoma.

Towards Human-like Bimanual Movements in Anthropomorphic Robots: A Nonlinear Optimization Approach

Previously we have presented a model for generating human-like arm and hand movements on an unimanual anthropomorphic robot involved in human-robot collaboration tasks. The present paper aims to extend our model in order to address the generation of human-like bimanual movement sequences which are challenged by scenarios cluttered with obstacles. Movement planning involves large scale nonlinear constrained optimization problems which are solved using the IPOPT solver. Simulation studies show that the model generates feasible and realistic hand trajectories for action sequences involving the two hands. The computational costs involved in the planning allow for real-time human robot-interaction. A qualitative analysis reveals that the movements of the robot exhibit basic characteristics of human movements.

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

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

Measuring the effects of price movements on private consumption

This paper studies how shocks in the prices of Food, Energy and Financial Assets affect private consumption using a VAR Model. Then, the total effects are broken into direct and indirect effects, using the coefficients taken from the previous model. We use quarterly data for the Portuguese economy from the last 20 years. We found that energy prices and financial assets have a strong connection with consumption, suggesting that the economy may be too exposed to shocks in these markets.

Field oriented control of an axial flux permanent magnet synchronous motor for traction solutions

Electric Vehicles (EVs) are increasingly used nowadays, and different powertrain solutions can be adopted. This paper describes the control system of an axial flux Permanent Magnet Synchronous Motor (PMSM) for EVs powertrain. It is described the implemented Field Oriented Control (FOC) algorithm and the Space Vector Modulation (SVM) technique. Also, the mathematical model of the PMSM is presented. Both, simulation and experimental, results with different types of mechanical load are presented. The experimental results were obtained using a laboratory test bench. The obtained results are discussed.

Bimodal information increases spontaneous interpersonal synchronization of goal directed upper limb movements

When interacting with each other, people often synchronize spontaneously their movements, e.g. during pendulum swinging, chair rocking[5], walking [4][7], and when executing periodic forearm movements[3].Although the spatiotemporal information that establishes the coupling, leading to synchronization, might be provided by several perceptual systems, the systematic study of different sensory modalities contribution is widely neglected. Considering a) differences in the sensory dominance on the spatial and temporal dimension[5] , b) different cue combination and integration strategies [1][2], and c) that sensory information might provide different aspects of the same event, synchronization should be moderated by the type of sensory modality. Here, 9 naïve participants placed a bottle periodically between two target zones, 40 times, in 12 conditions while sitting in front of a confederate executing the same task. The participant could a) see and hear, b) see , c) hear the confederate, d) or audiovisual information about the movements of the confederate was absent. The couple started in 3 different relative positions (i.e., in-phase, anti-phase, out of phase). A retro-reflective marker was attached to the top of the bottles. Bottle displacement was captured by a motion capture system. We analyzed the variability of the continuous relative phase reflecting the degree of synchronization. Results indicate the emergence of spontaneous synchronization, an increase with bimodal information, and an influence of the initial phase relation on the particular synchronization pattern. Results have theoretical implication for studying cue combination in interpersonal coordination and are consistent with coupled oscillator models.

Towards human-like bimanual movements in anthropomorphic robots: a nonlinear optimization approach

Previously we have presented a model for generating human-like arm and hand movements on an unimanual anthropomorphic robot involved in human-robot collaboration tasks. The present paper aims to extend our model in order to address the generation of human-like bimanual movement sequences which are challenged by scenarios cluttered with obstacles. Movement planning involves large scale nonlinear constrained optimization problems which are solved using the IPOPT solver. Simulation studies show that the model generates feasible and realistic hand trajectories for action sequences involving the two hands. The computational costs involved in the planning allow for real-time human robot-interaction. A qualitative analysis reveals that the movements of the robot exhibit basic characteristics of human movements.

Analysis of exploratory eye movements in patients with schizophrenia during visual scanning of projective tests' figures

OBJECTIVE: Compare pattern of exploratory eye movements during visual scanning of the Rorschach and TAT test cards in people with schizophrenia and controls. METHOD: 10 participants with schizophrenia and 10 controls matched by age, schooling and intellectual level participated in the study. Severity of symptoms was evaluated with the Positive and Negative Syndrome Scale. Test cards were divided into three groups: TAT cards with scenes content, TAT cards with interaction content (TAT-faces), and Rorschach cards with abstract images. Eye movements were analyzed for: total number, duration and location of fixation; and length of saccadic movements. RESULTS: Different pattern of eye movement was found, with schizophrenia participants showing lower number of fixations but longer fixation duration in Rorschach cards and TAT-faces. The biggest difference was observed in Rorschach, followed by TAT-faces and TAT-scene cards. CONCLUSIONS: Results suggest alteration in visual exploration mechanisms possibly related to integration of abstract visual information.

Synchronous reproduction may facilitate introgression in a hybrid mussel (Mytilus) population

Mussel populations on the Irish Atlantic coast comprise an interbreeding mixture of the blue mussel, Mytilus edulis (L.) and the Mediterranean mussel, Mytilus galloprovincialis (Lmk.). The occurrence of hybrid genotypes varies between sites but can be as high 80%. This study compares the reproductive cycle of M. edulis, M. galloprovincialis and their hybrids to determine if the extensive hybridisation observed at Irish Atlantic coast sites is linked to spawning synchrony between the two taxa. Mussels (40-45 mm size class) were collected monthly from a sheltered shore in Galway Bay from January to December 2005. Two major spawning events (March- June and September-October) were observed and gametogenesis took place throughout the year. The spawning cycles of the three taxa were largely overlapping. Small differences were observed in the timing of peak spawning which occurred in March and October in M. galloprovincialis and in May-June and September in M.edulis. Spawning of hybrid individuals was intermediate between the parental genotypes. Fecundity was slightly higher in M. galloprovincialis females compared to the other taxa (up to 30% difference, p<0.05). This apparent advantage is not shared by the sexes and is likely being offset by high numbers of hybrid genotypes releasing gametes during peak spawning of M. galloprovincialis. There was no evidence for increased mortality in hybrid males; sex ratios did not deviate from the 1:1 ratio. The results show that in this region of the hybrid zone the timing of reproduction does not present a barrier to gene flow between M. edulis and M. galloprovincialis. Nonetheless, small differences in the timing of peak spawning may increase the likelihood of conspecific fertilisation at certain times of the year. Hybrids outnumber the parental genotypes, undergo complete gametogenesis and show no evidence of depressed fitness (i.e. hybrids are reproductively competent suggesting a high degree of introgression.