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 325 records · Page 18
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Using nuclear observations to improve climate research and GHG emission estimates – the NuClim project

Project NuClim (Nuclear observations to improve Climate research and GHG emission estimates) aims to use high-quality measurements of atmospheric radon activity concentration and ambient radioactivity to advance climate science and improve radiation protection and nuclear surveillance capabilities. It is supported by new metrological capabilities developed in the EMPIR project 19ENV01 traceRadon. This work reviews the scientific objectives of project NuClim in terms of both climate science and radiological protection, and provides an overview of the NuClim field campaign and the various nuclear measurements being implemented within the scope of the project.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2022

Computing Free Energies with Fluctuation Relations on Quantum Computers

As a central thermodynamic property, free energy enables the calculation of virtually any equilibrium property of a physical system, allowing for the construction of phase diagrams and predictions about transport, chemical reactions, and biological processes. Thus, methods for efficiently computing free energies, which in general is a difficult problem, are of great interest to broad areas of physics and the natural sciences. The majority of techniques for computing free energies target classical systems, leaving the computation of free energies in quantum systems less explored. Recently developed fluctuation relations enable the computation of free energy differences in quantum systems from an ensemble of dynamic simulations. While performing such simulations is exponentially hard on classical computers, quantum computers can efficiently simulate the dynamics of quantum systems. Here, we present an algorithm utilizing a fluctuation relation known as the Jarzynski equality to approximate free energy differences of quantum systems on a quantum computer. In this work we discuss under which conditions our approximation becomes exact, and under which conditions it serves as a strict upper bound. Furthermore, we successfully demonstrate a proof of concept of our algorithm using the transverse field Ising model on a real quantum processor. As quantum hardware continues to improve, we anticipate that our algorithm will enable computation of free energy differences for a wide range of quantum systems useful across the natural sciences.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Enabling Capabilities and Resources: 2024 Principal Investigator Meeting Proceedings

As a major supporter of basic genome-enabled research, BER’s Biological Systems Science Division (BSSD) fosters scientific discovery by funding - fundamental biological research across disciplines in conjunction with enabling investigational tools and computational capabilities that include world-class user facilities. The overarching goal of BSSD is to provide the necessary fundamental science to understand, predict, manipulate, and design biological systems that underpin innovations for bioenergy and bioproduct production and enhance understanding of natural, DOE-relevant environmental processes (Biological Systems Science Division Strategic Plan, 2021). To accelerate the U.S. bioeconomy, BSSD pursues innovative science underpinning advances in sustainable biofuels and bioproducts and the development of next-generation technologies and computational resources for systems biology research. The 2024 BSSD Enabling Capabilities and Resources (ECR) Principal Investigator (PI) meeting brought together PIs across the BSSD ECR portfolio to confer on shared interests and opportunities. The meeting was held concurrently with the Genomic Science program (GSP) PI meeting to optimize collaboration on research to advance bioenergy and the bioeconomy. Rick Stevens of Argonne National Laboratory gave a keynote on How Generative Artificial Intelligence Can Impact Biological Research (see Keynote: How Generative Artificial Intelligence Can Impact Biological Research, this page). Plenary presentations included several joint sessions that illuminated the integration and understanding of the larger BSSD mission. GSP’s objective is to provide systems-level understanding of plants, microbes, and their communities through its Bioenergy Research, Biosystems Design, and Environmental Microbiome Research portfolios. The objective of the ECR portfolio is to support development of computational and instrumental platforms to advance fundamental GSP research—and BER more broadly— toward the overall goal of understanding the functional principles of living systems and their response to environmental challenges.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2016

Proceedings of Synthetic Biology: Engineering, Evolution and Design (SEED) Conference 2015

Synthetic Biology is an emerging discipline that seeks to accelerate the process of engineering biology. As such, the tools are broadly applicable to application areas, including chemicals and biofuels, materials, medicine and agriculture. A characteristic of the field is to look holistically at cellular design, from sensing and genetic circuitry to the manipulation of cellular processes and actuators, to controlling metabolism, to programming multicellular behaviors. Further, the types of cells that are manipulated are broad, from in vitro systems to microbes and fungi to mammalian and plant cells and living animals. Many of the projects in synthetic biology seek to move biochemical functions across organisms. The field is highly interdisciplinary with faculty and students spread across departments that focus on engineering (biological, chemical, electrical, mechanical, civil, computer science) and basic science (biology and systems biology, chemistry, physics). While there have been many one-off workshops and meeting on synthetic biology, the 2014 Synthetic Biology: Engineering, Evolution and Design (SEED) was the first of an annual conference series that serves as a reliable place to pull together the involved disciplines in order to organize and exchange advances in the science and technology in the field. Further, the SEED conferences have a strong focus on industry, with many companies represented and actively participating. A number of these companies have started major efforts in synthetic biology including large companies (e.g., Pfizer, Novartis, Dow, Dupont, BP, Total), smaller companies have recently gone public (e.g., Amyris, Gevo, Intrexon), and many start-ups (e.g., Teslagen, Refactored Materials, Pivot, Genomatica). There are a number of loosely affiliated Synthetic Biology Centers, including ones at MIT, Boston University, UCSD, UCSF, UC-Berkeley, Imperial College, Oxford, and ETH. SEED 2015 will serve as the primary meeting at which international synthetic biology centers and related infrastructure (synthesis/software/foundries) meet to discuss technology, standards, and education. SEED2015 will be the second in an annual series of meeting held to bring researchers from industry and academia in the area of Synthetic Biology. The first SEED conference was highly successful, attracting 285 attendees with varying backgrounds from academia, industry and government. The SEED series provides leadership in the development of the field of synthetic biology and serves to broaden the participants in the field by appealing to broad sectors in industry and providing a means for young investigators and those outside of the field to participate. Further, the series closely integrates with groups such as the SBCC to provide a means by which the synthetic biology community can communicate with policy makers. Further, we will pursue making the meeting the center for the exchange of educational materials as centers for synthetic biology emerge globally. Proceedings will be published each year in the journal ACS Synthetic Biology. After each SEED meeting, surveys are distributed to assess the success of the conference and to help guide changes year-to-year. The diverse application areas further extend the expertise needed from people in areas such as plant biology, agriculture and soil science, environmental science, medicine, and the chemical industry. These areas could have a widespread impact on society in a number of ways. For example, the CRISPR/Cas9 system that serves to immunize bacteria from phage has provided the fundamental chemistry that is used to edit the genomes of diverse organisms, including human stem cells, crop plants, and livestock animals.

09 BIOMASS FUELS↗
NASA NTRS2003

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.↗
NASA NTRS2020

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.↗
DOE OSTI2018

Basic Research Needs for Microelectronics: Report of the Office of Science Workshop on Basic Research Needs for Microelectronics, October 23 – 25, 2018

Moore’s Law — realized via a combination of device physics advances, technology investments, and economic returns— allowed the number of transistors on a chip to double roughly every two years for over five decades. During those five decades, the cost of a unit of computing dropped by eight orders of magnitude. Those declines and the associated computing advances have dramatically affected every aspect of society, from science and technology through business and health to national security. Today, further computing advances are limited by the economics of chip fabrication and the physical limits on transistors, electrical interconnects, and memory elements at the nanoscale. If we are to evolve new generations of computing systems over the next decades that are both faster and more energy efficient, a complete reorganization of the science and technology underlying computing is needed. Within the Department of Energy’s (DOE’s) mission, which includes a pivotal and historical role in the evolution of computing, the needs are critical as well. Advanced computing and simulation underpin all aspects of DOE missions in energy, the environment, and national security, requiring energy-efficient computing beyond the exascale range. Edge computing, low-power computing technologies, and computers optimized for artificial intelligence are key to next-generation scientific facilities for high-energy physics research, as well as neutron and x-ray facilities. Finally, microelectronics will also play a major role in reshaping the U.S. electricity grid: from its current state to one that is cleaner, more efficient, cyber-secure, and resilient to widespread events, both natural and manmade. Realizing this vision will require advancements in both system architecture and power electronics. To enable continued advances in computing technologies, a fundamental rethinking is needed of the science behind the materials, synthesis and placement technologies, architectures, and algorithms. This cannot be modular and linear, as it has been in the past. Rather, these advances must be developed collectively, in a spirit of co-design, where each scientific discipline informs and engages the other to achieve orders of magnitude improvements in system-level performance. To explore these challenges, the Office of Science convened a Basic Research Needs Workshop for Microelectronics in October 2018 and charged workshop participants to conduct a thorough assessment of the scientific issues associated with advanced microelectronics technologies for applications relevant to the DOE mission. The workshop examined research relevant to the extension of complementary metal oxide semiconductor (CMOS) and beyond CMOS technologies; however, topics of direct relevance to quantum information science and quantum computing were outside the scope of this workshop.

42 ENGINEERING↗
NASA NTRS1988

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↗
DOE OSTI2023

Engineering Computational Practices (Rev. 1)

This manual will attempt to motivate the use of an automated build system for the purposes of computational science and engineering. As part of this motivation, the surrounding computational practices of version control, documen tation, compute environment management, and regression testing will also be addressed as applied to the practice of computational engineering. Specifically, this manual intends to motivate the adoption of these traditional software engineering practices for use in research and production engineering simulation projects. This manual is not the first such effort in the greater scientific computing community. In fact, the authors relied heavily on the lesson plans of the Software Carpentry, established to teach computing skills to researchers in 1998. As the intention for this manual is to lay out fundamental practices of engineering computing, it will not attempt to fully teach the underlying concepts and will instead reference the well designed lesson plans of the Software Carpentry. Where possible, this manual will explain to general computing practices and concepts and limit discussion of specific software implementations to examples or vehicles for practice in concrete application. The specific software taught by the Software Carpentry curriculum is an excellent starting point to learn the core concepts of computational engi neering. However, the authors have found that applications to engineering simulation and analysis require translation of these software development concepts into the language and workflows of computational engineers. Adopting these computational tools may require engineers to re-imagine their workflows in some combination of traditional engineer ing and software concepts. It has also been necessary to extend existing software build systems for engineering practices beyond the simple wrap ping of engineering software execution. Where necessary, examples of specific software and their method of extension to engineering simulations will be given, with reference to the User Manual for recommended practical use. Where this manual relies on specific implementation examples, it should be understood that the practicing engineer may find that different software is more amenable to their specific work. It is always the overall collection of computational practices is more important than any specific software implementation. The ability to recognize which concepts are implemented by a software package will make a practicing engineer agile to changing project needs, computing resources, numeric solvers, programming languages, and even available funding.

42 ENGINEERING↗
NASA NTRS1994

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.↗
DOE OSTI2023

Snowmass 2021 Computational Frontier CompF4 Topical Group Report Storage and Processing Resource Access

Computing plays a significant role in all areas of high energy physics. The Snowmass 2021 CompF4 topical group's scope is facilities R&D, where we consider "facilities" as the computing hardware and software infrastructure inside the data centers plus the networking between data centers, irrespective of who owns them, and what policies are applied for using them. In other words, it includes commercial clouds, federally funded High Performance Computing (HPC) systems for all of science, and systems funded explicitly for a given experimental or theoretical program. This topical group report summarizes the findings and recommendations for the storage, processing, networking and associated software service infrastructures for future high energy physics research, based on the discussions organized through the Snowmass 2021 community study.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2022

QSCOUT Progress Report, June 2022 [Quantum Scientific Computing Open User Testbed]

Quantum information processing has reached an inflection point, transitioning from proof-of-principle scientific experiments to small, noisy quantum processors. To accelerate this process and eventually move to fault-tolerant quantum computing, it is necessary to provide the scientific community with access to whitebox testbed systems. The Quantum Scientific Computing Open User Testbed (QSCOUT) provides scientists unique access to an innovative system to help advance quantum computing science.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1990

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 NTRS1991

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↗
NASA NTRS1991

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 NTRS1986

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↗
NASA NTRS1998

Formal Modeling of Multi-Agent Systems using the Pi-Calculus and Epistemic Logic

Multi-agent systems have become important recently in computer science, especially in artificial intelligence (AI). We allow a broad sense of agent, but require at least that an agent has some measure of autonomy and interacts with other agents via some kind of agent communication language. We are concerned in this paper with formal modeling of multi-agent systems, with emphasis on communication. We propose for this purpose to use the pi-calculus, an extension of the process algebra CCS. Although the literature on the pi-calculus refers to agents, the term is used there in the sense of a process in general. It is our contention, however, that viewing agents in the AI sense as agents in the pi-calculus sense affords significant formal insight. One formalism that has been applied to agents in the AI sense is epistemic logic, the logic of knowledge. The success of epistemic logic in computer science in general has come in large part from its ability to handle concepts of knowledge that apply to groups. We maintain that the pi-calculus affords a natural yet rigorous means by which groups that are significant to epistemic logic may be identified, encapsulated, structured into hierarchies, and restructured in a principled way. This paper is organized as follows: Section 2 introduces the pi-calculus; Section 3 takes a scenario from the classical paper on agent-oriented programming [Sh93] and translates it into a very simple subset of the n-calculus; Section 4 then shows how more sophisticated features of the pi-calculus may bc brought into play; Section 5 discusses how the pi-calculus may be used to define groups for epistemic logic; and Section 6 is the conclusion.

Rorie, Toinette↗