1,605,174 research outputs found

    Sequential-strip and sequential-disk filters

    Get PDF
    Filter senses increasing pressure drop and uses this to compress bellows. Compression of bellows stores energy in spring until predetermined pressure-drop level is reached. At this point, bellows and spring are released. Relaxation of spring is used to move a clean area of screen into position across fluid stream

    Sequential Warped Products: Curvature and Killing Vector Fields

    Full text link
    In this note, we introduce a new type of warped products called as sequential warped products to cover a wider variety of exact solutions to Einstein's equation. First, we study the geometry of sequential warped products and obtain covariant derivatives, curvature tensor, Ricci curvature and scalar curvature formulas. Then some important consequences of these formulas are also stated. We provide characterizations of geodesics and two different types of conformal vector fields, namely, Killing vector fields and concircular vector fields on sequential warped product manifolds. Finally, we consider the geometry of two classes of sequential warped product space-time models which are sequential generalized Robertson-Walker spacetimes and sequential standard static spacetimes

    Uniqueness and order in sequential effect algebras

    Full text link
    A sequential effect algebra (SEA) is an effect algebra on which a sequential product is defined. We present examples of effect algebras that admit a unique, many and no sequential product. Some general theorems concerning unique sequential products are proved. We discuss sequentially ordered SEA's in which the order is completely determined by the sequential product. It is demonstrated that intervals in a sequential ordered SEA admit a sequential product

    Detecting sequential structure

    Get PDF
    Programming by demonstration requires detection and analysis of sequential patterns in a user’s input, and the synthesis of an appropriate structural model that can be used for prediction. This paper describes SEQUITUR, a scheme for inducing a structural description of a sequence from a single example. SEQUITUR integrates several different inference techniques: identification of lexical subsequences or vocabulary elements, hierarchical structuring of such subsequences, identification of elements that have equivalent usage patterns, inference of programming constructs such as looping and branching, generalisation by unifying grammar rules, and the detection of procedural substructure., Although SEQUITUR operates with abstract sequences, a number of concrete illustrations are provided

    A Rejection Principle for Sequential Tests of Multiple Hypotheses Controlling Familywise Error Rates

    Full text link
    We present a unifying approach to multiple testing procedures for sequential (or streaming) data by giving sufficient conditions for a sequential multiple testing procedure to control the familywise error rate (FWER), extending to the sequential domain the work of Goeman and Solari (2010) who accomplished this for fixed sample size procedures. Together we call these conditions the "rejection principle for sequential tests," which we then apply to some existing sequential multiple testing procedures to give simplified understanding of their FWER control. Next the principle is applied to derive two new sequential multiple testing procedures with provable FWER control, one for testing hypotheses in order and another for closed testing. Examples of these new procedures are given by applying them to a chromosome aberration data set and to finding the maximum safe dose of a treatment
    corecore