Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Programming Framework”

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 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
NASA NTRS2006

X-Windows Information Sharing Protocol Widget Class

The X-Windows Information Sharing Protocol (ISP) Widget Class ("Class") is used here in the object-oriented-programming sense of the word) was devised to simplify the task of implementing ISP graphical-user-interface (GUI) computer programs. ISP programming tasks require many method calls to identify, query, and interpret the connections and messages exchanged between a client and an ISP server. Most X-Windows GUI programs use widget sets or toolkits to facilitate management of complex objects. The widget standards facilitate construction of toolkits and application programs. The X-Windows Information Sharing Protocol (ISP) Widget Class encapsulates the client side of the ISP programming libraries within the framework of an X-Windows widget. Using the widget framework, X-Windows GUI programs can interact with ISP services in an abstract way and in the same manner as that of other graphical widgets, making it easier to write ISP GUI client programs. Wrapping ISP client services inside a widget framework enables a programmer to treat an ISP server interface as though it were a GUI. Moreover, an alternate subclass could implement another communication protocol in the same sort of widget.

Barry, Matthew R.↗
NASA NTRS2023

Earth System Digital Twin (ESDT) Architecture Framework

NASA AIST Program is now designing and developing 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. This document identifies the key features and capabilities needed in an ESDT and describes the major notional components of the system and some key relationships, while providing room for a variety of architectures to respond to them. It provides a generic system diagram of an ESDT, including the interfaces to external observing systems and models.

Jacqueline Le Moigne↗
NASA NTRS2010

Multiscale Simulations of Magnetic Island Coalescence

We describe a new interactive parallel Adaptive Mesh Refinement (AMR) framework written in the Python programming language. This new framework, PyAMR, hides the details of parallel AMR data structures and algorithms (e.g., domain decomposition, grid partition, and inter-process communication), allowing the user to focus on the development of algorithms for advancing the solution of a systems of partial differential equations on a single uniform mesh. We demonstrate the use of PyAMR by simulating the pairwise coalescence of magnetic islands using the resistive Hall MHD equations. Techniques for coupling different physics models on different levels of the AMR grid hierarchy are discussed.

Dorelli, John C.↗
DOE OSTI2026

FAIR Data and Interpretable AI Framework for Architectured Metamaterials (Final Report)

This research program established a transformative framework for the discovery and design of mechanical metamaterials, which are architected structures engineered to control physical phenomena like sound and vibration in ways natural materials cannot. To overcome the traditional reliance on trial-and-error, the project developed an interpretable Artificial Intelligence (AI) framework that moves beyond "black box" models to reveal the specific geometric patterns—such as "unit-cell templates"—that govern a material’s performance. A major breakthrough was the development of a hierarchical design method, which allows a single material to block vibrations across multiple frequency ranges simultaneously by layering patterns at different scales without them interfering with one another. This was further expanded to include irregular, graph-based designs that use spanning tree algorithms to ensure structural connectivity while allowing for customized, direction-dependent properties like stiffness and acoustic impedance. Beyond design, the project addressed the practicalities of real-world production by developing uncertainty quantification techniques that account for manufacturing defects and material variability, reducing the need for expensive physical testing by orders of magnitude. To speed up the discovery process, the team implemented Gaussian Process Regression and other surrogate models that provide accurate performance predictions at a fraction of the traditional computational cost. The AI-generated designs were successfully validated through fabrication of physical samples and wave propagation experiments, confirming their ability to accurately guide or reflect waves as predicted. By contributing these tools and high-quality FAIR benchmark datasets to the wider scientific community, this work provides a scalable foundation for advancing technologies in aerospace vibration control, medical imaging, and noise reduction.

36 MATERIALS SCIENCE↗
NASA NTRSDate not supplied

The Containment Assurance Risk Framework of the Mars Sample Return Program

The Mars Sample Return campaign aims at bringing rock and atmospheric samples from Mars to Earth through a series of robotic missions. These missions would collect the samples being cached and deposited on Martian soil by the Perseverance rover, place them in a container, and launch them into Martian orbit for subsequent capture by an orbiter that would bring them back. Given there exists a non-zero probability that the samples contain biological material, precautions are being taken to design systems that would break the chain of contact between Mars and Earth. These include techniques such as sterilization of Martian particles, redundant containment vessels, and a robust reentry capsule capable of accurate landings without a parachute. Requirements exist that the probability of containment not assured of Martian-contaminated material into Earth’s biosphere be less than one in a million. To demonstrate compliance with this strict requirement, a statistical framework was developed to assess the likelihood of containment loss during each sample return phase and make a statement about the total combined mission probability of containment not assured. The work presented here describes this framework, which considers failure modes or fault conditions that can initiate failure sequences ultimately leading to containment not assured. Reliability estimates are generated from databases, design heritage, component specifications, or expert opinion in the form of probability density functions or point estimates and provided as inputs to the mathematical models that simulate the different failure sequences. The probabilistic outputs are then combined following the logic of several fault trees to compute the ultimate probability of containment not assured. Given the multidisciplinary nature of the problem and the different types of mathematical models used, the statistical tools needed for analysis are required to be computationally efficient. While standard Monte Carlo approaches are used for fast models, a multi-fidelity approach to rare event probabilities is proposed for expensive models. In this paradigm, inexpensive low-fidelity models are developed for computational acceleration purposes while the expensive high-fidelity model is kept in the loop to retain accuracy in the results. This work presents an example of end-to-end application of this framework highlighting the computational benefits of a multi-fidelity approach.

Giuseppe Cataldo↗
DOE OSTI2024

Integrated modeling framework (FVCOM-ICM/Toxi) to simulate the fate and transport of polychlorinated biphenyls in urban estuaries–Case study for Puget Sound, WA

Puget Sound is an urban estuary that exhibits persistent polychlorinated biphenyls (PCBs) contamination despite years of remediation efforts. For robust management actions, determining the timing, location, and magnitude of PCB loading sources and transport pathways using field data alone is challenging due to complex water circulation and biogeochemical processes. Here, this study aims to develop an integrated modeling framework that couples complex estuarian circulation with biogeochemical processes and associated interactions with PCB kinetics. The model simulates PCB accumulation in the lower tropic food web, demonstrating PCB intrusion into primary producers and its biomagnification in pelagic consumers. The PCB data from a new field survey was used to calibrate/validate the new PCB modeling framework for Puget Sound. The software program of the modeling framework is available to the user community for the applications of toxic contaminants transport in marine waters.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2026

Cybersecurity Standards, Certification, and Best Practices for DERs

Distributed energy resources (DERs) are becoming increasingly important to the electric grid, including solar energy systems. However, DERs also introduce new cybersecurity risks, including those posed by cloud computing. Standards harmonization is essential for ensuring that DERs are secure and can be safely integrated into the grid. This panel will discuss cyber standards harmonization for solar security. The panel will feature experts from the S2G Program, National Labs and Industry who will discuss the following topics: the cybersecurity risks and future benefits posed by ubiquitous solar energy systems, the development and implementation of cloud-based security solutions for DERs, including solar energy systems, the challenges and opportunities for harmonizing DER cybersecurity standards, and Cyber Informed Engineering and the solar security implementations The panel will also discuss the following specific initiatives: the S2G Program's DER Cybersecurity Framework, UL's DER Cybersecurity Certification Program, and IEEE 1547 Updates. The panel will conclude with a discussion of the future of standards harmonization for DER cybersecurity.

14 SOLAR ENERGY↗
NASA NTRS2018

NASA Smallsat Technology Advancement and Rapid Test Program

In the heart of Silicon Valley, NASA Ames Research Center has been at the forefront of nanosat development and adoption for the past 20 years. Continuing these efforts, a new program has begun focused on advancing smallsat technologies by on-orbit demonstration of new capabilities in sensors, subsystems and components with a rapid deployment cadence. The initial goal is to have at least two experiment platforms launched every year and to increase the cadence from there. We intend to bridge the TRL valley of death and make incremental progress with actual on-orbit demonstration. New technologies that will enable future NASA, commercial and DoD missions and leveraging SBIR efforts will be targeted and prioritized for flight opportunities. The workshop and labs developing these systems will rely on COTS technology as much as possible and have a great degree of freedom with development practices and policies. Success will be determined by the series of experiments over multiple flights, not by the performance of any one experiment. Lessons learned from the TechEdSat program will be used to incorporate student involvement to enhance the creativity and energy of the program while working alongside experienced engineers. In this presentation, we lay out the framework for this program and invite the community to participate in advancing all of our interests.

Vaughan, R.↗
NASA NTRS2002

The Impact of Urbanization on the Precipitation Component of the Water Cycle: A New Perspective

It is estimated that by the year 2025, 60% of the world s population will live in cities (UNFP, 1999). As cities continue to grow, urban sprawl (e.g., the expansion of urban surfaces outward into rural surroundings) creates unique problems related to land use, transportation, agriculture, housing, pollution, and development. Urban expansion also has measurable impacts on environmental processes. Urban areas modify boundary layer processes through the creation of an urban heat island (UHI). The literature indicates that the signature of the urban heat island effect may be resolvable in rainfall patterns over and downwind of metropolitan areas. However, a recent U.S. Weather Research Program panel concluded that more observational and modeling research is needed in this area (Dabberdt et al. 2000). NASA and other agencies initiated programs such as the Atlanta Land-use Analysis: Temperature and Air Quality Project (ATLANTA) (Quattrochi et al. 1998) which aimed to identify and understand how urban heat islands impact the environment. However, a comprehensive assessment of the role of urban-induced rainfall in the global water and energy cycle (GWEC) and cycling of freshwater was not a primary focus of these efforts. NASA's Earth Science Enterprise (ESE) seeks to develop a scientific understanding of the Earth system and its response to natural or human-induced changes to enable improved prediction capability for climate, weather, and natural hazards (NASA, 2000). Within this mission, the ESE has three basic thrusts: science research to increase Earth system knowledge; an applications program to transfer science knowledge to practical use in society; and a technology program to enable new, better, and cheaper capabilities for observing the earth. Within this framework, a research program is underway to further address the co-relationship between land cover use and change (e.g. urban development) and its impact on key components of the GWEC (e.g., precipitation). This presentation discusses the feasibility of using the TRMM or GPM satellite to identify precipitation anomalies likely caused by urbanization (Shepherd et al. 2002). Recent results from analyses of TRMM data around several major U.S. cities (e.g. Dallas, Atlanta, Houston) will be discussed. The presentation also summarizes a NASA-funded research effort to investigate the phenomenon of urban-induced precipitation anomalies using TRMM (future GPM) satellite-based remote sensing, an intensive ground observation/validation effort near Atlanta, and coupled atmosphere-land numerical modeling techniques.

Shephard, J. Marshal↗
NASA NTRS2016

Deductive Evaluation: Implicit Code Verification With Low User Burden

We describe a framework for symbolically evaluating C code using a deductive approach that discovers and proves program properties. The framework applies Floyd-Hoare verification principles in its treatment of loops, with a library of iteration schemes serving to derive loop invariants. During evaluation, theorem proving is performed on-the-fly, obviating the generation of verification conditions normally needed to establish loop properties. A PVS-based prototype is presented along with results for sample C functions.

Di Vito, Ben L.↗
NASA NTRS2009

Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification

This NASA conference publication contains the proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification, held as part of LICS in Los Angeles, CA, USA, on August 15, 2009. Software certification demonstrates the reliability, safety, or security of software systems in such a way that it can be checked by an independent authority with minimal trust in the techniques and tools used in the certification process itself. It can build on existing validation and verification (V&V) techniques but introduces the notion of explicit software certificates, Vvilich contain all the information necessary for an independent assessment of the demonstrated properties. One such example is proof-carrying code (PCC) which is an important and distinctive approach to enhancing trust in programs. It provides a practical framework for independent assurance of program behavior; especially where source code is not available, or the code author and user are unknown to each other. The workshop wiII address theoretical foundations of logic-based software certification as well as practical examples and work on alternative application domains. Here "certificate" is construed broadly, to include not just mathematical derivations and proofs but also safety and assurance cases, or any fonnal evidence that supports the semantic analysis of programs: that is, evidence about an intrinsic property of code and its behaviour that can be independently checked by any user, intermediary, or third party. These guarantees mean that software certificates raise trust in the code itself, distinct from and complementary to any existing trust in the creator of the code, the process used to produce it, or its distributor. In addition to the contributed talks, the workshop featured two invited talks, by Kelly Hayhurst and Andrew Appel. The PCC 2009 website can be found at http://ti.arc.nasa.gov /event/pcc 091.

Ewen, Denney, W.↗
NASA NTRS2007

C++ Programming Language

C++ Programming Language: The C++ seminar covers the fundamentals of C++ programming language. The C++ fundamentals are grouped into three parts where each part includes both concept and programming examples aimed at for hands-on practice. The first part covers the functional aspect of C++ programming language with emphasis on function parameters and efficient memory utilization. The second part covers the essential framework of C++ programming language, the object-oriented aspects. Information necessary to evaluate various features of object-oriented programming; including encapsulation, polymorphism and inheritance will be discussed. The last part of the seminar covers template and generic programming. Examples include both user defined and standard templates.

Shaykhian, Gholam Ali↗
NASA NTRSDate not supplied

Connecting Community Scientific Hypotheses to Mars Sample Science

The proposed Mars Sample Return (MSR) program seeks to bring back to Earth a set of specially curated samples from the surface of Mars. The first segment of the MSR program is presently under-way; the Mars 2020 rover Perseverance has, to date, collected 24 samples of martian rock, regolith, and at-mosphere within Jezero crater. Its geologically diverse rock sample set can provide insight into the time evolu-tion of the Jezero environment, including the possible preservation of ancient biosignatures. Presently, a cache of 10 samples has been deposited in the Three Forks region on the floor of Jezero crater. These sam-ples, deemed scientifically return worthy by the Mars science community [1], are intended as a contingency sample set, as Perseverance has subsequently obtained more samples, and is therefore storing a more compre-hensive and scientifically valuable set of samples that will grow as the rover ascends to the rim of Jezero crater. The return of samples from Mars has been identi-fied as the highest priority planetary mission in the past three National Academies Decadal Surveys [2-4]. Sub-stantial work has gone into establishing science objec-tives for an MSR program, an overall framework for sample retrieval and analysis, and the expected impact on future Mars science and exploration (e.g., [5]). These objectives have been established at a relatively high level, e.g., “Interpret the primary geologic pro-cesses and history that formed the martian geologic rec-ord, with an emphasis on the role of water.” (Objective 1 in [5]) and are designed to encapsulate the broad sci-entific priorities of, and lay the groundwork for, inves-tigation strategies and measurements to be conducted by a future MSR program. It is from this overarching framework that the Connecting Community Scientific Hypotheses to Mars Sample Science workshop (‘The Workshop’) was conceived, with the purpose of distil-ling these high-level scientific objectives into discrete, testable hypotheses across a range of scientific disci-plines. The output of the workshop is meant to be a ‘hy-pothesis document’ serving as a starting point for cata-loging and condensing specific hypotheses for consid-eration by the scientific community. The template for this approach is based on the “driving hypotheses” de-veloped by the OSIRIS-REx team as part of their Sam-ple Analysis Plan [6].

Michael A Mischna↗
NASA NTRS1985

NASA Small Business Innovation Research program

NASA activities in the framework of the 11-agency federal Small Business Innovation Research program are outlined in tables and graphs and briefly characterized. Statistics on the program are given; the technical topics covered are listed; and the procedures involved in evaluating applications for support are discussed. A number of typical defects in proposals are indicated, and recommendations for avoiding them are provided.

Johnson, Harry W.↗
DOE OSTI2022

4.2.1.31 Integrated Life Cycle Sustainability Analysis

This project provides the Department of Energy's Bioenergy Technologies Office (BETO) with strategic decision-support for the evaluation of its R&D portfolio by developing, validating, and applying a coherent methodology and consistent model framework to quantify the net effects of an expanding US bioeconomy. The framework fills an analysis gap previously identified by Peer Review and supports a related milestone in BETO's Multi-Year Program Plan. The framework was scoped with inputs from practitioners in academia, national laboratories, and federal agencies. The model is a top-down, economy-wide framework using a coherent methodology to compute environmental and socio-economic metrics. It is purposefully complementary to existing bottom-up, process-based techno-economic and life cycle assessment BETO tools and uses their data as inputs. Presently, the model covers several commercial and near-commercial biofuel routes and an emerging pathway for plastics upcycling. It covers temporal detail across four time-steps and is currently being expanded with a prospective modeling capability. The model has provided analyses for the Third Triennial Report to Congress (RtC3) on the environmental impacts of the Renewable Fuel Standard (RFS2), among others. As part of this project, NREL also provides scientific support to BETO in the International Energy Agency's Technology Collaboration Program on Bioenergy (IEA Bioenergy) Task 45 on Sustainability. Here, NREL evaluates and synthesizes activities that develop, compare, or apply metrics, methods, and tools to quantify sustainability effects of bioeconomy products. NREL also coordinates related national lab involvement and a BETO Working Group on Sustainable Land Management.

bioeconomy↗
NASA NTRS2024

Evolution of NASA’s Nuclear Flight Safety Program to Infuse Risk Leadership and Assurance Framework Concepts

In recent years, the United States (U.S.) Government has issued several new National policies that fundamentally change the approach to nuclear flight safety for aerospace applications, including the complete revision of the Federal policy for handling launch of spacecraft containing space nuclear systems. In response, the National Aeronautics and Space Administration (NASA) is updating its nuclear flight safety program while still maintaining consistency with other Federal policies, international conventions, and NASA’s own policies. To achieve this evolution, NASA is factoring in an objectives-driven and assurance case mindset to develop a risk-informed and performance-based program. NASA and others have successfully applied this mindset in other disciplines and contexts and it is being pursued here via broad cooperation within NASA and with external stakeholders. This paper will briefly describe how the NASA nuclear flight safety program is evolving to meet these changing needs.

Matthew J. Forsbacka↗