Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Formal Methods”

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,603 records · Page 89
All sourcesNASA NTRSDOE OSTI
DOE OSTI2018

Evaluating the Role of Pre-Application Reports in Improving Distributed Generation Interconnection Processes

Several tools have emerged in recent years to increase data exchange and transparency in the distributed generation interconnection process with the goal of reducing interconnection costs. One example is pre-application reports. These reports are generated by a utility at the request of prospective interconnection applicants to provide technical information about a specific point of interconnection. Formal pre-application report processes have been established in 12 states at the distribution system level as well as at the transmission level by the Federal Energy Regulatory Commission. These reports are a relatively low-cost method of informing applicants of grid conditions and potential interconnection limitations early in the interconnection process. Thus, this information may encourage interconnection in locations with little to no detrimental impact to the grid and low interconnection costs. Increasing transparency of these grid conditions may also enable applicants to better plan for interconnection costs and requirements, such as system modifications and complex engineering studies. By providing these benefits, pre-application reports are expected to reduce the number of canceled interconnection applications. This report evaluates this hypothesis by quantifying the impact pre-application report processes have on application approval rate. To evaluate this hypothesis this analysis uses utility-reported distributed generation interconnection data from four utilities in Massachusetts. The analysis considers a four-year time period before and a five-year period after pre-application report process were implemented. The results indicate that once pre-application reports were required for projects 500 kilowatts and larger the approval rate of applications increased by 24%. This suggests that pre-application reports may decrease the percentage of canceled projects. However, due to data and other limitations, these results do not necessarily connote causation. This analysis is an important first step and a prerequisite for future analyses regarding the impact of pre-application reports. Other potential impacts also recognized during this analysis included reducing sunk costs and reducing the number of projects requiring a complex review. Collection of additional data would allow for forming more robust conclusions about these impacts in the future. Such data include circuit-level data, interconnection cost data, policy and regulatory background, national-level data, and utility and developer attributes. These data provide necessary context to account for interrelated factors while evaluating pre-application reports. Filling such knowledge gaps ultimately aids regulators in applying best practices within the industry. As more and more distributed energy resources are interconnected, these best practices will become an integral aspect of efficiently transitioning to an electric grid capable of meeting the needs of the 21st century.

14 SOLAR ENERGY↗
DOE OSTI2021

FY21 Status report on the CMVB and CNWG International Collaborations

The ART-GCR Methods area includes an international collaboration work package that covers the tasks defined for the Computational Methods Validation and Benchmark (CMVB)and Civil Nuclear Energy Research and Development Working Group (CNWG) projects. This report summarizes the status of the FY21 tasks and planned FY22 DOE contributions. The CMVB Project Arrangement (PA) is not yet formally approved by all signatories, and no work has therefore been performed in FY21 at INL related to this activity. The CNWG activities inFY21 consisted of the simulation of the High Temperature Test Reactor (HTTR) Loss Of Forced Cooling (LOFC) experimental with the Idaho National Laboratory (INL) codes Griffin, BISON and RELAP-7 based on the Multiphysics Object-Oriented Simulation Environment (MOOSE).It was found that the multiphysics coupled suite is capable of simulating all the important phenomena occurring during the Depressurized Loss of Forced Cooling (DLOFC) experiments showing promising agreement with the measurements given the number of uncertainties and approximations introduced into the model.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2023

Synthesis and Crystal Structure of the Zintl Phases NaSrSb, NaBaSb and NaEuSb

This work details the synthesis and the crystal structures of the ternary compounds NaSrSb, NaBaSb and NaEuSb. They are isostructural and adopt the hexagonal ZrNiAl-type structure (space group P6¯2m; Pearson code hP9). The structure determination in all three cases was performed using single-crystal X-ray diffraction methods. The structure features isolated Sb3– anions arranged in layers stacked along the crystallographic c-axis. In the interstices, alkali and alkaline-earth metal cations are found in tetrahedral and square pyramidal coordination environments, respectively. The formal partitioning of the valence electrons adheres to the valence rules, i.e., Na+Sr2+Sb3–, Na+Ba2+Sb3– and Na+Eu2+Sb3– can be considered as Zintl phases with intrinsic semiconductor behavior. Electronic band structure calculations conducted for NaBaSb are consistent with this notion and show a direct gap of approx. 0.9 eV. Additionally, the calculations hint at possible inverted Dirac cones, a feature that is reminiscent of topological quantum materials.

36 MATERIALS SCIENCE↗
DOE OSTI2019

Hierarchical Modeling and Statistical Calibration for Photometric Redshifts

The cosmological exploitation of modern photometric galaxy surveys requires both accurate (unbiased) and precise (narrow) redshift probability distributions derived from broadband photometry. Existing methodologies do not meet these requirements. Standard template fitting delivers interpretable models and errors, but lacks the flexibility to learn inaccuracies in the observed photometry or spectral templates. Machine learning addresses those issues, but requires representative training data, and the resulting models and uncertainties cannot be interpreted in the context of a physical model or outside of the training data. We present a hierarchical modeling approach simultaneously addressing the issues of flexibility, interpretability, and generalization. It combines template fitting with flexible (machine-learning-like) models to correct the spectral templates, model their redshift distributions, and recalibrate the photometric observations. By optimizing the full posterior distribution of the model and solving for its (thousands of) parameters, one can perform a global statistical calibration of the data and the spectral energy distribution (SED) model. We apply this approach to the public Dark Energy Survey Science Verification data and show that it provides more accurate and compact redshift posterior distributions than existing methods, as well as insights into residual photometric and SED systematics. Here, the model is causal and makes predictions for future data (e.g., additional photometric bandpasses), and its internal parameters and components are interpretable. This approach does not formally require the training data to be complete or representative; in principle, it can even work in regimes in which few or no spectroscopic redshifts are available.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2023

The role of international collaboration in the United States geologic disposal research program

Abstract. More than a decade ago, the United States disposal program discontinued all research activities focused on the unsaturated fractured tuff formation at Yucca Mountain as the geologic disposal site for spent fuel and high-level radioactive waste. A new research and development (R&D) program was initiated to provide a sound technical basis for alternative disposal options across clay, crystalline, and salt rocks. The goals of this broad program were (and still are) to (1) increase confidence in the robustness of generic disposal concepts, (2) develop the science and engineering tools needed to support disposal concept implementation, and (3) conduct R&D on the direct disposal of existing dual-purpose (storage and transportation) canisters. Recognizing the benefits of international collaboration toward the common goal of safely and efficiently managing the back end of the nuclear fuel cycle, the program emphasized international cooperation as an effective strategy for sharing information and knowledge. In a multi-laboratory effort coordinated by Lawrence Berkeley National Laboratory, the United States Department of Energy (DOE) program established formal and informal cooperation partnerships with several international initiatives and institutions and developed a number of collaborative R&D activities in important research areas, such as engineered barrier integrity, near-field perturbations, radionuclide transport, performance assessment, and methods for characterization and monitoring of engineered and natural barriers. This presentation gives an overview of these R&D activities, with a specific focus on activities that improve our current understanding of the coupled thermal–hydrological–mechanical–chemical (THMC) processes occurring in engineered and natural barriers. We start with a brief review of selected international collaboration initiatives and then describe a few specific collaboration projects. We focus specifically on such studies that use experimental data sets provided by international research cooperation for joint modeling work to increase confidence in performance-relevant predictions of coupled processes. Overall, the focus on international collaboration has allowed deep engagement of US researchers with the international waste management R&D community in terms of best practices, new scientific advances, state-of-the-art simulation tools, new monitoring and performance confirmation approaches, and lessons learned. The joint R&D with international researchers, worldwide sharing of knowledge and experience, and access to relevant data and experiments from a variety of host rocks have helped our researchers to significantly improve their understanding of the current technical basis for disposal in a range of potential host rock environments. International collaboration also provides ample opportunity for training and educating junior staff that are well suited to move the United States disposal research program forward into the next decades, a promising avenue for developing a next-generation workforce of disposal scientists.

Birkholzer, Jens T.↗
NASA NTRS1976

Stabilization by modification of the Lagrangian

In order to reduce the error growth during a numerical integration, a method for stabilizing the differential equations of Keplerian motion is offered. It is characterized by the use of the eccentric anomaly as independent variable in such a way that the time transformation is given by a generalized Lagrange formalism. The control terms in the equations of motion obtained by this modified Lagrangian give immediately a completely Lyapunov-stable set of differential equations. The equation of time integration is modified by a control term which leads to an integral which defined the time element for the perturbed Keplerian motion.

Baumgarte, J. W.↗
NASA NTRS1991

Explanation-based generalization of partially ordered plans

Most previous work in analytic generalization of plans dealt with totally ordered plans. These methods cannot be directly applied to generalizing partially ordered plans, since they do not capture all interactions among plan operators for all total orders of such plans. We introduce a new method for generalizing partially ordered plans. This method is based on providing explanation-based generalization (EBG) with explanations which systematically capture the interactions among plan operators for all the total orders of a partially-ordered plan. The explanations are based on the Modal Truth Criterion which states the necessary and sufficient conditions for ensuring the truth of a proposition at any point in a plan, for a class of partially ordered plans. The generalizations obtained by this method guarantee successful and interaction-free execution of any total order of the generalized plan. In addition, the systematic derivation of the generalization algorithms from the Modal Truth Criterion obviates the need for carrying out a separate formal proof of correctness of the EBG algorithms.

Kambhampati, Subbarao↗
NASA NTRS1999

Medium Modified Nucleon-Nucleon Cross Sections in a Nucleus

A simple reliable formalism is presented for obtaining nucleon-nucleon cross sections within a nucleus in nuclear collisions for a given projectile and target nucleus combination at a given energy for use in transport, Monte Carlo and other calculations. The method relies on extraction of these values from experiments and has been tested for absorption experiments to give excellent results.

Tripathi, R. K.↗
NASA NTRS2005

Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System

Requirements-to-Design-to-Code (R2D2C) is an approach to the engineering of computer-based systems that embodies the idea of requirements-based programming in system development. It goes further; however, in that the approach offers not only an underlying formalism, but full formal development from requirements capture through to the automatic generation of provably-correct code. As such, the approach has direct application to the development of systems requiring autonomic properties. We describe a prototype tool to support the method, and illustrate its applicability to the development of LOGOS, a NASA autonomous ground control system, which exhibits autonomic behavior. Finally, we briefly discuss other areas where the approach and prototype tool are being considered for application.

Hinchey, Michael G.↗
NASA NTRS2010

On the Isothermality of Solar Plasmas

Recent measurements have shown that the quiet unstructured solar corona observed at the solar limb is close to isothermal, at a temperature that does not appear to change over wide areas or with time. Some in dividual active loop structures have also been found to be nearly iso thermal both along their axis and across their cross-section. Even a complex active region observed at the solar limb has been found to be composed of three distinct isothermal plasmas. If confirmed, these r esults would pose formidable challenges to the current theoretical understanding of the thermal structure and heating of the solar corona. For example, no current theoretical model can explain the excess dens ities and lifetimes of many observed loops if the loops are in fact i sothermal. All of these measurements are based on the so-called emiss ion measure (EM) diagnostic technique that is applied to a set of opt ically thin lines under the assumption of isothermal plasma. It provi des simultaneous measurement of both the temperature and EM. However, no study has ever been carried out to quantify the uncertainties in the technique and to rigorously assess its ability to discriminate bet ween isothermal and multithermal plasmas. Such a study is the topic o f the present work. We define a formal measure of the uncertainty in the EM diagnostic technique that can easily be applied to real data. We here apply it to synthetic data based on a variety of assumed plas ma thermal distributions, and develop a method to quantitatively asse ss the degree of multithermality of a plasma.

Landi, E.↗
NASA NTRS2010

Modeling Broadband X-Ray Absorption of Massive Star Winds

We present a method for computing the net transition of X-rays emitted by shock-heated plasma distributed throughout a partially optically thick stellar wind from a massive star. We find the transmission by an exact integration of the formal solution, assuming the emitting plasma and absorbing plasma are mixed at a constant mass ratio above some minimum radius, below which there is assumed to be no emission. This model is more realistic than either the slab absorption associated with a corona at the base of the wind or the exospheric approximation that assumes all observed X-rays are emitted without attenuation from above the radius of optical depth unity. Our model is implemented in XSPEC as a pre-calculated table that can be coupled to a user-defined table of the wavelength dependent wind opacity. We provide a default wind opacity model that is more representative of real wind opacities than the commonly used neutral ISM tabulation. Preliminary modeling of Chandra grating data indicates that the X-ray hardness trend of OB stars with spectral subtype cars largely be understood as a wind absorption effect.

Leutenegger, Maurice A.↗
NASA NTRS2010

NASA Education: Yesterday's Dream...Today's Vision...Tomorrow's Hope

For 50 years, NASA's journeys into air and space have developed humankind's understanding of the universe, advanced technology breakthroughs, enhanced air travel safety and security, and expanded the frontiers of scientific research. These accomplishments share a common genesis: education. Education is a fundamental element of NASA's activities, reflecting a balanced and diverse portfolio of: Elementary and Secondary Education, Higher Education, e-Education, Informal Education, and Minority University Research and Education Programs (MUREP). Previous experience has shown that implementing exciting and compelling NASA missions are critical to inspiring the next generation of explorers, innovators, and leaders. Through partnerships with the Agency's Mission Directorates, other federal agencies, private industries, scientific research, and education/academic organizations, NASA's unique mission and education initiatives (content, people, and facilities) are helping to spark student interest and to guide them toward careers in science, technology, engineering, and mathematics (STEM). NASA continues to inspire the next generation of explorers, innovators, and future leaders through its educational investments, which are designed to: (1) Strengthen NASA and the Nation's future workforce -- NASA will identify and develop the critical skills and capabilities needed to ensure achievement of exploration, science, and aeronautics. (2) Attract and retain students in STEM disciplines through a progression of educational opportunities for students, teachers, and faculty -- To compete effectively for the minds, imaginations, and career ambitions of America's young people, NASA will focus on engaging and retaining students in STEM education programs to encourage their pursuit of educational disciplines critical to NASA's future engineering, scientific, and technical missions. 3. Engage Americans in NASA's mission -- NASA will build strategic partnerships and links between formal and informal STEM education providers. Through hands-on, interactive, educational activities, NASA will engage students, educators, families, the general public, and all agency stakeholders in increasing America's science and technology literacy. NASA Education uses multiple methods to assess and evaluate the success of its programs and projects. Methods include strategic planning, management and control, expert evaluations and assessments, competitive acquisition, and analysis of performance measurement data and metrics. Additional control measures are in development. These measures will further improve data collection, assist in assessing return on investments, and provide information for accountability in project and program management. In 2009, NASA directly reached over one million students and over 115,000 educators.

Winterton, Joyce L.↗
NASA NTRSDate not supplied

Towards Computational Functional Hazard Assessment (CFHA): A Gap Analysis and Concept for Emerging Aviation Systems

Given the current evolution of the National Airspace and future trajectory towards novel and evolving operations with varying levels of autonomy, complexity, and acceptable risk, there is an opportunity to support safety assurance by extending existing methodologies, such as Functional Hazard Assessment (FHA). In response to challenges in performing FHA for novel aviation concepts, we propose a concept for Computational Functional Hazard Assessment (CFHA), which provides processes, methods, and tools for incorporating external data to facilitate further exploration of the hazard space iterativelty throughout the design process. The core components of CFHA involve knowledge capture from historical and operational data, functional architecture specification via a formal modeling language, and simulation for hazardous scenario analysis. Through this concept, we aim to adapt conventional safety assessment to address the increasingly complex hazard space generated from emerging operations.

Seydou Mbaye↗
NASA NTRSDate not supplied

Towards Functional Hazard Assessment (CFHA): A Gap Analysis and Concept for Emerging Aviation Systems

Given the current evolution of the National Airspace and future trajectory towards novel and evolving operations with varying levels of autonomy, complexity, and acceptable risk, there is an opportunity to support safety assurance by extending existing methodologies, such as Functional Hazard Assessment (FHA). In response to challenges in performing FHA for novel aviation concepts, we propose a concept for Computational Functional Hazard Assessment (CFHA), which provides processes, methods, and tools for incorporating external data to facilitate further exploration of the hazard space iterativelty throughout the design process. The core components of CFHA involve knowledge capture from historical and operational data, functional architecture specification via a formal modeling language, and simulation for hazardous scenario analysis. Through this concept, we aim to adapt conventional safety assessment to address the increasingly complex hazard space generated from emerging operations.

Seydou Mbaye↗
DOE OSTI2022

Computational Aspects of Single-Molecule Kinetics for Coupled Catalytic Cycles: A Spectral Analysis

Catalysis from single active sites is analyzed using methods developed from single molecule kinetics. Using a stochastic Markov state description, the observable properties of general catalytic networks of reactions are expressed using an eigenvalue decomposition of the transition matrix for the Markov process. By the use of a sensitivity analysis, the necessary eigenvalues and eigenvectors are related to the energies of controlling barriers and wells located along the reaction routes. A generalization of the energetic span theory allows the eigenvalues to be computed from several activation energies corresponding to distinct barrier-well pairings. The formalism is demonstrated accurately for model problems for a physically realistic mechanism for an alkene hydrogenation reaction on a single atom catalyst.

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

A summary of the Hanford single-shell tank structural analysis of record - 15526

Washington River Protection Solutions, LLC (WRPS), the US DOE Hanford Site tank contractor, developed an enhanced Single-Shell Tank Integrity Project (SSTIP) in 2009 to better understand the integrity of the single-shell tanks (SSTs). A panel of experts from industry and academia was created to recommend project activities in four main areas: structural integrity, liner degradation, leak integrity and prevention, and contamination migration. One of the panel's primary recommendations was to perform a detailed structural integrity analysis of the SSTs. WRPS and the U.S. Department of Energy, Office of River Protection commissioned the Pacific Northwest National Laboratory (PNNL) to perform this structural integrity analysis of record for the Hanford single shell tanks. This is one of seventeen panel recommendations that form the M-45-10-1 Change Package for the Hanford Federal Agreement and Compliance Order; also known as the Tri-Party Agreement. Finite element analysis was used to predict the structural response of the SSTs to the historical thermal and operating loads, plus design basis seismic loads. Bounding thermal histories were established from waste temperature records and applied to the model to include the thermal degradation of concrete modulus and strength, plus cracking due to differential thermal expansion while under in situ static loading conditions. PNNL contracted with Becht Engineering to evaluate the dynamic response of the tanks to a design basis earthquake. The degraded stiffness of the reinforced concrete was also incorporated in the seismic analysis. The combined response to static and seismic loads was then evaluated against the design requirements of the American Concrete Institute standard, ACI-349-06, for nuclear safety-related concrete structures. Specific analyses were performed for the four major tank designs.This paper presents an overview of the analysis methods used and it summarizes the major analytical findings that are common to the tanks and others that are specific to the individual tank designs. The analyses of record determined that including the bounding effects of their operating histories, each tank design currently satisfies the ACI-349-06 structural integrity design requirements. Although leak tightness is not directly addressed in the structural integrity analysis, this analysis will be a key input in the formal tank integrity assessment due in 2018. (authors)

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

SU-E-T-757: TMRs Calculated From PDDs Versus the Direct Measurements for Small Field SRS Cones

Purpose: To investigate the variation of TMR for SRS cones obtained by TMR scanning, calculation from PDDs, and point measurements. The obtained TMRs were also compared to the representative data from the vendor. Methods: TMRs for conical cones of 4, 5, 7.5, 10, 12.5, 15, and 17.5 mm diameter (jaws set to 5×5 cm) were obtained for 6X FFF and 10X FFF energies on a Varian Edge linac. TMR scanning was performed with a Sun Nuclear 3D scanner and Edge detector at 100 cm SDD. TMR point measurements were measured with a Wellhofer tank and Edge detector, at multiple depths from 0.5 to 20 cm and 100 cm SDD. PDDs for converting to TMR were scanned with a Wellhofer system and SFD detector. The formalism of converting PDD to TMR, given in Khan’s book (4th Edition, p.161) was applied. Sp values at dmax were obtained by measuring Scp and Sc of the cones (jaws set to 5×5 cm) using the Edge detector, and normalized to the 10×10 cm field. Results: Along the central axis beyond dmax, the RMS and maximum percent difference of TMRs obtained with different methods were as follows: (a) 1.3% (max=3.5%) for the calculated TMRs from PDDs versus direct scanning; (b) 1.2% (max=3.3%) for direct scanning versus point measurement; (c) 1.8% (max=5.1%) for the calculated versus point measurements; (d) 1.0% (max=3.6%) for direct scanning versus vendor data; (e) 1.6% (max=7.2%) for the calculated versus vendor data. Conclusion: The overall accuracy of TMRs calculated from PDDs was comparable with that of direct scanning. However, the uncertainty at depths greater than 20 cm, increased up to 5% when compared to point measurements. This issue must be considered when developing a beam model for small field SRS planning using cones.

60 APPLIED LIFE SCIENCES↗
NASA NTRS2021

A Critical Look at Coulomb Counting Approach for State of Charge Estimation in Batteries

In this paper, we consider the problem of state-of-charge estimation for rechargeable batteries. Coulomb counting is a well-known method for estimating the state of charge, and it is regarded as accurate as long as the battery capacity and the beginning state of charge are known. The Coulomb counting approach, on the other hand, is prone to inaccuracies from a variety of sources, and the magnitude of these errors has not been explored in the literature. We formally construct and quantify the state-of-charge estimate error during Coulomb counting due to four types of error sources: (1) current measurement error; (2) current integration approximation error; (3) battery capacity uncertainty; and (4) timing oscillator error/drift. It is demonstrated that the state-of-charge error produced can be either time-cumulative or state-of-charge-proportional. Time-cumulative errors accumulate over time and have the potential to render the state-of-charge estimation utterly invalid in the long term. The proportional errors of the state of charge rise with the accumulated state of charge and reach their worst value within one charge/discharge cycle. The study presents methods for reducing time-cumulative and state-of-charge-proportional mistakes through simulation analysis.

Battery management system↗