58,214 research outputs found

    Atmospheric composition affects heat- and mass-transfer processes

    Get PDF
    For environmental control system functions sensitive to atmospheric composition, components are test-operated in helium-oxygen and nitrogen-oxygen mixtures, pure oxygen, and air. Transient heat- and mass-transfer tests are conducted for carbon dioxide adsorption on molecular sieve and for water vapor adsorption on silica gel

    Energy efficient engine high pressure turbine ceramic shroud support technology report

    Get PDF
    This work represents the development and fabrication of ceramic HPT (high pressure turbine) shrouds for the Energy Efficient Engine (E3). Details are presented covering the work performed on the ceramic shroud development task of the NASA/GE Energy Efficient Engine (E3) component development program. The task consists of four phases which led to the selection of a ZrO2-BY2O3 ceramic shroud material system, the development of an automated plasma spray process to produce acceptable shroud structures, the fabrication of select shroud systems for evaluation in laboratory, component, and CF6-50 engine testing, and finally, the successful fabrication of ZrO2-8Y2O3/superpeg, engine quality shrouds for the E3 engine

    A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers

    Get PDF
    The role of decision procedures is often essential in theorem proving. Decision procedures can reduce the search space of heuristic components of a prover and increase its abilities. However, in some applications only a small number of conjectures fall within the scope of the available decision procedures. Some of these conjectures could in an informal sense fall ‘just outside’ that scope. In these situations a problem arises because lemmas have to be invoked or the decision procedure has to communicate with the heuristic component of a theorem prover. This problem is also related to the general problem of how to exibly integrate decision procedures into heuristic theorem provers. In this paper we address such problems and describe a framework for the exible integration of decision procedures into other proof methods. The proposed framework can be used in different theorem provers, for different theories and for different decision procedures. New decision procedures can be simply ‘plugged-in’ to the system. As an illustration, we describe an instantiation of this framework within the Clam proof-planning system, to which it is well suited. We report on some results using this implementation

    Decision Tree Analysis as a Supplementary Tool to Enhance Histomorphological Differentiation when Distinguishing Human from Non-human Cranial Bone in both Burnt and Unburnt States: A feasibility study

    Get PDF
    This feasibility study was undertaken to describe and record the histological characteristics of burnt and unburnt cranial bone fragments from human and non-human bones. Reference series of fully mineralised, transverse sections of cranial bone, from all variables and specimen states were prepared by manual cutting and semi-automated grinding and polishing methods. A photomicrograph catalogue reflecting differences in burnt and unburnt bone from human and non-humans was recorded and qualitative analysis was performed using an established classification system based on primary bone characteristics. The histomorphology associated with human and non-human samples was, for the main part, preserved following burning at high temperature. Clearly, fibro-lamellar complex tissue subtypes, such as plexiform or laminar primary bone, were only present in non-human bones. A decision tree analysis based on histological features provided a definitive identification key for distinguishing human from non-human bone, with an accuracy of 100%. The decision tree for samples where burning was unknown was 96% accurate, and multi-step classification to taxon was possible with 100% accuracy. The results of this feasibility study, strongly suggest that histology remains a viable alternative technique if fragments of cranial bone require forensic examination in both burnt and unburnt states. The decision tree analysis may provide an additional, but vital tool to enhance data interpretation. Further studies are needed to assess variation in histomorphology taking into account other cranial bones, ontogeny, species and burning conditions

    Helix Formation and Folding in an Artificial Peptide

    Full text link
    We study the relation between α\alpha-helix formation and folding for a simple artificial peptide, Ala10_{10}-Gly5_5-Ala10_{10}. Our data rely on multicanonical Monte Carlo simulations where the interactions among all atoms are taken into account. The free-energy landscape of the peptide is evaluated for various temperatures. Our data indicate that folding of this peptide is a two-step process: in a first step two α\alpha-helices are formed which afterwards re-arrange themselves into a U-like structure.Comment: 15 pages, with 9 eps figure

    Anomalous coupling between topological defects and curvature

    Full text link
    We investigate a counterintuitive geometric interaction between defects and curvature in thin layers of superfluids, superconductors and liquid crystals deposited on curved surfaces. Each defect feels a geometric potential whose functional form is determined only by the shape of the surface, but whose sign and strength depend on the transformation properties of the order parameter. For superfluids and superconductors, the strength of this interaction is proportional to the square of the charge and causes all defects to be repelled (attracted) by regions of positive (negative) Gaussian curvature. For liquid crystals in the one elastic constant approximation, charges between 0 and 4Ï€4\pi are attracted by regions of positive curvature while all other charges are repelled.Comment: 5 pages, 4 figures, minor changes, accepted for publication in Phys. Rev. Let
    • …
    corecore