Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Re”

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 1,225 records · Page 68
All sourcesNASA NTRSDOE OSTI
NASA NTRS2011

Assessing Uncertainties in Boundary Layer Transition Predictions for HIFiRE-1 at Non-zero Angles of Attack

Boundary layer stability was analyzed for the HIFiRE-1 flight vehicle geometry for ground tests conducted at the CUBRC LENS I hypersonic shock test facility and the Langley Research Center (LaRC) 20- inch Mach 6 Tunnel. Boundary layer stability results were compared to transition onset location obtained from discrete heat transfer measurements from thin film gauges during the CUBRC test and spatially continuous heat transfer measurements from thermal phosphor paint data during the LaRC test. The focus of this analysis was on conditions at non-zero angles of attack as stability analysis has already been performed at zero degrees angle of attack. Also, the transition onset data obtained during flight testing was at nonzero angles of attack, so this analysis could be expanded in the future to include the results of the flight test data. Stability analysis was performed using the 2D parabolized stability software suite STABL (Stability and Transition Analysis for Hypersonic Boundary Layers) developed at the University of Minnesota and the mean flow solutions were computed using the DPLR finite volume Navier-Stokes computational fluid dynamics (CFD) solver. A center line slice of the 3D mean flow solution was used for the stability analysis to incorporate the angle of attack effects while still taking advantage of the 2D STABL software suite. The N-factors at transition onset and the value of Re(sub theta)/M(sub e), commonly used to predict boundary layer transition onset, were compared for all conditions analyzed. Ground test data was analyzed at Mach 7.2 and Mach 6.0 and angles of attack of 1deg, 3deg and 5deg. At these conditions, the flow was found to be second mode dominant for the HIFiRE-1 slender cone geometry. On the leeward side of the vehicle, a strong trend of transition onset location with angle of attack was observed as the boundary layer on the leeward side of the vehicle developed inflection points at streamwise positions on the vehicle that correlated to angle of attack. Inflection points are a strong instability mechanism that lead to rapid breakdown and transition to turbulence. The transition onset location on the windward side of the vehicle displayed no trend with angle of attack or freestream Reynolds number and transition was observed farther down the vehicle than observed on the leeward side of the vehicle. In analysis of both windward and leeward sides of the vehicle, use of the N factor methodology to develop trends to predict boundary layer transition onset showed improvements over the Re(sub theta)/M(sub e) empirical correlation methodology. Stronger correlations and less scatter in the data were observed when using the N factor method for these cases.

Marek, Lindsay C.↗
NASA NTRS2011

Generic, Extensible, Configurable Push-Pull Framework for Large-Scale Science Missions

The push-pull framework was developed in hopes that an infrastructure would be created that could literally connect to any given remote site, and (given a set of restrictions) download files from that remote site based on those restrictions. The Cataloging and Archiving Service (CAS) has recently been re-architected and re-factored in its canonical services, including file management, workflow management, and resource management. Additionally, a generic CAS Crawling Framework was built based on motivation from Apache s open-source search engine project called Nutch. Nutch is an Apache effort to provide search engine services (akin to Google), including crawling, parsing, content analysis, and indexing. It has produced several stable software releases, and is currently used in production services at companies such as Yahoo, and at NASA's Planetary Data System. The CAS Crawling Framework supports many of the Nutch Crawler's generic services, including metadata extraction, crawling, and ingestion. However, one service that was not ported over from Nutch is a generic protocol layer service that allows the Nutch crawler to obtain content using protocol plug-ins that download content using implementations of remote protocols, such as HTTP, FTP, WinNT file system, HTTPS, etc. Such a generic protocol layer would greatly aid in the CAS Crawling Framework, as the layer would allow the framework to generically obtain content (i.e., data products) from remote sites using protocols such as FTP and others. Augmented with this capability, the Orbiting Carbon Observatory (OCO) and NPP (NPOESS Preparatory Project) Sounder PEATE (Product Evaluation and Analysis Tools Elements) would be provided with an infrastructure to support generic FTP-based pull access to remote data products, obviating the need for any specialized software outside of the context of their existing process control systems. This extensible configurable framework was created in Java, and allows the use of different underlying communication middleware (at present, both XMLRPC, and RMI). In addition, the framework is entirely suitable in a multi-mission environment and is supporting both NPP Sounder PEATE and the OCO Mission. Both systems involve tasks such as high-throughput job processing, terabyte-scale data management, and science computing facilities. NPP Sounder PEATE is already using the push-pull framework to accept hundreds of gigabytes of IASI (infrared atmospheric sounding interferometer) data, and is in preparation to accept CRIMS (Cross-track Infrared Microwave Sounding Suite) data. OCO will leverage the framework to download MODIS, CloudSat, and other ancillary data products for use in the high-performance Level 2 Science Algorithm. The National Cancer Institute is also evaluating the framework for use in sharing and disseminating cancer research data through its Early Detection Research Network (EDRN).

Foster, Brian M.↗
NASA NTRS2011

A Novel Automated Method for Analyzing Cylindrical Computed Tomography Data

A novel software method is presented that is applicable for analyzing cylindrical and partially cylindrical objects inspected using computed tomography. This method involves unwrapping and re-slicing data so that the CT data from the cylindrical object can be viewed as a series of 2-D sheets in the vertical direction in addition to volume rendering and normal plane views provided by traditional CT software. The method is based on interior and exterior surface edge detection and under proper conditions, is FULLY AUTOMATED and requires no input from the user except the correct voxel dimension from the CT scan. The software is available from NASA in 32- and 64-bit versions that can be applied to gigabyte-sized data sets, processing data either in random access memory or primarily on the computer hard drive. Please inquire with the presenting author if further interested. This software differentiates itself in total from other possible re-slicing software solutions due to complete automation and advanced processing and analysis capabilities.

Roth, D. J.↗
NASA NTRS2012

Hybrid Collaborative Learning for Classification and Clustering in Sensor Networks

Traditionally, nodes in a sensor network simply collect data and then pass it on to a centralized node that archives, distributes, and possibly analyzes the data. However, analysis at the individual nodes could enable faster detection of anomalies or other interesting events as well as faster responses, such as sending out alerts or increasing the data collection rate. There is an additional opportunity for increased performance if learners at individual nodes can communicate with their neighbors. In previous work, methods were developed by which classification algorithms deployed at sensor nodes can communicate information about event labels to each other, building on prior work with co-training, self-training, and active learning. The idea of collaborative learning was extended to function for clustering algorithms as well, similar to ideas from penta-training and consensus clustering. However, collaboration between these learner types had not been explored. A new protocol was developed by which classifiers and clusterers can share key information about their observations and conclusions as they learn. This is an active collaboration in which learners of either type can query their neighbors for information that they then use to re-train or re-learn the concept they are studying. The protocol also supports broadcasts from the classifiers and clusterers to the rest of the network to announce new discoveries. Classifiers observe an event and assign it a label (type). Clusterers instead group observations into clusters without assigning them a label, and they collaborate in terms of pairwise constraints between two events [same-cluster (mustlink) or different-cluster (cannot-link)]. Fundamentally, these two learner types speak different languages. To bridge this gap, the new communication protocol provides four types of exchanges: hybrid queries for information, hybrid "broadcasts" of learned information, each specified for classifiers-to-clusterers, and clusterers-to-classifiers. The new capability has the potential to greatly expand the in situ analysis abilities of sensor networks. Classifiers seeking to categorize incoming data into different types of events can operate in tandem with clusterers that are sensitive to the occurrence of new kinds of events not known to the classifiers. In contrast to current approaches that treat these operations as independent components, a hybrid collaborative learning system can enable them to learn from each other.

Wagstaff, Kiri L.↗
NASA NTRS2012

An Experimental and Numerical Study of Roughness-Induced Instabilities in a Mach 3.5 Boundary Layer

Progress on a joint experimental and numerical study of laminar-to-turbulent transition induced by an isolated roughness element in a high-speed laminar boundary layer is reported in this paper. The numerical analysis suggests that transition is driven by the instability of high- and low-speed streaks embedded in the wake of the isolated roughness element. In addition, spatial stability analysis revealed that the wake flow supports multiple modes (even and odd) of convective instabilities that experience strong enough growth to cause transition. The experimental measurements, which included hot-wire and pitot-probe surveys, confirmed the existence of embedded high- and low-speed streaks in the roughness wake. Furthermore, the measurements indicate the presence of both even and odd modes of instability, although their relative magnitude depends on the specifics of the roughness geometry and flow conditions (e.g., the value of Re(sub kk) or k/delta. For the two test cases considered in the measurements (Re(sub kk) values of 462 and 319), the even mode and the odd mode were respectively dominant and appear to play a primary role in the transition process.

Kegerise, Michael A.↗
NASA NTRS2012

Convective Heating Predictions of Apollo IV Flight Data

It has been more than 50 years since NASA engineers have attempted to design a manned space vehicle with the capability to return from beyond low Earth orbit. In this interval, our methodologies for designing the thermal protection system (TPS) to protect humans from the extremely high temperatures of re-entry have changed significantly. With these considerations in mind, we return to the Apollo IV (AS-501) flight data. This incredible data set allows us to assess the current tools and methodologies being used to design Orion MPCV. In particular, our ability to predict the aftbody separated region convective heating environments for MPCV is critical. The design uses reusable TPS in this area, whereas Apollo designers used ablative TPS which can withstand much more severe environments. This presentation will revisit the flight data, summarize the assumptions going into the analysis, present the results and draw conclusions regarding how accurately we can currently predict the heating in the aftbody separated region of a re-entry capsule.

White, Molly E.↗
NASA NTRS2012

Thermostructural Evaluation of Joggle Region on the Shuttle Orbiter's Wing Leading Edge

An investigation was initiated to determine the cause of coating spallation occurring on the Shuttle Orbiter's wing leading edge panels in the slip-side joggle region. The coating spallation events were observed, post flight, on differing panels on different missions. As part of the investigation, the high re-entry heating occurring on the joggles was considered here as a possible cause. Thus, a thermostructural evaluation was conducted to determine the detailed state-of-stress in the joggle region during re-entry and the feasibility of a laboratory test on a local joggle specimen to replicate this state-of-stress. A detailed three-dimensional finite element model of a panel slip-side joggle region was developed. Parametric and sensitivity studies revealed significant stresses occur in the joggle during peak heating. A critical interlaminar normal stress concentration was predicted in the substrate at the coating interface and was confined to the curved joggle region. Specifically, the high interlaminar normal stress is identified to be the cause for the occurrence of failure in the form of local subsurface material separation occurring in the slip-side joggle. The predicted critical stresses are coincident with material separations that had been observed with microscopy in joggle specimens obtained from flight panels.

Walker, Sandra P.↗
NASA NTRS2012

Wind Tunnel Force Balance Calibration Study - Interim Results

Wind tunnel force balance calibration is preformed utilizing a variety of different methods and does not have a direct traceable standard such as standards used for most calibration practices (weights, and voltmeters). These different calibration methods and practices include, but are not limited to, the loading schedule, the load application hardware, manual and automatic systems, re-leveling and non-re-leveling. A study of the balance calibration techniques used by NASA was undertaken to develop metrics for reviewing and comparing results using sample calibrations. The study also includes balances of different designs, single and multi-piece. The calibration systems include, the manual, and the automatic that are provided by NASA and its vendors. The results to date will be presented along with the techniques for comparing the results. In addition, future planned calibrations and investigations based on the results will be provided.

Rhew, Ray D.↗
NASA NTRS2012

Real-Time Projection to Verify Plan Success During Execution

The Mission Data System provides a framework for modeling complex systems in terms of system behaviors and goals that express intent. Complex activity plans can be represented as goal networks that express the coordination of goals on different state variables of the system. Real-time projection extends the ability of this system to verify plan achievability (all goals can be satisfied over the entire plan) into the execution domain so that the system is able to continuously re-verify a plan as it is executed, and as the states of the system change in response to goals and the environment. Previous versions were able to detect and respond to goal violations when they actually occur during execution. This new capability enables the prediction of future goal failures; specifically, goals that were previously found to be achievable but are no longer achievable due to unanticipated faults or environmental conditions. Early detection of such situations enables operators or an autonomous fault response capability to deal with the problem at a point that maximizes the available options. For example, this system has been applied to the problem of managing battery energy on a lunar rover as it is used to explore the Moon. Astronauts drive the rover to waypoints and conduct science observations according to a plan that is scheduled and verified to be achievable with the energy resources available. As the astronauts execute this plan, the system uses this new capability to continuously re-verify the plan as energy is consumed to ensure that the battery will never be depleted below safe levels across the entire plan.

Wagner, David A.↗
NASA NTRS2012

Celebrating One Year of Atmospheric Evolution on Titan Since Voyager with Cassini/CIRS

Seven years after Cassini's Saturn orbit insertion, we have in hand almost a complete picture of the stratospheric evolution within a Titanian year by combining Voyager 1 Infrared Radiometer Spectrometer (IRIS) measurements from 1980, Cassini Composite Infrared Spectrometer (CIRS) continuous recordings from 2004 to 2010 and the intervening ground-based and space-borne observations with ISO (Coustenis et al 2003). We have re-analyzed the Voyager l/IRIS data acquired during the 1980 encounter, 30 years (one Titan revolution) before 2010, with the most recent spectroscopic data releases and haze descriptions (Vinatier et al 2010, 2012) by using our radiative transfer code (ART). The re-analysis confirms the Vl/IRIS retrievals by Coustenis and Bezard (1995) and updates the abundances for all molecules and latitudes based on new temperature, haze and spectroscopic parameters. ART was also applied to all available CIRS spectral averages corresponding to more than 70 flybys binned over 10 deg in latitude for both medium (2.5 cm(exp -1) and higher (0.5 cm(exp -1) resolutions and from nadir and limb data both. In these spectra, we search for variations in temperature (following the method in Achterberg et al 2011) and composition at northern (around 50 deg N), equatorial and southern (around 50 deg S) latitudes as the season on Titan progresses and compare them to the new Vl/IRIS, ISO and other ground-based reported composition values (Coustenis et al., 2012, in prep). Other latitudes were examined in previous papers (e.g. Coustenis et al 2010).

Coustenis, A.↗
NASA NTRS2012

Distribution, Statistics, and Resurfacing of Large Impact Basins on Mercury

The distribution and geological history of large impact basins (diameter D greater than or equal to 300 km) on Mercury is important to understanding the planet's stratigraphy and surface evolution. It is also informative to compare the density of impact basins on Mercury with that of the Moon to understand similarities and differences in their impact crater and basin populations [1, 2]. A variety of impact basins were proposed on the basis of geological mapping with Mariner 10 data [e.g. 3]. This basin population can now be re-assessed and extended to the full planet, using data from the MErcury Surface, Space ENvironment, GEochemistry, and Ranging (MESSENGER) spacecraft. Note that small-to- medium-sized peak-ring basins on Mercury are being examined separately [4, 5]; only the three largest peak-ring basins on Mercury overlap with the size range we consider here. In this study, we (1) re-examine the large basins suggested on the basis of Mariner 10 data, (2) suggest additional basins from MESSENGER's global coverage of Mercury, (3) assess the size-frequency distribution of mercurian basins on the basis of these global observations and compare it to the Moon, and (4) analyze the implications of these observations for the modification history of basins on Mercury.

Fassett, Caleb I.↗
NASA NTRS2012

Stability Analysis for HIFiRE Experiments

The HIFiRE-1 flight experiment provided a valuable database pertaining to boundary layer transition over a 7-degree half-angle, circular cone model from supersonic to hypersonic Mach numbers, and a range of Reynolds numbers and angles of attack. This paper reports selected findings from the ongoing computational analysis of the measured in-flight transition behavior. Transition during the ascent phase at nearly zero degree angle of attack is dominated by second mode instabilities except in the vicinity of the cone meridian where a roughness element was placed midway along the length of the cone. The growth of first mode instabilities is found to be weak at all trajectory points analyzed from the ascent phase. For times less than approximately 18.5 seconds into the flight, the peak amplification ratio for second mode disturbances is sufficiently small because of the lower Mach numbers at earlier times, so that the transition behavior inferred from the measurements is attributed to an unknown physical mechanism, potentially related to step discontinuities in surface height near the locations of a change in the surface material. Based on the time histories of temperature and/or heat flux at transducer locations within the aft portion of the cone, the onset of transition correlated with a linear N-factor, based on parabolized stability equations, of approximately 13.5. Due to the large angles of attack during the re-entry phase, crossflow instability may play a significant role in transition. Computations also indicate the presence of pronounced crossflow separation over a significant portion of the trajectory segment that is relevant to transition analysis. The transition behavior during this re-entry segment of HIFiRE-1 flight shares some common features with the predicted transition front along the elliptic cone shaped HIFiRE-5 flight article, which was designed to provide hypersonic transition data for a fully 3D geometric configuration. To compare and contrast the crossflow dominated transition over the HIFiRE-1 and HIFiRE-5 configurations, this paper also analyzes boundary layer instabilities over a subscale model of the HIFiRE-5 flight configuration that was tested in the Mach 6 quiet tunnel facility at Purdue University.

Li, Fei↗
NASA NTRS2012

Seasonal and Non-Seasonal Variations of Jupiter's Atmosphere from Observations of Thermal Emission, 1994-2011

We analyzed mid-infrared images of Jupiter's thermal emission, covering approx.1.5 Jovian years, acquired in discrete filters between 7.8 and 24.5 microns. The behavior of stratospheric (approx.10-mbar) and tropospheric (approx.100-400 mbar) temperatures is generally consistent with predictions of seasonal variability, with differences between 100-mbar temperatures +/-50-60deg from the equator on the order of +/-2. Removing this effect, there appear to be long-term quasi-periodic variability of tropospheric temperatures, whose amplitude, phase and period depend on latitude. The behavior of temperatures in the Equatorial Zone (EZ) suggests a approx.4-6-year period with amplitude of about +/-1-1.5 K in temperature. At mid-latitudes, the periodicity is more distinct with amplitudes around +/-1.5-2.5 K and 4-8 year periods. The 4.2-year variation of stratospheric temperatures known as the quasiquadrennial oscillation or "QQO" (Leovy et al. 1991, Nature 354, 380) continued during this period. There were no variations of zonal mean temperatures associated with any of the "global upheaval" events that have produced dramatic changes of jupiter's visible appearance and cloud cover, although there are colder discrete regions associated with updrafts, e.g. the early stages of the re-darkening ("revival") of the South Equatorial Belt (SEB) in late 2010. On the other hand increases in the visible albedos ("fades") of belts are accompanied by increases in the thickness of a 700-mbar cloud layer (most likely NH3 ice) and clouds at higher pressures, together with the mixing ratio of NH3 gas near 400 mbar (above its condensation level). These quantities decrease during re-darkening ("revival") episodes, during which we note discrete features that are exceptions to the general correlation between dark albedos and minimal cloudiness. In contrast to all these changes, the meridional distribution of the 240-mbar para-H2 fraction appears to be invariant in time.

Orton, G.↗
NASA NTRS2012

Resin-Impregnated Carbon Ablator: A New Ablative Material for Hyperbolic Entry Speeds

Ablative materials are required to protect a space vehicle from the extreme temperatures encountered during the most demanding (hyperbolic) atmospheric entry velocities, either for probes launched toward other celestial bodies, or coming back to Earth from deep space missions. To that effect, the resin-impregnated carbon ablator (RICA) is a high-temperature carbon/phenolic ablative thermal protection system (TPS) material designed to use modern and commercially viable components in its manufacture. Heritage carbon/phenolic ablators intended for this use rely on materials that are no longer in production (i.e., Galileo, Pioneer Venus); hence the development of alternatives such as RICA is necessary for future NASA planetary entry and Earth re-entry missions. RICA s capabilities were initially measured in air for Earth re-entry applications, where it was exposed to a heat flux of 14 MW/sq m for 22 seconds. Methane tests were also carried out for potential application in Saturn s moon Titan, with a nominal heat flux of 1.4 MW/sq m for up to 478 seconds. Three slightly different material formulations were manufactured and subsequently tested at the Plasma Wind Tunnel of the University of Stuttgart in Germany (PWK1) in the summer and fall of 2010. The TPS integrity was well preserved in most cases, and results show great promise.

Esper, Jaime↗
NASA NTRS2012

The HAL 9000 Space Operating System Real-Time Planning Engine Design and Operations Requirements

In support of future deep space manned missions, an autonomous/automated vehicle, providing crew autonomy and an autonomous response planning system, will be required due to the light time delays in communication. Vehicle capabilities as a whole must provide for tactical response to vehicle system failures and space environmental effects induced failures, for risk mitigation of permanent loss of communication with Earth, and for assured crew return capabilities. The complexity of human rated space systems and the limited crew sizes and crew skills mix drive the need for a robust autonomous capability on-board the vehicle. The HAL 9000 Space Operating System[2] designed for such missions and space craft includes the first distributed real-time planning / re-planning system. This paper will detail the software architecture of the multiple planning engine system, and the interface design for plan changes, approval and implementation that is performed autonomously. Operations scenarios will be defined for analysis of the planning engines operations and its requirements for nominal / off nominal activities. An assessment of the distributed realtime re-planning system, in the defined operations environment, will be provided as well as findings as it pertains to the vehicle, crew, and mission control requirements needed for implementation.

Stetson, Howard↗
NASA NTRS2012

RS-34 Phoenix (Peacekeeper Post Boost Propulsion System) Utilization Study

The Advanced Concepts Office (ACO) at the NASA Marshall Space Flight Center (MSFC) in conjunction with Pratt & Whitney Rocketdyne conducted a study to evaluate potential in-space applications for the Rocketdyne produced RS-34 propulsion system. The existing RS-34 propulsion system is a remaining asset from the decommissioned United States Air Force Peacekeeper ICBM program; specifically the pressure-fed storable bipropellant Stage IV Post Boost Propulsion System, renamed Phoenix. MSFC gained experience with the RS-34 propulsion system on the successful Ares I-X flight test program flown in October 2009. RS-34 propulsion system components were harvested from stages supplied by the USAF and used on the Ares I-X Roll control system (RoCS). The heritage hardware proved extremely robust and reliable and sparked interest for further utilization on other potential in-space applications. Subsequently, MSFC is working closely with the USAF to obtain all the remaining RS-34 stages for re-use opportunities. Prior to pursuit of securing the hardware, MSFC commissioned the Advanced Concepts Office to understand the capability and potential applications for the RS-34 Phoenix stage as it benefits NASA, DoD, and commercial industry. Originally designed, the RS-34 Phoenix provided in-space six-degrees-of freedom operational maneuvering to deploy multiple payloads at various orbital locations. The RS-34 Phoenix Utilization Study sought to understand how the unique capabilities of the RS-34 Phoenix and its application to six candidate missions: 1) small satellite delivery (SSD), 2) orbital debris removal (ODR), 3) ISS re-supply, 4) SLS kick stage, 5) manned GEO servicing precursor mission, and an Earth-Moon L-2 Waypoint mission. The small satellite delivery and orbital debris removal missions were found to closely mimic the heritage RS-34 mission. It is believed that this technology will enable a small, low-cost multiple satellite delivery to multiple orbital locations with a single boost. For both the small satellite delivery and the orbital debris mission candidates, the RS-34 Phoenix requires the least amount of modification to the existing hardware. The results of the RS-34 Phoenix Utilization Study show that the system is technically sufficient to successfully support all of the missions analyzed

Esther, Elizabeth A.↗
NASA NTRS2012

Space-based Observational Constraints for 1-D Plume Rise Models

We use a space-based plume height climatology derived from observations made by the Multi-angle Imaging SpectroRadiometer (MISR) instrument aboard the NASA Terra satellite to evaluate the ability of a plume-rise model currently embedded in several atmospheric chemical transport models (CTMs) to produce accurate smoke injection heights. We initialize the plume-rise model with assimilated meteorological fields from the NASA Goddard Earth Observing System and estimated fuel moisture content at the location and time of the MISR measurements. Fire properties that drive the plume-rise model are difficult to estimate and we test the model with four estimates for active fire area and four for total heat flux, obtained using empirical data and Moderate Resolution Imaging Spectroradiometer (MODIS) re radiative power (FRP) thermal anomalies available for each MISR plume. We show that the model is not able to reproduce the plume heights observed by MISR over the range of conditions studied (maximum r2 obtained in all configurations is 0.3). The model also fails to determine which plumes are in the free troposphere (according to MISR), key information needed for atmospheric models to simulate properly smoke dispersion. We conclude that embedding a plume-rise model using currently available re constraints in large-scale atmospheric studies remains a difficult proposition. However, we demonstrate the degree to which the fire dynamical heat flux (related to active fire area and sensible heat flux), and atmospheric stability structure influence plume rise, although other factors less well constrained (e.g., entrainment) may also be significant. Using atmospheric stability conditions, MODIS FRP, and MISR plume heights, we offer some constraints on the main physical factors that drive smoke plume rise. We find that smoke plumes reaching high altitudes are characterized by higher FRP and weaker atmospheric stability conditions than those at low altitude, which tend to remain confined below the BL, consistent with earlier results. We propose two simplified parameterizations for computing injection heights for fires in CTMs and discuss current challenges to representing plume injection heights in large scale atmospheric models.

Martin, Maria Val↗
NASA NTRS2012

Memoized Symbolic Execution

This paper introduces memoized symbolic execution (Memoise), a novel approach for more efficient application of forward symbolic execution, which is a well-studied technique for systematic exploration of program behaviors based on bounded execution paths. Our key insight is that application of symbolic execution often requires several successive runs of the technique on largely similar underlying problems, e.g., running it once to check a program to find a bug, fixing the bug, and running it again to check the modified program. Memoise introduces a trie-based data structure that stores the key elements of a run of symbolic execution. Maintenance of the trie during successive runs allows re-use of previously computed results of symbolic execution without the need for re-computing them as is traditionally done. Experiments using our prototype embodiment of Memoise show the benefits it holds in various standard scenarios of using symbolic execution, e.g., with iterative deepening of exploration depth, to perform regression analysis, or to enhance coverage.

Yang, Guowei↗