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.     

Abrasive wear of dental composite resins

Abrasive wear is a major problem in the application of dental composite resins. In this study the friction and wear behaviours of two types of dental composites: one containing relatively coarse filler particles and some microfillers (Estilux) and another containing only microfiller particles (Durafill), have been investigated by using a scratch testing machine. Experimental results show that the coefficients of friction in both composites are essentially constant for applied loads up to 20 N. The wear resistance of Durafill is better than Estilux. Under the same testing conditions, the size, shape and distribution of the filler particles are more important variables than applied load and sliding speed in controlling the wear mechanism. It is shown that for Estilux, plastic ploughing by the diamond indenter is the predominant mechanism. For Durafill, however, the formation and propagation of tensile cracks on the worn surface is the main wear mechanism. The effects of two different indenters, diamond and enamel, on the basic wear mechanisms are also discussed.     

Drugs, memory, and metamemory: A dose-effect study with lorazepam and scopolamine.

This experiment was designed to use the graded dose-related amnesia produced by the benzodiazepine lorazepam (1.0, 2.0 mg/70 kg, oral) and the anticholinergic scopolamine (0.3, 0.6 mg/70 kg, subcutaneous) as a tool to explore the cognitive and neurochemical mechanisms underlying metamemory in the judgment of learning paradigm, with a placebo-controlled independent groups design in healthy volunteers (n=12/group). Results provide evidence for a pharmacological dissociation between effects on memory versus metamemory (relative accuracy of item-by-item monitoring) across a range of levels of memory performance and suggest that the drugs selectively impair those aspects of metamnemonic monitoring that require participants' awareness of their overall current state of functioning (absolute accuracy of prospective item-by-item monitoring, prospective global monitoring) but not those that rely solely on assessment of individual item characteristics (relative accuracy of item-by-item monitoring). (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

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.