Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “CONCURRENT”

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 271 records · Page 15
All sourcesNASA NTRSDOE OSTI
DOE OSTI2023

Correct Compilation of Concurrent C Code

The CompCert compiler represents a landmark effort in program verification as both a piece of verified software and as a compiler for verified C programs. A key shortcoming of CompCert however is that it does not support multithreaded programs. Prior work to add threads to CompCert has either required major rewrites of parts of the proof or only works for well synchronized programs. The problem is that CompCert’s backward simulation derives from a forward simulation via the determinism of the semantics of intermediate representation languages. This makes the proofs in CompCert easier but also makes them incompatible with standard models of multithreading which are non-deterministic. Here we propose an alternate formulation of CompCert’s proof structure that parameterizes the existing single threaded semantics with nondeterministic behavior generated at the multithreading level. While this is an old trick where program equivalence is concerned, performing it in the context of CompCert is quite subtle. Our approach allows for expressive concurrent semantics and does not require major proof rewrites but still results in a global backward simulation for multithreaded programs.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2026

Reactive Oxygen Ion Beam-Induced Deposition for Concurrent Purification of Platinum Nanostructures

Oxygen-focused ion beam induced deposition (O-FIBID) enables the direct-write fabrication of Pt nanostructures while simultaneously enhancing purity concurrently through reactive oxygen–deposit interactions. By systematically varying the dwell time, accelerating voltage, and precursor pressure, the Pt content and conductivity can be controlled. Under optimum conditions, the Pt content reached 63 at.%. Across the dwell-time range used for resistivity measurements, the Pt content increased from 20 to 33 at.%, while the resistivity decreased from 2.9 × 10 4 μΩ·cm to 1.2 × 10 3 μΩ·cm, which is consistent with enhanced percolation through Pt grains and the lower intrinsic resistivity of the purer Pt deposit. The simulation results support a purification mechanism driven by the beam-induced activation of implanted oxygen balanced against the preferential sputtering of Pt. These results demonstrate O-FIBID as a viable method for the nanoscale direct write of conductive Pt without post-processing, and some deviations from conventional FIBID wisdom are observed. These results serve as a foundation for exploring nascent, reactive focused ion beam-induced deposition processes.

deposit purification↗
DOE OSTI2025

Concurrent two-way coupling of global and local models across internal boundaries with non-matching discretizations

Coupling local and global models enables efficient simulation of multiscale systems, where global models capture large-scale behavior and local models, with enhanced physics, resolve finer details over a smaller region. Here, this paper presents a mathematically consistent method for coupling physics-based models of varying fidelity across adjacent, non-overlapping subdomains, even when discretizations do not match at the immersed interdomain interfaces. Incompressible Navier-Stokes equations (NSE) constitute the global model while residual-based turbulence model serves as the local high-fidelity model. In addition, a scalar advection-diffusion equation that models the convection of an active scalar field is appended to the turbulence model in the local domain. This scalar field does not have its complement in the global model, giving rise to unequal number of equations at the immersed boundary between local and global models. Interdomain coupling terms are derived via the Variational Multiscale Discontinuous Galerkin (VMDG) method with new developments in scale representation and efficient fine-scale estimation. While transient laminar flows modeled with NSE in the global domain can be resolved with relatively coarse mesh, turbulent flow calculations in the local model require much finer spatial discretizations as well as smaller time-step for appropriately resolving the turbulent flow physics. The proposed framework also accommodates non-matching meshes at the immersed boundaries. Test problems in 2D and 3D numerically showcase the concurrent two-way coupling of unknown fields across the immersed boundaries. The 3D test presents a case with an unequal number of equations, where the scalar field represents the convection of contaminant concentration. This provides more detailed physics in the local region and highlights its application in climate modeling and atmospheric sciences.

Variational Multiscale Discontinuous Galerkin (VMD↗
DOE OSTI2021

Retrieving microphysical properties of concurrent pristine ice and snow using polarimetric radar observations

Abstract. Ice and mixed-phase clouds play a key role in our climate system because of their strong controls on global precipitation and radiation budget. Their microphysical properties have been characterized commonly by polarimetric radar measurements. However, there remains a lack of robust estimates of microphysical properties of concurrent pristine ice and aggregates because larger snow aggregates often dominate the radar signal and mask contributions of smaller pristine ice crystals. This paper presents a new method that separates the scattering signals of pristine ice embedded in snow aggregates in scanning polarimetric radar observations and retrieves their respective abundances and sizes for the first time. This method, dubbed ENCORE-ice, is built on an iterative stochastic ensemble retrieval framework. It provides the number concentration, ice water content, and effective mean diameter of pristine ice and snow aggregates with uncertainty estimates. Evaluations against synthetic observations show that the overall retrieval biases in the combined total microphysical properties are within 5 % and that the errors with respect to the truth are well within the retrieval uncertainty. The partitioning between pristine ice and snow aggregates also agrees well with the truth. Additional evaluations against in situ cloud probe measurements from a recent campaign for a stratiform cloud system are promising. Our median retrievals have a bias of 98 % in the total ice number concentration and 44 % in the total ice water content. This performance is generally better than the retrieval from empirical relationships. The ability to separate signals of different ice species and to provide their quantitative microphysical properties will open up many research opportunities, such as secondary ice production studies and model evaluations for ice microphysical processes.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2015

Continuous integration for concurrent MOOSE framework and application development on GitHub

For the past several years, Idaho National Laboratory’s MOOSE framework team has employed modern software engineering techniques (continuous integration, joint application/framework source code repos- itories, automated regression testing, etc.) in developing closed-source multiphysics simulation software (Gaston et al., Journal of Open Research Software vol. 2, article e10, 2014). In March 2014, the MOOSE framework was released under an open source license on GitHub, significantly expanding and diversifying the pool of current active and potential future contributors on the project. Despite this recent growth, the same philosophy of concurrent framework and application development continues to guide the project’s development roadmap. Several specific practices, including techniques for managing multiple repositories, conducting automated regression testing, and implementing a cascading build process are discussed in this short paper. Furthermore, special attention is given to describing the manner in which these practices naturally synergize with the GitHub API and GitHub-specific features such as issue tracking, Pull Requests, and project forks.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1972

Human transinformation rates during one-to-four axis tracking with a concurrent audio task

The information processing rates of six subjects performing one-, two-, three-, and four-axis compensatory tracking tasks, with and without a concurrent four-choice auditory task were determined. The purpose was to obtain further evidence concerning the nature of an hypothesized ceiling on human transinformation rates. Interference was found among tasks, but the evidence concerning a ceiling on information processing rates was inconclusive.

Baty, D. L.↗
NASA NTRS1974

Investigations of cosmic ray anisotropies and their relationship to concurrent magnetic field data

Investigations of cosmic ray anisotropies and their relationship to concurrent magnetic field data are reported. These investigations range in scope from the examination of data very late in the decay phase of a solar particle event where long term (approximately 6 hour) averages are used and definite interplanetary effects sought after to an examination of the change in low energy particle anisotropy as the satellite approaches the bow shock and the magnetopause.

Allum, F. R.↗
NASA NTRS1976

The effect of attention loading on the inhibition of choice reaction time to visual motion by concurrent rotary motion

This study investigates the influence of attention loading on the established intersensory effects of passive bodily rotation on choice reaction time (RT) to visual motion. Subjects sat at the center of rotation in an enclosed rotating chamber and observed an oscilloscope on which were, in the center, a tracking display and, 10 deg left of center, a RT line. Three tracking tasks and a no-tracking control condition were presented to all subjects in combination with the RT task, which occurred with and without concurrent cab rotations. Choice RT to line motions was inhibited (probability less than .001) both when there was simultaneous vestibular stimulation and when there was a tracking task; response latencies lengthened progressively with increased similarity between the RT and tracking tasks. However, the attention conditions did not affect the intersensory effect; the significance of this for the nature of the sensory interaction is discussed.

Looper, M.↗
NASA NTRS1978

Comparison of concurrent strain gage- and pressure transducer-measured flight loads on a lifting reentry vehicle and correlation with wind tunnel predictions

Concurrent strain gage and pressure transducer measured flight loads on a lifting reentry vehicle are compared and correlated with wind tunnel-predicted loads. Subsonic, transonic, and supersonic aerodynamic loads are presented for the left fin and control surfaces of the X-24B lifting reentry vehicle. Typical left fin pressure distributions are shown. The effects of variations in angle of attack, angle of sideslip, and Mach number on the left fin loads and rudder hinge moments are presented in coefficient form. Also presented are the effects of variations in angle of attack and Mach number on the upper flap, lower flap, and aileron hinge-moment coefficients. The effects of variations in lower flap hinge moments due to changes in lower flap deflection and Mach number are presented in terms of coefficient slopes.

Tang, M. H.↗
NASA NTRS1979

Concurrent error detecting codes for arithmetic processors

A method of concurrent error detection for arithmetic processors is described. Low-cost residue codes with check-length l and checkbase m = 2 to the l power - 1 are described for checking arithmetic operations of addition, subtraction, multiplication, division complement, shift, and rotate. Of the three number representations, the signed-magnitude representation is preferred for residue checking. Two methods of residue generation are described: the standard method of using modulo m adders and the method of using a self-testing residue tree. A simple single-bit parity-check code is described for checking the logical operations of XOR, OR, and AND, and also the arithmetic operations of complement, shift, and rotate. For checking complement, shift, and rotate, the single-bit parity-check code is simpler to implement than the residue codes.

Lim, R. S.↗
NASA NTRS1979

TEACH - A concurrent robot control language

This paper describes the TEACH robot control language and its supporting operating system. It addresses concurrency, device independence, and other issues related to manipulator control, task specification, and system operation.

Ruoff, C. F.↗
NASA NTRS1980

The visual accommodation response during concurrent mental activity

The direction and magnitude of the human visual accommodation response during concurrent mental activity are investigated. Subject focusing responses to targets at distances of 0.0 D, 3.0 D and an indeterminate distance were monitored by means of an optometer during the performance of a backwards counting task and a visual imagery task (thinking near and thinking far). In both experiments a shift in accommodation towards the visual far point is observed particularly for the near target, which increases with the duration of the task. The results can be interpreted in terms of both the capacity model of Kahneman (1973) and the autonomic arousal model of Hess and Polt (1964), and are not inconsistent with the possibility of an intermediate resting position.

Malmstrom, F. V.↗