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 235 records · Page 13

Standards guide for space and earth sciences computer software

Guidelines for the preparation of systems analysis and programming work statements are presented. The data is geared toward the efficient administration of available monetary and equipment resources. Language standards and the application of good management techniques to software development are emphasized.

Mason, G.↗

The CICT Earth Science Systems Analysis Model

Contents include the following: Computing Information and Communications Technology (CICT) Systems Analysis. Our modeling approach: a 3-part schematic investment model of technology change, impact assessment and prioritization. A whirlwind tour of our model. Lessons learned.

Pell, Barney↗

NASA Tech Briefs, January 2000

Topics include: Data Acquisition; Computer-Aided Design and Engineering; Electronic Components and Circuits; Electronic Systems; Bio-Medical; Physical Sciences; Materials; Computer Programs; Mechanics; Machinery/Automation; Information Sciences; Books and reports.

Source record↗

NASA Tech Briefs, June 2000

Topics include: Computer-Aided Design and Engineering; Electronic Components and Circuits; Electronic Systems; Test and Measurement; Physical Sciences; Materials; Computer Programs; Computers and Peripherals;

Source record↗

NASA Tech Briefs, July 2000

Topics covered include: Data Acquisition; Computer-Aided Design and Engineering; Electronic Components and Circuits; Electronic Systems; Test and Measurement; Physical Sciences; Materials; Computer Programs; Mechanics; Machinery/Automation; Manufacturing/Fabrication; Mathematics and Information Sciences; Life Sciences; Books and Reports.

Source record↗

NASA Tech Briefs, November 2000

Topics covered include: Computer-Aided Design and Engineering; Electronic Components and Circuits; Electronic Systems; Test and Measurement; Physical Sciences; Materials; Computer Programs; Mechanics; Machinery/Automation; Manufacturing/Fabrication; Mathematics and Information Sciences; Data Acquisition.

Source record↗

Visual monitoring of autonomous life sciences experimentation

The goal of this research project is the development of a computer vision system to monitor and control life sciences experimentation on board space stations. The vision system is organized as a multiprocessor system with distributed processes selectively analyzing hierarchical imagery in order to monitor and control the appropriate instrumentation.

Blank, G. E.↗

Federated Cloud Challenges in NASA's Earth Science Data Systems (Why So Difficult?)

NASA is presented with a number of opportunities and challenges in federating its Earth Science Data Systems in the burgeoning world of cloud computing. Cloud hosting of Earth Science data provides a new way of bringing data together, at least from a virtual location sense, and is one of the main motives for NASA to host data there. However, NASA is also faced with a Big Data Variety challenge, brought on by the variety of the EO datasets in its archives. This diversity requires many diverse science archives to service the different science communities. As a result, nearly every major function in the Earth Observing System Data and Information System (EOSDIS) must also be federated across its data centers. This pattern is repeated with many of the outside agencies and organizations that EOSDIS federates with, such as the Committee for Earth Observing Satellites, leading to pioneering work on "deep federation" in a joint project with the European Space Agency to develop a Multi-Mission Algorithm and Analysis Platform.

Lynnes, Christopher↗

What FM can offer DFCS design

The results of aircrafts and spacecrafts flight tests are reported. It is shown that the problems of Digital Flight Control Systems (DFCS) are the problems of systems whose complexity has exceeded the reach of the intellectual tools employed. It is also shown that intuition, experience, and techniques derived from mechanical and analog systems are insufficient for complex, integrated, digital systems. Formal Methods (FM) of computer science can offer DFCS systematic techniques for the construction of trustworthy software, including: techniques for the precise specification of requirements and the development of designs; systematic approaches to the design and structuring of distributed and concurrent systems; fault tolerance algorithms; and systematic methods of testing and analytic methods of verification.

Rushby, John↗

Computational Aspects of Data Assimilation and the ESMF

The scientific challenge of developing advanced data assimilation applications is a daunting task. Independently developed components may have incompatible interfaces or may be written in different computer languages. The high-performance computer (HPC) platforms required by numerically intensive Earth system applications are complex, varied, rapidly evolving and multi-part systems themselves. Since the market for high-end platforms is relatively small, there is little robust middleware available to buffer the modeler from the difficulties of HPC programming. To complicate matters further, the collaborations required to develop large Earth system applications often span initiatives, institutions and agencies, involve geoscience, software engineering, and computer science communities, and cross national borders.The Earth System Modeling Framework (ESMF) project is a concerted response to these challenges. Its goal is to increase software reuse, interoperability, ease of use and performance in Earth system models through the use of a common software framework, developed in an open manner by leaders in the modeling community. The ESMF addresses the technical and to some extent the cultural - aspects of Earth system modeling, laying the groundwork for addressing the more difficult scientific aspects, such as the physical compatibility of components, in the future. In this talk we will discuss the general philosophy and architecture of the ESMF, focussing on those capabilities useful for developing advanced data assimilation applications.

daSilva, A.↗

A Systems Analysis Approach to Understanding the Physiological Adaptation to Spaceflight

This book is a summary of interdisciplinary research (physiology, space medicine, engineering, computer science, mathematics) that spans two decades (1972-1992). The research was an attempt to use systems analysis, mathematical modeling, computer simulations, and database systems to integrate the biomedical spaceflight data that was being collected during this period. The goal of the effort was to achieve a better understanding of the human physiological response to short-term and long-term space travel. The activity was primarily devoted to analyzing the biomedical results of Skylab (1973-74), a series of three space missions which is still ranked as the most comprehensive of all long-term biomedical space studies to date. This work was begun as a coordinated effort between the National Aeronautics and Space Administration (Johnson Space Center) and the General Electric Company’s Space Division (Houston, TX). It was the intent that this multidisciplined, integrative approach could reveal aspects of the then-new science of microgravity adaptation that were not obvious by adhering to the traditional methodology of examining each organ system in isolation. Some joint work with the Russians, including the Apollo-Soyez test project and a joint bedrest study was also supported during this period. In the 1980’s the systems analysis group’s effort was redirected to support the science management of human and animal experiments on the Space Shuttle. A few examples from this era are also included in the book. Parts of this work have been published elsewhere, presented at technical meetings, and documented in reports with limited distribution. These publications will be referenced throughout the text and the interested reader is advised to use these as resource material where additional details are desired. The intent of this book is not to reproduce these documents but rather to present a coherent view of the integrative analysis under one cover. This volume contains the first detailed publication (other than in internal reports) of an extensive metabolic balance analysis of Skylab data, the development and validation of the “Whole-Body Algorithm,” and simulation studies of diverse hypogravic environments. An analysis of cardiovascular deconditioning and a description of the calcium regulatory model are also new. A long period has passed between the completion of the main body of work represented in this book and its publication in this form. It was inevitable that new research efforts would lead to developments related to the spaceflight problems addressed and thereby make some of our biomedical conclusions obsolete. Although in some cases reference to more recent work have been included, for the most part this book should be considered an historical summary demonstrating the approach and utility of systems analysis and computer modeling in the NASA Life Sciences program at the time the studies were conducted.

Leonard, Joel I.↗

Use of MCIDAS as an earth science information systems tool

The application of the man computer interactive data access system (MCIDAS) to information processing is examined. The computer systems that interface with the MCIDAS are discussed. Consideration is given to the computer networking of MCIDAS, data base archival, and the collection and distribution of real-time special sensor microwave/imager data.

Goodman, H. Michael↗

Performance Analysis of the Unitree Central File

This report consists of two parts. The first part briefly comments on the documentation status of two major systems at NASA#s Center for Computational Sciences, specifically the Cray C98 and the Convex C3830. The second part describes the work done on improving the performance of file transfers between the Unitree Mass Storage System running on the Convex file server and the users workstations distributed over a large georgraphic area.

Pentakalos, Odysseas I.↗

NASA Information Sciences and Human Factors Program

Fiscal year 1989 descriptions of technical accomplishments in seven sections are presented: automation and robotics; communications; computer sciences; controls and guidance; data systems; human factors; and sensor technology.

Holcomb, Lee↗

NASA information sciences and human factors program

The FY-90 descriptions of technical accomplishments are contained in seven sections: Automation and Robotics, Communications, Computer Sciences, Controls and Guidance, Data Systems, Human Factors, and Sensor Technology.

Lee Holcomb↗

Mechanical verification of a schematic Byzantine clock synchronization algorithm

Schneider generalizes a number of protocols for Byzantine fault tolerant clock synchronization and presents a uniform proof for their correctness. The authors present a machine checked proof of this schematic protocol that revises some of the details in Schneider's original analysis. The verification was carried out with the EHDM system developed at the SRI Computer Science Laboratory. The mechanically checked proofs include the verification that the egocentric mean function used in Lamport and Melliar-Smith's Interactive Convergence Algorithm satisfies the requirements of Schneider's protocol.

Shankar, Natarajan↗

NASA Tech Briefs, July/August 1986

Topic include: NASA TU Services; New Product Ideas; Electronic Components and Circuits; Electronic Systems; Materials; Computer Programs; Mechanics; Physical Sciences; Machinery; Fabrication Technology; Mathematics and Information Sciences; Life Sciences. 3

National Aeronautics and Space Administration↗