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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
NASA NTRS1994

Linear Proof Mass Actuator

This paper describes the mechanical design, analysis, fabrication, testing, and lessons learned by developing a uniquely designed spaceflight-like actuator. The linear proof mass actuator (LPMA) was designed to attach to both a large space structure and a ground test model without modification. Previous designs lacked the power to perform in a terrestrial environment while other designs failed to produce the desired accelerations or frequency range for spaceflight applications. Thus, the design for a unique actuator was conceived and developed at NASA Langley Research Center. The basic design consists of four large mechanical parts (mass, upper housing, lower housing, and center support) and numerous smaller supporting components including an accelerometer, encoder, and four drive motors. Fabrication personnel were included early in the design phase of the LPMA as part of an integrated manufacturing process to alleviate potential difficulties in machining an already challenging design. Operating testing of the LPMA demonstrated that the actuator is capable of various types of load functions.

Holloway, Sidney E., III↗
NASA NTRS1995

Linear Proof Mass Actuator

This paper describes the mechanical design, analysis, fabrication, testing, and lessons learned by developing a uniquely designed spaceflight-like actuator. The Linear Proof Mass Actuator (LPMA) was designed to attach to both a large space structure and a ground test model without modification. Previous designs lacked the power to perform in a terrestrial environment while other designs failed to produce the desired accelerations or frequency range for spaceflight applications. Thus, the design for a unique actuator was conceived and developed at NASA Langley Research Center. The basic design consists of four large mechanical parts (Mass, Upper Housing, Lower Housing, and Center Support) and numerous smaller supporting components including an accelerometer, encoder, and four drive motors. Fabrication personnel were included early in the design phase of the LPMA as part of an integrated manufacturing process to alleviate potential difficulties in machining an already challenging design. Operational testing of the LPMA demonstrated that the actuator is capable of various types of load functions.

Holloway, S. E., III↗
NASA NTRS1994

On the detection of mutual perturbations as proof of planets around PSR1257+12

Unambiguous detection of the consequences of mutual perturbations of the hypothesized planets about the pulsar PSR1257+12 would be unassailable proof of their existence. Nearly all of the residuals in the times of arrival (TOA) of the pulses after subtraction of the TOA predicted from the best fit constant period model are accounted for by including the effects of two orbiting planets with constant orbital parameters. The nature and magnitude of additional residuals in the TOA due to the gravitational interactions between the planets are determined by numerically calculating the TOA residuals for the orbital motion including the perturbations and subtracting the TOA residuals from analytic expressions of the orbital motion with orbital parameters fixed at averaged values. The TOA residual differences so obtained oscillate with periods comparable to the orbital periods with the oscillations varying in amplitude as a function of epoch within any given observational period. The signature of the perturbations is thus a quasiperiodic modulation of the residual differences obtained after removal of the effects of the orbital motion with best fit, constant orbital parameters. The amplitudes of this modulation reach about 10 microsecond for observational periods exceeding 1000 days for the minimum planetary masses with sin i = 1, and they increase as 1/sin i for 1/sin i less than 5, where i is the inclination of the orbit plane to that of the sky. Greater accumulated phase differences between the effects of perturbed and unperturbed orbital motions are available in the times of zero values in the observed and predicted TOA residuals and these comprise a second signature of the perturbations. The perturbation signatures should become detectable as the observation interval approaches 1000 days.

Peale, S. J.↗
NASA NTRS1995

Linear Proof-Mass Actuator

Linear proof-mass actuator (LPMA) is friction-driven linear mass actuator capable of applying controlled force to structure in outer space to damp out oscillations. Capable of high accelerations and provides smooth, bidirectional travel of mass. Design eliminates gears and belts. LPMA strong enough to be used terrestrially where linear actuators needed to excite or damp out oscillations. High flexibility designed into LPMA by varying size of motors, mass, and length of stroke, and by modifying control software.

Holloway, Sidney E., III↗
NASA NTRS1995

SSFF Health Management Analysis Report. Part 2: Proof of Concept

In this Proof of Concept analysis on SSFF Health Management the following area was described: the Gas Distribution Subsystem (GDS) was studied and evaluated utilizing the PDR Configuration and with respect to the design features encompassing Health Management (HM) aspects outlined in the Generic Handbook. From the results of this study, it was found that there is a definite need for coordinating measurements within and between the subsystems that will ensure that Functional Failures are properly revealed and substantiated as valid by other measurements, even those from other interfacing subsystems.

Wilson, L.↗
NASA NTRS1996

A proof of concept investigation: A unique mobility spectrometer for In Situ diagnostics of positive and negative ion distributions in the mesosphere and lower ionosphere

We have carried out a proof-of-concept development and test effort that not only promises the reduction of parasitic effects of surface contamination (therefore increasing the integrity of 'in situ' measurements in the 60-130 km regime), but promises a uniquely expanded measurement set that includes electron densities, plasma conductivities, charged-particle mobilities, and mass discrimination of positive and negative ion distributions throughout the continuum to free-molecular-flow regimes. Three different sensor configurations were designed, built and tested, along with specialized driving voltage, electrometer and channeltron control electronics. The individual systems were tested in a variety of simulated space environments ranging from pressures near the continuum limit of 100 mTorr to the collisionless regime at 10(exp -6) Torr. Swept modes were initially employed to better understand ion optics and ion 'beam' losses to end walls and to control electrodes. This swept mode also helped better understand and mitigate the influences of secondary electrons on the overall performance of the PIMS design concept. Final results demonstrated the utility of the concept in dominant single-ion plasma environments. Accumulated information, including theoretical concepts and laboratory data, suggest that multi-ion diagnostics are fully within the instrument capabilities and that cold plasma tests with minimized pre-aperture sheath acceleration are the key ingredients to multi-ion success.

Szuszczewicz, Edward P.↗
NASA NTRS1996

A Proof of Concept Experiment for Reducing Skin Friction by Using a Micro-Blowing Technique

A proof of concept experiment for reducing skin friction has been conducted in the Advanced Nozzle and Engine Components Test Facility at the NASA Lewis Research Center. In this unique concept, called the micro-blowing technique (MBT), an extremely small amount of air was blown vertically through very small holes to reduce the surface roughness and to control the gradient of the flow velocity profile on the surface thereby reducing skin friction. Research revealed that the skin was the most important factor to make this concept achievable. The proposed skin consisted of two layers. The inner layer was a low permeable porous skin for distributing the blowing air evenly while the outer layer with small holes controlled the vertical or nearly vertical blowing air. Preliminary experimental results showed that the MBT has the potential of a very large reduction in skin friction below the skin friction of a nonporous plain flat plate. Of the skins tested, three have been identified as the MBT skins. They provided very low unblown skin friction such that a large skin friction reduction, below a flat plate value, was achieved with very small amounts of blowing air. The reduction in skin friction of 55 percent was achieved at the Mach number of 0.3 for the exhaust pressure of 0.85 atm, and 60 percent reduction was obtained for the exhaust pressure of 0.24 atm (corresponding to 10 700-m altitude) at the same Mach number. A significant reduction in skin friction of over 25 percent was achieved for the exhaust pressure of 0.24 atm at the Mach number of 0.7. This implied that the MBT could be applied to a wide range of flight conditions. It is also believed that additional 10 percent reduction could be obtained by eliminating the gap between the inner layer and the outer layer. The aspect ratio of the vertical small holes for the outer layer of the MBT skin should be larger than 4 based on the preliminary conclusion from this test. Many experiments are needed to find out the optimal MBT skin. The penalty associated with the MBT needs to be assessed. However, preliminary results indicated that the MBT could provide a 25 to 35 percent reduction for real-world application. The concept can be applied to not only an airplane, but also a missile, a submarine (micro-blow water instead of air), and an ocean liner.

Hwang, Danny P.↗
NASA NTRS1996

The Unique Significance and Origin of the Cretaceous-Tertiary Boundary: Historical Context and Burdens of Proof

The abruptness and intensity of the Cretaceous-Tertiary boundary have been deemphasized by some authors over recent years, mainly by those skeptical of an impact origin for the boundary. However, it was recognized at the birth of stratigraphy as both abrupt and of major importance. It was used to define the change from the Mesozoic to the Cenozoic; the boundary has become continually more precisely defined and its global sequences more correlatable. It is now unique in being an event boundary marked by an iridium-bearing layer of global extent, rather than an arbitrary boundary in a sequence of little change. The Permian-Triassic boundary, in contrast, is arbitrary and the transition is not yet proven to be abrupt, the extinctions that define it perhaps having taken place in pulses over several millions of years. Some of those who have denied the importance (and in some cases even the existence) of an impact in the Cretaceous-Tertiary extinctions have placed burdens of proof on the impact hypothesis that they do not place on strictly terrestrial mechanisms. Terrestrial mechanisms have always been unsatisfactory (or at least unconvincing for global, massive, multienvironment faunal change) and are now even more so. Some authors have required of the impact hypothesis attributes that are not inherent in it, including particular patterns of extinction selectivity and timing.

Ryder, Graham↗
NASA NTRS2001

Response of the Alliance 1 Proof-of-Concept Airplane Under Gust Loads

This report presents the work performed by Lockheed Martin's Langley Program Office in support of NASA's Environmental Research Aircraft and Sensor Technology (ERAST) program. The primary purpose of this work was to develop and demonstrate a gust analysis method which accounts for the span-wise variation of gust velocity. This is important because these unmanned aircraft having high aspect ratios and low wing loading are very flexible, and fly at low speeds. The main focus of the work was therefore to perform a two-dimensional Power Spectrum Density (PSD) analysis of the Alliance 1 Proof-of-Concept Unmanned Aircraft, As of this writing, none of the aircraft described in this report have been constructed. They are concepts represented by analytical models. The process first involved the development of suitable structural and aeroelastic Finite Element Models (FEM). This was followed by development of a one-dimensional PSD gust analysis, and then the two-dimensional (PSD) analysis of the Alliance 1. For further validation and comparison, two additional analyses were performed. A two-dimensional PSD gust analysis was performed on a simplet MSC/NASTRAN example problem. Finally a one-dimensional discrete gust analysis was performed on Alliance 1. This report describes this process, shows the relevant comparisons between analytical methods, and discusses the physical meanings of the results.

Naser, A. S.↗
NASA NTRS2001

Integrated Workforce Planning Model: A Proof of Concept

Recently, the Workforce and Diversity Management Office at KSC have launched a major initiative to develop and implement a competency/skill approach to Human Resource management. As the competency/skill dictionary is being elaborated, the need for a competency-based workforce-planning model is recognized. A proof of concept for such a model is presented using a multidimensional data model that can provide the data infrastructure necessary to drive intelligent decision support systems for workforce planing. The components of competency-driven workforce planning model are explained. The data model is presented and several schemes that would support the workforce-planning model are presented. Some directions and recommendations for future work are given.

Guruvadoo, Eranna K.↗
NASA NTRS2003

Proof Rules for Automated Compositional Verification through Learning

Compositional proof systems not only enable the stepwise development of concurrent processes but also provide a basis to alleviate the state explosion problem associated with model checking. An assume-guarantee style of specification and reasoning has long been advocated to achieve compositionality. However, this style of reasoning is often non-trivial, typically requiring human input to determine appropriate assumptions. In this paper, we present novel assume- guarantee rules in the setting of finite labelled transition systems with blocking communication. We show how these rules can be applied in an iterative and fully automated fashion within a framework based on learning.

Barringer, Howard↗
NASA NTRS2003

Proof-of-Concept Application of Impedance-Based Health Monitoring on Space Shuttle Ground Structures

Many of the structures responsible for the launch, ground systems and support operations of the space shuttle are still being used well past their nominal expected design life. This has led to an increased interest in monitoring these structures in order to decrease the risk of eventual breakdown or structural failure. One monitoring method, which has shown promising results for such applications, is the impedance-based structural health monitoring technique. This paper presents results from proof-of-concept tests on the launch pad's orbiter access arm bolted connection, solid rocket booster hold down post, mobile launch platform heat shield and crawler transporter bearing. Modification for future tests are suggested.

Peairs, Daniel M.↗
NASA NTRS2004

Remote Sensing of the Haughton Impact Structure (HIS): A Terrestrial Proof of Concept for Using the Remote Sensing of Martian Craters as a Probe of Subsurface Composition

Impact cratering is the most widespread geological process in the Solar System. Impact craters can provide 'windows' into the subsurfaces of planetary bodies through excavation and uplift. By utilizing remote methods in the visible and near infrared (VNIR; 0.4-1.4 micron), short-wavelength infrared (SWIR; 1.4-2.5 micron) and thermal infrared (TIR 7-14 micron), subsurface mineral compositions may be identified and mapped via impact craters. Complex craters in particular, expose minerals from both the shallow and deep-seated subsurface, which may be identified spectroscopically. Complex craters have morphological features such as central peaks or peak rings, which are composed of relatively coherent lithologies tapped from deep-seated crustal components. While near-surface crustal components can be observed as coherent rocks uplifted and exposed in the rim and the crater walls, and from the ejecta deposits. Only two previously published studies using this approach have been successful on large planetary bodies. Tompkins and Pieters utilized ultraviolet and VNIR from Clementine to characterize near- and deep-subsurface materials in and around lunar craters. The work of Ramsey and Wright was the first remote spectroscopic study to successfully identify near-subsurface materials in the ejecta and crater wall of a terrestrial impact structure, namely Meteor Crater. Here we present early results of a third such study, a remote spectroscopy evaluation of the Haughton impact structure (HIS). The purpose of this study is to serve as terrestrial proof of concept that remote visible/infrared spectroscopic methods in this case, analysis of LANDSAT 7 ETM+ and ASTER data of the well-preserved HIS can be utilized in deciphering the subsurface composition of planetary crusts. This technique is particularly promising for Mars were limited tectonic uplift and ubiquitous dust-mantling offer few opportunities to access subsurface information.

Tornabene, L. L.↗
NASA NTRS2009

Coloured Petri Net Refinement Specification and Correctness Proof with Coq

In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of their type refinement in COQ. Then the COQ proof assistant is used to prove the refinement correctness lemma. An example adapted from a protocol example illustrates our work.

Choppy, Christine↗
NASA NTRS2009

Proof of Concept Study of Trade Space Configuration Tool for Spacecraft Design

Spacecraft design is a very difficult and time consuming process because requirements and criteria are often changed or modified as the design is refined. Accounting for these adjustments in the design constraints plays a significant role in furthering the overall progress. There are numerous aspects and variables that hold significant influence on various characteristics of the design. This can be especially frustrating when attempting to conduct rapid trade space analysis on system configurations. Currently, the data and designs considered for trade space evaluations can only be displayed by using the traditional interfaces of Excel spreadsheets or CAD (Computer Aided Design) models. While helpful, these methods of analyzing the data from a systems engineering approach can be rather complicated and overwhelming. As a result, a proof of concept was conducted on a dynamic data visualization software called Thinkmap SDK (Software Developer Kit) to allow for better organization and understanding of the relationships between the various aspects that make up an entire design. The Orion Crew Module Aft Bay Subsystem was used as the test case for this study because the design and layout of many of the subsystem components will be significant in ensuring the overall center of gravity of the capsule is correct. A simplified model of this subsystem was created and programmed using Thinkmap SDK to create a preliminary prototype application of a Trade Space Configuration Tool. The completed application ensures that the core requirements for the Tool can be met. Further development is strongly suggested to produce a full prototype application to allow final evaluations and recommendations of the software capabilities.

Glidden, Geoffrey L.↗
NASA NTRS2010

Proof-of-Concept Studies for a Local Tie Monitoring System

We present preliminary results of proof-of-concept studies for an automatic monitoring system of local site ties. The system is based on the usage of robotic total stations. A set of tests were performed with a Leica TCA2003 total station on the local network of Goddard s Geophysical and Astronomical Observatory (GGAO) and the 5-m VLBI antenna at this site. Both the TCA2003 and the VLBI antenna are controlled from a Matlab-coded control program. Running specific observational programs, data were collected that indicate that the reference point of the VLBI antenna can be automatically determined with an accuracy of 1 mm or better.

Schmeing, Benno↗
NASA NTRS2010

The NASA VLBI2010 Proof-of-Concept Demonstration and Future Plans

The next generation geodetic VLBI instrument is being developed with a goal of 1 mm position uncertainty in twenty-four hours. We have implemented a proof-of-concept system for a possible VLBI2010 signal chain, from feed through recorder, on the Westford (Massachusetts, USA) 18-m and MV-3 (Maryland, USA) 5-m antennas. Data have been obtained in four 512 MHz bands spanning the range 3.5 to 11 GHz to investigate the sensitivity and phase delay capability of the system. Using a new phase cal design, the phases have been aligned across four bands spanning 2 GHz with an RMS deviation of approximately eight degrees. Several components of the system will be improved for the prototype version of VLBI2010, including the feed, digital backend, and recorder, and these will be installed on a 12-m antenna that has been purchased and is ready for installation at the Goddard Space Flight Center outside of Washington, D.C., USA, site of the MV-3 antenna.

Niell, Arthur↗
NASA NTRS2010

SPARCLE: Electrostatic Dust Control Tool Proof of Concept

Successful exploration of most planetary surfaces, with their impact-generated dusty regoliths, will depend on the capabilities to keep surfaces free of the performance-compromising dust. Once in contact with surfaces, whether set in motion by natural or mechanical means, regolith fines, or dust, behave like abrasive Velcro, coating surfaces, clogging mechanisms, making movement progressively more difticult, and being almost impossible to remove by mechanical mcans (brushing). The successful dust removal strategy will deal with dust dynamics resulting from interaction between Van der Waals and Coulombic forces. Here, proof of concept for an electrostatically-based concept for dust control tool is described and demonstrated. A low power focused electron beam is used in the presence of a small electrical field to increase the negative charge to mass ratio of a dusty surface until dust repulsion and attraction to a lower potential surface, acting as a dust collector, occurred. Our goal is a compact device of less than 5 kg mass and using less than 5 watts of power to be operational in less than 5 years with heritage from ionic sweepers for active spacecraft potential control (e.g ., on POLAR). Rovers could be fitted with devices that could hamess the removal of dust for sampling as part of the extended exploration process on Mercury, Mars, asteroids or outer solar system satellites, as well as the Moon.

Clark, P. E.↗