10,000 research outputs found

    A study of the use of abstract types for the representation of engineering units in integration and test applications

    Get PDF
    Physical quantities using various units of measurement can be well represented in Ada by the use of abstract types. Computation involving these quantities (electric potential, mass, volume) can also automatically invoke the computation and checking of some of the implicitly associable attributes of measurements. Quantities can be held internally in SI units, transparently to the user, with automatic conversion. Through dimensional analysis, the type of the derived quantity resulting from a computation is known, thereby allowing dynamic checks of the equations used. The impact of the possible implementation of these techniques in integration and test applications is discussed. The overhead of computing and transporting measurement attributes is weighed against the advantages gained by their use. The construction of a run time interpreter using physical quantities in equations can be aided by the dynamic equation checks provided by dimensional analysis. The effects of high levels of abstraction on the generation and maintenance of software used in integration and test applications are also discussed

    Some design constraints required for the use of generic software in embedded systems: Packages which manage abstract dynamic structures without the need for garbage collection

    Get PDF
    The embedded systems running real-time applications, for which Ada was designed, require their own mechanisms for the management of dynamically allocated storage. There is a need for packages which manage their own internalo structures to control their deallocation as well, due to the performance implications of garbage collection by the KAPSE. This places a requirement upon the design of generic packages which manage generically structured private types built-up from application-defined input types. These kinds of generic packages should figure greatly in the development of lower-level software such as operating systems, schedulers, controllers, and device driver; and will manage structures such as queues, stacks, link-lists, files, and binary multary (hierarchical) trees. Controlled to prevent inadvertent de-designation of dynamic elements, which is implicit in the assignment operation A study was made of the use of limited private type, in solving the problems of controlling the accumulation of anonymous, detached objects in running systems. The use of deallocator prodecures for run-down of application-defined input types during deallocation operations during satellites

    Some design constraints required for the assembly of software components: The incorporation of atomic abstract types into generically structured abstract types

    Get PDF
    It is nearly axiomatic, that to take the greatest advantage of the useful features available in a development system, and to avoid the negative interactions of those features, requires the exercise of a design methodology which constrains their use. A major design support feature of the Ada language is abstraction: for data, functions processes, resources, and system elements in general. Atomic abstract types can be created in packages defining those private types and all of the overloaded operators, functions, and hidden data required for their use in an application. Generically structured abstract types can be created in generic packages defining those structured private types, as buildups from the user-defined data types which are input as parameters. A study is made of the design constraints required for software incorporating either atomic or generically structured abstract types, if the integration of software components based on them is to be subsequently performed. The impact of these techniques on the reusability of software and the creation of project-specific software support environments is also discussed

    Charles S. Johnson to Dr. Silver, 1 August 1956

    Get PDF
    Professional correspondenc

    Private Antitrust Actions: Limitations and Releases

    Get PDF

    Pressure distributions from high Reynolds number transonic tests of an NACA 0012 airfoil in the Langley 0.3-meter transonic cryogenic tunnel

    Get PDF
    Tests were conducted in the 2-D test section of the Langley 0.3-meter Transonic Cryogenic Tunnel on a NACA 0012 airfoil to obtain aerodynamic data as a part of the Advanced Technology Airfoil Test (ATAT) program. The test program covered a Mach number range of 0.30 to 0.82 and a Reynolds number range of 3.0 to 45.0 x 10 to the 6th power. The stagnation pressure was varied between 1.2 and 6.0 atmospheres and the stagnation temperature was varied between 300 K and 90 K to obtain these test conditions. Tabulated pressure distributions and integrated force and moment coefficients are presented as well as plots of the surface pressure distributions. The data are presented uncorrected for wall interference effects and without analysis

    Vanishing minor conditions for inverse zero patterns

    Get PDF
    AbstractWe study the relationship between the zero-nonzero pattern of an invertible matrix and the vanishing minors of the matrix and of its inverse. In particular we show how to determine when a matrix B could be the inverse of a matrix A with a given zero-nonzero pattern. In fact, there is always a set of almost principal minors of B (in one-to-one correspondence with the set of zero entries of A) whose vanishing implies that B-1 has zeros everywhere that A does, provided certain principal minors of B do not vanish

    Blackbody radiation shift in a 43Ca+ ion optical frequency standard

    Full text link
    Motivated by the prospect of an optical frequency standard based on 43Ca+, we calculate the blackbody radiation (BBR) shift of the 4s_1/2-3d_5/2 clock transition, which is a major component of the uncertainty budget. The calculations are based on the relativistic all-order single-double method where all single and double excitations of the Dirac-Fock wave function are included to all orders of perturbation theory. Additional calculations are conducted for the dominant contributions in order to evaluate some omitted high-order corrections and estimate the uncertainties of the final results. The BBR shift obtained for this transition is 0.38(1) Hz. The tensor polarizability of the 3d_5/2 level is also calculated and its uncertainty is evaluated as well. Our results are compared with other calculations.Comment: 4 page

    High Reynolds number tests of a Douglas DLBA 032 airfoil in the Langley 0.3-meter transonic cryogenic tunnel

    Get PDF
    A wind-tunnel investigation of a Douglas advanced-technology airfoil was conducted in the Langley 0.3-Meter Transonic Cryogenic Tunnel (0.3-m TCT). The temperature was varied from 227 K (409 R) to 100 K (180 R) at pressures ranging from about 159 kPa (1.57 atm) to about 514 kPa (5.07 atm). Mach number was varied from 0.50 to 0.78. These variables provided a Reynolds number range (based on airfoil chord) from 6.0 to 30.0 x 10 to the 6th power. This investigation was specifically designed to: (1) test a Douglas airfoil from moderately low to flight-equivalent Reynolds numbers, and (2) evaluate sidewall-boundary-layer effects on transonic airfoil performance characteristics by a systematic variation of Mach number, Reynolds number, and sidewall-boundary-layer removal. Data are included which demonstrate the effects of fixing transition, Mach number, Reynolds number, and sidewall-boundary-layer removal on the aerodynamic characteristics of the airfoil. Also included are remarks on model design and model structural integrity
    • …
    corecore