A self‐scalable load injection service

Load testing of applications is an important and costly activity for software provider companies. Classical solutions are very difficult to set up statically, and their cost is prohibitive in terms of both human and hardware resources. Virtualized cloud computing platforms provide new opportunities for stressing an application's scalability, by providing a large range of flexible and less expensive (pay‐per‐use model) computation units. On the basis of these advantages, load testing solutions could be provided on demand in the cloud. This paper describes a Benchmark‐as‐a‐Service solution that automatically scales the load injection platform and facilitates its setup according to load profiles. Our approach is based on: (i) virtualization of the benchmarking platform to create self‐scaling injectors; (ii) online calibration to characterize the injector's capacity and impact on the benched application; and (iii) a provisioning solution to appropriately scale the load injection platform ahead of time. We also report experiments on a benchmark illustrating the benefits of this system in terms of cost and resource reductions. Copyright © 2013 John Wiley & Sons, Ltd.     

Consistency-based and abductive diagnoses as generalised stable models

If realistic systems are to be successfully modelled and efficiently diagnosed using model-based techniques, a more expressive language than classical logic is required. In this paper, we present a definition of diagnosis which allows the use of a nonmonotonic construct, negation as failure, in the modelling language. This definition is based on thegeneralised stable model semantics of abduction. Furthermore, we argue that, if negation as failure is permitted in the modelling language, the distinction between abductive and consistency-based diagnosis is no longer clear. Our definition allows both forms of diagnosis to be expressed in a single framework. It also allows a single interference procedure to perform abductive or consistency-based diagnosis, as appropriate.This paper is an extended and revised version of ref. [29].     

Testable heuristics for the 0–1 knapsack problem

Two kinds of heuristics, fixed time and cut time, are proposed in order to use the running time available in solving 0–1 knapsack problems profitably.Translated from Kibernetika, No. 2, pp. 44–52, March–April, 1991.     

Zur Fließfähigkeit von Schüttgütern – Definition und Meßverfahren

Flowability of Bulk Solids – Definition and Measuring Principles . The flowability of bulk solids has to be known for many practical applications. The present paper describes how the flowability is defined and on which physical properties it depends. Experimental determination of the flowability using a shear test is demonstrated. Conditions influencing measuremed results are described. Finally an overview of various methods used for characterization of the flowability of bulk solids is given.     

Na+ channel modulation and force-frequency relationship in human myocardium

Insect cell lines in culture are used for a variety of studies. In this laboratory imaginal disc cell lines have been established from primary cultures from third instar larvae, and used for a number of experiments. The effect of ageing on the morphology and physiology of Drosophila cell lines has received very little attention, although problems of genotypic or phenotypic changes in cell lines with age are recognized in other areas of animal cell culture. We tested our cell line Cl8+ for any difference in growth, morphology and response to 20-hydroxyecdysone (20HE) at different ages (passage numbers). The cells were found to multiply faster, adhere less firmly to the substrate and to lose the tendency to aggregate at higher passages. The response to 20HE in terms of cell numbers and induction of beta-galactosidase was similar at all passage numbers but morphological changes in hormone-treated cells were less obvious in the higher passages. Cell lines are likely to vary in the extent of ageing effects but workers are advised to be aware of the possibilities. We suggest the effects of age on cell lines should be established, and passage numbers noted in experimental reports.     

Isothermic growth of one spherulite around circular obstacles in a polypropylene foil

Growth of one spherulite within a thin foil of polypropylene around one circular obstacle or around combinations of circular obstacles is investigated. For each obstacle there exists a region of shadow, seen from the nucleus of the spherulite, which influences the growth of the spherulite. Within any region of shadow the growth fronts are evolvents of the obstacle's boundary, because the spherulite grows isotropically. When two growth fronts belonging to one spherulite meet each other inside the shadow, an intrinsic grain boundary is formed for each obstacle. Additionally, growth of one spherulite around a rectangular obstacle and a spherical obstacle is investigated.     

Comparison of finite element reliability methods

The spectral stochastic finite element method (SSFEM) aims at constructing a probabilistic representation of the response of a mechanical system, whose material properties are random fields. The response quantities, e.g. the nodal displacements, are represented by a polynomial series expansion in terms of standard normal random variables. This expansion is usually post-processed to obtain the second-order statistical moments of the response quantities. However, in the literature, the SSFEM has also been suggested as a method for reliability analysis. No careful examination of this potential has been made yet. In this paper, the SSFEM is considered in conjunction with the first-order reliability method (FORM) and with importance sampling for finite element reliability analysis. This approach is compared with the direct coupling of a FORM reliability code and a finite element code. The two procedures are applied to the reliability analysis of the settlement of a foundation lying on a randomly heterogeneous soil layer. The results are used to make a comprehensive comparison of the two methods in terms of their relative accuracies and efficiencies.     

Affordances in the design of enactive systems

Enactive interfaces must incorporate intuitive activity that characterizes naturalistic perception. However, the manner in which information is presented is not more important than the contents: what information is presented. In this contribution, we address the contents of perception. We argue that people perceive affordances, that is, the possible actions that are available in any given situation. We further argue that enactive interfaces should be designed to optimize presentation of information about the possible actions that are available to a person using the enactive interface. The design of enactive interfaces might be guided by an extension of the theory of ecological interface design (Vicente in Hum Factors 44:62–78, 2002) to include multimodal information that is accessed through fast, intuitive exploratory movement. We review two empirical studies that illustrate our arguments. Careful analysis of affordances, together with our increasing understanding of the enactive perception of affordances, should influence the design of enactive interfaces.