Search NASA⌕ Search

SEARCH · Search NASA

Results for “Event Trees”

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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

SysML Success Tree for DAVINCI In-Situ Campaign Requirements Validation and Redundancy Assessment

The DAVINCI mission will scientifically study the Venusian atmosphere to better understand the current state of the planet and its evolutionary history. This will be accomplished by deploying a descent probe to collect in-situ atmospheric dynamic and spectroscopic measurements, characterize ambient temperatures and pressures during descent, and surface imaging below the cloud layer. To better characterize the DAVINCI In-Situ Campaign, a success tree, developed in the SysML tool, MagicDraw, was created to define the events necessary to have a successful in-situ campaign, for each phase of the campaign. This success tree was also used to validate DAVINCI Program, Mission, and Element level requirements. In addition, because DAVINCI is a single-string mission, the success tree was also used to identify areas of redundancy and resiliency throughout the campaign. The initial redundancy assessment recommended further on-orbit evaluation of the probe’s communication system, as well as further evaluation of the ability of the mass spectrometer turbo-molecular pump to handle the expected decent environment. During the integration and test phase of the overall mission, the success tree will be used to guide the mission validation process, helping to ensure that the in-situ mission elements can perform in accordance with the DAVINCI In-Situ Concept of Operations document.

ConOps↗
NASA NTRSDate not supplied

SysML Success Tree for DAVINCI In-Situ Campaign Requirements Validation and Redundancy Assessment

The DAVINCI mission will scientifically study the Venusian atmosphere to better understand the current state of the planet and its evolutionary history. This will be accomplished by deploying a descent probe to collect in-situ atmospheric dynamic and spectroscopic measurements, characterize ambient temperatures and pressures during descent, and surface imaging below the cloud layer. To better characterize the DAVINCI In-Situ Campaign, a success tree, developed in the SysML tool, MagicDraw, was created to define the events necessary to have a successful in-situ campaign, for each phase of the campaign. This success tree was also used to validate DAVINCI Program, Mission, and Element level requirements. In addition, because DAVINCI is a single-string mission, the success tree was also used to identify areas of redundancy and resiliency throughout the campaign. The initial redundancy assessment recommended further on-orbit evaluation of the probe’s communication system, as well as further evaluation of the ability of the mass spectrometer turbo-molecular pump to handle the expected decent environment. During the integration and test phase of the overall mission, the success tree will be used to guide the mission validation process, helping to ensure that the in-situ mission elements can perform in accordance with the DAVINCI In-Situ Concept of Operations document.

model-based↗
NASA NTRS1972

Manned space flight nuclear system safety. Volume 3: Reactor system preliminary nuclear safety analysis. Part 2: Accident Model Document (AMD)

The Accident Model Document is one of three documents of the Preliminary Safety Analysis Report (PSAR) - Reactor System as applied to a Space Base Program. Potential terrestrial nuclear hazards involving the zirconium hydride reactor-Brayton power module are identified for all phases of the Space Base program. The accidents/events that give rise to the hazards are defined and abort sequence trees are developed to determine the sequence of events leading to the hazard and the associated probabilities of occurence. Source terms are calculated to determine the magnitude of the hazards. The above data is used in the mission accident analysis to determine the most probable and significant accidents/events in each mission phase. The only significant hazards during the prelaunch and launch ascent phases of the mission are those which arise form criticality accidents. Fission product inventories during this time period were found to be very low due to very limited low power acceptance testing.

Source record↗
NASA NTRS2010

Developing Empirical Lightning Cessation Forecast Guidance for the Cape Canaveral Air Force Station and Kennedy Space Center

This research addresses the 45th Weather Squadron's (45WS) need for improved guidance regarding lightning cessation at Cape Canaveral Air Force Station and Kennedy Space Center (KSC). KSC's Lightning Detection and Ranging (LDAR) network was the primary observational tool to investigate both cloud-to-ground and intracloud lightning. Five statistical and empirical schemes were created from LDAR, sounding, and radar parameters derived from 116 storms. Four of the five schemes were unsuitable for operational use since lightning advisories would be canceled prematurely, leading to safety risks to personnel. These include a correlation and regression tree analysis, three variants of multiple linear regression, event time trending, and the time delay between the greatest height of the maximum dBZ value to the last flash. These schemes failed to adequately forecast the maximum interval, the greatest time between any two flashes in the storm. The majority of storms had a maximum interval less than 10 min, which biased the schemes toward small values. Success was achieved with the percentile method (PM) by separating the maximum interval into percentiles for the 100 dependent storms.

LDAR (LIGHTNING DETECTION AND RANGING)↗
NASA NTRS2019

A Double Bootstrap Approach to Superposed Epoch Analysis to Evaluate Response Uncertainty

The association between climate variability and episodic events, such as the antecedent moisture conditions prior to wildfire or the cooling following volcanic eruptions, is commonly assessed using Superposed Epoch Analysis (SEA). In SEA the epochal response is typically calculated as the average climate conditions prior to and following all event years or their deviation from climatology. However, the magnitude and significance of the inferred climate association may be sensitive to the selection or omission of individual key years, potentially resulting in a biased assessment of the relationship between these events and climate. Here we describe and test a modified double-bootstrap SEA that generates multiple unique draws of the key years and evaluates the sign, magnitude, and significance of event-climate relationships within a probabilistic framework. This multiple resampling helps quantify multiple uncertainties inherent in conventional applications of SEA within dendrochronology and paleoclimatology. We demonstrate our modified SEA by evaluating the volcanic cooling signal in a Northern Hemisphere tree-ring temperature reconstruction and the link between drought and wildfire events in the western United States. Finally, we make our Matlab and R code available to be adapted for future SEA applications.

Dendroclimatology↗
NASA NTRS2021

Tree-Ring Reconstruction of the Atmospheric Ridging Feature that Causes Flash Drought in the Central United States Since 1500

Rapid drought intensification, or flash droughts, is often driven by anomalous atmospheric ridging and can cause severe and complex impacts on water availability and agriculture, but the full range of variability of such events in terms of intensity and frequency is unknown. New tree-ring reconstructions of May–July mid-tropospheric ridging and soil moisture anomalies back to 1500 CE in the central United States — a hotspot for flash drought — suggest that over the last five centuries, anomalies in these two variables combined to indicate flash-drought conditions in ~17% of years and exceptionally severe flash drought in ~4% of years, similar to frequencies in recent decades. However, over one-third of all inferred exceptional flash droughts occurred since 1900, suggesting the 20th century was highly flash-drought prone. These results may guide future work to diagnose the roles of external, oceanic, and land-surface forcing of warm-season atmospheric circulation and hydroclimate over North America.

Flash Drought↗
NASA NTRS2021

Lila: Optimal Dispatching in Probabilistic Temporal Networks using Monte Carlo Tree Search

Executing a Probabilistic Simple Temporal Network (PSTN) amounts at scheduling, i.e. \textit{dispatch}, a set of events under time uncertainty. This constitutes a NP-hard online optimization problem. The right execution time must be dynamically assigned to each event of the PSTN such that the temporal constraints are met, whereas activity durations are progressively observed as the execution unfolds. We propose a dispatching algorithm based on Monte Carlo Tree Search, called Lila, with the following characteristics: (i) it is an anytime algorithm, both offline and online, proven asymptotically optimal; (ii) it returns the current probability of success, either before or at any moment during operations; (iii) it handles any possible continuous or discrete, even non-parametric, probability distributions, as well as inter-dependencies between random variables, exogenous and endogenous uncertainty; and (iv) can be easily extended to handle probabilistic external events, PSTNs with resources, PSTNs with cutoff times and precondition chains, etc. Lila is universal in the sense that it can handle any dispatching protocol, simply by specifying it to the algorithm. It has the unlimited flexibility offered by the simulation paradigm, whilst it asymptotically converges to optimal decisions and/or robustness approximations.

Chien, Steve A.↗
NASA NTRS2009

From Goal-Oriented Requirements to Event-B Specifications

In goal-oriented requirements engineering methodologies, goals are structured into refinement trees from high-level system-wide goals down to fine-grained requirements assigned to specific software/ hardware/human agents that can realise them. Functional goals assigned to software agents need to be operationalised into specification of services that the agent should provide to realise those requirements. In this paper, we propose an approach for operationalising requirements into specifications expressed in the Event-B formalism. Our approach has the benefit of aiding software designers by bridging the gap between declarative requirements and operational system specifications in a rigorous manner, enabling powerful correctness proofs and allowing further refinements down to the implementation level. Our solution is based on verifying that a consistent Event-B machine exhibits properties corresponding to requirements.

Aziz, Benjamin↗
NASA NTRSDate not supplied

Adaptive Stress Testing of Collision Avoidance Systems for Small UASs with Deep Reinforcement Learning

The next-generation Airborne Collision Avoidance System for smaller UASs (ACAS sXu) is currently being developed and tested by the Federal Aviation Administration (FAA) to provide detect-and-avoid capability for small unmanned aircraft operating beyond line-of-sight. Due to the complexity and safety-critical nature of the system, safety validation is important not only for the certification of the final system, but also for informing changes during the iterative development process. In this paper, we analyze a prototype of ACAS sXu in simulated aircraft encounters to discover scenarios of small near mid-air collisions (sNMACs), an important safety event in which two aircraft come closer than 50 feet horizontally and 15 feet vertically. Due to the size and complexity of the system as well as rarity of sNMAC events, traditional methods such as Monte Carlo testing often require informed setup and targeting to elicit failures. However, such a dependence on domain knowledge can be incompatible with the independent verification and validation (IV&V) process, the aim of which is to discover unforeseen issues. To address these challenges, we apply an accelerated validation method called adaptive stress testing (AST) to find the most likely sNMAC scenarios without reliance on system introspection. AST uses reinforcement learning to adapt the search towards the most promising areas of the search space as it progresses. We use a state-of-the-art deep reinforcement learning algorithm, proximate policy optimization, to more efficiently search the large and continuous state space. We find that this approach significantly improves the performance of AST compared to a prior approach based on Monte Carlo tree search. We perform experiments using AST to find sNMAC events under various encounter configurations, varying parameters pertaining to dynamics and coordination. Our experiments show AST to be very effective at finding sNMAC scenarios. We summarize our findings, presenting high-level categories of discovered sNMACs and specific examples of encounters in each category.

aircraft collision avoidance↗
NASA NTRS2023

Youngstown and Warren Disasters: Mapping Flood Susceptibility, Vulnerability, and Risk and Tree Canopy Coverage in Northern Ohio to Inform Stormwater Management and Flood Mitigation Efforts

Both pluvial and fluvial flooding events pose direct challenges on urban infrastructure and communities across the United States. Heavy rainfall events oversaturate the ground, overflow waterbodies, and overwhelm stormwater infrastructure. Vulnerable areas receive heavy damage from flooding events due to physical factors like increased impervious surfaces, poor stormwater systems, and limited greenspaces. These vulnerable neighborhoods are comprised of aging populations, minority communities, and lower income levels. Lack of data in these communities have made it difficult to implement policymaking and flood mitigation strategies. Using the Urban Flood Risk Mitigation model (InVEST) and the PlanetScope satellite constellation, the team visualized historical flooding and tree canopy coverage as a measure of flood susceptibility. The team also used the Arc-Malstrom model to provide further insight into where flooding accumulates via surface elevation depressions in the study area. To validate these models, the team explored the spatial variation of rainfall events using NASA’s Integrated Multi-satellite Retrievals for Global Precipitation Measurement (GPM IMERG). The resulting maps highlight areas surrounding the cities of Youngstown and Warren as being the most flood susceptible and socially vulnerable, while the city centers contain the lowest tree canopy coverage. The DEVELOP team collaborated with the Environmental Collaborative of Ohio (ECO) to create products for end users within the City of Warren’s Water Pollution Control Department, the Eastgate Regional Council of Governments and the Healthy Community Partnership of Mahoning Valley. These products help identify target areas for preventative flood mitigation measures as well as areas ideal for green infrastructure intervention.

InVEST Urban Flood Risk Mitigation Model↗
NASA NTRS1995

Contributions of Planetary Science to Studies of Early Biosphere Evolution

The history of impact cratering on the Moon, and extrapolations of crater chronologies to the inner planets, suggests that the late accretionary history of the Earth overlapped with other crucial events in the its history, including the origin of terrestrial life. This evidence, acquired from studies of other planetary bodies in the inner solar system, has profoundly affected how we view the early history of the Earth and evolution of the biosphere. Pre-biotic chemical evolution and the origin of life would have been delayed by the probable existence of a global magma ocean until -4.2 Ga. The early crust was largely destroyed by recycling, thus accounting for the sparse Archean record on Earth. Once life had developed, large impacts may have extinguished it several times before it finally gained a foothold. Potentially sterilizing impacts could have occurred as late as 3.7 Ga. At the very least, large impacts would have forced the biosphere through major environmental "bottlenecks" thereby canalizing its subsequent evolution. One legacy of these early events may be the structure of the present RNA-tree which indicates that extreme thermophiles are primitive within the Archaea, and may be the last common ancestors of life. By 3.5 Ga, marine sedimentary sequences contain unequivocal microbial fossils that attest to the presence of a terrestrial biosphere. The diversity of microbial forms present in these earliest fossil assemblages implies a preceding interval of evolution during which major evolutionary advances (e.g. photosynthesis) could have taken place. Evidence cited above places the origin of life within the interval 3.5 and 4.2 Ga, a period of 700 Ma. Thus, it appears that terrestrial life not only evolved rapidly, but perhaps more than once. This expands the possibilities that life may have also developed elsewhere. Of the other planets in our solar system, Mars holds the greatest chance of having developed life. But, the present surface of Mars is hostile to life. Liquid water, regarded as essential for living systems, is unstable on the surface of Mars due to the low atmospheric pressure. The results of the Viking Lander biology experiments established that organic molecules are not present in the regolith of Mars, forcing the exobiological community to consider new ways of exploring for Martian life. Older, heavily cratered terranes on Mars show geomorphic evidence for abundant water between 3.0- 4.0 Ga. It is quite possible that life developed on Mars during this time, as it did on the Earth. The present focus for Mars Exobiology lies in the search for a fossil record. Archean-aged crust, while mostly missing on Earth, appears to be widespread in ancient cratered highlands of Mars, and aqueous mineral deposits within such sequences may hold crucial fossil evidence for an early Martian biosphere.

Farmer, Jack D.↗
NASA NTRS2021

Fairfax Water Resources: Estimating Urban Flood Susceptibility, Historical Flooding Extent, and Land Cover Change in Fairfax County, Virginia to Aid in Flood Mitigation Planning

Between 2000 and 2020, Fairfax County, Virginia experienced extreme weather events that caused severe flooding and degradation of roads, businesses, and other public property. A single flood event on July 8th, 2019 resulted in $14.8 million in damages. These flood events routinely impact the community, often resulting in power outages, school closures, and downed trees. The Fairfax County Department of Public Works and Environmental Services partnered with DEVELOP to explore how remotely sensed data could be integrated to support its current flood mitigation efforts. This project used environmental factors such as elevation, slope, and topographic wetness index from Earth observation derived data to map flood susceptibility. We utilized Landsat 5 Thematic Mapper (TM), Landsat 7 Enhanced Thematic Mapper Plus (ETM+), Landsat 8 Operational Land Imager (OLI), Sentinel-1 C-Band Synthetic Aperture Radar (C-SAR), and Sentinel-2 Multispectral Instrument (MSI) to map historic flooding events in Fairfax County. These maps will support flood management practices for the Fairfax County Department of Public Works and Environmental Services through the integration of remotely sensed data. Our results show that developed areas in the county are more susceptible to flooding, coinciding with analysis of flood factors, which indicated that imperviousness and tree canopy were the most influential drivers in flood susceptibility. Other results show that using Earth observations to map historical flooding is limited in urban areas due to false positives from SAR imagery between water and shadows. Further research is necessary to evolve the historical flood mapping technique if Earth observations are to be incorporated in future historical flood analysis.

Kaitlynn Hietpas↗
NASA NTRS2015

The Legacy of Episodic Climatic Events in Shaping Temperate, Broadleaf Forests

In humid, broadleaf-dominated forests where gap dynamics and partial canopy mortality appears to dominate the disturbance regime at local scales, paleoecological evidence shows alteration at regional-scales associated with climatic change. Yet, little evidence of these broad-scale events exists in extant forests. To evaluate the potential for the occurrence of large-scale disturbance, we used 76 tree-ring collections spanning approx. 840 000 sq km and 5327 tree recruitment dates spanning approx. 1.4 million sq km across the humid eastern United States. Rotated principal component analysis indicated a common growth pattern of a simultaneous reduction in competition in 22 populations across 61 000 km2. Growth-release analysis of these populations reveals an intense and coherent canopy disturbance from 1775 to 1780, peaking in 1776. The resulting time series of canopy disturbance is so poorly described by a Gaussian distribution that it can be described as ''heavy tailed,'' with most of the years from 1775 to 1780 comprising the heavy-tail portion of the distribution. Historical documents provide no evidence that hurricanes or ice storms triggered the 1775-1780 event. Instead, we identify a significant relationship between prior drought and years with elevated rates of disturbance with an intense drought occurring from 1772 to 1775. We further find that years with high rates of canopy disturbance have a propensity to create larger canopy gaps indicating repeated opportunities for rapid change in species composition beyond the landscape scale. Evidence of elevated, regional-scale disturbance reveals how rare events can potentially alter system trajectory: a substantial portion of old-growth forests examined here originated or were substantially altered more than two centuries ago following events lasting just a few years. Our recruitment data, comprised of at least 21 species and several shade-intolerant species, document a pulse of tree recruitment at the subcontinental scale during the late-1600s suggesting that this event was severe enough to open large canopy gaps. These disturbances and their climatic drivers support the hypothesis that punctuated, episodic, climatic events impart a legacy in broadleaf-dominated forests centuries after their occurrence. Given projections of future drought, these results also reveal the potential for abrupt, meso- to large-scale forest change in broadleaf-dominated forests over future decades.

Climatology↗
NASA NTRS2018

Mapping Forest Disturbance Intensity in North and South Carolina Using Annual Landsat Observations and Field Inventory Data

Disturbance and regrowth are vital processes in determining the roles of forest ecosystem in the carbon and biogeochemical cycles. Using time series observations, the vegetation change tracker (VCT) algorithm was designed to map the location, timing, and spectral magnitudes of forest disturbance events. While these spectral disturbance magnitudes are indicative of physical changes in tree cover or biomass, their quantitative relationships have yet to be established. This study focuses on estimating disturbance intensity as measured by percent basal area removal using spectral indices from the VCT algorithm over North and South Carolina. Repeat measurements on Forest Service Forest Inventory Analysis (FIA) ground plots, which provide changes in basal area between multiple dates at precise locations, are used for training and validation of the model. The overall R2 between predicted disturbance intensity and reference data is 0.66, and cross-validation prediction uncertainty is 14% in North Carolina. Possible causes of this uncertainty could be site heterogeneity and the temporal offset between ground measurements and satellite observations. Results show the area of stand clearing disturbances remains relatively stable around 1143 km2 yr−1 in North and South Carolina throughout the period of observations (1985–2015). The average amount of forest area affected by partial disturbance is much higher at 3287 km2 yr−1. The area of partial disturbances has strong inter-annual variability with a high value of 6000 km2 in 2007 and a low value of 1919 km2 in 2013.

Xin Tao↗
NASA NTRS1992

Monitoring of environmental conditions in the Alaskan forests using ERS-1 SAR data

Preliminary results from an analysis of the multitemporal radar backscatter signatures of tree species acquired by European Remote Sensing Satellite (ERS-1) synthetic aperture radar (SAR) data are presented. Significant changes in radar backscatter are detected. Correlation of these differences with ground truth observations indicate that these are due to changes in soil and liquid water content as a result of freeze/thaw events. C-band observations acquired by the NASA/Jet Propulsion Laboratory Airborne SAR (JPL AIRSAR) instrument demonstrate the potential of a C-band radar instrument to monitor drought/flood events. The potential of ERS-1 for monitoring phenologic changes in the forest and for classifying tree species is less promising.

Rignot, Eric↗
NASA NTRS1994

Modeling ozone episodes in the Baltimore-Washington region

Surface ozone (O3) concentrations in excess of the National Ambient Air Quality Standard (NAAQS) continue to occur in metropolitan areas in the United States despite efforts to control emissions of O3 precursors. Future O3 control strategies will be based on results from modeling efforts that have just begun in many areas. Two initial questions that arise are model sensitivity to domain-specific conditions and the selection of episodes for model evaluation and control strategy development. For the Baltimore-Washington region (B-W), the presence of the Chesapeake Bay introduces a number of issues relevant to model sensitivity. In this paper, the specific questions of the determination of model volume (mixing height) for the Urban Airshed Model (UAM) is discussed and various alternative methods compared. For the latter question, several analytic approaches, Cluster Analysis and classification and Regression Tree (CART) analysis are undertaken to determine meteorological conditions associated with severe O3 events in the B-W domain.

Ryan, William F.↗
NASA NTRS2004

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

VESGEN Software for Mapping and Quantification of Vascular Regulators

VESsel GENeration (VESGEN) Analysis is an automated software that maps and quantifies effects of vascular regulators on vascular morphology by analyzing important vessel parameters. Quantification parameters include vessel diameter, length, branch points, density, and fractal dimension. For vascular trees, measurements are reported as dependent functions of vessel branching generation. VESGEN maps and quantifies vascular morphological events according to fractal-based vascular branching generation. It also relies on careful imaging of branching and networked vascular form. It was developed as a plug-in for ImageJ (National Institutes of Health, USA). VESGEN uses image-processing concepts of 8-neighbor pixel connectivity, skeleton, and distance map to analyze 2D, black-and-white (binary) images of vascular trees, networks, and tree-network composites. VESGEN maps typically 5 to 12 (or more) generations of vascular branching, starting from a single parent vessel. These generations are tracked and measured for critical vascular parameters that include vessel diameter, length, density and number, and tortuosity per branching generation. The effects of vascular therapeutics and regulators on vascular morphology and branching tested in human clinical or laboratory animal experimental studies are quantified by comparing vascular parameters with control groups. VESGEN provides a user interface to both guide and allow control over the users vascular analysis process. An option is provided to select a morphological tissue type of vascular trees, network or tree-network composites, which determines the general collections of algorithms, intermediate images, and output images and measurements that will be produced.

Parsons-Wingerter, Patricia A.↗