Search NASA⌕ Search

SEARCH · Search NASA

Results for “Formal 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 757 records · Page 42
All sourcesNASA NTRSDOE OSTI
NASA NTRS2005

IEEE/NASA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation

This volume contains the Preliminary Proceedings of the 2005 IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, with a special track on the theme of Formal Methods in Human and Robotic Space Exploration. The workshop was held on 23-24 September 2005 at the Loyola College Graduate Center, Columbia, MD, USA. The idea behind the Workshop arose from the experience and feedback of ISoLA 2004, the 1st International Symposium on Leveraging Applications of Formal Methods held in Paphos (Cyprus) last October-November. ISoLA 2004 served the need of providing a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

Margaria, Tiziana↗
DOE OSTI2023

Decision Support Tool for Solar Energy Cybersecurity Policy and Regulation

The Decision Support Tool helps users address four discrete challenges: (1) complex requirements of relevant codes and standards, (2) technical complexity of solar assets, (3) undefined cyber risk severity, and (4) unclear roles and responsibilities. Content includes an analysis of cyber vulnerability risks, a decision support resource for policymakers to mitigate cyber risks to solar photovoltaic systems, and background resources for informing policy development. A key component of this tool is the Probable Risk Assessment (PRA), based on established, formal variables, models, and consequences, which helps users understand the determined risk and assigned ownership of the physical components. It helps states draw logical lines between vulnerabilities and mitigative solutions, of which some have been further detailed as Cybersecurity Advisory Team for State Solar (CATSS) tools.

14 SOLAR ENERGY↗
NASA NTRS1985

Effect of polarized radiative transfer on the Hanle magnetic field determination in prominences: Analysis of hydrogen H alpha line observations at Pic-du-Midi

The linear polarization of the Hydrogen H alpha line of prominences has been computed, taking into account the effect of a magnetic field (Hanle effect), of the radiative transfer in the prominence, and of the depolarization due to collisions with the surrounding electrons and protons. The corresponding formalisms are developed in a forthcoming series of papers. In this paper, the main features of the computation method are summarized. The results of computation have been used for interpretation in terms of magnetic field vector measurements from H alpha polarimetric observations in prominences performed at Pic-du-Midi coronagraph-polarimeter. Simultaneous observations in one optically thin line (He I D(3)) and one optically thick line (H alpha) give an opportunity for solving the ambiguity on the field vector determination.

Bommier, V.↗
DOE OSTI2022

Access to Ru(IV)–Ru(V) and Ru(V)–Ru(VI) Redox in Layered Li 7 RuO 6 via Intercalation Reactions

The push to increase the capacity of oxides to store charge as Li-ion battery cathodes has challenged our knowledge of the boundaries of redox chemistry and its relationship to the atomic structure. Layered phases with Ru are now classical models in the quest for refined theories. Current understanding dictates that the highest formal state that can be reached in them is Ru(V), after which activity centered at the oxide anions is triggered. Yet, this picture is challenged by this investigation of the intercalation chemistry of Li 7 RuO 6 . Coupling structural and spectroscopic analysis with computational simulations, we show that Li 7 RuO 6 is capable of highly reversible lithiation to Li 8 RuO 6 through the Ru(V)/Ru(IV) redox couple. Further, Li 7 RuO 6 can also undergo anodic Li deintercalation, showing clear evidence of the reversible formation of Ru(VI) with octahedral coordination, an unusual state that is not accessible in other layered oxides. The results highlight the versatility of the Ru-O bond to undergo distinct redox transitions depending on the specific layered arrangements. They enrich our understanding of redox chemistry in solids while underscoring the need for descriptions of charge compensation that reflect the nuance of covalent interactions.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2020

EFT validity issues in Vector Boson Scattering processes

Vector Boson Scattering (VBS) processes are regarded as the best lab to study the $VVVV$ quartic couplings, where $V = W, Z$. Such studies are carried in the framework of Effective Field Theories (EFT), but the EFT formalism is often not used in a fully consistent way. We discuss the limitations of the EFT approach to describe New Physics effects in VBS data. We argue that the "clipping" technique is the most theory-motivated way to do data analysis in the EFT language and discuss first results from an analysis of CMS Run 2 data on the $WZ$ and same-sign $WW$ process, with and without "clipping" implemented.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2020

Angular Correlation Function Estimators Accounting for Contamination from Probabilistic Distance Measurements

With the advent of surveys containing millions to billions of galaxies, it is imperative to develop analysis techniques that utilize the available statistical power. In galaxy clustering, even small sample contamination arising from distance uncertainties can lead to large artifacts, which the standard estimator for two-point correlation functions does not account for. We first introduce a formalism, termed decontamination, that corrects for sample contamination by utilizing the observed cross-correlations in the contaminated samples; this corrects any correlation function estimator for contamination. Using this formalism, we present a new estimator that uses the standard estimator to measure correlation functions in the contaminated samples but then corrects for contamination. We also introduce a weighted estimator that assigns each galaxy a weight in each redshift bin based on its probability of being in that bin. We demonstrate that these estimators effectively recover the true correlation functions and their covariance matrices. Our estimators can correct for sample contamination caused by misclassification between object types as well as photometric redshifts; they should be particularly helpful for studies of galaxy evolution and baryonic acoustic oscillations, where forward modeling the clustering signal using the contaminated redshift distribution is undesirable.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS1974

Further analysis of field effects on liquids and solidification. Study of the liquid-solid transition for materials processing in space

Expressions for diffusion coefficient, D, and solidification rate, Uc, from the free volume model of liquids developed by Turnbull and Cohen have been used to estimate the effects which microgravity and magnetic fields will have on these quantities. The mathematical formalism describing changes in D and Uc is the same for both the microgravity and magnetic field cases, but the difference between the magnitudes of the two effects is quite large. The change in D and Uc is found to be less than 0.0001% for the microgravity case and on the order of 0.1 to 1.1% for the magnetic field case for four representative materials. D and Uc are found to increase under the influence of an applied magnetic field, and this is in agreement with experimental observations.

Seiler, R. F.↗
NASA NTRS1988

Ionization of K-shell electrons by highly relativistic protons

A comparative study of three theoretical formalisms by Anholt et al. (1976), Scofield (1978), and Becker et al. (1985) for K-shell ionization by highly relativistic protons has been carried out. The importance of the spin-flip mechanism is emphasized. It is concluded that in the analysis of such inner-shell ionization processes, an accurate description of the projectile-target interaction is of much more significance than the accuracy of the wave functions of the atomic electrons.

Rustgi, M. L.↗
NASA NTRS1991

Generalized covariance analysis for partially autonomous deep space missions

A new covariance analysis method is presented that is suitable for the evaluation of multiple impulsive controllers acting on some stochastic process x. The method accommodates batch and sequential estimators with equal ease and accounts for time-delay effects in a natural manner. The formalism is developed in terms of a generalized state vector that is formed from the system state vector x, augmented by various fixed epoch estimates, and a data vector formed from discrete time observations of the system. Recursions are developed for time transition, measurement incorporation, and impulsive control updating of the generalized covariance matrix. Means of limiting the dimensional growth of the generalized state vector via the processes of estimator epoch adjustment and measurement vector deflation are described and the application of numerically stable matrix factorization methods to the generalized covariance recursions is outlined. The method is applied to the Magellan spacecraft to demonstrate the capability of ground-based optimal estimation and control of gyro/star scanner misalignment.

Boone, Jack N.↗
NASA NTRS1992

Weakly inhomogeneous MHD turbulence and transport of solar wind fluctuations

An evaluation is conducted of recent theories of small-scale MHD turbulence transport in an inhomogeneous background that are pertinent to the evolution of solar wind turbulence. Attention is given to the WKB formalism that has been used in many solar wind-related physics applications, with a view to its shortcomings. Also discussed are the structure of two-scale transport theories, and their relationship to WKB theory in light of multiple-scales analysis.

Matthaeus, W. H.↗
DOE OSTI2021

Dynamic Building Load Control to Facilitate High Penetration of Solar Photovoltaic Generation (Final Technical Report)

Solar photovoltaic (PV) resources are the most common form of distributed generation in residential and commercial customer premises within electric distribution networks. A higher penetration of PV generation in distribution circuits will impose challenges on maintaining service voltages within the range of industry standards, power quality, and power flow. Buildings consume 74% of the electricity produced in the United States, and a significant portion of the building load is dispatchable, making them responsive to electrical grid needs. Oak Ridge National Laboratory—in collaboration with Southern Company; the University of Tennessee, Knoxville; and the Georgia Institute of Technology—is examining the PV integration issues in distribution-level electrical grids and developing integrated demand-side control and communication systems to enable responsive loads. The proposed responsive loads mechanism performs renewable generation following to increase the penetration of solar PV within each feeder. The specific objectives of this project are to (1) examine distribution-level PV integration scenarios to understand requirements, (2) undertake an end-to-end simulation-based design of a distributed control strategy of loads geographically near the PV generation asset to minimize the effect on the distribution feeder, (3) deploy and demonstrate the control technology developed in partnership with utilities, and (4) perform a scalability analysis at the utility scale. This 3-year integrated project aims to develop, demonstrate, and validate demand-side control technology to enable increased the penetration of renewables while mitigating challenges that arise due to their intermittency. Activities in Budget Period (BP) 1 focused on a literature review and the formal design of a control system for integrating local distribution with generation and loads. The team used modeling and simulation to evaluate the impact of varying buildings loads, variable PV generation, and power flow dynamics on the distribution circuit. The dynamic models developed in BP 1 were used in BP 2 to develop a model-based control design and a test bed. The test bed has enabled the simulation-based testing and comparison of different control designs and formulations applied to different configurations of the distribution grid, PVs, and building loads. The control approaches developed in BP 2 were implemented in BP 3 in the form of hardware deployed at the Central Baptist Church (CBC) in Knoxville, Tennessee, for testing and evaluation. The outcome of this project was the development and demonstration of open-source, low-cost, low-touch sensing and control retrofits to distributed PV generation and building loads that, in a coordinated fashion, provide the load-shaping response needed to integrate high levels of renewable penetration. This research addresses the target metrics by dynamically controlling a load with solar generation variability to minimize the extent of two-way power flow, enhance reliability, facilitate high PV penetration (>100% of peak load in a line segment), and generate scalable software and hardware solutions adaptable to any penetration levels. The research and development activities are focused and designed to be impactful within the relevant 2020 targets time frame.An accurate open-source integration simulation framework for end-to-end control design was developed and deployed at the CBC facility for testing and evaluation. This final report provides a detailed review of the technical results achieved during this 3-year integrated project. A novel spectral analysis of PV data is demonstrated to derive the requirements of the control design. A detailed simulation-based analysis of PV integration at increasing penetration levels is presented using 1 year of PV data to demonstrate the impact on the distribution circuits. Two different control strategies were developed and demonstrated via simulation to track variable PV generation with adaptive load dispatch. The report concludes with a summary of accomplishments and recommendations for a path forward.

14 SOLAR ENERGY↗
DOE OSTI2025

The phase of the gravitational path integral

The gravitational path integral on S 2 × S 2 can be interpreted either as evaluating a contribution to the norm of the Hartle-Hawking wavefunction conditional on spatial S 1 × S 2 topology, or the pair creation rate of black holes in de Sitter. Both interpretations are distinguished at the quantum level. The former requires the path integral to be real and the latter to be imaginary. We develop a formalism to efficiently compute the phase of the gravitational path integral on Einstein spaces. We apply it to a broad class of spacetimes and in particular S 2 × S D−2 , finding it to be real and positive. We generalize some of the analysis to cases with charge and rotation.

AdS-CFT correspondence↗
DOE OSTI2022

A new shallow-water mud crab of the genus Hexapanopeus Rathbun, 1898 from Belize (Crustacea: Decapoda: Panopeidae)

A new species of panopeid crab from shallow coastal waters of Belize is formally described and named based upon comparative study of three small specimens obtained in the course of a regional biodiversity survey of decapod crustaceans. The herein designated holotype of Hexapanopeus klausruetzleri n. sp. is a specimen previously included in a comparative molecular phylogenetic analysis that showed it to be closely related to, but genetically distinct from, the western Atlantic species Hexapanopeus angustifrons (Benedict & Rathbun, 1891). Hexapanopeus klausruetzleri n. sp. differs from this widely reported warm-temperate species in both its smoother carapace and pereopod surfaces and its generally more lobiform anterolateral teeth. The unique male first gonopod of the new species also strongly supports its morphological separation from all known congeners and other superficially similar western Atlantic panopeids with which it might be confused. To date, mature females have not been found, and the limited available collections are restricted to the vicinity of Carrie Bow Cay and nearby waters. Fourteen additional species of small panopeid and pseudorhombilid crabs, similar to Hexapanopeus klausruetzleri n. sp. in size and general habitus, were taken in the course of our studies in Belize. Most have not been previously reported from these waters, and several warrant further study to confirm their identifications.

Zoology↗
DOE OSTI2021

Soil Sampling Results for Closure of a Portion of Solid Waste Management Unit #16

The U.S. Department of Energy/National Nuclear Security Administration (DOE/ NNSA) and National Technology & Engineering Solutions of Sandia, LLC (NTESS), the management and operating contractor for Sandia National Laboratories/California (SNL/CA), has prepared this soil sampling results report for closure of a portion of Solid Waste Management Unit (SWMU) #16. The entire network of SNL/CA sanitary sewer lines, including building laterals, was identified as SWMU #16 under a Resource Conservation and Recovery Act (RCRA) Facility Assessment conducted for SNL/CA in April 1991 (DOE 1992). Along with the previous SWMU #16 investigation results (SNL/CA 2019), the results of this investigation are intended to support closure decisions by the San Francisco Bay Regional Water Quality Control Board (RWQCB), as discussed below. SNL/CA personnel completed upgrading its sanitary sewer discharge network in 2019. These upgrades included installing new sections of underground lines and decommissioning certain sections of the old piping system by capping in place. To date, several sections of the sewer line have been abandoned-in-place by capping as new sewer lines were installed or flow was rerouted to other existing lines. To formally close these abandoned sections of the sewer line, the RWQCB required that SNL/CA personnel collect soil samples to be analyzed for contaminants potentially released from the sewer lines. SNL/CA personnel hired Weiss Associates (Weiss) of Emeryville, California to prepare a sampling and analysis plan, implement the sampling plan and report the results of the investigation under Purchase Order #2166257. The Sampling and Analysis Plan for Partial Closure of Solid Waste Management Unit #16 (SAP) was submitted to the RWQCB on August 14, 2020 by Weiss on behalf of SNL/CA. The RWQCB approved the SAP on September 30, 2020 after Weiss updated the method detection limit and reporting limits for total polychlorinated biphenyls (PCBs) and individual aroclors. Soil sampling was conducted in accordance with the SAP except that fewer locations were sampled due to site constraints, as discussed below. This report presents the results of the sampling effort and documents all associated field activities including borehole clearing, soil sample collection, storage and transportation to the analytical laboratories, borehole backfilling and surface restoration, and storage of investigation-derived waste (IDW) for future profiling and disposal by SNL/CA waste management personnel.

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

2023 Annual Merit Review Vehicle Technologies Office Results Report

The 2023 U.S. Department of Energy (DOE), Office of Energy Efficiency and Renewable Energy's (EERE) Vehicle Technologies Office (VTO) Annual Merit Review (AMR) was held June 12-15, 2023, as a hybrid event with in-person and virtual attendance. The review encompassed work done by VTO: 257 individual activities were reviewed by 266 reviewers. Exactly 991 individual review responses were received for the VTO technical reviews. The objective of the meeting was to review the accomplishments and plans for VTO over the previous 12 months, and provide an opportunity for industry, government, and academia to give inputs to DOE with a structured and formal methodology. The meeting also provided attendees with a virtual forum for interaction and technology information transfer.

33 ADVANCED PROPULSION SYSTEMS↗
DOE OSTI2023

Theory of electric, magnetic, and toroidal polarizations in crystalline solids with applications to hexagonal lonsdaleite and cubic diamond

Multipolar order in bulk crystalline solids is characterized by multipole densities-denoted as polarizations in this work-that cannot be cleanly defined using the concepts of classical electromagnetism. Here we use group theory to overcome this difficulty and present a systematic study of electric, magnetic, and toroidal multipolar order in crystalline solids. Based on our symmetry analysis, we identify five categories of polarized matter, each of which is characterized by distinct features in the electronic band structure. For example, Rashba spin splitting in electropolar bulk materials like wurtzite represents the electric dipolarization in these materials. We also develop a general formalism of indicators for individual multipole densities that provide a physical interpretation and quantification of multipolar order. Our work clarifies the relation between patterns of localized multipoles and macroscopic multipole densities they give rise to. To illustrate the general theory, we discuss its application to polarized variants of hexagonal lonsdaleite and cubic diamond structures. In conclusion, our work provides a general framework for classifying and expanding current understanding of multipolar order in complex materials.

36 MATERIALS SCIENCE↗
DOE OSTI2020

Is the Kok effect a respiratory phenomenon? Metabolic insight using 13 C labeling in Helianthus annuus leaves

The Kok effect is a well-known phenomenon in which the quantum yield of photosynthesis changes abruptly at low light. This effect has often been interpreted as a shift in leaf respiratory metabolism and thus used widely to measure day respiration. However, there is still no formal evidence that the Kok effect has a respiratory origin. Here, both gas exchange and isotopic labeling were carried out on sunflower leaves, using glucose that was 13 C-enriched at specific C-atom positions. Position-specific decarboxylation measurements and NMR analysis of metabolites were used to trace the fate of C-atoms in metabolism. Decarboxylation rates were significant at low light (including above the Kok break point) and increased with decreasing irradiance below 100 µmol photons m –2 s –1 . The variation in several metabolite pools such as malate, fumarate or citrate, and flux calculations suggest the involvement of several decarboxylating pathways in the Kok effect, including the malic enzyme. Our results show that day respiratory CO 2 evolution plays an important role in the Kok effect. Furthermore, the increase in the apparent quantum yield of photosynthesis below the Kok break point is also probably related to malate metabolism, which participates in maintaining photosynthetic linear electron flow.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2023

Lawrence Livermore National Laboratory Experimental Test Site 300 (Site 300): Site 300 Roadway Improvements - Chem Mag Loop Soil Sampling and Analysis Plan (May 2023)

This Soil Sampling and Analysis Plan (SAP) was prepared by the Environmental Function Area (EFA)/Technical Services Department (TSD) of the Environment, Safety & Health (ES&H) Directorate for the Project Management Office (PMO) for the proposed Roadway Improvements Project at the Chem Mag Loop (project). The purpose of the SAP is to describe the procedures for collection and analysis of environmental samples and evaluation of analytical data (chemical and radiological) to determine management options of excavated soil during project construction. This SAP follows criteria established in Lawrence Livermore National Laboratory’s (LLNL) Soils Screening and Management Plan (SSMP) (LLNL 2022), which was formalized in accordance with U.S. Environmental Protection Agency (EPA) guidance for developing Data Quality Objectives for environmental data (EPA 2006) and the Multi-Agency Radiation Survey and Site Investigation Manual (MARSSIM) guidance (U.S. NRC, U.S. EPA, U.S. DOE, and U.S. DOD 2000). The scope of this SAP is based on preliminary design information provided to EFA by PMO.

54 ENVIRONMENTAL SCIENCES↗