Research in advanced formal theorem-proving techniques

The results are summarised of a project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot planning. The principal results of the project were the design and implementation of two complete systems, QA4 and QLISP, and their preliminary experimental use. The various applications of both QA4 and QLISP are given

Equilibrium States of Liquid, Solid, and Vapor and the Configurations for Copper, Tungsten, and Pores in Liquid-Phase Sintering

The equilibrium state of the liquid-solid structure during liquid-phase sintering (LPS) is pondered with respect to minimum energy geometries. Besides the solid-liquid ratio, several interfacial energies determine the most stable geometric configuration. In this study, we rely on the attributes of the copper or nickel as the liquid, tungsten as the solid, and vapor to solve for terminal configurations that include liquid pools inside the solid grains. Surface evolution is enabled using a stepwise computer program[1] to rearrange and reshape small grain clusters reflective of LPS based on a preset combination of wetting and dihedral angles. The findings show how different interfacial energies, as a result of oxidation or impurity segregation, play a role in determining the final geometry. The specific concern is identification of situations in which a liquid is stable inside the solid, as observed in some LPS materials.open112Nsciescopu

Description of the three axis low-g accelerometer package

The three axis low-g accelerometer package designed for use on the Space Processing Application Rocket (SPAR) Program is described. The package consists of the following major sections: (1) three Kearfott model 2412 accelerometers mounted in an orthogonal triad configuration on a temperature controlled, thermally isolated cube, (2) the accelerometer servoelectronics (printed circuit cards PC-6 through PC-12), and (3) the signal conditioner (printed circuit cards PC-15 and PC-16). The measurement range is 0 + or - 0.031 g with a quantization of 1.1 x 10 to the 7th power g. The package was flown successfully on six SPAR launches with the Black Brant booster. These flights provide approximately 300 s of free fall or zero-g environment

Rapid Analysis and Manufacturing Propulsion Technology (RAMPT)

The RAMPT project is maturing novel design and manufacturing technologies to increase scale, significantly reduce cost, and improve performance for regeneratively-cooled thrust chamber assemblies, specifically the combustion chamber and nozzle for government and industry programs

Additively Manufactured Oxidizer Turbopump

Additive Manufacturing, or 3D printing, is a key technology for enhancing rocket engine designs and making them more affordable for future exploration missions. The Oxidzer Turbopump (OTP) offers the ability to demonstrate additively manufactured rotating, vaned, and critical pressure vessel components in relevant oxygen turbopump environments. The additively manufactured components of the OTP include the main housings, impeller, and turbine components. A key technology development goal is to understand the benefits and limitations of additive manufacturing as it applies to the complex geometries needed for a rocket engine turbopump

Space Technology Mission Directorate Game Changing Development Program FY2015 Annual Program Review: Advanced Manufacturing Technology

The Advance Manufacturing Technology (AMT) Project supports multiple activities within the Administration's National Manufacturing Initiative. A key component of the Initiative is the Advanced Manufacturing National Program Office (AMNPO), which includes participation from all federal agencies involved in U.S. manufacturing. In support of the AMNPO the AMT Project supports building and Growing the National Network for Manufacturing Innovation through a public-private partnership designed to help the industrial community accelerate manufacturing innovation. Integration with other projects/programs and partnerships: STMD (Space Technology Mission Directorate), HEOMD, other Centers; Industry, Academia; OGA's (e.g., DOD, DOE, DOC, USDA, NASA, NSF); Office of Science and Technology Policy, NIST Advanced Manufacturing Program Office; Generate insight within NASA and cross-agency for technology development priorities and investments. Technology Infusion Plan: PC; Potential customer infusion (TDM, HEOMD, SMD, OGA, Industry); Leverage; Collaborate with other Agencies, Industry and Academia; NASA roadmap. Initiatives include: Advanced Near Net Shape Technology Integrally Stiffened Cylinder Process Development (launch vehicles, sounding rockets); Materials Genome; Low Cost Upper Stage-Class Propulsion; Additive Construction with Mobile Emplacement (ACME); National Center for Advanced Manufacturing

Advanced Manufacturing Technology (AMT) Overview Quad Charts (FY2016)

No abstract availabl

Blur resolved OCT: full-range interferometric synthetic aperture microscopy through dispersion encoding

We present a computational method for full-range interferometric synthetic aperture microscopy (ISAM) under dispersion encoding. With this, one can effectively double the depth range of optical coherence tomography (OCT), whilst dramatically enhancing the spatial resolution away from the focal plane. To this end, we propose a model-based iterative reconstruction (MBIR) method, where ISAM is directly considered in an optimization approach, and we make the discovery that sparsity promoting regularization effectively recovers the full-range signal. Within this work, we adopt an optimal nonuniform discrete fast Fourier transform (NUFFT) implementation of ISAM, which is both fast and numerically stable throughout iterations. We validate our method with several complex samples, scanned with a commercial SD-OCT system with no hardware modification. With this, we both demonstrate full-range ISAM imaging, and significantly outperform combinations of existing methods.Comment: 17 pages, 7 figures. The images have been compressed for arxiv - please follow DOI for full resolutio

Rapid Analysis and Manufacturing Propulsion Technology (RAMPT)

NASA's strategic plan calls for the development of enabling technologies, improved production methods, and advanced design and analysis tools related to the agency's objectives to expand human presence in the solar system. NASA seeks to advance exploration, science, innovation, benefits to humanity, and international collaboration, as well as facilitate and utilize U.S. commercial capabilities to deliver cargo and crew to space

Low Cost Upper Stage-Class Propulsion

No abstract availabl