Search NASA⌕ Search

SEARCH · Search NASA

Results for “ordered search”

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 289 records · Page 16

Results of software error-data experiments

In order to evaluate existing software reliability models and proposed modeling approaches, a search was conducted for data on the software failure process. This search revealed that the data necessary for this evaluation were not available. As a result, a research effort was initiated by NASA to generate data on which to base the development of credible methods for assessing the reliability of software targeted for flight-crucial applications. Two sets of software error-data experiments were conducted by different research groups. The results of the experiments were consistent: errors caused by different faults in a program occurred at widely varying rates; program failure rates exhibited a log-linear trend with respect to the number of faults corrected; some faults were found to interact in either concealing or revealing ways; and contiguous regions of the input space which cause a program to generate errors, called error crystals, were found and characterized for some faults. Collectively, these experiments have produced information on software failure which must be accounted for in software reliability modeling approaches.

Finelli, George B.↗

A search for small solar-system bodies near the earth using a ground-based telescope - Technique and observations

A large, previously undetected flux of small bodies near earth is identified by employing the standard technique of detection of an individual object in two consecutive frames. The observational periods and viewing coordinates for the search for small bodies are presented. A null test is performed in order to further demonstrate that the signatures in the images are not due to instrumental artifacts. The observed fluxes, orbital motions, and radii of the small bodies detected are in agreement with those for the small cometlike objects previously reported. It is pointed out that the radii of the small bodies would be in the range of meters. Since an alternative interpretation of the small bodies is possible, it is suggested that the use of a telescope with larger aperture and/or array detectors with lesser noise levels is necessary to confirm the present observations.

Frank, L. A.↗

AB Initio Characterization of MgCCH, MgCCH(+), and MgC2, and Pathways to their Formation in the Interstellar Medium

A study of Mg-bearing compounds has been performed in order to determine molecular properties which are critical for planning new astronomical searches and laboratory studies. The primary focus of the work is on MgCCH, MgCCH(+), and the isomers of MgC2. Only MgCCH has been identified in laboratory studies. Additional calculations have been carried out on MgH, MgNC, MgCN, and their cations in an effort to evaluate pathways to the formation of MgCCH and MgCCH(+) in the InterStellar Medium (ISM) or in circumstellar envelopes. Correlated ab initio methods and correlation-consistent basis sets have been employed. Properties including structures, rotational constants, dipole moments, and harmonic frequencies are reported. A transition state between linear MgCC and cyclic MgC2 has been characterized and was found to yield a minimal barrier (approx. 0.5 kcal/mole), indicating easy interconversion to the cyclic form. Direct reactions in the ISM between Mg or Mg(+) and HCCH are precluded by energetic considerations, but a number of ion- molecule or neutral-neutral exchange reactions between CCH and various Mg-containing species offer plausible pathways to MgCCH or MgCCH(+). Weakly bound MgH may react with CCH to form MgCCH, but MgH has not been detected. Both MgNC and MgCN have been observed, but reactions with CCH are slightly endothermic by 1-3 kcal/mole. Although MgH(+), MgNC(+), and MgCN(+) have not been detected, their reactions with CCH to form MgCCH(+) are all exothermic. With only a small barrier separating linear MgCC and cyclic MgC2, the dissociative recombination of MgCCH(+) with an electron is expected to yield cyclic MgC2, and regenerate Mg and CCH. New astronomical searches for MgCCH, MgCCH(+), cyclic MgC2, MgNC(+), and MgCN(+) will provide further insight into organo-magnesium astrochemistry.

Woon, David E.↗

Origin of X-ray Emission from Planetary Nebulae

We proposed to use the entire ROSAT archive to search for observations of Galactic planetary nebulae, and analyze these observations, in order to determine the origin of X-ray emission from planetary nebulae. We have cross-correlated the ROSAT archive with a catalog of Galactic planetary nebulae and found useful ROSAT observations for approx. 80 planetary nebulae. These observations have been analyzed. X-ray emission is detected in 13 nebulae. The X-ray spectra and luminosities of these positive detections have been analyzed, and the 3-sigma upper limits are determined for the non-detections. The X-ray properties of planetary nebulae are correlated with the distance and extinction of the nebula, and the temperature and surface gravity of the central star, in order to explain the observed X-ray emission. The results are reported in a conference and a paper that has been published in the Astrophysical Journal Supplement. We conclude that this program has been successfully completed.

Chu, You-Hua↗

Cross-Correlation Analysis of UV Profile Variations and Nonradial Pulsations in Be Stars

This study is an investigation of the role of photospheric nonradial pulsations in the mass loss processes of Be stars. Some 18 Be stars were the focus of intensive, multi-wavelength campaigns between 1985 and 1996 with the NASA/ESA International Ultraviolet Explorer Satellite (IUE) . The campaigns were designed to monitor variations in the UV flux and stellar wind lines with near simultaneous, high signal-to-noise, optical spectroscopy of photospheric lines. The high quality, ground-based spectra were required to record the subtle, blue-to-red moving bump patterns in spectral line profiles that result from nonradial pulsations. We found that the same fine variations in the UV photospheric lines can be extracted from noisy IUE spectra by cross-correlating each target spectrum with a narrow-lined standard spectrum. Time series analyses of the cross-correlation functions then reveal the periodic signals, amplitudes, phases, and modal identifications of the pulsations. Our goals are to compare such results from UV and optical time series in order to model the stellar photospheric temperature and velocity fluctuations, and to search for correlated UV wind line variations to determine whether there is a connection between pulsation and mass loss.

Gies, Douglas R.↗

Combining Earth System Modeling and Machine Learning to Investigate Volcanic Sulfate Deposition in Polar Ice Cores

Volcanic eruptions emit large amounts of sulfur dioxide (SO2), water, and other chemicals into the atmosphere, both in the troposphere and the stratosphere. Most of the SO2 is converted to sulfate aerosol, which is eventually deposited following long-range transport. The deposits from large eruptions are potentially detectable in ice cores, but there are many cases in which sulfate layers have not been linked to their source volcanoes. As volcanoes can act as significant shocks to the global climate system, we are interested in locating these eruptions in order to increase understanding of the volcanic record. To narrow down the search, we performed 140 simulations of volcanic eruptions using the GISS ModelE Earth system model. We varied the latitude, longitude, Julian day, plume top, plume bottom, and injected SO2 and H2O amounts using a Latin hypercube sampling approach, and analyzed correlations between these parameters and sulfate depositions at ice core sites in Antarctica and Greenland. Using machine learning and parameter estimation, we generated probability distributions and maximum likelihood estimates for the parameters given sulfate deposition data, which can predict latitude with some skill. We find that the volcano latitude and SO2 content are best correlated with sulfate depositions at each pole, while longitude, Julian day, and H2O have small or insignificant effects. Plume altitude and thickness are important because they determine how much of the SO2 is injected into the stratosphere, which has implications for sulfur transport and lifetimes.

Earth system models↗

Surface Clutter Removal in Airborne Radar Sounding Data from the Dry Valleys, Antarctica

We have collected roughly 1,000 line-km of airborne radar sounding data over glaciers, rock/ice glaciers, permafrost, subsurface ice bodies, ice-covered saline lakes, and glacial deposits in Taylor and Beacon Valley. These data are being analyzed in order to develop techniques for discriminating between subsurface and off-nadir echoes and for detecting and characterizing subsurface interfaces. The identification of features on Mars exhibiting morphologies consistent with ice/rock mixtures, near-surface ice bodies and near-surface liquid water, and the importance of such features to the search for water on Mars, highlights the need for appropriate terrestrial analogs and analysis techniques in order to prepare for radar sounder missions to Mars. Climatic, hydrological, and geological conditions in the Dry Valleys of Antarctica are analogous in many ways to those on Mars. A crucial first step in the data analysis process is the discrimination of echo sources in the radar data. The goal is to identify all returns from the surface of off-nadir topography in order to positively identify subsurface echoes. This process will also be critical for radar data that will be collected in areas of Mars exhibiting significant topography, so that subsurface echoes are identified unambiguously. The positive detection and characterization of subsurface (including sub-ice) water is a primary goal of NASA's Mars exploration program. Our data over the Dry Valleys provides an opportunity to implement techniques we are developing to accomplish these goals.

Holt, J. W.↗

NASA's Solar System Exploration Research Virtual Institute: Building Collaboration Through International Partnerships

The NASA Solar System Exploration Research Virtual Institute (SSERVI) is a virtual institute focused on re-search at the intersection of science and exploration, training the next generation of lunar scientists, and community development. As part of the SSERVI mission, we act as a hub for opportunities that engage the larger scientific and exploration communities in order to form new interdisciplinary, research-focused collaborations. This talk will describe the international partner re-search efforts and how we are engaging the international science and exploration communities through workshops, conferences, online seminars and classes, student exchange programs and internships.

Virtual Institute↗

Kepler Planet Detection Metrics: Per-Target Flux-Level Transit Injection Tests of TPS for Data Release 25

Quantifying the ability of a transiting planet survey to recover transit signals has commonly been accomplished through Monte-Carlo injection of transit signals into the observed data and subsequent running of the signal search algorithm (Gilliland et al., 2000; Weldrake et al., 2005; Burke et al., 2006). In order to characterize the performance of the Kepler pipeline (Twicken et al., 2016; Jenkins et al., 2017) on a sample of over 200,000 stars, two complementary injection and recovery tests are utilized:1. Injection of a single transit signal per target into the image or pixel-level data, hereafter referred to as pixel-level transit injection (PLTI), with subsequent processing through the Photometric Analysis (PA), Presearch Data Conditioning (PDC), Transiting Planet Search (TPS), and Data Validation (DV) modules of the Kepler pipeline. The PLTI quantification of the Kepler pipeline's completeness has been described previously by Christiansen et al. (2015, 2016); the completeness of the final SOC 9.3 Kepler pipeline acting on the Data Release 25 (DR25) light curves is described by Christiansen (2017).2. Injection of multiple transit signals per target into the normalized flux time series data with a subsequent transit search using a stream-lined version of the Transiting Planet Search (TPS) module. This test, hereafter referred to as flux-level transit injection (FLTI), is the subject of this document. By running a heavily modified version of TPS, FLTI is able to perform many injections on selected targets and determine in some detail which injected signals are recoverable. Significant numerical efficiency gains are enabled by precomputing the data conditioning steps at the onset of TPS and limiting the search parameter space (i.e., orbital period, transit duration, and ephemeris zero-point) to a small region around each injected transit signal.The PLTI test has the advantage that it follows transit signals through all processing steps of the Kepler pipeline, and the recovered signals can be further classified as planet candidates or false positives in the exact same manner as detections from the nominal (i.e., observed) pipeline run (Twicken et al., 2016, Thompson et al., in preparation). To date, the PLTI test has been the standard means of measuring pipeline completeness averaged over large samples of targets (Christiansen et al., 2015, 2016; Christiansen, 2017). However, since the PLTI test uses only one injection per target, it does not elucidate individual-target variations in pipeline completeness due to differences in stellar properties or astrophysical variability. Thus, we developed the FLTI test to provide a numerically efficient way to fully map individual targets and explore the performance of the pipeline in greater detail. The FLTI tests thereby allow a thorough validation of the pipeline completeness models (such as window function (Burke and Catanzarite, 2017a), detection efficiency (Burke Catanzarite, 2017b), etc.) across the spectrum of Kepler targets (i.e., various astrophysical phenomena and differences in instrumental noise). Tests during development of the FLTI capability revealed that there are significant target-to-target variations in the detection efficiency.

DR25↗

Optimizing Vetoes for Gravitational-wave Transient Searches

Interferometric gravitational-wave detectors like LIGO, GEO600 and Virgo record a surplus of information above and beyond possible gravitational-wave events. These auxiliary channels capture information about the state of the detector and its surroundings which can be used to infer potential terrestrial noise sources of some gravitational-wave-like events. We present an algorithm addressing the ordering (or equivalently optimizing) of such information from auxiliary systems in gravitational-wave detectors to establish veto conditions in searches for gravitational-wave transients. The procedure was used to identify vetoes for searches for unmodelled transients by the LIGO and Virgo collaborations during their science runs from 2005 through 2007. In this work we present the details of the algorithm; we also use a limited amount of data from LIGO's past runs in order to examine the method, compare it with other methods, and identify its potential to characterize the instruments themselves. We examine the dependence of Receiver Operating Characteristic curves on the various parameters of the veto method and the implementation on real data. We find that the method robustly determines important auxiliary channels, ordering them by the apparent strength of their correlations to the gravitational-wave channel. This list can substantially reduce the background of noise events in the gravitational-wave data. In this way it can identify the source of glitches in the detector as well as assist in establishing confidence in the detection of gravitational-wave transients.

Transient↗

High-bandwidth frequency domain multiplexed readout of transition-edge sensors for neutrinoless double beta decay searches

The next-generation of cryogenic neutrinoless double-beta decay experiments require increasingly fast readout in order to improve background discrimination. These experiments, operated as cryogenic calorimeters at ∼ 10 mK, are usually read out by high-impedance neutron transmutation doped (NTD) thermistors, which provide good energy resolution, but are limited by ∼ 1 ms response times. Superconducting detectors, such as transition-edge sensors (TESs) with a time resolution of ∼ 100 μs, offer superior timing performance over NTD semiconductor bolometers. To make this technology viable for an application to a thousand or more channels, multiplexed readout is necessary in order to minimize the thermal load and radioactive contamination induced by the readout. Frequency-domain multiplexing readout (fMUX) for TESs, previously developed at Berkeley Lab and McGill University, is currently in use for mm-wave telescopes with detector sampling rates in the order of 100 Hz. We demonstrate a new readout system, based on the McGill/Berkeley digital fMux readout, to satisfy the higher bandwidth and noise requirements of the next generation of TES-instrumented cryogenic calorimeters. Each multiplexing readout module comprises 10 superconducting resonators in the 1–5 MHz range and a DC superconducting quantum interference device (DC-SQUID), interfaced to high-speed field programmable gate array (FPGA)-based electronics for digital signal processing and low-latency SQUID feedback. The new readout samples detectors at 156 kHz, three orders of magnitude faster than its cosmology-oriented predecessor, and demonstrates a stable feedback bandwidth of 3 kHz in a real TES-based system.

47 OTHER INSTRUMENTATION↗

Searching for Soft Relativistic Jets in Core-Collapse Supernovae with the IceCube Optical Follow-up Program

Context. Transient neutrino sources such as Gamma-Ray Bursts (GRBs) and Supernovae (SNe) are hypothesized to emit bursts of high-energy neutrinos on a time-scale of < or approx.100 s. While GRB neutrinos would be produced in high relativistic jets, core-collapse SNe might host soft-relativistic jets, which become stalled in the outer layers of the progenitor star leading to an efficient production of high-energy neutrinos. Aims. To increase the sensitivity to these neutrinos and identify their sources, a low-threshold optical follow-up program for neutrino multiplets detected with the IceCube observatory has been implemented. Methods. If a neutrino multiplet, i.e. two or more neutrinos from the same direction within 100 s, is found by IceCube a trigger is sent to the Robotic Optical Transient Search Experiment, ROTSE. The 4 ROTSE telescopes immediately start an observation program of the corresponding region of the sky in order to detect an optical counterpart to the neutrino events. Results. No statistically significant excess in the rate of neutrino multiplets has been observed and furthermore no coincidence with an optical counterpart was found. Conclusions. The search allows, for the first time, to set stringent limits on current models predicting a high-energy neutrino flux from soft relativistic hadronic jets in core-collapse SNe. We conclude that a sub-population of SNe with typical Lorentz boost factor and jet energy of 10 and 3 x 10(exp 51) erg, respectively, does not exceed 4:2% at 90% confidence.

Abbasi, R.↗

Bounding the Resource Availability of Partially Ordered Events with Constant Resource Impact

We compare existing techniques to bound the resource availability of partially ordered events. We first show that, contrary to intuition, two existing techniques, one due to Laborie and one due to Muscettola, are not strictly comparable in terms of the size of the search trees generated under chronological search with a fixed heuristic. We describe a generalization of these techniques called the Flow Balance Constraint to tightly bound the amount of available resource for a set of partially ordered events with piecewise constant resource impact We prove that the new technique generates smaller proof trees under chronological search with a fixed heuristic, at little increase in computational expense. We then show how to construct tighter resource bounds but at increased computational cost.

Frank, Jeremy↗

The pathfinder X-Ray axion telescope for the International Axion Observatory (IAXO) and axion searches at the CERN Axion Solar Telescope (CAST)

The axion, a hypothetical pseudo-scalar particle proposed by Peccei and Quinn to resolve the strong CP problem in quantum chromodynamics, remains one of the most compelling dark matter candidates. Axions and Axion-Like Particles (ALPs) are characterized by a broad and largely unconstrained parameter space in mass and coupling strength, motivating extensive experimental searches. The International Axion Observatory (IAXO) is a next-generation axion helioscope designed to achieve over an order of magnitude improvement in sensitivity to the axion-photon coupling constant gaγ relative to previous experiments such as the CERN Axion Solar Telescope (CAST). IAXO will employ large-scale superconducting magnets, precision x-ray optics, and ultra-low-background detectors to search for solar axions produced primarily via the Primakoff effect. This work presents the design and performance of the IAXO pathfinder x-ray optic, a technological demonstrator that validated the optical concepts for IAXO through axion searches at CAST. Comprehensive ray-tracing simulations and experimental measurements were conducted to assess the optic's effective area, detection efficiency, and background suppression capabilities. Deployed at CAST in conjunction with Micromegas and GridPix detectors, the Pathfinder demonstrated record-setting sensitivity to both gaγ and the axion-electron coupling gae, establishing the most stringent laboratory constraints on solar axions to date. These results confirm the viability of the IAXO optical design and detector concept, providing a critical technological benchmark that informs the ongoing development of the BabyIAXO and full-scale IAXO telescopes.

47 OTHER INSTRUMENTATION↗

Scheduling with chronology-directed search

The intelligent use of scheduling heuristics can enable the production of effective schedules in spite of the inherent intractability of scheduling in complex, real-world domains. In order to effectively use these heuristics, information is needed on the current state of the evolving schedule. One method to obtain this information is to use chronologies - limited histories of the scheduling process. Chronology-directed search is an important component of the heuristic approach to automated scheduling.

Biefeld, Eric W.↗

Robustness of Deep Learning Classification to Adversarial Input on GPUs: Asynchronous Parallel Accumulation Is a Source of Vulnerability

The ability of machine learning (ML) classification models to resist small, targeted input perturbations—known as adversarial attacks—is a key measure of their safety and reliability. We show that floating-point non associativity (FPNA) coupled with asynchronous parallel programming on GPUs is sufficient to result in misclassification, without any perturbation to the input. Additionally, we show that this misclassification is particularly significant for inputs close to the decision boundary and that standard adversarial robustness results may be overestimated up to 4.6 when not considering machine-level details. We first study a linear classifier, before focusing on standard Graph Neural Network (GNN) architectures and datasets used in robustness assessments. We develop a novel black-box attack using Bayesian optimization to discover external workloads that can change the instruction scheduling which bias the output of reductions on GPUs and reliably lead to misclassification. Motivated by these results, we present a new learnable permutation (LP) gradient-based approach to learning floating-point operation orderings that lead to misclassifications. The LP approach provides a worst-case estimate in a computationally efficient manner, avoiding the need to run identical experiments tens of thousands of times over a potentially large set of possible GPU states or architectures. Finally, using instrumentation-based testing, we investigate parallel reduction ordering across different GPU architectures under external background workloads, when utilizing multi-GPU virtualization, and when applying power capping. Our results demonstrate that parallel reduction ordering varies significantly across architectures under the first two conditions, substantially increasing the search space required to fully test the effects of this parallel scheduler-based vulnerability. These results and the methods developed here can help to include machine-level considerations into adversarial robustness assessments, which can make a difference in safety and mission critical applications.

Shanmugavelu, Sanjif [Maxeler Technologies, a Groq↗

Accelerating multicanonical sampling with irreversibility

Flat-histogram Monte Carlo simulations are well-established, robust methods to perform random walks in a physical observable or parameter space, making them suitable for finding ground states or studying phase transitions in complex systems in statistical physics. However, their efficiency can be limited by the time to attain the desired flat distribution, which is generally unknown prior to the simulations. In particular, they might suffer from slowing down towards the end of a simulation due to the diffusive nature of random walks. In this work we apply irreversibility to the multicanonical Monte Carlo method via the lifting approach to alleviate this behavior. We achieve a 2–4 times speedup in ground-state search for a two-dimensional (2D) Ising model, and up to an order of magnitude of speedup for finding the ground-state energy in an Edwards–Anderson spin glass, compared to traditional multicanonical sampling. In conclusion, the round-trip times between ground states show a narrower distribution and are significantly shorter compared to the reversible counterpart, suggesting that a lower convergence time with a smaller time variance is feasible.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

IUE archived spectra

The International Ultraviolet Explorer (IUE) Satellite has been in continuous operation since January 26, 1978. To date, approximately 65,000 spectra have been stored in an archive at Goddard Space Flight Center in Greenbelt, MD. A number of procedures have been generated to facilitate access to the data in the IUE spectral archive. This document describes the procedures which include on-line quick look of the displays, search of an observation data base for selected observations, and several methods for ordering data from the archive.

Sullivan, Edward C.↗