Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “functional properties”

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,729 records · Page 96

Variations in GARS powder microstructure as a function of powder chemistry and particle size

The properties of metal produced through powder metallurgy depends on the feedstock used. Powders produced via gas atomization reaction synthesis (GARS) are used to produce oxide dispersion strengthened alloys. The desired powder size range can vary for each consolidation technique. However, powder microstructure also can vary with powder particle size, which in turn can impact the microstructure and properties of the consolidated parts. In this study, GARS powders are characterized via inductively coupled plasma mass spectroscopy, inert gas fusion, and high-resolution x-ray diffraction to determine variations in elemental and phase compositions. Transmission electron microscopy was used to understand microstructure variations as a function of chemistry and size. Across the three batches tested intermetallic content was 0.73–1.35 wt% in the 0-20 μm powder batch and increased to 2.46–3.80 wt% in the coarse 45-106 μm batch. Across all batches, volume percent of surface oxidation decreased with powder diameter, with volume percents within the range of 0.75–1.2 % across 10 μm powder particles, and below 0.4 % across coarse powder particles approximately 100 μm in diameter. These observations were supported by inert gas fusion measurements. However, the oxide layer was thicker in coarse powder particles due to a slower cooling rate. Increasing oxygen content in atomization gas to 2000 ppm and adding yttrium increased both the surface oxidation content and yttrium intermetallic content. Lastly, intermetallic phases within the powder coarsened with powder size. Intermetallic morphology changed from fine spherical intermetallic and columnar dendritic growth to a cellular structure with finer spherical intermetallic, to coarse irregular intermetallic and intermetallic along grain boundaries as a result of slower cooling rate and solidification rate in coarse powder particles. Furthermore, the addition of zirconium does not appear to significantly change intermetallic morphology, but the composition changed from a Y-Fe rich intermetallic to a Y-Zr-Fe intermetallic.

42 ENGINEERING↗

Optimal estimation of large structure model errors

In-flight estimation of large structure model errors is usually required as a means of detecting inevitable deficiencies in large structure controller/estimator models. The present paper deals with a least-squares formulation which seeks to minimize a quadratic functional of the model errors. The properties of these error estimates are analyzed. It is shown that an arbitrary model error can be decomposed as the sum of two components that are orthogonal in a suitably defined function space. Relations between true and estimated errors are defined. The estimates are found to be approximations that retain many of the significant dynamics of the true model errors. Current efforts are directed toward application of the analytical results to a reference large structure model.

Rodriguez, G.↗

A Study of Parallels Between Antarctica South Pole Traverse Equipment and Lunar/Mars Surface Systems

The parallels between an actual Antarctica South Pole re-supply traverse conducted by the National Science Foundation (NSF) Office of Polar Programs in 2009 have been studied with respect to the latest mission architecture concepts being generated by the United States National Aeronautics and Space Administration (NASA) for lunar and Mars surface systems scenarios. The challenges faced by both endeavors are similar since they must both deliver equipment and supplies to support operations in an extreme environment with little margin for error in order to be successful. By carefully and closely monitoring the manifesting and operational support equipment lists which will enable this South Pole traverse, functional areas have been identified. The equipment required to support these functions will be listed with relevant properties such as mass, volume, spare parts and maintenance schedules. This equipment will be compared to space systems currently in use and projected to be required to support equivalent and parallel functions in Lunar and Mars missions in order to provide a level of realistic benchmarking. Space operations have historically required significant amounts of support equipment and tools to operate and maintain the space systems that are the primary focus of the mission. By gaining insight and expertise in Antarctic South Pole traverses, space missions can use the experience gained over the last half century of Antarctic operations in order to design for operations, maintenance, dual use, robustness and safety which will result in a more cost effective, user friendly, and lower risk surface system on the Moon and Mars. It is anticipated that the U.S Antarctic Program (USAP) will also realize benefits for this interaction with NASA in at least two areas: an understanding of how NASA plans and carries out its missions and possible improved efficiency through factors such as weight savings, alternative technologies, or modifications in training and operations.

Mueller, Robert P.↗

Formal development of a clock synchronization circuit

This talk presents the latest stage in formal development of a fault-tolerant clock synchronization circuit. The development spans from a high level specification of the required properties to a circuit realizing the core function of the system. An abstract description of an algorithm has been verified to satisfy the high-level properties using the mechanical verification system EHDM. This abstract description is recast as a behavioral specification input to the Digital Design Derivation system (DDD) developed at Indiana University. DDD provides a formal design algebra for developing correct digital hardware. Using DDD as the principle design environment, a core circuit implementing the clock synchronization algorithm was developed. The design process consisted of standard DDD transformations augmented with an ad hoc refinement justified using the Prototype Verification System (PVS) from SRI International. Subsequent to the above development, Wilfredo Torres-Pomales discovered an area-efficient realization of the same function. Establishing correctness of this optimization requires reasoning in arithmetic, so a general verification is outside the domain of both DDD transformations and model-checking techniques. DDD represents digital hardware by systems of mutually recursive stream equations. A collection of PVS theories was developed to aid in reasoning about DDD-style streams. These theories include a combinator for defining streams that satisfy stream equations, and a means for proving stream equivalence by exhibiting a stream bisimulation. DDD was used to isolate the sub-system involved in Torres-Pomales' optimization. The equivalence between the original design and the optimized verified was verified in PVS by exhibiting a suitable bisimulation. The verification depended upon type constraints on the input streams and made extensive use of the PVS type system. The dependent types in PVS provided a useful mechanism for defining an appropriate bisimulation.

Miner, Paul S.↗

On-line, adaptive state estimator for active noise control

Dynamic characteristics of airframe structures are expected to vary as aircraft flight conditions change. Accurate knowledge of the changing dynamic characteristics is crucial to enhancing the performance of the active noise control system using feedback control. This research investigates the development of an adaptive, on-line state estimator using a neural network concept to conduct active noise control. In this research, an algorithm has been developed that can be used to estimate displacement and velocity responses at any locations on the structure from a limited number of acceleration measurements and input force information. The algorithm employs band-pass filters to extract from the measurement signal the frequency contents corresponding to a desired mode. The filtered signal is then used to train a neural network which consists of a linear neuron with three weights. The structure of the neural network is designed as simple as possible to increase the sampling frequency as much as possible. The weights obtained through neural network training are then used to construct the transfer function of a mode in z-domain and to identify modal properties of each mode. By using the identified transfer function and interpolating the mode shape obtained at sensor locations, the displacement and velocity responses are estimated with reasonable accuracy at any locations on the structure. The accuracy of the response estimates depends on the number of modes incorporated in the estimates and the number of sensors employed to conduct mode shape interpolation. Computer simulation demonstrates that the algorithm is capable of adapting to the varying dynamic characteristics of structural properties. Experimental implementation of the algorithm on a DSP (digital signal processing) board for a plate structure is underway. The algorithm is expected to reach the sampling frequency range of about 10 kHz to 20 kHz which needs to be maintained for a typical active noise control application.

Lim, Tae W.↗

Role of water model on ion dissociation at ambient conditions

In this work, we study ion pair dissociation in water at ambient conditions using a combination of classical and ab initio approaches. The goal of this study is to disentangle the sources of discrepancy observed in computed potentials of mean force. In particular, we aim to understand why some models favor the stability of solvent-separated ion pairs vs contact ion pairs. We found that some observed differences can be explained by non-converged simulation parameters. However, we also unveil that for some models, small changes in the solution density can have significant effects on modifying the equilibrium balance between the two configurations. We conclude that the thermodynamic stability of contact and solvent-separated ion pairs is very sensitive to the dielectric properties of the underlying simulation model. In general, classical models are very robust in providing a similar estimation of the contact ion pair stability, while this is much more variable in density functional theory-based models. The barrier to transition from the solvent-separated to contact ion pair is fundamentally dependent on the balance between electrostatic potential energy and entropy. This reflects the importance of water intra- and inter-molecular polarizability in obtaining an accurate description of the screened ion–ion interactions.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

fp-tools

The output of a molecular dynamics simulation is a data file containing properties of the motion of the simulated particles as a function of time (e.g., positions, velocities). From this output, scientists can extract various properties which give insight into the physics of the system; for example, the radial distribution function can be computed from the particle positions, which gives insight into how close the system is to melting or freezing. Many publicly available codes to perform molecular dynamics simulations exist and have been well adopted by the scientific community (e.g., LAMMPS, VASP). However, it remains standard practice for scientists to write their own post-processing scripts to extract various properties of interest from the molecular dynamics simulation data. Since in many cases scientists are interested in the same set of “textbook” properties, there is a large duplication of effort in writing these post-processing scripts. Our proposed code, FP-Tools, is a C++ toolkit designed to help scientists extract and analyze quantities of interest from the output of a molecular dynamics simulation, eliminating the need for them to write these codes themselves and thus reducing this duplication of effort. The quantities which are computed by our code are well documented in the literature (either in publications or textbooks), and the algorithms we implement to compute these properties are also well known in the field. We are not introducing new science or methods here; rather, our primary goal is to provide a useful tool to the community in the form of a well-documented, easy to use package.

Hartman, Leah↗

Gamma, electron beam and X-ray irradiation effects on polymers in an advanced bone cement mixer device

The medical device industry has been investigating ways to increase the use of alternatives to cobalt-60 gamma radiation and ethylene-oxide gas sterilization, such as electron beam (E-beam) and X-ray radiation, due to regulatory and market pressures. One impediment to switching to E-beam or X-ray technology for sterilization is the lack of data on the effects of these radiation sources on medical device polymers. To provide such data this work considers irradiation and testing of a common single-use medical bone cement mixing system, the Stryker Advanced Cement Mixer (ACM®), that is composed of seven polymer materials. The ACM® devices considered here were processed to sterilization-relevant doses (15, 25, 50, and 70 kGy) using three radiation technologies: gamma, E-beam, and X-ray. The system and its polymer components were tested for product functionality, as well as mechanical and visual properties to determine how exposure effects may be influenced by radiation technology and dose level. We found that although there were instances of statistically significant differences in effects between the gamma-irradiated products and those irradiated with E-beam and X-ray, those effects were negligible in terms of retained functionality of the product and retained mechanical properties of the polymer components. Overall, results of this study demonstrate that, for of the effects studied, E-beam and X-ray are viable alternatives to cobalt-60 gamma radiation for sterilization of the polymer-based device investigated.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Influence of linkage chemistry and side-chain polarity on Ion 2 transport in click-functionalized polymerized ionic liquids.

Post-polymerization functionalization offers precise molecular weight control and enables the high-throughput investigation of structure−property relationships in polymer research. However, post-polymerization functionalization strategies often introduce additional linkage chemistry, and its role in the physical properties of polymerized ionic liquids (PILs) has yet to be explored. In this work, a series of PILs were synthesized using Cu(I)-catalyzed azide−alkyne cycloaddition (CuAAC), with comparison made to N-alkylation substitution chemistry. The triazole ring introduced by CuAAC chemistry was found to induce extensive ion aggregation and deteriorate ion transport. The impact of linkage chemistry on ion transport can be alleviated by incorporating polar ethylene glycol spacers in the side chain, achieving an ionic conductivity of 2.1 × 10−4 S/cm at 30 °C. Furthermore, the effect of polar spacer placement was explored, revealing that overall side-chain polarity, rather than polarity in the vicinity of the ionic group, governs ion aggregation and ion transport in PILs.

Shan, Naisong↗

Catalyst design to direct high-octane gasoline fuel properties for improved engine efficiency

The paraffin-to-olefin (P/O) ratio in gasoline fuel is a critical metric affecting fuel properties and engine efficiency. In the conversion of dimethyl ether (DME) to high-octane hydrocarbons over BEA zeolite catalysts, the P/O ratio can be controlled through catalyst design. Here, we report bimetallic catalysts that balance the net hydrogenation and dehydrogenation activity during DME homologation. The Cu-Zn/BEA catalyst exhibited greater relative dehydrogenation activity attributed to higher ionic site density, resulting in a lower P/O ratio (6.6) versus the benchmark Cu/BEA (9.4). The Cu-Ni/BEA catalyst exhibited increased hydrogenation due to reduced Ni species, resulting in a higher P/O ratio (19). The product fuel properties were estimated with an efficiency merit function and compared against finished gasolines and a typical alkylate blendstock. Merit values for the hydrocarbon product from all three BEA catalysts exceeded those of the comparison fuels (0–5.3), with the product from Cu-Zn/BEA exhibiting the highest merit value (9.7).

Catalyst design↗

Augmented Adam-Gibbs model for glass melt viscosity and configuration entropy as functions of temperature and composition

As the temperature of glass melt increases, its structure approaches the state of a simple liquid while the configuration entropy approaches a maximum value. We describe this gradual change using a power law function of inverse temperature. The Adam-Gibbs model for glass viscosity as a function of temperature and glass composition augmented in this way is greatly simplified when applied to common glass families occupying moderate composition regions, such as float glass or nuclear waste glasses, on which properties can be approximated as linear functions of composition. The parsimonious model thus obtained is preferable for use in optimizing glass formulation and mathematical modeling of glass melting and forming. For multicomponent glasses with N viscosity-affecting components, the augmented Adam-Gibbs model requires 2N + 3 adjustable parameters. The model efficacy is demonstrated by fitting the model to a viscosity-temperature-composition dataset for low-activity nuclear waste glasses.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Holographic View of Mixed-State Symmetry-Protected Topological Phases in Open Quantum Systems

We establish a holographic duality between d -dimensional mixed-state symmetry-protected topological (mSPT) phases and ( d + 1 ) -dimensional subsystem symmetry-protected topological (SSPT) states. Specifically, we show that the reduced density matrix of the boundary layer of a ( d + 1 ) -dimensional SSPT state with subsystem symmetry S and global symmetry G corresponds to a d -dimensional mSPT phase with strong S and weak G symmetries. Conversely, we demonstrate that the wave function of an SSPT state can be constructed by replicating the density matrix of the corresponding lower-dimensional mSPT phase. This mapping links the density matrix in lower dimensions to the entanglement properties of higher-dimensional wave functions, providing an approach for analyzing nonlinear quantities and quantum information metrics in mixed-state systems. Our duality offers a new perspective for studying intrinsic mSPT phases that are unique to open quantum systems, without pure-state analogues. We show that strange correlators and twisted Rényi- N correlators can diagnose these nontrivial phases and we explore their connection to strange correlators in pure-state SSPT phases. Furthermore, we discuss several implications of this holographic duality, including a method for preparing intrinsic mSPT phases through the duality. Published by the American Physical Society 2025

Sun, Shijun (ORCID:0000000168880030)↗

A Temporal Differential Dynamic Logic Formal Embedding

Differential dynamic logic is a formal framework to specify and reason about hybrid programs (HPs). The core of dL is a proof calculus that contains a collection of axioms and rules for the rigorous verification of properties of HPs. Recently, dL has been embedded within the theorem prover Prototype Verification System (PVS) resulting in the tool Plaidypvs2. The integration of dL into PVS expands its expressive power; user defined functions, such as trigonometric and other transcendental functions, can be used inside the dL framework, and meta-reasoning about HPs can be performed, including reasoning about entire classes of HPs, specified using dependent types in PVS. The differential temporal dynamic logic (dTL2) extends dL with temporal logic operators to reason about all the states reachable during the execution of an HP. This paper presents a work in progress focusing on embedding dTL2 in PVS as an extension of Plaidypvs. Plaidypvs is expanded with the formalization of a trace semantics for HPs, the definition of the LTL temporal operators eventually and globally, and the implementation of the proof calculus for dTL2. This new embedding has the same capabilties as Plaidypvs, which allows user defined functions and meta-reasoning of properties of HPs. To the best of the authors’ knowledge this is the first implementation of dTL2.

differential dynamic logic↗

Optical properties of Apollo 12 moon samples.

We present the photometric phase function, color, normal albedo, polarimetric phase function, and spectrophotometry of the Apollo 12 soil. With a few minor exceptions, the optical properties of the Apollo 12 soil are very similar to those of the Apollo 11 soil and of lunar mare surfaces.

O'Leary, B.↗

Effects of graphene surface functionalities towards controlled reinforcement of a lignin based renewable thermoplastic rubber

In this report, we describe methods to enhance mechanical properties of a renewable thermoplastic rubber by incorporating functional graphene platelets into an equal-mass mixture of lignin, a feedstock from plant biomass, and a nitrile-butadiene rubber having 41 mol % acrylonitrile content (NBR41) that form a nanocomposite. Not all lignins yield mechanically strong material when they are combined with NBR41, and thus, limit its use for such rubbery products. Here, we evaluate different graphene oxides (GO) and reduced graphene oxides (rGO) dry-powders with different surface areas, functionality, and wettability in the synthesis of performance-enhanced nanocomposites of soft lignin/NBR41 matrix via a solvent-free, high shear reactive process. High surface area GO (HSGO) platelets with strong hydrophilicity exhibit good dispersion in the multiphase lignin/NBR41 composites with lignin dispersion varying from 200 to 2000 nm, resulting in superior reinforcement over other graphene derivatives. The addition of 1–4 wt % HSGO increased the tensile stress of the lignin/NBR41 thermoplastic rubber matrix by 60–160% (15–24 MPa) and the modulus by 200–700% (60–140 MPa). Scanning electron microscopy and small angle X-ray scattering results show that the well-dispersed HSGO platelets effectively disrupt the lignin-rich aggregates in NBR41 matrix, resulting in both strength and stiffness enhancements in the formed nanocomposites. This report on performance enhancement of lignin-based renewable polymers via the production of nanocomposite would increase potential for ‘finding the value of lignin’—a grand challenge associated with modern biorefineries.

36 MATERIALS SCIENCE↗

Optical properties of cubic boron arsenide

The ultrahigh thermal conductivity of cubic boron arsenide (BAs) makes it a promising material for next-generation electronics and optoelectronics. Here, we report measured optical properties of BAs crystals, including the complex dielectric function, refractive index, and absorption coefficient in the ultraviolet, visible, and near-infrared wavelength range. In this work, the data were collected at room temperature using spectroscopic ellipsometry and transmission and reflection spectroscopy. We further calculated the optical response using density functional theory and many-body perturbation theory, considering quasiparticle and excitonic corrections. The computed values for the direct and indirect bandgaps (4.25 eV and 2.07 eV) agree well with the measured results (4.12 eV and 2.02 eV). Our findings pave the way for using BAs in future electronic and optoelectronic applications that take advantage of its demonstrated ultrahigh thermal conductivity and predicted high ambipolar carrier mobility.

74 ATOMIC AND MOLECULAR PHYSICS↗

A Sequential Quadratic Programming Algorithm for Nonsmooth Problems with Upper- \({\boldsymbol{\mathcal{C}^2}}\) Objective

An optimization algorithm for nonsmooth nonconvex constrained optimization problems with upper- \({\boldsymbol{\mathcal{C}^2}}\) objective functions is proposed and analyzed. Upper- \({\boldsymbol{\mathcal{C}^2}}\) is a weakly concave property that exists in difference of convex (DC) functions and arises naturally in many applications, particularly certain classes of solutions to parametric optimization problems e.g., recourse of stochastic programming and projection onto closed sets. The algorithm can be viewed as an extension of sequential quadratic programming (SQP) to nonsmooth problems with upper- \({\boldsymbol{\mathcal{C}^2}}\) objectives or a simplified bundle method. It is globally convergent with bounded algorithm parameters that are updated with a trust-region criterion. The algorithm handles general smooth constraints through linearization and uses a line search to ensure progress. The potential inconsistencies from the linearization of the constraints are addressed through a penalty method. In conclusion, the capabilities of the algorithm are demonstrated by solving both simple upper- \({\boldsymbol{\mathcal{C}^2}}\) problems and a real-world optimal power flow problem used in current power grid industry practices.

97 MATHEMATICS AND COMPUTING↗

Dielectrophoresis-based particle sensor using nanoelectrode arrays

A method for concentrating or partly separating particles of a selected species from a liquid or fluid containing these particles and flowing in a channel, and for determining if the selected species particle is present in the liquid or fluid. A time varying electrical field E, having a root-mean-square intensity E.sup.2.sub.rms with a non-zero gradient in a direction transverse to the liquid or fluid flow direction, is produced by a nanostructure electrode array, with a very high magnitude gradient near exposed electrode tips. A dielectrophoresis force causes the selected particles to accumulate near the electrode tips, if the medium and selected particles have substantially different dielectric constants. An insulating material surrounds most of each of the nanostructure electrodes, and a region of the insulating material surface is functionalized to promote attachment of the selected species particles to the surface. An electrical property value Z(meas) is measured at the functionalized surface and is compared with a reference value Z(ref) to determine if the selected species particles are attached to the functionalized surface.

Li, Jun↗