extensive research has been devoted to economic production quantity (epq) problem. however, little atten-tion has been paid to problems where depreciation cost and process quality cost must be considered, simulta-neously. in this paper, we consider the economic production quantity model of minimizing the annual total cost subject to depreciation cost and process quality cost, where depreciation...

I N STATISTICAL process control (SPC), one major concern is whether there has been a change of the distribution from the target in the process. To answer this question, we have to distinguish the variation due to real change of distribution (assignable causes) from that due to random error (chance causes). Many kinds of control charts serve this purpose. When there is no change and the process ...

The RTP Control Protocol (RTCP) is used in conjunction with the Realtime Transport Protocol (RTP) in order to provide a variety of shortterm and long-term reception statistics. The available reporting may include aggregate information across longer periods of time as well as individual packet reporting. This document specifies a per-packet report metric capturing individual packets discarded fr...

The EWMA chart for the standard deviation is a useful tool for monitoring the variability of a process quality characteristic. The performance of this chart is usually evaluated under the assumption of known parameters. However, in practice, process parameters are estimated from an in-control Phase I data set. A modified EWMA control chart is proposed for monitoring the standard deviation when ...

We report our progress in scaling deductive synthesis and repair of recursive functional Scala programs in the Leon tool. We describe new techniques, including a more precise mechanism for encoding the space of meaningful candidate programs. Our techniques increase the scope of synthesis by expanding the space of programs we can synthesize and by reducing the synthesis time in many cases. As a ...

Two strings x and y are said to be Abelian equivalent if x is a permutation of y, or vice versa. If a string z satisfies z = xy with x and y being Abelian equivalent, then z is said to be an Abelian square. If a string w can be factorized into a sequence v1, . . . , vs of strings such that v1, . . . , vs−1 are all Abelian equivalent and vs is a substring of a permutation of v1, then w is said t...

A repetitive sequence collection is one where portions of a base sequence of length n are repeated many times with small variations, forming a collection of total length N . Examples of such collections are version control data and genome sequences of individuals, where the differences can be expressed by lists of basic edit operations. This paper is devoted to studying ways to store massive se...