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 541 records · Page 30
All sourcesNASA NTRSDOE OSTI
NASA NTRS1977

Development of a multi-disciplinary ERTS user program in the state of Ohio. Volume 1: Executive summary

The author has identified the following significant results. A current uniform land inventory was derived, in part, from LANDSAT data. The State has the ability to convert processed land information from LANDSAT to Ohio Capability Analysis Program (OCAP). The OCAP is a computer information and mapping system comprised of various programs used to digitally store, analyze, and display land capability information. More accurate processing of LANDSAT data could lead to reasonably accurate, useful land allocations models. It was feasible to use LANDSAT data to investigate minerals, pollution, land use, and resource inventory.

Baldridge, P. E.↗
NASA NTRS1987

Propulsion challenges and opportunities for high-speed transport aircraft

For several years there was a growing interest in the subject of efficient sustained supersonic cruise technology applied to a high-speed transport aircraft. The major challenges confronting the propulsion community for supersonic transport (SST) applications are identified. Both past progress and future opportunities are discussed in relation to perceived technology shortfalls for an economically successful SST that satisfies environmental constraints. A very large improvement in propulsion system efficiency is needed both at supersonic and subsonic cruise conditions. Toward that end, several advanced engine concepts are being considered that, together with advanced discipline and component technologies, promise at least 40 percent better efficiency that the Concorde engine. The quest for higher productivity through higher speed is also thwarted by the lack of a conventional, low-priced fuel that is thermally stable at the higher temperatures associated with faster flight. Airport noise remains a tough challenge because previously researched concepts fall short of achieving FAR 36 Stage 3 noise levels. Innovative solutions may be necessary to reach acceptably low noise. While the technical challenges are indeed formidable, it is reasonable to assume that the current shortfalls in fuel economy and noise can be overcome through an aggressive propulsion research program.

Strack, William C.↗
NASA NTRS1990

Experimental and analytical study of close-coupled ventral nozzles for ASTOVL aircraft

Flow in a generic ventral nozzle system was studied experimentally and analytically with a block version of the PARC3D computational fluid dynamics program (a full Navier-Stokes equation solver) in order to evaluate the program's ability to predict system performance and internal flow patterns. Measurements showed about 5.5-percent flow-turning loss, reasonable nozzle performance coefficients, and a significant aftward axial component of thrust due to flow turning more than 90 deg. Flow behavior into and through the ventral duct is discussed and illustrated with paint streak flow visualization photographs. PARC3D flow visualization images are shown for comparison with the paint streak photographs. Modeling and computational issues encountered in the analytical work are discussed.

Mcardle, Jack G.↗
NASA NTRS1992

Time management situation assessment (TMSA)

TMSA is a concept prototype developed to support NASA Test Directors (NTDs) in schedule execution monitoring during the later stages of a Shuttle countdown. The program detects qualitative and quantitative constraint violations in near real-time. The next version will support incremental rescheduling and reason over a substantially larger number of scheduled events.

Richardson, Michael B.↗
NASA NTRS2003

Intelligent Launch and Range Operations Virtual Test Bed (ILRO-VTB)

Intelligent Launch and Range Operations Virtual Test Bed (ILRO-VTB) is a real-time web-based command and control, communication, and intelligent simulation environment of ground-vehicle, launch and range operation activities. ILRO-VTB consists of a variety of simulation models combined with commercial and indigenous software developments (NASA Ames). It creates a hybrid software/hardware environment suitable for testing various integrated control system components of launch and range. The dynamic interactions of the integrated simulated control systems are not well understood. Insight into such systems can only be achieved through simulation/emulation. For that reason, NASA has established a VTB where we can learn the actual control and dynamics of designs for future space programs, including testing and performance evaluation. The current implementation of the VTB simulates the operations of a sub-orbital vehicle of mission, control, ground-vehicle engineering, launch and range operations. The present development of the test bed simulates the operations of Space Shuttle Vehicle (SSV) at NASA Kennedy Space Center. The test bed supports a wide variety of shuttle missions with ancillary modeling capabilities like weather forecasting, lightning tracker, toxic gas dispersion model, debris dispersion model, telemetry, trajectory modeling, ground operations, payload models and etc. To achieve the simulations, all models are linked using Common Object Request Broker Architecture (CORBA). The test bed provides opportunities for government, universities, researchers and industries to do a real time of shuttle launch in cyber space.

Bardina, Jorge↗
NASA NTRS2011

The NASA Soil Moisture Active Passive (SMAP) Mission - Algorithm and Cal/Val Activities and Synergies with SMOS and Other L-Band Missions

NASA's Soil Moisture Active Passive (SMAP) mission, planned for launch in late 2014, has as its key measurement objective the frequent, global mapping of near-surface soil moisture and its freeze-thaw state. SMAP soil moisture and freeze/thaw measurements at 10 km and 3 km resolutions respectively, would enable significantly improved estimates of water, energy and carbon transfers between the land and atmosphere. Soil moisture control of these fluxes is a key factor in the performance of atmospheric models used for weather forecasts and climate projections Soil moisture measurements are also of great importance in assessing floods and for monitoring drought. In addition, observations of soil moisture and freeze/thaw timing over the boreal latitudes can help reduce uncertainties in quantifying the global carbon balance. The SMAP measurement concept utilizes an L-band radar and radiometer sharing a rotating 6-meter mesh reflector antenna. The SMAP radiometer and radar flight hardware and ground processing designs are incorporating approaches to identify and mitigate potential terrestrial radio frequency interference (RFI). The radar and radiometer instruments are planned to operate in a 680 km polar orbit, viewing the surface at a constant 40-degree incidence angle with a 1000-km swath width, providing 3-day global coverage. Data from the instruments would yield global maps of soil moisture and freeze/thaw state to be provided at 10 km and 3 km resolutions respectively, every two to three days. Plans are to provide also a radiometer-only soil moisture product at 40-km spatial resolution. This product and the underlying brightness temperatures have characteristics similar to those provided by the Soil Moisture and Ocean Salinity (SMOS) mission. As a result, there are unique opportunities for common data product development and continuity between the two missions. SMAP also has commonalities with other satellite missions having L-band radiometer and/or radar sensors applicable to soil moisture measurement, such as Aquarius, SAO COM, and ALOS-2. The algorithms and data products for SMAP are being developed in the SMAP Science Data System (SDS) Testbed. The algorithms are developed and evaluated in the SDS Testbed using simulated SMAP observations as well as observational data from current airborne and spaceborne L-band sensors including SMOS. The SMAP project is developing a Calibration and Validation (Cal/Val) Plan that is designed to support algorithm development (pre-launch) and data product validation (post-launch). A key component of the Cal/Val Plan is the identification, characterization, and instrumentation of sites that can be used to calibrate and validate the sensor data (Level I) and derived geophysical products (Level 2 and higher). In this presentation we report on the development status of the SMAP data product algorithms, and the planning and implementation of the SMAP Cal/Val program. Several components of the SMAP algorithm development and Cal/Val plans have commonality with those of SMOS, and for this reason there are shared activities and resources that can be utilized between the missions, including in situ networks, ancillary data sets, and long-term monitoring sites.

Njoku, Eni↗
NASA NTRS2019

Overview of the PLEXIL Plan Execution Technology and its Applications in Autonomous Piloting Projects at NASA

Automated planning is a key Artificial Intelligence technology enabling Unmanned Aerial Systems (UAS) and the eminent reality of Urban Air Mobility (UAM). It produces plans, which formalize procedures often performed by humans. Plans differ from other kinds of computer programs in their ability to react and interact with a dynamically changing environment. Aviation plans must encode the procedural knowledge, reasoning capability, and capacity for multi-tasking held by competent human pilots. Correct execution of these plans (performed by software called an executive) in the dynamic airspace environment is vital to the success of each automated flight, and the safety of the vehicle and all things in its path. In the early 2000s NASA developed a plan representation language and executive called PLEXIL (Plan Execution Interchange Language) that has successfully been applied in several NASA aviation and UAS projects. Autonomy Operating System (AOS), Cockpit Hierarchical Automated Planning and Execution (CHAP-E), and ICAROUS are all projects that have used PLEXIL to help encode and automatically execute flight procedures, some normally performed by human pilots. AOS also automates a subset of pilot/Air Traffic Control communication towards enabling UAS entry into the National Airspace. PLEXIL has been open-source software since 2008 and has seen usage in a wide range of prototypical autonomy applications in academia, government, and industry. In this presentation, we describe PLEXIL and highlight its significant accomplishments in the aviation domain.

Dalal, Michael↗
DOE OSTI2011

Viewpoint: the End of the World at the Large Hadron Collider?

New arguments based on astrophysical phenomena constrain the possibility that dangerous black holes will be produced at the CERN Large Hadron Collider. On 8 August, the Large Hadron Collider (LHC) at CERN injected its first beams, beginning an experimental program that will produce proton-proton collisions at an energy of 14 TeV. Particle physicists are waiting expectantly. The reason is that the Standard Model of strong, weak, and electromagnetic interactions, despite its many successes, is clearly incomplete. Theory says that the holes in the model should be filled by new physics in the energy region that will be studied by the LHC. Some candidate theories are simple quick fixes, but the most interesting ones involve new concepts of spacetime waiting to be discovered. Look up the LHC on Wikipedia, however, and you will find considerable space devoted to safety concerns. At the LHC, we will probe energies beyond those explored at any previous accelerator, and we hope to create particles that have never been observed. Couldn't we, then, create particles that would actually be dangerous, for example, ones that would eat normal matter and eventually turn the earth into a blob of unpleasantness? It is morbid fun to speculate about such things, and candidates for such dangerous particles have been suggested. These suggestions have been analyzed in an article in Reviews of Modern Physics by Jaffe, Busza, Wilczek, and Sandweiss and excluded on the basis of constraints from observation and from the known laws of physics. These conclusions have been upheld by subsequent studies conducted at CERN.

43 PARTICLE ACCELERATORS↗
DOE OSTI2015

The decommissioning imperative - motivating progress in us used fuel management - 15185

When the Yucca Mountain project was terminated in 2010 there was approximately 3500 metric tons of used fuel stored at Independent Spent Fuel Storage Installations (ISFSIs) at which there was no operating reactor (10 shutdown plant sites and the GE Morris facility). By 2015, four additional sites with five reactors will have shut down, causing the amount of used fuel 'stranded' at sites where there is no operating reactor to nearly double to approximately 6900 metric tons which will be stored at a total of 15 sites. At each of these sites, once the reactors are decommissioned, the only thing preventing the land from being returned to communities for other uses is the remaining presence of the used fuel. The cost of maintaining 15 stand-alone ISFSIs is born by electric ratepayers and taxpayers. Going forward, the costs of maintaining stand-alone ISFSIs is certain to grow even if the number of stand-alone ISFSIs does not grow beyond the already announced shutdown of the Oyster Creek reactor in 2019 (which would increase the amount of stranded used fuel by another 10% and create a 16. stand-alone ISFSI). One reason for this cost escalation will be the need for ISFSI owners to renew storage licenses, and implement aging management programs to support these renewals, due to the continued delay in the federal program for removing the used fuel. Storage licenses at 10 of 16 stand-alone ISFSIs will expire by 2021, which is the earliest projected date at which the Department of Energy (DOE) has indicated it could have a pilot interim storage facility available - and nearly 3 decades before DOE projects a repository will be available. The burden and cost of continuing to renew storage licenses - and manage aging storage facilities - at 16 stand-alone sites instead of moving stranded used fuel to a single consolidated storage location or repository will likely be significant. Industry resources are increasingly being channeled into dry storage aging management activities as public and regulator interest in potential long-term degradation mechanism continues to grow. Whether the ultimate destination for used fuel is Yucca Mountain or some other location, the current stalemate preventing progress in the federal program to move it must be broken - and the increasing prominence of the decommissioned reactor quandary may very well be a pivotal factor in breaking that stalemate. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
NASA NTRS1989

A comparison of various micromechanics models for metal matrix composites

Four micromechanics models currently used in the analysis of metal matrix composites are reviewed. The four models are the vanishing fiber diameter model, the Aboudi model, the multicell model, and discrete fiber-matrix model. Results predicted by computer programs based on each of the models are compared. Comparisons are made for the laminate properties and laminate stress-strain behavior for boron/aluminum and silicon-carbide/titanium composites. The predictions of constituent stresses are also compared. The predictions are compared to experimental data. Each of the models did a reasonably good job predicting laminate properties and stress-strain behavior. Thus, the discriminator between the models is a question of what type of results are required, the capabilities of the model and program, or the ease of operation. The choice of a model and program depends on several factors and the same program may not be the best choice for all analysis needs. The descriptions and comparisons made in this paper should aid in the choice of a model and program.

Bigelow, C. A.↗
NASA NTRS2016

Sensorimotor Results from the Joint NASA and Russian Pilot Field Test

Testing of crew responses following long-duration flights has not previously been possible until a minimum of 24 hours after landing. As a result, it has not been possible to estimate the nonlinear trend of the early (<24 hours) recovery process, nor has it been possible to accurately assess the full impact of the decrements associated with long-duration flight. To overcome these limitations, both the Russian and U.S. programs have implemented testing at the Soyuz landing site. This research effort has been identified as the Field Test (FT). For operational reasons the FT has been divided into two phases: the full FT and a preliminary pilot version (PFT) of the FT that is reduced in both length and scope. The PFT has now been completed with the landing of the crew of International Space Station Increment 42/43 (Soyuz expedition 41S). RESEARCH: The primary goal of this research was to determine functional abilities associated with long-duration space flight crews beginning as soon after landing as possible (< 2 hours) with an additional two follow-up measurement sessions within 24 hours after landing. This study goal has both sensorimotor and cardiovascular elements. The PFT represented a initial evaluation of the feasibility of testing in the field and was comprised of a jointly agreed upon subset of tests drawn from the full FT and relied heavily on Russia's Institute of Biomedical Problems Sensory-Motor and Countermeasures Department for content and implementation. Data from the PFT was collected following several ISS missions. Testing on the U.S. side has included: (1) a sit-to-stand test, (2) recovery from a fall stand test where the crewmember begins in the prone position on the ground and then stands for 3.5 minutes while cardiovascular performance and postural ataxia data are acquired, and (3) a tandem heel-to-toe walk test to determine changes in the central locomotor program. Video, cardiovascular parameters (heart rate and blood pressure), data from body-worn inertial sensors, and severity of postflight motion sickness were collected during each test session. In addition our Russian investigators have made measurements associated with: (a) obstacle avoidance, (b) muscle compliance, (c) postural adjustments to perturbations (pushes) applied to the subject's chest area and (d) center of mass measurements made across most test objectives with insoles inserted into the subjects' shoes. Data from 18 subjects have been obtained for a majority of the PFT objectives. SUMMARY: The increased level of functional deficit observed in the crewmembers tested with the PFT objectives has been typically greater than previously observed when measurements were collected after the 2 hr window. Significant improvement in crew performance was observed within 24 hours, but full recovery appears to require 6 to 16 days. Clearly measureable performance parameters such as ability to perform a seat egress, recovery from a fall or the ability to see clearly when walking, and related physiologic data (orthostatic responses) are required to provide an evidence base for characterizing programmatic risks and the variability among crewmembers for exploration missions where the crew will be unassisted after landing. Overall, these early functional and related physiologic measurements will allow the estimation of nonlinear sensorimotor and cardiovascular recovery trends that have not been previously captured.

Reschke, Millard↗
DOE OSTI2016

LANL Environmental ALARA Program Status Report for CY 2015

Los Alamos National Laboratory (LANL) ensures that radiation exposures to members of the public and the environment from LANL operations, past and present, are below regulatory thresholds and are as low as reasonably achievable (ALARA) through compliance with DOE Order 458.1 Radiation Protection for the Public and the Environment, and LANL Policy 412 Environmental Radiation Protection. In 2007, a finding (RL.2-F-1) and observation (RL.2-0-1) in the NNSA/ LASO report, September 2007, Release of Property (Land) Containing Residual Radioactive Material Self-Assessment Report, indicated that LANL had no policy or documented process in place for the release of property containing residual radioactive material. In response, LANL developed PD410, Los Alamos National Laboratory Environmental ALARA Program. The most recent version of this document became effective on September 28, 2011. The document provides program authorities, responsibilities, descriptions, processes, and thresholds for conducting qualitative and quantitative ALARA analyses for prospective and actual radiation exposures to the public and t o the environment resulting from DOE activities conducted on the LANL site.

07 ISOTOPE AND RADIATION SOURCES↗
DOE OSTI2017

LANL Environmental ALARA Program Status Report for CY 2016

Los Alamos National Laboratory (LANL) ensures that radiation exposures to members of the public and the environment from LANL operations, past and present, are below regulatory thresholds and are as low as reasonably achievable (ALARA) through compliance with DOE Order 458.1 Radiation Protection for the Public and the Environment, and LANL Policy 412 Environmental Radiation Protection (LANL2016a). In 2007, a finding (RL.2-F-1) and observation (RL.2-0-1) in the NNSA/ LASO report, September 2007, Release of Property (Land) Containing Residual Radioactive Material Self-Assessment Report, indicated that LANL had no policy or documented process in place for the release of property containing residual radioactive material. In response, LANL developed PD410, Los Alamos National Laboratory Environmental ALARA Program. The most recent version of this document became effective in 2014 (LANL 2014a). The document provides program authorities, responsibilities, descriptions, processes, and thresholds for conducting qualitative and quantitative ALARA analyses for prospective and actual radiation exposures to the public and t o the environment resulting from DOE activities conducted on the LANL site.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2018

Final Technical Report for: A Unified Data-Driven Approach for Programming In Situ Analysis and Visualization

The placement and movement of data is becoming the key limiting factor on both performance and energy efficiency of high performance computations. As systems generate more data, it is becoming increasingly difficult to actually move that data elsewhere for post-processing, as the rate of improvements in supporting I/O infrastructure is not keeping pace. Together, these trends are creating a shift in how we think about exascale computations, from a viewpoint that focuses on FLOPS to one that focuses on data and data-centric operations as fundamental to the reasoning about, and optimization of, scientific workflows on extreme-scale architectures. The overarching goal of our effort was the study of a unified data-driven approach for programming applications and in situ analysis and visualization. Our work was to understand the interplay between data-centric programming model requirements at extreme-scale and the overall impact of those requirements on the design, capabilities, flexibility, and implementation details for both applications and the supporting in situ infrastructure. In this context, we made many improvements to the Legion programming system (one of the leading data-centric models today) and demonstrated in situ analyses on real application codes using these improvements.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1993

The NASA/industry Design Analysis Methods for Vibrations (DAMVIBS) program: Boeing Helicopters airframe finite element modeling

Mathematical models based on the finite element method of structural analysis, as embodied in the NASTRAN computer code, are routinely used by the helicopter industry to calculate airframe static internal loads used for sizing structural members. Historically, less reliance has been placed on the vibration predictions based on these models. Beginning in the early 1980's NASA's Langley Research Center initiated an industry wide program with the objective of engendering the needed trust in vibration predictions using these models and establishing a body of modeling guides which would enable confident future prediction of airframe vibration as part of the regular design process. Emphasis in this paper is placed on the successful modeling of the Army/Boeing CH-47D which showed reasonable correlation with test data. A principal finding indicates that improved dynamic analysis requires greater attention to detail and perhaps a finer mesh, especially the mass distribution, than the usual stress model. Post program modeling efforts show improved correlation placing key modal frequencies in the b/rev range with 4 percent of the test frequencies.

Gabel, R.↗
NASA NTRS2008

Science Goals in Radiation Protection for Exploration

Space radiation presents major challenges to future missions to the Earth s moon or Mars. Health risks of concern include cancer, degenerative and performance risks to the central nervous system, heart and lens, and the acute radiation syndromes. The galactic cosmic rays (GCR) contain high energy and charge (HZE) nuclei, which have been shown to cause qualitatively distinct biological damage compared to terresterial radiation, such as X-rays or gamma-rays, causing risk estimates to be highly uncertain. The biological effects of solar particle events (SPE) are similar to terresterial radiation except for their biological dose-rate modifiers; however the onset and size of SPEs are difficult to predict. The high energies of GCR reduce the effectiveness of shielding, while SPE s can be shielded however the current gap in radiobiological knowledge hinders optimization. Methods used to project risks on Earth must be modified because of the large uncertainties in projecting health risks from space radiation, and thus impact mission requirements and costs. We describe NASA s unique approach to radiation safety that applies probabilistic risk assessments and uncertainty based criteria within the occupational health program for astronauts and to mission design. The two terrestrial criteria of a point estimate of maximum acceptable level of risk and application of the principle of As Low As Reasonably Achievable (ALARA) are supplemented by a third requirement that protects against risk projection uncertainties using the upper 95% confidence level (CL) in radiation risk projection models. Exploration science goals in radiation protection are centered on ground-based research to achieve the necessary biological knowledge, and in the development of new technologies to improve SPE monitoring and optimize shielding. Radiobiology research is centered on a ground based program investigating the radiobiology of high-energy protons and HZE nuclei at the NASA Space Radiation Laboratory (NSRL) located at DoE s Brookhaven National Laboratory in Upton, NY. We describe recent NSRL results that are closing the knowledge gap in HZE radiobiology and improving exploration risk estimates. Linking probabilistic risk assessment to research goals makes it possible to express risk management objectives in terms of quantitative metrics, which include the number of days in space without exceeding a given risk level within well defined confidence limits, and probabilistic assessments of the effectiveness of design trade spaces such as material type, mass, solar cycle, crew selection criteria, and biological countermeasures. New research in SPE alert and risk assessment, individual radiation sensitivity, and biological countermeasure development are described.

Cucinotta, Francs A.↗
DOE OSTI2025

Practical Probabilistic Programming

Recent advances in probabilistic programming languages (PPLs) have provided the capability for exact inference: computing a closed-form probability distribution for a given probabilistic program. In particular, the new language Roulette uses a language oriented programming (LOP) approach, wherein analysts build new programming languages on top of a set of primitives provided by Roulette, which then translates these structures into a weighted model counting problem which can be solved by automated reasoning tools. However, because Roulette provides few convenience features, developing these new languages is challenging even for expert users. We developed a standard library of common probability functions for Roulette with the goal of improved usability. This included approximation of continuous probability density functions using discrete probability mass functions. We demonstrated this approach by modeling a cosmic ray striking a RAM controller. We found that Roulette provides a powerful interface for highly expressive probabilistic programs to be generated. In collaboration with the NNSA Advanced Simulation and Computing program, which resulted in development of a tool called Circulette, we were able to model complex circuits expressed in Verilog using probabilistic programs with an expressivity not previously possible. Our research question that motivated the development of a Roulette standard library was to determine whether non-experts could use a PPL to model relevant problems regarding radiation effects on microelectronics. This standard library improved the expressivity of Roulette by implementing common probability density functions, mathematical operators on distributions, and support for empirical distributions. While Roulette is a powerful modeling language, the untyped, LOP approach makes error messages difficult to understand and requires expert aid. We recommend further research on Roulette, especially with its error messages, to enable improved usability. At the same time, this project demonstrated that for users familiar with Roulette and the LOP approach, Roulette provides powerful new capabilities that can be integrated with other Sandia modeling capabilities.

97 MATHEMATICS AND COMPUTING↗