Search NASA⌕ Search

SEARCH · Search NASA

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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
NASA NTRS1995

Non-standard analysis and embedded software

One model for computing in the future is ubiquitous, embedded computational devices analogous to embedded electrical motors. Many of these computers will control physical objects and processes. Such hidden computerized environments introduce new safety and correctness concerns whose treatment go beyond present Formal Methods. In particular, one has to begin to speak about Real Space software in analogy with Real Time software. By this we mean, computerized systems which have to meet requirements expressed in the real geometry of space. How to translate such requirements into ordinary software specifications and how to carry out proofs is a major challenge. In this talk we propose a research program based on the use of no-standard analysis. Much detail remains to be carried out. The purpose of the talk is to inform the Formal Methods community that Non-Standard Analysis provides a possible avenue to attack which we believe will be fruitful.

Platek, Richard↗
NASA NTRS1997

Damping Experiment of Spinning Composite Plates with Embedded Viscoelastic Material

One way to increase gas turbine engine blade reliability and durability is to reduce blade vibration. It is well known that vibration reduction can be achieved by adding damping to metal and composite blade-disk systems. This experiment was done to investigate the use of integral viscoelastic damping treatments to reduce vibration of rotating composite fan blades. It is part of a joint research effort with NASA LeRC and the University of California, San Diego (UCSD). Previous vibration bench test results obtained at UCSD show that plates with embedded viscoelastic material had over ten times greater damping than similar untreated plates; and this was without a noticeable change in blade stiffness. The objectives of this experiment, were to verify the structural integrity of composite plates with viscoelastic material embedded between composite layers while under large steady forces from spinning, and to measure the damping and natural frequency variation with rotational speed.

Mehmed, Oral↗
NASA NTRS1998

Fabrication and Testing of Mo-Re Heat Pipes Embedded in Carbon/Carbon

Refractory-composite/heat-pipe-cooled wing an tail leading edges are being considered for use on hypersonic vehicles to limit maximum temperatures to values below material reuse limits and to eliminate the need to actively cool the leading edges. The development of a refractory-composite/heat-pipe-cooled leading edge has evolved from the design stage to the fabrication and testing of heat pipes embedded in carbon/carbon (C/C). A three-foot-long, molybdenum-rhenium heat pipe with a lithium working fluid was fabricated and tested at an operating temperature of 2460 F to verify the individual heat-pipe design. Following the fabrication of this heat pipe, three additional heat pipes were fabricated and embedded in C/C. The C/C heat-pipe test article was successfully tested using quartz lamps in a vacuum chamber in both a horizontal and vertical orientation. Start up and steady state data are presented for the C/C heat-pipe test article. Radiography and eddy current evaluations were performed on the test article.

Glass, David E.↗
NASA NTRS1998

Modal Analysis of Embedded Passive Damping Materials in Composite Plates with Different Orientations

This report presents an experimental and numerical investigation of the free vibration of cantilevered composite plates with and without passive damping. A total of seven composite material plates are considered. The lay-up sequences for the two plates without damping are [90/90/0/0], and [90/0/90/0]; the other five plates are the same as the first two with two embedded layers of passive damping material. The passive damping material is embedded at different locations in the plate with orientation [90/0/90/0],. The damping material employed is a 3M material (SJ-2015 ISD 112) with peak damping properties in the ambient temperature range (32 F to 140 F). The composite material used is a carbon fiber (977-2)/epoxy resin (IM7). The effect of the passive damping system employed in this study for the composite plates are discussed. Modal testing is performed on these plates to determine resonant frequencies, amplitude and mode shape information. Numerical results are obtained using COSMOS/M software for the plates without damping. The experimental and numerical results are in very good agreement for different laminated plates without damping layers.

Kehoe, Michael↗
NASA NTRS2000

Optical Control of Intersubband Absorption in a Multiple Quantum Well-Embedded Semiconductor Microcravity

Optical intersubband response of a multiple quantum well (MQW)-embedded microcavity driven by a coherent pump field is studied theoretically. The n-type doped MQW structure with three subbands in the conduction band is sandwiched between a semi-infinite medium and a distributed Bragg reflector (DBR). A strong pump field couples the two upper subbands and a weak field probes the two lower subbands. To describe the optical response of the MQW-embedded microcavity, we adopt a semi-classical nonlocal response theory. Taking into account the pump-probe interaction, we derive the probe-induced current density associated with intersubband transitions from the single-particle density-matrix formalism. By incorporating the current density into the Maxwell equation, we solve the probe local field exactly by means of Green's function technique and the transfer-matrix method. We obtain an exact expression for the probe absorption coefficient of the microcavity. For a GaAs/Al(sub x)Ga(sub 1-x)As MQW structure sandwiched between a GaAs/AlAs DBR and vacuum, we performed numerical calculations of the probe absorption spectra for different parameters such as pump intensity, pump detuning, and cavity length. We find that the probe spectrum is strongly dependent on these parameters. In particular, we find that the combination of the cavity effect and the Autler-Townes effect results in a triplet in the optical spectrum of the MQW system. The optical absorption peak value and its location can be feasibly controlled by varying the pump intensity and detuning.

Liu, Ansheng↗
NASA NTRS2001

Inherent and Apparent Scattering Properties of Coated or Uncoated Spheres Embedded in an Absorbing Host Medium

The conventional Lorenz-Mie formalism is extended to the scattering process associated with a coated sphere embedded in an absorbing medium. It is shown that apparent and inherent scattering cross sections of a scattering particle, which are identical in the case of transparent host medium, are different if the host medium is absorptive. Here the inherent single-scattering properties are derived from the near-field information whereas the corresponding apparent counterparts are derived from the far-field asymptotic form of the scattered wave with scaling of host absorption that is assumed to be in an exponential form. The formality extinction and scattering efficiencies defined in the same manner as in the conventional sense can be unbounded. For a nonabsorptive particle embedded in an absorbing medium, the effect of host absorption on the phase matrix elements associated with polarization is significant. This effect, however, is largely reduced for strongly absorptive particles such as soot. For soot particles coated with water, the impurity can substantially reduce the single-scattering albedo of the particle if the size parameter is small. For water-coating soot and hollow ice spheres, it is shown that the phase matrix elements -P(sub 12)/P(sub 11) and P(sub 33)/P(sub 11) are unique if the shell is thin, as compared with the case for thick shell. Furthermore, the radiative transfer equation regarding a multidisperse particle system in an absorbing medium is discussed. It is illustrated that the conventional computation algorithms can be applied to solve the multiple scattering process if the scaled apparent single-scattering properties are applied.

Yang, P.↗
NASA NTRS2002

Monitoring of Structural Integrity of Composite Structures by Embedded Optical Fiber Sensors

Real time monitoring of the mechanical integrity and stresses on key aerospace composite structures like aircraft wings, walls of pressure vessels and fuel tanks or any other structurally extended components and panels as in space telescopes is very important to NASA. Future military and commercial aircraft as well as NASA space systems such as Space Based Radar and International Space Station will incorporate a monitoring system to sense any degradation to the structure. In the extreme flight conditions of an aerospace vehicle it might be desirable to measure the strain every ten centimeters and thus fully map out the strain field of a composite component. A series of missions and vehicle health management requirements call for these measurements. At the moment thousands of people support a few vehicle launches per year. This number can be significantly reduced by implementing intelligent vehicles with integral nervous systems (smart structures). This would require maintenance to be performed only as needed. Military and commercial aircrafts have an equally compelling case. Maintenance yearly costs are currently reaching astronomical heights. Monitoring techniques are therefore required that allow for maintenance to be performed only when needed. This would allow improved safety by insuring that necessary tasks are performed while reducing costs by eliminating procedures that are costly and not needed. The advantages fiber optical sensors have over conventional electro-mechanical systems like strain gauges have been widely extolled in the research literature. These advantages include their small size, low weight, immunity to electrical resistance, corrosion resistance, compatibility with composite materials and process conditions, and multiplexing capabilities. One fiber optic device which is suitable for distributed sensing is the fiber Bragg grating (FBG). Researchers at NASA MSFC are currently developing techniques for using FBGs for monitoring the integrity of advanced structural materials expected to become the mainstay of the current and future generation space structures. Since carbon-epoxy composites are the materials of choice for the current space structures, the initial study is concentrated on this type of composite. The goals of this activity are to use embedded FBG sensors for measuring strain and temperature of composite structures, and to investigate the effects of various parameters such as composite fiber orientation with respect to the optical sensor, unidirectional fiber composite, fabrication process etc., on the optical performance of the sensor. This paper describes an experiment to demonstrate the use of an embedded FBG for measuring strain in a composite material. The performance of the fiber optic sensor is determined by direct comparison with results from more conventional instrumentation.

Albert J. Osei↗
NASA NTRS2002

An Embedded Reconfigurable Logic Module

A Miniature Embedded Reconfigurable Computer and Logic (MERCAL) module has been developed and verified. MERCAL was designed to be a general-purpose, universal module that that can provide significant hardware and software resources to meet the requirements of many of today's complex embedded applications. This is accomplished in the MERCAL module by combining a sub credit card size PC in a DIMM form factor with a XILINX Spartan I1 FPGA. The PC has the ability to download program files to the FPGA to configure it for different hardware functions and to transfer data to and from the FPGA via the PC's ISA bus during run time. The MERCAL module combines, in a compact package, the computational power of a 133 MHz PC with up to 150,000 gate equivalents of digital logic that can be reconfigured by software. The general architecture and functionality of the MERCAL hardware and system software are described.

Tucker, Jerry H.↗
NASA NTRS2003

Investigation of Structural Properties of Carbon-Epoxy Composites Using Embedded Fiber-Optic Bragg Gratings

Real time monitoring of the mechanical integrity and stresses on key aerospace composite structures like aircraft wings, walls of pressure vessels and fuel tanks or any other structurally extended components and panels as in space telescopes is very important to NASA. Future military and commercial aircraft as well as NASA space systems such as Space Based Radar and International Space Station will incorporate a monitoring system to sense any degradation to the structure. In the extreme flight conditions of an aerospace vehicle it might be desirable to measure the strain every ten centimeters and thus fully map out the strain field of a composite component. A series of missions and vehicle health management requirements call for these measurements. At the moment thousands of people support a few vehicle launches per year. This number can be significantly reduced by implementing intelligent vehicles with integral nervous systems (smart structures). This would require maintenance to be performed only as needed. Military and commercial aircrafts have an equally compelling case. Annual maintenance costs are currently reaching astronomical heights. Monitoring techniques are therefore required that allow for maintenance to be performed only when needed. This would allow improved safety by insuring that necessary tasks are performed while reducing costs by eliminating procedures that are costly and not needed. The advantages fiber optical sensors have over conventional electro-mechanical systems like strain gauges have been widely extolled in the research literature. These advantages include their small size, low weight, immunity to electrical resistance, corrosion resistance, compatibility with composite materials and process conditions, and multiplexing capabilities. One fiber optic device which is suitable for distributed sensing is the fiber Bragg grating (FBG). This is a periodic perturbation in the refractive index of the fiber core. When a broadband light is coupled into the optical fiber sensor, a reflection peak will be obtained centered around a wavelength called Bragg-wavelength. The Bragg-wavelength depends on the refractive index and the period of the grating, which both change due to mechanical and thermal strain applied to the sensor. The shift in the Bragg-wavelength is directly proportional to the strain. Researchers at NASA MSFC are currently developing techniques for using FBGs for monitoring the integrity of advanced structural materials expected to become the mainstay of the current and future generation space structures. Since carbon-epoxy composites are the materials of choice for the current space structures, the initial study is concentrated on this type of composite. The goals of this activity are to use embedded FBG sensors for measuring strain and temperature of composite structures, and to investigate the effects of various parameters such as composite fiber orientation with respect to the optical sensor, unidirectional fiber composite, fabrication process etc., on the optical performance of the sensor. This paper describes an experiment to demonstrate the use of an embedded FBG for measuring strain in a composite material. The performance of the fiber optic sensor is determined by direct comparison with results from more conventional instrumentation.

Osei, Albert J.↗
NASA NTRS1999

Envelope structure of deeply embedded young stellar objects in the Serpens Molecular Cloud

Aperture-synthesis and single-dish (sub-) millimeter molecular-line and continuum observations reveal in great detail the envelope structure of deeply embedded young stellar objects (SMM 1 = FIRS 1, SMM 2, SMM 3, SMM 4) in the densely star-forming Serpens Molecular Cloud. SMM 1, 3, and 4 show partially resolved (>2" = 800 AU) continuum emission in the beam of the Owens Valley Millimeter Array at lambda = 3.4-1.4 mm. The continuum visibilities accurately constrain the density structure in the envelopes, which can be described by a radial power law with slope -2.0 +/- 0.5 on scales of 300 to 8000 AU. Inferred envelope masses within a radius of 8000 AU are 8.7, 3.0, and 5.3 Msolar for SMM 1, 3, and 4, respectively. A point source with 20%-30% of the total flux at 1.1 mm is required to fit the observations on long baselines, corresponding to warm envelope material within approximately 100 AU or a circumstellar disk. No continuum emission is detected interferometrically toward SMM 2, corresponding to an upper limit of 0.2 Msolar assuming Td = 24 K. The lack of any compact dust emission suggests that the SMM 2 core does not contain a central protostar. Aperture-synthesis observations of the 13CO, C18O, HCO+, H13CO+, HCN, H13CN, N2H+ 1-0, SiO 2-1, and SO 2(2)-1(1) transitions reveal compact emission toward SMM 1, 3, and 4. SMM 2 shows only a number of clumps scattered throughout the primary field of view, supporting the conclusion that this core does not contain a central star. The compact molecular emission around SMM 1, 3, and 4 traces 5"-10" (2000-4000 AU) diameter cores that correspond to the densest regions of the envelopes, as well as material directly associated with the molecular outflow. Especially prominent are the optically thick HCN and HCO+ lines that show up brightly along the walls of the outflow cavities. SO and SiO trace shocked material, where their abundances may be enhanced by 1-2 orders of magnitude over dark-cloud values. A total of 31 molecular transitions have been observed with the James Clerk Maxwell and Caltech Submillimeter telescopes in the 230, 345, 490, and 690 GHz atmospheric windows toward all four sources, containing, among others, lines of CO, HCO+, HCN, H2CO, SiO, SO, and their isotopomers. These lines show 20-30 km s-1 wide line wings, deep and narrow (1-2 km s-1) self-absorption, and 2-3 km s-1 FWHM line cores. The presence of highly excited lines like 12CO 4-3 and 6-5, 13CO 6-5, and several H2CO transitions indicates the presence of material with temperatures > or approximately 100 K. Monte Carlo calculations of the molecular excitation and line transfer show that the envelope model derived from the dust emission can successfully reproduce the observed line intensities. The depletion of CO in the cold gas is modest compared to values inferred in objects like NGC 1333 IRAS 4, suggesting that the phase of large depletions through the entire envelope is short lived and may be influenced by the local star formation density. Emission in high-excitation lines of CO and H2CO requires the presence of a small amount of approximately 100 K material, comprising less than 1% of the total envelope mass and probably associated with the outflow or the innermost region of the envelope. The derived molecular abundances in the warm (Tkin > 20 K) envelope are similar to those found toward other class 0 YSOs like IRAS 16293-2422, though some species appear enhanced toward SMM 1. Taken together, the presented observations and analysis provide the first comprehensive view of the physical and chemical structure of the envelopes of deeply embedded young stellar objects in a clustered environment on scales between 1000 and 10,000 AU.

NASA Discipline Exobiology↗
NASA NTRS2004

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

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

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

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

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

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

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↗