Search NASA⌕ Search

SEARCH · Search NASA

Results for “embeddings”

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 955 records · Page 53

Single Event Effects (SEE) Testing of Embedded DSP Cores within Microsemi RTAX4000D Field Programmable Gate Array (FPGA) Devices

Motivation for this work is: (1) Accurately characterize digital signal processor (DSP) core single-event effect (SEE) behavior (2) Test DSP cores across a large frequency range and across various input conditions (3) Isolate SEE analysis to DSP cores alone (4) Interpret SEE analysis in terms of single-event upsets (SEUs) and single-event transients (SETs) (5) Provide flight missions with accurate estimate of DSP core error rates and error signatures.

Perez, Christopher E.↗

System and method for embedding emotion in logic systems

A system, method, and computer readable-media for creating a stable synthetic neural system. The method includes training an intellectual choice-driven synthetic neural system (SNS), training an emotional rule-driven SNS by generating emotions from rules, incorporating the rule-driven SNS into the choice-driven SNS through an evolvable interface, and balancing the emotional SNS and the intellectual SNS to achieve stability in a nontrivial autonomous environment with a Stability Algorithm for Neural Entities (SANE). Generating emotions from rules can include coding the rules into the rule-driven SNS in a self-consistent way. Training the emotional rule-driven SNS can occur during a training stage in parallel with training the choice-driven SNS. The training stage can include a self assessment loop which measures performance characteristics of the rule-driven SNS against core genetic code. The method uses a stability threshold to measure stability of the incorporated rule-driven SNS and choice-driven SNS using SANE.

Curtis, Steven A.↗

Copilot: Monitoring Embedded Systems

Runtime verification (RV) is a natural fit for ultra-critical systems, where correctness is imperative. In ultra-critical systems, even if the software is fault-free, because of the inherent unreliability of commodity hardware and the adversity of operational environments, processing units (and their hosted software) are replicated, and fault-tolerant algorithms are used to compare the outputs. We investigate both software monitoring in distributed fault-tolerant systems, as well as implementing fault-tolerance mechanisms using RV techniques. We describe the Copilot language and compiler, specifically designed for generating monitors for distributed, hard real-time systems. We also describe two case-studies in which we generated Copilot monitors in avionics systems.

Pike, Lee↗

Indigenous Carbon Embedded in Apollo 17 Black Volcanic Glass Surface Deposits

The assessment of indigenous organic matter in returned lunar samples was one of the primary scientific goals of the Apollo program. The levels of such organic material were expected to be and found to be small. Previous work on this topic includes Murphy et al. [1] who reported the presence of anthropogenic organics with sub-ppm concentrations in Apollo 11 fines. In Apollo 12 samples, Preti et al. [2] detected low levels, < 10 ppb or below, of more complex organic material that may have been synthesized by abrupt heating during analysis. Kvenvolden et al. [3] detected porphyrin-like pigments at the ng to pg level in an Apollo 11 bulk sample. Hodgson et al. [4] and Ponnamperuma et al. [5] suggested that most if not all porphyrins were synthesized from rocket fuel during module landing. Chang et al. [6] reported indigenous carbon ranging from 5-20 g/g in the form of metal carbides in Apollo 11 fines. Hare et al. [7] reported amino acids at he 50 ng/g level in Apollo 11 samples but suggested the results may be explained as contamination. More recently, Clemett et al. [8] reported simple polycyclic aromatic hydrocarbons at concentrations of < 1ppm in an Apollo 16 soil. Low concentrations of lunar organics may be a consequence not only of its paucity, but also its heterogeneous distribution. If the sample size required for a measurement is large relative to the localization of organics, detection is limited not by ultimate sensitivity but rather by the ability to distinguish an indigenous signature from background contamination [9].

Thomas-Keprta, Kathie L.↗

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↗

Coupling Between Microstrip Lines and Finite Ground Coplanar Lines Embedded in Polyimide Layers for 3D-MMICs on Silicon

Three-dimensional circuits built upon multiple layers of polyimide are required for constructing Si/SiGe monolithic microwave/mm-wave integrated circuits on CMOS (low resistivity) Si wafers. It is expected that these circuits will replace the ones fabricated on GaAs and reduce the overall system cost. However, the closely spaced transmission lines that are required for a high-density circuit environment are susceptible to high levels of cross-coupling, which degrades the overall circuit performance. In this paper, theoretical and experimental results on coupling and ways to reduce it are presented for two types of transmission lines: a) the microstrip line and b) the Finite Ground Coplanar (FGC) line. For microstrip lines it is shown that a fence of metalized via-holes can significantly reduce coupling, especially in the case when both lines are on the same polyimide layer or when the shielding structure extends through several polyimide layers. For closely spaced microstrip lines, coupling is lower for a metal filled trench shield than a via-hole fence. Coupling amongst microstrip lines is dependent on the ratio of line separation to polyimide thickness and is primarily due to magnetic fields. For FGC lines it is shown that they have in general low coupling that can be reduced significantly when there is even a small gap between the ground planes of each line. FGC lines have approximately 8 dB lower coupling than coupled coplanar waveguides (CPW). In addition, forward and backward characteristics of the FGC lines do not resemble those of other transmission lines such as microstrip. Therefore, the coupling mechanism of the FGC lines is different compared to thin film microstrip lines.

Ponchak, G. E.↗

Indigenous Carbonaceous Phases Embedded Within Surface Deposits on Apollo 17 Volcanic Glass Beads

The assessment of indigenous organic matter in returned lunar samples was one of the primary scientific goals of the Apollo program. Prior studies of Apollo samples have shown the total amount of organic matter to be in the range of approx 50 to 250 ppm. Low concentrations of lunar organics may be a consequence not only of its paucity but also its heterogeneous distribution. Several processes should have contributed to the lunar organic inventory including exogenous carbonaceous accretion from meteoroids and interplanetary dust particles, and endogenous synthesis driven by early planetary volcanism and cosmic and solar radiation.

Thomas-Keprta, K. L.↗

Wireless Performance of a Fully Passive Neurorecording Microsystem Embedded in Dispersive Human Head Phantom

This paper reports the wireless performance of a biocompatible fully passive microsystem implanted in phantom media simulating the dispersive dielectric properties of the human head, for potential application in recording cortical neuropotentials. Fully passive wireless operation is achieved by means of backscattering electromagnetic (EM) waves carrying 3rd order harmonic mixing products (2f(sub 0) plus or minus f(sub m)=4.4-4.9 GHZ) containing targeted neuropotential signals (fm approximately equal to 1-1000 Hz). The microsystem is enclosed in 4 micrometer thick parylene-C for biocompatibility and has a footprint of 4 millimeters x 12 millimeters x 500 micrometers. Preliminary testing of the microsystem implanted in the lossy biological simulating media results in signal-to-noise ratio's (SNR) near 22 (SNR approximately equal to 38 in free space) for millivolt level neuropotentials, demonstrating the potential for fully passive wireless microsystems in implantable medical applications.

Schwerdt, Helen N.↗

Warm and Saline Events Embedded in the Meridional Circulation of the Northern North Atlantic

Ocean state estimates from 1958 to 2005 from the Simple Ocean Assimilation System (SODA) system are analyzed to understand circulation between subtropical and subpolar Atlantic and their connection with atmospheric forcing. This analysis shows three periods (1960s, around 1980, and 2000s) with enhanced warm, saline waters reaching high latitudes, alternating with freshwater events originating at high latitudes. It complements surface drifter and altimetry data showing the subtropical -subpolar exchange leading to a significant temperature and salinity increase in the northeast Atlantic after 2001. The warm water limb of the Atlantic meridional overturning cell represented by SODA expanded in density/salinity space during these warm events. Tracer simulations using SODA velocities also show decadal variation of the Gulf Stream waters reaching the subpolar gyre and Nordic seas. The negative phase of the North Atlantic Oscillation index, usually invoked in such variability, fails to predict the warming and salinization in the early 2000s, with salinities not seen since the 1960s. Wind stress curl variability provided a linkage to this subtropical/subpolar gyre exchange as illustrated using an idealized two ]layer circulation model. The ocean response to the modulation of the climatological wind stress curl pattern was found to be such that the northward penetration of subtropical tracers is enhanced when amplitude of the wind stress curl is weaker than normal. In this case both the subtropical and subpolar gyres weaken and the subpolar density surfaces relax; hence, the polar front moves westward, opening an enhanced northward access of the subtropical waters in the eastern boundary current.

Hakkinen, Sirpa↗

Complex Indigenous Organic Matter Embedded in Apollo 17 Volcanic Black Glass Surface Deposits

Papers presented at the first Lunar Science Conference [1] and those published in the subsequent Science Moon Issue [2] reported the C content of Apollo II soils, breccias, and igneous rocks as rang-ing from approx.50 to 250 parts per million (ppm). Later Fegley & Swindle [3] summarized the C content of bulk soils from all the Apollo missions as ranging from 2.5 (Apollo 15) to 280 ppm (Apollo 16) with an overall average of 124+/- 45 ppm. These values are unexpectedly low given that multiple processes should have contributed (and in some cases continue to contribute) to the lunar C inventory. These include exogenous accretion of cometary and asteroidal dust, solar wind implantation, and synthesis of C-bearing species during early lunar volcanism. We estimate the contribution of C from exogenous sources alone is approx.500 ppm, which is approx.4x greater than the reported average. While the assessm ent of indigenous organic matter (OM) in returned lunar samples was one of the primary scientific goals of the Apollo program, extensive analysis of Apollo samples yielded no evidence of any significant indigenous organic species. Furthermore, with such low concentrations of OM reported, the importance of discriminating indigenous OM from terrestrial contamination (e.g., lunar module exhaust, sample processing and handling) became a formidable task. After more than 40 years, with the exception of CH4 [5-7], the presence of indigenous lunar organics still remains a subject of considerable debate. We report for the first time the identification of arguably indigenous OM present within surface deposits of black glass grains collected on the rim of Shorty crater during the Apollo 17 mission by astronauts Eugene Cernan and Harrison Schmitt.

Thomas-Keprta, Kathie L.↗

Automated Testcase Generation for Numerical Support Functions in Embedded Systems

We present a tool for the automatic generation of test stimuli for small numerical support functions, e.g., code for trigonometric functions, quaternions, filters, or table lookup. Our tool is based on KLEE to produce a set of test stimuli for full path coverage. We use a method of iterative deepening over abstractions to deal with floating-point values. During actual testing the stimuli exercise the code against a reference implementation. We illustrate our approach with results of experiments with low-level trigonometric functions, interpolation routines, and mathematical support functions from an open source UAS autopilot.

Metrics↗

Proof Compression and the Mobius PCC Architecture for Embedded Devices

The EU Mobius project has been concerned with the security of Java applications, and of mobile devices such as smart phones that execute such applications. In this talk, I'll give a brief overview of the results obtained on on-device checking of various security-related program properties. I'll then describe in more detail how the concept of certified abstract interpretation and abstraction-carrying code can be applied to polyhedral-based analysis of Java byte code in order to verify properties pertaining to the usage of resources of a down-loaded application. Particular emphasis has been on finding ways of reducing the size of the certificates that accompany a piece of code.

Jensen, Thomas↗

Embedded Data Acquisition Tools for Rotorcraft Diagnostic Sensors

Rotorcraft drive trains must withstand enormous pressure while operating continuously in extreme temperature and vibration environments. Captive components, such as planetary and spiral bevel gears, see enormous strain but are not accessible to fixed instrumentation, such as a piezoelectric transducer. Thus, it is difficult to directly monitor components that are most susceptible to damage. This innovation is a self-contained data processing unit within a specialized fixture that installs directly inside the rotating pinion gear in the gearbox. From this location, it detects and transmits high-resolution prognostic data to a fixed transceiver. The sensor is based on microelectromechanical systems (MEMS) technology and uses innovative circuit designs to capture high-bandwidth data and transmit it wirelessly from inside an operational helicopter transmission. With Ridgetop's advanced MEMS-based sensor, researchers have, for the first time, been able to extract high-resolution acoustic signatures wirelessly from sensors within the transmission that would otherwise be muffled by background gear noises. Ridgetop's innovative instrument will help researchers perform dynamic analysis of gear interaction and develop improved designs for gear components. In addition, data from this instrument can be used to validate new algorithms that detect and predict faults based on external acoustic signatures, for prognostic purposes. The result of this work will be an improvement in safety, performance, and cost for future generations of rotating components.

Wagoner, Robert↗

SN 2010j1: Optical to Hard X-Ray Observations Reveal an Explosion Embedded in a Ten Solar Mass Cocoon

Some supernovae (SNe) may be powered by the interaction of the SN ejecta with a large amount of circumstellar matter (CSM). However, quantitative estimates of the CSM mass around such SNe are missing when the CSM material is optically thick. Specifically, current estimators are sensitive to uncertainties regarding the CSM density profile and the ejecta velocity. Here we outline a method to measure the mass of the optically thick CSM around such SNe. We present new visible-light and X-ray observations of SN 2010jl (PTF 10aaxf), including the first detection of an SN in the hard X-ray band using NuSTAR. The total radiated luminosity of SN 2010jl is extreme atleast 9 1050 erg. By modeling the visible-light data, we robustly show that the mass of the circumstellar material within 1016 cm of the progenitor of SN 2010jl was in excess of 10M_. This mass was likely ejected tens of years prior to the SN explosion. Our modeling suggests that the shock velocity during shock breakout was 6000 km s1, decelerating to 2600 km s1 about 2 yr after maximum light. Furthermore, our late-time NuSTAR and XMM spectra of the SN presumably provide the first direct measurement of SN shock velocity 2 yr after the SN maximum light measured to be in the range of 2000-4500 km s1 if the ions and electrons are in equilibrium, and_2000 km s1 if they are not in equilibrium. This measurement is in agreement with the shock velocity predicted by our modeling of the visible-light data. Our observations also show that the average radial density distribution of the CSM roughly follows an r2 law. A possible explanation for the _10M_ of CSM and the wind-like profile is that they are the result of multiple pulsational pair instability events prior to the SN explosion, separated from each other by years.

circumstellar matter (CSM)↗