Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Embedded computing”

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 235 records · Page 13
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

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↗
NASA NTRS1972

Automated testing data reduction computer program

The capability of a computer program which can be part of a larger computer program for a fully automated multiaxial testing facility is described. The program was designed to process test data from tubular or flat specimens made from isotropic or anistropic materials, including high modulus fiber composites. Data from a large number of strain gages and combinations of applied loads can be used. Options are provided for single element, 90-degree, rectangular or Delta rosettes, or any combinations of these types of strain gages. Options are provided for strain gage transverse sensitivities. The program outputs include: structural axes strains and stresses, initial and strain-dependent elastic constants, shift of principal strain direction with load, and local curvatures from back-to-back strain gages, and either Calcomp or microfilm plots. The computer program is described with respect to its flow chart, input/output, embedding or linking with other programs.

Chamis, C. C.↗
NASA NTRS1972

Automated testing data reduction computer program.

The capability of a computer program which can be part of a larger computer program for a fully automated multiaxial testing facility is described. This computer program is designed to process test data from tubular or flat specimens made from isotropic or anisotropic materials including high modulus fiber composites. The program can receive data from a large number of strain gages and combinations of applied loads. Options are provided for single element, 90-degree, rectangular or Delta rosettes, or any combinations of these types of strain gages. Options are provided for strain gage transverse sensitivities. The program outputs include: structural axes strains and stresses, initial and strain dependent elastic constants, shift of principal strain direction with load, and local curvatures from back-to-back strain gages, and either calcomp or microfilm plots. The computer program is described with respect to its flow chart, input/output, embedment or linking with other programs and its possible utility in a fully automated testing system.

Chamis, C. C.↗
NASA NTRS1994

Embedded function methods for compressible high speed turbulent flow

This is the final report on the work performed on the grant 'Embedded Function Methods for Compressible High Speed Turbulent Flow' carried out at Lehigh University during the contract period from September, 1987, to October of 1991. Work has continued at Lehigh on this project on an unfunded basis to the present. The original proposed work had two separate thrusts which were associated with developing embedded function methods in order to obviate the need to expend computational resources on turbulent wall layers in Navier Stokes and boundary-layer calculations. Previous work on the incompressible problem had indicated that this could be done successfully for two-dimensional and three-dimensional incompressible flows. The central objective here was to extend the basic approach to the high speed compressible problem.

Walker, J. D. A.↗
NASA NTRS2003

Embedded Wing Propulsion Conceptual Study

As a part of distributed propulsion work under NASA's Revolutionary Aeropropulsion Concepts or RAC project, a new propulsion-airframe integrated vehicle concept called Embedded Wing Propulsion (EWP) is developed and examined through system and computational fluid dynamics (CFD) studies. The idea behind the concept is to fully integrate a propulsion system within a wing structure so that the aircraft takes full benefits of coupling of wing aerodynamics and the propulsion thrust stream. The objective of this study is to assess the feasibility of the EWP concept applied to large transport aircraft such as the Blended-Wing-Body aircraft. In this paper, some of early analysis and current status of the study are presented. In addition, other current activities of distributed propulsion under the RAC project are briefly discussed.

Kim, Hyun D.↗
NASA NTRS2019

Plasmon Resonances of Metal Nanoparticles in an Absorbing Medium

We study the behavior of plasmon resonances of metal nanospheres embedded in an absorbing medium. First-principles far-field computations based on the general Lorenz–Mie theory show that increasing absorption in the host medium broadens and suppresses plasmon resonances in the extinction and effective scattering efficiency factors and suppresses resonance features in the phase function. These effects of absorption are analogous to those on the morphology-dependent resonances of dielectric particles with large size parameters.

Mishchenko, Michael I.↗
NASA NTRS1980

Transonic Flow Field Analysis for Wing-Fuselage Configurations

A computational method for simulating the aerodynamics of wing-fuselage configurations at transonic speeds is developed. The finite difference scheme is characterized by a multiple embedded mesh system coupled with a modified or extended small disturbance flow equation. This approach permits a high degree of computational resolution in addition to coordinate system flexibility for treating complex realistic aircraft shapes. To augment the analysis method and permit applications to a wide range of practical engineering design problems, an arbitrary fuselage geometry modeling system is incorporated as well as methodology for computing wing viscous effects. Configuration drag is broken down into its friction, wave, and lift induced components. Typical computed results for isolated bodies, isolated wings, and wing-body combinations are presented. The results are correlated with experimental data. A computer code which employs this methodology is described.

Boppe, C. W.↗
NASA NTRS1995

Contribution to the optimal shape design of two-dimensional internal flows with embedded shocks

We explore the practicability of optimal shape design for flows modeled by the Euler equations. We define a functional whose minimum represents the optimality condition. The gradient of the functional with respect to the geometry is calculated with the Lagrange multipliers, which are determined by solving a co-state equation. The optimization problem is then examined by comparing the performance of several gradient-based optimization algorithms. In this formulation, the flow field can be computed to an arbitrary order of accuracy. Finally, some results for internal flows with embedded shocks are presented, including a case for which the solution to the inverse problem does not belong to the design space.

Iollo, Angelo↗
NASA NTRSDate not supplied

Towards Integrated Computational Materials Engineering for Quantifying Performance Impacts of Microstructure and Defect Interactions in Powder Bed Fusion Parts

Powder bed fusion (PBF) additive manufacturing (AM) enables the creation of parts with complexity and functionality levels that were previously impossible with traditional manufacturing methods. By modifying the laser power, hatch spacing, or the numerous other processing parameters, the PBF process supports the production of a wide set of materials and geometries. However, that same process parameter design flexibility causes the process-design space of PBF to be massive and expensive to explore experimentally. Another challenge is quality variation across a build. As a part is being built, geometric variance between locations, such as at a thin-wall section vs. the bulk material, may cause the specified processing parameters to no longer be acceptable for producing defect-free printing. Furthermore, if the processing parameters deviate during the print process, it is difficult to assess if the part will still perform satisfactorily. Integrated Computational Materials Engineering (ICME) provides a way to understand and address these various challenges. This talk will present advancements in process-structure simulations of PBF at NASA Langley Research Center. The ability to simulate grain-scale PBF microstructures using the Physically Based Monte Carlo method will be demonstrated and compared to experimental measurements. Techniques for simulating three-dimensional lack-of-fusion and keyhole porosity defects based on the specific processing conditions and approaches for integrating the two porosity prediction techniques alongside the computational microstructure evolution models will be shown. Finally, the integration of simulated PBF microstructures, embedded process defects, and crystal plasticity finite element models to elucidate the interaction of porosity and microstructure on micromechanical fields will be demonstrated. These integrated techniques demonstrate an example of using ICME to relate processing to performance for PBF AM materials. With continued maturity, it is hoped that such ICME approaches will lead to next-generation computational-materials supported qualification and certification of AM parts.

Additive manufacturing↗
NASA NTRS2014

Drill Embedded Nanosensors For Planetary Subsurface Exploration

We have developed a carbon nanotube (CNT) sensor for water vapor detection under Martian Conditions and the miniaturized electronics can be embedded in the drill bit for collecting sensor data and transmit it to a computer wirelessly.This capability will enable the real time measurement of ice during drilling. With this real time and in-situ measurement, subsurface ice detection can be easy, fast, precise and low cost.

Planetary exploration↗
NASA NTRS2017

Cart3D Simulations for the Second AIAA Sonic Boom Prediction Workshop

Simulation results are presented for all test cases prescribed in the Second AIAA Sonic Boom Prediction Workshop. For each of the four nearfield test cases, we compute pressure signatures at specified distances and off-track angles, using an inviscid, embedded-boundary Cartesian-mesh flow solver with output-based mesh adaptation. The cases range in complexity from an axisymmetric body to a full low-boom aircraft configuration with a powered nacelle. For efficiency, boom carpets are decomposed into sets of independent meshes and computed in parallel. This also facilitates the use of more effective meshing strategies - each off-track angle is computed on a mesh with good azimuthal alignment, higher aspect ratio cells, and more tailored adaptation. The nearfield signatures generally exhibit good convergence with mesh refinement. We introduce a local error estimation procedure to highlight regions of the signatures most sensitive to mesh refinement. Results are also presented for the two propagation test cases, which investigate the effects of atmospheric profiles on ground noise. Propagation is handled with an augmented Burgers' equation method (NASA's sBOOM), and ground noise metrics are computed with LCASB.

Prediction↗
NASA NTRS1981

Ionospheric remote sensing of medium-scale gravity waves and tornadic storms

Gravity waves associated with severe storms are investigated on the basis of ionospheric sounding using a ground-based Doppler system. Reverse-group ray tracing computations are used to determine the origin of over 20 gravity waves detected within 800 km of Huntsville, Alabama in association with a group of tornadoes, isolated tornadoes in the presence of a squall line, and isolated tornadoes in the absence of a squall line. Gravity waves associated with tornadoes are found either to be generated by thunderstorms with enhanced convection embedded in a squall line, or in an isolated cloud with enhanced convection. The computed wave sources are observed in all cases to be located near the points where the tornadoes touched down more than an hour after wave excitation. Results show that gravity waves play an important role in troposphere-ionosphere coupling during times of intense convection associated with tornadic storm activity.

Hung, R. J.↗
NASA NTRS2011

Constraint Embedding Technique for Multibody System Dynamics

Multibody dynamics play a critical role in simulation testbeds for space missions. There has been a considerable interest in the development of efficient computational algorithms for solving the dynamics of multibody systems. Mass matrix factorization and inversion techniques and the O(N) class of forward dynamics algorithms developed using a spatial operator algebra stand out as important breakthrough on this front. Techniques such as these provide the efficient algorithms and methods for the application and implementation of such multibody dynamics models. However, these methods are limited only to tree-topology multibody systems. Closed-chain topology systems require different techniques that are not as efficient or as broad as those for tree-topology systems. The closed-chain forward dynamics approach consists of treating the closed-chain topology as a tree-topology system subject to additional closure constraints. The resulting forward dynamics solution consists of: (a) ignoring the closure constraints and using the O(N) algorithm to solve for the free unconstrained accelerations for the system; (b) using the tree-topology solution to compute a correction force to enforce the closure constraints; and (c) correcting the unconstrained accelerations with correction accelerations resulting from the correction forces. This constraint-embedding technique shows how to use direct embedding to eliminate local closure-loops in the system and effectively convert the system back to a tree-topology system. At this point, standard tree-topology techniques can be brought to bear on the problem. The approach uses a spatial operator algebra approach to formulating the equations of motion. The operators are block-partitioned around the local body subgroups to convert them into aggregate bodies. Mass matrix operator factorization and inversion techniques are applied to the reformulated tree-topology system. Thus in essence, the new technique allows conversion of a system with closure-constraints into an equivalent tree-topology system, and thus allows one to take advantage of the host of techniques available to the latter class of systems. This technology is highly suitable for the class of multibody systems where the closure-constraints are local, i.e., where they are confined to small groupings of bodies within the system. Important examples of such local closure-constraints are constraints associated with four-bar linkages, geared motors, differential suspensions, etc. One can eliminate these closure-constraints and convert the system into a tree-topology system by embedding the constraints directly into the system dynamics and effectively replacing the body groupings with virtual aggregate bodies. Once eliminated, one can apply the well-known results and algorithms for tree-topology systems to solve the dynamics of such closed-chain system.

Woo, Simon S.↗
NASA NTRS1985

Theoretical efficiency for triplers using nonideal varistor diodes at submillimeter wavelengths

The theoretical efficiency for frequency triplers mutliplying from 300 to 900 GHz has been calculated for nonideal GaAs Schottky diodes operating in the varistor mode. The maximum efficiency is determined to be about 7 percent, only slightly smaller than that for ideal varistors. Guidelines for optimum bias conditions and embedding network impedances have been determined using the large-signal analysis computer program of Siegel and Kerr (1980).

Benson, K.↗
NASA NTRS1987

An embedded function approach for turbulent flow prediction

In conventional prediction methods for turbulent flow influence on surface properties, very small mesh sizes and considerable computational effort is required to adequately resolve the intense velocity and temperature profile variations that occur in the wall-layer region. In this study, an approach is described wherein an outer region numerical solution is smoothly matched to a set of embedded analytic profile functions in the near-wall region; these wall-layer profile functions having been derived through consideration of the coherent structure of the time-dependent near-wall flow provide analytic expressions for the mean velocity and enthalpy profiles in the wall layer. The concept is demonstrated through example applications to turbulent boundary-layer flows in two dimensions. The technique is shown to be very efficient and it is demonstrated that a reduction of approximately half the mesh points across the 2-D layer may be realized (as compared to conventional methods) with no degradation in accuracy.

Walker, J. D. A.↗
NASA NTRS1987

Objective method for analysis and tracking of convective cells as seen by radar

A special method has been developed for the study of cells that are embedded in convective rain systems. This method consists of a package of computer programs that use pattern recognition techniques on three-dimensional digital radar data to identify the rain cells, track them with time, and calculate their properties. The product of the computations is a comprehensive database of physically meaningful properties of rain cells, which can be used to infer the internal structure and the dynamics of convective rain systems. The cell-tracking method has been applied to the summer convective clouds of south Florida for the following purposes: (1) derivation of the relationship between the echo top height and the precipitation characteristics (e.g., area, water yield, rain intensity and duration of the rain cells); (2) study of the microphysical behaviorof cumulus clouds in relation to their cell properties; (3) evaluation of the effect of seeding on cumulus clouds on the cell scale; and (4) examination of cloud-to-ground lightning discharges in relation to convective cell intensity. The cell-tracking method is also currently being used in rain enhancement projects in Texas, Israel, and South Africa. The cell-tracking method, its products and their use in meteorological research are described in this paper.

Rosenfeld, Daniel↗
NASA NTRS2003

Atomic-scale Modeling of the Structure and Dynamics of Dislocations in Complex Alloys at High Temperatures

We report on the progress made during the first year of the project. Most of the progress at this point has been on the theoretical and computational side. Here are the highlights: (1) A new code, tailored for high-end desktop computing, now combines modern Accelerated Dynamics (AD) with the well-tested Embedded Atom Method (EAM); (2) The new Accelerated Dynamics allows the study of relatively slow, thermally-activated processes, such as diffusion, which are much too slow for traditional Molecular Dynamics; (3) We have benchmarked the new AD code on a rather simple and well-known process: vacancy diffusion in copper; and (4) We have begun application of the AD code to the diffusion of vacancies in ordered intermetallics.

Daw, Murray S.↗