Search NASA⌕ Search

SEARCH · Search NASA

Results for “SEQUENTIAL DETECTION”

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 145 records · Page 8

Sequential Probability Ratio Test for Collision Avoidance Maneuver Decisions Based on a Bank of Norm-Inequality-Constrained Epoch-State Filters

Sequential probability ratio tests explicitly allow decision makers to incorporate false alarm and missed detection risks, and are potentially less sensitive to modeling errors than a procedure that relies solely on a probability of collision threshold. Recent work on constrained Kalman filtering has suggested an approach to formulating such a test for collision avoidance maneuver decisions: a filter bank with two norm-inequality-constrained epoch-state extended Kalman filters. One filter models 1he null hypothesis 1ha1 the miss distance is inside the combined hard body radius at the predicted time of closest approach, and one filter models the alternative hypothesis. The epoch-state filter developed for this method explicitly accounts for any process noise present in the system. The method appears to work well using a realistic example based on an upcoming highly-elliptical orbit formation flying mission.

Carpenter, J. R.↗

Remote sensing of winds and atmospheric turbulence by cross correlation of passive optical signals

A new method is described for the remote measurement of winds and atmospheric turbulence by the cross-correlation of passive optical signals. If small local variations in atmospheric density, temperature or other parameters cause fluctuations in scattered or thermal radiation detected by a radiometer on the ground, then the cross-correlation of fluctuations detected by two radiometers with crossed fields of view can yield turbulence information pertaining to the region about this intersection point. When the fields of view are not quite crossed turbulent eddies will be convected through the fields of view sequentially, and the transit times of the eddies identified by the correlation procedure will yield wind information. The successful application of this technique, detecting fluctuations in scattered sunlight, has demonstrated both the potential, and the present limitations of the method, which are discussed. Results for the power spectrum of the fluctuations and for winds at an altitude of 61 meters are shown.

Montgomery, A. J.↗

Evaluation of sequence tracking methods for Compton cameras based on CdZnTe arrays

In this study, the performance of sequence tracking methods for multiple interaction events in specific CdZnTe Compton imagers was evaluated using Monte Carlo simulations. The Compton imager consisted of a 6 × 6 array of virtual Frisch-grid CZT crystals, where the dimensions of each crystal were 5 × 5 × 12 mm 3 . The sequence tracking methods for another Compton imager that consists of two identical CZT crystals arrays were also evaluated. When 662 keV radiation was incident on the detectors, the percentages of the correct sequences determined by the simple comparison and deterministic methods for two sequential interactions were identical (~80 %), while those evaluated using the minimum squared difference method (55-59 %) and Three Compton method (45-55 %) for three sequential interactions, differed from each other. The reconstructed images of a 662 keV point source detected using single and double arrays were evaluated based on their angular resolution and signal-to-noise ratio, and the results showed that the double arrays outperformed single arrays.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Learning epistatic polygenic phenotypes with Boolean interactions

Detecting epistatic drivers of human phenotypes is a considerable challenge. Traditional approaches use regression to sequentially test multiplicative interaction terms involving pairs of genetic variants. For higher-order interactions and genome-wide large-scale data, this strategy is computationally intractable. Moreover, multiplicative terms used in regression modeling may not capture the form of biological interactions. Building on the Predictability, Computability, Stability (PCS) framework, we introduce the epiTree pipeline to extract higher-order interactions from genomic data using tree-based models. The epiTree pipeline first selects a set of variants derived from tissue-specific estimates of gene expression. Next, it uses iterative random forests (iRF) to search training data for candidate Boolean interactions (pairwise and higher-order). We derive significance tests for interactions, based on a stabilized likelihood ratio test, by simulating Boolean tree-structured null (no epistasis) and alternative (epistasis) distributions on hold-out test data. Finally, our pipeline computes PCS epistasis p-values that probabilisticly quantify improvement in prediction accuracy via bootstrap sampling on the test set. We validate the epiTree pipeline in two case studies using data from the UK Biobank: predicting red hair and multiple sclerosis (MS). In the case of predicting red hair, epiTree recovers known epistatic interactions surrounding MC1R and novel interactions, representing non-linearities not captured by logistic regression models. In the case of predicting MS, a more complex phenotype than red hair, epiTree rankings prioritize novel interactions surrounding HLA-DRB1 , a variant previously associated with MS in several populations. Taken together, these results highlight the potential for epiTree rankings to help reduce the design space for follow up experiments.

59 BASIC BIOLOGICAL SCIENCES↗

Theory of Periodic-Binary-Sequence Generators

Algorithms yield feedback shift registers with maximum regularity. Report provides extensive mathematical treatment of new and previous results related to generation of pseudo-noise binary sequences by feedback shift registers. Generator architectures amenable to efficient implementation in very-large-scale integrated (VLSI) circuits. Report includes literature references to applications of such sequences in random-number generation, radar, VLSI testing, data encryption and decryption, algebraic error-detection and error-correction encoding and decoding, and feedback-shift-register synthesis of sequential machines.

Perlman, M.↗

Optimal design of an unsupervised adaptive classifier with unknown priors

An adaptive detection scheme for M hypotheses was analyzed. It was assumed that the probability density function under each hypothesis was known, and that the prior probabilities of the M hypotheses were unknown and sequentially estimated. Each observation vector was classified using the current estimate of the prior probabilities. Using a set of nonlinear transformations, and applying stochastic approximation theory, an optimally converging adaptive detection and estimation scheme was designed. The optimality of the scheme lies in the fact that convergence to the true prior probabilities is ensured, and that the asymptotic error variance is minimum, for the class of nonlinear transformations considered. An expression for the asymptotic mean square error variance of the scheme was also obtained.

Kazakos, D.↗

GX339-4 - A new black hole candidate

HEAO-1 observations of aperiodic variability in the galactic X-ray source GX339-4 (4U 1658-48) on time scales of tens of milliseconds to a few seconds are reported. It is shown that the overall characteristics of GX339-4 place it in the same class of X-ray sources as Cyg X-1 and Cir X-1, which are candidates for black holes in binary systems. The detection of X-ray flares from GX339-4 is discussed, particularly a series of five sequential flares with separations of about 250 ms.

Samimi, J.↗

Comparison between variable and fixed dwell-time PN acquisition algorithms

Pseudo noise (PN) spread spectrum systems require a very accurate alignment between the PN code epochs at the transmitter and receiver. This synchronism is typically established through a two-step algorithm, including a coarse synchronization procedure and a fine synchronization procedure. A standard approach for the coarse synchronization is a sequential search over all code phases. The measurement of the power in the filtered signal is used to either accept or reject the code phase under test as the phase of the received PN code. This acquisition strategy, called a single dwell-time system, has been analyzed by Holmes and Chen (1977). A synopsis of the field of sequential analysis as it applies to the PN acquisition problem is provided. From this, the implementation of the variable dwell time algorithm as a sequential probability ratio test is developed. The performance of this algorithm is compared to the optimum detection algorithm and to the fixed dwell-time system.

Braun, W. R.↗

Sequential Probability Ratio Test for Spacecraft Collision Avoidance Maneuver Decisions

A document discusses sequential probability ratio tests that explicitly allow decision-makers to incorporate false alarm and missed detection risks, and are potentially less sensitive to modeling errors than a procedure that relies solely on a probability of collision threshold. Recent work on constrained Kalman filtering has suggested an approach to formulating such a test for collision avoidance maneuver decisions: a filter bank with two norm-inequality-constrained epoch-state extended Kalman filters. One filter models the null hypotheses that the miss distance is inside the combined hard body radius at the predicted time of closest approach, and one filter models the alternative hypothesis. The epoch-state filter developed for this method explicitly accounts for any process noise present in the system. The method appears to work well using a realistic example based on an upcoming, highly elliptical orbit formation flying mission.

Carpenter, J. Russell↗

Validating an Air Traffic Management Concept of Operation Using Statistical Modeling

Validating a concept of operation for a complex, safety-critical system (like the National Airspace System) is challenging because of the high dimensionality of the controllable parameters and the infinite number of states of the system. In this paper, we use statistical modeling techniques to explore the behavior of a conflict detection and resolution algorithm designed for the terminal airspace. These techniques predict the robustness of the system simulation to both nominal and off-nominal behaviors within the overall airspace. They also can be used to evaluate the output of the simulation against recorded airspace data. Additionally, the techniques carry with them a mathematical value of the worth of each prediction-a statistical uncertainty for any robustness estimate. Uncertainty Quantification (UQ) is the process of quantitative characterization and ultimately a reduction of uncertainties in complex systems. UQ is important for understanding the influence of uncertainties on the behavior of a system and therefore is valuable for design, analysis, and verification and validation. In this paper, we apply advanced statistical modeling methodologies and techniques on an advanced air traffic management system, namely the Terminal Tactical Separation Assured Flight Environment (T-TSAFE). We show initial results for a parameter analysis and safety boundary (envelope) detection in the high-dimensional parameter space. For our boundary analysis, we developed a new sequential approach based upon the design of computer experiments, allowing us to incorporate knowledge from domain experts into our modeling and to determine the most likely boundary shapes and its parameters. We carried out the analysis on system parameters and describe an initial approach that will allow us to include time-series inputs, such as the radar track data, into the analysis

Statistical emulation↗

Prototype Global Analysis of LISA Data with Multiple Source Types

The novel data analysis challenges posed by the Laser Interferometer Space Antenna (LISA) arise from the overwhelmingly large number of astrophysical sources in the measurement band and the density with which they are found in the data. Robust detection and characterization of the numerous gravitational wave sources in LISA data can not be done sequentially, but rather through a simultaneous global fit of a data model containing the full suite of astrophysical and instrumental features present in the data. While previous analyses have focused on individual source types in isolation, here we present the first demonstration of a LISA global fit analysis containing combined astrophysical populations. The prototype pipeline uses a blocked Metropolis Hastings algorithm to alternatingly fit to a population of ultra compact galactic binaries, known “verification binaries” already identified by electromagnetic observations, a population of massive black hole mergers, and an instrument noise model. The Global LISA Analysis Software Suite (GLASS) is assembled from independently developed samplers for the different model components. The modular design enables flexibility to future development by defining standard interfaces for adding new, or updating additional, components to the global fit without being overly prescriptive for how those modules must be internally designed. The GLASS pipeline is demonstrated on data simulated for the LISA Data Challenge 2b. Results of the analysis and a road-map for continued development are described in detail.

Gravitational Waves↗

Examples of sequential radar images from Washington, Arizona and Alaska

Radar image time sequences of three areas were obtained to illustrate the capability for change detection over time intervals that range from two to fourteen years. The image sequences show geomorphic changes caused by volcanic eruption at Mount St. Helens, Washington, changes that have resulted from mining activities in the Sierrita Mining District, Arizona, and differences in the Ikpikpuk River drainage area, Alaska, that are mostly dependent on imaging system characteristics. Enhancement, suppression or distortion of features on the images are related in each case to interaction between the illumination geometry of the imaging system and the characteristics of the terrane surface. The radar images are contrasted with Landsat multispectral scanner images to illustrate the importance of resolution and shadowing for feature perception.

Ford, J. P.↗

Failure detection by pilots during automatic landing: Models and experiments

A model of the pilot as a monitor of instrument failures during automatic landing is proposed. The failure detection model consists of two stages: a linear estimator (Kalman Filter) and a decision mechanism which is based on sequential analysis. The filter equations are derived from a simplified version of the linearized dynamics of the airplane and the control loop. The perceptual observation noise is modelled to include the effects of the partition of attention among the several instruments. The final result is a simple model consisting of a high pass filter to produce the observation residuals, and a decision function which is a pure integration of the residuals minus a bias term. The dynamics of a Boeing 707 were used to simulate the fully coupled final approach in a fixed base simulator which also included failures in the airspeed, glideslope, and localizer indicators. Subjects monitored the approaches and detected the failures; their performance was compared with the predictions of the model with good agreement between the experimental data and the model.

Gai, E. G.↗

A Dynamic Hierarchical Attention Framework for Multimodal Malware Detection

The increasing use of Android in the worldwide mobile ecosystem has come along with a significant increase in advanced malware, highlighting the critical necessity for efficient, scalable, and adaptable detection systems. Despite recent advancements in machine learning improving malware detection, the majority of current solutions are limited to one, two, or three data modalities, hence neglecting the comprehensive behavioral spectrum of contemporary multi-vector threats. This thesis presents the first comprehensive multimodal framework for Android malware detection, which combines textual, time-series (temporal), graph-based (structural), and visual information using an innovative hierarchical attention mechanism and Dynamic Fusion Controller (DFC). Our methodology consistently classifies and processes modalities as either sequential or structural, facilitating content-adaptive weighting and resilient cross-modal representation learning. We advance the implementation of cutting-edge time series techniques, such as MiniRocket, for malware detection, hence creating new opportunities for temporal analysis in cybersecurity. Comprehensive experimental assessment shows that our framework performs exceptionally well, with 99.46% classification accuracy and 97.15% detection accuracy, significantly outperforming existing approaches through effective multimodal integration and hierarchical attention mechanisms.

Nazmin, Tamanna↗

Failure detection by pilots during automatic landing - Models and experiments

A model is proposed to describe the pilot as a monitor of automatic landing systems. The failures treated are equivalent to the addition of a dynamic change in the mean of the observation process. The failure detection model of the pilot consists of two stages: a linear estimator (Kalman filter) and a decision mechanism based on sequential analysis. The filter equations are derived from a simplified version of the linearized dynamics of the airplane and the control loop. The perceptual observation noise is modified to include the effects of allocation of attention among the several instruments. The final result is a simple model consisting of a high-pass filter to produce the observation residuals and a decision function which is a pure integration of the residuals minus a bias term. The dynamics of a Boeing 707 were used to simulate the fully coupled final approach in a fixed-base simulator. Observers monitored the approaches and detected the failures; their performance was compared with the predictions of the model.

Gai, E. G.↗

Laser Sources for Generation of Ultrasound

Two laser systems have been built and used to demonstrate enhancements beyond current technology used for laser-based generation and detection of ultrasound. The first system consisted of ten Nd:YAG laser cavities coupled electronically and optically to permit sequential bursts of up to ten laser pulses directed either at a single point or configured into a phased array of sources. Significant enhancements in overall signal-to-noise ratio for laser ultrasound incorporating this new source system was demonstrated, using it first as a source of narrowband ultrasound and secondly as a phased array source producing large enhanced signal displacements. A second laser system was implemented using ultra fast optical pulses from a Ti:Sapphire laser to study a new method for making laser generated ultrasonic measurements of thin films with thicknesses on the order of hundreds of angstroms. Work by prior investigators showed that such measurements could be made based upon fluctuations in the reflectivity of thin films when they are stressed by an arriving elastic pulse. Research performed using equipment purchased under this program showed that a pulsed interferometric system could be used as well as a piezoreflective detection system to measure pulse arrivals even in thin films with very low piezoreflective coefficients.

Wagner, James W.↗

Quantum nondemolition measurements - Comment on recent developments

The limitations of the detectability of extremely weak signals (gravitational radiation for instance) imposed by Heisenberg's uncertainty principle on the sequential determination of those signals have been explored recently. A variety of schemes have been proposed to circumvent these limitations. Although all of the earlier attempts have been proven fruitless a recent proposal seems to be quite promising. The scheme, consisting of two harmonic oscillators interacting with each other in a peculiar way, allows for an exact analytical solution which is derived here. If it can be assumed that the expectation value of one of the canonical variables of the total system suffices to monitor the weak signal it can be shown that, in the absence of thermal noise, arbitrarily weak signals can in principle be measured without interference from the uncertainty principle.

Von Roos, O.↗

Lunar and Planetary Science XXVIII

The present conference discusses such topics as density crossovers in lunar picrites, the geology of the Cassini impact basin, Mars, nanobacteria in carbonates, the properties of shocked aerogels, a chemical model of Comet Halley, lunar mascons, the impact evolution of icy regoliths, the geology of the Venera 8 landing site, the photogeologic mapping of northern Venus, HST observations of Mars, observational constraints on the rotational dynamics of Mars, and primordial magnetic field measurements from the moon. Also discussed are models of the S2 fluorescence spectra of comets, Martian crater ejecta, the heights of Venusian steep-sided domes, cloud-climate interactions on Venus, the Humorum basin geology from Clementine data, an early Amazonian lake in the Gale crater of Mars, nebular fractionations and Mn-Cr systematics, the Rock Chipper planetary surface sample collection, Mariner 10 stereo images of Mercury, remote and local stresses and Calderas on Mars, the electrostatic charging of saltating particles, SO2 detected on Callisto, the Mars Explorer Planetary Data System, an assessment of explosive venting on Europa, the sequential faulting history of the Mars Valles Marineris, a search for Martian sediments, the composition and internal structure of Europa, long-term and 'diurnal' tidal stresses on Europa, and episodic greenhouse climates on Mars.

Source record↗