Search NASA⌕ Search

SEARCH · Search NASA

Results for “document 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.

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

At least 577 records · Page 32
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

Composite Analysis Solid Waste Release Data Reduction of Activity Flux from Waste Sites to the Vadose Zone for Baseline Assessment

This environmental calculation file (ECF) describes the data reduction methodology for the solid waste release datasets generated by the Composite Analysis Solid Waste Release (CASWR) model (CP-62766, Model Package Report: Composite Analysis Solid Waste Release Model [CASWR Model]) and documents the resulting reduced datasets for the updated Composite Analysis (CA) baseline assessment. This ECF is in support of the updated Hanford Site CA. The purpose of the updated Hanford Site CA is to provide an estimate of the cumulative radiological impacts from active and planned low-level radioactive waste disposals and other potentially interacting radioactive waste disposal sources that will remain following Hanford Site closure. The vadose zone modeling activities associated with the CA includes solid waste forms as contaminant sources. To support the modeling of solid waste transport from the vadose zone to the groundwater at the Hanford Site, the CASWR model was designed to generate deterministic radionuclide release rates for the Hanford Site Central Plateau solid waste disposal sites. The complete CASWR model-generated dataset for the CA Baseline Assessment consists of 2,378,831 sets of time and release rates (1,073,869 sets for the 200 East Area and 1,304,962 sets for the 200 West Area), representing a course of the simulation from year 1953 to year 12,069, 16 radiological contaminants of potential concern (COPCs), and 237 solid waste sources as documented in ECFHANFORD- 19-0112, Solid Waste Release Calculations for the Composite Analysis Baseline Assessment. For several of the STOMP vadose zone models, the number of release rate data pairs required for release at all waste sites would exceed the limitations imposed by the STOMP modelling software package used to simulate contaminant transport through the vadose zone. As a result, a data reduction of the CASWR dataset is required prior to its use as a source input for the CA vadose zone modeling activities.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2026

Purpose, Design, and Analysis of the NSTX-U Centerstack Casing Lateral Support Shims

The National Spherical Torus Experiment Upgrade (NSTX-U) centerstack casing surrounds the central magnet core of NSTXU. It provides the inner vacuum boundary of the plasma chamber and supports the radially inboard plasma facing components lining the plasma chamber. The casing is supported like a cantilever, fixed at the lower flange by a connection to the TF Bundle through a G-10 ring. It is flexibly supported at the top by bellows, and insulated shims intended to react the largest part of the inventory of the disruption loads at the upper support, thereby protecting the upper and lower connections from excessive loads. A large part of the qualification of the casing and tiles requires addressing and quantifying disruption loads. These have been estimated based on extensions of the behavior of NSTX during its run period roughly 15 years ago. Structural qualification of the Upgrade used these estimates of the loading as input to calculations to demonstrate adequacy for a “most probable” disruption. The estimates are included in a requirements document to guide conservative design of all components loaded by disruptions. However, the changes made for the upgrade made the extrapolation of disruption behavior uncertain. Disruptions include axisymmetric loading from axisymmetric currents induced in the vessel shells. In addition, more complex currents called Halo currents are a result of plasma poloidal currents impinging on the casing. The halo currents add another layer of uncertain behavior and net lateral loading to the casing. As a result, NSTX-U is equipped with a number of instruments intended to assess the nature and severity of disruptions. The casing shims are required for lateral support of the casing, but these have also been converted to load cells to provide another measure of the magnitude of symmetric and asymmetric loading. Some of the logic in the development of the requirements document are presented. Electromagnetic analysis of axisymmetric and halo loading is described. Global simulations of the casing transient dynamic response, and local analysis and testing of the shim/load cell are included. The shim load cells and other instrumentation will be an important guide in planning NSTX-U experiments beyond its next run period expected in late 2026 or early 2027.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
NASA NTRS2016

Aerosol Complexity and Implications for Predictability and Short-Term Forecasting

There are clear NWP and climate impacts from including aerosol radiative and cloud interactions. Changes in dynamics and cloud fields affect aerosol lifecycle, plume height, long-range transport, overall forcing of the climate system, etc. Inclusion of aerosols in NWP systems has benefit to surface field biases (e.g., T2m, U10m). Including aerosol affects has impact on analysis increments and can have statistically significant impacts on, e.g., tropical cyclogenesis. Above points are made especially with respect to aerosol radiative interactions, but aerosol-cloud interaction is a bigger signal on the global system. Many of these impacts are realized even in models with relatively simple (bulk) aerosol schemes (approx.10 -20 tracers). Simple schemes though imply simple representation of aerosol absorption and importantly for aerosol-cloud interaction particle-size distribution. Even so, more complex schemes exhibit a lot of diversity between different models, with issues such as size selection both for emitted particles and for modes. Prospects for complex sectional schemes to tune modal (and even bulk) schemes toward better selection of size representation. I think this is a ripe topic for more research -Systematic documentation of benefits of no vs. climatological vs. interactive (direct and then direct+indirect) aerosols. Document aerosol impact on analysis increments, inclusion in NWP data assimilation operator -Further refinement of baseline assumptions in model design (e.g., absorption, particle size distribution). Did not get into model resolution and interplay of other physical processes with aerosols (e.g., moist physics, obviously important), chemistry

Predictability↗
DOE OSTI2021

Verification and Validation of the PLTEMP/ANL Code for Thermal-Hydraulic Analysis of Experimental and Test Reactors (Code Version 4.3)

The document compiles in a single volume the verification and validation works done for the PLTEMP/ANL code during the years of its development and improvement. The verification of sixteen capabilities of the PLTEMP/ANL Version 4.3 code that were identified by research reactor analysts as frequently used in their thermal-hydraulic analysis are described and documented. Each chapter of the document deals with the verification or validation of a specific part of the software that calculates a specific phenomenon, e.g., channel flow calculation, coolant property calculation, heat transfer calculation, and flow instability calculation. The software verification work is usually done by comparing the code with hand calculation, Microsoft spreadsheet calculation, or Mathematica calculation. The software validation is done by comparing the code with experimental data or a widely tested code like the RELAP5 code. In addition, some PLTEMP/ANL verification works that are available in the open literature are simply referenced and not included in the document. PLTEMP/ANL has been used in conversion safety analysis reports of several US and foreign research reactors that have been licensed and converted. A list of such reactors is given.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2020

As-run physics analysis for the EPRI-2 experiment for cycle 153B

The purpose of this ECAR is to document the as-run physics analysis and source term in Curies and decay heat rate (Watts) for the shipment of the EPRI-2 experiment located in the Center Flux Trap (CFT). EPRI-2 was irradiated during cycle 153B. The experiment irradiation ended on April 13, 2013. The as-run heat rates and flux/fluence results were calculated using the MCNP ATR full core model. The heat rates and flux are calculated based on an average center lobe power of 30.8 MW. The fluence is based on the operating time of 13.45 days. ORIGEN2 Version 2.2 is used to determine the decay heat rate, gamma spectrum, and source term for the EPRI-2 experiment. The source term analysis was performed as requested by the project staff to demonstrate compliance with shipping requirements in the GE-2000 cask following irradiation as well as provide an estimated source term to support Post-Irradiation Examination as needed.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
NASA NTRS1993

LDEF archival system plan

The Long Duration Exposure Facility (LDEF) has provided the first significant opportunity to extensively study the space environment and its effects upon spacecraft systems and materials. The long-term value of the data obtained from LDEF, which is applicable to a wide range of areas including space environment definition, space environmental effects, and spacecraft design, will depend upon the system developed to archive and retrieve the data. Therefore, in addition to the large effort undertaken to analyze LDEF data, a substantial effort is also necessary in order to retain and disseminate LDEF resources for future research and design. W. J. Schafer Associates, Inc., has a task subcontract to develop the LDEF archival system. The LDEF resources include data, hardware, photographic records, and publications which cover the 20-year history of LDEF from concept design through data analysis. Chronologically, prelaunch resources include documentation of facility and experiment development, testing integration, and operation. Post-retrieval resources are the observations, testing, analysis, and publications since the January 1990 retrieval of LDEF. A third set of resources is the experiment and facility hardware and specimens, including more than 10,000 test specimens flown on LDEF and subsequently divided and distributed among investigators at numerous laboratories. Many valuable science and technology investigations were undertaken with LDEF experiments and hardware, and many more investigations are being identified in areas not yet explored. LDEF data applications encompass primarily low-Earth orbit spacecraft and structures. The nearly six-year space exposure of LDEF has provided data to evaluate materials, systems, and living specimens exposed to radiation, meteoroids, debris, and other constituents of the low-Earth environment. Structural, mechanical, electrical, optical, and thermal systems were studied, and materials with applications in all aspects of space systems were exposed to the space environment. The objectives of the LDEF archival system are to maintain the existing LDEF hardware, data, analysis, publications, and photographs as a long term resource, and to provide a quick and simple mechanism by which LDEF resources can be identified, located, and applied.

Wilson, Brenda K.↗
NASA NTRS1995

Advanced Transportation System Studies Technical Area 2 (TA-2) Heavy Lift Launch Vehicle Development Contract: Technical Results - Volume 2

The purpose of the Advanced Transportation System Studies (ATSS) Technical Area 2 (TA-2) Heavy Lift Launch Vehicle Development contract was to provide advanced launch vehicle concept definition and analysis to assist NASA in the identification of future launch vehicle requirements. Contracted analysis activities included vehicle sizing and performance analysis, subsystem concept definition, propulsion subsystem definition (foreign and domestic), ground operations and facilities analysis, and life cycle cost estimation. This document is Volume 2 of the final report for the contract. It provides documentation of selected technical results from various TA-2 analysis activities, including a detailed narrative description of the SSTO concept assessment results, a user's guide for the associated SSTO sizing tools, an SSTO turnaround assessment report, an executive summary of the ground operations assessments performed during the first year of the contract, a configuration-independent vehicle health management system requirements report, a copy of all major TA-2 contract presentations, a copy of the FLO launch vehicle final report, and references to Pratt & Whitney's TA-2 sponsored final reports regarding the identification of Russian main propulsion technologies.

Source record↗
NASA NTRS2019

Exploration of Failure and Potential Damage Markers in Ti-6Al-4V

To improve prognostics for predicting component life, coupon tests were conducted on Ti-6Al-4V to investigate the development of damage. Various test types were employed (tension, creep, stress relaxation, and fatigue) under a wide range of temperatures and loading rates to engage various amounts of time-dependent and damage behavior. Both stiffness degradation and Poisson’s ratio were monitored to see if they were useful in indicating the initiation and accumulation of damage and subsequently the onset of failure. Stiffness exhibited large decreases with increasing strain when calculated using engineering stress and strain. However, minimal stiffness change was observed when using the true-stress and true- strain values. Detailed microscopy and image analysis were performed to document the actual physical damage that occurred within the various specimens. Two types of damage were observed: shallow surface cracks and internal pores. The severity of damage was greater in the region of localized necking and diminished further away from the neck. The area fraction of pores was higher in the necked region, yet even there it did not exceed more than a few percent and, in most cases, was significantly lower. It was observed that conditions that induced more time-dependent deformation (e.g., slower strain rate testing) resulted in a larger number of pores and larger pore sizes. The pores were always found to occur in the softer β-phase. The severity of observed damage was inconsistent with the large drop in engineering stiffness, but was more aligned with stiffness changes from the true-stress and -strain values. Poisson’s ratio was monitored on every test and showed promise as a damage indicator. It was found to be more sensitive than either the ultimate tensile strength or the inception of tertiary creep. However, calculation of Poisson’s ratio was found to be more involved than expected because of anisotropy and the presence of strain gradients along the specimen at large applied strains. First, the material had a moderate texture and resulted in anisotropy of the strains. Second, the evolution of Poisson’s ratio as a function of axial strain showed strange and unexpected behaviors, which necessitated more extensive analyses of its development. This led to an investigation on the use of small versus large strain approaches and the importance of making consistent measurements; that is, axial and transverse strain measurements over the same volume of material. Additionally, finite element analysis of a tensile sample indicated that non- uniform strain occurred in the sample prior to attaining the maximum strength. This, along with the location at which transverse strain was measured, had a significant influence on the resulting values of Poisson’s ratio. Based on this, lessons learned are offered for future testing.

Ti-6Al-4V↗
DOE OSTI2024

A Review of the Lawrence Livermore Nuclear Accident Dosimeter 1980s-present

A Nuclear Accident Dosimetry program is a federal requirement for all facilities that have the potential to have a criticality accident. Personnel Nuclear Accident Dosimeter (PNAD) theory and analytical procedures are driven by various scientific needs and interacting regulations. A brief history of the status of USA Department of Energy (DOE) nuclear accident dosimetry regulations, recommendations, and performance testing criteria are given. Then, the history of the Lawrence Livermore National Laboratory (LLNL) PNAD is explored, including changes in the physical dosimeter and adjustments of the analysis method through the last four decades. Finally, the performance of LLNL’s PNAD at criticality accident intercomparison training exercises since 2009 is explored. In general, reported neutron doses have been within or close to DOE-STD-1098 performance criteria while reported gamma doses have been outside of DOE-STD-1098 performance criteria. Reported total absorbed doses have varied in meeting ANSI/HPS N13.3 and ANSI/HPS N13.3 (R2019) performance criteria. Dosimetry staff retirement and turnover have left historical knowledge gaps, yet provided opportunities within the NAD program at LLNL. This review paper serves as an overview of the history and status of the NAD program. Brief technical, procedural and programmatic recommendations to improve LLNL’s NAD program are given. Technical recommendations include investigating orientation factors through modeling or empirical experimentation, investigating gamma dosimetry methods for high-dose scenarios, and exploring other dosimetric methods for simpler, quicker NAD analysis. Procedural recommendations include better documentation of conversion factor (activity-to-fluence and fluence-to-dose) derivations and spectrum uses, and updated analysis spreadsheets or simple Graphic User Interfaces for dose calculations. In conclusion, programmatic recommendations include formalized training for NAD analysts, and having multiple SMEs trained on the NAD program.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
NASA NTRS2014

High-Precision Measurement of Eu/Eu* in Geological Glasses via LA-ICP-MS Analysis

Elemental fractionation during laser ablation inductively coupled plasma mass spectrometry (LA-ICP-MS) analysis has been historically documented between refractory and volatile elements. In this work, however, we observed fractionation between light rare earth elements (LREEs) and heavy rare earth elements (HREEs) when using ablation strategies involving large spot sizes (greater than 100 millimeters) and line scanning mode. In addition: (1) ion yields decrease when using spot sizes above 100 millimeters; (2) (Eu/Eu*)(sub raw) (i.e. Europium anomaly) positively correlates with carrier gas (He) flow rate, which provides control over the particle size distribution of the aerosol reaching the ICP; (3) (Eu/Eu*)(sub raw) shows a positive correlation with spot size, and (4) the changes in REE signal intensity, induced by the He flow rate change, roughly correlate with REE condensation temperatures. The REE fractionation is likely driven by the slight but significant difference in their condensation temperatures. Large particles may not be completely dissociated in the ICP and result in preferential evaporation of the less refractory LREEs and thus non-stoichiometric particle-ion conversion. This mechanism may also be responsible for Sm-Eu-Gd fractionation as Eu is less refractory than Sm and Gd. The extent of fractionation depends upon the particle size distribution of the aerosol, which in turn is influenced by the laser parameters and matrix. Ablation pits and lines defined by low aspect ratios produce a higher proportion of large particles than high aspect ratio ablation, as confirmed by measurements of particle size distribution in the laser induced aerosol. Therefore, low aspect ratio ablation introduces particles that cannot be decomposed and/or atomized by the ICP and thus results in exacerbated elemental fractionation. Accurate quantification of REE concentrations and Eu/Eu* requires reduction of large particle production during laser ablation. For the reference materials analyzed in this work, the 100 millimeters spot measurements of Eu/Eu* agreed with GeoRem preferred values within 3 percent. Our long-term analyses of Eu/Eu* in MPI-DING glass KL-2G and USGS glass BIR-1G were reproducible at 3 percent (2 RSD).

geological glasses↗
DOE OSTI2025

Automated Hybrid Variance Reduction on Advanced Architectures in the Shift Monte Carlo Code

Monte Carlo transport methods are the most accurate schemes for solving problems with complex energy and spatial features, but they come with a high computational cost. Although hybrid methods have enabled the use of Monte Carlo transport for a large class of problems, they still require significant computing resources. Modern multicore CPUs with large numbers of compute cores and graphical processing units (GPUs) provide opportunities to optimize the memory and run-time costs of hybrid Monte Carlo methods. This paper documents the development and analysis of three Monte Carlo transport algorithms that support hybrid transport using the consistent adjoint-driven importance sampling (CADIS) and forward-weighted CADIS methods in the Shift Monte Carlo code: history-based transport using static and dynamic threading on multicore CPUs and event-based transport enabling weight window tracking on GPUs. The results are shown for two challenging hybrid problems on the Frontier supercomputer at the Oak Ridge Leadership Computing Facility. The results show that all three methods yield good performance and enable solutions of difficult fixed-source transport problems in less than 2 min on 20 nodes of Frontier. Dynamic threading was observed to give up to 20% better scaling behavior than static threading. Moreover, the AMD Instinct 250X GPU was found to give 9 to 11 times greater throughput per graphics compute die than the best CPU performance. In conclusion, additional opportunities for optimization of hybrid transport on GPUs are discussed.

Denovo↗
DOE OSTI2025

BuildingSync® v.2.7.0 (released 9.11.2025) [SWR-18-28]

BuildingSync® is a building data exchange schema to better enable integration between software tools and building data workflows. The schema's original use case was focused on commercial building energy audits; however, several additional use cases have been realized including building energy modeling and more high-level generic building data exchange. Version 2.7.0 adds new elements for file attachment feature and FederalBuilding, and generalizes usage of Optional Elements (e.g. EquipmentCondition, EquipmentID) to all assets/systems. BuildingSync helps streamline the data exchange process, improving the value of the data, minimizing duplication of effort for subsequent building data collection efforts (including audits), and facilitating the achievement of greater energy efficiency. This in done in part by standardizing on (a) reporting audits in an electronic format, (b) tracking proposed, implemented, and discarded energy conservation measures, and (c) storing building characteristics (at multiple levels) for audits, benchmarking, and building energy analysis. BuildingSync has several documents and tools available to help users understand how to best leverage BuildingSync. The list below are only a subset of the resources available. If new resources are discovered, then feel free to create a new pull request with the additions. Generic BuildingSync information is available on the DOE website and the project website. BuildingSync Examples - These examples are kept up to date and show a wide range of implementations. Any new update to BuildingSync is required to pass validation on these example files. BuildingSync Use Case Validator allows for users to determine if their instance complies with a specific use case for BuildingSync by checking if the required elements are implemented in an uploaded instance. An API is also provided for automated integration into other tools. Also, the website contains an easy way to view the entirety of the schema and how elements relate to the Building Exchange Data Exchange Specification. The Validator is open sourced here Use Case TestSuite provides a Python package for easier generation of BuildingSync use cases. BuildingSync use cases depend on the generation of schematron documents, which is time-consuming and difficult to implement well. The TestSuite allows users to define a use case using a more palatable CSV template, which it then turns into a Schematron document. The source code is available here. BuildingSync to OpenStudio/EnergyPlus. The translator is open sourced here. This project will translate a Level 1 (and partial Level 2) ASHRAE Energy Audit to a fully defined OpenStudio and EnergyPlus model. This project is in early Beta testing and any feedback is welcome!

Long, Nicholas [National Renewable Energy Lab. (NR↗
DOE OSTI2020

Impact of Inverter Based Resource Negative Sequence Current Injection on Transmission System Protection

This report documents the results of analysis performed to investigate the impact of inverter-based resource (IBR) response to unbalanced faults on transmission system protective relay dependability and security. Electromagnetic transient (EMT) simulations were performed to simulate IBR response to these faults using existing manufacturer-developed EMT models for four separate IBRs. The study team was composed of IBR manufacturers, relay manufacturers, transmission providers, reliability coordinators and industry consultants with experience in EMT simulation and system protection. The results indicate that under certain conditions, IBR response can result in protective relay misoperations if current protection practices, which were developed based on conventional power sources, are not adapted to the characteristics of IBRs.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2020

Summary of Preliminary Concepts for a Port of Alaska Resilient Microgrid

The Port of Alaska in Anchorage enables the economic vitality of the Municipality of Anchorage and State of Alaska. It also provides significant support to defense activities across Alaska, especially to the Joint Base Elmendorf-Richardson (JBER) that is immediately adjacent to the Port. For this reason, stakeholders are interested in the resilience of the Ports operations. This report documents a preliminary feasibility analysis for developing an energy system that increases electric supply resilience for the Port and for a specific location inside JBER. The project concept emerged from prior work led by the Municipality of Anchorage and consultation with Port stakeholders. The project consists of a microgrid with PV, storage and diesel generation, capable of supplying electricity to loads at the Port a specific JBER location during utility outages, while also delivering economic value during blue-sky conditions. The study aims to estimate the size, configuration and concept of operations based on existing infrastructure and limited demand data. It also explores potential project benefits and challenges. The report goal is to inform further stakeholder consultation and next steps.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2020

Overview of Preliminary Concepts for a Port of Alaska Resilient Microgrid

The Port of Alaska in Anchorage enables the economic vitality of the Municipality of Anchorage and State of Alaska. It also provides significant support to defense activities across Alaska, especially to the Joint Base Elmendorf-Richardson (JBER) that is immediately adjacent to the Port. For this reason, stakeholders are interested in the resilience of the Ports operations. This report documents a preliminary feasibility analysis for developing an energy system that increases electric supply resilience for the Port and for a specific location inside JBER. The project concept emerged from prior work led by the Municipality of Anchorage and consultation with Port stakeholders. The project consists of a microgrid with PV, storage and diesel generation, capable of supplying electricity to loads at the Port a specific JBER location during utility outages, while also delivering economic value during blue-sky conditions. The study aims to estimate the size, configuration and concept of operations based on existing infrastructure and limited demand data. It also explores potential project benefits and challenges. The report goal is to inform further stakeholder consultation and next steps.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2021

Results for the Fourth Quarter Calendar Year 2020 Tank 50 Salt Solution Sample

In this Technical Report, the chemical and radionuclide contaminant results from the Fourth Quarter Calendar Year 2020 (CY20) sample of Tank 50 salt solution are presented in tabulated form. The information from this characterization will be used by Savannah River Remediation (SRR) for the transfer of aqueous waste from Tank 50 to the Saltstone Production Facility (SPF), where the waste will be treated and disposed in the Saltstone Disposal Facility. This Technical Report compares results, where applicable, to SPF Waste Acceptance Criteria (WAC) Limits and Targets. The chemical and radionuclide contaminant results from the characterization of the Fourth Quarter CY20 sampling of Tank 50 were requested by SRR personnel via a Task Technical Request (TTR) and details of the testing are presented in the Savannah River National Laboratory (SRNL) Task Technical and Quality Assurance Plan (TTQAP). This Technical Report is part of Deliverable 2 relating to Task 1 from the SRR request. Data pertaining to the regulatory limits for Resource Conservation and Recovery Act (RCRA) metals per Task 2 from the SRR request, will be obtained semi-annually for the 1QCY21 and 3QCY21 Tank 50 samples. However, data pertaining to the regulatory limits for Resource Conservation and Recovery Act (RCRA) metals for this current 4QCY20 Tank 50 sample will be obtained and documented per the special analysis associated with the vault classification sample as described in the associated TTQAP.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2021

Exploring Explicit Uncertainty for Binary Analysis (EUBA)

Reverse engineering (RE) analysts struggle to address critical questions about the safety of binary code accurately and promptly, and their supporting program analysis tools are simply wrong sometimes. The analysis tools have to approximate in order to provide any information at all, but this means that they introduce uncertainty into their results. And those uncertainties chain from analysis to analysis. We hypothesize that exposing sources, impacts, and control of uncertainty to human binary analysts will allow the analysts to approach their hardest problems with high-powered analytic techniques that they know when to trust. Combining expertise in binary analysis algorithms, human cognition, uncertainty quantification, verification and validation, and visualization, we pursue research that should benefit binary software analysis efforts across the board. We find a strong analogy between RE and exploratory data analysis (EDA); we begin to characterize sources and types of uncertainty found in practice in RE (both in the process and in supporting analyses); we explore a domain-specific focus on uncertainty in pointer analysis, showing that more precise models do help analysts answer small information flow questions faster and more accurately; and we test a general population with domain-general sudoku problems, showing that adding "knobs" to an analysis does not significantly slow down performance. This document describes our explorations in uncertainty in binary analysis.

97 MATHEMATICS AND COMPUTING↗