3,128 research outputs found

    Reliability and performance evaluation of systems containing embedded rule-based expert systems

    Get PDF
    A method for evaluating the reliability of real-time systems containing embedded rule-based expert systems is proposed and investigated. It is a three stage technique that addresses the impact of knowledge-base uncertainties on the performance of expert systems. In the first stage, a Markov reliability model of the system is developed which identifies the key performance parameters of the expert system. In the second stage, the evaluation method is used to determine the values of the expert system's key performance parameters. The performance parameters can be evaluated directly by using a probabilistic model of uncertainties in the knowledge-base or by using sensitivity analyses. In the third and final state, the performance parameters of the expert system are combined with performance parameters for other system components and subsystems to evaluate the reliability and performance of the complete system. The evaluation method is demonstrated in the context of a simple expert system used to supervise the performances of an FDI algorithm associated with an aircraft longitudinal flight-control system

    Maximum Justifiable Investment Analysis Determines Property Valuation

    Get PDF
    Investors and developers are often faced with the task of determining the worth or value of a real estate entity that presently exists or is proposed for development. This article explains the process for determining the value of a proposed project and, subsequently, the maximum investment dollars the project can cover, while at the same time producing a reasonable return for the investor. A proposed 300-room hotel serves as the real estate entity to be analyzed

    The Language of Suicide

    Get PDF
    Academics, journalists and others are still using the word ‘commit’ in connection with suicide; yet suicide is not a sin and is no longer a crime

    Analysis of existing mathematics textbooks for use in secondary schools.

    Full text link
    Thesis (Ed.M.)--Boston University Thesis (M.A.)--Boston Universit

    A Modernized View of Coherence Pathways Applied to Magnetic Resonance Experiments in Unstable, Inhomogeneous Fields

    Full text link
    Over recent decades, the value of conducting experiments at lower frequencies and in inhomogeneous and/or time-variable fields has grown. For example, an interest in the nanoscale heterogeneities of hydration dynamics demands increasingly sophisticated and automated measurements deploying Overhauser Dynamic Nuclear Polarization (ODNP) at low field. The development of these methods poses various challenges that drove us to develop a standardized alternative to the traditional schema for acquiring and analyzing coherence pathway information employed by the overwhelming majority of contemporary Nuclear Magnetic Resonance (NMR) research. Specifically, on well-tested, stable NMR systems running well-tested pulse sequences in highly optimized, homogeneous magnetic fields, traditional hardware and software quickly isolate a meaningful subset of data by averaging and discarding between 3/4 and 127/128 of the digitized data. In contrast, spurred by recent advances in the capabilities of open-source libraries, the domain colored coherence transfer (DCCT) schema implemented here builds on the long-extant concept of Fourier transformation along the pulse phase cycle domain to enable data visualization that more fully reflects the rich physics underlying these NMR experiments. In addition to discussing the outline and implementation of the general DCCT schema and associated plotting methods, this manuscript presents a collection of algorithms that provide robust phasing, avoidance of baseline distortion, and the ability to realize relatively weak signals amidst background noise through signal-averaged correlation alignment. The methods for visualizing the raw data, together with the processing routines whose development they guide should apply directly to or extend easily to other techniques facing similar challenges.Comment: 32 pages, 18 figure

    Rapidly Screening the Correlation Between the Rotational Mobility and the Hydrogen Bonding Strength of Confined Water

    Full text link
    Past research has conclusively shown that confined pockets of water exhibit properties that differ from those of unconfined ("bulk") water. The differences between confined water and bulk, as well as between different types of confined water environments impact a far-reaching range of target applications. However, the measurements that discriminate between different variants of confined water tend to rely on sophisticated techniques that frequently involve specialized instrumentation or facilities. Here, we demonstrate a straightforward and automated technique compatible with most NMR spectrometers that can analyze a wide range of nanoporous or mesoporous systems. It generates a 2D plot that correlates the approximate rotational correlation time (from deuterium relaxation measurements) against the approximate average hydrogen bond strength (from the diamagnetic shielding, i.e., chemical shift). The water pools inside reverse micelles (RMs), chosen here as a demonstration system, exhibit a range of properties as the water loading (w0w_0, or water to surfactant molar ratio) changes. Small w0w_0 correspond to severe confinement (isolation of tens to hundreds of water molecules), and as the w0w_0 increases, the RMs grow in size. As a result, measurements of RMs with differently sized water pools (w0w_0) sweep out a characteristic shape in the 2D correlation spectrum. This simple, automated measurement demonstrates striking differences in how the properties of differently confined waters change as the lengthscale of the confinement (controlled in RMs by w0w_0) changes. The results here report on a total of 45 different RM samples prepared with a range of w0w_0, surfactants, dispersants, and guest molecules. This technique should be widely applicable both in terms of facilities where it can be implemented as well as chemical systems to which it applies

    Trends in microfluidic systems for in situ chemical analysis of natural waters

    Get PDF
    Spatially and temporally detailed measurement of ocean, river and lake chemistry is key to fully understanding the biogeochemical processes at work within them. To obtain these valuable data, miniaturised in situ chemical analysers have recently become an attractive alternative to traditional manual sampling, with microfluidic technology at the forefront of recent advances. In this short critical review we discuss the role, operation and application of in situ microfluidic analysers to measure biogeochemical parameters in natural waters. We describe recent technical developments, most notably how pumping technology has evolved to allow long-term deployments, and describe how they have been deployed in real-world situations to yield detailed, scientifically useful data. Finally, we discuss the technical challenges that still remain and the key obstacles that must be negotiated if these promising systems are to be widely adopted and used, for example, in large environmental sensor networks and on low-power underwater vehicles

    Slicings of parallelogram polyominoes: Catalan, schröder, baxter, and other sequences

    Get PDF
    We provide a new succession rule (i.e. generating tree) associated with Schröder numbers, that interpolates between the known succession rules for Catalan and Baxter numbers. We define Schröder and Baxter generalizations of parallelogram polyominoes, called slicings, which grow according to these succession rules. In passing, we also exhibit Schröder subclasses of Baxter classes, namely a Schröder subset of triples of non-intersecting lattice paths, a new Schröder subset of Baxter permutations, and a new Schröder subset of mosaic floorplans. Finally, we define two families of subclasses of Baxter slicings: the m-skinny slicings and the m-rowrestricted slicings, for m ∈ N. Using functional equations and the kernel method, their generating functions are computed in some special cases, and we conjecture that they are algebraic for any m
    • …
    corecore