Search NASA⌕ Search

SEARCH · Search NASA

Results for “proof”

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 271 records · Page 15

Proof-of-Concept Trajectory Designs for a Multi-Spacecraft, Low-Thrust Heliocentric Solar Weather Buoy Mission

A new solar weather mission has been proposed, involving a dozen or more small spacecraft spaced at regular, constant intervals in a mutual heliocentric circular orbit between the orbits of Earth and Venus. These solar weather buoys (SWBs) would carry instrumentation to detect and measure the material in solar flares, solar energetic particle events, and coronal mass ejections as they flowed past the buoys, serving both as science probes and as a radiation early warning system for the Earth and interplanetary travelers to Mars. The baseline concept involves placing a mothercraft carrying the SWBs into a staging orbit at the Sun-Earth L1 libration point. The mothercraft departs the L1 orbit at the proper time to execute a trailing-edge lunar flyby near New Moon, injecting it into a heliocentric orbit with its perihelion interior to Earth s orbit. An alternative approach would involve the use of a Double Lunar Swingby (DLS) orbit, rather than the L1 orbit, for staging prior to this flyby. After injection into heliocentric orbit, the mothercraft releases the SWBs-all equipped with low-thrust pulsed plasma thrusters (PPTs)-whereupon each SWB executes a multi-day low-thrust finite bum around perihelion, lowering aphelion such that each achieves an elliptical phasing orbit of different orbital period from its companions. The resulting differences in angular rates of motion cause the spacecraft to separate. While the lead SWB achieves the mission orbit following an insertion burn at its second perihelion passage, the remaining SWBs must complete several revolutions in their respective phasing orbits to establish them in the mission orbit with the desired longitudinal spacing. The complete configuration for a 14 SWB scenario using a single mothercraft is achieved in about 8 years, and the spacing remains stable for at least a further 6 years. Flight operations can be simplified, and mission risk reduced, by employing two mothercraft instead of one. In this scenario: the second mothercraft stays in a libration-point or DLS staging orbit until the first mothercraft has achieved nearly 180 separation from the Earth. The timing of the second mothercraft's subsequent lunar flyby is planned such that this spacecraft will be located 180 from the first mothercraft upon completion of its heliocentric circularization maneuvers. Both groups of satellites then only have to spread out over 180 to obtain full 360 coverage around the Sun.

Muller, Ronald↗

A Numerical Investigation of Turbine Noise Source Hierarchy and Its Acoustic Transmission Characteristics: Proof-of-Concept Progress

A CFD-based simulation of single-stage turbine was done using the TURBO code to assess its viability for determining acoustic transmission through blade rows. Temporal and spectral analysis of the unsteady pressure data from the numerical simulations showed the allowable Tyler-Sofrin modes that are consistent with expectations. This indicated that high-fidelity acoustic transmission calculations are feasible with TURBO.

VanZante, Dale↗

Embedded ESD Protection Proof of Concept

The purpose of this project is to characterize and correlate Electrostatic Discharge (ESD) sensitivity levels of an Integrated Circuit (IC) package using Transmission Line Pulse (TLP) and Human Body Model (HBM) methods. This characterization will be used as a baseline ESD sensitivity level to demonstrate improvement to the ESD sensitivity of the IC package through the use of EPI-FLO(Trade Mark) Polymer Voltage Suppression (PVS) protection devices developed and manufactured by Electronic Polymers, Inc. (EPI).

Human Body Model (HBM) methods↗

OTF Proof of Concept: CCSDS Mission Operations Alert Services

Conclusions: Use of multiple vendor frameworks within a component creates thread lockups and fragility conflicts over the control of the main thread. Avoid closed vendor messaging frameworks. The MAL layer does isolate the data elements from the messaging framework but application work dispatch is heavily dominated by the framework chosen. API Language is a major factor in implementation. Message APIs with timeouts seem unavoidable in some environments (GUI). Language environment needs to support callbacks (or threads) from the messaging framework to deal with pub/sub management messages and status. Statusing of application communications demand a local broker agent per physical system or else the use of the AMSstyle registrar heartbeat.

Reynolds, Walt↗

Hardware-Independent Proofs of Numerical Programs

On recent architectures, a numerical program may give different answers depending on the execution hardware and the compilation. Our goal is to formally prove properties about numerical programs that are true for multiple architectures and compilers. We propose an approach that states the rounding error of each floating-point computation whatever the environment. This approach is implemented in the Frama-C platform for static analysis of C code. Small case studies using this approach are entirely and automatically proved

Boldo, Sylvie↗

Nickel-Titanium Alloys: Corrosion "Proof" Alloys for Space Bearing, Components and Mechanism Applications

An intermetallic nickel-titanium alloy, 60NiTi (60wt%Ni, 40wt%Ti), is shown to be a promising candidate tribological material for space mechanisms. 60NiTi offers a broad combination of physical properties that make it unique among bearing materials. 60NiTi is hard, electrically conductive, highly corrosion resistant, readily machined prior to final heat treatment, and is non-magnetic. Despite its high titanium content, 60NiTi is non-galling even under dry sliding. No other bearing alloy, metallic or ceramic, encompasses all of these attributes. Since 60NiTi contains such a high proportion of titanium and possesses many metallic properties, it was expected to exhibit poor tribological performance typical of titanium alloys, namely galling type behavior and rapid lubricant degradation. In this poster-paper, the oil-lubricated behavior of 60NiTi is studied.

DellaCorte, Christopher↗

Nickel-Titanium Alloys: Corrosion "Proof" Alloys for Space Bearing, Components and Mechanism Applications

An intermetallic nickel-titanium alloy, 60NiTi (60 wt% Ni, 40 wt% Ti), is shown to be a promising candidate tribological material for space mechanisms. 60NiTi offers a broad combination of physical properties that make it unique among bearing materials. 60NiTi is hard, electrically conductive, highly corrosion resistant, readily machined prior to final heat treatment, and is non-magnetic. Despite its high Ti content, 60NiTi is non-galling even under dry sliding. No other bearing alloy, metallic or ceramic, encompasses all of these attributes. Since 60NiTi contains such a high proportion of Ti and possesses many metallic properties, it was expected to exhibit poor tribological performance typical of Ti alloys, namely galling type behavior and rapid lubricant degradation. In this poster-paper, the oil-lubricated behavior of 60NiTi is presented.

DellaCorte, Christopher↗

Zero Secular Torque on Asteroids from Impinging Solar Photons in the YORP Effect: A Simple Proof

YORP torques, where "YORP" stands for "Yarokovsky-O'Keefe-Radzievskii-Paddack." arise mainly from sun light reflected off a Solar System object and the infrared radiation emi tted by it. We show here, through the most elementary demonstration that we Can devise, that secular torques from impinging solar photons are generally negligible and thus cause little secular evolution of an asteroid's obliquity or spin rate.

Rubincam, David Perry↗

Resilient and Corrosion-Proof Rolling Element Bearings Made from Superelastic Ni-Ti Alloys for Aerospace Mechanism Applications

Mechanical components (bearings, gears, mechanisms) typically utilize hard materials to minimize wear and attain long life. In such components, heavily loaded contact points (e.g., meshing gear teeth, bearing ball-raceway contacts) experience high contact stresses. The combination of high hardness, heavy loads and high elastic modulus often leads to damaging contact stress. In addition, mechanical component materials, such as tool steel or silicon nitride exhibit limited recoverable strain (typically less than 1 percent). These material attributes can lead to Brinell damage (e.g., denting) particularly during transient overload events such as shock impacts that occur during the launching of space vehicles or the landing of aircraft. In this paper, a superelastic alloy, 60NiTi, is considered for rolling element bearing applications. A series of Rockwell and Brinell hardness, compressive strength, fatigue and tribology tests are conducted and reported. The combination of high hardness, moderate elastic modulus, large recoverable strain, low density, and intrinsic corrosion immunity provide a path to bearings largely impervious to shock load damage. It is anticipated that bearings and components made from alloys with such attributes can alleviate many problems encountered in advanced aerospace applications.

DellaCorte, Christopher↗

Resilient and Corrosion-Proof Rolling Element Bearings Made from Superelastic Ni-Ti Alloys for Aerospace

Mechanical components (bearings, gears, mechanisms) typically utilize hardened construction materials to minimize wear and attain long life. In such components, loaded contact points (e.g., meshing gear teeth, bearing balls-raceway contacts) experience high contact stresses. The combination of high hardness and high elastic modulus often leads to damaging contact stress and denting, particularly during transient overload events such as shock impacts that occur during the launching of space vehicles or the landing of aircraft. In this webinar, Dr. DellaCorte will introduce the results of a research project that employs a superelastic alloy, Ni-Ti for rolling element bearing applications. Bearings and components made from such alloys can alleviate many problems encountered in advanced aerospace applications and may solve many terrestrial applications as well

intermetallics↗

Resilient and Corrosion-proof Rolling Element Bearings Made from Ni-ti Alloys for Aerospace Mechanism Applications and the Ultimate Space Technology Development Platform

The International Space Station provides a unique microgravity laboratory environment for research. The ISS also serves as an effective platform for the development of technologies and engineered solutions related to living and working in space. The space environment also challenges our capabilities related to lubrication and tribology. In this seminar, Dr. DellaCorte will review the basics of space mechanism tribology and the challenges of providing good lubrication and long-life in the harsh space environment. He will also discuss recent tribological challenges associated with the Solar Alpha Rotary Joint (SARJ) bearings and life support hardware that must operate under severe conditions that are literally out of this world. Each tribology challenge is unique and their solutions often result in new technologies that benefit the tribology community everywhere, even back on Earth

bearings↗

The Hopper: A Wearable Robotic Device Testbed for Micro-Gravity Bone-Loading Proof-of-Concept

Wearable robotic systems are showing increased potential for addressing crew countermeasures needs. Wearable robots offer a compactness, programmability, and eccentric loading capability not present in more conventional exercise equipment. Correspondingly, advancements in the man to machine interface has progressed, allowing for higher loads to be applied directly to the person in new and novel ways. Recently, the X1 exoskeleton, a lower extremity wearable robot originally designed for mobility assistance and rehabilitation, underwent human subject testing to assess its potential as a knee dynamometer. This was of interest to NASA physiologists because currently strength is not assessed in flight due to hardware limitations, and thus there is a poor understanding of the time course of in-flight changes to muscle strength. The study concluded that the X1 compared well with the Biodex, the "gold standard" in terrestrial dynamometry, with coefficients of variation less than 6.0%. In a following study, the X1 powered ankle was evaluated for its efficacy in exercising calf muscles. Current on-orbit countermeasures equipment does not adequately protect the calf from atrophy. The results of this study were also positive (targeted muscle activity demonstrated via comparing pre- and post-exercise magnetic resonance imaging T2 measurements), again showing the efficacy of wearable robotic devices for addressing the countermeasure needs of our astronauts. Based on these successes and lessons learned, the Grasshopper was co-developed between IHMC (Florida Institute for Human and Machine Cognition) and NASA. The Grasshopper, or the Hopper for short, is a wearable robotic device designed to address muscle and bone density loss for astronauts spending extended periods of time in micro-gravity. The Grasshopper connects to the user's torso like a hiking backpack, over the shoulders and around the waist. At the feet are footplates that strap to the user. There are two actuators, one at each "knee" joint, which are capable of high fidelity torque control. Because the Hopper uses motors instead of gravity to create the load on the user, the device is suited for use on space missions. Exercise in zero-gravity conditions is critical to maintain muscle strength and bone mass. In operation, the actuators try to fold up, or collapse, the device, putting a compressive load between the user's feet and torso. This force is similar to carrying a heavy backpack. The user then bends and extends his or her knees, replicating a weightlifting squat exercise. The applied load is precisely controlled by a computer, and can be programmed to simulate gravitation loads or any desired load prescription, such as free-weight squat exercise. It is even possible to perform eccentric exercises, or negatives, without the need for a spotter. Because the hip joints, as well as the spine and long leg bones, are in the applied load path, there is the potential to stimulate bone growth, countering the typical bone loss when astronauts return from extended duration space travel.

Beck, C. E.↗

Proof Compression and the Mobius PCC Architecture for Embedded Devices

The EU Mobius project has been concerned with the security of Java applications, and of mobile devices such as smart phones that execute such applications. In this talk, I'll give a brief overview of the results obtained on on-device checking of various security-related program properties. I'll then describe in more detail how the concept of certified abstract interpretation and abstraction-carrying code can be applied to polyhedral-based analysis of Java byte code in order to verify properties pertaining to the usage of resources of a down-loaded application. Particular emphasis has been on finding ways of reducing the size of the certificates that accompany a piece of code.

Jensen, Thomas↗