Evaluating load balancing policies for performance and energy-efficiency

Nowadays, more and more increasingly hard computations are performed in challenging fields like weather forecasting, oil and gas exploration, and cryptanalysis. Many of such computations can be implemented using a computer cluster with a large number of servers. Incoming computation requests are then, via a so-called load balancing policy, distributed over the servers to ensure optimal performance. Additionally, being able to switch-off some servers during low period of workload, gives potential to reduced energy consumption. Therefore, load balancing forms, albeit indirectly, a trade-off between performance and energy consumption. In this paper, we introduce a syntax for load-balancing policies to dynamically select a server for each request based on relevant criteria, including the number of jobs queued in servers, power states of servers, and transition delays between power states of servers. To evaluate many policies, we implement two load balancers in: (i) iDSL, a language and tool-chain for evaluating service-oriented systems, and (ii) a simulation framework in AnyLogic. Both implementations are successfully validated by comparison of the results.Comment: In Proceedings QAPL'16, arXiv:1610.0769

Towards Simple Models for Energy-Performance Trade-Offs in Data Centers

In this paper we advocate the use of simple stochastic models to analyse the energy-performance trade-off in data centres. Recently such trade-offs have received increased attention, however, the tools used to make such trade-offs are largely based on simulation and real-life experiments. Although simulations studies are very helpful, we think that simple analytical models, or models based on stochastic Petri nets (or similar description techniques) can be very fruitful in guiding design processes in the early phases.\ud Similarly, we do think that experimental work is very important, however, its results come "after the fact" in the sense that the system has been built already once the experiments are being performed. Our claim is that the\ud use of simple models early in the design phase provides a very good return on investment. This short paper presents some preliminary models that can be used for early-in-design trade-off analyses

Novel electrocardiographic criteria for the diagnosis of arrhythmogenic right ventricular cardiomyopathy

Aims: In order to improve the electrocardiographic (ECG) diagnosis of arrhythmogenic right ventricular cardiomyopathy (ARVC), we evaluated novel quantitative parameters of the QRS complex and the value of bipolar chest leads (CF leads) computed from the standard 12 leads. Methods and results: We analysed digital 12-lead ECGs in 44 patients with ARVC, 276 healthy subjects including 44 age and sex-matched with the patients and 36 genotyped members of ARVC families. The length and area of the terminal S wave in V1 to V3 were measured automatically using a common for all 12 leads QRS end. T wave negativity was assessed in V1 to V6 and in the bipolar CF leads computed from the standard 12 leads. The length and area of the terminal S wave were significantly shorter, whereas the S wave duration was significantly longer in ARVC patients compared with matched controls. Among members of ARVC families, those with mutations (n = 15) had shorter QRS length in V2 and V3 and smaller QRS area in lead V2 compared with those without mutations (n = 20). In ARVC patients, the CF leads were diagnostically superior to the standard unipolar precordial leads. Terminal S wave duration in V1 >48 ms or major T wave negativity in CF leads separated ARVC patients from matched controls with 90% sensitivity and 86% specificity. Conclusion: The terminal S wave length and area in the right precordial leads are diagnostically useful and suitable for automatic analysis in ARVC. The CF leads are diagnostically superior to the unipolar precordial leads

Fluid Survival Tool: A Model Checker for Hybrid Petri Nets

Recently, algorithms for model checking Stochastic Time Logic (STL) on Hybrid Petri nets with a single general one-shot transition (HPNG) have been introduced. This paper presents a tool for model checking HPNG models against STL formulas. A graphical user interface (GUI) not only helps to demonstrate and validate existing algorithms, it also eases use. From the output of the model checker, 2D and 3D plots can be generated. The extendable object-oriented tool has been developed using the Model-View-Controller and Facade patterns, Doxygen for documentation and Qt for GUI development written in C++

The influence of CMMI on establishing an architecting process

A large IT company is creating a generic architecting process. Since the company has set an objective to achieve Maturity Level 3 of the Capability Maturity Model Integration (CMMI), the process needs to comply with the relevant requirements set by the CMMI. This paper presents the elicitation of such requirements, and the resulting set of requirements. It analyzes their potential impact on generic architecting processes found in literature. It turns out that many key architectural concepts are at best loosely defined in the CMMI. CMMI is strong in support of the development-related architecting activities, but gives only indirect support for other architecting activities, particularly in a product development context

A 12-month follow-up study of treating overweight schizophrenic patients with aripiprazole

Objective: To investigate the feasibility of switching overweight schizophrenic patients to aripiprazole and to assess the impact of 12 months of aripiprazole treatment on weight in routine practice. Method: This was a non-controlled cohort study in overweight schizophrenic patients. Data were collected before treatment with aripiprazole was started and at 12-month follow-up. Results: A total of 53 patients were included; of these 55% continued using aripiprazole for 12 months. Aripiprazole treatment for 12 months (P = 0.027) and stopping clozapine or olanzapine treatment (P = 0.038) predicted weight loss (>= 3 kg). Patients receiving aripiprazole monotherapy (n = 16, mean -3.0 kg) had similar weight loss than patients receiving aripiprazole in addition to another antipsychotic drug (n = 13, mean -4.4 kg). Conclusion: In routine practice once aripiprazole treatment was started, more than half of the patients remained on aripiprazole and most of them lost weight. Adding aripiprazole to clozapine gave similar weight loss as monotherapy with aripiprazole

Effects of Longitudinal Bending Stiffness of forefoot rocker profile shoes on ankle kinematics and kinetics

INTRODUCTION: Rocker profile shoes with a proximally placed apex are currently one of the most prescribed shoe modifications for treatment and prevention of lower leg deficits. Three geometrical rocker design parameters apex position (AP), apex angle (AA) and rocker radius (RR) influence both plantar pressure redistribution and kinetic and kinematic alterations of the lower leg. In addition, longitudinal bending stiffness (LBS) of the outsole influences these parameters as well. This study aims to investigate the effects of the LBS in combination with different forefoot radii of rocker shoes on kinematics and kinetics of the lower limb. METHODS: 10 participants walked in standard shoes and six experimental shoe conditions with high and low LBS and three different forefoot rocker radii with the same (proximal) AP and AA. Lower extremity kinematics and kinetics were collected while walking on an instrumented treadmill at preferred walking speed and analysed with a repeated measures ANOVA and Statistical Parametric Mapping (SPM) (α = .05; post hoc α = .05/6). RESULTS: SPM analyses revealed no significant differences for LBS and interaction LBS*RR for most research variables in terminal stance (ankle angle, ankle moment, ankle power, foot-to-horizontal angle, shank-to-vertical angle, external ankle moment, ground reaction force angle). A significant LBS effect was found for anterior-posterior position of the centre of pressure during pre-swing and peak ankle dorsiflexion angle. No relevant significant differences were found in spatio-temporal parameters and total work at the ankle between low and high LBS. CONCLUSION: This study showed that longitudinal bending stiffness does not affect the biomechanical working mechanism of rocker profile shoes as long as toe plantarflexion is restricted. Providing that the forefoot rocker radius supports at least a normal foot-to-horizontal angle at toe-off, there is no reason to increase sole stiffness to change ankle kinematics and kinetics

Age-related differences in the control of weight-shifting within the surface of support

BACKGROUND AND AIM: An important reason for falling in elderly is incorrect weight-shifting¹. In many daily life activities quick and accurate weight-shifting is needed to maintain balance, especially in situations when balance is suddenly disturbed and anticipation on the upcoming movement is difficult. Considering the deterioration in postural control in elderly², it is expected that they have more difficulties with executing these quick and accurate weight-transfers³. The present study aims to gain more insight in age-related differences in postural control strategies during a postural control task requiring weight-transfers of different amplitudes and in different directions within the surface of support METHODS: Nine healthy older adults (70.3±6.9 years) and twelve young adults (20.9±0.5 years) participated in the study. The participants performed a weight-shifting task by moving the whole body in different directions to move a cursor, representing real time COP position, towards targets of different sizes and at different distances projected on a screen. Movement time (MT) was the time between the appearance of the goal target and the moment a target switch was realized (i.e. the cursor stayed in the goal target for 0.5 second). The accuracy of the movement was quantified by Counts on Goal (CoG), that is the number of times the cursor hit the goal target before a target switch was realized and by Dwelling Time (DT), the time required to realize a target switch after the goal target was hit by the cursor for the first time. Fluency was expressed by the maximal deviation (MD) of the performed path with respect to the ideal path and the number of peaks (nP), or inflections in the performed path. RESULTS: Significant main effects of target size, target distance and age on all outcome measures were found (p<.01). With decreasing target size, increasing target distance and increasing age, MT significantly increased and fluency and accuracy significantly decreased (nP, MD, CoG and DT increased). Elderly used a slower, less accurate and less fluent weight-shifting strategy compared to younger adults with increasing task difficulty (e.g. decreasing target size and increasing target distance) as indicated by significant interaction effects of size*age and distance*age (p<.05). CONCLUSION: The results of this study provided insight in how elderly control their weight-shifting when the movement cannot be anticipatorily planned. Elderly exhibited slower and more variable movements, especially with increasing task difficulty. This weight-shifting strategy seems characterizing for an increased fall risk in elderly, since the results indicate that elderly might have more difficulties with executing an adequate (quick and accurate) adaptation to a perturbation in daily life. ¹SN Robinovitch et al. Lancet. (2013), 381(9860), 47-54. ²FB Horak. Age Ageing. (2006), 35(2), 7-11. ³V Jongman et al. Stud Health Technol Inform. (2012), 181, 93-97

Obligations in the Shade: The Application of Fiduciary Directors’ Duties to Shadow Directors

This paper argues that shadow directors, as defined in English law, ought to owe the full range of directors’ duties, both fiduciary and non-fiduciary, enacted in the Companies Act 2006 (CA 2006), ss 171-177, to the relevant company under their influence. Following the enactment of the recent Small Business, Enterprise and Employment Act (SBEEA) 2015, these general duties are likely to apply to shadow directors, although there is still a case to be made as to why shadow directors should owe fiduciary duties to the relevant company. It is argued here that such a relationship is fiduciary in nature, but the current approach deployed in the English courts, based upon the application of Finn’s originally formulated ‘undertaking’ test alone, is inadequate. Given these inadequacies, it is proposed that the Canadian ‘power and discretion’ test be deployed alongside the ‘undertaking’ test, in order to provide a far more comprehensive justification for the application of fiduciary obligations to shadow directors. This position is supported by establishing a theoretical basis for the ‘power and discretion’ test, via Paul Miller’s ‘fiduciary powers theory’, as well as considering the application of such a test to shadow directors