Where full static analysis of systems fails to scale up due to system size, dynamic monitoring has been increasingly used to ensure system correctness. The downside is, however, runtime overheads which are induced by the additional monitoring code instrumented. To address this issue, various approaches have been proposed in the literature to use static analysis in order to reduce monitoring ove...

Residuals are frequently used as a diagnostic tool for verification that a time series model fits to data. In the cases when the series is nonnormal and/or the model is nonlinear, the squared residuals and squared values of the series are taken into account. In our paper asymptotic formulas for the mean value and variance of the corresponding sample corre­ lation functions are calculated. Small...

Analog-to-digital converters are commonly tested by applying a pure sine wave to their inputs. Since the exact parameters of the sine wave are very difficult to precisely obtain, an indirect method is used: the measured samples are used to determine the sine wave which best fits them. The ADC is characterized then by analysis of the differences between the samples and the sine wave. This is des...

Abstract The mean residual life function (mrlf) of a subject is defined as the expected remaining lifetime of the subject given that the subject has survived up to a given time. The commonly used regression models as proportional mean residual life (PMRL) and linear mean residual life (LMRL) have limited applications due to adhoc restriction on the parameter space. The regression model we propo...

This paper introduces the recursive sweeping preconditioner for the numerical solution of the Helmholtz equation in three dimensions. This is based on the earlier work of the sweeping preconditioner with the moving perfectly matched layers. The key idea is to apply the sweeping preconditioner recursively to the quasi-two-dimensional auxiliary problems introduced in the three-dimensional (3D) sw...

We show that any admissible cycle-convergence behavior is possible for restarted GMRES at a number of initial cycles, moreover the spectrum of the coefficient matrix alone does not determine this cycleconvergence. The latter can be viewed as an extension of the result of Greenbaum, Pták and Strakoš (SIAM Journal on Matrix Analysis and Applications 1996; 17(3):465–469) to the case of restarted G...

The microbial quality of water plays a key role in community health. The present study aimed to determine the microbial quality of the drinking water distribution networks in the urban and rural areas of Dasht-e Azadegan County, Iran and assess the influential factors in the quality of drinking water.In this descriptive-analytical study, 907 drinking water samples were collected from the urban ...

Amodel based on a double-ellipsoidal volumeheat source to simulate the gasmetal arcwelding (GMAW) heat input and a cylindrical volume heat source to simulate the laser beam heat input was developed to predict the temperature field and thermally induced residual stress in the hybrid laser–gas metal arc (GMA) welding process. Numerical simulation shows that higher residual stress is distributed i...

Most mature organisations regularly undertake varying forms of business improvement activities, from specific operationally focused project activities to organisation-wide change initiatives. While the success of business improvement approaches is often debated, such initiatives always leave some form of trace or legacy behind, often in the form of specific processes and procedures, individual ...

To enable the analysis of the Residual Moveout (RMO) in Angle-Domain Common Image Gathers (ADCIGs) after anisotropic wavefield-continuation migration, I develop the fundamental concepts for quantitatively relating perturbations in anisotropic parameters to the corresponding reflector movements in ADCIGs. I then apply the general methodology to the particular case of RMO analysis of reflections ...