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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS1998

An Astronomical Test of CCD Photometric Precision

This article considers a posteriori error estimation of specified functionals for first-order systems of conservation laws discretized using the discontinuous Galerkin (DG) finite element method. Using duality techniques. we derive exact error representation formulas for both linear and nonlinear functionals given an associated bilinear or nonlinear variational form. Weighted residual approximations of the exact error representation formula are then proposed and numerically evaluated for Ringleb flow, an exact solution of the 2-D Euler equations.

Koch, David↗
NASA NTRS1992

ROM/RMF control of the flexible, articulated-truss space crane

The large size and extreme flexibility of an articulated space crane entail great difficulties in precision positioning. Control strategies for the flexible multibody system are here developed using a Timoshenko-beam finite-element model (FEM) which captures the system's low frequency characteristics. From the FEM, a reduced-order model (ROM) controller is designed which rotates the fixed shape crane about the base alpha joint to actuate positioning control. Eigenvalue analysis of the closed-loop system shows the destabilizing effect of controller-structure interaction (CSI). Making use of a parallel bank of residual mode filters (RMFs) compensated for CSI, restoring system stability and performance. The linear control law is simulated in closed-loop with the beam model. The ROM-based control law with RMF compensation is an effective, low-order controller.

Reisenauer, Brian T.↗
NASA NTRS1989

Residual interference and wind tunnel wall adaption

Measured flow variables near the test section boundaries, used to guide adjustments of the walls in adaptive wind tunnels, can also be used to quantify the residual interference. Because of a finite number of wall control devices (jacks, plenum compartments), the finite test section length, and the approximation character of adaptation algorithms, the unconfined flow conditions are not expected to be precisely attained even in the fully adapted stage. The procedures for the evaluation of residual wall interference are essentially the same as those used for assessing the correction in conventional, non-adaptive wind tunnels. Depending upon the number of flow variables utilized, one can speak of one- or two-variable methods; in two dimensions also of Schwarz- or Cauchy-type methods. The one-variable methods use the measured static pressure and normal velocity at the test section boundary, but do not require any model representation. This is clearly of an advantage for adaptive wall test section, which are often relatively small with respect to the test model, and for the variety of complex flows commonly encountered in wind tunnel testing. For test sections with flexible walls the normal component of velocity is given by the shape of the wall, adjusted for the displacement effect of its boundary layer. For ventilated test section walls it has to be measured by the Calspan pipes, laser Doppler velocimetry, or other appropriate techniques. The interface discontinuity method, also described, is a genuine residual interference assessment technique. It is specific to adaptive wall wind tunnels, where the computation results for the fictitious flow in the exterior of the test section are provided.

Mokry, Miroslav↗
NASA NTRS1993

Thermal-mechanical behavior of high precision composite mirrors

Composite mirror panels were designed, constructed, analyzed, and tested in the framework of a NASA precision segmented reflector task. The deformations of the reflector surface during the exposure to space enviroments were predicted using a finite element model. The composite mirror panels have graphite-epoxy or graphite-cyanate facesheets, separated by an aluminum or a composite honeycomb core. It is pointed out that in order to carry out detailed modeling of composite mirrors with high accuracy, it is necessary to have temperature dependent properties of the materials involved and the type and magnitude of manufacturing errors and material nonuniformities. The structural modeling and analysis efforts addressed the impact of key design and materials parameters on the performance of mirrors.

Kuo, C. P.↗
NASA NTRS1999

Statecharts Via Process Algebra

Statecharts is a visual language for specifying the behavior of reactive systems. The Language extends finite-state machines with concepts of hierarchy, concurrency, and priority. Despite its popularity as a design notation for embedded system, precisely defining its semantics has proved extremely challenging. In this paper, a simple process algebra, called Statecharts Process Language (SPL), is presented, which is expressive enough for encoding Statecharts in a structure-preserving and semantic preserving manner. It is establish that the behavioral relation bisimulation, when applied to SPL, preserves Statecharts semantics

Luttgen, Gerald↗
NASA NTRS1974

Miniature load cell instrumentation for finite deformation biaxial testing of elastomers

Accuracy of biaxial test equipment to examine the nonlinear mechanical behavior of thin sheet specimens of elastomeric materials has been hampered by lack of precise determination of the force distribution along the sides of the specimen. It has been necessary to use an effective width established by approximate means to obtain the stress from the overall force applied along the edges. To avoid this experimental difficulty, individual miniature proof-ring load cells utilizing semiconductor strain gages have been developed and applied to the support hooks for the thin sheet specimens. Typical results are shown for time-dependent stress distributions for all degrees of biaxiality. An accurate evaluation of the effective specimen width is now possible.

Arenz, R. J.↗
NASA NTRS1974

Solving multiple scattering problems in planetary atmospheres

Definitions are provided of the basic concepts occurring in the solution of multiple scattering problems involving planetary atmospheres and attention is given to aspects of problem characterization. Approaches are considered for finding the answer to a particular problem without the performance of detailed calculations. The characteristics of albedos are investigated, taking into account semiinfinite atmospheres and finite atmospheres. Questions of surface illumination are discussed along with aspects related to energy deposition in the atmosphere, intensity, and polarization. Precise numerical methods are examined and analytical solutions are presented.

Irvine, W. M.↗
NASA NTRS1974

Solving multiple scattering problems in planetary atmospheres

Multiple scattering problems, radiative transfer problems in planetary atmospheres within extended visible portion of the spectrum, are examined. The direct and inverse problems and the extinction coefficient are defined, along with other scattering characteristics. Albedos in semi-infinite and finite atmospheres are considered, as well as surface illumination, energy deposition, and polarization. The Eddington approximation figures prominently in the calculations. Precise numerical methods and analytical solutions are included.

Irvine, W. M.↗
NASA NTRS1990

Global simulation of the solar wind-magnetosphere interaction - The importance of its numerical validity

This paper examines the global interaction of the solar wind with the geomagnetic field, using a newly developed three-dimensional high-precision MHD simulation code which employs the fourth-order Runge-Kutta-Gill scheme in time and the direct finite-difference method in space, and which allows much less numerical error than the conventional code. The simulation reveals in detail the formation processes of the magnetosphere and the bow shock, as well as the plasma sheet formation process. It is shown that, contrary to the conventional understanding, no Kelvin-Helmholtz instability occurs along the magnetopause in an ideal MHD.

Watanabe, K.↗
NASA NTRS2011

A Deployable 4 Meter 180 to 680 GHz Antenna for the Scanning Microwave Limb Sounder

The Scanning Microwave Limb Sounder (SMLS) is a space-borne heterodyne radiometer which will measure pressure, temperature and atmospheric constituents from thermal emission between 180 and 680 GHz. SMLS, planned for the Global Atmospheric Composition Mission of the NRC Decadal Survey, uses a novel toric Cassegrain antenna to perform both elevation and azimuth scanning. These provide better horizontal and temporal resolution and coverage than were possible with elevation-only scanning at typical Low-Earth orbit spacing in the two previous MLS satellite instruments. Development of the SMLS antenna was the focus of a 2006 Small Business Innovative Research (SBIR) program whose phase II culminated in the fabrication and thermal stability testing of a composite demonstration model of the SMLS primary reflector. This reflector has the full 4m height and 1/3 the width planned for flight. An Instrument Incubator Program (IIP) titled "A deployable 4 Meter 180 to 680 GHz antenna for the Scanning Microwave Limb Sounder" continues development of the SMLS antenna with the study of 5 topics: 1) detailed mathematical modeling of the antenna patterns from which we simulate geophysical parameter retrievals in order to establish FOV performance requirements; 2) thorough correlation of finite element model predictions with measurements made on the SBIR reflector. We will again measure deformations of this reflector, under more flight-like thermal gradients, using higher precision metrology techniques available in a new large-aperture facility at JPL; 3) fabrication of a full-width primary reflector whose asbuilt surface figure will better meet the figure requirements of SMLS than did the SBIR reflector; 4) integration of the primary with other reflectors, and with residual front ends built in a 2007 IIP, in a breadboard antenna; and finally 5) RF testing of the breadboard on a Near Field Range at JPL. We report on significant progress in 3 areas of the current IIP: development of the mathematical model to predict SMLS antenna patterns and their application in a preliminary set of geophysical retrievals; the correlation between surface deformation predicted by finite element models and measurement in the 2009 isothermal stability tests of the SBIR, with implications for the thermal gradient testing to be performed at JPL; and aspects of the conceptual design of the full-width primary reflector to be fabricated and tested in the 2nd and 3rd years of the IIP.

heterodyne radiometer↗
NASA NTRS2018

Preliminary Jitter Stability Results for the Large UV/Optical/Infrared (LUVOIR) Surveyor Concept Using a Non-Contact Vibration Isolation and Precision Pointing System

The need for high payload dynamic stability and ultra-stable mechanical systems is an overarching technology need for large space telescopes such as the Large Ultraviolet / Optical / Infrared (LUVOIR) Surveyor concept. The LUVOIR concept includes a 15-meter-diameter segmented-aperture telescope with a suite of serviceable instruments operating over a range of wavelengths between 100nm to 2.5 um. Wavefront error (WFE) stability of less than 10 picometers RMS of uncorrected system WFE per wavefront control step represents a drastic performance improvement over current space-based telescopes being fielded. Through the utilization of an isolation architecture that involves no mechanical contact between the telescope and the host spacecraft structure, a system design is realized that maximizes the telescope dynamic stability performance without driving stringent technology requirements on spacecraft structure, sensors or actuators. Through analysis of the LUVOIR finite element model and linear optical model, the wavefront error and Line-Of-Sight (LOS) jitter performance is discussed in this paper when using the Vibration Isolation and Precision Pointing System (VIPPS) being developed cooperatively with Lockheed Martin in addition to a multi-loop control architecture. The multi-loop control architecture consists of the spacecraft Attitude Control System (ACS), VIPPS, and a Fast Steering Mirror on the instrument. While the baseline attitude control device for LUVOIR is a set of Control Moment Gyroscopes (CMGs), Reaction Wheel Assembly (RWA) disturbance contribution to wavefront error stability and LOS stability are presented to give preliminary results in this paper. CMG disturbance will be explored in further work to be completed.

Sacks, Lia W.↗
NASA NTRS1994

A Semantic Theory of Abstractions: A Preliminary Report

In this paper we present a semantic theory of abstractions based on viewing abstractions as interpretations between theories. This theory captures important aspects of abstractions not captured in the theory of abstractions presented by Giunchiglia and Walsh. Instead of viewing abstractions as syntactic mappings, we view abstractions as a two step process: the intended domain model is first abstracted and then a set of (abstract) formulas is constructed to capture the abstracted domain model. Viewing and justifying abstractions as model level transformations is both natural and insightful. We provide a precise characterization of the abstract theory that exactly implements the intended abstraction, and show that this theory, while being axiomatizable, is not always finitely axiomatizable. A simple corollary of the latter result disproves a conjecture made by Tenenberg that if a theory is finitely axiomatizable, then predicate abstraction of that theory leads to a finitely axiomatizable theory.

Nayak, P. Pandurang↗
NASA NTRS1989

Flight motor set 360L001 (STS-26R). (Reconstructed dynamic loads analysis)

A transient analysis was performed to correlate the predicted versus measured behavior of the Redesigned Solid Rocket Booster (RSRB) during Flight 360L001 (STS-26R) liftoff. Approximately 9 accelerometers, 152 strain gages, and 104 girth gages were bonded to the motors during this event. Prior to Flight 360L001, a finite element model of the RSRB was analyzed to predict the accelerations, strains, and displacements measured by this developmental flight instrumentation (DFI) within an order of magnitude. Subsequently, an analysis has been performed which uses actual Flight 360L001 liftoff loading conditions, and makes more precise predictions for the RSRB structural behavior. Essential information describing the analytical model, analytical techniques used, correlation of the predicted versus measured RSRB behavior, and conclusions, are presented. A detailed model of the RSRB was developed and correlated for use in analyzing the motor behavior during liftoff loading conditions. This finite element model, referred to as the RSRB global model, uses super-element techniques to model all components of the RSRB. The objective of the RSRB global model is to accurately predict deflections and gap openings in the field joints to an accuracy of approximately 0.001 inch. The model of the field joint component was correlated to Referee and Joint Environment Simulation (JES) tests. The accuracy of the assembled RSRB global model was validated by correlation to static-fire tests such DM-8, DM-9, QM-7, and QM-8. This validated RSRB global model was used to predict RSRB structural behavior and joint gap opening during Flight 360L001 liftoff. The results of a transient analysis of the RSRB global model with imposed liftoff loading conditions are presented. Rockwell used many gage measurements to reconstruct the load parameters which were imposed on the RSRB during the Flight 360L001 liftoff. Each load parameter, and its application, is described. Also presented are conclusions and recommendations based on the analysis of this load case and the resulting correlation between predicted and measured RSRB structural behavior.

Call, V. B.↗
NASA NTRS1979

The JPL orbit determination software system

The Jet Propulsion Laboratory (JPL) orbit determination software system is described. Consisting of a set of computer programs, this system has been developed at JPL for the primary purpose of determining the flight path of deep-space mission spacecraft in NASA's planetary program. Secondary uses include science studies in celestial mechanics and extraterrestrial atmospherics. Attention is given to such features as the capability for processing 30 data types from up to 15 tracking stations, and for precise navigation to natural satellites of outer planets. In addition, the system contains models for such conditions as mascons, atmospheric drag, attitude control, and finite motor burns, to provide for extensive solve-on capabilities.

Ekelund, J. E.↗
NASA NTRSDate not supplied

Analysis of the cost, schedule, and risk for Lynx mirror assembly production

This paper analyzes a recently published model for Lynx Mirror Assembly production duration, to understand the sensitivity of duration to various factors. The factors considered are finite process yield, knowledge of the individual process times and finite server reliability. In all of these cases, closed form estimates are given along with numerical examples. This initial analysis indicates that accurate and precise knowledge of the process times is fundamental to making an accurate prediction of schedule duration. Analysis of the failure of any given server is also explained and can be used as the basis of a rational sparing policy.

Jonathan W. Arenberg↗
NASA NTRS1998

Quantitative Examination of Corrosion Damage by Means of Thermal Response Measurements

Two computational methods are presented that enable a characterization of corrosion damage to be performed from thermal response measurements derived from a standard flash thermographic inspection. The first is based upon a one dimensional analytical solution to the heat diffusion equation and presumes the lateral extent of damage is large compared to the residual structural thickness, such that lateral heat diffusion effects can be considered insignificant. The second proposed method, based on a finite element optimization scheme, addresses the more general case where these conditions are not met. Results from an experimental application are given to illustrate the precision, robustness and practical efficacy of both methods.

Rajic, Nik↗
NASA NTRS2013

Verification of Numerical Programs: From Real Numbers to Floating Point Numbers

Numerical algorithms lie at the heart of many safety-critical aerospace systems. The complexity and hybrid nature of these systems often requires the use of interactive theorem provers to verify that these algorithms are logically correct. Usually, proofs involving numerical computations are conducted in the infinitely precise realm of the field of real numbers. However, numerical computations in these algorithms are often implemented using floating point numbers. The use of a finite representation of real numbers introduces uncertainties as to whether the properties veri ed in the theoretical setting hold in practice. This short paper describes work in progress aimed at addressing these concerns. Given a formally proven algorithm, written in the Program Verification System (PVS), the Frama-C suite of tools is used to identify sufficient conditions and verify that under such conditions the rounding errors arising in a C implementation of the algorithm do not affect its correctness. The technique is illustrated using an algorithm for detecting loss of separation among aircraft.

Goodloe, Alwyn E.↗