Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Engineering method”

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,657 records · Page 92
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

Applying formal methods and object-oriented analysis to existing flight software

Correctness is paramount for safety-critical software control systems. Critical software failures in medical radiation treatment, communications, and defense are familiar to the public. The significant quantity of software malfunctions regularly reported to the software engineering community, the laws concerning liability, and a recent NRC Aeronautics and Space Engineering Board report additionally motivate the use of error-reducing and defect detection software development techniques. The benefits of formal methods in requirements driven software development ('forward engineering') is well documented. One advantage of rigorously engineering software is that formal notations are precise, verifiable, and facilitate automated processing. This paper describes the application of formal methods to reverse engineering, where formal specifications are developed for a portion of the shuttle on-orbit digital autopilot (DAP). Three objectives of the project were to: demonstrate the use of formal methods on a shuttle application, facilitate the incorporation and validation of new requirements for the system, and verify the safety-critical properties to be exhibited by the software.

Cheng, Betty H. C.↗
NASA NTRS1992

Steady and transient performance calculation method for prediction, analysis, and identification

The detailed design and development of turbofans Involves the prediction and identification, by means of test analysis, of the performance of the engine and its components. The thermodynamic simulation and analysis codes integrate existing knowledge and Interpretations of the detailed operating procedure of the components of the engine being developed. The relevance of the predicted performance depends on the quality of the representation of the various physical phenomena affecting the characteristics of the components and, consequently, on the incorporation of experimental correlation in the modelling. In this context, the representation of compressor and turbine characteristics is particularly important. Firstly, we will analyze the ability of corrected parameters to represent MACH similitude at the component inlet under various conditions. The various measurements achieved on the engine during development are used to enhance the modelling. The methods of identifying the thermodynamic calculation code with the various measurements, considered here with their uncertainties, are then presented and described. The analysis of the tests performed on the powerplant, designed to Identify the real characteristics of the engine components, can be undertaken, considering one or more engine test points and incorporating knowledge acquired through experimentation or on the component test bench. There are many possible fields of use for these identification methods ranging from the rematching of components to the optimization of the control system.

Jean Pierre Duponchel↗
NASA NTRS1992

Effect of airfoil (trailing-edge) thickness on the numerical solution of panel methods based on the Dirichlet boundary condition

The practical limit of airfoil thickness ratio for which acceptable engineering results are obtainable with the Dirichlet boundary-condition-based numerical methods is investigated. This is done by studying the effect of thickness on the calculated pressure distribution near the trailing edge and by comparing the aerodynamic coefficients with available exact solutions. The first objective of this study, owing to the wide use of such computational methods, is to demonstrate the numerical symptoms that occur when the body or wing thickness approaches zero and to increase the awareness of potential users of these methods. Additionally, an effort is made to obtain the practical limits of the trailing-edge thickness where such problems will appear in the flow solution, and to propose some possible cures for very thin airfoils or those with cusped trailing edges.

Yon, Steven↗
NASA NTRS2001

Requirements engineering and program synthesis: Mutually exclusive or synergistic?

There has often been a clash within the formal methods community between early life-cycle proponents such as the requirements engineering community and late life-cycle proponents such as the program synthesis community. This talk will first characterize these positions and their underlying assumptions, and then expose a common set of problems and approaches. The talk will then propose an integrated life-cycle framework, and expound on its potential benefits. Technical challenges to achieving this integrated life-cycle framework will be described, as well as some preliminary work towards that goal.

Program synthesis↗
DOE OSTI2020

Structural Manipulation of Phase Transitions by Self‐Induced Strain in Geometrically Confined Thin Films

Strain engineering is a well-known method often used to tune material properties in thin films. The most studied sources of strain are lattice mismatch and differential thermal contraction between the substrate and film. However, in materials which undergo a structural phase transition (SPT), a third and often overlooked source of strain may play a very significant role. If the substrate confines the area of the film, the SPT may induce stress which changes the evolution of the transition. This is a 2D analog of the isochoric phase transition between water and ice, where the freezing point drops below 0 °C. To illustrate this, the prototypical Mott insulator V 2 O 3 which has an SPT coupled to a metal–insulator transition is used to show how self-induced strain can drastically alter structural and electronic properties. This effect provides an elegant approach for mapping the phase diagram of the SPT and the transitions coupled to it. Moreover, the magnitude of self-straining is tunable by modifying the substrate morphology. Furthermore, this effect may be important for numerous materials which exhibit an SPT and are subjected to geometrical constraints.

Kalcheim, Yoav↗
DOE OSTI2024

A layered solid finite element formulation with interlaminar enhanced displacements for the modeling of laminated composite structures

Accurate modeling of layered composite structures often requires the use of detailed finite element models which can sufficiently resolve the kinematics and material behavior within each layer of the composite. However, individually discretizing each material layer into finite elements presents a prohibitive computational expensive given the large number of thin layers comprising some laminated composites. To address these challenges, an 8-node layered solid hexahedral finite element is formulated with the aim of striking an appropriate balance between efficiency and fidelity. The element is discretized into an arbitrary number of distinct material layers, and employs reduced in-plane integration within each layer. The chosen reduced integration scheme is supplemented by a novel physical stabilization approach which includes layerwise enhancements to mitigate various forms of locking phenomena. The proposed framework additionally supports the inclusion of interlaminar enhanced displacements to better represent the kinematics of general layered composite materials. Finally, the described element formulation has been implemented in the ParaDyn finite element code, and its efficacy for modeling laminated composite structures is demonstrated on a variety of verification problems.

42 ENGINEERING↗
DOE OSTI2022

A Lagrangian dual method for two-stage robust optimization with binary uncertainties

This report presents a new exact method to calculate worst-case parameter realizations in two-stage robust optimization problems with categorical or binary-valued uncertain data. Traditional exact algorithms for these problems, notably Benders decomposition and column-and-constraint generation, compute worst-case parameter realizations by solving mixed-integer bilinear optimization subproblems. However, their numerical solution can be computationally expensive not only due to their resulting large size after reformulating the bilinear terms, but also because decision-independent bounds on their variables are typically unknown. We propose an alternative Lagrangian dual method that circumvents these difficulties and is readily integrated in either algorithm. We specialize the method to problems where the binary parameters switch on or off constraints as these are commonly encountered in applications, and discuss extensions to problems that lack relatively complete recourse and to those with integer recourse. Numerical experiments provide evidence of significant computational improvements over existing methods.

42 ENGINEERING↗
DOE OSTI2020

Tailoring microbes to upgrade lignin

Lignin depolymerization generates a mixture of numerous compounds that are difficult to separate cost-effectively. To address this heterogeneity issue, microbes have been employed to “biologically funnel” a broad range of compounds present in depolymerized lignin into common central metabolites that can be converted into a single desirable product. Because the composition of depolymerized lignin varies significantly with the type of biomass and the depolymerization method, microbes should be selected and engineered by considering this compositional variation. An ideal microbe must efficiently metabolize all relevant lignin-derived compounds regardless of the compositional variation of feedstocks, but discovering or developing such a perfect microbe is very challenging. Yet, developing multiple tailored microbes to tolerate a given mixture of lignin-derived compounds and to convert most of these into a target product is more practical. This review discusses recent progress towards the development of such microbes for lignin valorization and offers future directions.

09 BIOMASS FUELS↗
DOE OSTI2020

Atomic defects, functional groups and properties in MXenes

MXenes, a new family of functional two-dimensional (2D) materials, have shown great potential for an extensive variety of applications within the last decade. Atomic defects and functional groups in MXenes are known to have a tremendous influence on the functional properties. In this review, we focus on recent progress in the characterization of atomic defects and functional group chemistry in MXenes, and how to control them to directly influence various properties ( e.g ., electron transport, Li + adsorption, hydrogen evolution reaction (HER) activity, and magnetism) of 2D MXenes materials. Dynamic structural transformations such as oxidation and growth induced by atomic defects in MXenes are also discussed. The review thus provides perspectives on property optimization through atomic defect engineering, and bottom-up synthesis methods based on defect-assisted homoepitaxial growth of MXenes.

36 MATERIALS SCIENCE↗
DOE OSTI2021

Mechanics of vitrimer particle compression and fusion under heat press

The compression and fusion of vitrimer particles is a fundamental problem underlying the recycling of vitrimers. Incomplete particle compression can lead to voids in the fused vitrimer, thereby impacting its mechanical property. In this work, we present a two-dimensional finite element model to capture the interplay of multiple complex mechanisms including random particle packing, large deformation, inter-particle contact, thermally activated bulk stress relaxation, and interface healing. Specifically, we focus on understanding two key components of this problem: i) evolution of porosity during compression and fusion of randomly packed vitrimer particles, and ii) effective tensile modulus and strength of fused vitrimer. Using the finite element model, we first show that using smaller particles can reduce the porosity in the fused vitrimer, which only slightly increases the effective modulus, but the increase in tensile strength is more pronounced. In addition, under the same processing conditions, particles with mixed sizes can achieve better densification and higher tensile strength after fusion than uniformly sized particles with the same average radius. Regarding the effects of processing conditions, we discuss how the porosity and effective modulus of the fused vitrimer depend on the processing time, temperature and pressure, and find a general trend consistent with experimental observations, i.e. longer processing time, higher temperature or higher pressure can lead to lower porosity and higher modulus of the fused vitrimer. Finally, the theoretical insights towards the compression and fusion process as well as the simulation framework can be useful in optimizing the powder-based heat press process of vitrimer and its composites.

42 ENGINEERING↗
DOE OSTI2025

Bayesian Optimized Deep Ensemble for Uncertainty Quantification of Deep Neural Networks: a System Safety Case Study on Sodium Fast Reactor Thermal Stratification Modeling

Deep neural networks (DNNs) are increasingly important to scientific computing and engineering system simulations. Accurate uncertainty quantification (UQ) for DNNs is critical in safety-sensitive engineering domains. Traditional Deep Ensemble (DE) methods, while easy to implement, frequently suffer from poorly calibrated uncertainty estimates and limited predictive accuracy due to reliance on fixed architectures with varied weight initializations. To address these issues, we introduce a workflow that combines Bayesian Optimization (BO) and DE. The workflow is modular, scalable, and integrates parallel BO initialized with Sobol sequences to individually optimize the hyperparameters of each ensemble member. This method enhances ensemble diversity, improves predictive accuracy, and provides reliable uncertainty estimates. We evaluate the proposed BODE approach in a sodium fast reactor thermal stratification modeling case study, where we used a densely connected convolutional neural network to predict turbulent viscosity during the reactor transient with consideration of data noise. We benchmark its performance against several optimization approaches, including baseline deep ensemble, evolutionary algorithm-optimized ensemble, ensemble formed via random search combined with greedy selection, and a BO ensemble using random initialization. Here, our results demonstrate superior performance of the developed BODE approach. In noise-free scenarios, BODE notably reduces incorrect aleatoric uncertainty and significantly enhances predictive accuracy. Under conditions of 5% and 10% Gaussian noise, BODE adaptively quantifies uncertainty proportional to data noise, achieving up to an 80% reduction in root mean square error compared to baseline methods and producing well-calibrated prediction intervals.

Bayesian optimization↗
DOE OSTI2020

Extreme shear-deformation-induced modification of defect structures and hierarchical microstructure in an Al–Si alloy

Abstract Extreme shear deformation is used for several material processing methods and is unavoidable in many engineering applications in which two surfaces are in relative motion against each other while in physical contact. The mechanistic understanding of the microstructural evolution of multi-phase metallic alloys under extreme shear deformation is still in its infancy. Here, we highlight the influence of shear deformation on the microstructural hierarchy and mechanical properties of a binary as-cast Al-4 at.% Si alloy. Shear-deformation-induced grain refinement, multiscale fragmentation of the eutectic Si-lamellae, and metastable solute saturated phases with distinctive defect structures led to a two-fold increase in the flow stresses determined by micropillar compression testing. These results highlight that shear deformation can achieve non-equilibrium microstructures with enhanced mechanical properties in Al–Si alloys. The experimental and computational insights obtained here are especially crucial for developing predictive models for microstructural evolution of metals under extreme shear deformation.

36 MATERIALS SCIENCE↗
DOE OSTI2026

Upgrades to the TRIUMF Fast Ion Counter, TRIFIC

TRIFIC, the TRIUMF Fast Ion Counter, is a downstream ionization chamber which provides beam composition monitoring and recoil tagging for in-beam reaction experiments. TRIFIC has been commissioned and deployed for use with radioactive isotope beams at the TRIUMF-ISAC facility. Recently, the detector has been upgraded to include an improved gas window that can accommodate higher beam rates and position-sensitive electrode grids for better position reconstruction.

Gaseous detectors↗
DOE OSTI2023

A High-Speed Rotational Diamond Anvil Cell for In Situ Analysis of Hierarchical Microstructural Evolution of Metallic Alloys during Extreme Shear Deformation

High speed shear deformation is ubiquitous in engineering applications, ranging from material processing methods such as friction stir processing/extrusion and in tribological contacts. However, analyzing the microstructural evolution of materials while they are undergoing high speed shear deformation have been a long-standing challenge. This led to predominant reliance on ex situ microscopy before and after shear deformation. But ex situ microscopy lacks the ability to analyze dynamic and transient hierarchical microstructural evolution mechanisms that could occur during shear deformation of materials. Therefore, to better understand the dynamic mechanisms of mass and energy transfer in materials under shear deformation, we developed a first of its kind high-speed rotational diamond anvil cell (HS-RDAC) for synchrotron-based in situ high-energy x-ray diffraction (XRD). We studied the time resolved lattice strain evolution, XRD peak broadening and changes in spatial variation of shear deformation induced alloying in pure metal and metal alloy sheets and powder mixture using the HS-RDAC. These in situ results were combined with detailed ex situ microstructural characterization before and after the shear deformation using transmission electron microscopy and atom probe tomography, which revealed the different stages of evolution of a shear deformation induced hierarchical nanostructure. Multiscale computational simulations including computational fluid dynamics, crystal plasticity, molecular dynamic simulation and density functional theory uncovered the mechanisms behind morphological changes, evolution of defect structures and changes in driving force for shear deformation induced intermixing. In conclusion, this in situ HS-RDAC capability, in combination with ex situ microstructural characterization and computational simulations, can provide new insights into the hierarchical microstructural evolution pathway during shear deformation.

36 MATERIALS SCIENCE↗