A model of specification-based testing of interactive systems

In this paper we present a model of specification-based testing of interactive systems. This model provides the basis for a framework to guide such testing. Interactive systems are traditionally decomposed into a functionality component and a user interface component; this distinction is termed dialogue separation and is the underlying basis for conceptual and architectural models of such systems. Correctness involves both proper behaviour of the user interface and proper computation by the underlying functionality. Specification-based testing is one method used to increase confidence in correctness, but it has had limited application to interactive system development to date.

A new formation model for M32: a threshed early-type spiral galaxy?

The origin of M32, the closest compact elliptical galaxy (cE), is a long-standing puzzle of galaxy fort-nation in the Local Group. Our N-body/smoothed particle hydrodynamics simulations suggest a new scenario in which the strong tidal field of M31 can transform a spiral galaxy into a compact elliptical galaxy. As a low-luminosity spiral galaxy plunges into the central region of M31, most of the outer stellar and gaseous components of its disk are dramatically stripped as a result of M31's tidal field. The central bulge component, on the other hand, is just weakly influenced by the tidal field, owing to its compact configuration, and retains its morphology. M31's strong tidal field also induces rapid gas transfer to the central region, triggers a nuclear starburst, and consequently forms the central high-density and more metal-rich stellar populations with relatively young ages. Thus, in this scenario, M32 was previously the bulge of a spiral galaxy tidally interacting with M31 several gigayears ago. Furthermore, we suggest that cE's like M32 are rare, the result of both the rather narrow parameter space for tidal interactions that morphologically transform spiral galaxies into cE's and the very short timescale (less than a few times 10(9) yr) for cE's to be swallowed by their giant host galaxies (via dynamical friction) after their formation.

Shared structural determinants for the calcium-independent liposome membrane permeabilization and sarcolemma depolarization in Bothropstoxin-I, a LYS49-PLA(2) from the venom of Bothrops jararacussu

The structural determinants of myotoxicity of bothropstoxin-I (BthTX-I), a Lys49 phospholipase A(2) from Bothrops jararacussu venom, were studied by measuring the resting membrane potential in the mouse phrenic nerve-diaphragm preparation. This method proved to be around 100-fold more sensitive than the creatine kinase release assay, and was used to evaluate a total of 31 site-directed BthTX-I alanine scanning mutants. Mutants that reduced the resting membrane potential were located in a surface patch defined by residues in the C-terminal loop (residues 115-129), positions 37-39 in the membrane interfacial recognition surface (Y46 and K54), and residue K93. These results expand the known structural determinants of the biological activity as evaluated by previous creatine kinase release experiments. Furthermore, a strong correlation is observed between the structural determinants of sarcolemma depolarization and calcium-independent disruption of liposome membranes, suggesting that a common mechanism of action underlies the permeabilization of the biological and model membranes. (C) 2009 Elsevier Ltd. All rights reserved.

HUMAN CHOLESTERYL ESTER TRANSFER PROTEIN EXPRESSION ENHANCES THE MOUSE SURVIVAL RATE IN AN EXPERIMENTAL SYSTEMIC INFLAMMATION MODEL: A NOVEL ROLE FOR CETP

Mice expressing human cholesteryl ester transfer protein (huCETP) are more resistant to Escherichia coli bacterial wall LIPS because death rates 5 days after intraperitoneal inoculation of LIPS were higher in wild-type than in huCETP(+/-) mice, whereas all huCETP(+/+) mice remained alive. After LIPS inoculation, plasma concentrations of TNF-alpha and IL-6 increased less in huCETP(+/+) than in wild-type mice. LPS in vitro elicited lower TNF-alpha production by CETP expressing than by wild-type macrophages. In addition, TNF-alpha production by RAW 264.7 murine macrophages increased on incubation with LPS but decreased in a dose-dependent manner when human CETP was added to the medium. Human CETP in vitro enhanced the LIPS binding to plasma high-density lipoprotein/low-density lipoprotein. The liver uptake of intravenous infused C-14-LPS from Salmonella typhimurium was greater in huCETP(+/+) than in wild-type mice. Present data indicate for the first time that CETP is an endogenous component involved in the first line of defense against an exacerbated production of proinflammatory mediators.

Classification model based on Raman spectra of selected morphological and biochemical tissue constituents for identification of atherosclerosis in human coronary arteries

This study presents the results of Raman spectroscopy applied to the classification of arterial tissue based on a simplified model using basal morphological and biochemical information extracted from the Raman spectra of arteries. The Raman spectrograph uses an 830-nm diode laser, imaging spectrograph, and a CCD camera. A total of 111 Raman spectra from arterial fragments were used to develop the model, and those spectra were compared to the spectra of collagen, fat cells, smooth muscle cells, calcification, and cholesterol in a linear fit model. Non-atherosclerotic (NA), fatty and fibrous-fatty atherosclerotic plaques (A) and calcified (C) arteries exhibited different spectral signatures related to different morphological structures presented in each tissue type. Discriminant analysis based on Mahalanobis distance was employed to classify the tissue type with respect to the relative intensity of each compound. This model was subsequently tested prospectively in a set of 55 spectra. The simplified diagnostic model showed that cholesterol, collagen, and adipocytes were the tissue constituents that gave the best classification capability and that those changes were correlated to histopathology. The simplified model, using spectra obtained from a few tissue morphological and biochemical constituents, showed feasibility by using a small amount of variables, easily extracted from gross samples.

Genetic Analysis of Age-at-Onset for Cardiovascular Risk Factors in a Brazilian Family Study

Background/Aims: Statistical analysis of age-at-onset involving family data is particularly complicated because there is a correlation pattern that needs to be modeled and also because there are measurements that are censored. In this paper, our main purpose was to evaluate the effect of genetic and shared family environmental factors on age-at-onset of three cardiovascular risk factors: hypertension, diabetes and high cholesterol. Methods: The mixed-effects Cox model proposed by Pankratz et al. [2005] was used to analyze the data from 81 families, involving 1,675 individuals from the village of Baependi, in the state of Minas Gerais, Brazil. Results: The analyses performed showed that the polygenic effect plays a greater role than the shared family environmental effect in explaining the variability of the age-at-onset of hypertension, diabetes and high cholesterol. The model which simultaneously evaluated both effects indicated that there are individuals which may have risk of hypertension due to polygenic effects 130% higher than the overall average risk for the entire sample. For diabetes and high cholesterol the risks of some individuals were 115 and 45%, respectively, higher than the overall average risk for the entire population. Conclusions: Results showed evidence of significant polygenic effects indicating that age-at-onset is a useful trait for gene mapping of the common complex diseases analyzed. In addition, we found that the polygenic random component might absorb the effects of some covariates usually considered in the risk evaluation, such as gender, age and BMI. Copyright (C) 2008 S. Karger AG, Basel

Role of cytokines in mediating mechanical hypernociception in a model of delayed-type hypersensitivity in mice

In the present study, we used the electronic version of the von Frey test to investigate the role of cytokines (TNF-alpha and IL-1 beta) and chemokines (KC/CXCL-1) in the genesis of mechanical hypernociception during antigen-induced inflammation in mice. The nociceptive test consisted of evoking a hindpaw flexion reflex with a hand-held force transducer (electronic anesthesiometer) adapted with a 0.5 mm(2) polypropylene tip. The intraplantar administration of methylated bovine serum albumin (mBSA) in previously immunized (IM), but not in sham-immunized (SI) mice, induced mechanical hypernociception in a dose-dependant manner. Hypernociception induced by antigen was reduced in animals pretreated with IL-lra and reparixin (a non-competitive allosteric inhibitor of CXCR2), and in TNF receptor type 1 deficient (TNFR1-/-) mice. Consistently, antigen challenge induced a time-dependent release of TNF-alpha, IL-1 beta and KC/CXCL-1 in IM, but not in SI, mice. Consistently, antigen challenge induced a time-dependent release of TNF-alpha, IL-1 beta and KC/CXCL-1 in IM, but not in SI, mice. The increase in TNF-alpha levels preceded the increase in IL-1 beta and KC/CXCL1. Antigen-induced release of IL-1 beta and KC/CXCL1 was reduced in TNFR1-/- mice, and TNF-alpha induced hypernociception was inhibited by IL-lra and reparixin. Hypernociception induced by IL-1 beta in immunized mice was inhibited by indomethacin, whereas KC/CXCL1-induced hypernociception was inhibited by indomethacin and guanethidine, Antigen-induced hypernociception was reduced by indomethacin and guanethidine and abolished by the two drugs combined. Together, these results suggest that inflammation associated with an adaptive immune response induces hypernociception that is mediated by an initial release of TNF-alpha, which triggers that subsequent release of IL-1 beta and KC/CXCL1. The latter cytokines in turn stimulate the release of the direct-acting final mediator, prostanoids and sympathetic amines. (C) 2008 European Federation of Chapters of the International Association for the Study of Pain. Published by Elsevier Ltd. All rights reserved.

Detection of Auditory Cortex Activity by fMRI Using a Dependent Component Analysis

Functional MRI (fMRI) data often have low signal-to-noise-ratio (SNR) and are contaminated by strong interference from other physiological sources. A promising tool for extracting signals, even under low SNR conditions, is blind source separation (BSS), or independent component analysis (ICA). BSS is based on the assumption that the detected signals are a mixture of a number of independent source signals that are linearly combined via an unknown mixing matrix. BSS seeks to determine the mixing matrix to recover the source signals based on principles of statistical independence. In most cases, extraction of all sources is unnecessary; instead, a priori information can be applied to extract only the signal of interest. Herein we propose an algorithm based on a variation of ICA, called Dependent Component Analysis (DCA), where the signal of interest is extracted using a time delay obtained from an autocorrelation analysis. We applied such method to inspect functional Magnetic Resonance Imaging (fMRI) data, aiming to find the hemodynamic response that follows neuronal activation from an auditory stimulation, in human subjects. The method localized a significant signal modulation in cortical regions corresponding to the primary auditory cortex. The results obtained by DCA were also compared to those of the General Linear Model (GLM), which is the most widely used method to analyze fMRI datasets.

Long-term survivor mixture model with random effects: application to a multi-centre clinical trial of carcinoma

A mixture model incorporating long-term survivors has been adopted in the field of biostatistics where some individuals may never experience the failure event under study. The surviving fractions may be considered as cured. In most applications, the survival times are assumed to be independent. However, when the survival data are obtained from a multi-centre clinical trial, it is conceived that the environ mental conditions and facilities shared within clinic affects the proportion cured as well as the failure risk for the uncured individuals. It necessitates a long-term survivor mixture model with random effects. In this paper, the long-term survivor mixture model is extended for the analysis of multivariate failure time data using the generalized linear mixed model (GLMM) approach. The proposed model is applied to analyse a numerical data set from a multi-centre clinical trial of carcinoma as an illustration. Some simulation experiments are performed to assess the applicability of the model based on the average biases of the estimates formed. Copyright (C) 2001 John Wiley & Sons, Ltd.

A generalised dynamic model for char particle gasification with structure evolution and peripheral fragmentation

A generalised model for the prediction of single char particle gasification dynamics, accounting for multi-component mass transfer with chemical reaction, heat transfer, as well as structure evolution and peripheral fragmentation is developed in this paper. Maxwell-Stefan analysis is uniquely applied to both micro and macropores within the framework of the dusty-gas model to account for the bidisperse nature of the char, which differs significantly from the conventional models that are based on a single pore type. The peripheral fragmentation and random-pore correlation incorporated into the model enable prediction of structure/reactivity relationships. The occurrence of chemical reaction within the boundary layer reported by Biggs and Agarwal (Chem. Eng. Sci. 52 (1997) 941) has been confirmed through an analysis of CO/CO2 product ratio obtained from model simulations. However, it is also quantitatively observed that the significance of boundary layer reaction reduces notably with the reduction of oxygen concentration in the flue gas, operational pressure and film thickness. Computations have also shown that in the presence of diffusional gradients peripheral fragmentation occurs in the early stages on the surface, after which conversion quickens significantly due to small particle size. Results of the early commencement of peripheral fragmentation at relatively low overall conversion obtained from a large number of simulations agree well with experimental observations reported by Feng and Bhatia (Energy & Fuels 14 (2000) 297). Comprehensive analysis of simulation results is carried out based on well accepted physical principles to rationalise model prediction. (C) 2001 Elsevier Science Ltd. AH rights reserved.

An aggregate sales model for consumer durables incorporating a time-varying mean replacement age

Forecasting category or industry sales is a vital component of a company's planning and control activities. Sales for most mature durable product categories are dominated by replacement purchases. Previous sales models which explicitly incorporate a component of sales due to replacement assume there is an age distribution for replacements of existing units which remains constant over time. However, there is evidence that changes in factors such as product reliability/durability, price, repair costs, scrapping values, styling and economic conditions will result in changes in the mean replacement age of units. This paper develops a model for such time-varying replacement behaviour and empirically tests it in the Australian automotive industry. Both longitudinal census data and the empirical analysis of the replacement sales model confirm that there has been a substantial increase in the average aggregate replacement age for motor vehicles over the past 20 years. Further, much of this variation could be explained by real price increases and a linear temporal trend. Consequently, the time-varying model significantly outperformed previous models both in terms of fitting and forecasting the sales data. Copyright (C) 2001 John Wiley & Sons, Ltd.

A zero-augmented gamma mixed model for longitudinal data with many zeros

In many occupational safety interventions, the objective is to reduce the injury incidence as well as the mean claims cost once injury has occurred. The claims cost data within a period typically contain a large proportion of zero observations (no claim). The distribution thus comprises a point mass at 0 mixed with a non-degenerate parametric component. Essentially, the likelihood function can be factorized into two orthogonal components. These two components relate respectively to the effect of covariates on the incidence of claims and the magnitude of claims, given that claims are made. Furthermore, the longitudinal nature of the intervention inherently imposes some correlation among the observations. This paper introduces a zero-augmented gamma random effects model for analysing longitudinal data with many zeros. Adopting the generalized linear mixed model (GLMM) approach reduces the original problem to the fitting of two independent GLMMs. The method is applied to evaluate the effectiveness of a workplace risk assessment teams program, trialled within the cleaning services of a Western Australian public hospital.

Development of a generic crop model template in the cropping system model APSIM

The Agricultural Production Systems slMulator, APSIM, is a cropping system modelling environment that simulates the dynamics of soil-plant-management interactions within a single crop or a cropping system. Adaptation of previously developed crop models has resulted in multiple crop modules in APSIM, which have low scientific transparency and code efficiency. A generic crop model template (GCROP) has been developed to capture unifying physiological principles across crops (plant types) and to provide modular and efficient code for crop modelling. It comprises a standard crop interface to the APSIM engine, a generic crop model structure, a crop process library, and well-structured crop parameter files. The process library contains the major science underpinning the crop models and incorporates generic routines based on physiological principles for growth and development processes that are common across crops. It allows APSIM to simulate different crops using the same set of computer code. The generic model structure and parameter files provide an easy way to test, modify, exchange and compare modelling approaches at process level without necessitating changes in the code. The standard interface generalises the model inputs and outputs, and utilises a standard protocol to communicate with other APSIM modules through the APSIM engine. The crop template serves as a convenient means to test new insights and compare approaches to component modelling, while maintaining a focus on predictive capability. This paper describes and discusses the scientific basis, the design, implementation and future development of the crop template in APSIM. On this basis, we argue that the combination of good software engineering with sound crop science can enhance the rate of advance in crop modelling. Crown Copyright (C) 2002 Published by Elsevier Science B.V. All rights reserved.

An EM-based Semi-Parametric Mixture Model Approach to the Regression Analysis of Competing-Risks Data

We consider a mixture model approach to the regression analysis of competing-risks data. Attention is focused on inference concerning the effects of factors on both the probability of occurrence and the hazard rate conditional on each of the failure types. These two quantities are specified in the mixture model using the logistic model and the proportional hazards model, respectively. We propose a semi-parametric mixture method to estimate the logistic and regression coefficients jointly, whereby the component-baseline hazard functions are completely unspecified. Estimation is based on maximum likelihood on the basis of the full likelihood, implemented via an expectation-conditional maximization (ECM) algorithm. Simulation studies are performed to compare the performance of the proposed semi-parametric method with a fully parametric mixture approach. The results show that when the component-baseline hazard is monotonic increasing, the semi-parametric and fully parametric mixture approaches are comparable for mildly and moderately censored samples. When the component-baseline hazard is not monotonic increasing, the semi-parametric method consistently provides less biased estimates than a fully parametric approach and is comparable in efficiency in the estimation of the parameters for all levels of censoring. The methods are illustrated using a real data set of prostate cancer patients treated with different dosages of the drug diethylstilbestrol. Copyright (C) 2003 John Wiley Sons, Ltd.

A unified model of flames as gasdynamic discontinuities

Viewed on a hydrodynamic scale, flames in experiments are often thin so that they may be described as gasdynamic discontinuities separating the dense cold fresh mixture from the light hot burned products. The original model of a flame as a gasdynamic discontinuity was due to Darrieus and to Landau. In addition to the fluid dynamical equations, the model consists of a flame speed relation describing the evolution of the discontinuity surface, and jump conditions across the surface which relate the fluid variables on the two sides of the surface. The Darrieus-Landau model predicts, in contrast to observations, that a uniformly propagating planar flame is absolutely unstable and that the strength of the instability grows with increasing perturbation wavenumber so that there is no high-wavenumber cutoff of the instability. The model was modified by Markstein to exhibit a high-wavenumber cutoff if a phenomenological constant in the model has an appropriate sign. Both models are postulated, rather than derived from first principles, and both ignore the flame structure, which depends on chemical kinetics and transport processes within the flame. At present, there are two models which have been derived, rather than postulated, and which are valid in two non-overlapping regions of parameter space. Sivashinsky derived a generalization of the Darrieus-Landau model which is valid for Lewis numbers (ratio of thermal diffusivity to mass diffusivity of the deficient reaction component) bounded away from unity. Matalon & Matkowsky derived a model valid for Lewis numbers close to unity. Each model has its own advantages and disadvantages. Under appropriate conditions the Matalon-Matkowsky model exhibits a high-wavenumber cutoff of the Darrieus-Landau instability. However, since the Lewis numbers considered lie too close to unity, the Matalon-Matkowsky model does not capture the pulsating instability. The Sivashinsky model does capture the pulsating instability, but does not exhibit its high-wavenumber cutoff. In this paper, we derive a model consisting of a new flame speed relation and new jump conditions, which is valid for arbitrary Lewis numbers. It captures the pulsating instability and exhibits the high-wavenumber cutoff of all instabilities. The flame speed relation includes the effect of short wavelengths, not previously considered, which leads to stabilizing transverse surface diffusion terms.