Search NASA⌕ Search

SEARCH · Search NASA

Results for “Tests of general relativity”

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 595 records · Page 33
All sourcesNASA NTRSDOE OSTI
NASA NTRS1987

Analysis and synthesis of abstract data types through generalization from examples

The discovery of general patterns of behavior from a set of input/output examples can be a useful technique in the automated analysis and synthesis of software systems. These generalized descriptions of the behavior form a set of assertions which can be used for validation, program synthesis, program testing, and run-time monitoring. Describing the behavior is characterized as a learning process in which the set of inputs is mapped into an appropriate transform space such that general patterns can be easily characterized. The learning algorithm must chose a transform function and define a subset of the transform space which is related to equivalence classes of behavior in the original domain. An algorithm for analyzing the behavior of abstract data types is presented and several examples are given. The use of the analysis for purposes of program synthesis is also discussed.

Wild, Christian↗
NASA NTRS1991

Ordinal judgments of numerical symbols by macaques (Macaca mulatta)

Two rhesus monkeys (Macaca mulatta) learned that the arabic numerals 0 through 9 represented corresponding quantities of food pellets. By manipulating a joystick, the monkeys were able to make a selection of paired numerals presented on a computer screen. Although the monkeys received a corresponding number of pellets even if the lesser of the two numerals was selected, they learned generally to choose the numeral of greatest value even when pellet delivery was made arrhythmic. In subsequent tests, they chose the numerals of greater value when presented in novel combinations or in random arrays of up to five numerals. Thus, the monkeys made ordinal judgments of numerical symbols in accordance with their absolute or relative values.

Washburn, David A.↗
NASA NTRS1992

Spacelab Life Sciences 1, development towards successive life sciences flights

A general review is presented of flight data and related hardware developments for Spacelab Life Sciences (SLS) 1 with an eye toward applying this knowledge to projected flight planning. Specific attention is given to the Research Animal Holding Facility (RAHF), the General Purpose Work Station (GPWS), the Small Mass Measuring Instrument (SMMI), and the Animal Enclosure Module (AEM). Preflight and in-flight testing methods are detailed including biocompatibility tests, parametric engineering sensitivity analyses, measurements of environmental parameters, and studies of operational interfaces. Particulate containment is demonstrated for some of the equipment, and successful use of the GPWS, RAHF, AEM, and SMMI are reported. The in-flight data are useful for developing more advanced hardware such as the AEM for SLS flight 2 and the modified RAHF for SLS flight 3.

Dalton, B. P.↗
NASA NTRS1951

Wind-tunnel investigation of six shielded total-pressure tubes at high angles of attack subsonic speeds

The effect of inclination of the air stream on the measured pressures of six shielded total-pressure tubes (all designed for end-mounting on a horizontal boom) has been determined for an angle-of-attack range of approximately -30° to 65°. The tests were conducted at a Mach number of 0.26 in the Langley stability tunnel and at Mach numbers of 0.50, 0.70, 0.90, and 0.95 in the Langley high-speed 7- by 10-foot tunnel. The results of the tests showed that curved venturi entries are less sensitive to inclination of the air stream than the conical entry of the standard Kiel design. Of the three curved entries tested, the tube having the bluntest entry proved the least sensitive to inclination. The critical angle (that is, the sngle.at which the total-pressure error equals 1 percent of the impact pressure) for this tube was ±63.2° at a Mach number of 0.26. The tests also showed that the critical angle of a shielded tube could be extended to higher positive angles of attack by means of a slant profile. The critical angle of a tube having a conical entry with a 10° slant profile, for example, was found to average 9° greater than that of a similar tube having a square profile. Although the critical angle of this tube at angles of yaw was less than that at angles of attack, the critical angle in yaw was equal to that of the tube with the square profile. Tests of the effect of varying the position of the total-pressure probe in the shield showed that, in general, no advantage was to be gained by changing from the position used in the standard Kiel design. Limited tests of the effect of varying the internal diameter of the shield showed that an increase in the diameter of the throat corresponding an increase in the internal area of 50 percent resulted in a relatively small increase (2.5°) in the critical angle. The effect of Mach number on the sensitivity of the tubes to inclination was shown to be appreciable. An increase in Mach number from 0.26 to 0.90, for example, resulted in a decrease in the critical angle of most of the tubes of about 4°.

Walter R Russell↗
NASA NTRS2007

Results from Binary Black Hole Simulations in Astrophysics Applications

Present and planned gravitational wave observatories are opening a new astronomical window to the sky. A key source of gravitational waves is the merger of two black holes. The Laser Interferometer Space Antenna (LISA), in particular, is expected to observe these events with signal-to-noise ratio's in the thousands. To fully reap the scientific benefits of these observations requires a detailed understanding, based on numerical simulations, of the predictions of General Relativity for the waveform signals. New techniques for simulating binary black hole mergers, introduced two years ago, have led to dramatic advances in applied numerical simulation work. Over the last two years, numerical relativity researchers have made tremendous strides in understanding the late stages of binary black hole mergers. Simulations have been applied to test much of the basic physics of binary black hole interactions, showing robust results for merger waveform predictions, and illuminating such phenomena as spin-precession. Calculations have shown that merging systems can be kicked at up to 2500 km/s by the thrust from asymmetric emission. Recently, long lasting simulations of ten or more orbits allow tests of post-Newtonian (PN) approximation results for radiation from the last orbits of the binary's inspiral. Already, analytic waveform models based PN techniques with incorporated information from numerical simulations may be adequate for observations with current ground based observatories. As new advances in simulations continue to rapidly improve our theoretical understanding of the systems, it seems certain that high-precision predictions will be available in time for LISA and other advanced ground-based instruments. Future gravitational wave observatories are expected to make precision.

Baker, John G.↗
NASA NTRS2009

Jet Noise Modeling for Suppressed and Unsuppressed Aircraft in Simulated Flight

This document describes the development of further extensions and improvements to the jet noise model developed by Modern Technologies Corporation (MTC) for the National Aeronautics and Space Administration (NASA). The noise component extraction and correlation approach, first used successfully by MTC in developing a noise prediction model for two-dimensional mixer ejector (2DME) nozzles under the High Speed Research (HSR) Program, has been applied to dual-stream nozzles, then extended and improved in earlier tasks under this contract. Under Task 6, the coannular jet noise model was formulated and calibrated with limited scale model data, mainly at high bypass ratio, including a limited-range prediction of the effects of mixing-enhancement nozzle-exit chevrons on jet noise. Under Task 9 this model was extended to a wider range of conditions, particularly those appropriate for a Supersonic Business Jet, with an improvement in simulated flight effects modeling and generalization of the suppressor model. In the present task further comparisons are made over a still wider range of conditions from more test facilities. The model is also further generalized to cover single-stream nozzles of otherwise similar configuration. So the evolution of this prediction/analysis/correlation approach has been in a sense backward, from the complex to the simple; but from this approach a very robust capability is emerging. Also from these studies, some observations emerge relative to theoretical considerations. The purpose of this task is to develop an analytical, semi-empirical jet noise prediction method applicable to takeoff, sideline and approach noise of subsonic and supersonic cruise aircraft over a wide size range. The product of this task is an even more consistent and robust model for the Footprint/Radius (FOOTPR) code than even the Task 9 model. The model is validated for a wider range of cases and statistically quantified for the various reference facilities. The possible role of facility effects will thus be documented. Although the comparisons that can be accomplished within the limited resources of this task are not comprehensive, they provide a broad enough sampling to enable NASA to make an informed decision on how much further effort should be expended on such comparisons. The improved finalized model is incorporated into the FOOTPR code. MTC has also supported the adaptation of this code for incorporation in NASA s Aircraft Noise Prediction Program (ANOPP).

Stone, James R.↗
NASA NTRS2009

Moisture-Induced Delayed Alumina Scale Spallation on a Ni(Pt)Al Coating

Delayed interfacial scale failure takes place after cooling for samples of a Ni(Pt)Al-coated CMSX4 single crystal superalloy, cycled at 1150 C for up to 2000 hr. One sample exhibited premature coating grain boundary wrinkling, alumina scale spallation to bare metal, and a final weight loss of 3.3 mg/cm2 . Spallation under ambient conditions was monitored with time after cooldown and was found to continue for 24 hr. This produced up to 0.05 mg/cm2 additional loss for each hold, accumulating 0.7 mg/cm 2 (20 percent of the total) over the course of the test. After test termination, water immersion produced an additional 0.15 mg/cm2 loss. (A duplicate sample produced much less wrinkling and time dependent spalling, maintaining a net weight gain.) The results are consistent with the general phenomena of moisture-induced delayed spallation (MIDS) of mature, distressed alumina scales formed on oxidation resistant M-Al alloys. Relative ambient humidity is discussed as the factor controlling adsorbed moisture, reaction with the substrate, and hydrogen effects on interface strength.

Smialek, James L.↗
NASA NTRS2020

Bayesian Approach for Determining Microlens System Properties with High-angular resolution Follow-up Imaging

We present the details of the Bayesian analysis of the planetary microlensing event MOA-2016-BLG-227, whose excess flux is likely due to a source/lens companion or an unrelated ambient star, as well as of the assumed prior distributions. Furthermore, we apply this method to four reported planetary events, MOA-2008-BLG-310, MOA2011-BLG-293, OGLE-2012-BLG-0527, and OGLE-2012-BLG-0950, where adaptive optics observations have detected excess flux at the source star positions. For events with small angular Einstein radii, our lens mass estimates are more uncertain than those of previous analyses, which assumed that the excess was due to the lens. Our predictions for MOA-2008-BLG-310 and OGLE-2012-BLG-0950 are consistent with recent results on these events obtained via Keck and Hubble Space Telescope observations when the source star is resolvable from the lens star. For events with small angular Einstein radii, we find that it is generally difficult to conclude whether the excess flux comes from the host star. Therefore, it is necessary to identify the lens star by measuring its proper motion relative to the source star to determine whether the excess flux comes from the lens star. Even without such measurements, our method can be used to statistically test the dependence of the planet-hosting probability on the stellar mass.

Naoki Koshimoto↗
NASA NTRSDate not supplied

Preliminary Application of Formal Verification to An Autonomy Architecture for Unmanned Aircraft

There is a desire to design autonomous systems in such a way that capabilities can be easily added or re- combined to produce new behaviors while preserving their safety properties. ICAROUS, a prototype software architecture for building safety-centric autonomous unmanned aircraft applications, is designed to support this type of extensibility and re-configurability. In ICAROUS, core capabilities are implemented as individual soft- ware services, so that enabling access to new capabilities simply requires adding new services. To make use of these capabilities, ICAROUS includes a specialized service that provides a general framework for config- uring the relative priorities, conditions, and rules that govern how different modules should be engaged and disengaged during flight. The inherent complexity of coordinating multiple modules under changing conditions makes it difficult to determine whether a particular configuration could have erroneous behaviors in certain circumstances. A robust set of integration tests can help discover errors, but testing can only realistically cover a relatively small proportion of total system behaviors. Developing good tests and interpreting the results to pinpoint the cause of errors when they arise can also be very time-consuming. To supplement testing, formal methods can be used to model and analyze complex systems, achieving better coverage and simplifying the process of finding, understanding, and fixing errors. To demonstrate these benefits, this paper explores the ap- plication of formal methods to ICAROUS. In particular, the Spin model checker is used to specify requirements for and model portions of the system, then verify whether the model satisfies the requirements and find and fix errors when it does not.

Formal Methods↗
NASA NTRSDate not supplied

Preliminary Application of Formal Verification to An Autonomy Architecture for Unmanned Aircraft

There is a desire to design autonomous systems in such a way that capabilities can be easily added or re-combined to produce new behaviors while preserving their safety properties. ICAROUS, a prototype software architecture for building safety-centric autonomous unmanned aircraft applications, is designed to support this type of extensibility and re-configurability. In ICAROUS, core capabilities are implemented as individual soft- ware services, so that enabling access to new capabilities simply requires adding new services. To make use of these capabilities, ICAROUS includes a specialized service that provides a general framework for config- uring the relative priorities, conditions, and rules that govern how different modules should be engaged and disengaged during flight. The inherent complexity of coordinating multiple modules under changing conditions makes it difficult to determine whether a particular configuration could have erroneous behaviors in certain circumstances. A robust set of integration tests can help discover errors, but testing can only realistically cover a relatively small proportion of total system behaviors. Developing good tests and interpreting the results to pinpoint the cause of errors when they arise can also be very time-consuming. To supplement testing, formal methods can be used to model and analyze complex systems, achieving better coverage and simplifying the process of finding, understanding, and fixing errors. To demonstrate these benefits, this paper explores the ap- plication of formal methods to ICAROUS. In particular, the Spin model checker is used to specify requirements for and model portions of the system, then verify whether the model satisfies the requirements and find and fix errors when it does not.

Formal Methods↗
NASA NTRS2000

Creep Properties of NiAl-1Hf Single Crystals Re-Investigated

NiAl-1Hf single crystals have been shown to be quite strong at 1027 C, with strength levels approaching those of advanced Ni-based superalloys. Initial testing, however, indicated that the properties might not be reproducible. Study of the 1027 C creep behavior of four different NiAl-1Hf single-crystal ingots subjected to several different heat treatments indicated that strength lies in a narrow band. Thus, we concluded that the mechanical properties are reproducible. Recent investigations of the intermetallic NiAl have confirmed that minor alloying additions combined with single-crystal growth technology can produce elevated temperature strength levels approaching those of Ni-based superalloys. For example, General Electric alloy AFN 12 {Ni-48.5(at.%) Al-0.5Hf-1Ti-0.05Ga} has a creep rupture strength equivalent to Rene 80 combined with a approximately 30-percent lower density, a fourfold improvement in thermal conductivity, and the ability to form a self-protective alumina scale in aggressive environments. Although the compositions of strong NiAl single crystals are relatively simple, the microstructures are complex and vary with the heat treatment and with small ingot-toingot variations in the alloy chemistry. In addition, initial testing suggested a strong dependence between microstructure and creep strength. If these observations were true, the ability to utilize NiAl single-crystal rotating components in turbine machinery could be severely limited. To investigate the possible limitations in the creep response of high-strength NiAl single crystals, the NASA Glenn Research Center at Lewis Field initiated an in depth investigation of the effect of heat treatment on the microstructure and subsequent 1027 C creep behavior of [001]-oriented NiAl-1Hf with a nominal chemistry of Ni-47.5Al-1Hf-0.5Si. This alloy was selected since four ingots, grown over a number of years and possessing slightly different compositions, were available for study. Specimens taken from the ingots were subjected to several heat treatment schedules, examined by transmission electron microscopy, and tested in both compression and tension. An example of the microstructure found in a [001]-oriented NiAl-1Hf specimen after a solution treatment at 1317 C for 50 hr followed by air cooling is illustrated in the image on the left, where the NiAl matrix contains a uniform distribution of nanometer-scale Gphase (Ni16Hf6Si7) precipitates. Other heat treating schedules produced microstructures with nanometer-sized G-phase cubes and plates or, in an extreme case, produced a microstructure with all the G-phase converted to Heusler (Ni2AlHf) particles. The results of 1027 C creep strength and strain rate testing are illustrated which summarizes data from tensile and compressive testing of samples cut from all four NiAl-1Hf ingots and subjected to a variety of heat treatment schedules. With one exception, all the strength values lie in a narrow band that spans six orders of magnitude in strain rate. The only factor that produced results outside of this band was the heat treatment schedule that dissolved all the G-phase and replaced it with Heusler precipitates. The results portrayed in this figure lead to the important practical conclusion that the elevated-temperature creep properties of NiAl-1Hf single crystals are reproducible and are not affected by small variations in alloy chemistry from ingot to ingot or by different initial distributions of G-phase in the heat-treated alloy. The only variable in this study that produced a significant and delerious effect on mechanical strength was a post-solution heat treatment that lead to the complete disappearance of the G-phase in favor of Heusler precipitates.

Whittenberger, J. Daniel↗
NASA NTRS1972

Gravitation theory - Empirical status from solar system experiments.

Review of historical and recent experiments which speak in favor of a post-Newtonian relativistic gravitational theory. The topics include the foundational experiments, metric theories of gravity, experiments designed to differentiate among the metric theories, and tests of Machian concepts of gravity. It is shown that the metric field for any metric theory can be specified by a series of potential terms with several parameters. It is pointed out that empirical results available up to date yield values of the parameters which are consistent with the prediction of Einstein's general relativity.

Nordtvedt, K. L., Jr.↗
NASA NTRS1978

Photovoltaic tests and applications project

The activities and accomplishments of the Photovoltaic Tests and Applications Project during the period April 1976 through June 1977 are summarized. Results of efforts to identify potential near-term photovoltaic applications and users are discussed, including the outcome of an extensive survey of Federal government agencies. The status of application experiments is presented. Various general engineering efforts are reported, including the design and construction of a photovoltaic Systems Test Facility. Efforts to develop a high efficiency 10 kVA self-commutated inverter and controller specifically designed for photovoltaic systems are also discussed. The results of a wide variety of activities in the area of photovoltaic measurements and standards are related. Documents generated by the Project during the reporting period are listed in an Appendix.

Source record↗
NASA NTRS1981

The composing process of technical writers: A preliminary study

The assumption that technical writers compose as do other writers is tested. The literature on the composing process, not limited to the pure or applied sciences, was reviewed, yielding three areas of general agreement. The composing process (1) consists of several stages, (2) is reflexive, and (3) may be mastered by means of strategies. Data on the ways technical writers compose were collected, and findings were related to the three areas of agreement. Questionnaires and interviews surveying 70 writers were used. The disciplines represented by these writers included civil, chemical, agricultural, geological, mechanical, electrical, and petroleum engineering, chemistry, hydrology, geology, and biology. Those providing consulting services, or performing research. No technical editors or professional writers were surveyed, only technicians, engineers, and researchers whose jobs involved composing reports. Three pedagogical implications are included.

Mair, D.↗
NASA NTRS1986

In vitro cytogenetic studies of organic chemicals found as contaminants in spacecraft cabin atmospheres

Astronauts can be exposed during spaceflight to organic chemical contaminants in the spacecraft cabin atmosphere. Toxic exposures may cause lesions in the cellular DNA which are subsequently expressed as sister-chromatid exchanges (SCE). Analysis of SCE is a sensitive short-term assay technique to detect and quantitate exposures to DNA-damaging (mutagenic) substances. The increase in SCE incidence over baseline (control) levels is generally proportional to the concentration of the mutagen and to the duration of exposure. Dichloromethane (methylene chloride) was chosen for this study since it occurred as an atmospheric contaminant in ten of the first 12 STS flights, and has been reported to have toxic and mutagenic effects in various test systems. Glutaraldehyde was chosen because relatively few data are available on the toxicity or mutagenicity of this common biological fixative, which is carried on STS flights for use in biological experiments. The BHK-21 baby hamster kidney cell line was the in vitro test system used in this study. Neither dichloromethane (10 ppm to 500 ppm) nor glutaraldehyde (1 ppm to 10 ppm) increased SCE levels following 20-hour exposure of BHK-21 cells to the test chemicals.

Torres, J.↗
NASA NTRS1922

A Preliminary Study of Airplane Performance

Flight tests were carried out at the Langley Field laboratory of the NACA, on several airplanes for the purpose of determining their relative performance with the same engine and the same propeller. The method used consisted in flying each airplane on a level course and measuring the airspeed for the whole range of engine revolutions. In general the results show that a small change in the wing section or the wing area has but a slight effect upon the performance, but changes in those parts which cause the structural resistance have a very important effect.

Norton, F H↗
NASA NTRS1997

Direct Numerical Simulation of Incompressible Pipe Flow Using a B-Spline Spectral Method

A numerical method based on b-spline polynomials was developed to study incompressible flows in cylindrical geometries. A b-spline method has the advantages of possessing spectral accuracy and the flexibility of standard finite element methods. Using this method it was possible to ensure regularity of the solution near the origin, i.e. smoothness and boundedness. Because b-splines have compact support, it is also possible to remove b-splines near the center to alleviate the constraint placed on the time step by an overly fine grid. Using the natural periodicity in the azimuthal direction and approximating the streamwise direction as periodic, so-called time evolving flow, greatly reduced the cost and complexity of the computations. A direct numerical simulation of pipe flow was carried out using the method described above at a Reynolds number of 5600 based on diameter and bulk velocity. General knowledge of pipe flow and the availability of experimental measurements make pipe flow the ideal test case with which to validate the numerical method. Results indicated that high flatness levels of the radial component of velocity in the near wall region are physical; regions of high radial velocity were detected and appear to be related to high speed streaks in the boundary layer. Budgets of Reynolds stress transport equations showed close similarity with those of channel flow. However contrary to channel flow, the log layer of pipe flow is not homogeneous for the present Reynolds number. A topological method based on a classification of the invariants of the velocity gradient tensor was used. Plotting iso-surfaces of the discriminant of the invariants proved to be a good method for identifying vortical eddies in the flow field.

Loulou, Patrick↗
NASA NTRS2003

Prospects for an Improved Measurement of Experimental Limit on G-dot

The orbital motion of an ultra-drag-free satellite, such as the large test body of the SEE (Satellite Energy Exchange) satellite, known as the "Shepherd," may possibly provide the best test for time variation of the gravitational constant G at the level of parts in 10(exp 14). Scarcely anything could be more significant scientifically than the incontestable discovery that a fundamental "constant" of Nature is not constant. A finding of non-zero (G-dot)/G would clearly mark the boundaries where general relativity is valid, and specify the onset of new physics. The requirements for measuring G-dot at the level proposed by SEE will require great care in treating perturbation forces. In the present paper we concentrate on the methods for dealing with the gravitational field due to possible large manufacturing defects in the SEE observatory. We find that, with adequate modeling of the perturbation forces and cancellation methods, the effective time-averaged acceleration on the SEE Shepherd will be approx. 10(exp -18) g (10(exp -17) m/sq s).

Sanders, Alvin J.↗