Search NASA⌕ Search

SEARCH · Search NASA

Results for “reasoning about programs”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,495 records · Page 83

A Reference Implementation for a Quantum Message Passing Interface

Practical applications of quantum computing are currently limited by the number of qubits that can be set with reasonable fidelities for each system. Therefore, a distributed quantum computing system with multiple quantum computers coherently connected is highly demanding. To realize the internode communication of quantum information, the software interface, Quantum Message Passing Interface (QMPI), leveraging the framework built for classical MPI but taking advantage of quantum teleportation to communicate between different quantum nodes was proposed. In this project, we develop the QMPI with point-to-point and collective operations in Qiskit and characterize its performance by demonstrating the application implementations. Moreover, we developed a new technique for optimizing collective communication of the distributed quantum programs with Multi-Controlled Toffoli gates. This technique beats the state-of-the-art in terms of fidelity and the number of remote EPR pairs consumed in both simulations and experiments.

Shi, Yue↗

Noise measurements from an ejector suppressor nozzle in the NASA Lewis 9- by 15-foot low speed wind tunnel

Acoustic results are presented of a cooperative nozzle test program between NASA and Pratt and Whitney, conducted in the NASA-Lewis 9 x 15 ft Anechoic Wind Tunnel. The nozzle tested was the P and W Hypermix Nozzle concept, a 2-D lobed mixer nozzle followed by a short ejector section made to promote rapid mixing of the induced ejector nozzle flow. Acoustic and aerodynamic measurements were made to determine the amount of ejector pumping, degree of mixing, and noise reduction achieved. A series of tests were run to verify the acoustic quality of this tunnel. The results indicated that the tunnel test section is reasonably anechoic but that background noise can limit the amount of suppression observed from suppressor nozzles. Also, a possible internal noise was observed in the air supply system. The P and W ejector suppressor nozzle demonstrated the potential of this concept to significantly reduce jet noise. Significant reduction in low frequency noise was achieved by increasing the peak jet noise frequency. This was accomplished by breaking the jet into segments with smaller dimensions than those of the baseline nozzle. Variations in ejector parameters had little effect on the noise for the geometries and the range of temperatures and pressure ratios tested.

Krejsa, Eugene A.↗

Development of a New VLBI Data Analysis Software

We present an overview of a new VLBI analysis software under development at NASA GSFC. The new software will replace CALC/SOLVE and many related utility programs. It will have the capabilities of the current system as well as incorporate new models and data analysis techniques. In this paper we give a conceptual overview of the new software. We formulate the main goals of the software. The software should be flexible and modular to implement models and estimation techniques that currently exist or will appear in future. On the other hand it should be reliable and possess production quality for processing standard VLBI sessions. Also, it needs to be capable of processing observations from a fully deployed network of VLBI2010 stations in a reasonable time. We describe the software development process and outline the software architecture.

Bolotin, Sergei↗

Study program to develop and evaluate die and container materials for the growth of silicon ribbons

The development and evaluation of proprietary coatings of pure silicon carbide, silicon nitride, and aluminum nitride on less pure hot pressed substrates of the respective ceramic materials, is described. Silicon sessile drop experiments were performed on coated test specimens under controlled oxygen partial pressure. Prior to testing, X-ray diffraction and SEM characterization was performed. The reaction interfaces were characterized after testing with optical and scanning electron microscopy and Auger electron spectroscopy. Increasing the oxygen partial pressure was found to increase the molten silicon contact angle, apparently because adsorbed oxygen lowers the solid-vapor interfacial free energy. It was also found that adsorbed oxygen increased the degree of attack of molten silicon upon the chemical vapor deposited coatings. Cost projections show that reasonably priced, coated, molten silicon resistant refractory material shapes are obtainable.

Addington, L. A.↗

Nuclear Data Adjustment with Whisper for Criticality Safety Applications [Slides]

Nuclear data adjustment is used by Whisper to compute residual nuclear data uncertainties within a full suite of benchmarks; in order to do so, a complete set of nuclear data covariances, benchmarks and k-effective sensitivity profiles (for both benchmarks and applications) is required. For applications that are similar to the full benchmark suite, the residual uncertainties add a small margin to the overall USL calculation. For applications that are dissimilar to the full benchmark suite, the residual uncertainties add a reasonable margin to the overall USL calculation (more conservative). This methodology helps to overcome any issues in the released covariance libraries where nuclear data uncertainties appear to be too large.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Consistent Evaluation of the Prompt-fission Neutron Spectrum and Multiplicity for n+ 235,238 U and n+ 239 Pu

This report was written to satisfy a FY20 NCSP milestone on 235,238 U and 239 Pu. The milestone requires to “finalize a report assessing our methodology to evaluate prompt-fission neutron spectrum (PFNS) and multiplicity consistently”. More specifically, we study whether the code CGMF can reproduce ENDF/B-VIII.0 evaluated PFNS and average prompt-fission neutron multiplicities, $\bar{v}$, for 235,238 U and 239 Pu using one joint parameter set per isotope. If CGMF is shown to be able to reasonably reproduce ENDF/B-VIII.0 within its model-parameter space, this code could be used for future consistent evaluations of PFNS and $\bar{v}$. To answer this question, we explore here the parameter space of CGMF and its impact on calculated values and whether they are close to evaluated and experimental data. We also list experimental data that would enter a future evaluation and statistics method that could be used to obtain evaluated data and covariances. We conclude that values of $\bar{v}$ calculated by CGMF are reasonably close to ENDF/B-VIII.0 data, while more work on modeling the PFNS is needed (parameter optimization and model improvements) to reliably use it for evaluations.

07 ISOTOPE AND RADIATION SOURCES↗

The 1973-1984 Solar Modulation of Cosmic Ray Nuclei

As a continuation of the program of solar modulation studies, new measurements were carried out with the cosmic ray telescope on the Earth satellite IMP-8, of the intensity time variations and the energy spectra of galactic cosmic ray protons, helium, carbon and oxygen from 1980 through 1984 including the recent solar maximum. In order to test the applicability of a steady state model of solar modulation during a period which includes times of rapidly changing modulation, these fluxes were equated with the predictions of a conventional model of solar modulation which assumes equilibrium between modulation mechanisms. It is found that for a reasonable range of variations of the diffusion coefficient the model predictions can be made to agree with the measurements at essentially all times during the studied period. The model can account also for the observed hysteresis effects between cosmic rays of different rigidities.

Garcia-Munoz, M.↗

Detection of Sub-Surface Water on Mars by Controlled and Natural Source Electromagnetic Induction

Detection of subsurface liquid water on Mars is a leading scientific objective for Mars exploration in this decade. We describe electromagnetic induction (EM) methods that are both uniquely well suited for detection of subsurface liquid water on Mars and practical within the context of a Mars exploration program. EM induction methods are ideal for detection of more highly conducting (liquid water bearing) soils and rock beneath a more resistive overburden. A combined natural source and controlled source method offers an efficient and unambiguous characterization of the depth to liquid water and the extent of the aqueous region. The controlled source method employs an ac vertical dipole source (horizontal loop) to probe the depth to the conductor and a natural source method (gradient sounding) to characterize its conductivity-thickness product. These methods are proven in geophysical exploration and can be tailored to cope with any reasonable Mars crustal electrical conductivity. We describe a practical experiment and discuss experiment optimization to address the range of material properties likely encountered in the Mars crust.

Connerney, J. E. P.↗

Tensile Properties of Polymeric Matrix Composites Subjected to Cryogenic Environments

Polymer matrix composites (PMC s) have seen limited use as structural materials in cryogenic environments. One reason for the limited use of PMC s in cryogenic structures is a design philosophy that typically requires a large, validated database of material properties in order to ensure a reliable and defect free structure. It is the intent of this paper to provide an initial set of mechanical properties developed from experimental data of an advanced PMC (IM7/PETI-5) exposed to cryogenic temperatures and mechanical loading. The application of this data is to assist in the materials down-select and design of cryogenic fuel tanks for future reusable space vehicles. The details of the material system, test program, and experimental methods will be outlined. Tension modulus and strength were measured at room temperature, -196 C, and -269 C on five different laminates. These properties were also tested after aging at -186 C with and without loading applied. Microcracking was observed in one laminate.

Whitley, Karen S.↗

High Performance Computing - Power Application Programming Interface Specification

Achieving practical exascale supercomputing will require massive increases in energy efficiency. The bulk of this improvement will likely be derived from hardware advances such as improved semiconductor device technologies and tighter integration, hopefully resulting in more energy efficient computer architectures. Still, software will have an important role to play. With every generation of new hardware, more power measurement and control capabilities are exposed. Many of these features require software involvement to maximize feature benefits. This trend will allow algorithm designers to add power and energy efficiency to their optimization criteria. Similarly, at the system level, opportunities now exist for energy-aware scheduling to meet external utility constraints such as time of day cost charging and power ramp rate limitations. Finally, future architectures might not be able to operate all components at full capability for a range of reasons including temperature considerations or power delivery limitations. Software will need to make appropriate choices about how to allocate the available power budget given many, sometimes conflicting considerations.

97 MATHEMATICS AND COMPUTING↗

Irradiation Testing of Ultrasonic Transducers

Ultrasonic technologies offer the potential for high accuracy and resolution in-pile measurement of a range of parameters, including geometry changes, temperature, crack initiation and growth, gas pressure and composition, and microstructural changes. Many Department of Energy-Office of Nuclear Energy (DOE-NE) programs are exploring the use of ultrasonic technologies to provide enhanced sensors for in-pile instrumentation during irradiation testing. For example, the ability of single, small diameter ultrasonic thermometers (UTs) to provide a temperature profile in candidate metallic and oxide fuel would provide much needed data for validating new fuel performance models. Other efforts include an ultrasonic technique to detect morphology changes (such as crack initiation and growth) and acoustic techniques to evaluate fission gas composition and pressure. These efforts are limited by the lack of existing knowledge of ultrasonic transducer material survivability under irradiation conditions. For this reason, the Pennsylvania State University (PSU) was awarded an Advanced Test Reactor National Scientific User Facility (ATR NSUF) project to evaluate promising magnetostrictive and piezoelectric transducer performance in the Massachusetts Institute of Technology Research Reactor (MITR) up to a fast fluence of at least 1021 n/cm2 (E> 0.1 MeV). The goal of this research is to characterize magnetostrictive and piezoelectric transducer survivability during irradiation, enabling the development of novel radiation tolerant ultrasonic sensors for use in Material and Test Reactors (MTRs). As such, this test will be an instrumented lead test and real-time transducer performance data will be collected along with temperature and neutron and gamma flux data. The current work bridges the gap between proven out-of-pile ultrasonic techniques and in-pile deployment of ultrasonic sensors by acquiring the data necessary to demonstrate the performance of ultrasonic transducers.

In-Pile Instrumentation, Material and Test Reactor↗

Irradiation Testing of Ultrasonic Transducers

Ultrasonic technologies offer the potential for high accuracy and resolution in-pile measurement of a range of parameters, including geometry changes, temperature, crack initiation and growth, gas pressure and composition, and microstructural changes. Many Department of Energy-Office of Nuclear Energy (DOE-NE) programs are exploring the use of ultrasonic technologies to provide enhanced sensors for in-pile instrumentation during irradiation testing. For example, the ability of single, small diameter ultrasonic thermometers (UTs) to provide a temperature profile in candidate metallic and oxide fuel would provide much needed data for validating new fuel performance models. Other efforts include an ultrasonic technique to detect morphology changes (such as crack initiation and growth) and acoustic techniques to evaluate fission gas composition and pressure. These efforts are limited by the lack of existing knowledge of ultrasonic transducer material survivability under irradiation conditions. For this reason, the Pennsylvania State University (PSU) was awarded an Advanced Test Reactor National Scientific User Facility (ATR NSUF) project to evaluate promising magnetostrictive and piezoelectric transducer performance in the Massachusetts Institute of Technology Research Reactor (MITR) up to a fast fluence of at least 1021 n/cm2 (E> 0.1 MeV). The goal of this research is to characterize magnetostrictive and piezoelectric transducer survivability during irradiation, enabling the development of novel radiation tolerant ultrasonic sensors for use in Material and Test Reactors (MTRs). As such, this test will be an instrumented lead test and real-time transducer performance data will be collected along with temperature and neutron and gamma flux data. The current work bridges the gap between proven out-of-pile ultrasonic techniques and in-pile deployment of ultrasonic sensors by acquiring the data necessary to demonstrate the performance of ultrasonic transducers.

harsh-environment sensors↗

Raising the AIQ of the Space Station

Expert systems and robotics technologies are to be significantly advanced during the Space Station program. Artificial intelligence systems (AI) on the Station will include 'scars', which will permit upgrading the AI capabilities as the Station evolves to autonomy. NASA-Ames is managing the development of the AI systems through a series of demonstrations, the first, controlling a single subsystem, to be performed in 1988. The capabilities being integrated into the first demonstration are described; however, machine learning and goal-driven natural language understanding will not reach a prototype stage until the mid-1990s. Steps which will be taken to endow the computer systems with the ability to move from heuristic reasoning to factual knowledge, i.e., learning from experience, are explored. It is noted that the development of Space Station expert systems depends on the development of experts in Station operations, which will not happen until the Station has been used extensively by crew members.

Lum, Henry↗

Parallel Computation of Unsteady Flows on a Network of Workstations

Parallel computation of unsteady flows requires significant computational resources. The utilization of a network of workstations seems an efficient solution to the problem where large problems can be treated at a reasonable cost. This approach requires the solution of several problems: 1) the partitioning and distribution of the problem over a network of workstation, 2) efficient communication tools, 3) managing the system efficiently for a given problem. Of course, there is the question of the efficiency of any given numerical algorithm to such a computing system. NPARC code was chosen as a sample for the application. For the explicit version of the NPARC code both two- and three-dimensional problems were studied. Again both steady and unsteady problems were investigated. The issues studied as a part of the research program were: 1) how to distribute the data between the workstations, 2) how to compute and how to communicate at each node efficiently, 3) how to balance the load distribution. In the following, a summary of these activities is presented. Details of the work have been presented and published as referenced.

Source record↗

Geotail Video News Release

The Geotail mission, part of the International Solar Terrestrial Physics (ISTP) program, measures global energy flow and transformation in the magnetotail to increase understanding of fundamental magnetospheric processes. The satellite was launched on July 24, 1992 onboard a Delta II rocket. This video shows with animation the solar wind, and its effect on the Earth. The narrator explains that the Geotail spacecraft was designed and built by the Institute of Space and Astronautical Science (ISAS), the Japanese Space Agency. The mission objectives are reviewed by one of the scientist in a live view. The video also shows an animation of the orbit, while the narrator explains the orbit and the reason for the small launch window.

Source record↗

Radiation Transmission Properties of In-Situ Materials

The development of a permanent human presence in space is a key element of NASA's strategic plan for the Human Exploration and Development of Space (HEDS). The habitation of the International Space Station (ISS) is one near-term HEDS objective; the exploration and settlement of the moon and Mars are long-term goals of that plan. Achieving these goals requires maintaining the health and safety of personnel involved in such space operations at a high level, while at the same time reducing the cost of those operations to a reasonable level. Among the limiting factors to prolonged human space operations are the health risks from exposure to the space ionizing radiation environment. In order to keep the risk of radiation induced cancer at acceptable levels, it is necessary to provide adequate shielding from the ionizing radiation environment. The research presented here is theoretical and ground-based experimental study of the neutron production from interactions of GCR-like particles in various shielding components. An emphasis is placed here on research that will aid in the development of in-situ resource utilization. The primary goal of the program is to develop an accurate neutron-production model that is relevant to the NASA HEDS program of designing technologies that will be used in the development of effective shielding countermeasures. A secondary goal of the program is the development of an experimental data base of neutron production cross sections and thick-target yields which will aid model development.

Heilbronn, L.↗

Luciola Hypertelescope Space Observatory

Luciola is a large (one kilometer) "multi-aperture densified-pupil imaging interferometer", or "hypertelescope" employing many small apertures, rather than a few large ones, for obtaining direct snapshot images with a high information content. A diluted collector mirror, deployed in space as a flotilla of small mirrors, focuses a sky image which is exploited by several beam-combiner spaceships. Each contains a pupil densifier micro-lens array to avoid the diffractive spread and image attenuation caused by the small sub-apertures. The elucidation of hypertelescope imaging properties during the last decade has shown that many small apertures tend to be far more efficient, regarding the science yield, than a few large ones providing a comparable collecting area. For similar underlying physical reasons, radio-astronomy has also evolved in the direction of many-antenna systems such as the proposed Low Frequency Array having hundreds of thousands of individual receivers . With its high limiting magnitude, reaching the mv=30 limit of HST when 100 collectors of 25cm will match its collecting area, high-resolution direct imaging in multiple channels, broad spectral coverage from the 1200 Angstrom ultra-violet to the 20 micron infra-red, apodization, coronagraphic and spectroscopic capabilities, the proposed hypertelescope observatory addresses very broad and innovative science covering different areas of ESA s Cosmic Vision program. In the initial phase, a focal spacecraft covering the UV to near IR spectral range of EMCCD photon-counting cameras ( currently 200 to 1000nm), will image details on the surface of many stars, as well as their environment, including multiple stars and clusters. Spectra will be obtained for each resel. It will also image neutron star, black-hole and micro-quasar candidates, as well as active galactic nuclei, quasars, gravitational lenses, and other Cosmic Vision targets observable with the initial modest crowding limit. With subsequent upgrade missions, the spectral coverage can be extended from 120nm to 20 microns, using four detectors carried by two to four focal spacecraft. The number of collector mirrors in the flotilla can also be increased from 12 to 100 and possibly 1,000. The imaging and spectroscopy of habitable exoplanets in the mid infra-red then becomes feasible once the collecting area reaches 6m2 , using a specialized mid infra-red focal spacecraft. Calculations ( Boccaletti et al., 2000) have shown that hypertelescope coronagraphy has unequalled sensitivity for detecting, at mid infra-red wavelengths, faint exoplanets within the exo-zodiacal glare. Later upgrades will enable the more difficult imaging and spectroscopy of these faint objects at visible wavelengths, using refined techniques of adaptive coronagraphy (Labeyrie. & Le Coroller, 2004). Together, the infra-red and visible spectral data carry rich information on the possible presence of life. The close environment of the central black-hole in the Milky Way will be imageable with unprecedented detail in the near infra-red . Cosmological imaging of remote galaxies at the limit of the known universe is also expected, from the ultra-violet to the near infra-red, following the first upgrade, and with greatly increasing sensitivity through successive upgrades. These areas will indeed greatly benefit from the upgrades, in terms of dynamic range, limiting complexity of the objects to be imaged, size of the elementary Direct Imaging Field , and limiting magnitude, approaching that of an 8-meter space telescope when 1000 apertures of 25cm are installed. Similar gains will occur for addressing fundamental problems in physics and cosmology, particularly when observing neutron stars and black holes, single or binary, including the giant black holes, with accretion disks and jets, in active galactic nuclei beyond the Milky Way. Gravitational lensing and micro-lensing patterns, including time-variable patterns and perhaps millisecond lensing flasheshich may be beamed by diffraction from sub-stellar masses at sub-parsec distances (Labeyrie, 1994) , will also be observable initially in the favourable cases, and upgrades will greatly improve the number of observable objects. The observability of gravitational waves emitted by binary lensing masses, in the form of modulated lensing patterns, is a debated issue ( Ragazzoni et al., 2003) but will also become addressable observationally. The technology readiness of Luciola approaches levels where low-orbit testing and stepwise implementation will become feasible in the 2015-2025 time frame. For the following decades beyond 2020, once accurate formation flying techniques will be mastered, much larger hypertelescopes such as the proposed 100km Exo-Earth Imager and the 100,000 km Neutron Star Imager should also become feasible. Luciola is therefore also seen as a precursor toward such very powerful instruments.

Labeyrie, Antoine↗

Symbolic Constraint Maintenance Grid

Version 3.1 of Symbolic Constraint Maintenance Grid (SCMG) is a software system that provides a general conceptual framework for utilizing pre-existing programming techniques to perform symbolic transformations of data. SCMG also provides a language (and an associated communication method and protocol) for representing constraints on the original non-symbolic data. SCMG provides a facility for exchanging information between numeric and symbolic components without knowing the details of the components themselves. In essence, it integrates symbolic software tools (for diagnosis, prognosis, and planning) with non-artificial-intelligence software. SCMG executes a process of symbolic summarization and monitoring of continuous time series data that are being abstractly represented as symbolic templates of information exchange. This summarization process enables such symbolic- reasoning computing systems as artificial- intelligence planning systems to evaluate the significance and effects of channels of data more efficiently than would otherwise be possible. As a result of the increased efficiency in representation, reasoning software can monitor more channels and is thus able to perform monitoring and control functions more effectively.

James, Mark↗