Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Numerical analysis of the initial conditions in fractional systems

Fractional dynamics is a growing topic in theoretical and experimental scientific research. A classical problem is the initialization required by fractional operators. While the problem is clear from the mathematical point of view, it constitutes a challenge in applied sciences. This paper addresses the problem of initialization and its effect upon dynamical system simulation when adopting numerical approximations. The results are compatible with system dynamics and clarify the formulation of adequate values for the initial conditions in numerical simulations.

Standing balance in individuals with Parkinson's disease during single and dual-task conditions

This study aimed to examine the differences in standing balance between individuals with Parkinson's disease (PD) and subjects without PD (control group), under single and dual-task conditions. A cross-sectional study was designed using a non-probabilistic sample of 110 individuals (50 participants with PD and 60 controls) aged 50 years old and over. The individuals with PD were in the early or middle stages of the disease (characterized by Hoehn and Yahr as stages 1-3). The standing balance was assessed by measuring the centre of pressure (CoP) displacement in single-task (eyes-open/eyes-closed) and dual-task (while performing two different verbal fluency tasks). No significant differences were found between the groups regarding sociodemographic variables. In general, the standing balance of the individuals with PD was worse than the controls, as the CoP displacement across tasks was significantly higher for the individuals with PD (p<0.01), both in anteroposterior and mediolateral directions. Moreover, there were significant differences in the CoP displacement based parameters between the conditions, mainly between the eyes-open condition and the remaining conditions. However, there was no significant interaction found between group and condition, which suggests that changes in the CoP displacement between tasks were not influenced by having PD. In conclusion, this study shows that, although individuals with PD had a worse overall standing balance than individuals without the disease, the impact of performing an additional task on the CoP displacement is similar for both groups.

Sanitary conditions of a colony of urban feral cats (Felis catus Linnaeus, 1758) in a zoological garden of Rio de Janeiro, Brazil

The colony of urban stray cats living in the Rio de Janeiro zoological garden was studied in order to develop a population and health control program. As many cats as possible were captured during two months (47 animals) and were classified according to gender, age, weight and coat markings. They were submitted to a general health evaluation, examined for the presence of ectoparasites and sent to a surgical neutering program. All animals had a blood sample drawn for CBC, platelet count, heartworm and retroviruses detection. Capillary blood smears were made for hemoparasites detection. Coat marking and colors were tabby (59.7%), followed by solid black (17%); torbie (10.6%); bicolor (10.6%) and harlequin (2.1%). The only ectoparasites found were fleas, which infested 28% of the animals. The hemoparasites found were Haemobartonella felis (38%) and piroplasmas that could not be differentiated between Cytauxzoon spp. and Babesia spp. (47%). No cat was found infected by Dirofilaria immitis or FeLV (Feline Leukemia Virus), although FIV (Feline Immunodeficiency Virus) antibodies could be detected (21%). There was no correlation between hemoparasites and FIV infections. The estimated total cat population (mark-recapture method) was 59; 68% female and 32% male, suggesting that a neutering program is in fact needed.

Task partitioning and priority assignment for distributed hard real-time systems

In this paper, we propose the Distributed using Optimal Priority Assignment (DOPA) heuristic that finds a feasible partitioning and priority assignment for distributed applications based on the linear transactional model. DOPA partitions the tasks and messages in the distributed system, and makes use of the Optimal Priority Assignment (OPA) algorithm known as Audsley’s algorithm, to find the priorities for that partition. The experimental results show how the use of the OPA algorithm increases in average the number of schedulable tasks and messages in a distributed system when compared to the use of Deadline Monotonic (DM) usually favoured in other works. Afterwards, we extend these results to the assignment of Parallel/Distributed applications and present a second heuristic named Parallel-DOPA (P-DOPA). In that case, we show how the partitioning process can be simplified by using the Distributed Stretch Transformation (DST), a parallel transaction transformation algorithm introduced in [1].

Hard real-time multiprocessor scheduling resilient to core failures

Presented at 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015). 19 to 21, Aug, 2015, pp 122-131. Hong Kong, China.

Genetic diversity of oral Fusobacterium nucleatum isolated from patients with different clinical conditions

The genetic diversity of 23 oral Fusobacterium nucleatum isolated from 15 periodontal patients, eight from seven healthy subjects, nine from nine AIDS patients and two from two Cebus apella monkeys were analyzed. EcoRI restricted the bacterial DNA and 28 ribotypes grouped from A to J groups were obtained. Isolates formed 24 ribotypes which were contained into A, B, C, D, E and F groups, and three reference strains and two clinical isolates of A. actinomycetemcomitans, and E. coli CDC formed four different ribotypes into the G, H, I and J groups. Moreover, from nine F. nucleatum from AIDS patients, six were ribotyped as group C and three as group D. By using ribotyping we distinguished F. nucleatum recovered from different sources. It is possible that isolates from AIDS patients may contain some phenotypic or genotypic factor did not observed in this study.

Morphometric changes of Triatoma flavida Neiva, 1911 (Hemiptera:Triatominae) in the transition from sylvatic to laboratory conditions

The one-generational metric changes occurring in Triatoma flavida (Hemiptera: Triatominae) when carried from its wild habitat (caves) to laboratory, were examined using traditional morphometric techniques. As for other species of Triatoma, Rhodnius or Panstrongylus studied in similar conditions, a significant reduction of head, thorax and wing size was observed. Sexual dimorphism of the wings, while present in the wild sample, was not detected anymore in the laboratory individuals. Biological significance and epidemiological importance are discussed.

Effect of selenization conditions on the growth and properties of Cu2ZnSn(S,Se)4 thin films

The opto-electronic properties of copper zinc tin sulfide can be tuned to achieve better cell efficiencies by controlled incorporation of selenium. In this paper we report the growth of Cu2ZnSn(S,Se)4 (CZTSSe) using a hybrid process involving the sequential evaporation of Zn and sputtering of the sulfide precursors of Cu and Sn, followed by a selenization step. Two approaches for selenization were followed, one using a tubular furnace and the other using a rapid thermal processor. The effects of annealing conditions on the morphological and structural properties of the films were investigated. Scanning electron microscopy and energy dispersive spectroscopy were employed to investigate the morphology and composition of the films. Structural analyses were done using X-ray diffraction (XRD) and Raman spectroscopy. Structural analyses revealed the formation of CZTSSe. This study shows that regardless of the selenization method a temperature above 450 °C is required for conversion of precursors to a compact CZTSSe layer. XRD and Raman analysis suggests that the films selenized in the tubular furnace are selenium rich whereas the samples selenized in the rapid thermal processor have higher sulfur content.

Type-based protocol conformance and aliasing control in concurrent java programs

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

Capital requirements and loan market conditions insight into the Portuguese banking system (2004-2011)

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Impact of health conditions on absenteeism from work

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Influence of curing conditions on lime and lime-metakaolin mortars

Proceedings of the XII DBMC – 12th International Conference on Durability of Building Materials and Components, Vol.2, V.P Freitas, H.Corvacho, M.Lacasse (eds.), Porto, FEUP, March 2011, p.713-720

The influence of the regional basic diet from northeast Brazil on health and nutritional conditions of mice infected with Schistosoma mansoni

Protein nutritionalstatus indicators were studied in weanling albino Swiss mice infected with S. mansoni andfed the Regional Basic Diet (RBD)from Northeast Brazil, a multideficient diet of low-protein content. Each mouse was infected percutaneously with 80 cercariae. The experiment lasted 63 days. The growth curve, food consumption, protein intake, weight gain, Protein Efficiency Ratio (PER) and Net Protein Ratio (NPR) were the parameters investigated. RBD-fed mice showed a marked weight loss, a lower food and protein intake, a slower body weight gain and lower rates of food protein utilization when compared to casein-fed animals. Differences between infected and non-infected mice were not consistent. The present results suggest that the effects of RBD-induced malnutrition on health and nutritional conditions of the mice are more severe than those of Manson's schistosomiasis, in the initial phase of the disease.

Influence of light conditions on adult mortality and egg-laying of Triatoma brasiliensis neiva, 1911 (Hemiptera: Reduviidae: Triatominae)

We compared, for Triatoma brasiliensis, the egg-laying process and the mortality of adults under conditions of almost permanent darkness and with normal laboratory luminosity. Mortality did not differ between groups. The egg-laying per vial and per female was significantly greater in the group of normal luminosity. We consider that it is not recommendable to keep the adults of this species under complete darkness. Other biological aspects should be analysed in relation to luminosity.