Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “embedded 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
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

Design of an Ada expert system shell for the VHSIC avionic modular flight processor

The Embedded Computer System Expert System Shell (ES Shell) is an Ada-based expert system shell developed at the Avionics Laboratory for use on the VHSIC Avionic Modular Processor (VAMP) running under the Ada Avionics Real-Time Software (AARTS) Operating System. The ES Shell provides the interface between the expert system and the avionics environment, and controls execution of the expert system. Testing of the ES Shell in the Avionics Laboratory's Integrated Test Bed (ITB) has demonstrated its ability to control a non-deterministic software application executing on the VAMP's which can control the ITB's real-time closed-loop aircraft simulation. The results of these tests and the conclusions reached in the design and development of the ES Shell have played an important role in the formulation of the requirements for a production-quality expert system inference engine, an ingredient necessary for the successful use of expert systems on the VAMP embedded avionic flight processor.

Fanning, F. Jesse↗
NASA NTRS2009

Integrated System Health Management Development Toolkit

This software toolkit is designed to model complex systems for the implementation of embedded Integrated System Health Management (ISHM) capability, which focuses on determining the condition (health) of every element in a complex system (detect anomalies, diagnose causes, and predict future anomalies), and to provide data, information, and knowledge (DIaK) to control systems for safe and effective operation.

Figueroa, Jorge↗
NASA NTRS2015

The Use of Field Programmable Gate Arrays (FPGA) in Small Satellite Communication Systems

This paper will describe the use of digital Field Programmable Gate Arrays (FPGA) to contribute to advancing the state-of-the-art in software defined radio (SDR) transponder design for the emerging SmallSat and CubeSat industry and to provide advances for NASA as described in the TAO5 Communication and Navigation Roadmap (Ref 4). The use of software defined radios (SDR) has been around for a long time. A typical implementation of the SDR is to use a processor and write software to implement all the functions of filtering, carrier recovery, error correction, framing etc. Even with modern high speed and low power digital signal processors, high speed memories, and efficient coding, the compute intensive nature of digital filters, error correcting and other algorithms is too much for modern processors to get efficient use of the available bandwidth to the ground. By using FPGAs, these compute intensive tasks can be done in parallel, pipelined fashion and more efficiently use every clock cycle to significantly increase throughput while maintaining low power. These methods will implement digital radios with significant data rates in the X and Ka bands. Using these state-of-the-art technologies, unprecedented uplink and downlink capabilities can be achieved in a 1/2 U sized telemetry system. Additionally, modern FPGAs have embedded processing systems, such as ARM cores, integrated inside the FPGA allowing mundane tasks such as parameter commanding to occur easily and flexibly. Potential partners include other NASA centers, industry and the DOD. These assets are associated with small satellite demonstration flights, LEO and deep space applications. MSFC currently has an SDR transponder test-bed using Hardware-in-the-Loop techniques to evaluate and improve SDR technologies.

Varnavas, Kosta↗
DOE OSTI2024

Data‐driven variational method for discrepancy modeling: Dynamics with small‐strain nonlinear elasticity and viscoelasticity

Abstract The effective inclusion of a priori knowledge when embedding known data in physics‐based models of dynamical systems can ensure that the reconstructed model respects physical principles, while simultaneously improving the accuracy of the solution in the previously unseen regions of state space. This paper presents a physics‐constrained data‐driven discrepancy modeling method that variationally embeds known data in the modeling framework. The hierarchical structure of the method yields fine scale variational equations that facilitate the derivation of residuals which are comprised of the first‐principles theory and sensor‐based data from the dynamical system. The embedding of the sensor data via residual terms leads to discrepancy‐informed closure models that yield a method which is driven not only by boundary and initial conditions, but also by measurements that are taken at only a few observation points in the target system. Specifically, the data‐embedding term serves as residual‐based least‐squares loss function, thus retaining variational consistency. Another important relation arises from the interpretation of the stabilization tensor as a kernel function, thereby incorporating a priori knowledge of the problem and adding computational intelligence to the modeling framework. Numerical test cases show that when known data is taken into account, the data driven variational (DDV) method can correctly predict the system response in the presence of several types of discrepancies. Specifically, the damped solution and correct energy time histories are recovered by including known data in the undamped situation. Morlet wavelet analyses reveal that the surrogate problem with embedded data recovers the fundamental frequency band of the target system. The enhanced stability and accuracy of the DDV method is manifested via reconstructed displacement and velocity fields that yield time histories of strain and kinetic energies which match the target systems. The proposed DDV method also serves as a procedure for restoring eigenvalues and eigenvectors of a deficient dynamical system when known data is taken into account, as shown in the numerical test cases presented here.

Masud, Arif↗
NASA NTRS2002

Galvanic Liquid Applied Coating System for Protection of Embedded Steel Surfaces from Corrosion

The corrosion of reinforcing steel in concrete is an insidious problem for the Kennedy Space Center, government agencies, and the general public. Existing corrosion protection systems on the market are costly, complex, and time-consuming to install, require continuous maintenance and monitoring, and require specialized skills for installation. NASA's galvanic liquid-applied coating offers companies the ability to conveniently protect embedded steel rebar surfaces from corrosion. Liquid-applied inorganic galvanic coating contains one ore more of the following metallic particles: magnesium, zinc, or indium and may contain moisture attracting compounds that facilitate the protection process. The coating is applied to the outer surface of reinforced concrete so that electrical current is established between metallic particles and surfaces of embedded steel rebar; and electric (ionic) current is responsible for providing the necessary cathodic protection for embedded rebar surfaces.

Curran, Joseph↗
DOE OSTI2020

Relativistic two-component projection-based quantum embedding for open-shell systems

In this work, we present a relativistic quantum embedding formalism capable of variationally treating relativistic effects, including scalar-relativity and spin–orbit coupling. We extend density functional theory (DFT)-in-DFT projection-based quantum embedding to a relativistic two-component formalism, where the full spin magnetization vector form is retained throughout the embedding treatment. To benchmark various relativistic embedding schemes, spin–orbit splitting of the nominally t 2g valence manifold of W(CO) 6 , exchange coupling of [(H 3 N) 4 Cr(OH) 2 Cr(NH 3 ) 4 ] 4+ , and the dissociation potential curve of WF 6 are investigated. The relativistic embedding formalism introduced in this work is well suited for efficient modeling of open-shell systems containing late transition metal, lanthanide, and actinide molecular complexes.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

Privacy-Preserving Control of Partitioned Energy Resources

Distributed energy resources are an increasingly important part of the electric grid. We examine the problem of partitioning a distributed energy resource among many users while providing privacy to them. In this model, clients can send requests to a server, the server can verify that the requests are valid and aggregate them, but it cannot see the actual values in the requests. Without privacy, each user is forced to reveal their daily schedule or energy use. Energy resources add a novel challenge that prior systems do not address: they require verifying limits on private power (a rate over time) and energy (a sum) values. Furthermore, the cryptographic mechanisms must run on embedded energy control systems. We describe Weft, a novel cryptographic system that verifies both power (rate) and energy (integral) constraints on private client values and aggregates them. The key insight behind the approach is to rely on additively homomorphic secret shares, which allows servers to compute sums from rates. We present 3 cryptographic proof systems with different system trade-off for embedded systems: bit-splitting proofs minimize memory use, sorting proofs minimize computation, and commitment proofs minimize network communication. Using bit-splitting proofs, it takes an IoT client using a CortexM microcontroller 4 minutes of compute time to privately control its share of an energy resource for a day at 20s granularity.

Laufer, Evan↗
NASA NTRS1981

Software metrics: Software quality metrics for distributed systems

Software quality metrics was extended to cover distributed computer systems. Emphasis is placed on studying embedded computer systems and on viewing them within a system life cycle. The hierarchy of quality factors, criteria, and metrics was maintained. New software quality factors were added, including survivability, expandability, and evolvability.

Post, J. V.↗
DOE OSTI2023

Structure of a 28.5 kDa duplex-embedded G-quadruplex system resolved to 7.4 Å resolution with cryo-EM

Genomic regions with high guanine content can fold into non-B form DNA four-stranded structures known as G-quadruplexes (G4s). Extensive in vivo investigations have revealed that promoter G4s are transcriptional regulators. Little structural information exists for these G4s embedded within duplexes, their presumed genomic environment. Here, we report the 7.4 Å resolution structure and dynamics of a 28.5 kDa duplex-G4-duplex (DGD) model system using cryo-EM, molecular dynamics, and small-angle X-ray scattering (SAXS) studies. The DGD cryo-EM refined model features a 53° bend induced by a stacked duplex-G4 interaction at the 5’ G-tetrad interface with a persistently unstacked 3’ duplex. The surrogate complement poly dT loop preferably stacks onto the 3’ G-tetrad interface resulting in occlusion of both 5’ and 3’ tetrad interfaces. Structural analysis shows that the DGD model is quantifiably more druggable than the monomeric G4 structure alone and represents a new structural drug target. Our results illustrate how the integration of cryo-EM, MD, and SAXS can reveal complementary detailed static and dynamic structural information on DNA G4 systems.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS1983

Forecasting trends in NASA flight software development tools

The experience gained in the design and development of Shuttle flight and ground support embedded software systems along with projections of increasing role and size of software in the proposed Space Station and other future NASA projects provides the basis for forecasting substantial changes in the tools and methodologies by which embedded software systems are developed and acquired. Similar changes in software architectures and operator interfaces will lead to substantial changes in the approach and techniques involved in software test and system integration. Increasing commonality among different flight systems and between flight and supporting ground systems is projected, along with a more distributed approach to software acquisition in highly complex projects such as Space Station.

Garman, J. R.↗
NASA NTRS2002

Galvanic Liquid Applied Coating System For Protection of Embedded Steel Surfaces from Corrosion

Corrosion of reinforcing steel in concrete is an insidious problem facing Kennedy Space Center (KSC), other Government Agencies, and the general public. These problems include KSC launch support structures, highway bridge infrastructure, and building structures such as condominium balconies. Due to these problems, the development of a Galvanic Liquid Applied Coating System would be a breakthrough technology having great commercial value for the following industries: Transportation, Infrastructure, Marine Infrastructure, Civil Engineering, and the Construction Industry. This sacrificial coating system consists of a paint matrix that may include metallic components, conducting agents, and moisture attractors. Similar systems have been used in the past with varying degrees of success. These systems have no proven history of effectiveness over the long term. In addition, these types of systems have had limited success overcoming the initial resistance between the concrete/coating interface. The coating developed at KSC incorporates methods proven to overcome the barriers that previous systems could not achieve. Successful development and continued optimization of this breakthrough system would produce great interest in NASA/KSC for corrosion engineering technology and problem solutions. Commercial patents on this technology would enhance KSC's ability to attract industry partners for similar corrosion control applications.

Curran, Joseph↗
NASA NTRS2017

A CFD Case Study of a Fan Stage with Split Flow Path Subject to Total Pressure Distortion Inflow

This report is the documentation of the work performed under the Hypersonic Project of the NASA's Fundamental Aeronautics Program. It was funded through Task Number NNC10E444T under GESS-2 Contract NNC06BA07B. The objective of the task is to develop advanced computational tools for the simulation of multi-stage turbomachinery in support of aeropropulsion. This includes work elements in extending the TURBO code and validating the multi-stage URANS (Unsteady Reynolds Averaged Navier Stokes) simulation results with the experimental data. The unsteady CFD (Computation Fluid Dynamics) calculations were performed in full wheel mode with and without screen generated total pressure distortion at the computational inflow boundary, as well as in single passage phase lag mode for uniform inflow. The experimental data were provided by NASA from the single stage RTA (Revolutionary Turbine Accelerator) fan test program.Significant non-uniform flow condition at the fan-face of the aeropropulsion system is frequentlyencountered in many of the advanced aerospace vehicles. These propulsion systems can be eithera podded or an embedded design employed in HWB (Hybrid Wing Body) airframe concept. It isalso a topic of interest in military applications, in which advanced air vehicles have already deployedsome form of embedded propulsion systems in their design because of the requirementsof compact and low observable inlets. Even in the conventional airframe/engine design, the fancould operate under such condition when the air vehicle is undergoing rapid maneuvering action.It is believed that a better understanding of the fan’s aerodynamic and aeromechanical responseto this type of operating condition or off design operation would be beneficial to designing distortiontolerant blades for improved engine operability.The objective for this research is to assess the capability of turbomachinery code as an analysistool in understanding the effects and evaluating the impact of flow distortion on the aerodynamicand aeromechanical performance of the fan in advanced propulsion systems. Results from thetesting of an advanced fan stage released by NASA are available and will be used here for CFDcode validation. The experiment was performed at NASA’s high speed compressor facility aspart of the RTA (Revolutionary Turbine Accelerator) demonstration project, a joint effort ofNASA Glenn Research Center and GE Aircraft Engines in developing an advanced Mach 4TBCC (Turbine Based Combined Cycle) turbofan/ramjet engine for access to space. Part of thetest was to assess the aerodynamic performance and operability of the fan stage under nonuniforminflow condition. Various flow distortion patterns were created at the fan-face by manipulatingsets of screens placed upstream of the wind tunnel. Measurements at the fan-face willprovide the necessary distortion flow information as the inflow boundary condition for the CFDin a full wheel simulation. Therefore the purpose of this work is to demonstrate the NASA supportedmulti-stage turbomachinery code, TURBO [1-5], in the aerodynamic performance analysisof a modern fan design operating under off design condition, and in particular to validate theCFD results with the RTA fan test data.A brief description of the RTA fan rig configuration is given in the next section, explaining onhow flow distortion were measured in the test and constructed for the CFD at the fan-face. It isfollowed by a section summarizing previous CFD work performed at NASA relevant to the currentfan configuration. A short description of the TURBO code is given next, followed by detailsin the computational model of the fan rig, the required computing resources, and the numericalprocedure for the simulations. The CFD results are presented in the discussion section and finallyconcluding remarks are summarized.

Fan Stage↗
DOE OSTI2024

Privacy Preserving Federated Learning for Advanced Scientific Ecosystems

We present a framework to provide privacy preserving (PP) federating learning (FL) across multiple computational and experimental facilities. This work joins the compute capabilities of National Energy Research Scientific Computing Center (NERSC) and Oak Ridge National Laboratory Research Cloud (ORC) with simulated experimental data, such as those produced at the SLAC National Accelerator Laboratory and Spallation Neutron Source (SNS). We describe the software infrastructure developed to provide privacy for computational and experimental networks. We developed algorithmic privacy across the federated system by embedding database security, computation, and communication into the federation architecture, utilizing scientific tools developed by the experimental community.

Archibald, Rick [ORNL] (ORCID:0000000245389780)↗
DOE OSTI2023

Automated Adversary-in-the-Loop Cyber-Physical Defense Planning

Security of cyber-physical systems (CPS) continues to pose new challenges due to the tight integration and operational complexity of the cyber and physical components. To address these challenges, this article presents a domain-aware, optimization-based approach to determine an effective defense strategy for CPS in an automated fashion—by emulating a strategic adversary in the loop that exploits system vulnerabilities, interconnection of the CPS, and the dynamics of the physical components. Our approach builds on an adversarial decision-making model based on a Markov Decision Process (MDP) that determines the optimal cyber (discrete) and physical (continuous) attack actions over a CPS attack graph. The defense planning problem is modeled as a non-zero-sum game between the adversary and defender. We use a model-free reinforcement learning method to solve the adversary’s problem as a function of the defense strategy. We then employ Bayesian optimization (BO) to find an approximate best-response for the defender to harden the network against the resulting adversary policy. This process is iterated multiple times to improve the strategy for both players. We demonstrate the effectiveness of our approach on a ransomware-inspired graph with a smart building system as the physical process. Numerical studies show that our method converges to a Nash equilibrium for various defender-specific costs of network hardening.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1988

Design consideration in constructing high performance embedded Knowledge-Based Systems (KBS)

As the hardware trends for artificial intelligence (AI) involve more and more complexity, the process of optimizing the computer system design for a particular problem will also increase in complexity. Space applications of knowledge based systems (KBS) will often require an ability to perform both numerically intensive vector computations and real time symbolic computations. Although parallel machines can theoretically achieve the speeds necessary for most of these problems, if the application itself is not highly parallel, the machine's power cannot be utilized. A scheme is presented which will provide the computer systems engineer with a tool for analyzing machines with various configurations of array, symbolic, scaler, and multiprocessors. High speed networks and interconnections make customized, distributed, intelligent systems feasible for the application of AI in space. The method presented can be used to optimize such AI system configurations and to make comparisons between existing computer systems. It is an open question whether or not, for a given mission requirement, a suitable computer system design can be constructed for any amount of money.

Dalton, Shelly D.↗
NASA NTRS1994

Delivering spacecraft control centers with embedded knowledge-based systems: The methodology issue

Matra Marconi Space (MMS) occupies a leading place in Europe in the domain of satellite and space data processing systems. The maturity of the knowledge-based systems (KBS) technology, the theoretical and practical experience acquired in the development of prototype, pre-operational and operational applications, make it possible today to consider the wide operational deployment of KBS's in space applications. In this perspective, MMS has to prepare the introduction of the new methods and support tools that will form the basis of the development of such systems. This paper introduces elements of the MMS methodology initiatives in the domain and the main rationale that motivated the approach. These initiatives develop along two main axes: knowledge engineering methods and tools, and a hybrid method approach for coexisting knowledge-based and conventional developments.

Ayache, S.↗
NASA NTRS2010

Electric Field Measurements During the Genesis and Rapid Intensification Processes (GRIP) Field Program

During the Genesis and Rapid Intensification Processes (GRIP) field program, a system of 6 electric field mills was flown on one of NASA's Global Hawk aircraft. We placed several mills on the aircraft to enable us to measure the vector electric field. We created a distributed, ethernet-connected system so that each sensor has its own embedded Linux system, complete with web server. This makes our current generation system fully "sensor web enabled." The Global Hawk has several unique qualities, but relevant to quality storm electric field measurements are high altitude (20 km) and long duration (20-30 hours) flights. There are several aircraft participating in the GRIP program, and coordinated measurements are happening. Lightning and electric field measurements will be used to study the relationships between lightning and other storm characteristics. It has been long understood that lightning can be used as a marker for strong convective activity. Past research and field programs suggest that lightning flash rate may serve as an indicator and precursor for rapid intensification change in tropical cyclones and hurricanes. We have the opportunity to sample hurricanes for many hours at a time and observe intensification (or de-intensification) periods. The electrical properties of hurricanes during such periods are not well known. American

Bateman, Monte G.↗