3,223 research outputs found

    A knowledge-based system design/information tool

    Get PDF
    The objective of this effort was to develop a Knowledge Capture System (KCS) for the Integrated Test Facility (ITF) at the Dryden Flight Research Facility (DFRF). The DFRF is a NASA Ames Research Center (ARC) facility. This system was used to capture the design and implementation information for NASA's high angle-of-attack research vehicle (HARV), a modified F/A-18A. In particular, the KCS was used to capture specific characteristics of the design of the HARV fly-by-wire (FBW) flight control system (FCS). The KCS utilizes artificial intelligence (AI) knowledge-based system (KBS) technology. The KCS enables the user to capture the following characteristics of automated systems: the system design; the hardware (H/W) design and implementation; the software (S/W) design and implementation; and the utilities (electrical and hydraulic) design and implementation. A generic version of the KCS was developed which can be used to capture the design information for any automated system. The deliverable items for this project consist of the prototype generic KCS and an application, which captures selected design characteristics of the HARV FCS

    QPTAS and Subexponential Algorithm for Maximum Clique on Disk Graphs

    Get PDF
    A (unit) disk graph is the intersection graph of closed (unit) disks in the plane. Almost three decades ago, an elegant polynomial-time algorithm was found for Maximum Clique on unit disk graphs [Clark, Colbourn, Johnson; Discrete Mathematics '90]. Since then, it has been an intriguing open question whether or not tractability can be extended to general disk graphs. We show the rather surprising structural result that a disjoint union of cycles is the complement of a disk graph if and only if at most one of those cycles is of odd length. From that, we derive the first QPTAS and subexponential algorithm running in time 2^{O~(n^{2/3})} for Maximum Clique on disk graphs. In stark contrast, Maximum Clique on intersection graphs of filled ellipses or filled triangles is unlikely to have such algorithms, even when the ellipses are close to unit disks. Indeed, we show that there is a constant ratio of approximation which cannot be attained even in time 2^{n^{1-epsilon}}, unless the Exponential Time Hypothesis fails

    Relativistic Winds from Compact Gamma-ray Sources: I. Radiative Acceleration in the Klein-Nishina Regime

    Get PDF
    We consider the radiative acceleration to relativistic bulk velocities of a cold, optically thin plasma which is exposed to an external source of gamma-rays. The flow is driven by radiative momentum input to the gas, the accelerating force being due to Compton scattering in the relativistic Klein-Nishina limit. The bulk Lorentz factor of the plasma, Gamma, derived as a function of distance from the radiating source, is compared with the corresponding result in the Thomson limit. Depending on the geometry and spectrum of the radiation field, we find that particles are accelerated to the asymptotic Lorentz factor at infinity much more rapidly in the relativistic regime; and the radiation drag is reduced as blueshifted, aberrated photons experience a decreased relativistic cross section and scatter preferentially in the forward direction. The random energy imparted to the plasma by gamma-rays can be converted into bulk motion if the hot particles execute many Larmor orbits before cooling. This `Compton afterburn' may be a supplementary source of momentum if energetic leptons are injected by pair creation, but can be neglected in the case of pure Klein-Nishina scattering. Compton drag by side-scattered radiation is shown to be more important in limiting the bulk Lorentz factor than the finite inertia of the accelerating medium. The processes discussed here may be relevant to a variety of astrophysical situations where luminous compact sources of hard X- and gamma-ray photons are observed, including active galactic nuclei, galactic black hole candidates, and gamma-ray bursts.Comment: LateX, 20 pages, 5 figures, revised version accepted for publication in the Ap
    • …
    corecore