Results for “Embedded computing” — Page 31

NASA NTRS2007

A Three-Dimensional MHD Simulation of the Solar Wind for a Tilted-Dipole Magnetic Field on the Sun

Using a three-dimensional MHD model, we simulate the global steady-state structure of the solar corona and solar wind for a dipole magnetic field on the Sun inclined by 30 degrees to the solar rotation axis. This represents the solar conditions typical for a declining phase of solar cycle. The computations can extend from the coronal base out to 100-AU and at large heliospheric distances includes the effects of interstellar neutral hydrogen and their interaction with solar wind protons. The simulations can model the formation of corotating interaction regions and the heliospheric current sheet. The simulations are also capable of describing very strong rarefaction regions that include embedded sub-Alfvenic regions that form on the trailing edge of a fast flows.

Goldstein, Melvyn L.↗

NASA NTRS2015

Framework and Method for Controlling a Robotic System Using a Distributed Computer Network

A robotic system for performing an autonomous task includes a humanoid robot having a plurality of compliant robotic joints, actuators, and other integrated system devices that are controllable in response to control data from various control points, and having sensors for measuring feedback data at the control points. The system includes a multi-level distributed control framework (DCF) for controlling the integrated system components over multiple high-speed communication networks. The DCF has a plurality of first controllers each embedded in a respective one of the integrated system components, e.g., the robotic joints, a second controller coordinating the components via the first controllers, and a third controller for transmitting a signal commanding performance of the autonomous task to the second controller. The DCF virtually centralizes all of the control data and the feedback data in a single location to facilitate control of the robot across the multiple communication networks.

Sanders, Adam M.↗

NASA NTRS1987

EOS: A project to investigate the design and construction of real-time distributed Embedded Operating Systems

Project EOS is studying the problems of building adaptable real-time embedded operating systems for the scientific missions of NASA. Choices (A Class Hierarchical Open Interface for Custom Embedded Systems) is an operating system designed and built by Project EOS to address the following specific issues: the software architecture for adaptable embedded parallel operating systems, the achievement of high-performance and real-time operation, the simplification of interprocess communications, the isolation of operating system mechanisms from one another, and the separation of mechanisms from policy decisions. Choices is written in C++ and runs on a ten processor Encore Multimax. The system is intended for use in constructing specialized computer applications and research on advanced operating system features including fault tolerance and parallelism.

Campbell, R. H.↗

NASA NTRS2010

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗

NASA NTRS2019

Rapid Prediction of Installed Jet Noise from RANS

A new method of computing jet noise, called mSrc, was developed on the general principles of acoustic analogies. In the method, the problem of translating turbulent flow energy into acoustic energy at a far-field observer is broken into two parts, a calculation of acoustic source strengths and then their propagation. The acoustic sources are related to turbulent quantities in the jet plume in a robust manner. The propagation, which is more properly computed using a Green's function accounting for nonuniform speed of sound and solid surfaces, is instead modeled using commonly observed features of jet acoustic far field directivity, and by diffraction barrier theory for surfaces. The mSrc method does not require gradients of the predicted flow field, allowing it to make use of robust unstructured RANS CFD methods, including embedded boundary codes. Such codes do not require specification of surface meshes, and auto-refine their grid to resolve flow gradients, putting resolution where it is required without a priori user input. The ability of mSrc to use such radically unstructured flow input results in an efficient method of estimating noise from jet flows from complex nozzles installed on aircraft. Many validation cases are presented to demonstrate the accuracy and range of applicability of the mSrc method for representative jet noise applications.

Bridges, James↗

NASA NTRS2019

Rapid Prediction of Installed Jet Noise From RANS

A new method of computing jet noise, called mSrc, was developed on the general principles of acoustic analogies. In the method, the problem of translating turbulent flow energy into acoustic energy at a far-field observer is broken into two parts, a calculation of acoustic source strengths and then their propagation. The acoustic sources are related to turbulent quantities in the jet plume in a robust manner. The propagation, which is more properly computed using a Green's function accounting for nonuniform speed of sound and solid surfaces, is instead modeled using commonly observed features of jet acoustic far field directivity, and by diffraction barrier theory for surfaces. The mSrc method does not require gradients of the predicted flow field, allowing it to make use of robust unstructured RANS CFD methods, including embedded boundary codes. Such codes do not require specification of surface meshes, and auto-refine their grid to resolve flow gradients, putting resolution where it is required without a priori user input. The ability of mSrc to use such radically unstructured flow input results in an efficient method of estimating noise from jet flows from complex nozzles installed on aircraft. Many validation cases are presented to demonstrate the accuracy and range of applicability of the mSrc method for representative jet noise applications.

Bridges, James↗

NASA NTRS2025

Magnetic Resonance Imaging (MRI) to Assess Changes to Trabecular Microarchitecture (Trb µArch) of the Hip

BACKGROUND . Calculated loss rates in trabecular (Trb) volumetric bone mineral density (vBMD), in astronauts after return from 6-month long-duration (LD) spaceflight, are rapid relative to menopause-induced loss rates and could contribute to the observed lack of recovery. Perforations in the Trb bony struts, skeletal fragility and fractures [5] have been associated with the rapid rate of bone loss in women due to menopause. The more rapid loss rate observed in astronauts could be inducing similar, irreversible losses of trabecular connectivity as seen in cadaver studies of female skeletons. These changes are not detectable by DXA technology and would not be discovered in astronauts during scheduled, triennial DXA testing for primary osteoporosis. High-resolution-peripheral quantitative computed tomography (HR-pQCT) of the lower leg have detected losses in Trb vBMD (vBMD) and changes in Trb microarchitecture (µArch) in astronauts immediately following routine 6-month spaceflights and continuing in some individuals for 1 or more years postflight with no signs of recovery. Resolution of these microarchitectural changes by whole body QCT, especially in the deeply embedded hip bone, is prohibitive due to excessive and unsafe radiation exposures. While HR-pQCT has sufficient resolution to study Trb µArch at safe and lower radiation exposure testing is restricted only to the lower leg and wrist. Hence, a technology to detect detrimental changes to Trb µArch in astronauts, especially of the hip, is needed to inform type and timing of countermeasures to irreversible deficits (preflight, inflight and postflight). METHODS . This HRP-funded study (2023-2027) will verify the sensitivity of a protocol for MRI scanning (on a 3T Siemens Vida) to detect changes to hip Trb µArch in persons following spinal cord injury (SCI); skeletal immobilization below the spinal lesion will serve as an analog for non-weight-bearing during spaceflight. The study period has been extended by 1 yr due to delayed Richmond IRB approval in Y1. A 3T MRI protocol will characterize serial changes in hip Trb µArch in SCI patients from time of admission at the Richmond VA Medical Center to their scheduled annual exam 12-months later. SCI patients with age, sex, and physical characteristics like ISS astronauts will be consented. The ability of 3T MRI hip scan to discriminate loss of trabecular connectivity subjects with SCI will be compared to age- and sex-matched ambulatory controls. A comparison between HR-pQCT and MRI measurements at the ankle (distal tibia) of study subjects will also be performed. A modified DXA scan analysis (3D-Shaper) will also be verified as a potential method for monitoring concurrent changes in hip Trb bone over 12-month. SIGNIFICANCE . Deliverables: a surveillance method for assessing for irreversible losses of connectivity and how skeletal changes after LD spaceflight(s) would modify the terrestrial risk of primary osteoporosis.

Spinal Cord Injury↗

NASA NTRS2025

Magnetic Resonance Imaging (MRI) to Assess Changes to Trabecular Microarchitecture (Trb µArch) of the Hip

BACKGROUND . Calculated loss rates in trabecular (Trb) volumetric bone mineral density (vBMD), in astronauts after return from 6-month long-duration (LD) spaceflight, are rapid relative to menopause-induced loss rates and could contribute to the observed lack of recovery. Perforations in the Trb bony struts, skeletal fragility and fractures [5] have been associated with the rapid rate of bone loss in women due to menopause. The more rapid loss rate observed in astronauts could be inducing similar, irreversible losses of trabecular connectivity as seen in cadaver studies of female skeletons. These changes are not detectable by DXA technology and would not be discovered in astronauts during scheduled, triennial DXA testing for primary osteoporosis. High-resolution-peripheral quantitative computed tomography (HR-pQCT) of the lower leg have detected losses in Trb vBMD (vBMD) and changes in Trb microarchitecture (µArch) in astronauts immediately following routine 6-month spaceflights and continuing in some individuals for 1 or more years postflight with no signs of recovery. Resolution of these microarchitectural changes by whole body QCT, especially in the deeply embedded hip bone, is prohibitive due to excessive and unsafe radiation exposures. While HR-pQCT has sufficient resolution to study Trb µArch at safe and lower radiation exposure testing is restricted only to the lower leg and wrist. Hence, a technology to detect detrimental changes to Trb µArch in astronauts, especially of the hip, is needed to inform type and timing of countermeasures to irreversible deficits (preflight, inflight and postflight). METHODS . This HRP-funded study (2023-2027) will verify the sensitivity of a protocol for MRI scanning (on a 3T Siemens Vida) to detect changes to hip Trb µArch in persons following spinal cord injury (SCI); skeletal immobilization below the spinal lesion will serve as an analog for non-weight-bearing during spaceflight. The study period has been extended by 1 yr due to delayed Richmond IRB approval in Y1. A 3T MRI protocol will characterize serial changes in hip Trb µArch in SCI patients from time of admission at the Richmond VA Medical Center to their scheduled annual exam 12-months later. SCI patients with age, sex, and physical characteristics like ISS astronauts will be consented. The ability of 3T MRI hip scan to discriminate loss of trabecular connectivity subjects with SCI will be compared to age- and sex-matched ambulatory controls. A comparison between HR-pQCT and MRI measurements at the ankle (distal tibia) of study subjects will also be performed. A modified DXA scan analysis (3D-Shaper) will also be verified as a potential method for monitoring concurrent changes in hip Trb bone over 12-month. SIGNIFICANCE . Deliverables: a surveillance method for assessing for irreversible losses of connectivity and how skeletal changes after LD spaceflight(s) would modify the terrestrial risk of primary osteoporosis.

Risk Surveillance↗

NASA NTRS1995

Active Piezoelectric Structures for Tip Clearance Management Assessed

Managing blade tip clearance in turbomachinery stages is critical to developing advanced subsonic propulsion systems. Active casing structures with embedded piezoelectric actuators appear to be a promising solution. They can control static and dynamic tip clearance, compensate for uneven deflections, and accomplish electromechanical coupling at the material level. In addition, they have a compact design. To assess the feasibility of this concept and assist the development of these novel structures, the NASA Lewis Research Center developed in-house computational capabilities for composite structures with piezoelectric actuators and sensors, and subsequently used them to simulate candidate active casing structures. The simulations indicated the potential of active casings to modify the blade tip clearance enough to improve stage efficiency. They also provided valuable design information, such as preliminary actuator configurations (number and location) and the corresponding voltage patterns required to compensate for uneven casing deformations. An active ovalization of a casing with four discrete piezoceramic actuators attached on the outer surface is shown. The center figure shows the predicted radial displacements along the hoop direction that are induced when electrostatic voltage is applied at the piezoceramic actuators. This work, which has demonstrated the capabilities of in-house computational models to analyze and design active casing structures, is expected to contribute toward the development of advanced subsonic engines.

Source record↗

NASA NTRS1995

A Hybrid Parallel Preconditioning Algorithm For CFD

A new hybrid preconditioning algorithm will be presented which combines the favorable attributes of incomplete lower-upper (ILU) factorization with the favorable attributes of the approximate inverse method recently advocated by numerous researchers. The quality of the preconditioner is adjustable and can be increased at the cost of additional computation while at the same time the storage required is roughly constant and approximately equal to the storage required for the original matrix. In addition, the preconditioning algorithm suggests an efficient and natural parallel implementation with reduced communication. Sample calculations will be presented for the numerical solution of multi-dimensional advection-diffusion equations. The matrix solver has also been embedded into a Newton algorithm for solving the nonlinear Euler and Navier-Stokes equations governing compressible flow. The full paper will show numerous examples in CFD to demonstrate the efficiency and robustness of the method.

Barth,Timothy J.↗

NASA NTRS2004

Advanced Aerospace Materials by Design

The advances in the emerging field of nanophase thermal and structural composite materials; materials with embedded sensors and actuators for morphing structures; light-weight composite materials for energy and power storage; and large surface area materials for in-situ resource generation and waste recycling, are expected to :revolutionize the capabilities of virtually every system comprising of future robotic and :human moon and mars exploration missions. A high-performance multiscale simulation platform, including the computational capabilities and resources of Columbia - the new supercomputer, is being developed to discover, validate, and prototype next generation (of such advanced materials. This exhibit will describe the porting and scaling of multiscale 'physics based core computer simulation codes for discovering and designing carbon nanotube-polymer composite materials for light-weight load bearing structural and 'thermal protection applications.

Srivastava, Deepak↗

NASA NTRS1990

The method of lines in analyzing solids containing cracks

A semi-numerical method is reviewed for solving a set of coupled partial differential equations subject to mixed and possibly coupled boundary conditions. The line method of analysis is applied to the Navier-Cauchy equations of elastic and elastoplastic equilibrium to calculate the displacement distributions in various, simple geometry bodies containing cracks. The application of this method to the appropriate field equations leads to coupled sets of simultaneous ordinary differential equations whose solutions are obtained along sets of lines in a discretized region. When decoupling of the equations and their boundary conditions is not possible, the use of a successive approximation procedure permits the analytical solution of the resulting ordinary differential equations. The use of this method is illustrated by reviewing and presenting selected solutions of mixed boundary value problems in three dimensional fracture mechanics. These solutions are of great importance in fracture toughness testing, where accurate stress and displacement distributions are required for the calculation of certain fracture parameters. Computations obtained for typical flawed specimens include that for elastic as well as elastoplastic response. Problems in both Cartesian and cylindrical coordinate systems are included. Results are summarized for a finite geometry rectangular bar with a central through-the-thickness or rectangular surface crack under remote uniaxial tension. In addition, stress and displacement distributions are reviewed for finite circular bars with embedded penny-shaped cracks, and rods with external annular or ring cracks under opening mode tension. The results obtained show that the method of lines presents a systematic approach to the solution of some three-dimensional mechanics problems with arbitrary boundary conditions. The advantage of this method over other numerical solutions is that good results are obtained even from the use of a relatively coarse grid.

Gyekenyesi, John P.↗

NASA NTRS2011

Effects of Inlet Distortion on Aeromechanical Stability of a Forward-Swept High-Speed Fan

Concerns regarding noise, propulsive efficiency, and fuel burn are inspiring aircraft designs wherein the propulsive turbomachines are partially (or fully) embedded within the airframe; such designs present serious concerns with regard to aerodynamic and aeromechanic performance of the compression system in response to inlet distortion. Separately, a forward-swept high-speed fan was developed to address noise concerns of modern podded turbofans; however this fan encounters aeroelastic instability (flutter) as it approaches stall. A three-dimensional, unsteady, Navier-Stokes computational fluid dynamics code is applied to analyze and corroborate fan performance with clean inlet flow. This code, already validated in its application to assess aerodynamic damping of vibrating blades at various flow conditions, is modified and then applied in a computational study to preliminarily assess the effects of inlet distortion on aeroelastic stability of the fan. Computational engineering application and implementation issues are discussed, followed by an investigation into the aeroelastic behavior of the fan with clean and distorted inlets.

Herrick, Gregory P.↗

NASA NTRS1992

Autonomous power system brassboard

The Autonomous Power System (APS) brassboard is a 20 kHz power distribution system which has been developed at NASA Lewis Research Center, Cleveland, Ohio. The brassboard exists to provide a realistic hardware platform capable of testing artificially intelligent (AI) software. The brassboard's power circuit topology is based upon a Power Distribution Control Unit (PDCU), which is a subset of an advanced development 20 kHz electrical power system (EPS) testbed, originally designed for Space Station Freedom (SSF). The APS program is designed to demonstrate the application of intelligent software as a fault detection, isolation, and recovery methodology for space power systems. This report discusses both the hardware and software elements used to construct the present configuration of the brassboard. The brassboard power components are described. These include the solid-state switches (herein referred to as switchgear), transformers, sources, and loads. Closely linked to this power portion of the brassboard is the first level of embedded control. Hardware used to implement this control and its associated software is discussed. An Ada software program, developed by Lewis Research Center's Space Station Freedom Directorate for their 20 kHz testbed, is used to control the brassboard's switchgear, as well as monitor key brassboard parameters through sensors located within these switches. The Ada code is downloaded from a PC/AT, and is resident within the 8086 microprocessor-based embedded controllers. The PC/AT is also used for smart terminal emulation, capable of controlling the switchgear as well as displaying data from them. Intelligent control is provided through use of a T1 Explorer and the Autonomous Power Expert (APEX) LISP software. Real-time load scheduling is implemented through use of a 'C' program-based scheduling engine. The methods of communication between these computers and the brassboard are explored. In order to evaluate the features of both the brassboard hardware and intelligent controlling software, fault circuits have been developed and integrated as part of the brassboard. A description of these fault circuits and their function is included. The brassboard has become an extremely useful test facility, promoting artificial intelligence (AI) applications for power distribution systems. However, there are elements of the brassboard which could be enhanced, thus improving system performance. Modifications and enhancements to improve the brassboard's operation are discussed.

Merolla, Anthony↗

NASA NTRS1993

Software Products

MAST is a decision support system to help in the management of dairy herds. Data is collected on dairy herds around the country and processed at regional centers. One center is Cornell University, where Dr. Lawrence Jones and his team developed MAST. The system draws conclusions from the data and summarizes it graphically. CLIPS, which is embedded in MAST, gives the system the ability to make decisions without user interaction. With this technique, dairy managers can identify herd problems quickly, resulting in improved animal health and higher milk quality. CLIPS (C Language Integrated Production System) was developed by NASA's Johnson Space Center. It is a shell for developing expert systems designed to permit research, development and delivery on conventional computers.

Source record↗

NASA NTRS2004

On the Use of Parmetric-CAD Systems and Cartesian Methods for Aerodynamic Design

Automated, high-fidelity tools for aerodynamic design face critical issues in attempting to optimize real-life geometry arid in permitting radical design changes. Success in these areas promises not only significantly shorter design- cycle times, but also superior and unconventional designs. To address these issues, we investigate the use of a parmetric-CAD system in conjunction with an embedded-boundary Cartesian method. Our goal is to combine the modeling capabilities of feature-based CAD with the robustness and flexibility of component-based Cartesian volume-mesh generation for complex geometry problems. We present the development of an automated optimization frame-work with a focus on the deployment of such a CAD-based design approach in a heterogeneous parallel computing environment.

Nemec, Marian↗

NASA NTRS2008

Spaceborne Hybrid-FPGA System for Processing FTIR Data

Progress has been made in a continuing effort to develop a spaceborne computer system for processing readout data from a Fourier-transform infrared (FTIR) spectrometer to reduce the volume of data transmitted to Earth. The approach followed in this effort, oriented toward reducing design time and reducing the size and weight of the spectrometer electronics, has been to exploit the versatility of recently developed hybrid field-programmable gate arrays (FPGAs) to run diverse software on embedded processors while also taking advantage of the reconfigurable hardware resources of the FPGAs.

Bekker, Dmitriy↗

NASA NTRS2011

Energy Usage in an Embedded Space Vision Application on a Tiled Architecture

The need for greater autonomy in platforms such as planetary rovers is driving rapidly to codes that far overwhelm the capabilities of conventional space-qualified single core processors to run them in real-time. However, a new generation of potentially space-qualified 2D "tiled" multi-core microprocessor chips is emerging with significant performance potential. Leveraging such inherently parallel hardware for space platforms requires consideration of both time and power limitations - the latter of which is not normally done in conventional parallel computing. This paper takes one such application, Rockster, and analyzes it for energy usage when ported to a multi-core tiled chip such as may come from the Maestro program. The results demonstrate not only the criticality of memory and interconnect in the energy of real-time parallel codes, but also the effects of possible "energy-aware" changes in partitioning and algorithm design.

multi-core processors↗