464 Matching Results

Search Results

Advanced search parameters have been applied.

The TRIO Experiment

Description: The TRIO experiment is a test of in-situ tritium recovery and heat transfer performance of a miniaturized solid breeder blanket assembly. The assembly (capsule) was monitored for temperature and neutron flux profiles during irradiation and a sweep gas flowed through the capsule to an analytical train wherein the amounts of tritium in its various chemical forms were determined. The capsule was designed to operate at different temperatures and sweep gas conditions. At the end of the experiment the amount of tritium retained in the solid was at a concentration of less than 0.1 wppM. More than 99.9% of tritium generated during the experiment was successfully recovered. The results of the experiment showed that the tritium inventories at the beginning and at the end of the experiment follow a relationship which appears to be characteristic of intragranular diffusion.
Date: September 1984
Creator: Clemmer, Robert G.
Partner: UNT Libraries Government Documents Department

DISPL1: a Software Package for One and Two Spatially Dimensioned Kinetics-Diffusion Problems

Description: DISPL1 is a software package for solving some second order nonlinear systems of partial differential equations including parabolic, elliptic, hyperbolic, and some mixed types such as parabolic-elliptic equations. Fairly general nonlinear boundary conditions are allowed as well as interface conditions for problems in an inhomogeneous media. The spatial domain is one or two dimensional with Cartesian, cylindrical, or spherical (in one dimension only) geometry. The numerical method is based on the use of Galerkin's procedure combined with the use of B-splines in order to reduce the system of PDE's to a system of ODE's. The latter system is then solved with a sophisticated ODE software package. Software features include extensive dump/restart facilities, free format input, moderate printed output capability, dynamic storage allocation, and three graphics packages.
Date: September 1984
Creator: Leaf, Gary K. & Minkoff, Michael
Partner: UNT Libraries Government Documents Department

Proceedings of the Workshop on Electronic and Ionic Collision Cross Sections Needed in the Modeling of Radiation Interactions with Matter, Held at Argonne National Laboratory December 6-8, 1983

Description: The term modeling in the Workship title refers to the mathematical analysis of the consequences of many collision processes for characterizing the physical stage of radiation actions. It requires as input some knowledge of collision cross sections. Traditionally, work on cross sections and work on the modeling are conducted by separate groups of scientists. It was the purpose of the Workshop to bring these two groups together in a forum that would promote effective communication. Cross-section workers described the status of their work and told what data were available or trustworthy. Modeling workers told what kind of data were needed or were most important. Twenty-two items from the workshop were prepared separately for the data base.
Date: May 1984
Creator: Argonne National Laboratory
Partner: UNT Libraries Government Documents Department

A Design Philosophy for Reliable Systems, Including Control

Description: 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.
Date: April 1984
Creator: Gabriel, John R.
Partner: UNT Libraries Government Documents Department

Dynamic Characteristics of Heat Exchanger Tubes Vibrating in a Tube Support Plate Inactive Mode

Description: Tubes in shell-and-tube heat exchangers, including nuclear plant steam generators, derive their support from longitudinally positioned tube support plates (TSPs). Typically there is a clearance between the tube and TSP hole. Depending on design and fabrication tolerances, the tube may or may not contract all of the TSPs. Noncontact results in an inactive TSP which can lead to detrimental flow induced tube vibrations under certain conditions dependent on the resulting tube-TSP interaction dynamics and the fluid excitation forces. The purpose of this study is to investigate the tube-TSP interaction dynamics. Results of an experimental study of damping and natural frequency as functions of tube-TSP diametral clearance and TSP thickness are reported. Calculated values of damping ratio and frequency of a tube vibrating within an inactive TSP are also presented together with a comparison of calculated and experimental quantities.
Date: August 1984
Creator: Jendrzejczyk, J. A.
Partner: UNT Libraries Government Documents Department

Transuranic Decontamination of Nitric Acid Solutions by the Truex Solvent Extraction Process: Preliminary Development Studies

Description: This report summarizes the work that has been performed to date at Argonne National Laboratory on the development of the TRUEX process, a solvent extraction process employing a bifunctional organophosphorous reagent in a PUREX process solverc (tributyl phosphate-normal paraffinic hydrocarbons). The purpose of this extraction process is to separate and concentrate transuranic (TRU) elements from nuclear waste.
Date: July 1984
Creator: Vandegrift, G. F.
Partner: UNT Libraries Government Documents Department

Use of Monitors in FORTRAN: a Tutorial on the Barrier, Self-Scheduling DO-Loop, and Askfor Monitors

Description: A set of macro libraries has been developed that allows programmers to write portable FORTRAN code for multiprocessors. This document presents, in tutorial form, the macros used to implement three common synchronization patterns: self-scheduling DO-loops, barrier synchronization, and the askfor monitor.
Date: June 1985
Creator: Lusk, Ewing L. & Overbeek, Ross A.
Partner: UNT Libraries Government Documents Department

Chemical Technology Division Annual Technical Report: 1986

Description: Annual report of Argonne National Laboratory's Chemical Technology (CMT) Division. In this period, CMT conducted research and development in areas that include the following: (1) high-performance batteries--mainly lithium-alloy/metal sulfide 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, (5) methods for recovery of energy from municipal waste; (6) methods for the electromagnetic continuous casting of steel sheet; (7) techniques for treatment of hazardous waste such as reactive metals and trichloroethylenes; (8) nuclear technology related to waste management.
Date: June 1987
Creator: Argonne National Laboratory. Chemical Technology Division.
Partner: UNT Libraries Government Documents Department

Some Issues Concerning Fluidelastic Instability of a Group of Circular Cylinders in Crossflow

Description: Since the early 1970s, extensive studies of fluid-elastic instability of circular cylinders in crossflow have been reported. A significant understanding of the phenomena involved now exists. However, some confusion, misunderstanding, and misinterpretation still remain. The objective of this report is to discuss, on the basis of the current state of the art, a series of the most asked questions. Emphasis is placed on the determination of the critical flow velocity, non-dimensional parameters, stability criteria, and instability mechanisms.
Date: April 1988
Creator: Chen, Shoei-Sheng
Partner: UNT Libraries Government Documents Department

Searching for Fixed Point Combinators by Using Automated Theorem Proving : a Preliminary Report

Description: In this report, we establish that the use of an automated theorem- proving program to study deep questions from mathematics and logic is indeed an excellent move. Among such problems, we focus mainly on that concerning the construction of fixed point combinators--a problem considered by logicians to be significant and difficult to solve, and often computationally intensive and arduous. To be a fixed point combinator, THETA must satisfy the equation THETAx = x(THETAx) for all combinators x. The specific questions on which we focus most heavily ask, for each chosen set of combinators, whether a fixed point combinator can be constructed from the members of that set. For answering questions of this type, we present a new, sound, and efficient method, called the kernel method, which can be applied quite easily by hand and very easily by an automated theorem-proving program. For the application of the kernel method by a theorem-proving program, we illustrate the vital role that is played by both paramodulation and demodulation--two of the powerful features frequently offered by an automated theorem-proving program for treating equality as if it is ''understood.'' We also state a conjecture that, if proved, establishes the completeness of the kernel method. From what we can ascertain, this method--which relies on the introduced concepts of kernel and superkernel--offers the first systematic approach for searching for fixed point combinators. We successfully apply the new kernel method to various sets of combinators and, for the set consisting of the combinators B and W, construct an infinite set of fixed point combinators such that no two of the combinators are equal even in the presence of extensionality--a law that asserts that two combinators are equal if they behave the same. 18 refs.
Date: September 1988
Creator: Wos, Larry
Partner: UNT Libraries Government Documents Department

Chemical Technology Division Annual Technical Report 1988

Description: 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.
Date: May 1989
Creator: Argonne National Laboratory. Chemical Technology Division.
Partner: UNT Libraries Government Documents Department

Mathematics and Computer Science Division Five-Year Plan, 1986 - 1991

Description: This report sets forth the plans for the Mathematics and Computer Science Division during the next five years. These plans build on the Division's strong research programs in applied analysis, computational mathematics, software methodology, and advanced computing. The report addresses five major issues: research programs, research environment, dissemination of research techniques, initiatives, and resource projections.
Date: November 1986
Creator: Argonne National Laboratory. Mathematics and Computer Science Division.
Partner: UNT Libraries Government Documents Department

Motion-Dependent Fluid Forces Acting on a Tube Row in Crossflow

Description: Motion-dependent fluid forces acting on a tube row with a pitch-to-diameter ratio of 1.35 are measured for several flow velocities and a series of oscillation frequencies. Fluid-damping and fluid-stiffness coefficients are obtained from motion-dependent fluid forces as a function of reduced flow velocity. Fluid-force coefficients agree reasonably with published data. Based on the fluid-force coefficients, the critical flow velocity and instability characteristics of tube arrays in crossflow can be predicted.
Date: October 1986
Creator: Jendrzejczyk, J. A. & Chen, Shoei-Sheng
Partner: UNT Libraries Government Documents Department

Sodium Waste Technology : a Summary Report

Description: The Sodium Waste Technology (SWT) Program was established to resolve long-standing issues regarding disposal of sodium-bearing waste and equipment. Comprehensive SWT research programs investigated a variety of approaches for either removing sodium from sodium-bearing items, or disposal of items containing sodium residuals. The most successful of these programs was the design, test, and the production operation of the Sodium Process Demonstration Facility at ANL-W. The technology used was a series of melt-drain-evaporate operations to remove nonradioactive sodium from sodium-bearing items and then converting the sodium to storable compounds.
Date: January 1987
Creator: Abrams, C. S. & Witbeck, L. C.
Partner: UNT Libraries Government Documents Department

Deriving Properties of Systems from Properties of Parts and Lists of Connections

Description: This paper presents an algorithm in PROLOG for compiling recursively computable descriptions of system behavior from computable descriptions of behavior for parts and lists of interconnections. We give a set of conditions that must be satisfied by various data structures in the computation. It seems possible to provide an informal verification (by hand) that these conditions are true also of the output.
Date: December 1986
Creator: Gabriel, John R. & Chapman, Richard O.
Partner: UNT Libraries Government Documents Department

Activities and Operations of the Advanced Computing Research Facility : July - October 1986

Description: Research activities and operations of the Advanced Computing Research Facility (ACRF) at Argonne National Laboratory are discussed for the period from July 1986 through October 1986. The facility is currently supported by the Department of Energy, and is operated by the Mathematics and Computer Science Division at Argonne. Over the past four-month period, a new commercial multiprocessor, the Intel iPSC-VX/d4 hypercube was installed. In addition, four other commercial multiprocessors continue to be available for research - an Encore Multimax, a Sequent Balance 21000, an Alliant FX/8, and an Intel iPSC/d5 - as well as a locally designed multiprocessor, the Lemur. These machines are being actively used by scientists at Argonne and throughout the nation in a wide variety of projects concerning computer systems with parallel and vector architectures.
Date: 1986
Creator: Pieper, Gail W.
Partner: UNT Libraries Government Documents Department

An ITP Workbook

Description: This collection of exercises has been prepared to teach the use of the automated reasoning system ITP. Previous knowledge of automated reasoning is not presumed. The exercises are designed for use with the UNIX operating system.
Date: December 1986
Creator: Kalman, John A.
Partner: UNT Libraries Government Documents Department

An Algebraic Theory of Program Specification and Correctness Using Symmetry Operations

Description: This report applies some methods from the theory of group representation to the questions of program specification and knowledge about programs. The theory is that of a program as a transformation on a state space, and operators commuting with that transformation being symmetries of the program, means of specifying properties, and generators of program invariants. Because a program can simulate a system in the real world, there is a corresponding model of engineered artifacts, that is, manmade objects having a theory for their design.
Date: March 1987
Creator: Gabriel, John R.
Partner: UNT Libraries Government Documents Department

Flow-Induced Vibration of the SSME Lox Posts : Additional Issues

Description: A mathematical model is presented for flow-induced vibration of the Space Shuttle Main Engine (SSME) liquid oxygen (LOX) posts. The definition of the critical flow velocity is addressed, and detuning of the vibrations of the LOX posts is discussed. Nonuniform flow distributions in the axial and transverse directions are examined briefly, followed by upstream turbulence. The dependence of response upon post location is addressed briefly. Scruton's number, a mass-damping parameter, is defined and its value for the SSME LOX posts is given. Also discussed are the interaction of turbulent buffeting and fluidelastic instability, post arrangement, and swirlers around the posts. The differences are discussed between the quasi-static, the analytical, and the general analytical mathematical models.
Date: December 1984
Creator: Chen, Shoei-Sheng
Partner: UNT Libraries Government Documents Department

Chemical Technology Division Annual Technical Report for 1984

Description: Report on studies of advanced batteries, aqueous batteries, advanced fuel cells, coal utilization, methodologies for recovery of energy from municipal waste, solid and liquid desiccants, nuclear technology related to waste management, and physical chemistry of selected materials in environments simulating those of fission, fusion, and other energy systems.
Date: February 1985
Creator: Argonne National Laboratory. Chemical Technology Division.
Partner: UNT Libraries Government Documents Department

Comparison of the CRAY X-MP-4, Fujitsu VP-200, and Hitachi S-810/20 : an Argonne Perspective

Description: A set of programs, gathered from major Argonne computer users, was run on the current generation of supercomputers: the CRAY X-MP-4, Fujitsu VP-200, and Hitachi S-810/20. The results show that a single processor of a CRAY X-MP-4 is a consistently strong performer over a wide range of problems. The Fujitsu and Hitachi excel on highly vectorized programs and offer an attractive opportunity to sites with IBM-compatible computers.
Date: October 1985
Creator: Dongarra, J. J. & Hinds, Alan
Partner: UNT Libraries Government Documents Department

Research in Mathematics and Computer Science at Argonne, April 1, 1984-March 31, 1985

Description: This report reviews the research activities in the Mathematics and Computer Science Division at Argonne National Laboratory for the period April 1, 1984, through March 31, 1985. The body of the report discusses various projects carried out in four major areas of research: applied analysis, computational mathematics, software engineering, and advanced computing. Information on section staff, visitors, workshops, and seminars is found in the appendices.
Date: 1985
Creator: Pieper, Gail W. & Messina, P. C.
Partner: UNT Libraries Government Documents Department