Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “finite precision”

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 73 records · Page 4

Modeling Regular Replacement for String Constraint Solving

Bugs in user input sanitation of software systems often lead to vulnerabilities. Among them many are caused by improper use of regular replacement. This paper presents a precise modeling of various semantics of regular substitution, such as the declarative, finite, greedy, and reluctant, using finite state transducers (FST). By projecting an FST to its input/output tapes, we are able to solve atomic string constraints, which can be applied to both the forward and backward image computation in model checking and symbolic execution of text processing programs. We report several interesting discoveries, e.g., certain fragments of the general problem can be handled using less expressive deterministic FST. A compact representation of FST is implemented in SUSHI, a string constraint solver. It is applied to detecting vulnerabilities in web applications

Fu, Xiang↗

Features of sound propagation through and stability of a finite shear layer

The plane wave propagation, the stability, and the rectangular duct mode problems of a compressible, inviscid, linearly sheared, parallel, homogeneous flow are shown to be governed by Whittaker's equation. The exact solutions for the perturbation quantities are essentially the Whittaker M-functions where the nondimensional quantities have precise physical meanings. A number of known results are obtained as limiting cases of the exact solutions. For the compressible finite thickness shear layer it is shown that no resonances and no critical angles exist for all Mach numbers, frequencies, and shear layer velocity profile slopes except in the singular case of the vortex sheet.

Koutsoyannis, S. P.↗

Silicon web process development

Thirty-five (35) furnace runs were carried out during this quarter, of which 25 produced a total of 120 web crystals. The two main thermal models for the dendritic growth process were completed and are being used to assist the design of the thermal geometry of the web growth apparatus. The first model, a finite element representation of the susceptor and crucible, was refined to give greater precision and resolution in the critical central region of the melt. The second thermal model, which describes the dissipation of the latent heat to generate thickness-velocity data, was completed. Dendritic web samples were fabricated into solar cells using a standard configuration and a standard process for a N(+) -P-P(+) configuration. The detailed engineering design was completed for a new dendritic web growth facility of greater width capability than previous facilities.

Duncan, C. S.↗

Joint research effort on vibrations of twisted plates, phase 1: Final results

The complete theoretical and experimental results of the first phase of a joint government/industry/university research study on the vibration characteristics of twisted cantilever plates are given. The study is conducted to generate an experimental data base and to compare many different theoretical methods with each other and with the experimental results. Plates with aspect ratios, thickness ratios, and twist angles representative of current gas turbine engine blading are investigated. The theoretical results are generated by numerous finite element, shell, and beam analysis methods. The experimental results are obtained by precision matching a set of twisted plates and testing them at two laboratories. The second and final phase of the study will concern the effects of rotation.

Kielb, R. E.↗

Optimal moving grids for time-dependent partial differential equations

Various adaptive moving grid techniques for the numerical solution of time-dependent partial differential equations were proposed. The precise criterion for grid motion varies, but most techniques will attempt to give grids on which the solution of the partial differential equation can be well represented. Moving grids are investigated on which the solutions of the linear heat conduction and viscous Burgers' equation in one space dimension are optimally approximated. Precisely, the results of numerical calculations of optimal moving grids for piecewise linear finite element approximation of partial differential equation solutions in the least squares norm.

Wathen, A. J.↗

Optimal moving grids for time-dependent partial differential equations

Various adaptive moving grid techniques for the numerical solution of time-dependent partial differential equations were proposed. The precise criterion for grid motion varies, but most techniques will attempt to give grids on which the solution of the partial differential equation can be well represented. Moving grids are investigated on which the solutions of the linear heat conduction and viscous Burgers' equation in one space dimension are optimally approximated. Precisely, the results of numerical calculations of optimal moving grids for piecewise linear finite element approximation of PDE solutions in the least-squares norm are reported.

Wathen, A. J.↗

Low speed airfoil design and analysis

A low speed airfoil design and analysis program was developed which contains several unique features. In the design mode, the velocity distribution is not specified for one but many different angles of attack. Several iteration options are included which allow the trailing edge angle to be specified while other parameters are iterated. For airfoil analysis, a panel method is available which uses third-order panels having parabolic vorticity distributions. The flow condition is satisfied at the end points of the panels. Both sharp and blunt trailing edges can be analyzed. The integral boundary layer method with its laminar separation bubble analog, empirical transition criterion, and precise turbulent boundary layer equations compares very favorably with other methods, both integral and finite difference. Comparisons with experiment for several airfoils over a very wide Reynolds number range are discussed. Applications to high lift airfoil design are also demonstrated.

Eppler, R.↗

Transverse cracking and stiffness reduction in composite laminates

A study of transverse cracking mechanism in composite laminates is presented using a singular hybrid finite element model. The model provides the global structural response as well as the precise local crack-tip stress fields. An elasticity basis for the problem is established by employing Lekhnitskii's complex variable potentials and method of eigenfunction expansion. Stress singularities associated with the transverse crack are obtained by decomposing the deformation into the symmetric and antisymmetric modes and proper boundary conditions. A singular hybrid element is thereby formulated based on the variational principle of a modified hybrid functional to incorporate local crack singularities. Axial stiffness reduction due to transverse cracking is studied. The results are shown to be in very good agreement with the existing experimental data. Comparison with simple shear lag analysis is also given. The effects of stress intensity factors and strain energy density on the increase of crack density are analyzed. The results reveal that the parameters approach definite limits when crack densities are saturated, an evidence of the existence of characteristic damage state.

Yuan, F. G.↗

Finite Control in Underdamped Distributed Parameter Systems

Specifically, a class of distributed parameter systems is defined using Hilbert space methods based on a partial differential equation model of a structure. In this space a simple, easy to check definition of underdamping is constructed based on the well known single degree of freedom concept of critical damping. It is then shown that if a given distributed parameter system satisfies this definition, each mode of the modal expansion of the solution is in fact an underdamped function of time. It is noted that a distributed parameter system which is underdamped is also uniformly exponentially stable. By appealing to the work of Gibson, a finite dimensional model of the system will yield satisfactory control laws. Furthermore, it is shown that the assumption of the underdamping also allows straightforward computation of rough bounds on the magnitude of the unmodeled or residual modes for a modal truncation scheme. Hence, underdamped systems are precisely that class of distributed parameter systems which are not likely to have spillover problems and which will yield convergence of finite dimensional control laws to control laws which are optimal for the full distributed parameter model of the system.

Inman, D. J.↗

Precise Determination of the Zero-Gravity Surface Figure of a Mirror without Gravity-Sag Modeling

The zero-gravity surface figure of optics used in spaceborne astronomical instruments must be known to high accuracy, but earthbound metrology is typically corrupted by gravity sag. Generally, inference of the zero-gravity surface figure from a measurement made under normal gravity requires finite-element analysis (FEA), and for accurate results the mount forces must be well characterized. We describe how to infer the zero-gravity surface figure very precisely using the alternative classical technique of averaging pairs of measurements made with the direction of gravity reversed. We show that mount forces as well as gravity must be reversed between the two measurements and discuss how the St. Venant principle determines when a reversed mount force may be considered to be applied at the same place in the two orientations. Our approach requires no finite-element modeling and no detailed knowledge of mount forces other than the fact that they reverse and are applied at the same point in each orientation. If mount schemes are suitably chosen, zero-gravity optical surfaces may be inferred much more simply and more accurately than with FEA.

measurements↗

Measurement of Creep Properties of Ultra-High-Temperature Materials by a Novel Non-Contact Technique

A non-contact technique for measuring the creep properties of materials has been developed and validated as part of a collaboration among the University of Massachusetts, NASA Marshall Space Flight Center Electrostatic Levitation Facility (ESL), and the University of Tennessee. This novel method has several advantages over conventional creep testing. The sample is deformed by the centripetal acceleration from the rapid rotation, and the deformed shapes are analyzed to determine the strain. Since there is no contact with grips, there is no theoretical maximum temperature and no concern about chemical compatibility. Materials may be tested at the service temperature even for extreme environments such as rocket nozzles, or above the service temperature for accelerated testing of materials for applications such as jet engines or turbopumps for liquid-fueled engines. The creep measurements have been demonstrated to 2400 C with niobium, while the test facility, the NASA MSFC ESL, has processed materials up to 3400 C. Furthermore, the ESL creep method employs a distribution of stress to determine the stress exponent from a single test, versus the many tests required by conventional methods. Determination of the stress exponent from the ESL creep tests requires very precise measurement of the surface shape of the deformed sample for comparison to deformations predicted by finite element models for different stress exponents. An error analysis shows that the stress exponent can be determined to about 1% accuracy with the current methods and apparatus. The creep properties of single-crystal niobium at 1985 C showed excellent agreement with conventional tests performed according to ASTM Standard E-139. Tests on other metals, ceramics, and composites relevant to rocket propulsion and turbine engines are underway.

Hyers, Robert W.↗

Hardware Implementation of Serially Concatenated PPM Decoder

A prototype decoder for a serially concatenated pulse position modulation (SCPPM) code has been implemented in a field-programmable gate array (FPGA). At the time of this reporting, this is the first known hardware SCPPM decoder. The SCPPM coding scheme, conceived for free-space optical communications with both deep-space and terrestrial applications in mind, is an improvement of several dB over the conventional Reed-Solomon PPM scheme. The design of the FPGA SCPPM decoder is based on a turbo decoding algorithm that requires relatively low computational complexity while delivering error-rate performance within approximately 1 dB of channel capacity. The SCPPM encoder consists of an outer convolutional encoder, an interleaver, an accumulator, and an inner modulation encoder (more precisely, a mapping of bits to PPM symbols). Each code is describable by a trellis (a finite directed graph). The SCPPM decoder consists of an inner soft-in-soft-out (SISO) module, a de-interleaver, an outer SISO module, and an interleaver connected in a loop (see figure). Each SISO module applies the Bahl-Cocke-Jelinek-Raviv (BCJR) algorithm to compute a-posteriori bit log-likelihood ratios (LLRs) from apriori LLRs by traversing the code trellis in forward and backward directions. The SISO modules iteratively refine the LLRs by passing the estimates between one another much like the working of a turbine engine. Extrinsic information (the difference between the a-posteriori and a-priori LLRs) is exchanged rather than the a-posteriori LLRs to minimize undesired feedback. All computations are performed in the logarithmic domain, wherein multiplications are translated into additions, thereby reducing complexity and sensitivity to fixed-point implementation roundoff errors. To lower the required memory for storing channel likelihood data and the amounts of data transfer between the decoder and the receiver, one can discard the majority of channel likelihoods, using only the remainder in operation of the decoder. This is accomplished in the receiver by transmitting only a subset consisting of the likelihoods that correspond to time slots containing the largest numbers of observed photons during each PPM symbol period. The assumed number of observed photons in the remaining time slots is set to the mean of a noise slot. In low background noise, the selection of a small subset in this manner results in only negligible loss. Other features of the decoder design to reduce complexity and increase speed include (1) quantization of metrics in an efficient procedure chosen to incur no more than a small performance loss and (2) the use of the max-star function that allows sum of exponentials to be computed by simple operations that involve only an addition, a subtraction, and a table lookup. Another prominent feature of the design is a provision for access to interleaver and de-interleaver memory in a single clock cycle, eliminating the multiple clock-cycle latency characteristic of prior interleaver and de-interleaver designs.

Moision, Bruce↗

A Requirements-Driven Optimization Method for Acoustic Liners Using Analytic Derivatives

More than ever, there is flexibility and freedom in acoustic liner design. Subject to practical considerations, liner design variables may be manipulated to achieve a target attenuation spectrum. But characteristics of the ideal attenuation spectrum can be difficult to know. Many multidisciplinary system effects govern how engine noise sources contribute to community noise. Given a hardwall fan noise source to be suppressed, and using an analytical certification noise model to compute a community noise measure of merit, the optimal attenuation spectrum can be derived using multidisciplinary systems analysis methods. In a previous paper on this subject, a method deriving the ideal target attenuation spectrum that minimizes noise perceived by observers on the ground was described. A simple code-wrapping approach was used to evaluate a community noise objective function for an external optimizer. Gradients were evaluated using a finite difference formula. The subject of this paper is an application of analytic derivatives that supply precise gradients to an optimization process. Analytic derivatives improve the efficiency and accuracy of gradient-based optimization methods and allow consideration of more design variables. In addition, the benefit of variable impedance liners is explored using a multi-objective optimization.

Aircraft Noise↗

Combining Comparison Functions and Finite Element Approximations in CFD

In a variety of potential flow applications, the modal element method has been shown to significantly reduce the numerical grid, employ a more precise grid termination boundary condition, and give theoretical insight to the flow physics. The method employs eigenfunctions to replace the numerical grid over significant portions of the flow field. Generally, a numerical grid is employed around obstacles with complex geometry while eigenfunctions are applied to regions in the flow field where the boundary conditions can easily be satisfied. To handle a wider class of computational fluid dynamics (CFD) problems, the present paper extends the modal element to include function approximations which do not satisfy the governing differential equation. To accomplish this task, a double modal series approximation and weighted residual constraints are developed to force the comparison functions to satisfy the governing differential equation and to interface properly with the finite element solution. As an example, the method is applied to the problem of potential flow in a channel with two-dimensional cylindrical like obstacles. The calculated flow fields are in excellent agreement with exact analytical solutions.

Baumeister, Kenneth J.↗

Testing and application of a viscous passive damper for use in precision truss structures

A passive damping device intended to replace individual struts in precision truss structures for space applications is described. The theory of operation of the D-Strut device is detailed, and simple five- and three-parameter models are derived. Results from tests conducted to characterize the D-Strut at submicron displacement levels are reporeted. The incorporation of a strut in a precision truss testbed is described. Parameters determined from the component-level tests are used in a finite element model of the truss, and damping augmentation is predicted. Using the simple three-parameter model, a damper is selected for multiple placement in a separate optical interferometer truss testbed. The effect of the addition of the damper struts is illustrated analytically in a model of the structure. Finally, an improved Arched Flexure D-Strut that is expected to provide higher loss factors, and is currently under development, is described.

Trubert, M.↗

An Intelligent Strain Gauge with Debond Detection and Temperature Compensation

The harsh rocket propulsion test environment will expose any inadequacies associated with preexisting instrumentation technologies, and the criticality for collecting reliable test data justifies investigating any encountered data anomalies. Novel concepts for improved systems are often conceived during the high scrutiny investigations by individuals with an in-depth knowledge from maintaining critical test operations. The Intelligent Strain Gauge concept was conceived while performing these kinds of activities. However, the novel concepts are often unexplored even if it has the potential for advancing the current state of the art. Maturing these kinds of concepts is often considered to be a tangential development or a research project which are both normally abandoned within the propulsion-oriented environment. It is also difficult to justify these kinds of projects as a facility enhancement because facility developments are only accepted for mature and proven technologies. Fortunately, the CIF program has provided an avenue for bringing the Intelligent Strain Gauge to fruition. Two types of fully functional smart strain gauges capable of performing reliable and sensitive debond detection have been successfully produced. Ordinary gauges are designed to provide test article data and they lack the ability to supply information concerning the gauge itself. A gauge is considered to be a smart gauge when it provides supplementary data relating other relevant attributes for performing diagnostic function or producing enhanced data. The developed strain gauges provide supplementary signals by measuring strain and temperature through embedded Karma and nickel chromium (NiCr) alloy elements. Intelligently interpreting the supplementary data into valuable information can be performed manually, however, integrating this functionality into an automatic system is considered to be an intelligent gauge. This was achieved while maintaining a very low mass. The low mass enables debond detection and temperature compensation to be performed when the gauge is utilized on small test articles. It was also found that the element's mass must be relatively small to avoid overbearing the desired thermal dissipation characteristics. Detecting the degradation of a gauge s bond was reliably achieved by correlating thermal dissipation with the bond s integrity. This was accomplished by precisely coupling a NiCr element with a Karma element for accurately interjecting and quantifying thermal energy. A finite amount of thermal energy is consistently placed in the gauge by electrically powering the NiCr element. The energy will only be temporarily stored before it begins to dissipate into the surrounding structure through the gauge bond. The ability to transmit the energy into the structure becomes greatly inhibited by any discontinuity in the bond s substrate. Therefore, the way the thermal dissipation occurs will reveal even the slightest change in the integrity of the bond.

Jensen, Scott L.↗

Optical Measurement System for Strain Field Ahead of a Crack Tip for Lattice Structures

The aim of the ARAMADAS project is to automate the construction of cuboctahedral lattice structures. Lattice materials are appealing for aerospace applications due to their strength and stiffness at ultra-light densities. However, in order for any material to be realistically considered for such environments, it must also be damage tolerant. The ability of a material to absorb damage is characterized by its fracture toughness, which remains poorly characterized for lattice materials. Consequently, the objective of this research is to develop an optical measurement system to experimentally validate the strain field ahead of a crack tip in architecture lattice materials. Although the ability to predict the strain field ahead of a crack tip has been investigated for continuum materials, such behaviour of three-dimensional architectures is under-investigated. As such, we will use a custom optical measurement system to track deformation of the voxels in a side-cracked plate fracture specimen. The system shall use 3D pose estimation, stereo imaging, and possibly color tracking, in combination with optical flow algorithms, to compute information regarding the three-dimensional movement movement of the lattice nodes during mechanical testing. Bench top experiments will validate the optical measurement system and characterize precision. Additionally, the effect of multiple cameras on precision, as well as system scalability will be investigated. Final results will compare measured lattice deformation with finite element predictions.

Lennig, Miriam↗