Search NASA⌕ Search

SEARCH · Search NASA

Results for “FLOATS - COMPARISON”

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

Water Pressure Distribution on a Twin-Float Seaplane

This is the second of a series of investigations to determine water pressure distribution on various types of seaplane floats and hulls, and was conducted on a twin-float seaplane. It consisted of measuring water pressures and accelerations on a TS-1 seaplane during numerous landing and taxiing maneuvers at various speeds and angles. The results show that water pressures as great as 10 lbs. per sq. in.may occur at the step in various maneuvers and that pressures of approximately the same magnitude occur at the stern and near the bow in hard pancake landings with the stern way down. At the other parts of the float the pressures are less and are usually zero or slightly negative for some distance abaft the step. A maximum negative pressure of 0.87 lb. Per square inch was measured immediately abaft the step. The maximum positive pressures have a duration of approximately one-twentieth to one-hundredth second at any given location and are distributed over a very limited area at any particular instant.

Thompson, F L↗

The NACA Impact Basin and Water Landing Tests of a Float Model at Various Velocities and Weights

The first data obtained in the United States under the controlled testing conditions necessary for establishing relationships among the numerous parameters involved when a float having both horizontal and vertical velocity contacts a water surface are presented. The data were obtained at the NACA impact basin. The report is confined to a presentation of the relationship between resultant velocity and impact normal acceleration for various float weights when all other parameters are constant. Analysis of the experimental results indicated that the maximum impact normal acceleration was proportional to the square of the resultant velocity, that increases in float weight resulted in decreases in the maximum impact normal acceleration, and that an increase in the flight-path angle caused increased impact normal acceleration.

Batterson, Sidney A↗

An Analysis of the Full-Floating Journal Bearing

An analysis of the operating characteristics of a full-floating journal bearing, a bearing in which a floating sleeve is located between the journal and bearing surfaces, is presented together with charts from which the performance of such bearings may be predicted. Examples are presented to illustrate the use of these charts and a limited number of experiments conducted upon a glass full-floating bearing are reported to verify some results of the analysis.

Shaw, M C↗

Modelling of the MEA float zone using accelerometer data

During a floating zone experiment involving the growth of indium on a recent orbiter mission, (STS 32) oscillation of the zone shapes were observed to occur in response to the background acceleration. An understanding of the nature of the response of the zone shape to forced (g-jitter) oscillations and predictions of its impact on future experiments is of great interest not only to the PI's but to other commercial and academic investigators who plan to fly similar experiments in the orbiter and on space station. Motivated by this, a 15 month study was undertaken to analyze the nature of the g-sensitivity of the STS 32 floating zone crystal growth experiment. Numerical models were used to describe the time-dependent free surface motion of the zone as it responds to the spacecraft residual acceleration. Relevant experimental data concerning the acceleration environment was obtained from the Honeywell in Space Accelerometer (HISA) investigators through MSFC's ACAP program and processed and analyzed. For the indium floating zone experiment, a series of calculations were made using time-dependent axial accelerations g(t). The form of g(t) included simple sinusoidal disturbances as well as actual data (subject to appropriate filtering) measured on the STS 32 mission. Focus was on the calculation of the response of the free surface of the zone as well as the internal flows and internal heat transfer. The influence of solidification on the response of the zone shape was also examined but found to be negligible.

Alexander, J. Iwan D.↗

Defining the IEEE-854 floating-point standard in PVS

A significant portion of the ANSI/IEEE-854 Standard for Radix-Independent Floating-Point Arithmetic is defined in PVS (Prototype Verification System). Since IEEE-854 is a generalization of the ANSI/IEEE-754 Standard for Binary Floating-Point Arithmetic, the definition of IEEE-854 in PVS also formally defines much of IEEE-754. This collection of PVS theories provides a basis for machine checked verification of floating-point systems. This formal definition illustrates that formal specification techniques are sufficiently advanced that is is reasonable to consider their use in the development of future standards.

Miner, Paul S.↗

Analysis of Static Spacecraft Floating Potential at Low Earth Orbit (LEO)

Spacecraft floating potential is the charge on the external surfaces of orbiting spacecraft relative to the space. Charging is caused by unequal negative and positive currents to spacecraft surfaces. The charging process continues until the accelerated particles can be collected rapidly enough to balance the currents at which point the spacecraft has reached its equilibrium or floating potential. In low inclination. Low Earth Orbit (LEO), the collection of positive ion and negative electrons. in a particular direction. are typically not equal. The level of charging required for equilibrium to be established is influenced by the characteristics of the ambient plasma environment. by the spacecraft motion, and by the geometry of the spacecraft. Using the kinetic theory, a statistical approach for studying the interaction is developed. The approach used to study the spacecraft floating potential depends on which phenomena are being applied. and on the properties of the plasma. especially the density and temperature. The results from kinetic theory derivation are applied to determine the charging level and the electric potential distribution at an infinite flat plate perpendicular to a streaming plasma using finite-difference scheme.

Herr, Joel L.↗

Radiation Issues and Applications of Floating Gate Memories

The radiation effects that affect various systems that comprise floating gate memories are presented. The wear-out degradation results of unirradiated flash memories are compared to irradiated flash memories. The procedure analyzes the failure to write and erase caused by wear-out and degradation of internal charge pump circuits. A method is described for characterizing the radiation effects of the floating gate itself. The rate dependence, stopping power dependence, SEU susceptibility and applications of floating gate in radiation environment are presented. The ramifications for dosimetry and cell failure are discussed as well as for the long term use aspects of non-volatile memories.

Scheick, L. Z.↗

Floating Probe Assembly for Measuring Temperature of Water

A floating apparatus denoted a temperature probe aquatic suspension system (TPASS) has been developed for measuring the temperature of an ocean, lake, or other natural body of water at predetermined depths. Prior instruments built for the same purpose were found to give inaccurate readings because the apparatuses themselves significantly affected the temperatures of the water in their vicinities. The design of the TPASS is intended to satisfy a requirement to minimize the perturbation of the temperatures to be measured. The TPASS includes a square-cross-section aluminum rod 28 in. (=71 cm) long with floats attached at both ends. Each float includes five polystyrene foam disks about 3/4 in.(=1.9 cm) thick and 2.5 in. (=6.4 cm) in diameter. The disks are stacked to form cylinders, bolted to the rod, and covered with hollow plastic sleeves. A metal sleeve is clamped to the middle of the aluminum rod, from whence it hangs down into the water. Temperature probes (which can be thermocouples, thermistors, or resistance temperature devices) are placed within the sleeve at the desired measurement depths. Wires from the temperature probes are routed to the input terminals of a data logger.

Stewart, Randy↗

Floating Probe Assembly for Measuring Temperature of Water

A floating apparatus denoted a temperature probe aquatic suspension system (TPASS) has been developed for measuring the temperature of an ocean, lake, or other natural body of water at predetermined depths. Prior instruments built for the same purpose were found to give inaccurate readings because the apparatuses themselves significantly affected the temperatures of the water in their vicinities. The design of the TPASS is intended to satisfy a requirement to minimize the perturbation of the temperatures to be measured. The TPASS includes a square-cross-section aluminum rod 28 in. (approx. = 71 cm) long with floats attached at both ends. Each float includes five polystyrene foam disks about 3/4 in. (approx. = 1.9 cm) thick and 2.5 in. (approx. = 6.4 cm) in diameter. The disks are stacked to form cylinders, bolted to the rod, and covered with hollow plastic sleeves. A metal sleeve is clamped to the middle of the aluminum rod, from whence it hangs down into the water. Temperature probes (which can be thermocouples, thermistors, or resistance temperature devices) are placed within the sleeve at the desired measurement depths. Wires from the temperature probes are routed to the input terminals of a data logger. This work was done by Randy

Selinsky, T.↗

Floating-diffusion electrometer with adjustable sensitivity

The effective capacitance of the floating diffusion in a floating-diffusion electrometer is modified to adjust electrometer sensitivity. This is done by changing the direct potential applied to a gate electrode proximate to the floating diffusion.

Tower, John R.↗

Tank Tests of the Effect of Rivet Heads, etc., on the Water Performance of a Seaplane Float, Special Report

A 1/3.5 full-size model of the Mark V float of the Bureau of Aeronautics, Navy Department, was tested in the NACA tank both with smooth painted bottom surfaces and with roundhead rivets, plate laps, and keel plates fitted to simulate the actual bottom of a metal float. The augmentation in water resistance due to the added roughness was found to be from 10-12% at the hum speed and from 12-14% at high speeds. The effect of the roughness of the afterbody was found to be negligible except at high trims. The model data were extrapolated to full size by the usual method which assumes the forces to vary according to Froude's law, and in the case of the smooth model by a method of separation that takes into account the effect of scale on the frictional resistance. It was concluded that the effect of rivet heads on the takeoff performance of a relatively high-powered float seaplane is of little consequence but that it may be of greater importance in the case of more moderately powered flying boats.

Parkinson, J. B.↗

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

This paper introduces a static analysis technique for computing formally verified round-off error bounds of floating-point functional expressions. The technique is based on a denotational semantics that computes a symbolic estimation of floating-point round-o errors along with a proof certificate that ensures its correctness. The symbolic estimation can be evaluated on concrete inputs using rigorous enclosure methods to produce formally verified numerical error bounds. The proposed technique is implemented in the prototype research tool PRECiSA (Program Round-o Error Certifier via Static Analysis) and used in the verification of floating-point programs of interest to NASA.

Moscato, Mariano↗

The Demographics of Rocky Free-Floating Planets and Their Detectability by WFIRST

Planets are thought to form via accretion from a remnant disk of gas and solids around a newly formed star. During this process, material in the disk either remains bound to the star as part of either a planet, a smaller celestial body, or makes up part of the the interplanetary medium; falls into the star; or is ejected from the system. Herein we use dynamical models to probe the abundance and properties of ejected material during late-stage planet formation and estimate their contribution to the free-floating planet population. We present 300 N-body simulations of terrestrial planet formation around a solar-type star, with and without giant planets present, using a model that accounts for collisional fragmentation. In simulations with Jupiter and Saturn analogs, about one-third of the initial (approx. 5 solar mass) disk mass is ejected, about half in planets more massive than Mercury but with a mass lower than 0.3 solar mass, and the remainder in smaller bodies. Most ejections occur within 25 Myr, which is shorter than the timescale typically required for Earth-mass planets to grow (30-100 Myr). When giant planets are omitted from our simulations, almost no material is ejected within 200 Myr and only about 1% of the initial disk is ejected by 2 Gyr. We show that about 2.5 terrestrial-mass planets are ejected per star in the Galaxy. We predict that the space-borne microlensing search for free-floating planets from the Wide-Field Infra-Red Space Telescope will discover up to 15 Mars-mass planets, but few free-floating Earth-mass planets.

Barclay, Thomas S.↗

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

This paper presents an abstract interpretation framework for the round-off error analysis of floating-point programs. This framework defines a parametric abstract analysis that computes, for each combination of ideal and floating-point execution path of the program, a sound over-approximation of the accumulated floating-point round-off error that may occur. In addition, a Boolean expression that characterizes the input values leading to the computed error approximation is also computed. An abstraction on the control flow of the program is proposed to mitigate the explosion of the number of elements generated by the analysis. Additionally, a widening operator is defined to ensure the convergence of recursive functions and loops. An instantiation of this framework is implemented in the prototype tool PRECiSA that generates formal proof certificates stating the correctness of the computed round-off errors.

Titolo, Laura↗

Two new free-floating or wide-orbit planets from microlensing

Planet formation theories predict the existence of free-floating planets that have been ejected from their parent systems. Although they emit little or no light, they can be detected during gravitational microlensing events. Microlensing events caused by rogue planets are characterized by very short timescales t(E) (typically below two days) and small angular Einstein radii θ(E)) (up to several μas). Here we present the discovery and characterization of two ultra-short microlensing events identified in data from the Optical Gravitational Lensing Experiment (OGLE) survey, which may have been caused by free-floating or wide-orbit planets. OGLE-2012-BLG-1323 is one of the shortest events discovered thus far (t(E) = 0.155 ± 0.005 d, θ(E) = 2.37 ± 0.10μas) and was caused by an Earth-mass object in the Galactic disk or a Neptune-mass planet in the Galactic bulge. OGLE-2017-BLG-0560 (t(E) = 0.905 ± 0.005 d, θ(E) = 38.7 ± 1.6μas) was caused by a Jupiter-mass planet in the Galactic disk or a brown dwarf in the bulge. We rule out stellar companions up to a distance of 6.0 and 3.9 au, respectively. We suggest that the lensing objects, whether located on very wide orbits or free-floating, may originate from the same physical mechanism. Although the sample of ultrashort microlensing events is small, these detections are consistent with low-mass wide-orbit or unbound planets being more common than stars in the Milky Way.

Przemek Mróz↗

PRECiSA: a static analysis tool for floating-point programs

This presentation introduces PRECiSA, a static analysis framework for analyzing floating-point programs. PRECiSA computes round-off error bounds for a class of floating-point programs, and produces a formal proof certificate of the correctness of these bounds. PRECiSA also has the capability of generating C code which is instrumented to detect unstable branching conditions from a real-number algorithm specification.

Floating-point↗

A model of the effect of the satellite photosheath on a double floating probe system

Description of a model developed to predict the interactions between multiple electrostatic probes separated by distances that are shorter than or comparable to the characteristic plasma shielding length. The computation involves crude approximations accounting for space charge effects, currents due to the emission and exchange of photoelectrons, and currents from the ambient plasma. Floating potentials are calculated by requiring current balance for each probe and solving by iterating the resulting coupled nonlinear equations. Although only qualitative accuracy is claimed, predictions using the model are found to be in good agreement with observations from the Explorer 45 satellite. The Explorer 45 satellite measures the potential difference between a pair of symmetrical spherical floating probes. The Explorer 45 data show that with increasing altitude, first, the sunward sphere will typically assume a more negative potential than the antisunward sphere; second, the polarities of the probes in the region L = 2 to 4 may switch, sometimes several times; and, finally, near the plasmapause the detector output may saturate, the sunward sphere being more negative.

Cauffman, D. P.↗

Floating reference frames for flexible spacecraft

Floating reference frames which move with the flexible body under dynamic analysis offer the advantages of a linear vibration analysis in the presence of large system rotations. When the deformations of an elastic continuum are expanded in terms of the free-free modes on an unconstrained system, the rigid body modes are found to be fixed in a reference frame called the Tisserand frame, with respect to which the relative momentum is zero. This result also guarantees the independence of small variations of frame motions and coordinates for all modes with nonzero natural frequencies, a condition which can greatly simplify the formulation of equations of motion. A Modified Tisserand Constraint is introduced in order to define a floating reference frame with similar properties for an elastic body which contains spinning rotors.

Canavin, J. R.↗