Constraint based methods for allocation and scheduling of periodic applications

This work presents exact algorithms for the Resource Allocation and Cyclic Scheduling Problems (RA&CSPs). Cyclic Scheduling Problems arise in a number of application areas, such as in hoist scheduling, mass production, compiler design (implementing scheduling loops on parallel architectures), software pipelining, and in embedded system design. The RA&CS problem concerns time and resource assignment to a set of activities, to be indefinitely repeated, subject to precedence and resource capacity constraints. In this work we present two constraint programming frameworks facing two different types of cyclic problems. In first instance, we consider the disjunctive RA&CSP, where the allocation problem considers unary resources. Instances are described through the Synchronous Data-flow (SDF) Model of Computation. The key problem of finding a maximum-throughput allocation and scheduling of Synchronous Data-Flow graphs onto a multi-core architecture is NP-hard and has been traditionally solved by means of heuristic (incomplete) algorithms. We propose an exact (complete) algorithm for the computation of a maximum-throughput mapping of applications specified as SDFG onto multi-core architectures. Results show that the approach can handle realistic instances in terms of size and complexity. Next, we tackle the Cyclic Resource-Constrained Scheduling Problem (i.e. CRCSP). We propose a Constraint Programming approach based on modular arithmetic: in particular, we introduce a modular precedence constraint and a global cumulative constraint along with their filtering algorithms. Many traditional approaches to cyclic scheduling operate by fixing the period value and then solving a linear problem in a generate-and-test fashion. Conversely, our technique is based on a non-linear model and tackles the problem as a whole: the period value is inferred from the scheduling decisions. The proposed approaches have been tested on a number of non-trivial synthetic instances and on a set of realistic industrial instances achieving good results on practical size problem.

Gut microbiota perturbation induced by emerging dietary habits: an in vitro colon model to predict their effects by a microbiomic and metabolomic approach

Over the past 30 years, unhealthy diets and lifestyles have increased the incidence of noncommunicable diseases and are culprits of diffusion on world’s population of syndromes as obesity or other metabolic disorders, reaching pandemic proportions. In order to comply with such scenario, the food industry has tackled these challenges with different approaches, as the reformulation of foods, fortification of foods, substitution of ingredients and supplements with healthier ingredients, reduced animal protein, reduced fats and improved fibres applications. Although the technological quality of these emerging food products is known, the impact they have on the gut microbiota of consumers remains unclear. In the present PhD thesis, the recipient work was conducted to study different foods with the substitution of the industrial and market components to that of novel green oriented and sustainable ingredients. So far, this thesis included eight representative case studies of the most common substitutions/additions/fortifications in dairy, meat, and vegetable products. The products studied were: (i) a set of breads fortified with polyphenol-rich olive fiber, to replace synthetic antioxidant and preservatives, (ii) a set of Gluten-free breads fortified with algae powder, to fortify the protein content of standard GF products, (iii) different formulations of salami where nitrates were replaced by ascorbic acid and vegetal extract antioxidants and nitrate-reducers starter cultures, (iv) chocolate fiber plus D-Limonene food supplement, as a novel prebiotic formula, (v) hemp seed bran and its alkalase hydrolysate, to introduce as a supplement, (vi) milk with and without lactose, to evaluate the different impact on human colonic microbiota of healthy or lactose-intolerants, (vii) lactose-free whey fermented and/or with probiotics added, to be introduced as an alternative beverage, exploring its impact on human colonic microbiota from healthy or lactose-intolerants, and (viii) antibiotics, to assess whether maternal amoxicillin affects the colon microbiota of piglets.