SEARCH · Search NASA

Results for “value analysis”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 505 records · Page 28

All sources NASA NTRS DOE OSTI

NASA NTRS1973

Application of EREP imagery to fracture-related mine safety hazards and environmental problems in mining

The author has identified the following significant results. Numerous fracture traces were detected on both the color transparencies and black and white spectral bands. Fracture traces of value to mining hazards analysis were noted on the EREP imagery which could not be detected on either the ERTS-1 or high altitude aircraft color infrared photography. Several areas of mine subsidence occurring in the Busseron Creek area near Sullivan, Indiana were successfully identified using color photography. Skylab photography affords an increase over comparable scale ERTS-1 imagery in level of information obtained in mined lands inventory and reclamation analysis. A review of EREP color photography permitted the identification of a substantial number of non-fuel mines within the Southern Indiana test area. A new mine was detected on the EREP photography without prior data. EREP has definite value for estimating areal changes in active mines and for detecting new non-fuel mines. Gob piles and slurry ponds of several acres could be detected on the S-190B color photography when observed in association with large scale mining operations. Apparent degradation of water quality resulting from acid mine drainage and/or siltation was noted in several ponds or small lakes and appear to be related to intensive mining activity near Sullivan, Indiana.

Wier, C. E.↗

NASA NTRS2014

A Multi-Parameter Approach for Calculating Crack Instability

An accurate fracture control analysis of spacecraft pressure systems, boosters, rocket hardware and other critical low-cycle fatigue cases where the fracture toughness highly impacts cycles to failure requires accurate knowledge of the material fracture toughness. However, applicability of the measured fracture toughness values using standard specimens and transferability of the values to crack instability analysis of the realistically complex structures is refutable. The commonly used single parameter Linear Elastic Fracture Mechanics (LEFM) approach which relies on the key assumption that the fracture toughness is a material property would result in inaccurate crack instability predictions. In the past years extensive studies have been conducted to improve the single parameter (K-controlled) LEFM by introducing parameters accounting for the geometry or in-plane constraint effects]. Despite the importance of the thickness (out-of-plane constraint) effects in fracture control problems, the literature is mainly limited to some empirical equations for scaling the fracture toughness data] and only few theoretically based developments can be found. In aerospace hardware where the structure might have only one life cycle and weight reduction is crucial, reducing the design margin of safety by decreasing the uncertainty involved in fracture toughness evaluations would result in lighter hardware. In such conditions LEFM would not suffice and an elastic-plastic analysis would be vital. Multi-parameter elastic plastic crack tip field quantifying developments combined with statistical methods] have been shown to have the potential to be used as a powerful tool for tackling such problems. However, these approaches have not been comprehensively scrutinized using experimental tests. Therefore, in this paper a multi-parameter elastic-plastic approach has been used to study the crack instability problem and the transferability issue by considering the effects of geometrical constraints as well as the thickness. The feasibility of the approach has been examined using a wide range of specimen geometries and thicknesses manufactured from 7075-T7351 aluminum alloy.

Zanganeh, M.↗

DOE OSTI2022

The need for speed – Burnup determination of spent nuclear fuel

Here we present the application of a novel analytical approach for high-speed evaluation of burn-up in spent nuclear fuel. This automated online separation–direct analysis method, which simultaneously measures the isotopic compositions and concentrations of Nd, Pu, and U using isotope dilution-inductively coupled plasma mass spectrometry, enables the determination of burnup in as little as 4.5 h per sample with expanded uncertainties as low as 1.2% using as little as 1µg of fuel. We compare the determined burn-up values, sample requirements, and analysis times with an ultra-high precision, in-house developed, methodology which employs multiple analytical techniques to measure the isotopic compositions and concentrations of Nd, Pu, and U yielding burn-up values with expanded uncertainties as low as 0.49% at the 95% confidence level, the lowest reported to date.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

NASA NTRS1986

A method for developing design diagrams for ceramic and glass materials using fatigue data

The service lifetime of glass and ceramic materials can be expressed as a plot of time-to-failure versus applied stress whose plot is parametric in percent probability of failure. This type of plot is called a design diagram. Confidence interval estimates for such plots depend on the type of test that is used to generate the data, on assumptions made concerning the statistical distribution of the test results, and on the type of analysis used. This report outlines the development of design diagrams for glass and ceramic materials in engineering terms using static or dynamic fatigue tests, assuming either no particular statistical distribution of test results or a Weibull distribution and using either median value or homologous ratio analysis of the test results.

Heslin, T. M.↗

NASA NTRS2011

The Next Generation of Mars-GRAM and Its Role in the Autonomous Aerobraking Development Plan

The Mars Global Reference Atmospheric Model (Mars-GRAM) is an engineering-level atmospheric model widely used for diverse mission applications. Mars-GRAM 2010 is currently being used to develop the onboard atmospheric density estimator that is part of the Autonomous Aerobraking Development Plan. In previous versions, Mars-GRAM was less than realistic when used for sensitivity studies for Thermal Emission Spectrometer (TES) MapYear=0 and large optical depth values, such as tau=3. A comparison analysis has been completed between Mars-GRAM, TES and data from the Planetary Data System (PDS) resulting in updated coefficients for the functions relating density, latitude, and longitude of the sun. The adjustment factors are expressed as a function of height (z), Latitude (Lat) and areocentric solar longitude (Ls). The latest release of Mars-GRAM 2010 includes these adjustment factors that alter the in-put data from MGCM and MTGCM for the Mapping Year 0 (user-controlled dust) case. The greatest adjustment occurs at large optical depths such as tau greater than 1. The addition of the adjustment factors has led to better correspondence to TES Limb data from 0-60 km as well as better agreement with MGS, ODY and MRO data at approximately 90-135 km. Improved simulations utilizing Mars-GRAM 2010 are vital to developing the onboard atmospheric density estimator for the Autonomous Aerobraking Development Plan. Mars-GRAM 2010 was not the only planetary GRAM utilized during phase 1 of this plan; Titan-GRAM and Venus-GRAM were used to generate density data sets for Aerobraking Design Reference Missions. These data sets included altitude profiles (both vertical and along a trajectory), GRAM perturbations (tides, gravity waves, etc.) and provided density and scale height values for analysis by other Autonomous Aero-braking team members.

Justh, Hilary L.↗

DOE OSTI2020

Preliminary Study of Potential Utilization of Triassic Rift Basins for Long-Term Carbon Sequestration

Triassic rift basins of the eastern United States present a potential option for long–term carbon dioxide (CO 2 ) sequestration. Exposed and buried basins are located near large point CO 2 sources. Because of their similar origins, comparable fill successions indicate a level of reproducibility that can be conveyed between basins. The thick rock successions of the exposed Culpeper and Gettysburg basins served as proxies for understanding of the basin sequences. Their study allowed recognition of five mappable assemblages of rock types, herein termed lithofacies associations. These lithofacies associations were formed by alluvial fan, braided and meandering streams and marginal and distal lake depositional processes.Stratigraphic architecture of the lithofacies associations within exposed basins suggests a vertical succession that consists of an initial coarse-grained fluvial succession that is progressively replaced upward and basinward by finer grained lacustrine deposits. Along the faulted margins of the basins alluvial fans transitioning to fluvial delta deposits reflect lateral progradation and contemporaneous lateral components of the basin filling.To test the model devised in exposed basins, facies associations were developed for the buried Taylorsville Basin. This basin preserves over 8,000 feet of Triassic rocks that are concealed beneath more than 2,000 feet of Cretaceous and Tertiary Coastal Plain sediments. Composition and stratigraphic architecture of these rocks are similar to those observed in exposed basins. Infilling of the basin was the result of vertical aggradation and lateral progradation of coarse-grained to fine-grained facies. Based upon study of outcrops in the Culpeper and Gettysburg basins, groups of recurring lithologic facies were identified as the fundamental constructs of the basin’s sediment infilling. These groups of facies, termed lithofacies associations, represent an amalgamation of lithologic components from broadly similar depositional systems. These lithologic associations were then extrapolated into the exposed and buried portions of the Taylorsville basins. This effort determined that Triassic rift basins provide several avenues for potential study of geologic sequestration of carbon. The characteristic rift basin succession in the basins presents possible reservoir targets within the marginal fluvial deposits. Furthermore, intrusive and extrusive mafic bodies present a potential source of fracture porosity that could serve as CO 2 reservoirs. Porosity values from thin section analysis of exposed basin samples are higher in alluvial fan and braided fluvial lithofacies. Porosity is highest in samples that show less compaction, due to a lack of ductile lithic fragments and/or higher stratigraphic position. Log data from the Taylorsville Basin indicates that porosity and permeability values in basin marginal fluvial strata are elevated. Near the center of the basin, porosity and permeability values are greatly reduced, primarily owing to the fine-grained character of the lacustrine deposits. Some Triassic basins also contain thick intervals of concordant extrusive and intrusive mafic igneous rocks. These igneous bodies are potential CO 2 reservoirs for several reasons. Firstly, extrusive lava flows provide potential storage in the layers of primary porosity that occur in the vesicules formed at the top of lava flows. Secondly, both lava flows and subsurface igneous sills exhibit extensive fracture porosity produced by the rapid cooling of the flows and intrusions. Thirdly, these igneous rocks are mafic in composition, and studies have shown that iron- and magnesium-rich mafic rocks provide sequestration opportunities through carbonate remineralization. Lastly, extrusive and intrusive igneous rocks are invariably preserved within fine-grained lake deposits. These lacustrine sediments can serve as a fine-grained confining layer that encases the igneous rocks both above and below.

01 COAL, LIGNITE, AND PEAT↗

NASA NTRS2011

ISS Microgravity Environment

The Microgravity performance assessment of the International Space Station (ISS) is comprised of a quasi-steady, structural dynamic and a vibro-acoustic analysis of the ISS assembly-complete vehicle configuration. The Boeing Houston (BHOU) Loads and Dynamics Team is responsible to verify compliance with the ISS System Specification (SSP 41000) and USOS Segment (SSP 41162) microgravity requirements. To verify the ISS environment, a series of accelerometers are on-board to monitor the current environment. This paper summarizes the results of the analysis that was performed for the Verification Analysis Cycle (VAC)-Assembly Complete (AC) and compares it to on-orbit acceleration values currently being reported. The analysis will include the predicted maximum and average environment on-board ISS during multiple activity scenarios

Laible, Michael R.↗

DOE OSTI2023

baseflow: a MATLAB and GNU Octave package for baseflow recession analysis

baseflow is a MATLAB® toolbox designed for baseflow recession analysis, a technique used in hydrologic science to infer aquifer properties from streamflow. By leveraging widely available streamflow data, baseflow can be used to estimate aquifer properties such as hydraulic conductivity and drainable porosity over the modern instrumental stream gage record. The toolbox is intended for analysis of measured streamflow values recorded on a daily timestep, and is tailored for shallow, unconfined riparian aquifers that discharge groundwater laterally into adjacent streams. Additionally, baseflow can analyze the collective behavior of individual hillslope aquifers constituting hydrologic catchments, known as “watersheds”, from a nonlinear dynamical systems perspective. The toolbox incorporates recent advances in baseflow recession analysis to enable objective estimations of aquifer properties, and their sensitivity to methodological decisions, at both hillslope and catchment scales.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS1998

Analysis of Autopilot Behavior

Aviation and cognitive science researchers have identified situations in which the pilot's expectations for behavior of autopilot avionics are not matched by the actual behavior of the avionics. These "automation surprises" have been attributed to differences between the pilot's model of the behavior of the avionics and the actual behavior encoded in the avionics software. A formal technique is described for the analysis and measurement of the behavior of the cruise pitch modes of a modern Autopilot. The analysis characterizes the behavior of the Autopilot as situation-action rules. The behavior of the cruise pitch mode logic for a contemporary modern Autopilot was found to include 177 rules, including Level Change (23), Vertical Speed (16), Altitude Capture (50), and Altitude Hold (88). These rules are determined based on the values of 62 inputs. Analysis of the rule-based model also shed light on the factors cited in the literature as contributors to "automation surprises."

Sherry, Lance↗

DOE OSTI2023

Morphological analysis of the polarized synchrotron emission with WMAP and Planck

The bright polarized synchrotron emission, away from the Galactic plane, originates mostly from filamentary structures. We implement a filament finder algorithm which allows the detection of bright elongated structures in polarized intensity maps. We analyse the sky at 23 and 30 GHz as observed respectively by WMAP and Planck. We identify 19 filaments, 13 of which have been previously observed. For each filament, we study the polarization fraction, finding values typically larger than for the areas outside the filaments, excluding the Galactic plane, and a fraction of about 30% is reached in two filaments. We study the polarization spectral indices of the filaments, and find a spectral index consistent with the values found in previous analysis (about -3.1) for more diffuse regions. Decomposing the polarization signals into the E and B families, we find that most of the filaments are detected in P E , but not in P B . We then focus on understanding the statistical properties of the diffuse regions of the synchrotron emission at 23 GHz. Using Minkowski functionals and tensors, we analyse the non-Gaussianity and statistical isotropy of the polarized intensity maps. For a sky coverage corresponding to 80% of the fainter emission, and on scales smaller than 6 degrees (ℓ > 30), the deviations from Gaussianity and isotropy are significantly higher than 3σ. The level of deviation decreases for smaller scales, however, it remains significantly high for the lowest analised scale (~ 1.5°). When 60% sky coverage is analysed, we find that the deviations never exceed 3σ. Finally, we present a simple data-driven model to generate non-Gaussian and anisotropic simulations of the synchrotron polarized emission. The simulations are fitted in order to match the spectral and statistical properties of the faintest 80% sky coverage of the data maps.

79 ASTRONOMY AND ASTROPHYSICS↗

DOE OSTI2020

Measuring Neutrino Oscillations in the NOvA and CHIPS Detectors.

NOvA is a long baseline neutrino experiment which uses muon neutrinos produced by the NuMI beam at the Fermi National Accelerator Laboratory to measure muon neutrino disappearance and electron neutrino appearance, among other analyses. The Far/Near Extrapolation analysis framework (FNEX) was used to measure muon neutrino disappearance using the events observed by NOvA while the NuMI beam was in Forward Horn Current configuration (i.e. this analysis uses neutrino data, not antineutrino data). The values of the parameters measured in this analysis are sin 2 θ 23 - 0.499$^{+0.098}_{-0.069}$ and Δm$^2_{32}$ - 2.454$^{+0.108}_{0.119}$ × 10 -3 eV, which is consistent with the results of NOvA’s main muon neutrino disappearance analysis using the experiment’s usual framework, known as CAF. The CHIPS detector is a water Cherenkov detector currently in construction. It will also use the NuMI beam to perform muon neutrino disappearance and electron neutrino appearance analyses. The necessary water clarity for a detector with a diameter of 25 m and a height of 6 m is discussed, as well as the results of testing water filtration systems. The filtration that will be used for the detector is a 10 µm carbon block filter and a 0.5 µm filter in series, with no reverse osmosis or ultraviolet sterilisation being used. This provides an attenuation length of 16.63 ± 0.25 m for light of 532 nm wavelength (green), so light with a wavelength of 405 nm (violet) would have an attenuation length of 133±2 m. The greatest possible distance between a PMT and any point in the detector’s volume is approximately 26 m, so 133 m is sufficient for the detector to measure Cherenkov light produced anywhere in the detector.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

NASA NTRS2008

Global Characterization of Biomass-Burning Patterns using Satellite Measurements of Fire Radiative Energy

Remote sensing is the most practical means of measuring energy release from large open-air biomass burning. Satellite measurement of fire radiative energy (FRE) release rate or power (FRP) enables distinction between fires of different strengths. Based on a 1-km resolution fire data acquired globally by the MODerate-resolution Imaging Spectro-radiometer (MODIS) sensor aboard the Terra and Aqua satellites from 2000 to 2006, instanteaneous FRP values ranged between 0.02 MW and 1866 MW, with global daily means ranging between 20 and 40 MW. Regionally, at the Aqua-MODIS afternoon overpass, the mean FRP values for Alaska, Western US, Western Australia, Quebec and the rest of Canada are significantly higher than these global means, with Quebec having the overall highest value of 85 MW. Analysis of regional mean FRP per unit area of land (FRP flux) shows that a peak fire season in certain regions, fires can be responsible for up to 0.2 W/m(sup 2) at peak time of day. Zambia has the highest regional monthly mean FRP flux of approximately 0.045 W/m(sup 2) at peak time of day and season, while the Middle East has the lowest value of approximately 0.0005 W/m(sup 2). A simple scheme based on FRP has been devised to classify fires into five categories, to facilitate fire rating by strength, similar to earthquakes and hurricanes. The scheme uses MODIS measurements of FRP at 1-km resolution as follows: catagory 1 (less than 100 MW), category 2 (100 to less than 500 MW), category 3 (500 to less than 1000 MW), category 4 (1000 to less than 1500 MW), catagory 5 (greater than or equal to 1500 MW). In most regions of the world, over 90% of fires fall into category 1, while only less than 1% fall into each of categories 3 to 5, although these proportions may differ significantly from day to day and by season. The frequency of occurence of the larger fires is region specific, and could not be explained by ecosystem type alone. Time-series analysis of the propertions of higher category fires based on MODIS measured FRP from 2002 to 2006 does not show any moticeable trend because of the short time period.

Ichoku, Charles↗

DOE OSTI2020

Microstructure Experiments-Enabled MARMOT Simulations of SiC/SiC-based Accident Tolerant Nuclear Fuel System

We have undertaken an experimental-computational project that addresses a few key technology gaps associated with the use of SiC/SiC composites for light water reactor fuel cladding. Two principal endeavors in this project are to assess the irradiation-induced microstructural changes and swelling in SiC/SiC composites, and to characterize and model the porous oxide surface layer (when exposed to steam) along SiC recession that is detrimental to the clad integrity under accident conditions. The project tasks are: (i) ion irradiation and characterization (University of Tennessee, Knoxville), (ii) mechanical tests and analysis (University of South Carolina), (iii) steam exposure tests (Oak Ridge National Laboratory), (iv) electron microscopy and spectroscopic characterization (NC State University), (v) x-ray microscopy and reconstruction (University of South Carolina and NC State University), (vi) phase field modeling and simulations (NC State University and Idaho National Laboratory). The effects of 10 MeV Au ion irradiation at 350°C on the microstructure evolution in SiC/SiC composites are investigated at doses up to 400 displacements per atom (dpa) at the University of Tennessee, Knoxville. Atomic force microscopy and optical profilometry reveal irradiation induced axial and radial shrinkage of the fibers for doses greater than 10 dpa. Based on detailed electron microscopy characterization, the primary cause of the fiber shrinkage is attributed to irradiation-induced loss of carbon packets. Additionally, the multilayer PyC interface is observed to portray high resistance to irradiation damage. The mechanical response and failure mechanisms of un-irradiated samples is also assessed through loading tests and X-ray imaging at the University of South Carolina. Steam exposure tests are performed at the Oak Ridge National Laboratory in a facility that represents a reactor pressure vessel under a loss-of-coolant-accident scenario. The samples that are analyzed methodically in this report are tested for 32/31 hours at 1200°C with a velocity of 0.25 cm/s for the pressures: 0.1 MPa, 0.45 MPa, 0.92 MPa and 1.38 MPa. Scanning/transmission electron microscopy analysis conducted at the NC State University (NCSU) shows that the oxide layer thickness increases with the steam pressure. While the oxide layer is crystalline (α- cristobalite) for the pressures 0.45 MPa, 0.92 MPa and 1.38 MPa, the layer is amorphous at 0.1 MPa. Results from Raman spectroscopy have also confirmed the formation of α-cristobalite phase of SiO₂. The abrupt increase in the integrated Raman intensity ratio between steam pressures 0.1 and 0.45 MPa suggests the onset of accelerated crystallization. Non-destructive three dimensional X-ray microscopy/tomography (XCT) and computational image processing techniques are employed by the University of South Carolina to probe the porous oxidation features on SiC samples at varying pressures. Interestingly, most pores are observed to be located away from the surface as well as the oxide-SiC interface. The average oxide layer thickness assessed from the XCT analysis is seen to be in excellent agreement with the values determined through scanning electron microscopy analysis for the highest pressures where the oxide layer is relatively more uniform. A phase-field model developed by the NC State University and Idaho National Laboratory for simulating oxidation of SiC by steam captures the paralinear kinetics of SiC oxidation with a high degree of fidelity. Results from quasi-one-dimensional and two dimensional simulations show that the pores with oxidizing species lead to a higher volatilization rate. These simulations indicate that the enhanced apparent volatilization rates at higher pressures observed in experiments can be rationalized by the increased volatilization from the pores. The project team has also successfully developed the capability to import images from experiments for realistic evolution of the oxidizing microstructure.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

NASA NTRS2008

A Piloted Simulator Evaluation of Transport Aircraft Rudder Pedal Force/Feel Characteristics

A piloted simulation study has been conducted in a fixed-base research simulator to assess the directional handling qualities for various rudder pedal feel characteristics for commercial transport airplanes. That is, the effects of static pedal force at maximum pedal travel, breakout force, and maximum pedal travel on handling qualities were studied. An artificial maneuver with a severe lateral wind shear and requiring runway tracking at an altitude of 50 feet in a crosswind was used to fully exercise the rudder pedals. Twelve active airline pilots voluntarily participated in the study and flew approximately 500 maneuvers. The pilots rated the maneuver performance with various rudder pedal feel characteristics using the Cooper- Harper rating scale. The test matrix had 15 unique combinations of the 3 static pedal feel characteristics. A 10-term, second-order equation for the Cooper-Harper pilot rating as a function of the 3 independent pedal feel parameters was fit to the data. The test matrix utilized a Central Composite Design that is very efficient for fitting an equation of this form. The equation was used to produce contour plots of constant pilot ratings as a function of two of the parameters with the third parameter held constant. These contour plots showed regions of good handling qualities as well as regions of degraded handling qualities. In addition, a numerical equation solver was used to predict the optimum parameter values (those with the lowest pilot rating). Quantitative pilot performance data were also analyzed. This analysis found that the peak values of the cross power spectra of the pedal force and heading angle could be used to quantify the tendency toward directional pilot induced oscillations (PIO). Larger peak values of the cross power spectra were correlated with larger (degraded) Cooper-Harper pilot ratings. Thus, the subjective data (Cooper-Harper pilot ratings) were consistent with the objective data (peak values of the cross power spectra).

Stewart, Eric C.↗

DOE OSTI2019

R2 relaxometry based MR imaging for estimation of liver iron content: A comparison between two methods

Purpose: To compare the reproducibility and accuracy of R2-relaxometry MRI for estimation of liver iron concentration (LIC) between in-house analysis and FDA-approved commercially available third party results. Methods: All MR studies were performed on a 1.5T scanner. Multi-echo spin-echo scans with a fixed TR and increasing TE values of 6 ms, 9 ms, 12 ms, 15 ms, and 18 ms (spaced at 3 ms intervals) were used. Post-processing of the images to calculate mean relaxivity, R2, included drawing of regions of interest to include the whole liver on mid-slice. The relationship between liver R2 values and estimated LIC calculated with in-house analysis and values reported by an external company (FerriScan{sup ®}, Resonance Health, Australia) were assessed with correlation coefficients and Bland–Altman difference plots. Continuous variables are presented as mean ± standard deviation. Significance was set at p value < 0.05. Results: 474 studies from 175 patients were included in the study (mean age 10.4 ± 4.2 years (range 1–18 years); 254 studies from girls, 220 studies from boys). LIC ranged from 0.6 to 43 mg/g dry tissue, covering a broad range from normal levels to extremely high iron levels. Linearity between proprietary and in-house methods was excellent across the observed range for R2 (31.5 to 334.8 s{sup −1}); showing a correlation coefficient of r = 0.87, p < 0.001. Bland–Altman R2 difference plot between the two methods shows a mean bias of + 21.5 s{sup −1} (range − 47.0 to + 90.0 s{sup −1} between two standard deviations). LIC reported by FerriScan{sup ®} compared with LIC estimated in-house with R2 as reported by FerriScan{sup ®} agreed strongly, (r = 1.0, p < 0.001). Conclusion: R2 relaxometry MR imaging for liver iron concentration estimation is reproducible between proprietary FDA-approved commercial software and in-house analysis methods.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

NASA NTRS2009

A Survey of New Trends in Symbolic Execution for Software Testing and Analysis

Symbolic execution is a well-known program analysis technique which represents values of program inputs with symbolic values instead of concrete (initialized) data and executes the program by manipulating program expressions involving the symbolic values. Symbolic execution has been proposed over three decades ago but recently it has found renewed interest in the research community, due in part to the progress in decision procedures, availability of powerful computers and new algorithmic developments. We provide a survey of some of the new research trends in symbolic execution, with particular emphasis on applications to test generation and program analysis. We first describe an approach that handles complex programming constructs such as input data structures, arrays, as well as multi-threading. We follow with a discussion of abstraction techniques that can be used to limit the (possibly infinite) number of symbolic configurations that need to be analyzed for the symbolic execution of looping programs. Furthermore, we describe recent hybrid techniques that combine concrete and symbolic execution to overcome some of the inherent limitations of symbolic execution, such as handling native code or availability of decision procedures for the application domain. Finally, we give a short survey of interesting new applications, such as predictive testing, invariant inference, program repair, analysis of parallel numerical programs and differential symbolic execution.

Pasareanu, Corina S.↗

DOE OSTI2023

A Dark Siren Measurement of the Hubble Constant with the LIGO/Virgo Gravitational Wave Event GW190412 and DESI Galaxies

Abstract We present a measurement of the Hubble Constant H 0 using the gravitational wave event GW190412, an asymmetric binary black hole merger detected by LIGO/Virgo, as a dark standard siren. This event does not have an electromagnetic counterpart, so we use the statistical standard siren method and marginalize over potential host galaxies from the Dark Energy Spectroscopic Instrument (DESI) survey. GW190412 is well-localized to 12 deg 2 (90% credible interval), so it is promising for a dark siren analysis. The dark siren value for H 0 = 85.4 − 33.9 + 29.1 km s −1 Mpc −1 , with a posterior shape that is consistent with redshift overdensities. When combined with the bright standard siren measurement from GW170817 we recover H 0 = 77.96 − 5.03 + 23.0 km s −1 Mpc −1 , consistent with both early and late-time Universe measurements of H 0 . This work represents the first standard siren analysis performed with DESI data, and includes the most complete spectroscopic sample used in a dark siren analysis to date.

Ballard, W.↗

NASA NTRS1985

The solar wind effect on cosmic rays and solar activity

The relation of cosmic ray intensity to solar wind velocity is investigated, using neutron monitor data from Kiel and Deep River. The analysis shows that the regression coefficient of the average intensity for a time interval to the corresponding average velocity is negative and that the absolute effect increases monotonously with the interval of averaging, tau, that is, from -0.5% per 100km/s for tau = 1 day to -1.1% per 100km/s for tau = 27 days. For tau 27 days the coefficient becomes almost constant independently of the value of tau. The analysis also shows that this tau-dependence of the regression coefficiently is varying with the solar activity.

Fujimoto, K.↗