UNT Libraries Government Documents Department - 3,757 Matching Results

Search Results

open access

An LMA-Based Theorem Prover

Description: We describe here a theorem prover constructed from the facilities provided by Logic Machine Architecture (LMA). This program is not part of LMA itself, but illustrates the level of inference-based system which can be constructed from the LMA package of tools. It is a clause-based theorem prover 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 … more
Date: December 1982
Creator: Lusk, Ewing L. & Overbeek, Ross A.
open access

DYNAPCON: A Computer Code for Dynamic Analysis of Prestressed Concrete Structures

Description: A finite element computer code for the transient analysis of prestressed concrete reactor vessels (PCRVs) for LMFBR containment is described. The method assumes rotational symmetry of the structure. Time integration is by an explicit method. The quasistatic prestressing operation of the PCRV model is performed by a dynamic relaxation technique. The material model accounts for the crushing and tensile cracking in arbitrary direction in concrete and the elastic-plastic behavior of reinforcing ste… more
Date: September 1982
Creator: Marchertas, A. H.
open access

Proceedings of the Sixth Meeting of the International Collaboration on Advanced Neutron Sources

Description: Representatives of the Laboratories of the International Collaboration on Advanced Neutron Sources gathered between 28 June and 2 July, 1982 at Argonne National Laboratory for their sixth meeting, ICANS-VI. The meeting was the first opportunity for participants to see Argonne's Intense Pulsed Neutron Source, which went into full operation in August, 1981, and in an important sense celebrated the coming-on-line of this most recent entry into the world's complement of the new generation of neutro… more
Date: January 1983
Creator: Argonne National Laboratory
open access

Side-by-Side Comparisons of Evacuated Compound Parabolic Concentrator and Flat Plate Solar Collector Systems

Description: Three liquid-based solar heating systems employing different types of solar collectors were tested side by side near Chicago, Illinois for one year. The three different types of collectors were: (1) a flat plate collector with a black-chrome coated absorber plate and one low-iron glass cover; (2) an evacuated-tube compound parabolic concentrator (CPC) with a concentration ratio of 1.1, oriented with tubes and troughs along a north-south axis; and (3) an evacuated-tube CPC collector with a conce… more
Date: October 1983
Creator: McGarity, Arthur E.; Allen, John W. & Schertz, William W.
open access

Chemical Engineering Division Annual Technical Report 1981

Description: Highlights of the Chemical Engineering (CEN) Division's activities during 1981 are presented. In this period, CEN conducted research and development in the following areas: rechargeable lithium-alloy/iron sulfide batteries for electric vehicles and other applications, aqueous batteries--improved lead-acid, nickel/zinc, and nickel/iron--for electric vehicles, as well as advanced lead-acid batteries for electric.-utility load leveling, energy-efficient industrial electrochemical processes, molten… more
Date: April 1982
Creator: Argonne National Laboratory. Chemical Engineering Division.
open access

Radiological and Environmental Research Division Annual Report: Part 1, Fundamental Molecular Physics, October 1979-September 1980

Description: Annual report of the Argonne National Laboratory Radiological and Environmental Research Division regarding activities related to molecular physics and chemistry. This report discusses the Section's work on the physics and chemistry of atoms, ions, and molecules - especially their interactions with external agents such as photons and electrons.
Date: 1980?
Creator: Argonne National Laboratory. Radiological and Environmental Research Division.
open access

Radiological and Environmental Research Division Annual Report: Part 2, Center for Human Radiobiology, July 1979-June 1980

Description: Annual report of the Argonne National Laboratory Radiological and Environmental Research Division regarding activities related to the Center for Human Radiobiology. This report discusses an inquiry into the mechanisms and dosimetry for induction of malignancies by radium, and studies of individuals exposed to radium and thorium, as well as to other radionuclides,.
Date: May 1981
Creator: Argonne National Laboratory. Radiological and Environmental Research Division.
open access

Radiological and Environmental Research Division Annual Report: Part 3, Ecology, January-December 1980

Description: Annual report of the Argonne National Laboratory Radiological and Environmental Research Division regarding activities related to ecology. This report discuses programs including a development project for microcosm screening systems, two initiatives in ecological modeling, and a program of field experiments for a national assessment of crop losses due to air pollution.
Date: July 1981
Creator: Argonne National Laboratory. Radiological and Environmental Research Division.
open access

Radiological and Environmental Research Division Annual Report: Part 4, Atmospheric Physics, January-December 1980

Description: Annual report of the Argonne National Laboratory Radiological and Environmental Research Division regarding activities related to atmospheric physics. This report discusses research activities on the transport, removal and, to a lesser extent, transformation of pollutants in the lower atmosphere.
Date: August 1981
Creator: Argonne National Laboratory. Radiological and Environmental Research Division.
open access

Radiological and Environmental Research Division Annual Report: Part 1, Fundamental Molecular Physics, October 1980-September 1981

Description: Annual report of the Argonne National Laboratory Radiological and Environmental Research Division regarding activities related to molecular physics and chemistry. This report discusses areas in the physics and chemistry of atoms and molecules related to their interactions with photons, electrons, and other external agents such as energetic ions.
Date: December 1982
Creator: Argonne National Laboratory. Radiological and Environmental Research Division.
open access

Radiological and Environmental Research Division Annual Report: Part 2, Center for Human Radiobiology, July 1980-June 1981

Description: Annual report of the Argonne National Laboratory Radiological and Environmental Research Division regarding activities related to the Center for Human Radiobiology. This report contains a mixture of original countributions, abstracts of published papers, and summaries of papers presented at meetings.
Date: March 1982
Creator: Rowland, R. E.; Stehney, A. F. & Rundo, J.
open access

Radiological and Environmental Research Division Annual Report: Part 4, Atmospheric Physics, January-December 1981

Description: Annual report of the Argonne National Laboratory Radiological and Environmental Research Division regarding activities related to atmospheric physics. This report discusses the section's participation in the Atmospheric Studies in COmplex Terrain (ASCOT) experiment.
Date: September 1982
Creator: Stehney, A. F. & Wesely, M. L.
open access

Materials Technology for Coal-Conversion Processes Quarterly Report: April-June 1980

Description: Quarterly report on the activities of the Argonne National Laboratory Materials Science Division regarding studies on ceramic (refractory) and metallic materials presently being used or intended for use in coal-conversion processes. The program entails research in the fields of nondestructive testing and failure analysis, together with studies of erosive wear, corrosion, and refractory degradation.
Date: October 1980
Creator: Ellingson, W. A.
open access

Fuel Cycle Programs, Quarterly Progress Report: October-December 1980

Description: Quarterly report of the Argonne National Laboratory Chemical Engineering Division regarding activities related to properties and handling of radioactive materials, operation of nuclear reactors, and other relevant research.
Date: July 1981
Creator: Steindler, M. J.; Vogler, Seymour; Vandegrift, G. F.; Williams, Jacqueline; Gerding, T. J.; Jardine, L. J. et al.
open access

Fuel Cycle Programs, Quarterly Progress Report: January-March 1981

Description: Quarterly report of the Argonne National Laboratory Chemical Engineering Division regarding activities related to properties and handling of radioactive materials, operation of nuclear reactors, and other relevant research.
Date: March 1982
Creator: Steindler, M. J.; Vogler, Seymour; Vandegrift, G. F.; Williams, Jacqueline; Gerding, T. J.; Jardine, L. J. et al.
Back to Top of Screen