This paper presents a syntactic method to check so-called assignable clauses of annotated Java programs. Assignable clauses describe which variables may be assigned by a method. Their correctness is crucial for reasoning about class specifications. The method that we propose is incomplete, as it only makes a syntactic check and it does not take aliasing or expression evaluation into account, bu...

Despite their fame and capability in detecting out-of-control conditions, control charts are not effective tools for fault diagnosis. There are other techniques in the literature mainly based on process information and control charts patterns to help control charts for root cause analysis. However these methods are limited in practice due to their dependency on the expertise of practitioners. I...

neural networks because of their abilities are used to patterns recognition. in statistical process control charts, a common cause variation distort expected form of unnatural patterns and so detection of assignable causes efficiently and precisely in a real-time is difficult. therefore it would be logical to propose models based neural networks for recognition and analysis of patterns in proce...

A proper monitoring of stochastic systems is the control charts statistical process and drift in characteristics output may be due to one or several assignable causes. Although many research works have been done on economic design with single cause, T^2 chart under Weibull shock model multiple causes considering multivariate Taguchi loss function has not presented yet. Using concept quality lea...

This paper presents a method for analyzing the variations of the RGB spectrum of lesion skin images using the novel segmentation process based on Six Sigma concept. This analysis further contemplates on the incidence and propagation of cancer. It is based on the underlying principles of Dr. W.A. Shewhart’s Control Charts, which focuses on the fact that the variability does exist in all repetiti...

Measurement based software process improvement is nowadays a mandatory activity. This implies continuous process monitoring in order to predict its behavior, highlight its performance variations and, if necessary, quickly react to them. Process variations are due to common causes or assignable ones. The former are part of the process itself while the latter are due to exceptional events that re...

The common consideration on economic model is that there is knowledge about the risk of occurrence of an assignable cause and the various cost parameters that does not always adequately describe what happens in practice. Hence, there is a need for more realistic assumptions to be incorporated. In order to reduce cost penalties for not knowing the true values of some parameters, this paper aims ...

The basic control chart consists of sampling from a process over time and charting process measurements. For as long as the measurements fall inside control limits (L), the process is considered in-control. In feed production, it is customary to set the control limits at two standard deviations. This practice does not consider the probability of both Type I and Type II errors in addition to all...

Control charts are used to identify the presence of assignable cause of variation in the process. Non-parametric control chart is an emerging area of recent development in the theory of SPC. Its main advantage is that it does not require any knowledge about the underlying distribution of the variable. In this paper a non-parametric control chart for controlling variability has been developed. I...

The control chart (CC) is an important tool in Statistical Process Control (SPC) to improve the quality of products and processes. An unnatural variation in control maps assumes that an assignable cause affects the process is present, and some actions need to be applied to solve the problem. Thanks to their better recognition capability, NEURO-FUZZY is a powerful tool for process control and ra...