Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures supported by an FTT-SE Network

Distributed real-time systems such as automotive applications are becoming larger and more complex, thus, requiring the use of more powerful hardware and software architectures. Furthermore, those distributed applications commonly have stringent real-time constraints. This implies that such applications would gain in flexibility if they were parallelized and distributed over the system. In this paper, we consider the problem of allocating fixed-priority fork-join Parallel/Distributed real-time tasks onto distributed multi-core nodes connected through a Flexible Time Triggered Switched Ethernet network. We analyze the system requirements and present a set of formulations based on a constraint programming approach. Constraint programming allows us to express the relations between variables in the form of constraints. Our approach is guaranteed to find a feasible solution, if one exists, in contrast to other approaches based on heuristics. Furthermore, approaches based on constraint programming have shown to obtain solutions for these type of formulations in reasonable time.

Ensemble: an innovative approach to practice computer programming

Currently, the teaching-learning process in domains, such as computer programming, is characterized by an extensive curricula and a high enrolment of students. This poses a great workload for faculty and teaching assistants responsible for the creation, delivery, and assessment of student exercises. The main goal of this chapter is to foster practice-based learning in complex domains. This objective is attained with an e-learning framework—called Ensemble—as a conceptual tool to organize and facilitate technical interoperability among services. The Ensemble framework is used on a specific domain: computer programming. Content issues are tacked with a standard format to describe programming exercises as learning objects. Communication is achieved with the extension of existing specifications for the interoperation with several systems typically found in an e-learning environment. In order to evaluate the acceptability of the proposed solution, an Ensemble instance was validated on a classroom experiment with encouraging results.

Simulation Environment for Multi-Robot Cooperative 3D Target Perception

4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014

Energy-aware Task Allocation onto Unrelated Heterogeneous Multicore Platform for Mixed Criticality Systems

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..

Multi-agent simulation of competitive electricity markets: Autonomous systems cooperation for European market modeling

The electricity market restructuring, and its worldwide evolution into regional and even continental scales, along with the increasing necessity for an adequate integration of renewable energy sources, is resulting in a rising complexity in power systems operation. Several power system simulators have been developed in recent years with the purpose of helping operators, regulators, and involved players to understand and deal with this complex and constantly changing environment. The main contribution of this paper is given by the integration of several electricity market and power system models, respecting to the reality of different countries. This integration is done through the development of an upper ontology which integrates the essential concepts necessary to interpret all the available information. The continuous development of Multi-Agent System for Competitive Electricity Markets platform provides the means for the exemplification of the usefulness of this ontology. A case study using the proposed multi-agent platform is presented, considering a scenario based on real data that simulates the European Electricity Market environment, and comparing its performance using different market mechanisms. The main goal is to demonstrate the advantages that the integration of various market models and simulation platforms have for the study of the electricity markets’ evolution.

A multi-objective model for scheduling of short-term incentive-based demand response programs offered by electricity retailers

In this paper, we formulate the electricity retailers’ short-term decision-making problem in a liberalized retail market as a multi-objective optimization model. Retailers with light physical assets, such as generation and storage units in the distribution network, are considered. Following advances in smart grid technologies, electricity retailers are becoming able to employ incentive-based demand response (DR) programs in addition to their physical assets to effectively manage the risks of market price and load variations. In this model, the DR scheduling is performed simultaneously with the dispatch of generation and storage units. The ultimate goal is to find the optimal values of the hourly financial incentives offered to the end-users. The proposed model considers the capacity obligations imposed on retailers by the grid operator. The profit seeking retailer also has the objective to minimize the peak demand to avoid the high capacity charges in form of grid tariffs or penalties. The non-dominated sorting genetic algorithm II (NSGA-II) is used to solve the multi-objective problem. It is a fast and elitist multi-objective evolutionary algorithm. A case study is solved to illustrate the efficient performance of the proposed methodology. Simulation results show the effectiveness of the model for designing the incentive-based DR programs and indicate the efficiency of NSGA-II in solving the retailers’ multi-objective problem.

Sectors and routes in solid waste collection

Collecting and transporting solid waste is a constant problem for municipalities and populations in general. Waste management should take into account the preservation of the environment and the reduction of costs. The goal with this paper is to address a real-life solid waste problem. The case reveals some general and specific characteristics which are not rare, but are not widely addressed in the literature. Furthermore, new methods and models to deal with sectorization and routing are introduced, which can be extended to other applications. Sectorization and routing are tackled following a two-phase approach. In the first phase, a new method is described for sectorization based on electromagnetism and Coulomb’s Law. The second phase addresses the routing problems in each sector. The paper addresses not only territorial division, but also the frequency with which waste is collected, which is a critical issue in these types of applications. Special characteristics related to the number and type of deposition points were also a motivation for this work. A new model for a Mixed Capacitated Arc Routing Problem with Limited Multi-Landfills is proposed and tested in real instances. The computational results achieved confirm the effectiveness of the entire approach.

A proof system for lock-free concurrency

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

Speed control of induction machine based on direct torque control method

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

Multi-GPU support on the marrow algorithmic skeleton framework

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

Data-centric concurrency control on the java programming language

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

Child programming: an adequate domain specific language for programming specific robots

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

Energy-efficient diversity combining for different access schemes in a multi-path dispersive channel

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

Impact of carbon/nitrogen feeding strategy on polyhydroxyalkanoates production using mixed microbial cultures

Polyhydroxyalkanoates (PHA) production using mixed microbial cultures (MMC) requires a multi-stage process involving the microbial selection of PHA-storing microorganisms, typically operated in sequencing batch reactors (SBR), and an accumulation reactor. Since low-cost renewable feedstocks used as process feedstock are often nitrogen-deficient, nutrient supply in the selection stage is required to allow for microbial growth. In this context, the possibility to uncouple nitrogen supply from carbon feeding within the SBR cycle has been investigated in this study. Moreover, three different COD:N ratios (100:3.79, 100:3.03 and 100:2.43) were tested in three different runs which also allowed the study of COD:N ratio on the SBR performance. For each run, a synthetic mixture of acetic and propionic acids at an overall organic load rate of 8.5 gCOD L-1 d-1 was used as carbon feedstock, whereas ammonium sulfate was the nitrogen source in a lab-scale sequence batch reactor (SBR) with 1 L of working volume. Besides, a sludge retention time (SRT) of 1 d was used as well as a 6 h cycle length. The uncoupled feeding strategy significantly enhanced the selective pressure towards PHA-storing microorganisms, resulting in a two-fold increase in the PHA production (up to about 1.3 gCOD L-1). A high storage response was observed for the two runs with the COD:N ratios (gCOD:gN) of 100:3.79 and 100:3.03, whereas the lowest investigated nitrogen load resulted in very poor performance in terms of polymer production. In fact, strong nitrogen limitation caused fungi to grow and a very poor storage ability by microorganisms that thrived in those conditions. The COD:N ratio also affected the polymer composition, indeed the produced poly(3-hydroxybutyrate-co-3-hydroxyvalerate) (PHBV) showed a variable HV content (1-20 %, w/w) among the three runs, lessening as the COD:N increased. This clearly suggests the possibility to use the COD:N ratio as a tool for tuning polymer properties regardless the composition of the feedstock.

Soil mineral N dynamics beneath mixtures of leaves from legume and fruit trees in Central Amazonian multi-strata agroforests

Long term applications of leguminous green mulch could increase mineralizable nitrogen (N) beneath cupuaçu trees produced on the infertile acidic Ultisols and Oxisols of the Amazon Basin. However, low quality standing cupuaçu litter could interfere with green mulch N release and soil N mineralization. This study compared mineral N, total N, and microbial biomass N beneath cupuaçu trees grown in two different agroforestry systems, north of Manaus, Brazil, following seven years of different green mulch application rates. To test for net interactions between green mulch and cupuaçu litter, dried gliricidia and inga leaves were mixed with senescent cupuaçu leaves, surface applied to an Oxisol soil, and incubated in a greenhouse for 162 days. Leaf decomposition, N release and soil N mineralization were periodically measured in the mixed species litter treatments and compared to single species applications. The effect of legume biomass and cupuaçu litter on soil mineral N was additive implying that recommendations for green mulch applications to cupuaçu trees can be based on N dynamics of individual green mulch species. Results demonstrated that residue quality, not quantity, was the dominant factor affecting the rate of N release from leaves and soil N mineralization in a controlled environment. In the field, complex N cycling and other factors, including soil fauna, roots, and microclimatic effects, had a stronger influence on available soil N than residue quality.