Tables containing laboratory assay data for samples collected from concrete samples collected during the time of the construction of four spectral gamma-ray borehole calibration models. Samples were assay for concentrations of potassium, uranium, and thorium. See pages A-1 and A-2 of report.

Tables showing neutron profiles as both a data listing and a profile plots for moisture in models measured using an epithermal neutron-neutron probe from the Calibration Facilities Monitoring System (CFMS). See pages B-1 to B-4 of report.

Tables showing spectral-analysis data acquired from a high-purity germanium (HPGe) detector used in the enriched zones of spectral gamma-ray borehole calibration models. See pages C-1 to C-3 of report.

Tables presenting data acquired via a sodium iodide (NaI) detector used in the mid-enriched zone of each spectral gamma-ray borehole calibration model. See pages D1 - D3 of report.

This report describes a system designed to provide a portable environment for the study of automated reasoning. The system is built on the LMA automated reasoning subroutine package. This program is not part of LMA itself but illustrates the level of inference-based system that can be constructed from the LMA package of tools. It is a clause-based reasoning system supporting a wide variety of techniques which have proven valuable over the years in a long-running automated deduction research project. In addition, it is designed to present a convenient, interactive interface to its user.

This report develops a framework for a universe of discourse usable by such non-human experts. It is based on the idea that a design has many features of a contract and may be described as a contract between humans and a machine, defining what each must do to attain a goal. Several points are discussed: the use of techniques in analytical redundancy and their place as analogues in administrative control for conventional techniques in physical control; the use of redundant computer systems to protect against hardware faults; the necessity to prove properties of software used in redundant hardware, because software faults are common modes across redundant hardware; and some issues in choosing a programming language for provable control software. Because proof of correctness is costly, it should be used only where necessary. This report concludes that the degree of reliability needed by the plant model used in analytic redundancy protection need not be nearly as reliable as the mechanism to detect discrepancy between plant and model.

The mathematical development and numerical solution of the finite-difference equations are summarized. The report provides a guide for user application and details the programming structure of DIF3D. Guidelines are included for implementing the DIF3D export package on several large scale computers. Optimized iteration methods for the solution of large-scale fast-reactor finite-difference diffusion theory calculations are presented, along with their theoretical basis. The computational and data management considerations that went into their formulation are discussed. The methods utilized include a variant of the Chebyshev acceleration technique applied to the outer fission source iterations and an optimized block successive over-relaxation method for the within-group iterations. A nodal solution option intended for analysis of LMFBR designs in two- and three-dimensional hexagonal geometries is incorporated in the DIF3D package and is documented in a companion report, ANL-83-1.

This is a report on a 3.5 month observational study of the endangered Hawaiian monk seal that took place on the Laysan Island. The total recorded counts ranged from 66-119 and averaged to 90 seals, five of which died in the few months, nine injured.

Logic Machine Architecture (LMA) is a package of software tools for the construction of inference-based systems. This document is the reference manual for layer 2 of LMA. It contains the information necessary to write LMA-based systems at the level of layer 3. Such systems include theorem provers, reasoning components for expert systems, and customized deduction components for a variety of application systems.

Abstract: This report documents the work performed to determine the newly assigned concentration for the spectral gamma-ray borehole calibration models. Thirty-two models, maintained by the U.S. Department of Energy, are included in this study, and are grouped into eight sets of four models each. The eight sets are located at sites across the United States, and are used to calibrate logging instruments. The assignments are based on in-situ logging data to ensure self-consistency in the assigned concentrations, and on laboratory assays of concrete samples from each model to provide traceability to the New Brunswick Laboratory (NBL) standards.

A report regarding the Southwest Florida Ecological Characterization study, with the purpose of which is to compile existing information about the biological, social and physical sciences for the Gulf coastal counties of Florida from Pasco County to Monroe County, including the Florida Keys and Dry Tortugas.

Tests and analysis are made for tubes conveying fluid for two types of support conditions. The objectives are to study the characteristics of different types of instability, the transition of one instability mechanism to another, and the control of instability.

Abstract: This report summarizes NBS standards committee activities and accomplishments during calendar year 1983. It profiles NBS state participation on outside standards committees and highlights significant technical and individual contributions made by NBS staff. In 1983, 446 staff members (or 28% of NBS' professionals, scientific, and technical staff) participated in 989 standards committees of 87 national and international standards organizations.