Search NASA⌕ Search

SEARCH · Search NASA

Results for “consistency checking”

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 343 records · Page 19

ISEE observations of the magnetopause - Reconnection and the energy balance

The total energy balance for two events with the objective of obtaining check on the interpretation in terms of reconnection is examined. To within experimental uncertainties, the plasma and magnetic field data are consistent with reconnection. An enthalpy increase comparable to the kinetic energy increase occurs in the magnetopause. Thus substantial dissipation is present in the rotational discontinuity. An ion heat flow associated with a beam of reflected magnetosheath particles carried away some 20 percent of the total converted electromagnetic energy.

Paschmann, G.↗

Advanced development of the boundary element method for elastic and inelastic thermal stress analysis

The focus of this dissertation is on advanced development of the boundary element method for elastic and inelastic thermal stress analysis. New formulations for the treatment of body forces and nonlinear effects are derived. These formulations, which are based on particular integral theory, eliminate the need for volume integrals or extra surface integrals to account for these effects. The formulations are presented for axisymmetric, two and three dimensional analysis. Also in this dissertation, two dimensional and axisymmetric formulations for elastic and inelastic, inhomogeneous stress analysis are introduced. The derivatives account for inhomogeneities due to spatially dependent material parameters, and thermally induced inhomogeneities. The nonlinear formulation of the present work are based on an incremental initial stress approach. Two inelastic solutions algorithms are implemented: an iterative; and a variable stiffness type approach. The Von Mises yield criterion with variable hardening and the associated flow rules are adopted in these algorithms. All formulations are implemented in a general purpose, multi-region computer code with the capability of local definition of boundary conditions. Quadratic, isoparametric shape functions are used to model the geometry and field variables of the boundary (and domain) of the problem. The multi-region implementation permits a body to be modeled in substructured parts, thus dramatically reducing the cost of analysis. Furthermore, it allows a body consisting of regions of different (homogeneous) material to be studied. To test the program, results obtained for simple test cases are checked against their analytic solutions. Thereafter, a range of problems of practical interest are analyzed. In addition to displacement and traction loads, problems with body forces due to self-weight, centrifugal, and thermal loads are considered.

Henry, Donald P., Jr.↗

Telescope protection algorithm for the Space Infrared Telescope Facility

This paper presents a proposed on-board Telescope Protection Algorithm (TPA) for the Space Infrared Telescope Facility (SIRTF). This TPA consists of hardware and software capable of performing both fail-operational and fail-safe modes of operation. In the fail-operational mode, each ephemeris load and slew/dwell command sequence is checked on-board before use. The slew command monitor detects unallowable slew/dwell commands and transfers control to an algorithm which slews to and maintains a safe telescope orientation while preserving precise attitude determination and control. This fail-operational mode is also given the authority to autonomously restart the slew/dwell sequence at a point beyond the faulty command. The fail-safe system consists of software and hardware which detects impending earth, moon, or sun avoidance zone violations and activates a backup hardware safe hold mode. The subject TPA and relevant sensor complement were designed for the SIRTF mission; however, this system can easily be used as a basis for failure detection and correction in a wide range of other missions.

Class, B. F.↗

Subject-specific modeling framework for particle deposition using computational fluid dynamics

Quantifying particle deposition and dose in the respiratory tract requires a physiologically realistic representation and reproducible computational workflows. However, existing modeling frameworks, such as the International Commission on Radiological Protection (ICRP) compartmental models and the Multiple Path Particle Dosimetry (MPPD) tool, lack detailed deposition profiles and subject-specific capabilities. The combination of advances in computer vision algorithms applied to the respiratory tract and Computational Fluid and Particle Dynamics (CFPD) allows high-fidelity simulations of particle behavior in anatomically accurate geometries derived from individual CT scans. The segmentation, preprocessing, and file preparation task for a CFPD simulation was often time-consuming, and no prior studies to-date have yet presented a fully automated framework. This work presents a fully automated workflow to obtain individualized particle deposition profiles in the human respiratory tract. The pipeline starts with segmenting upper and lower airway geometries using morphological and deep learning-based methods, generating three-dimensional (3D) models from CT imaging data. Next, a series of algorithms are presented to quality check and prepare the 3D geometry for a CFD or CFPD simulation. The preprocessing step includes correcting geometric artifacts, enforcing a physically consistent mesh, and automatically identifying and capping multiple outlets, which is required for CFD/CFPD simulations. These processed models are then input into open-source (OpenFOAM) or commercial (StarCCM+) CFD solvers, where flow and transient particle transport equations — including turbulence and particle–wall interactions are solved under realistic breathing conditions. Finally, the resulting particle deposition profiles can be integrated with Monte Carlo radiation transport codes and state-of-the-art computational phantoms to assess organ-specific absorbed doses in scenarios of radioactive aerosol inhalation. The presented work streamlines respiratory tract segmentation, preprocessing for CFD/CFPD simulations, and integration with dose assessment workflows, reducing manual intervention and improving access to high-fidelity, subject-specific modeling. The high precision in predicted particle deposition and dose distributions can improve personalized treatment strategies in respiratory medicine and refine dose estimates for radiation protection.

AI↗

Analysis of Bose-Einstein condensation times for self-interacting scalar dark matter

We investigate the condensation time of self-interacting axionlike particles in a gravitational well, extending the prior work which showed that the Wigner formalism is a good analytic approach to describe a condensing scalar field. In the present work, we use this formalism to affirm that $\phi$4 self-interactions will take longer than necessary to support the time scales associated with structure formation, making gravity a necessary part of the process to bring axion dark matter into a solitonic form. Here we show that when the axions’ virial velocity is taken into account, the time scale associated with self-interactions will scale as λ2. This is consistent with recent numerical estimates, and it confirms that the Wigner formalism described in prior work is a helpful analytic framework to check computational work for potential numerical artifacts.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Simulation Center for Runaway Electron Avoidance and Mitigation (SCREAM SciDAC) (Technical Final Report)

Runaway electrons can severely damage the plasma facing components on ITER during a major disruption and pose a major risk for tokamak fusion. It has been recognized that an adequate disruption mitigation system (DMS) is essential for the safe operation of ITER. The United States is responsible for the design and implementation of the disruption mitigation system on ITER, and in July 2016 the Simulation Center for Runaway Electron Avoidance and Mitigation (SCREAM) was launched by DOE, in a joint Fusion Energy Sciences (FES) and Advanced Scientific Computing Research (ASCR) collaboration. SCREAM was a comprehensive theory and simulation SciDAC center that provided physics guidance in the avoidance and mitigation of runaway electrons, and in tandem with domestic and international experiments, helped establish the qualitative and quantitative bases for safe operational scenarios and viable mitigation techniques. The SCREAM center assembled a national team of experts in runaway electron physics, tokamak disruptions, magnetohydrodynamic (MHD) simulation, and advanced algorithms and computing. The team combined advanced simulation and analysis capability facilitated by direct participation of ASCR SciDAC institutes with theoretical models and code development by FES scientists to focus on the runaway risk for ITER and tokamaks in general. The research scope was focussed on integrated simulations of kinetic runaway electrons, including MHD and fluid models of impurity transport, within a research plan guided by theory. The specific research tasks were (1) establish the fundamental physics of runaway generation, saturation, and dynamical evolution in a tokamak; (2) examine the critical path toward runaway avoidance; and (3) investigate the viability and effectiveness of the leading candidate schemes for runaway mitigation. In all three areas, members of the team carried out scoping studies that established the readiness for rapid and critical advances, especially in the deployment and further development of large-to extreme-scale simulation tools. Our multi-pronged computational approach included (1) relativistic Fokker-Planck solvers with discretization in phase space, (2) self-consistent particle-in-cell techniques, (3) particle-based Monte-Carlo, and (4) MHD-particle hybrid simulations. Cross-check between these different methods provided an additional means for verification and further bolstered the fidelity of our physics prediction. Validation against experimental results brings confidence to the predictive capability for ITER and frequently leads to new ideas for understanding and mitigating the thermal quench driven runaway electron phenomenon.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Quality Control of Silicon Sensor Modules for Particle Detectors

The High-Luminosity Large Hadron Collider (HL-LHC) will produce a higher rate of particle collisions than the current Large Hadron Collider (LHC), requiring important upgrades to the Compact Muon Solenoid (CMS) to handle an increased amount of data. An important upgrade is the Phase-2 Outer Tracker Upgrade, which consists of 13,000 silicon sensor modules made of two parallel silicon sensors and readout electronics. These modules undergo careful quality control checks both during and after module assembly to ensure precise and reliable detector performance. This project focuses on precision testing for quality control of silicon sensor modules at Fermilab. Hands-on work includes visual inspection, current-voltage testing, module testing, and ultraviolet (UV) light exposure of modules showing abnormal current-voltage behavior. The ultraviolet exposure process improves the abnormal sensor readout data by placing the selected sensor side of the module directly under the UV light inside a controlled box. In addition to laboratory testing and ultraviolet experiments, I developed a Python-based data tool that connects to a module database and allows selected testing conditions and module information to be retrieved and displayed efficiently. These different testing procedures, experimental processes, and computational tools support the broader goal of identifying module issues and improving modules that will be used in the CMS Outer Tracker Phase-2 Upgrade.

Siddiqui, Hooriya [DuPage Coll.] (ORCID:0009000151↗

A systematic approach to advanced cockpit warning systems for air transport operations: Line pilot preferences

Line pilots (fifty captains, first officers, and flight engineers) from 8 different airlines were administered a structured questionnaire relating to future warning system design and solutions to current warning system problems. This was followed by a semantic differential to obtain a factor analysis of 18 different cockpit warning signals on scales such as informative/distracting, annoying/soothing. Half the pilots received a demonstration of the experimental text and voice synthesizer warning systems before answering the questionnaire and the semantic differential. A control group answered the questionnaire and the semantic differential first, thus providing a check for the stability of pilot preferences with and without actual exposure to experimental systems. Generally, the preference data obtained revealed much consistency and strong agreement among line pilots concerning advance cockpit warning system design.

Williams, D. H.↗

Quality Control of Silicon Sensor Modules for Particle Detectors

The High-Luminosity Large Hadron Collider (HL-LHC) will produce a higher rate of particle collisions than the current Large Hadron Collider (LHC), requiring significant upgrades to the Compact Muon Solenoid (CMS) to handle the increased amount of data. An important upgrade is the Phase-2 Outer Tracker Upgrade, which consists of 13,000 silicon sensor modules made of two parallel silicon sensors and readout electronics. These modules undergo careful quality control checks both during and after module assembly to ensure precise and reliable detector performance. This project focuses on precision testing for quality control of silicon sensor modules at Fermilab. Hands-on work includes visual inspection, current-voltage testing, module testing, and ultraviolet (UV) light exposure of modules showing abnormal current-voltage behavior. The ultraviolet exposure process improves the abnormal sensor readout data by placing the selected sensor side of the module directly under the UV light inside a controlled box. In addition to laboratory testing and ultraviolet experiments, I developed a Python-based data tool that connects to a module database and allows selected testing conditions and module information to be retrieved and displayed efficiently. These different testing procedures, experimental processes, and computational tools support the broader goal of identifying module issues and improving modules that will be used in the CMS Outer Tracker Phase-2 Upgrade.

Siddiqui, Hooriya [DuPage Coll.; Fermilab] (ORCID:↗

Quantifying the resonant photoemission of radiation damaged Pu

Here, the resonant photoelectron spectroscopy (ResPes) of new and aged δ-Pu(Ga) is reassessed by using the small oxygen contaminant peaks as an independent and quantitative check upon conventional cross-photon-energy normalization. Good agreement is found between the measured oxygen intensities and the atomic cross section calculations. Consistent with earlier analyses, the radiation induced damage in the aged samples is found to compress and sharpen the 5f peaks. This is associated with increased localization of the 5f bands, corresponding to the 5f density of states calculations that show a narrowing of 5f bandwidth with cluster size diminishment.

36 MATERIALS SCIENCE↗

Analyzing and Detecting Problems in Systems of Systems

Many software systems are evolving complex system of systems (SoS) for which inter-system communication is mission-critical. Evidence indicates that transmission failures and performance issues are not uncommon occurrences. In a NASA-supported Software Assurance Research Program (SARP) project, we are researching a new approach addressing such problems. In this paper, we are presenting an approach for analyzing inter-system communications with the goal to uncover both transmission errors and performance problems. Our approach consists of a visualization and an evaluation component. While the visualization of the observed communication aims to facilitate understanding, the evaluation component automatically checks the conformance of an observed communication (actual) to a desired one (planned). The actual and the planned are represented as sequence diagrams. The evaluation algorithm checks the conformance of the actual to the planned diagram. We have applied our approach to the communication of aerospace systems and were successful in detecting and resolving even subtle and long existing transmission problems.

Lindvall, Mikael↗

Calibration of of Sun Photometers and Sky Radiance Sensors

The main source of error in retrieving aerosol optical thicknesses using sun photometry comes from the determination of the TOA voltages. The degradation of interference filters is the most important source of the long-term changes in the cross-calibrations. Although major improvements have been made in the design of the filters (interference filters fabricated using ion-assisted deposition), the filters remain the principal factor limiting performance of the sun photometers. Degradation of filters necessitates frequent calibration of sun photometers and frequent measurements of the filter transmission or the relative system response. The degradation of the filters mounted on the CIMEL sun photometers have been monitored since 1993 by the Aerosol Robotic Network (AERONET) project. The decay reported by Holben et al. for the first two years of a CIMEL#s operation is between 1 and 5%. Nevertheless, the filters mounted on CIMEL instruments are regularly replaced after two years of use. The cross-calibration technique consists of taking measurements concurrently with the uncalibrated and the reference sun photometers. While analyzing measurements, the quality of the calibration has to be checked, using the following considerations: (1) any cirrus clouds suspected to be masking the sun, during the calibration period, need to be reported and the corresponding data set removed; and (2) the stability of the day needs to be checked. This chapter will describe calibration techniques, facilities, and protocols used for calibrating sun photometers and sky radiometers.

Pietras, Christophe↗

Intercontinental Bistatic Radar Test Observation of Asteroid 1998 WT24

We describe the first intercontinental planetary radar test performed in Italy observing the near Earth asteroid (NEA) 33342 (1998 WT24) in December 2001 by means of the bistatic configurations Goldstone (California, USA)-Medicina (Italy) and Evpatoria (Ukraine)-Medicina. The experiment goal was to characterize the system for realtime radar follow-up observations of NEAs and artificial orbiting debris, in the framework of a feasibility study which aims at using the Sardinia Radio Telescope, at present under construction, also as a planetary radar facility. We report the preliminary results of the radar observations carried out by the IRA-CNR (Instituto di Radioastronomia - Consiglio Nazionale delle Ricerche) and the OATo (Osservatorio Astronomico di Torino) groups, aimed at exploring the scientific potentials of a new space radar program, using the existing facilities in Italy. The planetary radar technique is uniquely capable of investigating geometry and surface properties of various solar system objects, demonstrating advantages over the optical methods in its high spatial resolution and ability to obtain three-dimensional images. A single radar detection allows to obtain extremely accurate orbital elements, improving the instantaneous positional uncertainties by orders of magnitude with respect to an optically determined orbit. Radar is a powerful means to spatially resolve NEAs by measuring the distribution of the echo power in time delay (range) and Doppler frequency (line-of-sight velocity) with extreme precision in each coordinate, as it provides detailed information about the target physical properties like size, shape, rotation, near-surface bulk density and roughness and internal density distribution. The Medicina 32m antenna had been successfully used for the first time as the receiving part of a bistatic configuration during a test experiment (September 2001) held to check the capabilities of the entire data acquisition system. This test was possible thanks to the collaboration undertaken with the Evpatoria radar station, and consisted in the observation of the ETALON-1 low orbit satellite

Righini, S.↗

An instrument to measure the spectrum of cosmic ray iron and other nuclei to above 100 GeV-nucleon

A balloon-borne detector system for extending the study of cosmic ray composition to the energy region beyond 100 GeV/nucleon is described. The instrument incorporates an ionization calorimeter and a gas Cherenkov counter filled with freon for the determination of energies, and a charge module, consisting of scintillation and a lucite Cherenkov counter, for determining the charge of the incoming particle. The scintillators were utilized to determine the position of the incoming particle in addition to its charge. The characteristics of these detectors with respect to resolution, and the methods employed in laboratory calibration, cross-checks with flight data and actual performance in the flights are described in detail. Monte Carlo simulation of the ionization calorimeter and comparison of the response of the calorimeter and gas Cherenkov counter for complex nuclei was used to convert the observed calorimeter signal to absolute energy in a consistent manner.

Arens, J. F.↗

LANL Overview Deck [Slides]

This presentation consists of commonly used slides focused on the Lab's core mission, values, and objectives. The content on these slides is updated periodically so please check back often for the latest version. Do not alter or change any copy, facts, graphics, or photographs used on these slides.

99 GENERAL AND MISCELLANEOUS↗

Method for Approximating the Vacuum Motions of Spinning Symmetrical Bodies with Nonconstant Spin Rates

A method for approximating the vacuum motions of spinning rigid symmetrical bodies with varying spin rates and inertias has been completed. The analysis includes the effects of time varying thrust misalignments, mass unbalance, and jet damping. Results are given in the form of equations for space­ referenced Euler angles, flight-path angles, body­ referenced attitude rates, and earth-referenced vehicle-trajectory coordinates. The method consists of dividing the problem into intervals during which the time-dependent variables are assumed constant at their mean interval value. In order to check this procedure, solutions for various interval sizes are compared with solutions obtained with numerical methods. Although the method is somewhat lengthy for accurate hand computation in most cases, it is readily programed for machine solutions. Probably more important, the general solutions give insight into the separate effects of the variables and, in many cases, can be quickly used to determine the approxi­mate ranges of the variables required for the desired solution to a given problem. In this respect, equations for determining maximum wobble have been derived for certain input conditions. The method has been shown to compare closely with the numerical solutions of two sample problems. The sample problems also illustrated the relatively large effect of pitch and yaw jet damping on body motions.

VACUUM↗

Formal Verification of Termination Criteria for First-Order Recursive Functions

This paper presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs. As a proof of concept, this paper illustrates how such an extension can be implemented using proof strategies based on computational reflection.

Formal Verification↗

Formal Verification of Termination Criteria for​ First-Order Recursive Functions

This talk presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs.

Termination↗