Report on the activities of Argonne Advanced Computing Research Facility, including LAPACK, vectorizing compilers, algorithm design and restructuring, automated deduction, three-dimensional scientific visualization, and graphics trace facilities.

Otter is Other Techniques for Theorem-proving and Effective Research), a revolution-style theorem-proving program for first-order logic with equality.

A conference at Argonne National Laboratory for senior executives of small and medium-size manufacturing companies covered technical and managerial issues involved in adapting advanced materials and new manufacturing methods. Seven speakers discussed how high performance metals, alloys, ceramics, polymerics and their composites are replacing conventional mill-product materials and how these new materials are impacting manufacturing methods and products.

Report on development of compressed multifoil insulation for high-temperature batteries and other applications.

This report describes the ongoing development of experimental techniques for measurement of local specific interfacial area in gas-liquid and liquid-liquid two-phase systems. Mathematical relations between local specific interfacial area and measurable quantities are derived based on kinematics and geometry. Two methods for determining local specific interfacial area are identified; both entail detection of passage of interfaces through fixed locations in the flow field. A multiple-sensor electrical-resistivity-probe technique is being developed for determination of local specific interfacial area in vertical gas-liquid bubbly flows. The technique consists of simultaneous measurements at two or four locations in the two-phase flow field of the local electrical resistivity of the two-phase mixture. Methods for data analysis are described. Limitations of the technique are briefly discussed.

Annual report for the superconductor program at Argonne National Laboratory discussing the group's activities and research. This report documents research efforts aimed at producing superconducting components based on oxide systems.

Uranium in terrestrial volcanic ejecta from mantle-related sources has been analyzed mass spectrometrically. The objective was to seek supporting evidence for or refutation isotopic variations reported by Fried et al. (1985) for some such samples. The possibility that terrestrial U is not of constant isotopic composition is extraordinary. If true, mechanisms for creating the variation must be sought and the lack of homogenization within the earth addressed. Samples of 100 grams or more were processed in order to minimize reagent and environmental (laboratory) blank interference and to permit isolation of large amounts (several to tens of .mu.g) of U for the mass spectrometer (MS) measurements, which utilizes aliquots of (approximately)1 .mu.g. Aliquants from four volcanic samples gave data which indicate enrichments of ₂₃₅U ranging from 0.2% to 5.9% in the 235/238 ratio relative normal uranium ratios. These relative enrichments are consistent with, and in some cases, higher than the 0.18% enrichment reported by Fried et al. (1985) for two volcanic lava samples. However, we were not able to reproduce their results on the Kilauea lava for which they report 0.18% ²³⁵U enrichment. The relative error in our MS ratios is 0.05% -- 0.07%. 1 tab.

Supplemental paper organized as a series of questions and answers, outlining the reasoning by which the proposed standard for Ada came to acquire certain features and exclude others.

The results of the environmental monitoring program at Argonne National Laboratory (ANL) for 1988 are presented and discussed. To evaluate the effect of ANL operations on the environment, sample collections were made on the site, at the site boundary, and off the ANL site for comparison purposes.

The third volume of a series of reports containing the proceedings of the Focused Research Program on "Spectral Theory and Boundary Value Problems."

The results of the environmental monitoring program conducted at Site A/Plot M in the Palos Park Forest Preserve area for CY 1988 are presented.

Highlights of the Chemical Technology (CMT) Division's activities during 1988 are presented. In this period, CMT conducted research and development in the following areas: (1) high-performance batteries (mainly lithium-alloy/metal sulfide, sodium/metal chloride, and sodium/sulfur); (2) aqueous batteries (lead-acid, nickel/iron, etc.); (3) advanced fuel cells with molten carbonate or solid oxide electrolytes; (4) coal utilization, including the heat and seed recovery technology for coal-fired magnetohydrodynamics plants and the technology for fluidized bed combustion; (5) methods for recovery of energy from municipal waste and techniques for treatment of hazardous chemical waste; (6) nuclear technology related to a process for separating and recovering. transuranic elements from nuclear waste and for producing 99Mo from low-enriched uranium targets, the recovery processes for discharged fuel and the uranium blanket in a sodium-cooled fast reactor, and waste management; and (7) physical chemistry of selected materials in environments simulating those of fission and fusion energy systems.

The search for cost-effective lattice rules is a time-consuming and difficult process. After a brief overview of some of the lattice theory relevant to these rules, a new approach to this search is suggested. This -approach is based on a classification of lattice rules using "the upper triangular lattice form" of the reciprocal lattice generator matrix.

This report provides a preliminary assessment of some magnetic heat pump (MHP)/refrigeration concepts for cryogen liquefaction and other industrial applications. The study was performed by Astronautics Corporation of America for Argonne National Laboratory under the sponsorship of the U.S. Department of Energy.

A mathematical model is presented for fluidelastic instabilities in tube bundles exposed to nonuniform crossflow to develop an equivalent flow velocity. The model incorporates all motion-dependent fluid forces based on the unsteady flow theory. Published fluid-force coefficients are compiled and examined; all fluid-force coefficients are approximately independent of the reduced flow velocity when it is large but are strongly dependent on reduced flow velocity when it is lower. The unsteady flow model is used to show that the mode-weighted averaging method is valid for large reduced flow velocity, but that it is incorrect at lower reduced flow velocity. In the lower reduced flow velocity range, an iterative procedure is needed to establish the critical flow velocity. The results from the unsteady flow model are compared with those of other mathematical models. A general procedure is recommended to predict the equivalent flow velocity under different situations.

Corrosion resistance of materials in aqueous systems is reviewed from the perspective of their suitability as container materials for nuclear waste. A discussion of the chemistry and characterization of repository environments, namely, tuff and alternative environments (shale, limestone, and carbonate), is followed by a description of corrosion mechanisms. In this review, emphasis is placed on localized corrosion (e.g., stress corrosion cracking, crevice corrosion, and pitting) because localized corrosion is difficult to account for in design of components, but it is the life-limiting factor for many metallic and nonmetallic systems.

Progress report of the Argonne National Laboratory's Nuclear Technology Programs, including applied physical chemistry, separation science and technology, and high level waste and repository interactions.

A recently developed computer program, based on geometric programming, was used to evaluate the chemistry of gaseous and condensed products that arise in conversion of Illinois bituminous coal under both oxidizing and reducing conditions.

This report summarizes the work that has been performed at Argonne National Laboratory on the development of an analytical procedure to analyze TRUEX process solvents; these solvents are composed of a bifunctional organophosphorus extractant.

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

Report on the asymptotic behavior of certain generalized solutions of the problem of the prescribed mean curvature equation.

This report, reviews the research activities in the Mathematics and Computer Science Division at Argonne National Laboratory for the period January 1988 - August 1989. The body of the report gives a brief look at the MCS staff an-d the research facilities, and discusses various projects carried out in two major areas of research: analytical and numerical methods and advanced computing concepts. Projects funded by non-DOE sources are also discussed, and new technology transfer activities are described. Further informant ion or division staff, visitors, workshops, and seminars is found in the appendices.

Fuel cells offer the potential of a clean, efficient power source for buses, cars, and other transportation applications. When the fuel cell is run on methanol, refueling would be as rapid as with gasoline-powered internal combustion engines, providing a virtually unlimited range while still maintaining the smooth and quiet acceleration that is typical for electric vehicles.

Annual report for the superconductor program at Argonne National Laboratory discussing the group's activities and research.