Search NASA⌕ Search

SEARCH · Search NASA

Results for “Special 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 343 records · Page 19
All sourcesNASA NTRSDOE OSTI
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 NTRS2002

Otolith-Canal Convergence In Vestibular Nuclei Neurons

The current final report covers the period from June 1, 1999 to May 31, 2002. The primary objective of the investigation was to determine how information regarding head movements and head position relative to gravity is received and processed by central vestibular nuclei neurons in the brainstem. Specialized receptors in the vestibular labyrinths of the inner ear function to detect angular and linear accelerations of the head, with receptors located in the semicircular canals transducing rotational head movements and receptors located in the otolith organs transducing changes in head position relative to gravity or linear accelerations of the head. The information from these different receptors is then transmitted to central vestibular nuclei neurons which process the input signals, then project the appropriate output information to the eye, head, and body musculature motor neurons to control compensatory reflexes. Although a number of studies have reported on the responsiveness of vestibular nuclei neurons, it has not yet been possible to determine precisely how these cells combine the information from the different angular and linear acceleration receptors into a correct neural output signal. In the present project, rotational and linear motion stimuli were separately delivered while recording responses from vestibular nuclei neurons that were characterized according to direct input from the labyrinth and eye movement sensitivity. Responses from neurons receiving convergent input from the semicircular canals and otolith organs were quantified and compared to non-convergent neurons.

Dickman, J. David↗
NASA NTRS1977

Relation of morphology of electrodeposited zinc to ion concentration profile

The morphology of electrodeposited zinc was studied with special attention to the ion concentration profile. The initial concentrations were 9M hydroxide ion and 1.21M zincate. Current densities were 6.4 to 64 mA/sq cm. Experiments were run with a horizontal cathode which was observed in situ using a microscope. The morphology of the zinc deposit was found to be a function of time as well as current density; roughly, the log of the transition time from mossy to large crystalline type deposit is inversely proportional to current density. Probe electrodes indicated that the electrolyte in the cathode chamber was mixed by self inducted convection. However, relatively large concentration gradients of the involved species existed across the boundary layer of the cathode. Analysis of the data suggests that the morphology converts from mossy to large crystalline when the hydroxide activity on the cathode surface exceeds about 12 M. Other experiments show that the pulse discharge technique had no effect on the morphology in the system where the bulk concentration of the electrolyte was kept homogeneous via self induced convection.

May, C. E.↗
NASA NTRS2009

Traditional Cardiovascular Risk Factors as Predictors of Cardiovascular Events in the U.S. Astronaut Corps

Risk prediction equations from the Framingham Heart Study are commonly used to predict the absolute risk of myocardial infarction (MI) and coronary heart disease (CHD) related death. Predicting CHD-related events in the U.S. astronaut corps presents a monumental challenge, both because astronauts tend to live healthier lifestyles and because of the unique cardiovascular stressors associated with being trained for and participating in space flight. Traditional risk factors may not hold enough predictive power to provide a useful indicator of CHD risk in this unique population. It is important to be able to identify individuals who are at higher risk for CHD-related events so that appropriate preventive care can be provided. This is of special importance when planning long duration missions since the ability to provide advanced cardiac care and perform medical evacuation is limited. The medical regimen of the astronauts follows a strict set of clinical practice guidelines in an effort to ensure the best care. The purpose of this study was to evaluate the utility of the Framingham risk score (FRS), low-density lipoprotein (LDL) and high-density lipoprotein levels, blood pressure, and resting pulse as predictors of CHD-related death and MI in the astronaut corps, using Cox regression. Of these factors, only two, LDL and pulse at selection, were predictive of CHD events (HR(95% CI)=1.12 (1.00-1.25) and HR(95% CI)=1.70 (1.05-2.75) for every 5-unit increase in LDL and pulse, respectively). Since traditional CHD risk factors may lack the specificity to predict such outcomes in astronauts, the development of a new predictive model, using additional measures such as electron-beam computed tomography and carotid intima-media thickness ultrasound, is planned for the future.

Halm, M. K.↗
NASA NTRS1992

Publications of the exobiology program for 1990: A special bibliography

The Exobiology Program is an integrated program designed to investigate and understand those processes related to the origin, evolution, and distribution of life in the universe. The Exobiology Program is broad in scope, covering the following subject areas: cosmic evolution of biogenic compounds; prebiotic evolution; early evolution of life; evolution of advanced life; solar system exploration; search for extraterrestrial intelligence; planetary protection; and advanced programs in biological systems research. A listing of the 1990 publications resulting from research supported by the Exobiology Program is presented.

Source record↗
NASA NTRS1994

The Guide Star Catalog and related sky surveys

The basic properties and foundations of the Guide Star Catalog (GSC) are presented. Special emphasis is given to the published versions of the GSC, and the project on image compression and distribution of the digitized survey plate scans is mentioned.

Jenkner, Helmut↗
NASA NTRS1975

The transmission of sound in nonuniform ducts

The method of weighted residuals in the form of a modified Galerkin method with boundary residuals was developed for the study of the transmission of sound in nonuniform ducts carrying a steady, compressible flow. In this development, the steady flow was modeled as essentially one dimensional but with a kinematic modification to force tangency of the flow at the duct walls. Three forms of the computational scheme were developed using for basis functions (1) the no-flow uniform duct modes, (2) positive running uniform duct modes, with flow, and (3) positive and negative running uniform duct modes, with flow. The formulation using the no-flow modes was the most highly developed, and has advantages primarily due to relative computational simplicity. Results using the three methods are shown to converge to known solutions for several special cases, and the most significant check case is against low frequency, one dimensional results over the complete subsonic Mach number range. Development of the method is continuing, with emphasis on assessing the relative accuracy and efficiency of the three implementations.

Eversman, W.↗
NASA NTRS1976

An automated atmospheric sampling system operating on 747 airliners

An air sampling system that automatically measures the temporal and spatial distribution of particulate and gaseous constituents of the atmosphere is collecting data on commercial air routes covering the world. Measurements are made in the upper troposphere and lower stratosphere (6 to 12 km) of constituents related to aircraft engine emissions and other pollutants. Aircraft operated by different airlines sample air at latitudes from the Arctic to Australia. This unique system includes specialized instrumentation, a special air inlet probe for sampling outside air, a computerized automatic control, and a data acquisition system. Air constituent and related flight data are tape recorded in flight for later computer processing on the ground.

Perkins, P. J.↗
NASA NTRS1989

Planetary protection policy overview and application to future missions

The current status of planetary protection (quarantine) policy within NASA is discussed, together with the issues of planetary protection and back-contamination as related to future missions. The policy adopted by COSPAR in 1984 (and recently reaffirmed by the NASA Administrator) for application to all unmanned missions to other solar system bodies and all manned and unmanned sample return missions is examined. Special attention is given to the implementation of the policy and to the specific quarantine-related constraints on spacecraft involved in solar system exploration that depend on the nature of the mission and the identity of the target body.

Rummel, John D.↗
NASA NTRS1983

The NASA Aviation Safety Reporting System

This is the fourteenth in a series of reports based on safety-related incidents submitted to the NASA Aviation Safety Reporting System by pilots, controllers, and, occasionally, other participants in the National Aviation System (refs. 1-13). ASRS operates under a memorandum of agreement between the National Aviation and Space Administration and the Federal Aviation Administration. The report contains, first, a special study prepared by the ASRS Office Staff, of pilot- and controller-submitted reports related to the perceived operation of the ATC system since the 1981 walkout of the controllers' labor organization. Next is a research paper analyzing incidents occurring while single-pilot crews were conducting IFR flights. A third section presents a selection of Alert Bulletins issued by ASRS, with the responses they have elicited from FAA and others concerned. Finally, the report contains a list of publications produced by ASRS with instructions for obtaining them.

Source record↗
NASA NTRS1993

Comparison of special sensor microwave imager vector wind stress with model-derived and subjective products for the tropical Pacific

An assessment of a new source of vector wind stress data relative to existing analyses of the surface wind field is presented. The large-scale variability of vector wind stress generated by Atlas et al. (1991) and based on the special sensor microwave imager (SSM/I) remotely sensed observations of surface wind speed is compared with five operational and subjectively analyzed wind products across the tropical Pacific basin for the first year of SSM/I, July 1987 through June 1988. The spatial and temporal variability of the zonal component, meridional component, and curl of the wind stress are examined relative to their future use in wind-driven ocean model studies of tropical Pacific Ocean circulation.

Busalacchi, Antonio J.↗
NASA NTRS1998

The Origin of Antarctic Precipitation: A Modeling Approach

Isotope concentrations in polar ice cores have long been used to estimate paleotemperatures. Underlying the use of this "isotope paleothermometer" is the assumption that the relationship between surface temperature and isotope concentration over time at a single geographical point is the same as that observed over space during the present-day climate. The validity of this assumption may in fact be compromised by several factors related to climate change. The specific factor studied in this paper involves the evaporative sources for polar precipitation. Climatic changes in the relative strengths of these sources would imply a need for a recalibration of the paleothermometer. To quantify such changes, we performed two GCM simulations, one of present-day climate and the other of the climate during the Last Glacial Maximum (LGM), roughly 18000 years ago. Evaporative sources of Antarctic precipitation were established using special tracer diagnostics. Results suggest that polar precipitation during the LGM does indeed consist of (relatively) more water from tropical oceans, a direct reflection of the LGM's increased equator-to-pole temperature gradient and its increased sea ice extent, which reduces high latitude evaporation. This result implies that an uncalibrated ice core paleothermometer would produce LGM temperatures that are biased slightly low. Because LGM boundary conditions are still under debate, we performed a third GCM simulation using a modified set of LGM boundary conditions. Using this simulation gives some qualitatively similar results, though the tropical contribution is not quite as high. Uncertainties in the LGM boundary conditions does hamper success in calibrating the paleothermometer.

Delaygue, Gilles↗
NASA NTRS1984

Air data position-error calibration using state reconstruction techniques

During the highly maneuverable aircraft technology (HiMAT) flight test program recently completed at NASA Ames Research Center's Dryden Flight Research Facility, numerous problems were experienced in airspeed calibration. This necessitated the use of state reconstruction techniques to arrive at a position-error calibration. For the HiMAT aircraft, most of the calibration effort was expended on flights in which the air data pressure transducers were not performing accurately. Following discovery of this problem, the air data transducers of both aircraft were wrapped in heater blankets to correct the problem. Additional calibration flights were performed, and from the resulting data a satisfactory position-error calibration was obtained. This calibration and data obtained before installation of the heater blankets were used to develop an alternate calibration method. The alternate approach took advantage of high-quality inertial data that was readily available. A linearized Kalman filter (LKF) was used to reconstruct the aircraft's wind-relative trajectory; the trajectory was then used to separate transducer measurement errors from the aircraft position error. This calibration method is accurate and inexpensive. The LKF technique has an inherent advantage of requiring that no flight maneuvers be specially designed for airspeed calibrations. It is of particular use when the measurements of the wind-relative quantities are suspected to have transducer-related errors.

Whitmore, S. A.↗
NASA NTRS1974

Directory of aerospace safety specialized information sources

Directory aids safety specialists in locating information sources and individual experts in engineering-related fields. Lists 170 organizations and approximately 300 individuals who can provide safety-related technical information in form of documentation, data, and consulting expertise. Information on hazard and failure cause identification, accident analysis, and materials characteristics are covered.

Fullerton, E. A.↗
NASA NTRS1973

Interrelated structures of the transport shock and collisional relaxation layer in a multitemperature, multilevel ionized gas

The gas dynamic structures of the transport shock and the downstream collisional relaxation layer are evaluated for partially ionized monatomic gases. Elastic and inelastic collisional nonequilibrium effects are taken into consideration. In the microscopic model of the atom, three electronic levels are accounted for. By using an asymptotic technique, the shock morphology is found on a continuum flow basis. This procedure gives two distinct layers in which the nonequilibrium effects to be considered are different. A transport shock appears as the inner solution to an outer collisional relaxation layer. The results show four main interesting points: (1) on structuring the transport shock, ionization and excitation rates must be included in the formulation, since the flow is not frozen with respect to the population of the different electronic levels; (2) an electron temperature precursor appears at the beginning of the transport shock; (3) the collisional layer is rationally reduced to quadrature for special initial conditions, which (4) are obtained from new Rankine-Hugoniot relations for the inner shock.

Vinolo, A. R.↗
NASA NTRS1975

Materials and processes for space shuttle's engines

It is pointed out that over 50 different alloys are used in construction of the space shuttle main engines (SSME). Primary construction of the SSME is by welding or brazing of wrought and cast components. Welding processes involve both gas tungsten-arc welds and electron-beam welds. Electroforming has been developed as a process to fabricate and bond structural members for the SSME. Important aspects in the selection of materials and processes are related to weight saving considerations and the high-pressure hydrogen environment. Special problems and their solution in the case of various engine components are discussed, giving attention to the oxidizer preburner, the high pressure oxidizer turbopump, and the heat exchanger.

J. R. Lewis↗
NASA NTRS1976

Measurement of model propulsion system noise in a low-speed wind tunnel

Methods are presented for making overall and directional acoustic measurements with forward velocity in the Lewis 9 x 15 V/STOL wind tunnel. Overall acoustic measurements are discussed; the acoustic calibration methods, instrumentation features, and types of experiments are presented. Selected data are presented as examples of the various types of overall measurements that are possible. The method of making directional acoustic measurements is presented, and the necessary alterations to the tunnel, specialized acoustic instrumentation, and calibration details are described. The results indicate that relative overall acoustic measurements can be made successfully and that directional acoustic measurements are feasible.

Diedrich, J. H.↗
NASA NTRS1976

Development of a dosimeter for distributed body organs

Calculational methods for estimation of dose from external proton exposure of aribtrary convex bodies is briefly reviewed and all of the necessary information for the estimation of dose in soft tissue is presented. Special emphasis is on retaining the effects of nuclear reaction especially in relation to the dose equivalent.

Khandelwal, G. S.↗