Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

A new scale-invariant ratio and finite-size scaling for the stochastic susceptible-infected-recovered model

The critical behavior of the stochastic susceptible-infected-recovered model on a square lattice is obtained by numerical simulations and finite-size scaling. The order parameter as well as the distribution in the number of recovered individuals is determined as a function of the infection rate for several values of the system size. The analysis around criticality is obtained by exploring the close relationship between the present model and standard percolation theory. The quantity UP, equal to the ratio U between the second moment and the squared first moment of the size distribution multiplied by the order parameter P, is shown to have, for a square system, a universal value 1.0167(1) that is the same for site and bond percolation, confirming further that the SIR model is also in the percolation class.

psi ` to J/psi ratio measurements in PHENIX at RHIC

The ratio of the psi` over the J psi production cross section in the dielectron channel has been measured in root s = 200 GeV p + p collisions with the PHENIX detector at RHIC. The analysis is based on fitting of the dielectron invariant mass spectra in the area around the J psi and psi` signals in order to extract a ratio psi` over J psi of 0.019 +/- 0.005 (stat) +/- 0.002 (sys) and a fractional feed-down contribution to J psi from psi` of 8.6 +/- 2.5%.

Accurate and Precise Zinc Isotope Ratio Measurements in Urban Aerosols

We developed an analytical method and constrained procedural boundary conditions that enable accurate and precise Zn isotope ratio measurements in urban aerosols. We also demonstrate the potential of this new isotope system for air pollutant source tracing. The procedural blank is around 5 ng and significantly lower than published methods due to a tailored ion chromatographic separation. Accurate mass bias correction using external correction with Cu is limited to Zn sample content of approximately 50 ng due to the combined effect of blank contribution of Cu and Zn from the ion exchange procedure and the need to maintain a Cu/Zn ratio of approximately 1. Mass bias is corrected for by applying the common analyte internal standardization method approach. Comparison with other mass bias correction methods demonstrates the accuracy of the method. The average precision of delta(66)Zn determinations in aerosols is around 0.05% per atomic mass unit. The method was tested on aerosols collected in Sin Paulo City, Brazil. The measurements reveal significant variations in delta(66)Zn(Imperial) ranging between -0.96 and -0.37% in coarse and between -1.04 and 0.02% in fine particular matter. This variability suggests that Zn isotopic compositions distinguish atmospheric sources. The isotopic light signature suggests traffic as the main source. We present further delta(66)Zn(Imperial) data for the standard reference material NIST SRM 2783 (delta 66Z(Imperial) = 0.26 +/- 0.10%).

Signed likelihood ratio tests in the Birnbaum-Saunders regression model

The Birnbaum-Saunders regression model is becoming increasingly popular in lifetime analyses and reliability studies. In this model, the signed likelihood ratio statistic provides the basis for testing inference and construction of confidence limits for a single parameter of interest. We focus on the small sample case, where the standard normal distribution gives a poor approximation to the true distribution of the statistic. We derive three adjusted signed likelihood ratio statistics that lead to very accurate inference even for very small samples. Two empirical applications are presented. (C) 2010 Elsevier B.V. All rights reserved.

A modified signed likelihood ratio test in elliptical structural models

In this paper we deal with the issue of performing accurate testing inference on a scalar parameter of interest in structural errors-in-variables models. The error terms are allowed to follow a multivariate distribution in the class of the elliptical distributions, which has the multivariate normal distribution as special case. We derive a modified signed likelihood ratio statistic that follows a standard normal distribution with a high degree of accuracy. Our Monte Carlo results show that the modified test is much less size distorted than its unmodified counterpart. An application is presented.

Likelihood ratio tests for variance components in linear mixed models

Although the asymptotic distributions of the likelihood ratio for testing hypotheses of null variance components in linear mixed models derived by Stram and Lee [1994. Variance components testing in longitudinal mixed effects model. Biometrics 50, 1171-1177] are valid, their proof is based on the work of Self and Liang [1987. Asymptotic properties of maximum likelihood estimators and likelihood tests under nonstandard conditions. J. Amer. Statist. Assoc. 82, 605-610] which requires identically distributed random variables, an assumption not always valid in longitudinal data problems. We use the less restrictive results of Vu and Zhou [1997. Generalization of likelihood ratio tests under nonstandard conditions. Ann. Statist. 25, 897-916] to prove that the proposed mixture of chi-squared distributions is the actual asymptotic distribution of such likelihood ratios used as test statistics for null variance components in models with one or two random effects. We also consider a limited simulation study to evaluate the appropriateness of the asymptotic distribution of such likelihood ratios in moderately sized samples. (C) 2008 Elsevier B.V. All rights reserved.

Skovgaard`s adjustment to likelihood ratio tests in exponential family nonlinear models

Likelihood ratio tests can be substantially size distorted in small- and moderate-sized samples. In this paper, we apply Skovgaard`s [Skovgaard, I.M., 2001. Likelihood asymptotics. Scandinavian journal of Statistics 28, 3-321] adjusted likelihood ratio statistic to exponential family nonlinear models. We show that the adjustment term has a simple compact form that can be easily implemented from standard statistical software. The adjusted statistic is approximately distributed as X(2) with high degree of accuracy. It is applicable in wide generality since it allows both the parameter of interest and the nuisance parameter to be vector-valued. Unlike the modified profile likelihood ratio statistic obtained from Cox and Reid [Cox, D.R., Reid, N., 1987. Parameter orthogonality and approximate conditional inference. journal of the Royal Statistical Society B49, 1-39], the adjusted statistic proposed here does not require an orthogonal parameterization. Numerical comparison of likelihood-based tests of varying dispersion favors the test we propose and a Bartlett-corrected version of the modified profile likelihood ratio test recently obtained by Cysneiros and Ferrari [Cysneiros, A.H.M.A., Ferrari, S.L.P., 2006. An improved likelihood ratio test for varying dispersion in exponential family nonlinear models. Statistics and Probability Letters 76 (3), 255-265]. (C) 2008 Elsevier B.V. All rights reserved.

Yellow fever vaccination coverage among children in Brazilian capitals

Brazil recommends universal yellow fever (YF) vaccination for children who reside in or travel to endemic areas. We conducted a household survey to calculate YF vaccine coverage among children 18-30 months of age in 27 capital cities. A total of 9285 children were surveyed in the 15 cities with YF fever universal vaccination; 7290(79%) had documented evidence of YF vaccination by 12 months of age, 7996 (86%) by 18 months of age, and 8479 (91%) prior to the survey. In 12 cities with selective YF vaccination coverage was only 1% by 18 months of age. YF fever vaccination can be improved to reach all children where vaccine is recommended. (C) 2010 Elsevier Ltd. All rights reserved.

Household survey of hepatitis B vaccine coverage among Brazilian children

We conducted a multi-stage household cluster survey to calculate hepatitis B vaccine coverage among children 18-30 months of age in 27 Brazilian cities. Hepatitis B vaccine is administered at birth, 1 month and 6 months of age by Brazil`s national immunization program. Among 17,749 children surveyed, 40.2% received a birth dose within one day of birth, 94.8% received at least one dose of hepatitis B vaccine, and 86.7% completed the three-dose series by 12 months of age. Increased coverage with the birth dose and administration of hepatitis B in combination with diphtheria-tetanus-pertussis-Haemophilus influenzae type b antigens could improve protection against hepatitis B. (C) 2009 Elsevier Ltd. All rights reserved.

A fast and robust statistical test based on likelihood ratio with Bartlett correction to identify Granger causality between gene sets

We propose a likelihood ratio test ( LRT) with Bartlett correction in order to identify Granger causality between sets of time series gene expression data. The performance of the proposed test is compared to a previously published bootstrapbased approach. LRT is shown to be significantly faster and statistically powerful even within non- Normal distributions. An R package named gGranger containing an implementation for both Granger causality identification tests is also provided.

Prigogine-Defay Ratio for an Ionic Glass-Former: Molecular Dynamics Simulations

The pressure dependence of the glass-transition temperature, T(g)(P), of the ionic glass-former 2Ca(NO(3))(2) center dot 3KNO(3), CKN, has been obtained by molecular dynamics (MD) simulations The liquid-glass difference of thermal expansivity, Delta alpha, heat capacity, Delta C(p), and isothermal compressibility, Delta kappa, have been calculated as a function of pressure. It has been found that the Ehrenfest relation dT(g)/dP = TV Delta alpha/Delta C(p) predicts the pressure dependence of T, but the other Ehrenfest relation, dT(g)/dP = Delta kappa/Delta alpha, does not. Consequently, the Prigogine-Defay ratio, Pi = Delta C(p)Delta kappa/TV Delta alpha(2), is Pi similar to 1.2 at low pressures, but increases 1 order of magnitude at high pressures. The pressure dependence of the Prigogine-Defay ratio is interpreted in light of recent explanations for the finding Pi > 1.

Evidence for diffusional coupling in electrochemical thin layers: implications for surface coverage calibration via electrochemical infrared spectroscopy

The time dependence of the concentration of CO2 in an electrochemical thin layer cavity is studied with Fourier transform infrared spectroscopy (FTIR) in order to evaluate the extent to which the thin layer cavity is diffusionally decoupled from the surrounding bulk electrolyte. For the model system of CO on Pt(111) in 0.1 M HClO4, it is found that the concentration of CO2, formed by electro-oxidation of CO, equilibrates rapidly with the surrounding bulk electrolyte. This rapid equilibration indicates that there is diffusion out of the thin layer, even on the short time scales of typical infrared experiments (1-3 min). However, since the measured CO2 absorbance intensity as a function of time is reproducible to within 10%, a new time-dependent method for surface coverage calibration using solution-phase species is proposed.

On the apparent lack of preferential site occupancy and electrooxidation of CO adsorbed at low coverage onto stepped platinum surfaces

We report time evolution studies of low coverage CO adsorption (surface hydrogen site blocking < 40%) and oxidative stripping on stepped Pt(776) and Pt(554) surfaces. It was observed that there is no preferential site occupancy for CO adsorption on step or terrace. It is proposed that CO adsorption onto these surfaces is a random process, and after CO adsorption there is no appreciable shift from CO-(111) to CO-(110) sites. This implies that after adsorption, CO molecules either have a very long residence time, or that the diffusion coefficient is much lower than previously thought. After CO electrooxidation the sites released included both terrace (111) and step (110) orientations. For surface hydrogen site blocking > 40%, the lateral interactions might play a role in the preferential CO site occupancy. (C) 2011 Elsevier B.V. All rights reserved.

Electrical Evaluation of a Low Concentrating PVT Collector Based on Performance Ratio

Photovoltaic Thermal/Hybrid collectors are an emerging technology that combines PV and solar thermal collectors by producing heat and electricity simultaneously. In this paper, the electrical performance evaluation of a low concentrating PVT collector was done through two testing parts: power comparison and performance ratio testing. For the performance ratio testing, it is required to identify and measure the factors affecting the performance ratio on a low concentrating PVT collector. Factors such as PV cell configuration, collector acceptance angle, flow rate, tracking the sun, temperature dependence and diffuse to irradiance ratio. Solarus low concentrating PVT collector V12 was tested at Dalarna University in Sweden using the electrical equipment at the solar laboratory. The PV testing has showed differences between the two receivers. Back2 was producing 1.8 energy output more than Back1 throughout the day. Front1 and Front2 were almost the same output performance. Performance tests showed that the cell configuration for Receiver2 with cells grouping (6- 32-32-6) has proved to have a better performance ratio when to it comes to minimizing the shading effect leading to more output power throughout the day because of lowering the mismatch losses. Different factors were measured and presented in this thesis in chapter 5. With the current design, it has been obtained a peak power at STC of 107W per receiver. The solar cells have an electrical efficiency of approximately 19% while the maximum measured electrical efficiency for the collector was approximately 18 % per active cell area, in addition to a temperature coefficient of -0.53%/ ˚C. Finally a recommendation was done to help Solarus AB to know how much the electrical performance is affected during variable ambient condition and be able to use the results for analyzing and introducing new modification if needed.