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.

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.

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.