SEARCH · Engineering Papers

Results for “SrY”

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 109 records · Page 6

All sources NASA NTRS DOE OSTI

NASA NTRS1987

Alpha-decay-induced fracturing in zircon - The transition from the crystalline to the metamict state

Zonation due to alpha-decay damage in a natural single crystal of zircon from Sri Lanka is discussed. The zones vary in thickness on a scale from one to hundreds of microns. The uranium and thorium concentrations vary from zone to zone such that the alpha decay dose is between 0.2 x 10 to the 16th and 0.8 x 10 to the 16th alpha-events per milligram. The transition from the crystalline to the aperiodic metamict state occurs over this dose range. At doses greater than 0.8 x 10 to the 16th alpha events/mg there is no evidence for long-range order. This type of damage will accumulate in actinide-bearing, ceramic nuclear waste forms. The systematic pattern of fractures would occur in crystalline phases that are zoned with respect to actinide radionuclides.

Chakoumakos, Bryan C.↗

NASA NTRS1988

Knowledge-based diagnosis for aerospace systems

The need for automated diagnosis in aerospace systems and the approach of using knowledge-based systems are examined. Research issues in knowledge-based diagnosis which are important for aerospace applications are treated along with a review of recent relevant research developments in Artificial Intelligence. The design and operation of some existing knowledge-based diagnosis systems are described. The systems described and compared include the LES expert system for liquid oxygen loading at NASA Kennedy Space Center, the FAITH diagnosis system developed at the Jet Propulsion Laboratory, the PES procedural expert system developed at SRI International, the CSRL approach developed at Ohio State University, the StarPlan system developed by Ford Aerospace, the IDM integrated diagnostic model, and the DRAPhys diagnostic system developed at NASA Langley Research Center.

Atkinson, David J.↗

NASA NTRS1988

Hardware proofs using EHDM and the RSRE verification methodology

Examined is a methodology for hardware verification developed by Royal Signals and Radar Establishment (RSRE) in the context of the SRI International's Enhanced Hierarchical Design Methodology (EHDM) specification/verification system. The methodology utilizes a four-level specification hierarchy with the following levels: functional level, finite automata model, block model, and circuit level. The properties of a level are proved as theorems in the level below it. This methodology is applied to a 6-bit counter problem and is critically examined. The specifications are written in EHDM's specification language, Extended Special, and the proofs are improving both the RSRE methodology and the EHDM system.

Butler, Ricky W.↗

NASA NTRS1988

Lidar observations of polar stratospheric clouds at McMurdo, Antarctica, during NOZE-2

SRI International operated a dual wavelength (1.064 micrometer and .532 micrometer) aerosol lidar at McMurdo Station, Antarctica, as part of the National Ozone Expedition-2 (NOZE-2). The objective of the project was to map the vertical distributions of polar stratospheric clouds (PSCs), which are believed to play an important role in the destruction of ozone in the Antarctic spring. Altitude, thickness, homogeneity, and duration of PSC events as well as information on particle shape, size or number density will be very useful in determining the exact role of PSCs in ozone destructions, and when combined with measurements of other investigators, additional properties of PSCs can be estimated. The results are currently being analyzed in terms of PSC properties which are useful for modeling the stratospheric ozone depletion mechanism.

Morley, Bruce M.↗

NASA NTRS1988

Kabbaldurga-type charnockitization: A local phenomenon in the granulite to amphibolite grade transition zone

In the deeply eroded Precambrian crust of South India and Sri Lanka, a series of spectacular exposures shows progressive development of coarse-grained charnockite through dehydration of amphibolite grade gneisses in different arrested stages. At Kabbaldurga, charnockitization of Archaean grey biotite-hornblende gneisses occurred about 2.5 Ga ago and evidently was induced by the influx of external carbonic fluids along a system of ductile shears and the foliation planes. The results of oxygen isotope thermometry and of geothermobarometry in adjacent areas indicate a P-T regime of 700 to 750 C and 5 to 7 kb. The decrease of water activity in the fluid infiltrated zones caused an almost complete breakdown of hornblende and biotite and the new growth of hypersthene. Detailed petrographic and geochemical studies revealed marked changes in mineralogy and chemistry from granodioritic to granitic which document the metasomatic nature of the process.

Raith, M.↗

NASA NTRS1988

Geochemical characteristics of charnockite and high grade gneisses from Southern Peninsular Shield and their significance in crustal evolution

Presented here are the results of detailed investigations encompassing externsive structural mapping in the charnockite-high grade gneiss terrain of North Arcot district and the type area in Pallavaram in Tamil Nadu supported by petrography, mineral chemistry, major, minor and REE distribution patterns in various lithounits. This has helped in understanding the evolutionary history of the southern peninsular shield. A possible tectonic model is also suggested. The results of these studies are compared with similar rock types from parts of Andhra Pradesh, Kerala, Sri Lanka, Lapland and Nigeria which has brought about a well defined correlation in geochemical characteristics. The area investigated has an interbanded sequence of thick pile of charnockite and a supracrustal succession of shelf type sediments, layered igneous complex, basic and ultrabasic rocks involved in a complex structural, tectonic, igneous and metamorphic events.

Sugavanam, E. B.↗

NASA NTRS1987

Reasoning and planning in dynamic domains: An experiment with a mobile robot

Progress made toward having an autonomous mobile robot reason and plan complex tasks in real-world environments is described. To cope with the dynamic and uncertain nature of the world, researchers use a highly reactive system to which is attributed attitudes of belief, desire, and intention. Because these attitudes are explicitly represented, they can be manipulated and reasoned about, resulting in complex goal-directed and reflective behaviors. Unlike most planning systems, the plans or intentions formed by the system need only be partly elaborated before it decides to act. This allows the system to avoid overly strong expectations about the environment, overly constrained plans of action, and other forms of over-commitment common to previous planners. In addition, the system is continuously reactive and has the ability to change its goals and intentions as situations warrant. Thus, while the system architecture allows for reasoning about means and ends in much the same way as traditional planners, it also posseses the reactivity required for survival in complex real-world domains. The system was tested using SRI's autonomous robot (Flakey) in a scenario involving navigation and the performance of an emergency task in a space station scenario.

Georgeff, M. P.↗

NASA NTRS1988

Knowledge-based diagnosis for aerospace systems

Atkinson, David↗

NASA NTRS1990

Filling in the retinal image

The optics of the eye form an image on a surface at the back of the eyeball called the retina. The retina contains the photoreceptors that sample the image and convert it into a neural signal. The spacing of the photoreceptors in the retina is not uniform and varies with retinal locus. The central retinal field, called the macula, is densely packed with photoreceptors. The packing density falls off rapidly as a function of retinal eccentricity with respect to the macular region and there are regions in which there are no photoreceptors at all. The retinal regions without photoreceptors are called blind spots or scotomas. The neural transformations which convert retinal image signals into percepts fills in the gaps and regularizes the inhomogeneities of the retinal photoreceptor sampling mosaic. The filling-in mechamism plays an important role in understanding visual performance. The filling-in mechanism is not well understood. A systematic collaborative research program at the Ames Research Center and SRI in Menlo Park, California, was designed to explore this mechanism. It was shown that the perceived fields which are in fact different from the image on the retina due to filling-in, control some aspects of performance and not others. Researchers have linked these mechanisms to putative mechanisms of color coding and color constancy.

Larimer, James↗

NASA NTRS1990

Monitoring and control of spacecraft systems using procedural reasoning

Research concerned with automating the monitoring and control of spacecraft systems is discussed. In particular, the application of SRI's Procedural Reasoning System (PRS) to the handling of malfunctions in the Reaction Control System (RCS) of NASA's Space Shuttle is examined. Unlike traditional monitoring and control systems, PRS is able to reason about and perform complex tasks in a very flexible and robust manner, somewhat in the manner of a human assistant. Using various RCS malfunctions as examples (including sensor faults, leaking components, multiple alarms, and regulator and jet failures), it is shown how PRS manages to combine both goal-directed reasoning and the ability to react rapidly to unanticipated changes in its environment. In conclusion, some important issues in the design of PRS are reviewed and future enhancements are indicated.

Georgeff, Michael P.↗

NASA NTRS1990

The 1973-1974 lidar observations of cirrus clouds at Kwajalein

A series of surface-based lidar measurements was made in support of reentry tests at Kwajalein. The measurement periods were conducted during May to June, Aug., Dec. 1973, and Mar. to Apr. 1974. The lidar used was the SRI Mark IX, a ruby lidar installed within a van complete with its own power supplies, azimuth and elevation scanning capabilities and real time digital data recording, processing, and display systems. The digital data system was used to estimate cirrus cloud equivalent ice water content as the cloud was being observed. Other supporting equipment included an instrumented WB-57 aircraft used for sampling cirrus cloud ice crystals. An altitude time intensity modulated video display of cirrus cloud structure observed on 17 Dec. 1973 is presented.

Uthe, Edward E.↗

NASA NTRS1991

Mechanical verification of a schematic Byzantine clock synchronization algorithm

Schneider generalizes a number of protocols for Byzantine fault tolerant clock synchronization and presents a uniform proof for their correctness. The authors present a machine checked proof of this schematic protocol that revises some of the details in Schneider's original analysis. The verification was carried out with the EHDM system developed at the SRI Computer Science Laboratory. The mechanically checked proofs include the verification that the egocentric mean function used in Lamport and Melliar-Smith's Interactive Convergence Algorithm satisfies the requirements of Schneider's protocol.

Shankar, Natarajan↗

NASA NTRS1991

Scale-model charge-transfer technique for measuring enhancement factors

Determination of aircraft electric field enhancement factors is crucial when using airborne field mill (ABFM) systems to accurately measure electric fields aloft. SRI used the scale model charge transfer technique to determine enhancement factors of several canonical shapes and a scale model Learjet 36A. The measured values for the canonical shapes agreed with known analytic solutions within about 6 percent. The laboratory determined enhancement factors for the aircraft were compared with those derived from in-flight data gathered by a Learjet 36A outfitted with eight field mills. The values agreed to within experimental error (approx. 15 percent).

Kositsky, J.↗

NASA NTRS1992

ARCLITE: the Arctic Lidar Technology Facility at Sondre Stromfjord, Greenland

SRI International is presently developing an Arctic lidar (ARCLITE) facility at the incoherent-scatter radar site in Sondre Stromfjord, Greenland (67.0 degrees N, 209.2 degrees W). The project, funded by NSF through the CEDAR (Coupling Energetics and Dynamics of Atmospheric Regions) initiative, is to perform high-altitude molecular/aerosol backscatter measurements in the Arctic covering the stratosphere/mesosphere region during nighttime and daytime conditions. The lidar system employs an injection seeded, high-energy GCR-5 Spectra Physics Nd:YAG laser for primary operation at 532 nm (550 mJ per pulse at 30 Hz). The receiver system is designed around a 36-inch Cassegrainian telescope of astronomical quality with receiver components and photon-counting electronics for day and night operations. The Rayleigh backscatter measurements will conduct investigations concerning long-term studies of the basic density and temperature structure of the Arctic stratosphere/mesosphere region; effects of stratospheric warming on the structure of the stratosphere/mesosphere region; occurrence and properties of polar stratospheric clouds; occurrence of noctilucent clouds and their properties at high latitudes; and dynamic and thermodynamic coupling between the stratosphere/mesosphere region and the lower thermosphere.

Thayer, J. P.↗

NASA NTRS1992

Improved ablative materials for the ASRM nozzle

Rayon precursor carbon-cloth phenolic was developed more than 30 years ago and is used in most nozzles today including the Poseidon, Trident, Peacekeeper, Small ICBM, Space Shuttle, and numerous tactical and space systems. Specifications and manufacturing controls were placed on these materials and, once qualified, a no-change policy was instituted. The current material is acceptable; however, prepreg variability does not always accommodate the requirements of automation. The advanced solid rocket motor requires material with less variability for automated manufacturing. An advanced solid rocket motor materials team, composed of NASA, Thiokol, Aerojet, SRI, and Lockheed specialists, along with materials suppliers ICI Fiberite/Polycarbon, BP Chemicals/Hitco, and Amoco, embarked on a program to improve the current materials. The program consisted of heat treatment studies and standard and low-density material improvements evaluation. Improvements evaluated included fiber/fabric heat treatments, weave variations, resin application methods, process controls, and monitors.

Canfield, A.↗

NASA NTRS1992

Fuzzy logic control of telerobot manipulators

Telerobot systems for advanced applications will require manipulators with redundant 'degrees of freedom' (DOF) that are capable of adapting manipulator configurations to avoid obstacles while achieving the user specified goal. Conventional methods for control of manipulators (based on solution of the inverse kinematics) cannot be easily extended to these situations. Fuzzy logic control offers a possible solution to these needs. A current research program at SRI developed a fuzzy logic controller for a redundant, 4 DOF, planar manipulator. The manipulator end point trajectory can be specified by either a computer program (robot mode) or by manual input (teleoperator). The approach used expresses end-point error and the location of manipulator joints as fuzzy variables. Joint motions are determined by a fuzzy rule set without requiring solution of the inverse kinematics. Additional rules for sensor data, obstacle avoidance and preferred manipulator configuration, e.g., 'righty' or 'lefty', are easily accommodated. The procedure used to generate the fuzzy rules can be extended to higher DOF systems.

Franke, Ernest A.↗

NASA NTRS1992

A brief overview of NASA Langley's research program in formal methods

An overview of NASA Langley's research program in formal methods is presented. The major goal of this work is to bring formal methods technology to a sufficiently mature level for use by the United States aerospace industry. Towards this goal, work is underway to design and formally verify a fault-tolerant computing platform suitable for advanced flight control applications. Also, several direct technology transfer efforts have been initiated that apply formal methods to critical subsystems of real aerospace computer systems. The research team consists of six NASA civil servants and contractors from Boeing Military Aircraft Company, Computational Logic Inc., Odyssey Research Associates, SRI International, University of California at Davis, and Vigyan Inc.

Source record↗

NASA NTRS1991

Advanced electromagnetic methods for aerospace vehicles

During this period the research program addressed the following three topics: (1) composite materials; (2) precipitation static (P-Static); and (3) antenna technology. On the topic of Composite Materials our main efforts were directed toward making measurements on several new samples of composite materials made available to ASU by Stanford Research Institute (SRI) through the efforts of Mr. Frank Casler of AVRADA. These samples can be classified into three distinct materials with each material having its own distinct electrical properties. In addition, attempts were made to make predictions of the effects on antenna patterns by composite materials. This will take a greater emphasis in the next reporting period. In Precipitation Static (P-Static), the main effort was devoted toward developing a Voltage Finite-Difference Time-Domain computer code to account for the voltage variation on a conducting body as the primary source of corona discharge, instead of the electric field. Due to complexities stemming from the interactions between the potentials, the fields, and current sources, the decision was made to begin with a simple two-dimensional problem without the corona discharge and check our programs in a series of simple models, culminating in the full corona discharge problem. This report deals with the first stage of such development. During this reporting period, the main effort in Antenna Technology was toward the design, fabrication, and testing of a cavity-backed slot antenna using ferrite material. Using the ferrite material available to us during this period, the resonances of this antenna were around 5 and 8 GHz. Attempts will be made to model such an antenna and to lower its resonance down into the VHF and UHF bands.

Balanis, Constantine A.↗