Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “label propagation”

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.

Anomaly Detection in Flight Operational Data Using Deep Learning

In this session, we demonstrate two recently developed deep learning models for anomaly detection in flight operational data by the Data Sciences Group at NASA Ames Research Center. The first model is Convolutional Variational Auto-Encoder (CVAE) [1], which is an unsupervised deep encoder-decoder model, designed specifically for finding anomalies in heterogeneous multivariate time series data. We will demonstrate its application to finding anomalies in streaming data from NASA’s Digital Information Platform’s Fuser source. CVAE identifies data instances that are not representative of expected nominal behavior as anomalous. Since it is an unsupervised approach, the flagged anomalies will need to be reviewed by the subject matter experts (SMEs) for validation and labeling and is designed to assist with vulnerability discovery within Safety Monitoring System programs. The second model is Robust and Explainable Semi-supervised Anomaly Detection (RESAD) model [2], which builds on CVAE to allow learning from both minimally labeled data (previously reviewed by the SMEs) as well as majority unlabeled data. RESAD takes advantage of graph theoretic techniques to propagate the labels from the labeled data to the unlabeled data based on a pre-defined similarity metric and structures the learned feature space from flight time-series so that data of the same class would cluster tightly together. This model characteristic is enabled by training with an augmented loss function and allows learning of a more informative feature space for down-stream tasks such as search and active learning. We demonstrate RESAD using data from the NASA DASHlink project [3].

anomaly detection↗

Analyzing Cyber Security Threats on Cyber-Physical Systems Using Model-Based Systems Engineering

The spectre of cyber attacks on aerospace systems can no longer be ignored given that many of the components and vulnerabilities that have been successfully exploited by the adversary on other infrastructures are the same as those deployed and used within the aerospace environment. An important consideration with respect to the mission/safety critical infrastructure supporting space operations is that an appropriate defensive response to an attack invariably involves the need for high precision and accuracy, because an incorrect response can trigger unacceptable losses involving lives and/or significant financial damage. A highly precise defensive response, considering the typical complexity of aerospace environments, requires a detailed and well-founded understanding of the underlying system where the goal of the defensive response is to preserve critical mission objectives in the presence of adversarial activity. In this paper, a structured approach for modeling aerospace systems is described. The approach includes physical elements, network topology, software applications, system functions, and usage scenarios. We leverage Model-Based Systems Engineering methodology by utilizing the Object Management Group's Systems Modeling Language to represent the system being analyzed and also utilize model transformations to change relevant aspects of the model into specialized analyses. A novel visualization approach is utilized to visualize the entire model as a three-dimensional graph, allowing easier interaction with subject matter experts. The model provides a unifying structure for analyzing the impact of a particular attack or a particular type of attack. Two different example analysis types are demonstrated in this paper: a graph-based propagation analysis based on edge labels, and a graph-based propagation analysis based on node labels.

MBSE↗

The excitation of plasma waves by a current source moving in a magnetized plasma - Two-dimensional propagation

The steady motion of a large conducting body in a magnetized plasma has been shown to create a spatial structure of charges and currents in the plasma which propagate without attenuation along the magnetic field direction (the label 'Alfven wings' has been given to this structure because of its resemblance to the wings of a biplane). It has been found that the Alfven wing structure breaks up into individual Fourier components which propagate away from the source at an angle slightly greater with respect to the magnetic field than the alignment of the original structure. This process depends on wave frequency. A given frequency is lost from the Alfven wing structure at a distance which varies as 1/omega-cubed. The amplitude of these traveling waves decreases at a rate which is inversely proportional to the square root of the distance from the source.

Rasmussen, Craig E.↗

Studies on propagation of microbes in the airborne state

An investigation was conducted to demonstrate whether airborne microbes could propagate. The procedure consisted of: (1) looking for dilution of a labelled base in DNA; (2) looking for labelling of DNA by mixing aerosols of the label and the cells; (3) examining changes in cell size; (4) testing the possibility of spore germination; and (5) seeking evidence of an increase in cell number. Results indicate that growth and propagation can occur under special conditions, principally at temperatures of approximately 30 C (87 F) and water activity equivalents of 0.95 to 0.98.

Dimmick, R. L.↗

Computerized aerodynamic design of a transonically 'quiet' blade

The high noise levels produced by helicopters are major sources of concern. There are many sources of the noise, but during high-speed forward flight, impulsive noise dominates the noise spectrum. The cause of the high-speed impulsive noise is the propagation into the far field of shock waves that form on the advancing blade. This mechanism has been labeled 'delocalization'. It has been shown, however, that by judicious design of the blade-tip planform, delocalization can be prevented. The objective of the present study is to illustrate how blade-tip configurations (both planform and airfoil shape) can be systematically varied to identify shapes that avoid delocalization and simultaneously improve aerodynamic performance. This has been done using the latest version of the ROT22 transonic, full-potential, quasi-steady, rotor flow-field code. A hypothetical modern rotor blade was postulated, and tip modifications consisting of taper, sweep, and airfoil section alterations were investigated. Planform modifications were found to be most effective in eliminating delocalization.

Tauber, M. E.↗

Error Modeling of Multi-baseline Optical Truss: Application to SIM Metrology Truss Field Dependent Error - Part II

The current design of the Space Interferometry Mission (SIM) employs a 19 laser-metrology-beam system (also called L19 external metrology truss) to monitor changes of distances between the fiducials of the flight system's multiple baselines. The function of the external metrology truss is to aid in the determination of the time-variations of the interferometer baseline. The largest contributor to truss error occurs in SIM wide-angle observations when the articulation of the siderostat mirrors (in order to gather starlight from different sky coordinates) brings to light systematic errors due to offsets at levels of instrument components (which include comer cube retro-reflectors, etc.). This error is labeled external metrology wide-angle field-dependent error. Physics-based model of field-dependent error at single metrology gauge level is developed and linearly propagated to errors in interferometer delay. In this manner delay error sensitivity to various error parameters or their combination can be studied using eigenvalue/eigenvector analysis. Also validation of physics-based field-dependent model on SIM testbed lends support to the present approach. As a first example, dihedral error model is developed for the comer cubes (CC) attached to the siderostat mirrors. Then the delay errors due to this effect can be characterized using the eigenvectors of composite CC dihedral error. The essence of the linear error model is contained in an error-mapping matrix. A corresponding Zernike component matrix approach is developed in parallel, first for convenience of describing the RMS of errors across the field-of-regard (FOR), and second for convenience of combining with additional models. Average and worst case residual errors are computed when various orders of field-dependent terms are removed from the delay error. Results of the residual errors are important in arriving at external metrology system component requirements. Double CCs with ideally co-incident vertices reside with the siderostat. The non-common vertex error (NCVE) is treated as a second example. Finally combination of models, and various other errors are discussed.

comer cube retro-reflector↗

Finite-state codes

A class of codes called finite-state (FS) codes is defined and investigated. The codes, which generalize both block and convolutional codes, are defined by their encoders, which are finite-state machines with parallel inputs and outputs. A family of upper bounds on the free distance of a given FS code is derived. A general construction for FS codes is given, and it is shown that in many cases the FS codes constructed in this way have a free distance that is the largest possible. Catastrophic error propagation (CEP) for FS codes is also discussed. It is found that to avoid CEP one must solve the graph-theoretic problem of finding a uniquely decodable edge labeling of the state diagram.

Pollara, Fabrizio↗

Transneuronal pathways to the vestibulocerebellum

The alpha-herpes virus (pseudorabies, PRV) was used to observe central nervous system (CNS) pathways associated with the vestibulocerebellar system. Retrograde transneuronal migration of alpha-herpes virions from specific lobules of the gerbil and rat vestibulo-cerebellar cortex was detected immunohistochemically. Using a time series analysis, progression of infection along polyneuronal cerebellar afferent pathways was examined. Pressure injections of > 20 nanoliters of a 10(8) plaque forming units (pfu) per ml solution of virus were sufficient to initiate an infectious locus which resulted in labeled neurons in the inferior olivary subnuclei, vestibular nuclei, and their afferent cell groups in a progressive temporal fashion and in growing complexity with increasing incubation time. We show that climbing fibers and some other cerebellar afferent fibers transported the virus retrogradely from the cerebellum within 24 hours. One to three days after cerebellar infection discrete cell groups were labeled and appropriate laterality within crossed projections was preserved. Subsequent nuclei labeled with PRV after infection of the flocculus/paraflocculus, or nodulus/uvula, included the following: vestibular (e.g., z) and inferior olivary nuclei (e.g., dorsal cap), accessory oculomotor (e.g., Darkschewitsch n.) and accessory optic related nuclei, (e.g., the nucleus of the optic tract, and the medial terminal nucleus); noradrenergic, raphe, and reticular cell groups (e.g., locus coeruleus, dorsal raphe, raphe pontis, and the lateral reticular tract); other vestibulocerebellum sites, the periaqueductal gray, substantia nigra, hippocampus, thalamus and hypothalamus, amygdala, septal nuclei, and the frontal, cingulate, entorhinal, perirhinal, and insular cortices. However, there were differences in the resulting labeling between infection in either region. Double-labeling experiments revealed that vestibular efferent neurons are located adjacent to, but are not included among, flocculus-projecting supragenual neurons. PRV transport from the vestibular labyrinth and cervical muscles also resulted in CNS infections. Virus propagation in situ provides specific connectivity information based on the functional transport across synapses. The findings support and extend anatomical data regarding vestibulo-olivo-cerebellar pathways.

NASA Discipline Neuroscience↗

Gas-rich dwarf galaxies in dense and sparse environments

Dwarf irregular galaxies (generically labelled Im for the present purposes) pose an enigma to students of galaxy evolution. In nearby groups and the Virgo cluster, Im galaxies are at least as abundant as spiral galaxies, and their low surface brightnesses and high gas-to-stars ratios suggest that (at least in the stochastic self-propagating star formation scenario) there should be significant numbers of HI clouds with masses approaching 10(exp 8) solar mass which have undergone very little or no star formation. To date, however, no clouds with so little star formation that they would not be recognized as Im galaxies on high-quality photographic plates have been identified. There have been suggestions that such dwarfs may be tidally disrupted in regions of high galactic density, but may be prevalent in low density regions. We offer data from three parallel programs relevant to this issue. (1) A large number of Im galaxies throughout the Local Supercluster have been mapped in the HI spectral line using the Arecibo Radiotelescope, and we can establish the frequency with which HI disks much more extended than their optically visible portions are found. (2) Our extensive mapping of spiral and dwarf galaxies in the Virgo cluster allows us to set stringent limits on the density of star-free Hi clouds in that cluster. (3) We have conducted a sampling of the void in the distribution of galaxies toward the super galactic pole, optimized for finding low-mass HI clouds at redshifts out to approximately 2000 km/s.

Hoffman, G. Lyle↗

Tolerance and UQ4SIM: Nimble Uncertainty Documentation and Analysis Software

Ultimately, scientific numerical models need quantified output uncertainties so that modeling can evolve to better match reality. Documenting model input uncertainties and variabilities is a necessary first step toward that goal. Without known input parameter uncertainties, model sensitivities are all one can determine, and without code verification, output uncertainties are simply not reliable. The basic premise of uncertainty markup is to craft a tolerance and tagging mini-language that offers a natural, unobtrusive presentation and does not depend on parsing each type of input file format. Each file is marked up with tolerances and optionally, associated tags that serve to label the parameters and their uncertainties. The evolution of such a language, often called a Domain Specific Language or DSL, is given in [1], but in final form it parallels tolerances specified on an engineering drawing, e.g., 1 +/- 0.5, 5 +/- 10%, 2 +/- 10 where % signifies percent and o signifies order of magnitude. Tags, necessary for error propagation, can be added by placing a quotation-mark-delimited tag after the tolerance, e.g., 0.7 +/- 20% 'T_effective'. In addition, tolerances might have different underlying distributions, e.g., Uniform, Normal, or Triangular, or the tolerances may merely be intervals due to lack of knowledge (uncertainty). Finally, to address pragmatic considerations such as older models that require specific number-field formats, C-style format specifiers can be appended to the tolerance like so, 1.35 +/- 10U_3.2f. As an example of use, consider figure 1, where a chemical reaction input file is has been marked up to include tolerances and tags per table 1. Not only does the technique provide a natural method of specifying tolerances, but it also servers as in situ documentation of model uncertainties. This tolerance language comes with a utility to strip the tolerances (and tags), to provide a path to the nominal model parameter file. And, as shown in [1], having the ability to quickly mark and identify model parameter uncertainties facilitates error propagation, which in turn yield output uncertainties.

Kleb, Bil↗

Value, Cost, and Sharing: Open Issues in Constrained Clustering

Clustering is an important tool for data mining, since it can identify major patterns or trends without any supervision (labeled data). Over the past five years, semi-supervised (constrained) clustering methods have become very popular. These methods began with incorporating pairwise constraints and have developed into more general methods that can learn appropriate distance metrics. However, several important open questions have arisen about which constraints are most useful, how they can be actively acquired, and when and how they should be propagated to neighboring points. This position paper describes these open questions and suggests future directions for constrained clustering research.

constraints↗

Stress corrosion in titanium alloys and other metallic materials

Multiple physical and chemical techniques including mass spectroscopy, atomic absorption spectroscopy, gas chromatography, electron microscopy, optical microscopy, electronic spectroscopy for chemical analysis (ESCA), infrared spectroscopy, nuclear magnetic resonance (NMR), X-ray analysis, conductivity, and isotopic labeling were used in investigating the atomic interactions between organic environments and titanium and titanium oxide surfaces. Key anhydrous environments studied included alcohols, which contain hydrogen; carbon tetrachloride, which does not contain hydrogen; and mixtures of alcohols and halocarbons. Effects of dissolved salts in alcohols were also studied. This program emphasized experiments designed to delineate the conditions necessary rather than sufficient for initiation processes and for propagation processes in Ti SCC.

Harkins, C. G.↗

Baseline Optical Design for an Integrated Radio and Optical Communication System

This document outlines the baseline optical design for an Integrated Radio and Optical communication (iROC) system, specifically the version labeled in-house as Lunar R1.2a. The version number corresponds to the particular design iteration, including major and minor changes that have been made throughout the design process. The catadioptric design is based on a reflective Cassegrain telescope configuration united with refractive tertiary components in order to approach a diffraction limited, laser beam expander communication transmitter. The configuration presented is intended to be used as an optical transmitter only. Optical design parameters, far-field beam propagations, optical component sensitivity studies, and design explorations are included to provide a high-level understanding of the beam expander’s basic design requirements and optical performance.

optics↗

System on a Chip (SoC) Overview

System-on-a-chip or system on chip (SoC or SOC) refers to integrating all components of a computer or other electronic system into a single integrated circuit (chip). It may contain digital, analog, mixed-signal, and often radio-frequency functions all on a single chip substrate. Complexity drives it all: Radiation tolerance and testability are challenges for fault isolation, propagation, and validation. Bigger single silicon die than flown before and technology is scaling below 90nm (new qual methods). Packages have changed and are bigger and more difficult to inspect, test, and understand. Add in embedded passives. Material interfaces are more complex (underfills, processing). New rules for board layouts. Mechanical and thermal designs, etc.

LaBel, Kenneth A.↗

A Globally Optimal Particle Tracking Technique for Stereo Imaging Velocimetry Experiments

An important phase of any Stereo Imaging Velocimetry experiment is particle tracking. Particle tracking seeks to identify and characterize the motion of individual particles entrained in a fluid or air experiment. We analyze a cylindrical chamber filled with water and seeded with density-matched particles. In every four-frame sequence, we identify a particle track by assigning a unique track label for each camera image. The conventional approach to particle tracking is to use an exhaustive tree-search method utilizing greedy algorithms to reduce search times. However, these types of algorithms are not optimal due to a cascade effect of incorrect decisions upon adjacent tracks. We examine the use of a guided evolutionary neural net with simulated annealing to arrive at a globally optimal assignment of tracks. The net is guided both by the minimization of the search space through the use of prior limiting assumptions about valid tracks and by a strategy which seeks to avoid high-energy intermediate states which can trap the net in a local minimum. A stochastic search algorithm is used in place of back-propagation of error to further reduce the chance of being trapped in an energy well. Global optimization is achieved by minimizing an objective function, which includes both track smoothness and particle-image utilization parameters. In this paper we describe our model and present our experimental results. We compare our results with a nonoptimizing, predictive tracker and obtain an average increase in valid track yield of 27 percent

McDowell, Mark↗