The DEAR-COTS hard real-time subsystem

In this report, the Hard Real-Time Subsystem of DEAR-COTS is described, and the services it must provide are identified. This report is an input of ISEP/IPP and FEUP for the specification of the DEAR-COTS architecture (deliverable to the FCT).

Convex optimization framework for intermediate deadline assignment in soft and hard real-time distributed systems

It is generally challenging to determine end-to-end delays of applications for maximizing the aggregate system utility subject to timing constraints. Many practical approaches suggest the use of intermediate deadline of tasks in order to control and upper-bound their end-to-end delays. This paper proposes a unified framework for different time-sensitive, global optimization problems, and solves them in a distributed manner using Lagrangian duality. The framework uses global viewpoints to assign intermediate deadlines, taking resource contention among tasks into consideration. For soft real-time tasks, the proposed framework effectively addresses the deadline assignment problem while maximizing the aggregate quality of service. For hard real-time tasks, we show that existing heuristic solutions to the deadline assignment problem can be incorporated into the proposed framework, enriching their mathematical interpretation.

Online intra-task device scheduling for hard real-time systems

A large part of power dissipation in a system is generated by I/O devices. Increasingly these devices provide power saving mechanisms, inter alia to enhance battery life. While I/O device scheduling has been studied in the past for realtime systems, the use of energy resources by these scheduling algorithms may be improved. These approaches are crafted considering a very large overhead of device transitions. Technology enhancements have allowed the hardware vendors to reduce the device transition overhead and energy consumption. We propose an intra-task device scheduling algorithm for real time systems that allows to shut-down devices while ensuring system schedulability. Our results show an energy gain of up to 90% when compared to the techniques proposed in the state-of-the-art.

Low temperature structural transitions in dipolar hard spheres: the influence on magnetic properties

We investigate the structural chain-to-ring transition at low temperature in a gas of dipolar hard spheres (DRS). Due to the weakening of entropic contribution, ring formation becomes noticeable when the effective dipole-dipole magnetic interaction increases, It results in the redistribution of particles from usually observed flexible chains into flexible rings. The concentration (rho) of DI-IS plays a crucial part in this transition: at a very low rho only chains and rings are observed, whereas even a slight increase of the volume fraction leads to the formation of branched or defect structures. As a result, the fraction of DHS aggregated in defect-free rings turns out to be a non-monotonic function of rho. The average ring size is found to be a slower increasing function of rho when compared Lo that of chains. Both theory and computer simulations confirm the dramatic influence of the ring formation on the rho-dependence of the initial magnetic susceptibility (chi) when the temperature decreases. The rings clue to their zero total dipole moment are irresponsive to a weak magnetic field and drive to the strong decrease of the initial magnetic susceptibility. (C) 2014 Elsevier B.V. All rights reserved.

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.

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.

A clustering approach for vehicle routing problems with hard time windows

Dissertação para obtenção do Grau de Mestre em Logica Computicional

In vitro antifungal activity of fatty acid methyl esters of the seeds of Annona cornifolia A.St.-Hil. (Annonaceae) against pathogenic fungus Paracoccidioides brasiliensis

INTRODUCTION: Fatty acids are abundant in vegetable oils. They are known to have antibacterial and antifungal properties. METHODS: Antifungal susceptibility was evaluated by broth microdilution assay following CLSI (formerly the NCCLS) guidelines against 16 fungal strains of clinical interest. RESULTS: In this work, fatty acid methyl esters (FAME) was able to inhibit 12 clinical strains of the pathogenic fungus Paracoccidioides brasiliensis and were also active in the bioautographic assay against Cladosporium sphaerospermum. CONCLUSIONS: FAME was a more potent antifungal than trimethoprim-sulfamethoxazole against P. brasiliensis under the experimental conditions tested.

Dispersal of seeds of Hymenaea courbaril (Fabaceae) in a logged rain forest in the Peruvian Amazonian

Seed dispersal of Hymenaea courbaril was studied by following the fate of 585 seeds embedded with small magnets and set in displays in and near a logged strip in rain forest in the Peruvian Amazonian. Mammals took fruits from all displays, which were located in the forest, edge, and cleared strip. Overall removal rates were low - a median of 8.1 fruits / month from displays maintained with 8-10 fruits - but were higher in August than in earlier months. Most fruits were dropped near the display or had their seeds eaten, but > 13% were successfully dispersed. Most of the dispersed seeds were buried, which increases probability of germination. Maximum dispersal distance of live seeds was 12.1 m (median 3.1 m), but other magnets were transported up to 34 m, indicating seeds were dispersed further, but then eaten. Acouchies (most likely Myoprocta pratti) and agoutis (Dasyprocta fuliginosa) were apparently the main dispersal agents. Dispersal of seeds from the forest into the logged strip was rare, suggesting that although rodents disperse H. courbaril, they cannot be relied on for the reseeding this and similar species in recent clearings.

Preconditioning of Physalis angulata L. to maintain the viability of seeds

The important chemical and food properties conferred to P. angulata make it necessary to conduct studies in seed conservation. This study evaluated the effect of priming of P. angulata seed for varying periods and storage conditions. Lots of seeds were stored in a refrigerator and in ambient conditions for up to 24 months. Some of these seeds were primed before or after storage. The results show that there was variation in moisture content. The germination rate and germination rate index remained high in ambient conditions when primed up to 24 months.

The powerful in vitro bioactivity of Euterpe oleracea Mart. seeds and related phenolic compounds

The Euterpe oleracea Mart. (açaí) is a plant from the Amazon region, classified as "super fruit" because of its various functional properties. However, limited investigation has been performed on açaí by-products, such as seeds. Therefore, the aim of this work was to characterized the phenolic compounds of the aqueous extract of açaí seeds and further evaluate its bioactivity (antioxidant and cytotoxic activities. Only proanthocyanidins were detected, being a B-type (epi)catechin tetramer the most abundant; however, procyanidin trimmers were the most predominant form. Açaí seeds extract revealed a high antioxidant (EC50 ranging from 3.6 to 19.4 μg/mL) and cytotoxic activity, being more effective in the cervical carcinoma cell line (HeLa; GI50 = 18 μg/mL); it did not show toxicity for non-tumor cells. Açaí seeds are considered a waste and could have an added economic benefit, through the extraction of natural antioxidants, particularly proanthocyanidins, that could find applications in food and pharmaceutical industries.

Investigating a galactomannan gel obtained from Cassia grandis seeds as immobilizing matrix for Cramoll lectin

Characterization, with emphasis on the rheological properties, of Cassia grandis seeds galactomannan gel containing immobilized Cramoll 1,4 is presented. The gels, with and without immobilized Cramoll 1,4, were evaluated along time by rheometry, pH, color, microbial contamination and lectin hemagglutinating activity (HA). Rheological determinations confirmed the gels to be very stable up to 30 days with variations occurring after this period. Rheological data also showed that the gel/Cramoll 1,4 immobilizing matrix loses its elastic modulus substantially after 60 days. Both gels presented no microbial contamination as well as a pH close to neutral. Colorimetric parameters demonstrated the gels transparency with occasional yellowness. The opacity of the galactomannan gel did not change significantly along the study; the same did not occur for the gel with immobilized Cramoll 1,4 as a statistically significant reduction of its opacity was observed. In what concerns immobilized Cramoll 1,4HA, up to 90% of its initial HA was maintained after 20 days, with a decrease to 60% after 60 days. These results combined with the thickening and stabilizing characteristics of the galactomannan gel make this gel a promising immobilizing matrix for Cramoll 1,4 that can be further exploited for clinical and cosmetic applications.

Fatôres que afetam a determinação da vitamina C na goiaba (Psidium guajava L.)

In the present paper the authors deal with the content of ascorbic acid in guavas (Psidium guajava L.) and the methods of sampling used. Ascorbic acid was determined directly in the photoeletric colorimeter (EEL), after extraction with a 4 per cent solution of oxalic acid. Guavas from various parts of State of S.Paulo were used and the general mean found was around 100 mgm of ascorbic acid per 100 gm fresh weight of the material used for extraction. It was found that there is great variation in the ascorbic acid content according to the condition of the fruit: Ascorbic acid Condition content in Mean mgm/100 gm Green and hard 93,36 - 119,54 102,43 Small green 57,34 - 92,30 83,40 Firm ripe 71,28 - 115,98 90,32 Overripe 63,22 - 85,98 77,36 Of the diferent parts of the fruit, the skin has the highest content; the pulp between the skin and the parts containing the seeds, the "inner pulp" contains little and finallw the central parts, formed by the pulp between seeds, the "inter pulp" a engligible amount. The proportion of ascorbic acid found in the skin, inner pulp and inter pulp may be as high as 1.6: 1: 0. Furthermore, the section near the peduncule and the sepals are richer than equatorial crossections. It was proved that the amount and intensity of sun-light is at least one important factant factor determining differences in the ascorbic acid content of the fruit, which is higer in the parts which have received more light. A sharp decrease was found in the vitamin C content of ripe fruite stored in a home refrigerator. The periods of the preservation were 12-24-48-96 hours and the decrease of the ascorbic acid content m per cent was 23.4 - 42.0 - 66.8 - 76.4 of the initial content of 144.28 mgm/100 gm. The following five different methods of sampling in the determination of the amount of vitamin C were tested, with extraction in a Waring blendor: 1) whole fruit; 2,) sample taken form fruits cut into many small pieces; 3) half of a fruit divided by a crossection at equal distance from both ends; 4) half of fruit divided lenghtwise; 5) a transversal slice of about 1 cm. It was found that the two first methods geve the most reliable results.