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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 37 records · Page 2

All sources NASA NTRS DOE OSTI

NASA NTRS1977

DIFMOS - A floating-gate electrically erasable nonvolatile semiconductor memory technology

Electrically alterable read-only memories (EAROM's) or reprogrammable read-only memories (RPROM's) can be fabricated using a single-level metal-gate p-channel MOS technology with all conventional processing steps. Given the acronym DIFMOS for dual-injector floating-gate MOS, this technology utilizes the floating-gate technique for nonvolatile storage of data. Avalanche injection of hot electrons through gate oxide from a special injector diode in each bit is used to charge the floating gates. A second injector structure included in each bit permits discharge of the floating gate by avalanche injection of holes through gate oxide. The overall design of the DIFMOS bit is dictated by the physical considerations required for each of the avalanche injector types. The end result is a circuit technology which can provide fully decoded bit-erasable EAROM-type circuits using conventional manufacturing techniques.

Gosney, W. M.↗

NASA NTRS1978

Environment parameters and basic functions for floating-point computation

A language-independent proposal for environment parameters and basic functions for floating-point computation is presented. Basic functions are proposed to analyze, synthesize, and scale floating-point numbers. The model provides a small set of parameters and a small set of axioms along with sharp measures of roundoff error. The parameters and functions can be used to write portable and robust codes that deal intimately with the floating-point representation. Subject to underflow and overflow constraints, a number can be scaled by a power of the floating-point radix inexpensively and without loss of precision. A specific representation for FORTRAN is included.

Brown, W. S.↗

NASA NTRS1986

Paranoia.Ada: A diagnostic program to evaluate Ada floating-point arithmetic

Many essential software functions in the mission critical computer resource application domain depend on floating point arithmetic. Numerically intensive functions associated with the Space Station project, such as emphemeris generation or the implementation of Kalman filters, are likely to employ the floating point facilities of Ada. Paranoia.Ada appears to be a valuabe program to insure that Ada environments and their underlying hardware exhibit the precision and correctness required to satisfy mission computational requirements. As a diagnostic tool, Paranoia.Ada reveals many essential characteristics of an Ada floating point implementation. Equipped with such knowledge, programmers need not tremble before the complex task of floating point computation.

Hjermstad, Chris↗

NASA NTRS1990

Verification of floating-point software

Floating point computation presents a number of problems for formal verification. Should one treat the actual details of floating point operations, or accept them as imprecisely defined, or should one ignore round-off error altogether and behave as if floating point operations are perfectly accurate. There is the further problem that a numerical algorithm usually only approximately computes some mathematical function, and we often do not know just how good the approximation is, even in the absence of round-off error. ORA has developed a theory of asymptotic correctness which allows one to verify floating point software with a minimum entanglement in these problems. This theory and its implementation in the Ariel C verification system are described. The theory is illustrated using a simple program which finds a zero of a given function by bisection. This paper is presented in viewgraph form.

Hoover, Doug N.↗

NASA NTRS1927

Characteristics of a twin-float seaplane during take-off

This report presents the results of an investigation of the planing and get-away characteristics of three representative types of seaplanes, namely, single float, boat, and twin float. The experiments carried out on the single float and boat types have been reported on previously. This report covers the investigation conducted on the twin-float seaplane, the DT-2, and includes as an appendix, a brief summary of the results obtained on all three tests. At low-water speeds, 20 to 30 miles per hour, the seaplane trims by the stern and has a high resistance. Above these speeds the longitudinal control becomes increasingly effective until, with corresponding speeds of 56 to 46 miles per hour. It was further determined that an increase in the load caused little if any change in the water speed at which the maximum angle and resistance occurred, but that it did produce an increase in the maximum angle.

Crowley, John W , Jr↗

NASA NTRS1938

The Design of Floats

Following a summary of the multiplicity of domestic and foreign floats and a brief enumeration of the requirements of floats, the essential form parameters and their effect on the qualities of floats are detailed. On this basis a standard float design is developed which in model families with varying length/beam ratio and angle of dead rise is analyzed by an experimental method which permits its best utilization on any airplane.

Sottorf, W↗

NASA NTRS1994

Free-floating dual-arm robots for space assembly

Freely moving systems in space conserve linear and angular momentum. As moving systems collide, the velocities get altered due to transfer of momentum. The development of strategies for assembly in a free-floating work environment requires a good understanding of primitives such as self motion of the robot, propulsion of the robot due to onboard thrusters, docking of the robot, retrieval of an object from a collection of objects, and release of an object in an object pool. The analytics of such assemblies involve not only kinematics and rigid body dynamics but also collision and impact dynamics of multibody systems. In an effort to understand such assemblies in zero gravity space environment, we are currently developing at Ohio University a free-floating assembly facility with a dual-arm planar robot equipped with thrusters, a free-floating material table, and a free-floating assembly table. The objective is to pick up workpieces from the material table and combine them into prespecified assemblies. This paper presents analytical models of assembly primitives and strategies for overall assembly. A computer simulation of an assembly is developed using the analytical models. The experiment facility will be used to verify the theoretical predictions.

Agrawal, Sunil Kumar↗

NASA NTRS1996

Program Converts VAX Floating-Point Data To UNIX

VAX Floating Point to Host Floating Point Conversion (VAXFC) software converts non-ASCII files to unformatted floating-point representation of UNIX machine. This is done by reading bytes bit by bit, converting them to floating-point numbers, then writing results to another file. Useful when data files created by VAX computer must be used on other machines. Written in C language.

Alves, Marcos↗

NASA NTRS1997

Thermocapillary Convection in Floating Zones under Simulated Reduced-Gravity Conditions

The objective was to study thermocapillary convection in a transparent floating zone. The floating zone process is a unique process for crystal growth in that the melt is free from contamination by a crucible. Microgravity is ideal for the floating zone process because there is no significant gravity to cause the molten zone to collapse as under normal gravity. Since gravity-induced buoyancy convection is suppressed, surface- tension-induced thermocapillary convection dominates in the molten zone. In floating zone crystal growth, thermocapillary convection can be strong enough to cause formation of dopant striations and a convex growth front - both are undesirable in crystal growth.

Kou, Sindo↗

NASA NTRS2001

Design And Testing of The Floating Potential Probe For ISS

Flight 4A was an especially critical mission for the International Space Station (ISS). For the first time, the high voltage solar arrays generated significant amounts of power and long predicted environmental interactions (high negative floating potential and concomitant dielectric charging) became serious concerns. Furthermore, the same flight saw the Plasma Contacting Unit (PCU) deployed and put into operation to mitigate and control these effects. The ISS program office has recognized the critical need to verify, by direct measurement, that ISS does not charge to unacceptable levels. A Floating Potential Probe (FPP) was therefore deployed on ISS to measure ISS floating potential relative to the surrounding plasma and to measure relevant plasma parameters. The primary objective of FPP is to verify that ISS floating potential does not exceed the specified level of 40 volts with respect to the ambient. Since it is expected that in normal operations the PCU will maintain ISS within this specification, it is equivalent to say that the objective of FPP is to monitor the functionality of the PCU. In this paper, we report on the design and testing of the ISS FPP. In a separate paper, the operations and results obtained so far by the FPP will be presented.

Hillard, G. Barry↗

NASA NTRS2002

Modeling International Space Station (ISS) Floating Potentials

The floating potential of the International Space Station (ISS) as a function of the electron current collection of its high voltage solar array panels is derived analytically. Based on Floating Potential Probe (FPP) measurements of the ISS potential and ambient plasma characteristics, it is shown that the ISS floating potential is a strong function of the electron temperature of the surrounding plasma. While the ISS floating potential has so far not attained the pre-flight predicted highly negative values, it is shown that for future mission builds, ISS must continue to provide two-fault tolerant arc-hazard protection for astronauts on EVA.

Ferguson, Dale C.↗

NASA NTRS2020

Characterisation of Float Rocks at Ireson Hill, Gale Crater

Float rocks discovered by surface missions on Mars have given unique insights into the sedimentary, diagenetic and igneous processes that have operated throughout the planet’s history. In addition, Gale sedimentary rocks, both float and in situ, record a combination of source compositions and diagenetic overprints. We examine a group of float rocks that were identified by the Mars Science Laboratory mission’s Curiosity rover at the Ireson Hill site, circa. sol 1600 using ChemCam LIBS, APXS and images from the MastCam, Mars Hand Lens Imager (MAHLI) and ChemCam Remote Micro-Imager (RMI) cameras. Geochemical data provided by the APXS and ChemCam instruments allow us to compare the compositions of these rocks to known rock types from Gale crater, as well as elsewhere on Mars. Ireson Hill is a 15 m long butte in the Murray formation with a dark cap-ping unit with chemical and stratigraphic consistency with the Stimson formation. A total of 6 float rocks have been studied on the butte.

Bowden, D. L.↗

NASA NTRS2019

A Mixed Real and Floating-Point Solver

Reasoning about mixed real and floating-point constraints is essential for developing accurate analysis tools for floating-point pro- grams. This paper presents FPRoCK, a prototype tool for solving mixed real and floating-point formulas. FPRoCK transforms a mixed formula into an equisatisfiable one over the reals. This formula is then solved using an off-the-shelf SMT solver. FPRoCK is also integrated with the PRECiSA static analyzer, which computes a sound estimation of the round-off error of a floating-point program. It is used to detect infeasible computational paths, thereby improving the accuracy of PRECiSA.

Salvia, Rocco↗

NASA NTRS1971

A fixed bias, floating double probe technique with simple Langmuir probe characteristics

A new floating double-probe method is presented which has advantages over other floated-probe systems previously described in literature. The method utilized two electrodes, one of constant area and the other with a variable area. The two-electrode configuration is separated by a fixed bias voltage. The current-voltage characteristics of the new technique, which are generated by varying the area of the one electrode, are identical to those of a simple Langmuir probe, thus coupling all the advantages of a floated-probe system with the simple analysis scheme generally applied to the Langmuir probe for the determination of plasma density and temperature.

Szuszczewicz, E. P.↗

NASA NTRS1972

Fixed-bias floating double-probe technique with simple Langmuir-probe characteristics.

A new floating double-probe method is presented which has advantages over other floated-probe systems heretofore described in the literature. The method utilizes two electrodes, one of constant area and the other with a variable area, and the two-electrode configuration is separated by a fixed bias voltage. The current-voltage characteristics of the new technique, which are generated by varying the area of one electrode, are identical to those of a simple Langmuir probe, thus coupling all the advantages of a floated-probe system with the simple analysis scheme generally applied to the Langmuir probe for the determination of plasma density and temperature.

Szuszczewicz, E. P.↗

NASA NTRS1974

Studies of liquid floating zones on SL-IV, the third Skylab mission

The behavior of liquid floating zones in a zero-gravity environment was studied by Dr. E. Gibson on SL-4. These experiments were designed from the results of previous work on floating zones in a simulated zero-gravity model. Molten floating zones are used on earth for the crystal growth and zone refining of reactive materials. The Skylab studies give some insight into the problems associated with the development of the technique for the future space processing of materials. Preliminary results are presented on the stability of the liquid zone surface under static, rotational and vibrational conditions without gravitational constraints.

Carruthers, J. R.↗

NASA NTRS1975

Geophysical studies of floating ice by remote sensing

This paper presents an overview of recent remote-sensing techniques as applied to geophysical studies of floating ice. The current increase in scientific interest in floating ice has occurred during a time of rapid evolution of both remote-sensing platforms and sensors. Mesoscale and macroscale studies of floating ice are discussed under three sensor categories: visual, passive microwave, and active microwave. The specific studies that are reviewed primarily investigate ice drift and deformation, and ice type and ice roughness identification and distribution.

Campbell, W. J.↗

NASA NTRS1976

Float-zone processing in a weightless environment

The results were reported of investigations to: (1) test the validity of analyses which set maximum practical diameters for Si crystals that can be processed by the float zone method in a near weightless environment, (2) determine the convective flow patterns induced in a typical float zone, Si melt under conditions perceived to be advantageous to the crystal growth process using flow visualization techniques applied to a dimensionally scaled model of the Si melt, (3) revise the estimates of the economic impact of space produced Si crystal by the float zone method on the U.S. electronics industry, and (4) devise a rational plan for future work related to crystal growth phenomena wherein low gravity conditions available in a space site can be used to maximum benefit to the U.S. electronics industry.

Fowle, A. A.↗