Hybrid Methods for Resource Allocation and Scheduling Problems in Deterministic and Stochastic Environments

This work presents exact, hybrid algorithms for mixed resource Allocation and Scheduling problems; in general terms, those consist into assigning over time finite capacity resources to a set of precedence connected activities. The proposed methods have broad applicability, but are mainly motivated by applications in the field of Embedded System Design. In particular, high-performance embedded computing recently witnessed the shift from single CPU platforms with application-specific accelerators to programmable Multi Processor Systems-on-Chip (MPSoCs). Those allow higher flexibility, real time performance and low energy consumption, but the programmer must be able to effectively exploit the platform parallelism. This raises interest in the development of algorithmic techniques to be embedded in CAD tools; in particular, given a specific application and platform, the objective if to perform optimal allocation of hardware resources and to compute an execution schedule. On this regard, since embedded systems tend to run the same set of applications for their entire lifetime, off-line, exact optimization approaches are particularly appealing. Quite surprisingly, the use of exact algorithms has not been well investigated so far; this is in part motivated by the complexity of integrated allocation and scheduling, setting tough challenges for ``pure'' combinatorial methods. The use of hybrid CP/OR approaches presents the opportunity to exploit mutual advantages of different methods, while compensating for their weaknesses. In this work, we consider in first instance an Allocation and Scheduling problem over the Cell BE processor by Sony, IBM and Toshiba; we propose three different solution methods, leveraging decomposition, cut generation and heuristic guided search. Next, we face Allocation and Scheduling of so-called Conditional Task Graphs, explicitly accounting for branches with outcome not known at design time; we extend the CP scheduling framework to effectively deal with the introduced stochastic elements. Finally, we address Allocation and Scheduling with uncertain, bounded execution times, via conflict based tree search; we introduce a simple and flexible time model to take into account duration variability and provide an efficient conflict detection method. The proposed approaches achieve good results on practical size problem, thus demonstrating the use of exact approaches for system design is feasible. Furthermore, the developed techniques bring significant contributions to combinatorial optimization methods.

Advances in methods to detect, isolate and quantify foodborne pathogens

Foodborne diseases impact human health and economies worldwide in terms of health care and productivity loss. Prevention is necessary and methods to detect, isolate and quantify foodborne pathogens play a fundamental role, changing continuously to face microorganisms and food production evolution. Official methods are mainly based on microorganisms growth in different media and their isolation on selective agars followed by confirmation of presumptive colonies through biochemical and serological test. A complete identification requires form 7 to 10 days. Over the last decades, new molecular techniques based on antibodies and nucleic acids allow a more accurate typing and a faster detection and quantification. The present thesis aims to apply molecular techniques to improve official methods performances regarding two pathogens: Shiga-like Toxin-producing Escherichia coli (STEC) and Listeria monocytogenes. In 2011, a new strain of STEC belonging to the serogroup O104 provoked a large outbreak. Therefore, the development of a method to detect and isolate STEC O104 is demanded. The first objective of this work is the detection, isolation and identification of STEC O104 in sprouts artificially contaminated. Multiplex PCR assays and antibodies anti-O104 incorporated in reagents for immunomagnetic separation and latex agglutination were employed. Contamination levels of less than 1 CFU/g were detected. Multiplex PCR assays permitted a rapid screening of enriched food samples and identification of isolated colonies. Immunomagnetic separation and latex agglutination allowed a high sensitivity and rapid identification of O104 antigen, respectively. The development of a rapid method to detect and quantify Listeria monocytogenes, a high-risk pathogen, is the second objective. Detection of 1 CFU/ml and quantification of 10–1,000 CFU/ml in raw milk were achieved by a sample pretreatment step and quantitative PCR in about 3h. L. monocytogenes growth in raw milk was also evaluated.

Genetic and morphological variation and differentiation of Raja clavata populations in the European seas: marker development and preliminary data

In this study the population structure and connectivity of the Mediterranean and Atlantic Raja clavata (L., 1758) were investigated by analyzing the genetic variation of six population samples (N = 144) at seven nuclear microsatellite loci. The genetic dataset was generated by selecting population samples available in the tissue databases of the GenoDREAM laboratory (University of Bologna) and of the Department of Life Sciences and Environment (University of Cagliari), all collected during past scientific surveys (MEDITS, GRUND) from different geographical locations in the Mediterranean basin and North-east Atlantic sea, as North Sea, Sardinian coasts, Tuscany coasts and Cyprus Island. This thesis deals with to estimate the genetic diversity and differentiation among 6 geographical samples, in particular, to assess the presence of any barrier (geographic, hydrogeological or biological) to gene flow evaluating both the genetic diversity (nucleotide diversity, observed and expected heterozygosity, Hardy- Weinberg equilibrium analysis) and population differentiation (Fst estimates, population structure analysis). In addition to molecular analysis, quantitative representation and statistical analysis of morphological individuals shape are performed using geometric morphometrics methods and statistical tests. Geometric coordinates call landmarks are fixed in 158 individuals belonging to two population samples of Raja clavata and in population samples of closely related species, Raja straeleni (cryptic sibling) and Raja asterias, to assess significant morphological differences at multiple taxonomic levels. The results obtained from the analysis of the microsatellite dataset suggested a geographic and genetic separation between populations from Central-Western and Eastern Mediterranean basins. Furthermore, the analysis also showed that there was no separation between geographic samples from North Atlantic Ocean and central-Western Mediterranean, grouping them to a panmictic population. The Landmark-based geometric morphometry method results showed significant differences of body shape able to discriminate taxa at tested levels (from species to populations).

Interference with gesture production by theta burst stimulation over left inferior frontal cortex

The traditional view of a predominant inferior parietal representation of gestures has been recently challenged by neuroimaging studies demonstrating that gesture production and discrimination may critically depend on inferior frontal lobe function. The aim of the present work was therefore to investigate the effect of transient disruption of these brain sites by continuous theta burst stimulation (cTBS) on gesture production and recognition.

Development of a novel fMRI compatible visual perception prototype battery to test older people with and without dementia

Background: Visuoperceptual deficits in dementia are common and can reduce quality of life. Testing of visuoperceptual function is often confounded by impairments in other cognitive domains and motor dysfunction. We aimed to develop, pilot, and test a novel visuocognitive prototype test battery which addressed these issues, suitable for both clinical and functional imaging use. Methods: We recruited 23 participants (14 with dementia, 6 of whom had extrapyramidal motor features, and 9 age-matched controls). The novel Newcastle visual perception prototype battery (NEVIP-B-Prototype) included angle, color, face, motion and form perception tasks, and an adapted response system. It allows for individualized task difficulties. Participants were tested outside and inside the 3T functional magnetic resonance imaging (fMRI) scanner. Functional magnetic resonance imaging data were analyzed using SPM8. Results: All participants successfully completed the task inside and outside the scanner. Functional magnetic resonance imaging analysis showed activation regions corresponding well to the regional specializations of the visual association cortex. In both groups, there was significant activity in the ventral occipital-temporal region in the face and color tasks, whereas the motion task activated the V5 region. In the control group, the angle task activated the occipitoparietal cortex. Patients and controls showed similar levels of activation, except on the angle task for which occipitoparietal activation was lower in patients than controls. Conclusion: Distinct visuoperceptual functions can be tested in patients with dementia and extrapyramidal motor features when tests use individualized thresholds, adapted tasks, and specialized response systems.

Towards a Variety of Family Models: Economic Contributions of Spouses and Family Power

In Western societies the increase in female employment (especially among married women) is seen as having brought about the crisis of the traditional model of the family, reinforcing the position of the "modern" model - the egalitarian family with two working spouses and a "dual-career" family. In contrast, the transitional situation in the post-communist countries during the 1990s is producing a crisis of the family with two working spouses (the basic type of the communist period) and leading to new power relations within the family. While the growth of dual-earner households in this century has implied modification of family models towards greater symmetry of responsibility for breadwinning and homemaking, there is considerable evidence that women's increased employment does not necessarily lead to a more egalitarian approach to gender roles within the family. The group set out to investigate the economic situation of families and economic power within the fame as a crucial factor in the transformation of families with two working spouses in order to reveal the specific patterns of gender contracts and power relations within the family that are emerging in response to the current political and economic transformation. They opted for a comparative approach, selecting the Czech Republic as a country where the very similar tendencies of a few years ago (almost 100% of women employed and the family as a realm of considerable private freedom where both women's and men's gender identities and the traditional distribution of family responsibilities were largely preserved) are combined with a very different experience in terms of economic inequalities during the 1990s to that of Russia. In the first stage of the study they surveyed 300 married couples (150 in each country) on the question of breadwinning. They then carried out in-depth interviews with 10 couples from each country (selected from among the educated layers of the population), focusing on the process of the social construction of gender, using breadwinning and homemaking as gender boundaries which distinguish men from women. By analysing changes in social position and the type of interpersonal interaction of spouses they distinguished two main types of family contracts: the neo-traditional "communal sharing" (with male breadwinner, traditional distribution of family chores and negotiated family power) and the modern one based on negotiated agreement. The most important pre-conditions of husband-wife agreement about breadwinning seemed to imply their overall gender ideology rather than the economic and/or family circumstances. In general, wives were more likely to express egalitarian views, supporting the blurring or even elimination of many gender boundaries. Husbands, on the other hand, more often gave responses calling for the continued maintenance of gender boundaries. The analysis showed that breadwinning is still an important gender boundary in these cultures, one that is assumed unless it is explicitly questioned and that is seen as part of what makes a man a "real man". The majority of respondents seemed to be committed to egalitarian ideology on gender roles and the distribution of family tasks, including decision making, but this is contradicted by the persistent idea of the husband as the breadwinner. This contradiction is more characteristic of the Russian situation than of the Czech. The quantitative study showed a difference in prevailing family models between the two countries, with a clearer shift towards the traditional family contract in the Russian case. The Czechs were more likely to consider their partnerships as based on negotiated agreement, while the Russians saw theirs as based on egalitarian contract, in both cases seeing this as the norm. The majority of couples said they felt satisfied with their marriage, although in both countries wives seemed to be less satisfied. There was however a difference in the issues that aroused dissatisfaction, with Czech women being more sensitive to issues such as self-realisation, personal independence, understanding and recognition in the family, and Russians to issues of love, understanding and recognition. The most disputed area for the majority of families was chores in the home, presumably because in many families both husband and wife were working hard outside the home and because a number of partners had differing views as to the ideal distribution of chores within the family. The distribution of power in the family seems to be linked to the level of well being. The analysis showed that in the dominant democratic model there is still an inverse connection between family leadership and well being: the more prominent the wife's position as head of the family is, the lower the level of family income. This may reflect both the husband's refusal to play the leading role in the family and even his rejection of any involvement in family issues in such a family. The qualitative research revealed that both men and women see the breadwinning role to be an essential part of masculine identity, a role which the female partner would take on temporarily to assist the male but not permanently since this would threaten the gender boundaries and the man's identity. At the same time, few breadwinners expressed a sense of job satisfaction and all considered their choice as imposed on them by the circumstances (i.e. having a family in difficult times). The group feel that family orientation and some loss of personal involvement in their profession is partly reflected in the fact that many of the men felt more comfortable and self-confident at home than at work. Women's work, on the other hand, was largely seen as a source of personal and self-realisation and social life. Eight out of ten of the Russian women interviewed were employed, although only two on a full-time basis, but none saw their jobs as adding substantially to the family budget. Both partners see the most important factor as the wife's wish to work or stay at home, and do not think it wise for the wife to work at the expense of her part of the "family contract", although husbands from the "egalitarian" relationships expressed more willingness to compromise. The analysis showed clearly that wives and husbands did not construct gender boundaries in isolation, with the interviews providing clear evidence of negotiation. At the same time, husbands' interpretations of their wives' employment were less susceptible to the influence of negotiation than were their gender attitudes and norms about breadwinning. One of the most interesting aspects of the spouses' negotiations was the extent to which they disagreed about what they seemed to have agreed upon. Most disagreements about the breadwinning boundaries, however, were over norms and were settled by changes in norms rather than in behavioural interpretation. Changes in norms were often a form of peace offering or were in response in changes in circumstances. The study did show, however, that many of the efforts at cooperation and compensation were more symbolic than real and the group found the plasticity of expressed gender ideology to be one of the most striking findings of their work. They conclude that the shift towards more traditional gednder distributions of incomes and domestic chores does not automatically mean the reestablishment of a patriarchal model of family power. On the contrary, it seems to be a compromise formation, relatively unstable, temporary and containing self-defeating forces as the split between the personal and professional value of work and its social value expressed in a money equivalent cannot be maintained for generations.

Stereoselective pharmacokinetics of ketamine and norketamine after racemic ketamine or S-ketamine administration during isoflurane anaesthesia in Shetland ponies

BACKGROUND: The arterial pharmacokinetics of ketamine and norketamine enantiomers after racemic ketamine or S-ketamine i.v. administration were evaluated in seven gelding ponies in a crossover study (2-month interval). METHODS: Anaesthesia was induced with isoflurane in oxygen via a face-mask and then maintained at each pony's individual MAC. Racemic ketamine (2.2 mg kg(-1)) or S-ketamine (1.1 mg kg(-1)) was injected in the right jugular vein. Blood samples were collected from the right carotid artery before and at 1, 2, 4, 8, 16, 32, 64, and 128 min after ketamine administration. Ketamine and norketamine enantiomer plasma concentrations were determined by capillary electrophoresis. Individual R-ketamine and S-ketamine concentration vs time curves were analysed by non-linear least square regression two-compartment model analysis using PCNonlin. Plasma disposition curves for R-norketamine and S-norketamine were described by estimating AUC, C(max), and T(max). Pulse rate (PR), respiratory rate (R(f)), tidal volume (V(T)), minute volume ventilation (V(E)), end-tidal partial pressure of carbon dioxide (PE'(CO(2))), and mean arterial blood pressure (MAP) were also evaluated. RESULTS: The pharmacokinetic parameters of S- and R-ketamine administered in the racemic mixture or S-ketamine administered separately did not differ significantly. Statistically significant higher AUC and C(max) were found for S-norketamine compared with R-norketamine in the racemic group. Overall, R(f), V(E), PE'(CO(2)), and MAP were significantly higher in the racemic group, whereas PR was higher in the S-ketamine group. CONCLUSIONS: Norketamine enantiomers showed different pharmacokinetic profiles after single i.v. administration of racemic ketamine in ponies anaesthetised with isoflurane in oxygen (1 MAC). Cardiopulmonary variables require further investigation.

Functional imbalance of visual pathways indicates alternative face processing strategies in autism

OBJECTIVE: To investigate whether autistic subjects show a different pattern of neural activity than healthy individuals during processing of faces and complex patterns. METHODS: Blood oxygen level-dependent (BOLD) signal changes accompanying visual processing of faces and complex patterns were analyzed in an autistic group (n = 7; 25.3 [6.9] years) and a control group (n = 7; 27.7 [7.8] years). RESULTS: Compared with unaffected subjects, autistic subjects demonstrated lower BOLD signals in the fusiform gyrus, most prominently during face processing, and higher signals in the more object-related medial occipital gyrus. Further signal increases in autistic subjects vs controls were found in regions highly important for visual search: the superior parietal lobule and the medial frontal gyrus, where the frontal eye fields are located. CONCLUSIONS: The cortical activation pattern during face processing indicates deficits in the face-specific regions, with higher activations in regions involved in visual search. These findings reflect different strategies for visual processing, supporting models that propose a predisposition to local rather than global modes of information processing in autism.

Dynamic modeling, simulation and control design of a parafoil-payload system for ship launched aerial delivery system (SLADS)

The objective of this research was to develop a high-fidelity dynamic model of a parafoilpayload system with respect to its application for the Ship Launched Aerial Delivery System (SLADS). SLADS is a concept in which cargo can be transfered from ship to shore using a parafoil-payload system. It is accomplished in two phases: An initial towing phase when the glider follows the towing vessel in a passive lift mode and an autonomous gliding phase when the system is guided to the desired point. While many previous researchers have analyzed the parafoil-payload system when it is released from another airborne vehicle, limited work has been done in the area of towing up the system from ground or sea. One of the main contributions of this research was the development of a nonlinear dynamic model of a towed parafoil-payload system. After performing an extensive literature review of the existing methods of modeling a parafoil-payload system, a five degree-of-freedom model was developed. The inertial and geometric properties of the system were investigated to predict accurate results in the simulation environment. Since extensive research has been done in determining the aerodynamic characteristics of a paraglider, an existing aerodynamic model was chosen to incorporate the effects of air flow around the flexible paraglider wing. During the towing phase, it is essential that the parafoil-payload system follow the line of the towing vessel path to prevent an unstable flight condition called ‘lockout’. A detailed study of the causes of lockout, its mathematical representation and the flight conditions and the parameters related to lockout, constitute another contribution of this work. A linearized model of the parafoil-payload system was developed and used to analyze the stability of the system about equilibrium conditions. The relationship between the control surface inputs and the stability was investigated. In addition to stability of flight, one more important objective of SLADS is to tow up the parafoil-payload system as fast as possible. The tension in the tow cable is directly proportional to the rate of ascent of the parafoil-payload system. Lockout instability is more favorable when tow tensions are large. Thus there is a tradeoff between susceptibility to lockout and rapid deployment. Control strategies were also developed for optimal tow up and to maintain stability in the event of disturbances.

Time-domain models for power system stability and unbalance

It is an important and difficult challenge to protect modern interconnected power system from blackouts. Applying advanced power system protection techniques and increasing power system stability are ways to improve the reliability and security of power systems. Phasor-domain software packages such as Power System Simulator for Engineers (PSS/E) can be used to study large power systems but cannot be used for transient analysis. In order to observe both power system stability and transient behavior of the system during disturbances, modeling has to be done in the time-domain. This work focuses on modeling of power systems and various control systems in the Alternative Transients Program (ATP). ATP is a time-domain power system modeling software in which all the power system components can be modeled in detail. Models are implemented with attention to component representation and parameters. The synchronous machine model includes the saturation characteristics and control interface. Transient Analysis Control System is used to model the excitation control system, power system stabilizer and the turbine governor system of the synchronous machine. Several base cases of a single machine system are modeled and benchmarked against PSS/E. A two area system is modeled and inter-area and intra-area oscillations are observed. The two area system is reduced to a two machine system using reduced dynamic equivalencing. The original and the reduced systems are benchmarked against PSS/E. This work also includes the simulation of single-pole tripping using one of the base case models. Advantages of single-pole tripping and comparison of system behavior against three-pole tripping are studied. Results indicate that the built-in control system models in PSS/E can be effectively reproduced in ATP. The benchmarked models correctly simulate the power system dynamics. The successful implementation of a dynamically reduced system in ATP shows promise for studying a small sub-system of a large system without losing the dynamic behaviors. Other aspects such as relaying can be investigated using the benchmarked models. It is expected that this work will provide guidance in modeling different control systems for the synchronous machine and in representing dynamic equivalents of large power systems.