"The program concerning Acoustic Emission/Flaw Relationships for Inservice Monitoring of LWRs was entitled in FY76 with the objective of validating the application of acoustic emission (AE) to monitor nuclear reactor pressure-containing components during operation to detect cracking."

The following preliminary report is a computer analysis of HSSR data from the Montrose 1x2 Quadrangle, Colorado.

This report presents all analytical data on the aluminum phosphate zone on lands owned by the American Agricultural Chemical Co. (A. A. C. Co.), and is one of a series of reports on lands of the companies active in the Land-Pebble Phosphate district.

The following report follows the first research drilling study on a geyser. Whistle, a nearly dormant geyser in the upper geyser basin in Yellowstone National Park, Wyoming, has been proven to depend its water supply on deep overpressured water that's a far more extensive system than surface measurements can determine.

A report about the chloride flux from Yellowstone National Park (the Park) and the major rivers draining the Park.

A report about new geochemical, biogeochemical, and sedimentological data gathered from the depositional basins of the Green River Formation.

The following report is the results of a workshop held to determine the cause of fibropapilloma (lobulated tumors), thereby ultimately leading to solutions and effective strategies for containment. The urgent need to solve this problem arises from the unanimous belief among the workshop participants that this disease will continue to affect populations of turtles locally and worldwide, adding further to their survival difficulties. The workshop was held in December of 1990 and the research behind the workshop results from about 10 years of observing the species.

This report describes an observational research on the population of the Hawaiian monk seal at Kure Atoll taken from the March to October of 1982 to the April to June of 1983. The study focuses on deaths, injuries, reproduction rates, and data gathered during seal captivity.

Abstract: This is the history of the Institute for Numerical Analysis (INA) with special emphasis in its research program during the period 1947 to 1956. The Institute for Numerical Analysis was located on the campus of the University of California, Los Angeles. It was a section of the National Applied Mathematics Laboratories, which formed the Applied Mathematics Division of the National Bureau of Standards (now the National Institute of Standards and technology), under the U.S. Department of Commerce.

From abstract: The Paria-Hackberry Wilderness Study Area, in central Kane County, southern Utah, is a region of generally flat-lying, gently folded sedimentary rocks, bounded on the east by the east-dipping limb of the East Kaibab monocline and cut by sheer-walled, narrow canyons. The area selected for study by the U.S. Bureau of Land Management totaled 94,642 acres (148 square miles); because of uncertainty as to final boundaries, the U.S. Geological Survey studied an additional contiguous 41,180 acres (64 square miles).

From abstract: A mineral resource survey was conducted in 1987 by the U.S. Geological Survey and the U.S. Bureau of Mines to evaluate mineral resources (known) and mineral resource potential (undiscovered) of the Sleeping Giant Wilderness Study Area (MT-075-111) in Lewis and Clark County, Montana. The only economic resource in the study area is an inferred 1.35-million-ton reserve of decorative stone (slate); a small gold placer resource is subeconomic. A high resource potential for decorative slate exists directly adjacent to the area of identified slate resource and in the northeastern part of the study area. The rest of the study area has a low potential for decorative slate. The westernmost part of the study area has a moderate resource potential for copper and associated silver in strata-bound deposits in green beds and limestone; potential is low in the rest of the study area.

From abstract: Middle Cretaceous rocks (Aptian to Coniacian) on the south side of the Uinta Basin include the nonmarine Cedar Mountain Formation and Dakota Sandstone and the lower part of the overlying marine Mancos Shale. This report examines the rocks contained within this area of the basin.

From abstract: Seismic reflection data from the southern part of the Uinta basin near Price, Utah reveal a network of late Paleozoic faults that produced abrupt variations in stratigraphic thicknesses in a structurally complex 30-mi-wide northwest-southeast-trending trough.

From introduction: The major objectives of the study are to collect new data to quantify sediment sources, sinks, and transport characteristics, review historical data to quantify and interpret past shoreline changes, perform computer modelling of coastal processes, and provide public coordination and data management.

A program has been established for DOE Environmental Restoration and Waste Management (EM) to evaluate factors that are likely to affect waste glass reaction in an unsaturated environment typical of what may be expected for the candidate Yucca Mountain repository site. This report covers progress in FY 1990 on the following five tasks.

Summary of the birds of the Kilbuck and Ahklun Mountain region, including geographical distribution, population status, migration habits, nesting habitat, and zoogeography.

The COMMIX-PPC computer program is an extended and improved version of earlier COMMIX codes and is specifically designed for evaluating the thermal performance of power plant condensers. The COMMIX codes are general-purpose computer programs for the analysis of fluid flow and heat transfer in complex industrial systems. In COMMIX-PPC, two major features have been added to previously published COMMIX codes. One feature is the incorporation of one-dimensional conservation of mass, momentum, and energy equations on the tube side, and the proper accounting for the thermal interaction between shell and tube side through the porous medium approach. The other added feature is the extension of the three-dimensional conservation equations for shell-side flow to treat the flow of a multicomponent medium. COMMIX-PPC is designed to perform steady-state and transient three-dimensional analysis of fluid flow with heat transfer in a power plant condenser. However, the code is designed in a generalized fashion so that, with some modification, it can be used to analyze processes in any heat exchanger or other single-phase engineering applications.

Annual report of activities of the Argonne National Laboratory Physics Division, including research at ATLAS, medium-energy nuclear physics, theoretical nuclear physics, and atomic and molecular physics.

This report introduces the following programs: kxp: a time-saving LaTeX preprocessor, kxpl: kxp plus latex, kxh: a help facility for kxp and LaTex, ptex: a program for printing a LaTeX document, and pptex: a program for printing parts of a LaTeX document. More detailed descriptions will be given in Part 2: A Reference Manual. The appendix gives instructions on how to use Argonne's Mathematics and Computer Science Division letterhead and intralaboratory memo L(sup A)T(sub E)X styles.

This is a description of and a user's manual for upshot, an X-based graphics tool for viewing log files produced by parallel programs.

This report reviews the research activities in the Mathematics and Computer Science Division at Argonne National Laboratory for the period September 1989 through February 1991. The body of the report gives a brief look at the MCS staff and the research facilities and then discusses the diverse research projects carried out in the division. Projects funded by non-DOE sources are also discussed, and new technology transfer activities are described. Further information on staff, visitors, workshops, and seminars is found in the appendixes.

The temperature dependence of glass durability, particularly that of nuclear waste glasses, is assessed by reviewing past studies. The reaction mechanism for glass dissolution in water is complex and involves multiple simultaneous reaction proceeded, including molecular water diffusion, ion exchange, surface reaction, and precipitation. These processes can change in relative importance or dominance with time or changes in temperature. The temperature dependence of each reaction process has been shown to follow an Arrhenius relationship in studies where the reaction process has been isolated, but the overall temperature dependence for nuclear waste glass reaction mechanisms is less well understood, Nuclear waste glass studies have often neglected to identify and characterize the reaction mechanism because of difficulties in performing microanalyses; thus, it is unclear if such results can be extrapolated to other temperatures or reaction times. Recent developments in analytical capabilities suggest that investigations of nuclear waste glass reactions with water can lead to better understandings of their reaction mechanisms and their temperature dependences. Until a better understanding of glass reaction mechanisms is available, caution should be exercised in using temperature as an accelerating parameter.

Highlights of the Chemical Technology Division's activities during 1990, including electrochemical technology and advanced batteries and fuel cells, technology for coal-fired magnetohydrodynamics and fluidized-bed combustion, methods for recovery of energy from municipal waste, and techniques for treatment of hazardous organic waste, the reaction of nuclear waste glass and spent fuel under conditions expected for a high-level waste repository.

In both mathematics and logic, many theorems exist such that each can be proved in entirely different ways. For a striking example, there exist theorems from group theory that can be proved by relying solely on equality and (from the viewpoint of automated reasoning) the use of paramodulation, but can also be proved in a notation in which equality is totally absent and the inference rule is condensed detachment (captured with a single clause and the rule hyper-resolution). A study of such examples immediately shows how far from obvious is the problem of producing a proof in one system even in the presence of a proof in another; such problems can be viewed as ones of translation, where the rules of translation and the translation itself are frequently difficult to obtain. In this report, we discuss in detail various techniques that can be applied by the automated reasoning program OTTER to address the translation problem to obtain a proof in one notation and inference system given a proof in a completely different notation and inference system. To illustrate the techniques, we present a full treatment culminating in a successful translation'' of a proof of a theorem from many-valued sentential calculus. …