Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Embedded”

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 559 records · Page 31

A Scalable Nonuniform Pointer Analysis for Embedded Program

In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and elements of arrays. The main contribution consists of an efficient yet precise algorithm that can handle multithreaded programs. We first perform an inexpensive flow-sensitive analysis of each function in the program that generates semantic equations describing the effect of the function on the memory graph. These equations bear numerical constraints that describe nonuniform points-to relationships. We then iteratively solve these equations in order to obtain an abstract storage graph that describes the shape of data structures at every point of the program for all possible thread interleavings. We bring experimental evidence that this approach is tractable and precise for real-size embedded applications.

Venet, Arnaud↗

Recreation Embedded State Tuning for Optimal Readiness and Effectiveness (RESTORE)

Physiological self-regulation training is a behavioral medicine intervention that has demonstrated capability to improve psychophysiological coping responses to stressful experiences and to foster optimal behavioral and cognitive performance. Once developed, these psychophysiological skills require regular practice for maintenance. A concomitant benefit of these physiologically monitored practice sessions is the opportunity to track crew psychophysiological responses to the challenges of the practice task in order to detect shifts in adaptability that may foretell performance degradation. Long-duration missions will include crew recreation periods that will afford physiological self-regulation training opportunities. However, to promote adherence to the regimen, the practice experience that occupies their recreation time must be perceived by the crew as engaging and entertaining throughout repeated reinforcement sessions on long-duration missions. NASA biocybernetic technologies and publications have developed a closed-loop concept that involves adjusting or modulating (cybernetic, for governing) a person's task environment based upon a comparison of that person's physiological responses (bio-) with a training or performance criterion. This approach affords the opportunity to deliver physiological self-regulation training in an entertaining and motivating fashion and can also be employed to create a conditioned association between effective performance state and task execution behaviors, while enabling tracking of individuals psychophysiological status over time in the context of an interactive task challenge. This paper describes the aerospace spin-off technologies in this training application area as well as the current spin-back application of the technologies to long-duration missions - the Recreation Embedded State Tuning for Optimal Readiness and Effectiveness (RESTORE) concept. The RESTORE technology is designed to provide a physiological self-regulation training countermeasure for maintaining and reinforcing cognitive readiness, resilience under psychological stress, and effective mood states in long-duration crews. The technology consists of a system for delivering physiological self-regulation training and for tracking crew central and autonomic nervous system function; the system interface is designed to be experienced as engaging and entertaining throughout repeated training sessions on long-duration missions. Consequently, this self-management technology has threefold capability for recreation, behavioral health problem prophylaxis and remediation, and psychophysiological assay. The RESTORE concept aims to reduce the risk of future manned exploration missions by enhancing the capability of individual crewmembers to self-regulate cognitive states through recreation-embedded training protocols to effectively deal with the psychological toll of long-duration space flight.

Pope, Alan T.↗

X-Ray and Infrared Observations of Embedded Young Stars in NGC 2264

Images of the NGC 2264 star-forming region, which we have acquired with the XMM-Newton spacecraft, reveal strong X-ray emission from three deeply embedded (Av > 10 mag) young stellar objects in the vicinity of Allen's infrared source (AFGL 989 = IRS 1) and Castelaz & Grasdalen s infrared source (RNO-EW = IRS 2). Thermal plasma models for the brightest source in X-rays, located 11 southwest of Allen's star, yield a quasi-steady luminosity of Lx = 10 ergs s-1 and an extraordinarily high X-ray temperature of 100 MK. The high temperature is consistent with the presence of emission lines of Fe xxv and Fe xxvi at photon energies of 6.7 and 6.9 keV, respectively. An even higher temperature of nearly 140 MK was observed during the rise phase of a powerful impulsive X-ray flare of another young star in the IRS 2 region. Moderate-resolution near-infrared (1-4 um) spectra of the embedded objects, obtained at the NASA Infrared Telescope Facility, exhibit deep water ice absorption bands, as well as a variety of emission and absorption features of H I, CO, and both neutral and ionized metals.

Simon, Theordore↗

Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems

This paper analyzes the root causes of safety-related software errors in safety-critical, embedded systems. The results show that software errors identified as potentially hazardous to the system tend to be produced by different error mechanisms than non- safety-related software errors. Safety-related software errors are shown to arise most commonly from (1) discrepancies between the documented requirements specifications and the requirements needed for correct functioning of the system and (2) misunderstandings of the software's interface with the rest of the system. The paper uses these results to identify methods by which requirements errors can be prevented. The goal is to reduce safety-related software errors and to enhance the safety of complex, embedded systems.

Lutz, Robyn R.↗

Stellar Properties of Embedded Protostars: Progress and Prospects

Until now, high extinctions have prevented direct observation of the central objects of self-embedded, accreting protostars. However, sensitive high dispersion spectrographs on large aperture telescopes have allowed us to begin studying the stellar astrophysical properties of dozens of embedded low mass protostars in the nearest regions of star formation. These high dispersion spectra allow, for the first time, direct measurements of their stellar effective temperatures, surface gravities, rotation velocities, radial velocities (and spectroscopic binarity), mass accretion properties, and mass outflow indicators. Comparisons of the stellar properties with evolutionary models also allow us to estimate masses and constrain ages. We find that these objects have masses similar to those of older, more evolved T Tauri stars, but protostars have higher mean rotation velocities and angular momenta. Most protostars indicate high mass accretion or outflow, but some in Taurus-Auriga appear to be relatively quiescent. These new results are testing, expanding, and refining the standard star formation paradigm, and we explore how to expand this work further.

Greene, Thomas↗

Advanced Embedded Active Assemblies for Extreme Space Applications

This work describes the development and evaluation of advanced technologies for the integration of electronic die within membrane polymers. Specifically, investigators thinned silicon die, electrically connecting them with circuits on flexible liquid crystal polymer (LCP), using gold thermo-compression flip chip bonding, and embedding them within the material. Daisy chain LCP assemblies were thermal cycled from -135 to +85degC (Mars surface conditions for motor control electronics). The LCP assembly method was further utilized to embed an operational amplifier designed for operation within the Mars surface ambient. The embedded op-amp assembly was evaluated with respect to the influence of temperature on the operational characteristics of the device. Applications for this technology range from multifunctional, large area, flexible membrane structures to small-scale, flexible circuits that can be fit into tight spaces for flex to fit applications.

lead bonding↗

A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover

Bluespec SystemVerilog (BSV) is a Hardware Description Language based on the guarded action model of concurrency. It has an elegant semantics, which makes it well suited for formal reasoning. To date, a number of BSV designs have been verified with hand proofs, but little work has been conducted on the application of automated reasoning. We present a prototype shallow embedding of BSV in the PVS theorem prover. Our embedding is compatible with the PVS model checker, which can automatically prove an important class of theorems, and can also be used in conjunction with the powerful proof strategies of PVS to verify a broader class of properties than can be achieved with model checking alone.

Richards, Dominic↗

Update on Waveguide-Embedded Differential MMIC Amplifiers

There is an update on the subject matter of Differential InP HEMT MMIC Amplifiers Embedded in Waveguides (NPO-42857) NASA Tech Briefs, Vol. 33, No. 9 (September 2009), page 35. To recapitulate: Monolithic microwave integrated-circuit (MMIC) amplifiers of a type now being developed for operation at frequencies of hundreds of gigahertz contain InP high-electron-mobility transistors (HEMTs) in a differential configuration. The MMICs are designed integrally with, and embedded in, waveguide packages. The instant work does not mention InP HEMTs but otherwise reiterates part of the subject matter of the cited prior article, with emphasis on the following salient points: An MMIC is mounted in the electric-field plane ("E-plane") of a waveguide and includes a finline transition to each differential-amplifier stage. The differential configuration creates a virtual ground within each pair of transistor-gate fingers, eliminating the need for external radio-frequency grounding. This work concludes by describing a single-stage differential submillimeter-wave amplifier packaged in a rectangular waveguide and summarizing results of tests of this amplifier at frequencies of 220 and 305 GHz.

Kangaslahti, Pekka↗

Noise of Embedded High Aspect Ratio Nozzles

A family of high aspect ratio nozzles were designed to provide a parametric database of canonical embedded propulsion concepts. Nozzle throat geometries with aspect ratios of 2:1, 4:1, and 8:1 were chosen, all with convergent nozzle areas. The transition from the typical round duct to the rectangular nozzle was designed very carefully to produce a flow at the nozzle exit that was uniform and free from swirl. Once the basic rectangular nozzles were designed, external features common to embedded propulsion systems were added: extended lower lip (a.k.a. bevel, aft deck), differing sidewalls, and chevrons. For the latter detailed Reynolds-averaged Navier-Stokes (RANS) computational fluid dynamics (CFD) simulations were made to predict the thrust performance and to optimize parameters such as bevel length, and chevron penetration and azimuthal curvature. Seventeen of these nozzles were fabricated at a scale providing a 2.13 inch diameter equivalent area throat." ! The seventeen nozzles were tested for far-field noise and a few data were presented here on the effect of aspect ratio, bevel length, and chevron count and penetration. The sound field of the 2:1 aspect ratio rectangular jet was very nearly axisymmetric, but the 4:1 and 8:1 were not, the noise on their minor axes being louder than the major axes. Adding bevel length increased the noise of these nozzles, especially on their minor axes, both toward the long and short sides of the beveled nozzle. Chevrons were only added to the 2:1 rectangular jet. Adding 4 chevrons per wide side produced some decrease at aft angles, but increased the high frequency noise at right angles to the jet flow. This trend increased with increasing chevron penetration. Doubling the number of chevrons while maintaining their penetration decreased these effects. Empirical models of the parametric effect of these nozzles were constructed and quantify the trends stated above." Because it is the objective of the Supersonics Project that future design work be done more by physics-based computations and less by experiments, several codes under development were evaluated against these test cases. Preliminary results show that the RANS-based code JeNo predicts the spectral directivity of the low aspect ratio jets well, but has no capability to predict the non-axisymmetry. An effort to address this limitations, used in the RANS-based code of Leib and Goldstein, overpredicted the impact of aspect ratio. The broadband shock noise code RISN, also limited to axisymmetric assumptions, did a good job of predicting the spectral directivity of underexpanded 2:1 cold jet case but was not as successful on high aspect ratio jets, particularly when they are hot. All results are preliminary because the underlying CFD has not been validated yet. An effort using a Large Eddy Simulation code by Stanford University predicted noise that agreed with experiments to within a few dB.

Bridges, James E.↗

Oriented nanofibers embedded in a polymer matrix

A method of forming a composite of embedded nanofibers in a polymer matrix is disclosed. The method includes incorporating nanofibers in a plastic matrix forming agglomerates, and uniformly distributing the nanofibers by exposing the agglomerates to hydrodynamic stresses. The hydrodynamic said stresses force the agglomerates to break apart. In combination or additionally elongational flow is used to achieve small diameters and alignment. A nanofiber reinforced polymer composite system is disclosed. The system includes a plurality of nanofibers that are embedded in polymer matrices in micron size fibers. A method for producing nanotube continuous fibers is disclosed. Nanofibers are fibrils with diameters of 100 nm, multiwall nanotubes, single wall nanotubes and their various functionalized and derivatized forms. The method includes mixing a nanofiber in a polymer; and inducing an orientation of the nanofibers that enables the nanofibers to be used to enhance mechanical, thermal and electrical properties. Orientation is induced by high shear mixing and elongational flow, singly or in combination. The polymer may be removed from said nanofibers, leaving micron size fibers of aligned nanofibers.

Barrera, Enrique V.↗

Simulation Testing of Embedded Flight Software

Virtual Real Time (VRT) is a computer program for testing embedded flight software by computational simulation in a workstation, in contradistinction to testing it in its target central processing unit (CPU). The disadvantages of testing in the target CPU include the need for an expensive test bed, the necessity for testers and programmers to take turns using the test bed, and the lack of software tools for debugging in a real-time environment. By virtue of its architecture, most of the flight software of the type in question is amenable to development and testing on workstations, for which there is an abundance of commercially available debugging and analysis software tools. Unfortunately, the timing of a workstation differs from that of a target CPU in a test bed. VRT, in conjunction with closed-loop simulation software, provides a capability for executing embedded flight software on a workstation in a close-to-real-time environment. A scale factor is used to convert between execution time in VRT on a workstation and execution on a target CPU. VRT includes high-resolution operating- system timers that enable the synchronization of flight software with simulation software and ground software, all running on different workstations.

Shahabuddin, Mohammad↗

Inlet Flow Control and Prediction Technologies for Embedded Propulsion Systems

Fail-safe, hybrid, flow control (HFC) is a promising technology for meeting high-speed cruise efficiency, low-noise signature, and reduced fuel-burn goals for future, Hybrid-Wing-Body (HWB) aircraft with embedded engines. This report details the development of HFC technology that enables improved inlet performance in HWB vehicles with highly integrated inlets and embedded engines without adversely affecting vehicle performance. In addition, new test techniques for evaluating Boundary-Layer-Ingesting (BLI)-inlet flow-control technologies developed and demonstrated through this program are documented, including the ability to generate a BLI-like inlet-entrance flow in a direct-connect, wind-tunnel facility, as well as, the use of D-optimal, statistically designed experiments to optimize test efficiency and enable interpretation of results. Validated improvements in numerical analysis tools and methods accomplished through this program are also documented, including Reynolds-Averaged Navier-Stokes CFD simulations of steady-state flow physics for baseline, BLI-inlet diffuser flow, as well as, that created by flow-control devices. Finally, numerical methods were employed in a ground-breaking attempt to directly simulate dynamic distortion. The advances in inlet technologies and prediction tools will help to meet and exceed "N+2" project goals for future HWB aircraft.

McMillan, Michelle L.↗

Designing Fault-Injection Experiments for the Reliability of Embedded Systems

This paper considers the long-standing problem of conducting fault-injections experiments to establish the ultra-reliability of embedded systems. There have been extensive efforts in fault injection, and this paper offers a partial summary of the efforts, but these previous efforts have focused on realism and efficiency. Fault injections have been used to examine diagnostics and to test algorithms, but the literature does not contain any framework that says how to conduct fault-injection experiments to establish ultra-reliability. A solution to this problem integrates field-data, arguments-from-design, and fault-injection into a seamless whole. The solution in this paper is to derive a model reduction theorem for a class of semi-Markov models suitable for describing ultra-reliable embedded systems. The derivation shows that a tight upper bound on the probability of system failure can be obtained using only the means of system-recovery times, thus reducing the experimental effort to estimating a reasonable number of easily-observed parameters. The paper includes an example of a system subject to both permanent and transient faults. There is a discussion of integrating fault-injection with field-data and arguments-from-design.

White, Allan L.↗

Embedded diagnostic, prognostic, and health management system and method for a humanoid robot

A robotic system includes a humanoid robot with multiple compliant joints, each moveable using one or more of the actuators, and having sensors for measuring control and feedback data. A distributed controller controls the joints and other integrated system components over multiple high-speed communication networks. Diagnostic, prognostic, and health management (DPHM) modules are embedded within the robot at the various control levels. Each DPHM module measures, controls, and records DPHM data for the respective control level/connected device in a location that is accessible over the networks or via an external device. A method of controlling the robot includes embedding a plurality of the DPHM modules within multiple control levels of the distributed controller, using the DPHM modules to measure DPHM data within each of the control levels, and recording the DPHM data in a location that is accessible over at least one of the high-speed communication networks.

Barajas, Leandro G.↗

Development of Field Excavator with Embedded Force Measurement

A semi-intelligent excavation mechanism was developed for use with the NASA-built Centaur 2 rover prototype. The excavator features a continuously rotatable large bucket supported between two parallel arms, both of which share a single pivot axis near the excavator base attached to the rover. The excavator is designed to simulate the collection of regolith, such as on the Moon, and to dump the collected soil into a hopper up to one meter tall for processing to extract oxygen. Because the vehicle can be autonomous and the terrain is generally unknown, there is risk of damaging equipment or using excessive power when attempting to extract soil from dense or rocky terrain. To minimize these risks, it is critical for the rover to sense the digging forces and adjust accordingly. It is also important to understand the digging capabilities and limitations of the excavator. This paper discusses the implementation of multiple strain gages as an embedded force measurement system in the excavator's arms. These strain gages can accurately measure and resolve multi-axial forces on the excavator. In order to validate these sensors and characterize the load capabilities, a series of controlled excavation tests were performed at Glenn Research Center with the excavator at various depths and cut angles while supported by a six axis load cell. The results of these tests are both compared to a force estimation model and used for calibration of the embedded strain gages. In addition, excavation forces generated using two different types of bucket edge (straight vs. with teeth) were compared.

Soils↗

Constraint Embedding for Multibody System Dynamics

This paper describes a constraint embedding approach for the handling of local closure constraints in multibody system dynamics. The approach uses spatial operator techniques to eliminate local-loop constraints from the system and effectively convert the system into tree-topology systems. This approach allows the direct derivation of recursive O(N) techniques for solving the system dynamics and avoiding the expensive steps that would otherwise be required for handling the closedchain dynamics. The approach is very effective for systems where the constraints are confined to small-subgraphs within the system topology. The paper provides background on the spatial operator O(N) algorithms, the extensions for handling embedded constraints, and concludes with some examples of such constraints.

Jain, Abhinandan↗

Radiative Characteristics of Clouds Embedded in Smoke Derived from Airborne Multiangular Measurements

Clouds in the presence of absorbing aerosols result in their apparent darkening, observed at the top of atmosphere (TOA), which is associated with the radiative effects of aerosol absorption. Owing to the large radiative effect and potential impacts on regional climate, above-cloud aerosols have recently been characterized in multiple satellite-based studies. While satellite data are particularly useful in showing the radiative impact of above-cloud aerosols at the TOA, recent literature indicates large uncertainties in satellite retrievals of above-cloud aerosol optical depth (AOD) and single scattering albedo (SSA), which are among the most important parameters in the assessment of associated radiative effects. In this study, we analyze radiative characteristics of clouds in the presence of wildfire smoke using airborne data primarily from NASA's Cloud Absorption Radiometer, collected during the Arctic Research of the Composition of the Troposphere from Aircraft and Satellites campaign in Canada during the 2008 summer season. We found a strong positive reflectance (R) gradient in the UV-visible (VIS)-near infrared (NIR) spectrum for clouds embedded in dense smoke, as opposed to an (expected) negative gradient for cloud-free smoke and a flat spectrum for smoke-free cloud cover. Several cases of clouds embedded in thick smoke were found, when the aircraft made circular/spiral measurements, which not only allowed the complete characterization of angular distribution of smoke scattering but also provided the vertical distribution of smoke and clouds (within 0.5-5 km). Specifically, the largest darkening by smoke was found in the UV/VIS, with R(sub 0.34 microns) reducing to 0.2 (or 20%), in contrast to 0.8 at NIR wavelengths (e.g., 1.27 microns). The observed darkening is associated with large AODs (0.5-3.0) and moderately low SSA (0.85-0.93 at 0.53 microns), resulting in a significantly large instantaneous aerosol forcing efficiency of 254 +/- 47 W/sq m/τ. Our observations of smoke-cloud radiative interactions were found to be physically consistent with theoretical plane-parallel 1-D and Monte Carlo 3-D radiative transfer calculations, capturing the observed gradient across UV-VIS-NIR. Results from this study offer insights into aerosol-cloud radiative interactions and may help in better constraining satellite retrieval algorithms.

absorbing aerosols↗