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.

SourceResearch connectionFrom yearThrough year

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

At least 415 records · Page 23

All sources NASA NTRS DOE OSTI

DOE OSTI2022

Progress toward a universal biomedical data translator

Clinical, biomedical, and translational science has reached an inflection point in the breadth and diversity of available data and the potential impact of such data to improve human health and well-being. However, the data are often siloed, disorganized, and not broadly accessible due to discipline-specific differences in terminology and representation. To address these challenges, the Biomedical Data Translator Consortium has developed and tested a pilot knowledge graph-based “Translator” system capable of integrating existing biomedical data sets and “translating” those data into insights intended to augment human reasoning and accelerate translational science. Having demonstrated feasibility of the Translator system, the Translator program has since moved into development, and the Translator Consortium has made significant progress in the research, design, and implementation of an operational system. Herein, we describe the current system’s architecture, performance, and quality of results. We apply Translator to several real-world use cases developed in collaboration with subject-matter experts. Finally, we discuss the scientific and technical features of Translator and compare those features to other state-of-the-art, biomedical graph-based question-answering systems.

60 APPLIED LIFE SCIENCES↗

NASA NTRS1976

Supersonic variable-cycle engines

The evolution and current status of selected recent variable cycle engine (VCE) studies are reviewed, and how the results were influenced by airplane requirements is described. Promising VCE concepts are described, their designs are simplified and the potential benefits in terms of aircraft performance are identified. This includes range, noise, emissions, and the time and effort it may require to ensure technical readiness of sufficient depth to satisfy reasonable economic, performance, and environmental constraints. A brief overview of closely related, ongoing technology programs in acoustics and exhaust emissions is also presented. Realistic technology advancements in critical areas combined with well matched aircraft and selected VCE concepts can lead to significantly improved economic and environmental performance relative to first generation SST predictions.

Willis, E. A.↗

NASA NTRS1981

An improved prediction method for noise generated by conventional profile coaxial jets

A semi-empirical model for predicting the noise generated by conventional-velocity-profile jets exhausting from coaxial nozzles is presented and compared with small-scale static and simulated flight data. The present method is an updated version of that part of the original NASA Aircraft Noise Prediction (ANOP) Program (1974) relating to coaxial jet noise. That method has been shown to agree reasonably well with model and full-scale experimental data except at high jet velocities in the region near the jet axis. Improvements to the basic circular jet noise prediction have been developed since that time which improve the accuracy, especially at high jet velocity and near the jet axis, and are incorporated into the coaxial jet procedure in this paper. The new procedure is more theoretically based and has also been improved by some empirical adjustments.

Stone, J. R.↗

NASA NTRS1984

Space Station Power System

The strategies, reasoning, and planning guidelines used in the development of the United States Space Station Program are outlined. The power required to support Space Station missions and housekeeping loads is a key driver in overall Space Station design. conversely, Space Station requirements drive the power technology. Various power system technology options are discussed. The mission analysis studies resulting in the required Space Station capabilities are also discussed. An example of Space Station functions and a concept to provide them is presented. The weight, area, payload and altitude requirements on draft and mass requirements are described with a summary and status of key power systems technology requirements and issues.

Baraona, C. R.↗

NASA NTRS1987

Robotic air vehicle. Blending artificial intelligence with conventional software

The Robotic Air Vehicle (RAV) system is described. The program's objectives were to design, implement, and demonstrate cooperating expert systems for piloting robotic air vehicles. The development of this system merges conventional programming used in passive navigation with Artificial Intelligence techniques such as voice recognition, spatial reasoning, and expert systems. The individual components of the RAV system are discussed as well as their interactions with each other and how they operate as a system.

Mcnulty, Christa↗

NASA NTRS1989

Venus volcanism: Rate estimates from laboratory studies of sulfur gas-solid reactions

Thermochemical reactions between sulfur-bearing gases in the atmosphere of Venus and calcium-, iron-, magnesium-, and sulfur-bearing minerals on the surface of Venus are an integral part of a hypothesized cycle of thermochemical and photochemical reactions responsible for the maintenance of the global sulfuric acid cloud cover on Venus. SO2 is continually removed from the Venus atmosphere by reaction with calcium bearing minerals on the planet's surface. The rate of volcanism required to balance SO2 depletion by reactions with calcium bearing minerals on the Venus surface can therefore be deduced from a knowledge of the relevant gas-solid reaction rates combined with reasonable assumptions about the sulfur content of the erupted material (gas + magma). A laboratory program was carried out to measure the rates of reaction between SO2 and possible crustal minerals on Venus. The reaction of CaCO3(calcite) + SO2 yields CaSO4 (anhydrite) + CO was studied. Brief results are given.

Ehlers, K.↗

NASA NTRS1989

Large Deployable Reflector (LDR) system concept and technology definition study. Volume 2: Technology assessment and technology development plan

A study was conducted to define reasonable and representative LDR system concepts for the purpose of defining a technology development program aimed at providing the requisite technological capability necessary to start LDR development by the end of 1991. This volume presents thirteen technology assessments and technology development plans, as well as an overview and summary of the LDR concepts. Twenty-two proposed augmentation projects are described (selected from more than 30 candidates). The five LDR technology areas most in need of supplementary support are: cryogenic cooling; astronaut assembly of the optically precise LDR in space; active segmented primary mirror; dynamic structural control; and primary mirror contamination control. Three broad, time-phased, five-year programs were synthesized from the 22 projects, scheduled, and funding requirements estimated.

Agnew, Donald L.↗

NASA NTRS1993

Real-time automated failure identification in the Control Center Complex (CCC)

A system which will provide real-time failure management support to the Space Station Freedom program is described. The system's use of a simplified form of model based reasoning qualifies it as an advanced automation system. However, it differs from most such systems in that it was designed from the outset to meet two sets of requirements. First, it must provide a useful increment to the fault management capabilities of the Johnson Space Center (JSC) Control Center Complex (CCC) Fault Detection Management system. Second, it must satisfy CCC operational environment constraints such as cost, computer resource requirements, verification, and validation, etc. The need to meet both requirement sets presents a much greater design challenge than would have been the case had functionality been the sole design consideration. The choice of technology, discussing aspects of that choice and the process for migrating it into the control center is overviewed.

Kirby, Sarah↗

NASA NTRS1990

Integrating an object system into CLIPS: Language design and implementation issues

This paper describes the reasons why an object system with integrated pattern-matching and object-oriented programming facilities is desirable for CLIPS and how it is possible to integrate such a system into CLIPS while maintaining the run-time performance and the low memory usage for which CLIPS is known. The requirements for an object system in CLIPS that includes object-oriented programming and integrated pattern-matching are discussed and various techniques for optimizing the object system and its integration with the pattern-matcher are presented.

Auburn, Mark↗

NASA NTRS1998

Monitoring Oceanic Islands Via Radarsat Imaging Radar

Oceanic islands represent an often overlooked aspect of the land surface of Earth, yet they are sensitive, natural laboratories for investigating the impacts of environmental change on landscapes and land-cover systems. For this reason, we have utilized the Canadian Space Agency's RADARSAT satellite to initiate a program for monitoring the landscapes of approximately 20 oceanic islands as part of the RADARSAT Background Mission. To date, we have analyzed high resolution SAR images of 12 islands that extend from the Arctic, throughout the Atlantic and Southern Indian oceans, and into the equatorial Pacific. We have selected islands for monitoring on the basis of their known or suspected history of landscape change in association with environmental factors or anthropogenic effects.

Garvin, James B.↗

NASA NTRS1999

Constraints, Approach and Present Status for Selecting the Mars Surveyor 2001 Landing Site

There are many similarities between the Mars Surveyor '01 (MS '01) landing site selection process and that of Mars Pathfinder. The selection process includes two parallel activities in which engineers define and refine the capabilities of the spacecraft through design, testing and modeling and scientists define a set of landing site constraints based on the spacecraft design and landing scenario. As for Pathfinder, the safety of the site is without question the single most important factor, for the simple reason that failure to land safely yields no science and exposes the mission and program to considerable risk. The selection process must be thorough, defensible and capable of surviving multiple withering reviews similar to the Pathfinder decision. On Pathfinder, this was accomplished by attempting to understand the surface properties of sites using available remote sensing data sets and models based on them. Science objectives are factored into the selection process only after the safety of the site is validated. Finally, as for Pathfinder, the selection process is being done in an open environment with multiple opportunities for community involvement including open workshops, with education and outreach opportunities.

Golombek, M.↗

NASA NTRS1999

Constraints, Approach, and Status of Mars Surveyor 2001 Landing Site Selection

There are many similarities between the Mars Surveyor '01 (MS '01) landing site selection process and that of Mars Pathfinder. The selection process includes two parallel activities in which engineers define and refine the capabilities of the spacecraft through design, testing and modeling and scientists define a set of landing site constraints based on the spacecraft design and landing scenario. As for Pathfinder, the safety of the site is without question the single most important factor, for the simple reason that failure to land safely yields no science and exposes the mission and program to considerable risk. The selection process must be thorough and defensible and capable of surviving multiple withering reviews similar to the Pathfinder decision. On Pathfinder, this was accomplished by attempting to understand the surface properties of sites using available remote sensing data sets and models based on them. Science objectives are factored into the selection process only after the safety of the site is validated. Finally, as for Pathfinder, the selection process is being done in an open environment with multiple opportunities for community involvement including open workshops, with education and outreach opportunities. Additional information is contained in the original extended abstract.

Golombek, M.↗

NASA NTRS1999

Constraints and Approach for Selecting the Mars Surveyor '01 Landing Site

There are many similarities between the Mars Surveyor '01 (MS '01) landing site selection process and that of Mars Pathfinder. The selection process includes two parallel activities in which engineers define and refine the capabilities of the spacecraft through design, testing and modeling and scientists define a set of landing site constraints based on the spacecraft design and landing scenario. As for Pathfinder, the safety of the site is without question the single most important factor, for the simple reason that failure to land safely yields no science and exposes the mission and program to considerable risk. The selection process must be thorough and defensible and capable of surviving multiple withering reviews similar to the Pathfinder decision. On Pathfinder, this was accomplished by attempting to understand the surface properties of sites using available remote sensing data sets and models based on them. Science objectives are factored into the selection process only after the safety of the site is validated. Finally, as for Pathfinder, the selection process is being done in an open environment with multiple opportunities for community involvement including open workshops, with education and outreach opportunities.

Golombek, M.↗

NASA NTRS2004

Combustion Branch Website Development

The NASA combustion branch is a leader in developing and applying combustion science to focused aerospace propulsion systems concepts. It is widely recognized for unique facilities, analytical tools, and personnel. In order to better communicate the outstanding research being done in this Branch to the public and other research organization, a more substantial website was desired. The objective of this project was to build an up-to-date site that reflects current research in a usable and attractive manner. In order to accomplish this, information was requested from all researchers in the Combustion branch, on their professional skills and on the current projects. This information was used to fill in the Personnel and Research sections of the website. A digital camera was used to photograph all personnel and these photographs were included in the personnel section as well. The design of the site was implemented using the latest web standards: xhtml and external css stylesheets. This implementation conforms to the guidelines recommended by the w3c. It also helps to ensure that the web site is accessible by disabled users, and complies with Section 508 Federal legislation (which mandates that all Federal websites be accessible). Graphics for the new site were generated using the gimp (www.gimp.org) an open-source graphics program similar to Adobe Photoshop. Also, all graphics on the site were of a reasonable size (less than 20k, most less than 2k) so that the page would load quickly. Technologies such as Macromedia Flash and Javascript were avoided, as these only function on some clients which have the proper software installed or enabled. The website was tested on different platforms with many different browsers to ensure there were no compatibility issues. The website was tested on windows with MS IE 6, MSIE 5 , Netscape 7, Mozilla and Opera. On a Mac, the site was tested with MS IE 5 , Netscape 7 and Safari.

Bishop, Eric↗

NASA NTRS2003

NASA Tech Briefs, August 2003

Topics covered include: Stable, Thermally Conductive Fillers for Bolted Joints; Connecting to Thermocouples with Fewer Lead Wires; Zipper Connectors for Flexible Electronic Circuits; Safety Interlock for Angularly Misdirected Power Tool; Modular, Parallel Pulse-Shaping Filter Architectures; High-Fidelity Piezoelectric Audio Device; Photovoltaic Power Station with Ultracapacitors for Storage; Time Analyzer for Time Synchronization and Monitor of the Deep Space Network; Program for Computing Albedo; Integrated Software for Analyzing Designs of Launch Vehicles; Abstract-Reasoning Software for Coordinating Multiple Agents; Software Searches for Better Spacecraft-Navigation Models; Software for Partly Automated Recognition of Targets; Antistatic Polycarbonate/Copper Oxide Composite; Better VPS Fabrication of Crucibles and Furnace Cartridges; Burn-Resistant, Strong Metal-Matrix Composites; Self-Deployable Spring-Strip Booms; Explosion Welding for Hermetic Containerization; Improved Process for Fabricating Carbon Nanotube Probes; Automated Serial Sectioning for 3D Reconstruction; and Parallel Subconvolution Filtering Architectures.

Source record↗

NASA NTRS2017

Aeolus -A Mission to Study the Thermal and Wind Environment of Mars

Aeolus is a small satellite mission to observe surface and atmospheric forcing and general circulation of Mars, by measuring surface energy balance, atmospheric temperatures, aerosols and clouds, and winds. Critically, Aeolus will make these measurements at all local times of day, providing information on both seasonal and diurnal variability. To date, direct measurements of Martian wind speeds have only been possible at the surface, only during daylight hours, and over small areas limited by rover traverse capabilities. From orbit, thermal measurements (e.g., estimates from assumed geostrophic balance) as well as images of dust storms and dune migration have provided inputs to derive current data sets on Martian winds. However, Mars General Circulation models demonstrate that wind speeds derived from these indirect measurements may be in error by 50 to 100%. For this reason, direct wind velocity measurements have been deemed "High Priority" by MEPAG (Mars Exploration Program Analysis Group); measuring wind speeds and corresponding thermal data is vital to understanding the climate of Mars. Aeolus will carry four Spatial Heterodyne Spectrometers (SHS), coupled to two orthogonal viewing telescopes. These high-resolution near-infrared spectrometers will measure CO2 (daytime absorption) and O2 (day and night emission) lines in the Martian atmosphere. Doppler shifts in these lines can be measured during Martian day and night, resolving wind speeds down to ~5 m/s. Orthogonal views allow the spectrometers to capture wind vectors over all observation locations. Aeolus will also carry the atmospheric limb-viewing Thermal Limb Sounder (TLS) to measure atmospheric temperatures, water ice clouds, and dust abundances across all altitudes where winds are measured. Finally, the Surface Radiometric Sensor Package (SuRSeP), a nadir viewing radiometer, will measure the total reflected solar and emitted thermal radiance, surface temperature, and water cloud and dust total column abundances. The combined spectral and thermal measurements will provide a new understanding of the global energy balance, dust transport processes, and climate cycles in the Martian atmosphere. Aeolus will consist of a single satellite in a near-polar orbit, allowing it to pass over all local times, with the baseline mission observing all seasons of an entire Martian year (two Earth years). Aeolus was one of two Martian smallsat concepts selected for study through the Planetary Science Deep Space SmallSat Studies program. This talk will provide an overview of the mission, including science rationale, instruments, spacecraft, and mission operations concept.

and winds↗

DOE OSTI2020

The Study of TRR Radial Thermal Shielding Dismantling Process - 20063

The decommissioning of nuclear facilities has become an important worldwide topic because many nuclear power facilities will permanently cease operation in the foreseeable future. Taiwan Research Reactor (TRR) has stepped into the decommissioning phase in 2004, and the dismantling processes will start in 2022. TRR is a heavy water reactor designed by Canatom Company with output thermal power 40 MW. On January 3, 1973, it reaches criticality. TRR had been operated for 15 years and was permanently shut down in early 1988. The decommissioning plan of TRR was approved in 2004. According to the Nuclear Reactor Facilities Regulation Act in Taiwan, a nuclear facility must be dismantled in 25 years after stepping into the decommissioning phase. Therefore, TRR decommissioning must be completed before 2029. One of the most important tasks of TRR decommissioning is to dismantle reactor body. In the task of TRR decommissioning, mechanical cutting with remote handling is used to dismantle radial thermal shielding, which are the internal components of the TRR. This study outlines the internal components of the TRR and explains the difficulties encountered during the dismantling processes. Considering the structure and radiation dose rate of TRR and its internal components, the dismantling method and packaging method are properly arranged to complete the TRR dismantling task. This study describes the process of dismantling the radial thermal shielding during the dismantling processes and considers the impact of the radiation dose on the staff during the operation. The calculation of the radiation dose rate for the personnel during the segmentation process is based on the evaluation result by using VRdose. If the calculation of personnel working dose rate is too high, we will increase the shielding or use remote handling to reduce the operator's exposure dose in the dismantling processes to comply with the As Low As Reasonably Achievable (ALARA) principle. In this study, the latest developments in the TRR decommissioning program are described. It also provides usable experience and information regarding the future decommissioning of other nuclear facilities or nuclear power plants in Taiwan. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

NASA NTRS2006

Towards a Compositional SPIN

This paper discusses our initial experience with introducing automated assume-guarantee verification based on learning in the SPIN tool. We believe that compositional verification techniques such as assume-guarantee reasoning could complement the state-reduction techniques that SPIN already supports, thus increasing the size of systems that SPIN can handle. We present a "light-weight" approach to evaluating the benefits of learning-based assume-guarantee reasoning in the context of SPIN: we turn our previous implementation of learning for the LTSA tool into a main program that externally invokes SPIN to provide the model checking-related answers. Despite its performance overheads (which mandate a future implementation within SPIN itself), this approach provides accurate information about the savings in memory. We have experimented with several versions of learning-based assume guarantee reasoning, including a novel heuristic introduced here for generating component assumptions when their environment is unavailable. We illustrate the benefits of learning-based assume-guarantee reasoning in SPIN through the example of a resource arbiter for a spacecraft. Keywords: assume-guarantee reasoning, model checking, learning.

Pasareanu, Corina S.↗