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
DOE OSTI2020

Bounded motion design in the Earth zonal problem using differential algebra based normal form methods

Establishing long-term relative bounded motion between orbits in perturbed dynamics is a key challenge in astrodynamics to enable cluster flight with minimum propellant expenditure. Herein, we present an approach that allows for the design of long-term relative bounded motion considering a zonal gravitational model. Entire sets of orbits are obtained via high-order Taylor expansions of Poincarè return maps about reference fixed points. The high-order normal form algorithm is used to determine a change in expansion variables of the map into normal form space, in which the phase space behavior is circular and can be easily parameterized by action–angle coordinates. The action–angle representation of the normal form coordinates is then used to parameterize the original Poincarè return map and average it over a full phase space revolution by a path integral along the angle parameterization. As a result, the averaged nodal period and drift in the ascending node are obtained, for which the bounded motion conditions are straightforwardly imposed. Sets of highly accurate bounded orbits are obtained, extending over several thousand kilometers, and valid for decades.

79 ASTRONOMY AND ASTROPHYSICS↗
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↗
DOE OSTI2023

Uniform-in-phase-space data selection with iterative normalizing flows

Improvements in computational and experimental capabilities are rapidly increasing the amount of scientific data that are routinely generated. In applications that are constrained by memory and computational intensity, excessively large datasets may hinder scientific discovery, making data reduction a critical component of data-driven methods. Datasets are growing in two directions: the number of data points and their dimensionality. Whereas dimension reduction typically aims at describing each data sample on lower-dimensional space, the focus here is on reducing the number of data points. A strategy is proposed to select data points such that they uniformly span the phase-space of the data. The algorithm proposed relies on estimating the probability map of the data and using it to construct an acceptance probability. An iterative method is used to accurately estimate the probability of the rare data points when only a small subset of the dataset is used to construct the probability map. Instead of binning the phase-space to estimate the probability map, its functional form is approximated with a normalizing flow. Therefore, the method naturally extends to high-dimensional datasets. The proposed framework is demonstrated as a viable pathway to enable data-efficient machine learning when abundant data are available.

97 MATHEMATICS AND COMPUTING↗
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.↗
DOE OSTI2025

SDA: a symbolic differential algebra package in C++

Truncated Power Series Algebra (TPSA), or Differential Algebra (DA), is a well-established tool in accelerator physics, commonly used for generating high-order maps of dynamic systems, as well as in symplectic tracking, normal form analysis, verified integration, optimization, and fast multipole methods. This package is the first to perform symbolic DA computations, enabling traceability of initial condition contributions and runtime reduction for repeated DA calculations, potentially expanding DA’s applications.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2026

Detector alignment for X-ray crystallography using Millepede-II

I describe a method for accurately refining the geometrical parameters of segmented X-ray area detectors on the basis of serial crystallography data, using 'Millepede' – an algorithm created for a very similar problem in high-energy physics. The Millepede method for serial crystallography builds on the approach of Brewster et al. [Acta Cryst. (2018), D74, 877–894], in which the detector parameters are refined simultaneously with the parameters for each individual crystal. This accounts for the mutual dependency between the parameters and thereby avoids the bias and slow convergence problems that have afflicted older approaches in which the deviations between observed and calculated Bragg peak positions were taken directly as the updates for the detector panel positions. The Millepede method uses the special structure of the least-squares normal equations to reduce them to a much smaller form that can be solved very quickly, even compared with the sparse matrix methods used previously. This makes it practical to refine the detector geometry frequently and thereby maintain accurate calibration without specialized alignment campaigns. Tilts of detector panels out of the plane can be reliably refined, as can the overall distance of the detector in the beam direction. With a simulated test case, the new method produced panel shifts within 7% of the correct values with only one iteration, and produced almost exactly correct shifts after a second iteration. A simulated out-of-plane panel rotation was correctly determined to within 0.001°. Applied to experimental data from an X-ray free-electron laser, the method increased the indexable fraction of frames from 30% to 91% in a single iteration, and to 96% after two further iterations. Computing the geometry updates on the basis of 2060 crystals took only 0.819 s on desktop computing hardware, including the time taken to read the required data from disk. The scaling was found to be very close to linear for up to 100 980 sets of crystal parameters, which took only 78.2 s to process under the same conditions. The method has been applied as part of a real-time feedback system at a synchrotron radiation beamline, in which an out-of-plane detector tilt of 0.04° was detected and corrected. Possible further applications are also described here.

Millepede-II↗
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.↗
DOE OSTI2025

Using DAPPER to extract the photon strength function of 58 Fe using the inverse Oslo and shape methods

The photon strength function of 58 Fe has been extracted using both the Oslo and Shape methods from particle–γ coincidence data measured using the Detector Array for Photons, Protons, and Exotic Residues, which probes nuclei utilizing (d,p) reactions in inverse kinematics. Four particle–γ coincidence matrices, each constructed with different treatments of the γ–ray energies, are explored in order to observe the impact on the resulting nuclear level density and photon strength. The final photon strength function reported is found to agree well with previous Oslo measurements of other iron isotopes. Systematic uncertainties are included, using different model parameters and their reported errors to perform the Oslo method normalization. The model-independent Shape method is explored and the functional form of the photon strength function obtained is in agreement with the Oslo method results. A low-energy enhancement is not reported for 58 Fe in this work given possible subtraction issues originating from strongly populated states.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2024

Using DAPPER to extract the photon strength function of 58Fe using the inverse Oslo and shape methods

The photon strength function of 58 Fe has been extracted using both the Oslo and Shape methods from particle-γ coincidence data measured using the Detector Array for Photons, Protons, and Exotic Residues, which probes nuclei utilizing (d,p) reactions in inverse kinematics. Four particle-γ coincidence matrices, each constructed with different treatments of the γ-ray energies, are explored in order to observe the impact on the resulting nuclear level density and photon strength. The final photon strength function reported is found to agree well with previous Oslo measurements of other iron isotopes. Systematic uncertainties are included, using different model parameters and their reported errors to perform the Oslo method normalization. The model-independent Shape method is explored and the functional form of the photon strength function obtained is in agreement with the Oslo method results. A low-energy enhancement is not reported for 58 Fe in this work given possible subtraction issues originating from strongly populated states.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
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↗