Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Normal form methods”

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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

TRASYS form factor matrix normalization

A method has been developed for adjusting a TRASYS enclosure form factor matrix to unity. This approach is not limited to closed geometries, and in fact, it is primarily intended for use with open geometries. The purpose of this approach is to prevent optimistic form factors to space. In this method, nodal form factor sums are calculated within 0.05 of unity using TRASYS, although deviations as large as 0.10 may be acceptable, and then, a process is employed to distribute the difference amongst the nodes. A specific example has been analyzed with this method, and a comparison was performed with a standard approach for calculating radiation conductors. In this comparison, hot and cold case temperatures were determined. Exterior nodes exhibited temperature differences as large as 7 C and 3 C for the hot and cold cases, respectively when compared with the standard approach, while interior nodes demonstrated temperature differences from 0 C to 5 C. These results indicate that temperature predictions can be artificially biased if the form factor computation error is lumped into the individual form factors to space.

Tsuyuki, Glenn T.↗
NASA NTRS2007

Symbolic LTL Compilation for Model Checking: Extended Abstract

In Linear Temporal Logic (LTL) model checking, we check LTL formulas representing desired behaviors against a formal model of the system designed to exhibit these behaviors. To accomplish this task, the LTL formulas must be translated into automata [21]. We focus on LTL compilation by investigating LTL satisfiability checking via a reduction to model checking. Having shown that symbolic LTL compilation algorithms are superior to explicit automata construction algorithms for this task [16], we concentrate here on seeking a better symbolic algorithm.We present experimental data comparing algorithmic variations such as normal forms, encoding methods, and variable ordering and examine their effects on performance metrics including processing time and scalability. Safety critical systems, such as air traffic control, life support systems, hazardous environment controls, and automotive control systems, pervade our daily lives, yet testing and simulation alone cannot adequately verify their reliability [3]. Model checking is a promising approach to formal verification for safety critical systems which involves creating a formal mathematical model of the system and translating desired safety properties into a formal specification for this model. The complement of the specification is then checked against the system model. When the model does not satisfy the specification, model-checking tools accompany this negative answer with a counterexample, which points to an inconsistency between the system and the desired behaviors and aids debugging efforts.

Rozier, Kristin Y.↗
NASA NTRS1987

The mechanisms of temporal inference

The properties of a temporal language are determined by its constituent elements: the temporal objects which it can represent, the attributes of those objects, the relationships between them, the axioms which define the default relationships, and the rules which define the statements that can be formulated. The methods of inference which can be applied to a temporal language are derived in part from a small number of axioms which define the meaning of equality and order and how those relationships can be propagated. More complex inferences involve detailed analysis of the stated relationships. Perhaps the most challenging area of temporal inference is reasoning over disjunctive temporal constraints. Simple forms of disjunction do not sufficiently increase the expressive power of a language while unrestricted use of disjunction makes the analysis NP-hard. In many cases a set of disjunctive constraints can be converted to disjunctive normal form and familiar methods of inference can be applied to the conjunctive sub-expressions. This process itself is NP-hard but it is made more tractable by careful expansion of a tree-structured search space.

Fox, B. R.↗
NASA NTRS1985

Fabrication of strain-isolated ceramic coated combustor components

The use of strain-isolated ceramic coated material to produce an AGT1500 combustor scroll-shaped transition duct which requires no air for film cooling is investigated. The scroll receives the exhaust of the can-style combustor liner and turns it into the annular inlet of the high pressure gas producer turbine nozzle. Strain-isolation of plasma sprayed thermal barrier coating is achieved by placing a compliant pad between the structural base metal and the ceramic coating. The compliant pad is brazed to the metal structure. In order to achieve a good braze bond, the strain-isolating compliant pad and base metal must be closely matched in shape and tightly fixtured for joining. The complex geometry of the AGT1500 scroll makes it impractical to attack pads to the supporting structure in its finished shape. Instead the pads are brazed to flat stock and post-formed into scroll sections. While test samples were successfully post-formed, plasma sprayed, and subjected to cyclic heating, the forming of full scale parts by normal methods resulted in tearing of the Hastelloy-X base metal because of embrittlement by the braze material. Several solutions were explored which finally resulted in the successful forming of full scale scroll parts.

Rutter, S.↗
NASA NTRS2018

Estimating a Large Phased Array Antenna Radiation Pattern by Computer Electromagnetic Simulation

The design of a conformal antenna for use on UAV's (Unmanned Aerial Vehicle) and other aircraft can be enhanced with computational electromagnetic modeling to determine the expected radiation patterns of the antenna when mounted on the aircraft. However, detailed simulation of the antenna structure and the aircraft together requires significant computational resources and time which may not be available. This paper details several methods for estimating the radiation pattern of a 50 by 50-element patch antenna. The Conformal Lightweight Antenna Structures for Aeronautical Communication Technologies (CLASACT) Program aims to build and test a 14.25 gigaherz (Ku-band) conformal antenna on a NASA-owned UAV. The antenna is intended for satellite communications and will enable communication between a ground station and a UAV when the separation distance is too great for line-of-sight communication. It is estimated that a 2 degree beamwidth will be necessary, requiring a 50 by 50 array of patch elements. The narrow beamwidth requirement, together with an element spacing of 0.6 lambda means that the array length will be 30 wavelengths, electrically very large. Three methods of varying complexity are described for estimating the total far-field radiation pattern. The results are shown for each method in the form of a normalized power pattern.

Mackenzie, Anne I.↗
NASA NTRS1938

Calculation of the chordwise load distribution over airfoil sections with plain, split, or serially hinged trailing-edge flaps

A method is presented for the rapid calculation of the incremental chordwise normal-force distribution over an airfoil section due to the deflection of a plain flap or tab, a split flap, or a serially hinged flap. This report is intended as a supplement to NACA Report no. 631, wherein a method is presented for the calculation of the chordwise normal-force distribution over an airfoil without a flap or, as it may be considered, an airfoil with flap (or flaps) neutral. The method enables the determination of the form and magnitude of the incremental normal-force distribution to be made for an airfoil-flap combination for which the section characteristics have been determined. A method is included for the calculation of the flap normal-force and hinge-moment coefficients without necessitating a determination of the normal-force distribution.

Allen, H Julian↗
NASA NTRS2010

Current Space Station Experiments Investigating Component Level Electronics Repair

The Soldering in a Reduced Gravity Experiment (SoRGE) and Component Repair Experiment (CRE)-1 are tests performed on the International Space Station to determine the techniques, tools, and training necessary to allow future crews to perform manual electronics repairs at the component level. SoRGE provides information on the formation and internal structure of through-hole solder joints, illustrating the challenges and implications of soldering in reduced gravity. SoRGE showed a significant increase in internal void defects for joints formed in low gravity compared to normal gravity. Methods for mitigating these void defects were evaluated using a modified soldering process. CRE-1 demonstrated the removal, cleaning, and replacement of electronics components by manual means on functional circuit boards. The majority of components successful passed a post-repair functional test demonstrating the feasibility of component-level repair within the confines of a spacecraft. Together, these tasks provide information to recommend material and tool improvements, training improvements, and future work to help enable electronics repairs in future space missions.

Easton, John W.↗
NASA NTRS1994

An improved solution to the 'Rankine-Hugoniot' problem

This paper presents an extension of the nonlinear least squares fitting technique of Vinas and Scudder (1986) (VS), which finds the physical and geometrical properties of nondissipational magnetohydrodynamic (MHD) shocks. The new method incorporates plasma temperature observations in the form of normal momentum flux and energy density flux conservation as well as plasma density, velocity, and magnetic field data. The new technique is capable of using known standard deviations in the individual measurement points to properly weight the fitting procedure. The new fitting code is validated through the analysis of synthetic shocks with known physical and geometrical properties. Finally, it is compared to the original VS method and the preaveraged velocity coplanarity technique.

Szabo, A.↗
NASA NTRS1983

Transformer induced instability of the series resonant converter

It is shown that the common series resonant power converter is subject to a low frequency oscillation that can lead to the loss of cyclic stability. This oscillation is caused by a low frequency resonant circuit formed by the normal L and C components in series with the magnetizing inductance of the output transformer. Three methods for eliminating this oscillation are presented and analyzed. One of these methods requires a change in the circuit topology during the resonance cycle. This requires a new set of steady state equations which are derived and presented in a normalized form. Experimental results are included which demonstrate the nature of the low frequency oscillation before cyclic stability is lost.

King, R. J.↗
NASA NTRS1939

Design of centrifugal impeller blades

This paper restricts itself to radial impellers with cylindrical blades since, as Prasil has shown, the flow about an arbitrarily curved surface of revolution may be reduced to this normal form we have chosen by a relatively simple conformal transformation. This method starts from the simple hypotheses of the older centrifugal impeller theory by first assuming an impeller with an infinite number of blades. How the flow is then modified is then investigated. For the computation of flow for a finite number of blades, the approximation method as developed by Munk, Prandtl and Birnbaum, or Glauert is found suitable. The essential idea of this method is to replace the wing by a vortex sheet and compute the flow as the field of these vortices. The shape of the blades is then obtained from the condition that the flow must be along the surface of the blade.

Betz, A↗
NASA NTRS1993

Structure and length scales of rotational discontinuities

Results are presented of a series of 1D hybrid (kinetic ions and fluid electrons) simulations, using a nondynamic method to form rotational discontinuities (RDs) at an angle of 60 deg between the normal direction and the upstream magnetic field. Ion kinetic effects are found to be important with regard to the stability of the current layer, its thickness and scaling, and its dependence on initial conditions. A detailed examination of the downstream wave train and gradient scale size showed that RDs with alpha1 = +/-180 deg are stable within the framework of the simulation. With proper initialization, electron-sense rotations of -270 deg were found that do not disintegrate immediately but rather appear to consist of a superposition of a solitary wave with -360-deg rotation and a 90-deg ion-sense rotation.

Krauss-Varban, D.↗
NASA NTRS1987

An L-U implicit multigrid algorithm for the three-dimensional Euler equations

An LU implicit multigrid scheme is developed for the calculation of three-dimensional transonic flow through rotating cascades. This numerical method solves the unsteady Euler equations of gas dynamics in a finite-volume form. The implicit scheme makes it possible to take a much larger time step than is normally permitted in most explicit schemes, while the multigrid method is incorporated to accelerate the convergence rate for steady state calculations. Using this method, computational storage requirements are comparable to those of explicit schemes, while operation counts are considerably less than those found in the more widely-used ADI schemes.

Yokota, Jeffrey W.↗
NASA NTRS1984

Modification to shock fitting program

A modified form of the Lepping - Argentiero single spacecraft, shock normal determination procedure is presented. The modified method incorporates a simple predictor-corrector algorithm which allows a faster convergence rate and the use of average values of the parameters for the starting vector.

Acuna, M. H.↗
NASA NTRS1976

A new method for solving problems of sound radiation from a duct for the case of low Mach number

A method for rapidly solving duct end-plane impedance problems is presented which is based on deriving a form of the Helmholtz integral formula expressing the normal derivative of the acoustic pressure at a boundary point. A set of integral expressions is obtained by satisfying the existing boundary conditions and then solved using a general collocation method. The results obtained for the Levine-Schwinger (1948) problem agree well with the exact values. In the case of a duct flow having a temperature mismatch with the surroundings, the results show an increase in the magnitude of the reflection coefficient for the case of a cold core, and a decrease in its value for the case of a hot core, as compared with the case of exhaust into a uniform medium. A phase change of between pi/2 and pi is nearly always achieved, which indicates the tendency towards maintaining a constant pressure at the exit plane. The method can easily be extended to arbitrary duct shapes as long as they are axisymmetric.

Wahbah, M. M.↗
NASA NTRS1982

A study of the high frequency limitations of series resonant converters

A transformer induced oscillation in series resonant (SR) converters is studied. It may occur in the discontinuous current mode. The source of the oscillation is an unexpected resonant circuit formed by normal resonance components in series with the magnetizing inductance of the output transformers. The methods for achieving cyclic stability are: to use a half bridge SR converter where q0.5. Q should be as close to 1.0 as possible. If 0.5q1.0, the instability will be avoided if psi2/3q-1/3. The second objective was to investigate a power field effect transistor (FET) version of the SR converter capable of operating at frequencies above 100 KHz, to study component stress and losses at various frequencies.

Stuart, T. A.↗
NASA NTRS1984

Modification to shock fitting program

A modified form of the Lepping-Argentiero single spacecraft, shock normal determination procedure is presented. The modified method incorporates a simple predictor-corrector algorithm which allows a faster convergence rate and the use of average values of the parameters for the starting vector.

Acuna, M. H.↗
NASA NTRS1997

Improvements in Block-Krylov Ritz Vectors and the Boundary Flexibility Method of Component Synthesis

A method of dynamic substructuring is presented which utilizes a set of static Ritz vectors as a replacement for normal eigenvectors in component mode synthesis. This set of Ritz vectors is generated in a recurrence relationship, proposed by Wilson, which has the form of a block-Krylov subspace. The initial seed to the recurrence algorithm is based upon the boundary flexibility vectors of the component. Improvements have been made in the formulation of the initial seed to the Krylov sequence, through the use of block-filtering. A method to shift the Krylov sequence to create Ritz vectors that will represent the dynamic behavior of the component at target frequencies, the target frequency being determined by the applied forcing functions, has been developed. A method to terminate the Krylov sequence has also been developed. Various orthonormalization schemes have been developed and evaluated, including the Cholesky/QR method. Several auxiliary theorems and proofs which illustrate issues in component mode synthesis and loss of orthogonality in the Krylov sequence have also been presented. The resulting methodology is applicable to both fixed and free- interface boundary components, and results in a general component model appropriate for any type of dynamic analysis. The accuracy is found to be comparable to that of component synthesis based upon normal modes, using fewer generalized coordinates. In addition, the block-Krylov recurrence algorithm is a series of static solutions and so requires significantly less computation than solving the normal eigenspace problem. The requirement for less vectors to form the component, coupled with the lower computational expense of calculating these Ritz vectors, combine to create a method more efficient than traditional component mode synthesis.

Carney, Kelly Scott↗