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.

Portfolio Approaches in Constraint Programming

Recent research has shown that the performance of a single, arbitrarily efficient algorithm can be significantly outperformed by using a portfolio of —possibly on-average slower— algorithms. Within the Constraint Programming (CP) context, a portfolio solver can be seen as a particular constraint solver that exploits the synergy between the constituent solvers of its portfolio for predicting which is (or which are) the best solver(s) to run for solving a new, unseen instance. In this thesis we examine the benefits of portfolio solvers in CP. Despite portfolio approaches have been extensively studied for Boolean Satisfiability (SAT) problems, in the more general CP field these techniques have been only marginally studied and used. We conducted this work through the investigation, the analysis and the construction of several portfolio approaches for solving both satisfaction and optimization problems. We focused in particular on sequential approaches, i.e., single-threaded portfolio solvers always running on the same core. We started from a first empirical evaluation on portfolio approaches for solving Constraint Satisfaction Problems (CSPs), and then we improved on it by introducing new data, solvers, features, algorithms, and tools. Afterwards, we addressed the more general Constraint Optimization Problems (COPs) by implementing and testing a number of models for dealing with COP portfolio solvers. Finally, we have come full circle by developing sunny-cp: a sequential CP portfolio solver that turned out to be competitive also in the MiniZinc Challenge, the reference competition for CP solvers.

Experimental characterization and modelling of a servo-pneumatic system for a knee loading apparatus

The new knee test rig developed in University of Bologna used pneumatic cylinder as actuator system. Specific characterization and modelling about the pneumatic cylinder and the related devices are needed in better controlling the test rig. In this thesis, an experimental environment for the related device is set up with data acquisition system using Real-time Windows Target, Simulink, MatLab. Based on the experimental data, a fitted model for the pneumatic cylinder friction is found.

Influence of adhesive thickness on adhesively bonded joints under fatigue loading

Research on adhesive joints is arousing increasing interest in aerospace industry. Incomplete knowledge of fatigue in adhesively bonded joints is a major obstacle to their application. The prediction of the disbonding growth is yet an open question. This thesis researches the influence of the adhesive thickness on fatigue disbond growth. Experimental testing on specimens with different thickness has been performed. Both a conventional approach based on the strain energy release rate and an approach based on cyclic strain energy are provided. The inadequacy of the former approach is discussed. Outcomes from tests support the idea of correlating the crack growth rate to the cyclic strain energy. In order to push further the study, a 2D finite element model for the prediction of disbond growth under quasi-static loading has been developed and implemented in Abaqus. Numerical simulations have been conducted with different values of the adhesive thickness. The results from tests and simulations are in accordance with each other. According to them, no dependence of disbonding on the adhesive thickness has been evidenced.

Effect of volume loading with 1 liter intravenous infusions of 0.9% saline, 4% succinylated gelatine (Gelofusine) and 6% hydroxyethyl starch (Voluven) on blood volume and endocrine responses: a randomized, three-way crossover study in healthy volunteers

To study the changes in blood volume and hormones controlling sodium and water homeostasis after infusions of 0.9% saline, Gelofusine (4% succinylated gelatin in 0.7% saline, weight-average molecular weight 30 kD), and Voluven (6% hydroxyethyl starch in 0.9% saline, weight-average molecular weight 130 kD) in healthy volunteers.

Early loading at 21 days of non-submerged titanium implants with a chemically modified sandblasted and acid-etched surface: 3-year results of a prospective study in the posterior mandible

BACKGROUND: This study evaluates 3-year success rates of titanium screw-type implants with a chemically modified sandblasted and acid-etched surface (mod SLA), which were functionally loaded after 3 weeks of healing. METHODS: A total of 56 implants, inserted in the posterior mandibles of 39 partially edentulous patients, underwent undisturbed healing for 3 weeks. At day 21, the implants were fully loaded with provisional crowns. Definitive metal ceramic restorations were fabricated after 6 months of healing. Clinical measurements regarding soft tissue parameters and radiographs were obtained at different time points up to 36 months after implant placement. The soft tissue and radiographic parameters for the mod SLA implants after 3 years in function were compared to a historic control group of implants with an SLA surface using an early loading protocol after 6 weeks. RESULTS: None of the implants failed to integrate. However, two implants were considered "spinners" at day 21 and were left unloaded for an extended period. Therefore, 96.4% of the inserted implants were loaded according to the protocol tested. All 56 implants, including the "spinners," showed favorable clinical and radiographic findings at the 3-year follow-up examination. All 56 implants were considered successfully integrated, resulting in a 3-year survival and success rate of 100%. Dental implants with a mod SLA surface demonstrated statistically significant differences for probing depths and clinical attachment level values compared to the historic control group, with the mod SLA surface implants having overall lower probing depths and clinical attachment level scores. CONCLUSION: This prospective study using an early loading protocol demonstrates that titanium implants with the mod SLA surface can achieve and maintain successful tissue integration over a period of 3 years.

Early loading after 21 days of healing of nonsubmerged titanium implants with a chemically modified sandblasted and acid-etched surface: two-year results of a prospective two-center study

PURPOSE: The aim of this two-center study was to evaluate screw-type titanium implants with a chemically modified, sandblasted and acid-etched surface when placed in the posterior maxilla or mandible, and loaded 21 days after placement. MATERIAL AND METHODS: All 56 patients met strict inclusion criteria and provided informed consent. Each patient displayed either a single-tooth gap, an extended edentulous space, or a distal extension situation in the posterior mandible or maxilla. Eighty-nine dental implants (SLActive, Institut Straumann AG, Basel, Switzerland) were inserted according to an established nonsubmerged protocol and underwent undisturbed healing for a period of 21 days. Where appropriate, the implants were loaded after 21 days of healing with provisional restorations in full occlusion. Definitive metal ceramic restorations were fabricated and positioned on each implant after 6 months of healing. Clinical measurements regarding soft tissue parameters and radiographs were obtained at different time points up to 24 months after implant placement. RESULTS: Of the 89 inserted implants, two (2.2%) implants failed to integrate and were removed during healing, and two (2.2%) additional implants required a prolonged healing time. A total of 85 (95.6%) implants were therefore loaded without incident after 21 days of healing. No additional implant was lost throughout the study period, whereas one implant was lost to follow-up and therefore left unaccounted for further analysis. The remaining 86 implants all exhibited favorable radiographic and clinical findings. Based on strict success criteria, these implants were considered successfully integrated 2 years after insertion, resulting in a 2-year success rate of 97.7%. CONCLUSION: The results of this prospective two-center study demonstrate that titanium implants with a modified SLA surface can predictably achieve successful tissue integration when loaded in full occlusion 21 days after placement. Integration could be maintained without incident for at least 2 years of follow-up.

Interobserver variability for retreatment indications after Ranibizumab loading doses in neovascular age-related macular degeneration

To assess the interobserver variability (IOV) in indicating retreatment for neovascular Age-related macular degeneration 4 weeks after three Ranibizumab loading doses using spectral domain OCT (SD-OCT) as the primary objective diagnostic tool.

The effects of dynamic loading on the intervertebral disc

Loading is important to maintain the balance of matrix turnover in the intervertebral disc (IVD). Daily cyclic diurnal assists in the transport of large soluble factors across the IVD and its surrounding circulation and applies direct and indirect stimulus to disc cells. Acute mechanical injury and accumulated overloading, however, could induce disc degeneration. Recently, there is more information available on how cyclic loading, especially axial compression and hydrostatic pressure, affects IVD cell biology. This review summarises recent studies on the response of the IVD and stem cells to applied cyclic compression and hydrostatic pressure. These studies investigate the possible role of loading in the initiation and progression of disc degeneration as well as quantifying a physiological loading condition for the study of disc degeneration biological therapy. Subsequently, a possible physiological/beneficial loading range is proposed. This physiological/beneficial loading could provide insight into how to design loading regimes in specific system for the testing of various biological therapies such as cell therapy, chemical therapy or tissue engineering constructs to achieve a better final outcome. In addition, the parameter space of 'physiological' loading may also be an important factor for the differentiation of stem cells towards most ideally 'discogenic' cells for tissue engineering purpose.

Erratum to: The effects of dynamic loading on the intervertebral disc

Erratum to: Eur Spine J DOI 10.1007/s00586-011-1827-1 In the original article ‘‘Acknowledgments’’ was missing. The Acknowledgment is given below: Acknowledgments This project was supported by the Swiss National Science Foundation (SNF # 310030-127586/1) and the Department for Orthopedic Research, Insel University Hospital, Bern, Switzerland.

Development of Dynamic Constraint Models for a Model Based Transient Calibration Process

Model based calibration has gained popularity in recent years as a method to optimize increasingly complex engine systems. However virtually all model based techniques are applied to steady state calibration. Transient calibration is by and large an emerging technology. An important piece of any transient calibration process is the ability to constrain the optimizer to treat the problem as a dynamic one and not as a quasi-static process. The optimized air-handling parameters corresponding to any instant of time must be achievable in a transient sense; this in turn depends on the trajectory of the same parameters over previous time instances. In this work dynamic constraint models have been proposed to translate commanded to actually achieved air-handling parameters. These models enable the optimization to be realistic in a transient sense. The air handling system has been treated as a linear second order system with PD control. Parameters for this second order system have been extracted from real transient data. The model has been shown to be the best choice relative to a list of appropriate candidates such as neural networks and first order models. The selected second order model was used in conjunction with transient emission models to predict emissions over the FTP cycle. It has been shown that emission predictions based on air-handing parameters predicted by the dynamic constraint model do not differ significantly from corresponding emissions based on measured air-handling parameters.