Search NASA⌕ Search

SEARCH · Search NASA

Results for “Computer Science - Operating Systems”

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 487 records · Page 27
All sourcesNASA NTRSDOE OSTI
NASA NTRS1997

Computational Tools and Facilities for the Next-Generation Analysis and Design Environment

This document contains presentations from the joint UVA/NASA Workshop on Computational Tools and Facilities for the Next-Generation Analysis and Design Environment held at the Virginia Consortium of Engineering and Science Universities in Hampton, Virginia on September 17-18, 1996. The presentations focused on the computational tools and facilities for analysis and design of engineering systems, including, real-time simulations, immersive systems, collaborative engineering environment, Web-based tools and interactive media for technical training. Workshop attendees represented NASA, commercial software developers, the aerospace industry, government labs, and academia. The workshop objectives were to assess the level of maturity of a number of computational tools and facilities and their potential for application to the next-generation integrated design environment.

Noor, Ahmed K.↗
NASA NTRS2018

Validation of Slosh Modeling Approach Using STAR-CCM+

Without an adequate understanding of propellant slosh, the spacecraft attitude control system may be inadequate to control the spacecraft or there may be an unexpected loss of science observation time due to higher slosh settling times. Computational fluid dynamics (CFD) is used to model propellant slosh. STAR-CCM+ is a commercially available CFD code. This paper seeks to validate the CFD modeling approach via a comparison between STAR-CCM+ liquid slosh modeling results and experimental, empirically, and analytically derived results. The geometries examined are a bare right cylinder tank and a right cylinder with a single ring baffle.

STAR-CCM+↗
NASA NTRS2018

Validation of Slosh Modeling Approach Using STAR-CCM+

Without an adequate understanding of propellant slosh, the spacecraft attitude control system may be inadequate to control the spacecraft or there may be an unexpected loss of science observation time due to higher slosh settling times. Computational fluid dynamics (CFD) is used to model propellant slosh. STAR-CCM+ is a commercially available CFD code. This paper presents a comparison between STAR-CCM+ liquid slosh modeling results and experimental, empirically, and analytically derived results. The geometries examined are a bare right cylinder tank and a right cylinder

Benson, David↗
NASA NTRSDate not supplied

Advanced Information Systems Technology for NASA Earth System Digital Twins (ESDT)

ESA and NASA have both started programs to design and develop Digital Twins of the Earth and/or Earth systems. Organized around interconnected, multi-domain, high-scale modeling capabilities, the three major components of an Earth System Digital Twin are a continuously updated Digital Replica of the Earth System of interest, dynamic Forecasting models, and Impact Assessment capabilities. Earth System Digital Twins integrate diverse Earth and human activity models, continuous observations, and information system capabilities to provide unified, comprehensive representations and predictions that can be utilized for monitoring the health of the Planet, as well as for developing actionable information to support decision making. More generally, Digital Twins will help researchers better understand the fundamental Earth systems that impact everything from wildfires to climate change. This Townhall will first provide a short description of ESA’s, NASA’s and CNES’s current efforts in Digital Twins: • Destination Earth (DestinE) is the first initiative of the European Union to create a Digital Twin of the Earth, particularly focused on weather and climate, and as a coordinated effort between the European Centre for Medium-Range Weather Forecasts (ECMWF), ESA and the European Organization for the Exploitation of Meteorological Satellites (EUMETSAT). • Additionally, ESA is developing several Digital Twin Earth Precursor Activities to study some of the key scientific and technical challenges associated with building a “Digital Twin Earth”. These include forests, hydrology, Antarctica, food systems, oceans, and climate hot spots Digital Twin prototypes. • NASA Earth Science Technology Office (ESTO)’s Advanced Information Systems Technology (AIST) Program has started an initiative in Earth System Digital Twins (ESDT), with 14 current projects in this area, developing various information systems technologies and prototypes that will help prepare the development of future NASA Digital Twins. • CNES is currently developing the concept of a Digital Twin Factory (DTF), which relies on a data lake, a high computing capability using clouds and/or HPC and has thematic algorithms and methodologies able to generate registered and coherent layers of information in order to enrich a datacube from which physical indicators can be computed spatially. NASA, ESA and CNES are also currently defining science use cases that will be presented during the townhall; those and a few short discussions of current projects will serve as a starting point to engage a dialogue about Digital Twins of the Earth with the IGARSS community.

earth science remote sensing; Information systems↗
NASA NTRS2009

A Future State for NASA Laboratories - Working in the 21st Century

The name "21 st Century Laboratory" is an emerging concept of how NASA (and the world) will conduct research in the very near future. Our approach is to carefully plan for significant technological changes in products, organization, and society. The NASA mission can be the beneficiary of these changes, provided the Agency prepares for the role of 21st Century laboratories in research and technology development and its deployment in this new age. It has been clear for some time now that the technology revolutions, technology "mega-trends" that we are in the midst of now, all have a common element centered around advanced computational modeling of small scale physics. Whether it is nano technology, bio technology or advanced computational technology, all of these megatrends are converging on science at the very small scale where it is profoundly important to consider the quantum effects at play with physics at that scale. Whether it is the bio-technology creation of "nanites" designed to mimic our immune system or the creation of nanoscale infotechnology devices, allowing an order of magnitude increase in computational capability, all involve quantum physics that serves as the heart of these revolutionary changes.

Kegelman, Jerome T.↗
NASA NTRS1995

Visualization Techniques in Space and Atmospheric Sciences

Unprecedented volumes of data will be generated by research programs that investigate the Earth as a system and the origin of the universe, which will in turn require analysis and interpretation that will lead to meaningful scientific insight. Providing a widely distributed research community with the ability to access, manipulate, analyze, and visualize these complex, multidimensional data sets depends on a wide range of computer science and technology topics. Data storage and compression, data base management, computational methods and algorithms, artificial intelligence, telecommunications, and high-resolution display are just a few of the topics addressed. A unifying theme throughout the papers with regards to advanced data handling and visualization is the need for interactivity, speed, user-friendliness, and extensibility.

Szuszczewicz, E. P.↗
NASA NTRS2008

NASA Tech Briefs, December 2008

Topics covered include: Crew Activity Analyzer; Distributing Data to Hand-Held Devices in a Wireless Network; Reducing Surface Clutter in Cloud Profiling Radar Data; MODIS Atmospheric Data Handler; Multibeam Altimeter Navigation Update Using Faceted Shape Model; Spaceborne Hybrid-FPGA System for Processing FTIR Data; FPGA Coprocessor for Accelerated Classification of Images; SiC JFET Transistor Circuit Model for Extreme Temperature Range; TDR Using Autocorrelation and Varying-Duration Pulses; Update on Development of SiC Multi-Chip Power Modules; Radio Ranging System for Guidance of Approaching Spacecraft; Electromagnetically Clean Solar Arrays; Improved Short-Circuit Protection for Power Cells in Series; Electromagnetically Clean Solar Arrays; Logic Gates Made of N-Channel JFETs and Epitaxial Resistors; Improved Short-Circuit Protection for Power Cells in Series; Communication Limits Due to Photon-Detector Jitter; System for Removing Pollutants from Incinerator Exhaust; Sealing and External Sterilization of a Sample Container; Converting EOS Data from HDF-EOS to netCDF; HDF-EOS 2 and HDF-EOS 5 Compatibility Library; HDF-EOS Web Server; HDF-EOS 5 Validator; XML DTD and Schemas for HDF-EOS; Converting from XML to HDF-EOS; Simulating Attitudes and Trajectories of Multiple Spacecraft; Specialized Color Function for Display of Signed Data; Delivering Alert Messages to Members of a Work Force; Delivering Images for Mars Rover Science Planning; Oxide Fiber Cathode Materials for Rechargeable Lithium Cells; Electrocatalytic Reduction of Carbon Dioxide to Methane; Heterogeneous Superconducting Low-Noise Sensing Coils; Progress toward Making Epoxy/Carbon-Nanotube Composites; Predicting Properties of Unidirectional-Nanofiber Composites; Deployable Crew Quarters; Nonventing, Regenerable, Lightweight Heat Absorber; Miniature High-Force, Long-Stroke SMA Linear Actuators; "Bootstrap" Configuration for Multistage Pulse-Tube Coolers; Reducing Liquid Loss during Ullage Venting in Microgravity; Ka-Band Transponder for Deep-Space Radio Science; Replication of Space-Shuttle Computers in FPGAs and ASICs; Demisable Reaction-Wheel Assembly; Spatial and Temporal Low-Dimensional Models for Fluid Flow; Advanced Land Imager Assessment System; Range Imaging without Moving Parts.

Source record↗
NASA NTRSDate not supplied

Impact of Emerging Computing Architectures and Opportunities for Process Systems Engineering Applications

Moore’s “law” was the observation that the number of transistors in an integrated circuit doubled approximately every two years. This trend has distinctly failed to hold in recent years. The death of Moore’s law has left researchers and practitioners in the computational sciences searching for technologies to provide the speedups formerly supported by Moore’s law. Previously overlooked chip architectures and other computing technologies are now receiving more development resources. Critically, these technologies are gaining more mature software support, opening their adoption by researchers in algorithms and applications. In this article, we review some of these computing technologies, their relationship with various algorithms and applications, and their potential benefits (or pitfalls). We close with recommendations for future work by the process systems engineering community specifically.

Emerging hardware↗
NASA NTRS1980

Physiology of man and animals in the Tenth Five-Year Plan: Proceedings of the Thirteenth Congress of the I. P. Pavlov All-Union Physiological Society

Research in the field of animal and human physiology is reviewed. The following topics on problems of physiological science and related fields of knowledge are discussed: neurophysiology and higher nervous activity, physiology of sensory systems, physiology of visceral systems, evolutionary and ecological physiology, physiological cybernetics, computer application in physiology, information support of physiological research, history and theory of development of physiology. Also discussed were: artificial intelligence, physiological problems of reflex therapy, correlation of structure and function of the brain, adaptation and activity, microcirculation, and physiological studies in nerve and mental diseases.

Lange, K. A.↗
NASA NTRS1995

The AAMP5/AAMP-FV project

This presentation describes a project, formal verification of the microcode in the AAMP5 microprocessor, conducted to explore how formal techniques for specification and verification could be introduced into an industrial process. Sponsored by the Systems Validation Branch of NASA Langley and by Collins Commercial Avionics, a division of Rockwell International, it was conducted by Collins and the SRI International Computer Science Laboratory. The project consisted of specifying in the PVS language developed by SRI a portion of a Rockwell proprietary microprocessor, the AAMP5, at both the instruction set and register-transfer levels and using the PVS theorem prover to prove the microcode correct for a representative subset of instructions. While this presentation includes a brief technical overview, its emphasis is on the lessons learned in using PVS for an example of this size and the implications for using formal methods in an industrial setting. The central result of this project was to demonstrate the feasibility of formally specifying a commercial microprocessor and the use of mechanical proofs of correctness to verify microcode. This is particularly significant since the AAMP5 was not designed for formal verification, but to provide a more than three fold performance improvement, by pipelining instruction execution, while remaining object code compatible with the earlier AAMP2. As a consequence, the AAMP5 is one of the most complex microprocessors to which formal methods have been applied. Another key result was the discovery of both actual and seeded errors. Two actual microcode errors were discovered and corrected during development of the formal specification, illustrating the value of simply creating a precise specification. Two seeded errors were systematically uncovered while doing correctness proofs. One of these was an actual error that had been discovered after first fabrication but left in the microcode provided to SRI. The other error was designed to be unlikely to be detected by walkthroughs, testing, or simulation. Several other results emerged during the project, including the ease with which practicing engineers became comfortable with PVS, the need for libraries of general purpose theories, the usefulness of formal specification in revealing errors, the natural fit between formal specification and inspections, the difficulty of selecting the best style of specification for a new problem domain, the high level of assurance provided by proofs of correctness, and the need to engineer proof strategies for reuse.

Miller, Steven P.↗
NASA NTRS2000

Horizon: A Proposal for Large Aperture, Active Optics in Geosynchronous Orbit

In 1999, NASA's New Millennium Program called for proposals to validate new technology in high-earth orbit for the Earth Observing-3 (NMP EO3) mission to fly in 2003. In response, we proposed to test a large aperture, active optics telescope in geosynchronous orbit. This would flight-qualify new technologies for both Earth and Space science: 1) a future instrument with LANDSAT image resolution and radiometric quality watching continuously from geosynchronous station, and 2) the Next Generation Space Telescope (NGST) for deep space imaging. Six enabling technologies were to be flight-qualified: 1) a 3-meter, lightweight segmented primary mirror, 2) mirror actuators and mechanisms, 3) a deformable mirror, 4) coarse phasing techniques, 5) phase retrieval for wavefront control during stellar viewing, and 6) phase diversity for wavefront control during Earth viewing. Three enhancing technologies were to be flight- validated: 1) mirror deployment and latching mechanisms, 2) an advanced microcontroller, and 3) GPS at GEO. In particular, two wavefront sensing algorithms, phase retrieval by JPL and phase diversity by ERIM International, were to sense optical system alignment and focus errors, and to correct them using high-precision mirror mechanisms. Active corrections based on Earth scenes are challenging because phase diversity images must be collected from extended, dynamically changing scenes. In addition, an Earth-facing telescope in GEO orbit is subject to a powerful diurnal thermal and radiometric cycle not experienced by deep-space astronomy. The Horizon proposal was a bare-bones design for a lightweight large-aperture, active optical system that is a practical blend of science requirements, emerging technologies, budget constraints, launch vehicle considerations, orbital mechanics, optical hardware, phase-determination algorithms, communication strategy, computational burdens, and first-rate cooperation among earth and space scientists, engineers and managers. This manuscript presents excerpts from the Horizon proposal's sections that describe the Earth science requirements, the structural -thermal-optical design, the wavefront sensing and control, and the on-orbit validation.

Chesters, Dennis↗
NASA NTRS2000

Nanotechnology at NASA Ames

Advanced miniaturization, a key thrust area to enable new science and exploration missions, provides ultrasmall sensors, power sources, communication, navigation, and propulsion systems with very low mass, volume, and power consumption. Revolutions in electronics and computing will allow reconfigurable, autonomous, 'thinking' spacecraft. Nanotechnology presents a whole new spectrum of opportunities to build device components and systems for entirely new space architectures: (1) networks of ultrasmall probes on planetary surfaces; (2) micro-rovers that drive, hop, fly, and burrow; and (3) collections of microspacecraft making a variety of measurements.

Srivastava, Deepak↗
NASA NTRS2011

Using a Multicore Processor for Rover Autonomous Science

Multicore processing promises to be a critical component of future spacecraft. It provides immense increases in onboard processing power and provides an environment for directly supporting fault-tolerant computing. This paper discusses using a state-of-the-art multicore processor to efficiently perform image analysis onboard a Mars rover in support of autonomous science activities.

Mars↗
NASA NTRS2011

AutoBayes Program Synthesis System System Internals

This lecture combines the theoretical background of schema based program synthesis with the hands-on study of a powerful, open-source program synthesis system (Auto-Bayes). Schema-based program synthesis is a popular approach toward program synthesis. The lecture will provide an introduction into this topic and discuss how this technology can be used to generate customized algorithms. The synthesis of advanced numerical algorithms requires the availability of a powerful symbolic (algebra) system. Its task is to symbolically solve equations, simplify expressions, or to symbolically calculate derivatives (among others) such that the synthesized algorithms become as efficient as possible. We will discuss the use and importance of the symbolic system for synthesis. Any synthesis system is a large and complex piece of code. In this lecture, we will study Autobayes in detail. AutoBayes has been developed at NASA Ames and has been made open source. It takes a compact statistical specification and generates a customized data analysis algorithm (in C/C++) from it. AutoBayes is written in SWI Prolog and many concepts from rewriting, logic, functional, and symbolic programming. We will discuss the system architecture, the schema libary and the extensive support infra-structure. Practical hands-on experiments and exercises will enable the student to get insight into a realistic program synthesis system and provides knowledge to use, modify, and extend Autobayes.

Statistical Algorithms↗
NASA NTRS2020

SAGE III ISS Contamination Monitoring Package: Observations in Orbit

The Stratospheric Aerosol and Gas Experiment III (SAGE III) telescope and instrument assembly employ the methods of solar occultation and lunar occultation to retrieve near-global vertical profiles of atmospheric ozone, water vapor, nitrogen dioxide, aerosol extinctions, and other gaseous species and atmospheric state parameters. The SAGE III grating spectrometer measures light within the spectral range of 280 nm to 1037 nm at approximately 1 nm resolution, but retrievals in the Ultraviolet (UV) are particularly sensitive to contamination of the optical train. Therefore, a contamination door that contains a quartz optical window can be closed over the telescope aperture during periods of enhanced external contaminant flux. This optically transparent window permits continued science event acquisition at an acceptably diminished signal-to-noise ratio, which is expected to decline with ongoing accretion of contaminant material. To date, this impact has been short term, and science quality through the window returns to baseline performance after a contamination source is removed and spontaneous desorption removes material from the low-affinity quartz surface. Two Contamination Monitoring Packages (CMPs) consisting of eight Thermoelectric Quartz Crystal Microbalances (TQCMs) from QCM Research provide characterization and redundant monitoring of contaminant deposition from the 2π steradian solid angle on the payload side of the Expedite the Processing of Experiments to the Space Station (ExPRESS) Payload Adapter. CMP data are closely examined by the SAGE III team to determine when the contamination door should remain closed during science events and in what direction the instrument assembly scan head should stow when not acquiring science measurements. Additionally, should the CMPs indicate an unacceptable accretion rate, the ight computer will close the contamination door as part of the automatic fault detection system. Along with spectrometer measurements of the quartz window's transmission, the payload CMPs enable auditing of the mission contamination budget. The process of Thermogravimetric Analysis (TGA) can be used to help identify chemical constituents accreted on the CMP sensors. To be presented here along with an explanation of the CMP systems are the first two and a half years of observations of the contaminant deposition environment around the payload in quiescence and during special events like docking vehicles.

Tyler T Dawson↗
NASA NTRS2020

SAGE III/ISS Contamination Monitoring Package: Observations in Orbit

The Stratospheric Aerosol and Gas Experiment III (SAGE III) telescope and instrument assembly employ the methods of solar occultation and lunar occultation to retrieve near-global vertical profiles of atmospheric ozone, water vapor, nitrogen dioxide, aerosol extinctions, and other gaseous species and atmospheric state parameters. The SAGE III grating spectrometer measures light within the spectral range of 280 nm to 1037 nm at approximately 1 nm resolution, but retrievals in the Ultraviolet (UV) are particularly sensitive to contamination of the optical train. Therefore, a contamination door that contains a quartz optical window can be closed over the telescope aperture during periods of enhanced external contaminant flux. This optically transparent window permits continued science event acquisition at an acceptably diminished signal-to-noise ratio, which is expected to decline with ongoing accretion of contaminant material. To date, this impact has been short term, and science quality through the window returns to baseline performance after a contamination source is removed and spontaneous desorption removes material from the low-affinity quartz surface. Two Contamination Monitoring Packages (CMPs) consisting of eight Thermoelectric Quartz Crystal Microbalances (TQCMs) from QCM Research provide characterization and redundant monitoring of contaminant deposition from the 2pi steradian solid angle on the payload side of the Expedite the Processing of Experiments to the Space Station (ExPRESS) Payload Adapter. CMP data are closely examined by the SAGE III team to determine when the contamination door should remain closed during science events and in what direction the instrument assembly scan head should stow when not acquiring science measurements. Additionally, should the CMPs indicate an unacceptable accretion rate, the flight computer will close the contamination door as part of the automatic fault detection system. Along with spectrometer measurements of the quartz window's transmission, the payload CMPs enable auditing of the mission contamination budget. The process of Thermogravimetric Analysis (TGA) can be used to help identify chemical constituents accreted on the CMP sensors. To be presented here along with an explanation of the CMP systems are the first two and a half years of observations of the contaminant deposition environment around the payload in quiescence and during special events like docking vehicles.

Tyler T Dawson↗
NASA NTRS1987

NASA's use of McIDAS technology - A data systems tool for meteorological research and applications

The Earth Science and Applications Division of the NASA Marshall Space Flight Center has been chartered to conduct research, and to develop and use space technology to gain a basic understanding of the earth processes with emphasis on atmospheric processes. An integral part of the research and development efforts has been the Man computer Interactive Data Access System (McIDAS). The McIDAS computer system has permitted integration of data from satellites, aircraft remote sensors, ground based meteorological data sources, and modeled atmospheric radiances. The result has been an increase in knowlege of mesoscale atmospheric processes and has enabled researchers to recommend improvements and suggestions for planned future remote sensing instruments.

Goodman, H. Michael↗
NASA NTRS2016

Streamlining the Design Tradespace for Earth Imaging Constellations

Distributed Spacecraft Missions (DSMs) are gaining momentum in their application to Earth Observation (EO) missions owing to their unique ability to increase observation sampling in spatial, spectral, angular and temporal dimensions simultaneously. DSM design includes a much larger number of variables than its monolithic counterpart, therefore, Model-Based Systems Engineering (MBSE) has been often used for preliminary mission concept designs, to understand the trade-offs and interdependencies among the variables. MBSE models are complex because the various objectives a DSM is expected to achieve are almost always conflicting, non-linear and rarely analytical. NASA Goddard Space Flight Center is developing a pre-Phase A tool called "Trade-space Analysis Tool for Constellations" (TAT-C) to initiate constellation mission design. The tool will allow users to explore the tradespace between various performance, cost and risk metrics (as a function of their science mission) and select Pareto optimal architectures that meet their requirements. This paper focuses on the tradespace search and how it can be streamlined by combining physical rules, as well as well-designed orbit and coverage computations, thus yielding significant speed-ups. Two use cases are shown as representative examples of the utility of TAT-C generated trades, and results are preliminarily validated against AGI's Systems Tool Kit.

Science Data Processing↗