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

LMI stability conditions and stabilization of fractional-order systems with poly-topic and two-norm bounded uncertainties for fractional-order α: the 1 < α < 2 case

This article addresses the problem of robust stability and stabilization for linear fractional-order system with poly-topic and two-norm bounded uncertainties, and focuses particularly on the case of a fractional order α such that 1 < α < 2. First, the robust asymptotical stable condition is presented. Second, the design method of the state feedback controller for asymptotically stabilizing such uncertain fractional order systems is derived. In the proposed approach, linear matrix inequalities formalism is used to check and design. Lastly, two simulation examples are given to validate the proposed theoretical results.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Free Energies of Proton-Coupled Electron Transfer Reagents and Their Applications

Here, we present an update and revision to our 2010 review on the topic of proton- coupled electron transfer (PCET) reagent thermochemistry. Over the past decade, the data and thermochemical formalisms presented in that review have been of value to multiple fields. Concurrently, there have been advances in the thermochemical cycles and experimental methods used to measure these values. This Review (i) summarizes those advancements, (ii) corrects systematic errors in our prior review that shifted many of the absolute values in the tabulated data, (iii) provides updated tables of thermochemical values, and (iv) discusses new conclusions and opportunities from the assembled data and associated techniques. We advocate for updated thermochemical cycles that provide greater clarity and reduce experimental barriers to the calculation and measurement of Gibbs free energies for the conversion of X to XHn in PCET reactions. In particular, we demonstrate the utility and generality of reporting potentials of hydrogenation, E°(V vs H 2 ), in almost any solvent and how these values are connected to more widely reported bond dissociation free energies (BDFEs). The tabulated data demonstrate that E°(V vs H 2 ) and BDFEs are generally insensitive to the nature of the solvent and, in some cases, even to the phase (gas versus solution). This Review also presents introductions to several emerging fields in PCET thermochemistry to give readers windows into the diversity of research being performed. Some of the next frontiers in this rapidly growing field are coordination-induced bond weakening, PCET in novel solvent environments, and reactions at material interfaces.

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

Modeling molecule-plasmon interactions using quantized radiation fields within time-dependent electronic structure theory

We present a combined cavity quantum electrodynamics/ab initio electronic structure approach for simulating plasmon-molecule interactions in the time domain. The simple Jaynes-Cummings-type model Hamiltonian typically utilized in such simulations is replaced with one in which the molecular component of the coupled system is treated in a fully ab initio way, resulting in a computationally efficient description of general plasmon-molecule interactions. Mutual polarization effects are easily incorporated within a standard ground-state Hartree-Fock computation, and time-dependent simulations carry the same formal computational scaling as real-time time-dependent Hartree-Fock theory. As a proof of principle, we apply this generalized method to the emergence of a Fano-like resonance in coupled molecule-plasmon systems; this feature is quite sensitive to the nanoparticle-molecule separation and the orientation of the molecule relative to the polarization of the external electric field.

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

Scattering phase shift in quantum mechanics on quantum computers

Here, we investigate the feasibility of extracting infinite volume scattering phase shift on quantum computers in a simple one-dimensional quantum mechanical model, using the formalism established in the work by Guo and Gasparian [Phys. Rev. D 108, 074504 (2023)] that relates the integrated correlation functions for a trapped system to the infinite volume scattering phase shifts through a weighted integral. The system is first discretized in a finite box with periodic boundary conditions, and the formalism in real time is verified by employing a contact interaction potential with exact solutions. Quantum circuits are then designed and constructed to implement the formalism on current quantum computing architectures. To overcome the fast oscillatory behavior of the integrated correlation functions in real-time simulation, different methods of postdata analysis are proposed and discussed. Test results on IBM hardware show that good agreement can be achieved with two qubits, but complete failure ensues with three qubits due to two-qubit gate operation errors and thermal relaxation errors.

Guo, Peng [Dakota State Univ., Madison, SD (United↗
DOE OSTI2019

Testing thermal conductivity models with equilibrium molecular dynamics simulations of the one-component plasma

Equilibrium molecular dynamics simulations are used to calculate the thermal conductivity of the onecomponent plasma via the Green-Kubo formalism over a broad range of Coulomb coupling strength, 0.1 ≤ Γ ≤180. These simulations address previous discrepancies between computations using equilibrium versus nonequilibrium methods. Analysis of heat flux autocorrelation functions show that very long (6×10 5 $ω^{-1}_{p}$) time series are needed to reduce the noise level to allow ≲2% accuracy. The simulations provide accurate data for Γ ≲ 1. Furthermore, this enables a test of the traditional Landau-Spitzer theory, which is found to agree with the simulations for Γ ≲ 0.3. It also enables tests of theories to address moderate and strong Coulomb coupling. Two are found to provide accurate extensions to the moderate coupling regime of Γ ≲ 10, but none are accurate in the Γ ≳ 10 regime where potential energy transport and coupling between mass flow and stress dominate thermal conduction.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2017

Method for computationally efficient design of dielectric laser accelerator structures

Here, dielectric microstructures have generated much interest in recent years as a means of accelerating charged particles when powered by solid state lasers. The acceleration gradient (or particle energy gain per unit length) is an important figure of merit. To design structures with high acceleration gradients, we explore the adjoint variable method, a highly efficient technique used to compute the sensitivity of an objective with respect to a large number of parameters. With this formalism, the sensitivity of the acceleration gradient of a dielectric structure with respect to its entire spatial permittivity distribution is calculated by the use of only two full-field electromagnetic simulations, the original and ‘adjoint’. The adjoint simulation corresponds physically to the reciprocal situation of a point charge moving through the accelerator gap and radiating. Using this formalism, we perform numerical optimizations aimed at maximizing acceleration gradients, which generate fabricable structures of greatly improved performance in comparison to previously examined geometries.

43 PARTICLE ACCELERATORS↗
DOE OSTI2015

Example Work Domain Analysis for a Reference Sodium Fast Reactor

The nuclear industry is currently designing and building a new generation of reactors that will include different structural, functional, and environmental aspects, all of which are likely to have a significant impact on the way these plants are operated. In order to meet economic and safety objectives, these new reactors will all use advanced technologies to some extent, including new materials and advanced digital instrumentation and control systems. New technologies will affect not only operational strategies, but will also require a new approach to how functions are allocated to humans or machines to ensure optimal performance. Uncertainty about the effect of large scale changes in plant design will remain until sound technical bases are developed for new operational concepts and strategies. Up-to-date models and guidance are required for the development of operational concepts for complex socio-technical systems. This report describes how the classical Work Domain Analysis method was adapted to develop operational concept frameworks for new plants. This adaptation of the method is better able to deal with the uncertainty and incomplete information typical of first-of-a-kind designs. Practical examples are provided of the systematic application of the method in the operational analysis of sodium-cooled reactors. Insights from this application and its utility are reviewed and arguments for the formal adoption of Work Domain Analysis as a value-added part of the Systems Engineering process are presented.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
NASA NTRS1974

TM surface wave diffraction by a truncated dielectric slab recessed in a perfectly conducting surface

The diffraction of a TM sub o surface wave by a terminated dielectric slab which is flush mounted in a perfectly conducting surface is studied. The incident surface wave gives rise to waves reflected and diffracted by the termination; these reflected and diffracted fields may be expressed in terms of the geometrical theory of diffraction by introducing surface wave reflection and diffraction coefficients which are associated with the termination. In this investigation, the surface wave reflection and diffraction coefficients have been deduced from a formally exact solution to this canonical problem. The solution is obtained by a combination of the generalized scattering matrix technique and function theoretic methods.

Pathak, P. H.↗
NASA NTRS1975

Spectrophotometry of faint cluster galaxies and the Hubble diagram - An approach to cosmology

New spectrophotometric data are presented for large-redshift galaxies in clusters. A new approach to aperture corrections and the analysis of the Hubble diagram is outlined, including the explicit incorporation of evolutionary effects. The importance of selection effects on the usual methods of analysis are in principle overcome in the analysis, although the heterogeneity of the sample still makes conclusions about cosmology slightly suspect. Formal values of the deceleration parameter are derived under several sets of assumptions, yielding results between +0.33 and -1.27 with formal standard deviations of order 0.7.

Gunn, J. E.↗
NASA NTRS1986

Optical model calculations of heavy-ion target fragmentation

The fragmentation of target nuclei by relativistic protons and heavy ions is described within the context of a simple abrasion-ablation-final-state interaction model. Abrasion is described by a quantum mechanical formalism utilizing an optical model potential approximation. Nuclear charge distributions of the excited prefragments are calculated by both a hypergeometric distribution and a method based upon the zero-point oscillations of the giant dipole resonance. Excitation energies are estimated from the excess surface energy resulting from the abrasion process and the additional energy deposited by frictional spectator interactions of the abraded nucleons. The ablation probabilities are obtained from the EVA-3 computer program. Isotope production cross sections for the spallation of copper targets by relativistic protons and for the fragmenting of carbon targets by relativistic carbon, neon, and iron projectiles are calculated and compared with available experimental data.

Townsend, L. W.↗
NASA NTRS1990

Speculating on space futures

A volunteer group of engineers and scientists at NASA's Lewis Research Center is trying to push the frontiers of aerospace science and technology beyond the realm of conventional methods and concepts. The first step is to provide a supportive environment for ideas that are too speculative or high risk to warrant formal organizational responsibility. This report describes the motivation, birth and experiences of this group.

Millis, Marc G.↗
NASA NTRS1999

Lesson Plan Prototype for International Space Station's Interactive Video Education Events

The outreach and education components of the International Space Station Program are creating a number of materials, programs, and activities that educate and inform various groups as to the implementation and purposes of the International Space Station. One of the strategies for disseminating this information to K-12 students involves an electronic class room using state of the art video conferencing technology. K-12 classrooms are able to visit the JSC, via an electronic field trip. Students interact with outreach personnel as they are taken on a tour of ISS mockups. Currently these events can be generally characterized as: Being limited to a one shot events, providing only one opportunity for students to view the ISS mockups; Using a "one to many" mode of communications; Using a transmissive, lecture based method of presenting information; Having student interactions limited to Q&A during the live event; Making limited use of media; and Lacking any formal, performance based, demonstration of learning on the part of students. My project involved developing interactive lessons for K-12 students (specifically 7th grade) that will reflect a 2nd generation design for electronic field trips. The goal of this design will be to create electronic field trips that will: Conform to national education standards; More fully utilize existing information resources; Integrate media into field trip presentations; Make support media accessible to both presenters and students; Challenge students to actively participate in field trip related activities; and Provide students with opportunities to demonstrate learning

Zigon, Thomas↗
NASA NTRS2004

Automatic Generation of Algorithms for the Statistical Analysis of Planetary Nebulae Images

Analyzing data sets collected in experiments or by observations is a Core scientific activity. Typically, experimentd and observational data are &aught with uncertainty, and the analysis is based on a statistical model of the conjectured underlying processes, The large data volumes collected by modern instruments make computer support indispensible for this. Consequently, scientists spend significant amounts of their time with the development and refinement of the data analysis programs. AutoBayes [GF+02, FS03] is a fully automatic synthesis system for generating statistical data analysis programs. Externally, it looks like a compiler: it takes an abstract problem specification and translates it into executable code. Its input is a concise description of a data analysis problem in the form of a statistical model as shown in Figure 1; its output is optimized and fully documented C/C++ code which can be linked dynamically into the Matlab and Octave environments. Internally, however, it is quite different: AutoBayes derives a customized algorithm implementing the given model using a schema-based process, and then further refines and optimizes the algorithm into code. A schema is a parameterized code template with associated semantic constraints which define and restrict the template s applicability. The schema parameters are instantiated in a problem-specific way during synthesis as AutoBayes checks the constraints against the original model or, recursively, against emerging sub-problems. AutoBayes schema library contains problem decomposition operators (which are justified by theorems in a formal logic in the domain of Bayesian networks) as well as machine learning algorithms (e.g., EM, k-Means) and nu- meric optimization methods (e.g., Nelder-Mead simplex, conjugate gradient). AutoBayes augments this schema-based approach by symbolic computation to derive closed-form solutions whenever possible. This is a major advantage over other statistical data analysis systems which use numerical approximations even in cases where closed-form solutions exist. AutoBayes is implemented in Prolog and comprises approximately 75.000 lines of code. In this paper, we take one typical scientific data analysis problem-analyzing planetary nebulae images taken by the Hubble Space Telescope-and show how AutoBayes can be used to automate the implementation of the necessary anal- ysis programs. We initially follow the analysis described by Knuth and Hajian [KHO2] and use AutoBayes to derive code for the published models. We show the details of the code derivation process, including the symbolic computations and automatic integration of library procedures, and compare the results of the automatically generated and manually implemented code. We then go beyond the original analysis and use AutoBayes to derive code for a simple image segmentation procedure based on a mixture model which can be used to automate a manual preproceesing step. Finally, we combine the original approach with the simple segmentation which yields a more detailed analysis. This also demonstrates that AutoBayes makes it easy to combine different aspects of data analysis.

Fischer, Bernd↗
NASA NTRS2001

Dipole potentials indicate restructuring of the membrane interface induced by gadolinium and beryllium ions

The dipole component of the membrane boundary potential, phi(d), is an integral parameter that may report on the conformational state of the lipid headgroups and their hydration. In this work, we describe an experimental approach to measurements of the dipole potential changes, Deltaphi(d), and apply it in studies of Be(2+) and Gd(3+) interactions with membranes composed of phosphatidylserine (PS), phosphatidylcholine (PC), and their mixtures. Deltaphi(d) is determined as the difference between the changes of the total boundary potential, phi(b), measured by the IFC method in planar lipid membranes and the surface potential, phi(s), determined from the electrophoretic mobility of liposomes. The Gouy-Chapman-Stern formalism, combined with the condition of mass balance, well describes the ion equilibria for these high-affinity cations. For the adsorption of Be(2+) and Gd(3+) to PC membranes, and of Mg(2+) to PS membranes, the values of Deltaphi(b) and Deltaphi(s) are the same, indicative of no change of phi(d). Binding of Gd(3+) to PS-containing membranes induces changes of phi(d) of opposite signs depending on the density of ionized PS headgroups in the bilayer. At low density, the induced Deltaphi(d) is negative (-30 mV), consistent with the effect of dehydration of the surface. At maximal density (pure PS, neutral pH), adsorption of Be(2+) or Gd(3+) induces an increase of phi(d) of 35 or 140 mV, respectively. The onset of the strong positive dipole effect on PS membranes with Gd(3+) is observed near the zero charge point and correlates with a six-fold increase of membrane tension. The observed phenomena may reflect concerted reorientation of dipole moments of PS headgroups as a result of ion adsorption and lipid condensation. Their possible implications to in-vivo effects of these high-affinity ions are discussed.

Non-NASA Center↗
NASA NTRS2009

Geology of the Southern Utopia Planitia Highland-Lowland Boundary Plain: Second Year Results and Third Year Plan

The southern Utopia highland-lowland boundary (HLB) extends >1500 km westward from Hyblaeus Dorsa to the topographic saddle that separates Isidis and Utopia Planitiae. It contains bench-like platforms that contain depressions, pitted cones (some organized into arcuate chains and thumb-print terrain), isolated domes, buried circular depressions, ring fractures, polygonal fractures, and other locally- to regionally-dispersed landforms [1-2]. The objective of this map project is to clarify the geologic evolution of the southern Utopia Planitia HLB by identifying the geologic, structural, and stratigraphic relationships of surface materials in MTMs 10237, 15237, 20237, 10242, 15242, 20242, 10247, 15247, and 20247. The project was originally awarded in April, 2007 and is in its final year of support. Mapping is on-schedule and formal map submission will occur by December, 2009, with finalization anticipated by April, 2010. Herein, we (1) review specifics regarding mapping data and methods, (2) present nomenclature requests that we feel will assist with unit descriptions, (3) describe Year 2 mapping and science accomplishments, and (4) outline Year 3 technical and managerial approaches for finalizing the geologic map.

Skinner, J. A., Jr.↗
NASA NTRS2011

Electromagnetic Dissociation Cross Sections using Weisskopf-Ewing Theory

It is important that accurate estimates of crew exposure to radiation are obtained for future long-term space missions. Presently, several space radiation transport codes exist to predict the radiation environment, all of which take as input particle interaction cross sections that describe the nuclear interactions between the particles and the shielding material. The space radiation transport code HZETRN uses the nuclear fragmentation model NUCFRG2 to calculate Electromagnetic Dissociation (EMD) cross sections. Currently, NUCFRG2 employs energy independent branching ratios to calculate these cross sections. Using Weisskopf-Ewing (WE) theory to calculate branching ratios, however, is more advantageous than the method currently employed in NUCFRG2. The WE theory can calculate not only neutron and proton emission, as in the energy independent branching ratio formalism used in NUCFRG2, but also deuteron, triton, helion, and alpha particle emission. These particles can contribute significantly to total exposure estimates. In this work, photonuclear cross sections are calculated using WE theory and the energy independent branching ratios used in NUCFRG2 and then compared to experimental data. It is found that the WE theory gives comparable, but mainly better agreement with data than the energy independent branching ratio. Furthermore, EMD cross sections for single neutron, proton, and alpha particle removal are calculated using WE theory and an energy independent branching ratio used in NUCFRG2 and compared to experimental data.

Adamczyk, Anne M.↗
DOE OSTI2020

Radiation Simulation using Wi-Fi Signal Strength and Frequency

For routine radiological operations, lost radioactive sources, decommissioning and cleanup of nuclear facilities, and radiological terrorist events such as Radioactive Dispersive Devices (RDDs) or Radiological Exposure Devices (REDs), individuals are tasked with accurately locating both point and distributed sources of radiation. Radiation workers must often practice these tasks, whether part of initial training or periodically as part of formal or informal exercises or drills. In such circumstances, it is desirable to have an accurate recreation of a radioactive source, including a method of detecting it, which does not include dangerous amounts of radiation. The goal of this research was to develop a radiation simulation technology that uses IEEE 802.11x W-LAN protocol, i.e. Wi-Fi sources and detectors for these, as an inexpensive, precise and accurate method of replicating sources of gamma radiation. For this work, existing 802.11x sources were used. Software was developed for use with an Android smartphone to detect the presence of these sources. The measurements followed the expected behavior as a function of distance from the sources, mimicking that of gamma radiation, thus demonstrating the fundamental principle of operation. The ultimate system will be used in an outreach program to interest students in the radiation protection field.

07 ISOTOPE AND RADIATION SOURCES↗
DOE OSTI2018

Stellar Wakes from Dark Matter Subhalos

Here we propose a novel method utilizing stellar kinematic data to detect low-mass substructure in the Milky Way’s dark matter halo. By probing characteristic wakes that a passing dark matter subhalo leaves in the phase-space distribution of ambient halo stars, we estimate sensitivities down to subhalo masses of ∼10 7 M ⊙ or below. The detection of such subhalos would have implications for dark matter and cosmological models that predict modifications to the halo-mass function at low halo masses. We develop an analytic formalism for describing the perturbed stellar phase-space distributions, and we demonstrate through idealized simulations the ability to detect subhalos using the phase-space model and a likelihood framework. Our method complements existing methods for low-mass subhalo searches, such as searches for gaps in stellar streams, in that we can localize the positions and velocities of the subhalos today.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗