We propose a new multivariate CUSUM control chart, which is based on selfadaption of its reference value according to the information of current process readings, to quickly detect the multivariate process mean shifts. By specifying the minimum magnitude of the process mean shift in terms of its non-centrality parameter, our proposed control chart can achieve an overall performance for detectin...

The mean resultant length (MRL) is the length of the average of random vectors on the unit circle. It is used to measure the concentration of unimodal circular distributions. The sample MRL, as an estimator for the population MRL, has not been investigated thoroughly yet. This work examines the bias, variance and mean squared error of the MRL. Unbiased or near unbiased estimators are developed ...

Assisting designers in writing high-quality specifications is an important step towards minimizing product defects and rework efforts. Drawing on the attractive performance of satisfiability solvers, in this paper, we present a SAT encoding that enables an efficient model-based diagnosis of LTL specifications in the context of behavioral samples (traces). The resulting diagnoses at operator lev...

An increased role for rail freight is an objective of the British government. Limited growth potential exists in rail’s traditional bulk markets, so more non-bulk volume is needed. This paper focuses on non-bulk rail freight activity in Britain, through deskbased research and company interviews. It considers changes in both the intermodal and traditional less-than-trainload (LTL) markets over t...

In this paper we present a pattern-based approach for synthesizing truly distributed Petri nets from a class of LTL specifications. The synthesis allows for the automatic, correct generation of humanly conceivable Petri nets, thus circumventing a manual construction of nets, or the use of Büchi automata which are not distributed and often less intuitive to understand.

The primary objective of this study is to develop a numerical scheme for accurate and eecient simulation of phase change and transport processes of industrial importance. These processes may include a variety of heat transfer and ow mechanisms in irregularly shaped domains with moving and/or free boundaries. Based on the multizone adaptive grid generation (MAGG) technique 1], a curvilinear nite...

Background and Purpose: The aim of this pilot study was to determine possible genotoxic effects of occupational exposure to tobacco dust between workers employed in tobbaco industry and non-exposed population. Subjects and Method: The exposed group consisted of 20 subjects with mena age of 43.4 years. The average duration of their occupational exposure was 19.95 years. The control group consist...

background, aim, method, result) max 200 words: An equipment for mobile measurement of road marking retroreflectivity, the LTL-M, has been developed by DELTA Light & Optics in Denmark. This instrument uses a different optical principle than the mobile instrument commonly used until now, the Ecodyn 30. The optical system used by the LTL-M might lead to better accuracy and repeatability. By simul...

There is increasing evidence supporting the role of telomeres in cancer pathogenesis. However, limited studies have investigated the association between telomere length features and risk of pancreatic cancer and colorectal cancer (CRC), and little was conducted in Asians. To help clarify this issue, We measured relative peripheral leukocytes telomere length (LTL) and telomere length variation (...