Search Results

Advanced search parameters have been applied.
open access

A Formal Model for Verification of Abstract Properties

Description: This report is given a specification "s" that states the requirements of a problem in terms of data dependencies. There are also given some assumptions about the input domain and to define a formal model that can be used to verify that a program written according to the specification "s" does indeed have the data dependencies specified by "s."
Date: April 1992
Creator: Winter, Victor L.; Chisholm, G. H.; Smith, Brian Thomas & Wojcik, Anthony J.
Partner: UNT Libraries Government Documents Department
open access

Employment Verification: Agencies Have Improved E-Verify, but Significant Challenges Remain

Description: Testimony issued by the Government Accountability Office with an abstract that begins "This testimony discusses the E-Verify program, which provides employers a tool for verifying an employee's authorization to work in the United States. The opportunity for employment is one of the most powerful magnets attracting immigrants to the United States. According to the Pew Hispanic Center, as of March 2010, approximately 11.2 million unauthorized immigrants were living in the country, and an estimate… more
Date: April 14, 2011
Creator: United States. Government Accountability Office.
Partner: UNT Libraries Government Documents Department
open access

Verification Test Suite (VERTS) For Rail Gun Applications using ALE3D: 2-D Hydrodynamics & Thermal Cases

Description: A verification test suite has been assessed with primary focus on low reynolds number flow of liquid metals. This is representative of the interface between the armature and rail in gun applications. The computational multiphysics framework, ALE3D, is used. The main objective of the current study is to provide guidance and gain confidence in the results obtained with ALE3D. A verification test suite based on 2-D cases is proposed and includes the lid-driven cavity and the Couette flow are inves… more
Date: April 17, 2008
Creator: Najjar, F M; Solberg, J & White, D
Partner: UNT Libraries Government Documents Department
open access

Remaining Sites Verification Package for the 1607-F3 Sanitary Sewer System, Waste Site Reclassification Form 2006-047

Description: The 1607-F3 waste site is the former location of the sanitary sewer system that supported the 182-F Pump Station, the 183-F Water Treatment Plant, and the 151-F Substation. The sanitary sewer system included a septic tank, drain field, and associated pipeline, all in use between 1944 and 1965. In accordance with this evaluation, the verification sampling results support a reclassification of this site to Interim Closed Out. The results of verification sampling demonstrated that residual contami… more
Date: April 26, 2007
Creator: Dittmer, L. M.
Partner: UNT Libraries Government Documents Department
open access

Radiographic Capabilities of the MERCURY Monte Carlo Code

Description: MERCURY is a modern, parallel, general-purpose Monte Carlo code being developed at the Lawrence Livermore National Laboratory. Recently, a radiographic capability has been added. MERCURY can create a source of diagnostic, virtual particles that are aimed at pixels in an image tally. This new feature is compared to the radiography code, HADES, for verification and timing. Comparisons for accuracy were made using the French Test Object and for timing were made by tracking through an unstructured … more
Date: April 7, 2008
Creator: McKinley, M. Scott & Schach von Wittenau, Alexis E.
Partner: UNT Libraries Government Documents Department
open access

Who Owns Renewable Energy Certificates? An Exploration of PolicyOptions and Practice

Description: Renewable energy certificates (RECs) represent the bundle of information that describes the characteristics of renewable electricity generation, and may be (and increasingly are) sold separately from the underlying electricity itself. RECs are a relatively new phenomenon, emerging as a tradable commodity in voluntary markets in the late 1990s, and gaining strength as a means of compliance with various state policy requirements affecting renewable generation in the early 2000s (Holt and Bird 200… more
Date: April 5, 2006
Creator: Holt, Edward A.; Wiser, Ryan & Bolinger, Mark
Partner: UNT Libraries Government Documents Department
open access

Remaining Sites Verification Package for the 100-F-26:12, 1.8-m (72-in.) Main Process Sewer Pipeline, Waste Site Reclassification Form 2007-034

Description: The 100-F-26:12 waste site was an approximately 308-m-long, 1.8-m-diameter east-west-trending reinforced concrete pipe that joined the North Process Sewer Pipelines (100-F-26:1) and the South Process Pipelines (100-F-26:4) with the 1.8-m reactor cooling water effluent pipeline (100-F-19). In accordance with this evaluation, the verification sampling results support a reclassification of this site to Interim Closed Out. The results of verification sampling show that residual contaminant concentr… more
Date: April 29, 2008
Creator: Capron, J. M.
Partner: UNT Libraries Government Documents Department
open access

Lignite Fuel Enhancement

Description: This 7th quarterly Technical Progress Report for the Lignite Fuel Enhancement Project summarizes activities from January 1st through March 31st of 2006. It also summarizes the subsequent purchasing activity, dryer/process construction, and testing. The Design Team began conferencing again as construction completed and the testing program began. Primary focus this quarter was construction/installation completion. Phase 1 extension recommendation, and subsequent new project estimate, Forms 424 an… more
Date: April 3, 2006
Creator: Bullinger, Charles
Partner: UNT Libraries Government Documents Department
open access

Light-Front Holography and AdS/QCD Correspondence

Description: Light-Front Holography is a remarkable consequence of the correspondence between string theory in AdS space and conformal field theories in physical-space time. It allows string modes {Phi}(z) in the AdS fifth dimension to be precisely mapped to the light-front wavefunctions of hadrons in terms of a specific light-front impact variable {zeta} which measures the separation of the quark and gluonic constituents within the hadron. This mapping was originally obtained by matching the exact expressi… more
Date: April 23, 2008
Creator: Brodsky, Stanley J. & de Teramond, Guy F.
Partner: UNT Libraries Government Documents Department
open access

Remaining Sites Verification Package for the 100-F-54 Animal Farm Pastures, Waste Site Reclassification Form 2008-015

Description: The 100-F-54 waste site, part of the 100-FR-2 Operable Unit, is the soil associated with the former pastures for holding domestic farm animals used in experimental toxicology studies. Evaluation of historical information resulted in identification of the experimental animal farm pastures as having potential residual soil contamination due to excrement from experimental animals. The 100-F-54 animal farm pastures confirmatory sampling results support a reclassification of this site to No Action. … more
Date: April 17, 2008
Creator: Capron, J. M.
Partner: UNT Libraries Government Documents Department
open access

Methodology for Validating Building Energy Analysis Simulations

Description: The objective of this report was to develop a validation methodology for building energy analysis simulations, collect high-quality, unambiguous empirical data for validation, and apply the validation methodology to the DOE-2.1, BLAST-2MRT, BLAST-3.0, DEROB-3, DEROB-4, and SUNCAT 2.4 computer programs. This report covers background information, literature survey, validation methodology, comparative studies, analytical verification, empirical validation, comparative evaluation of codes, and conc… more
Date: April 1, 2008
Creator: Judkoff, R.; Wortman, D.; O'Doherty, B. & Burch, J.
Partner: UNT Libraries Government Documents Department
open access

Remaining Sites Verification Package for the 118-C-3:3, 105-C French Drains, Waste Site Reclassification Form 2006-016

Description: The 118-C-3:3 french drains received condensate from the steam heating system in the 105-C Reactor Building. The 118-C-3:3 french drain meets the remedial action objectives specified in the Remaining Sites ROD. The results demonstrate that residual contaminant concentrations do not preclude any future uses and allow for unrestricted use of shallow zone soils. The results also demonstrate that residual contaminant concentrations are protective of groundwater and the Columbia River.
Date: April 24, 2006
Creator: Carlson, R. A.
Partner: UNT Libraries Government Documents Department
open access

Methods for Quantifying Uncertainty in Fast Reactor Analyses.

Description: Liquid-metal-cooled fast reactors in the form of sodium-cooled fast reactors have been successfully built and tested in the U.S. and throughout the world. However, no fast reactor has operated in the U.S. for nearly fourteen years. More importantly, the U.S. has not constructed a fast reactor in nearly 30 years. In addition to reestablishing the necessary industrial infrastructure, the development, testing, and licensing of a new, advanced fast reactor concept will likely require a significant … more
Date: April 7, 2008
Creator: Fanning, T. H. & Fischer, P. F.
Partner: UNT Libraries Government Documents Department
open access

Cleanup Verification Package for the 116-K-2 Effluent Trench

Description: This cleanup verification package documents completion of remedial action for the 116-K-2 effluent trench, also referred to as the 116-K-2 mile-long trench and the 116-K-2 site. During its period of operation, the 116-K-2 site was used to dispose of cooling water effluent from the 105-KE and 105-KW Reactors by percolation into the soil. This site also received mixed liquid wastes from the 105-KW and 105-KE fuel storage basins, reactor floor drains, and miscellaneous decontamination activities.
Date: April 4, 2006
Creator: Capron, J. M.
Partner: UNT Libraries Government Documents Department
open access

Remaining Sites Verification Package for the 100-F-50 Stormwater Runoff Culvert, Waste Site Reclassification Form 2007-001

Description: The 100-F-50 waste site, part of the 100-FR-2 Operable Unit, is a steel stormwater runoff culvert that runs between two railroad grades in the south-central portion of the 100-F Area. The culvert exiting the west side of the railroad grade is mostly encased in concrete and surrounded by a concrete stormwater collection depression partially filled with soil and vegetation. The drain pipe exiting the east side of the railroad grade embankment is partially filled with soil and rocks. The 100-F-50 … more
Date: April 15, 2008
Creator: Capron, J. M.
Partner: UNT Libraries Government Documents Department
open access

Remaining Sites Verification Package for the 100-B-1 Surface Chemical and Solid Waste Dumping Area, Waste Site Reclassification Form 2006-003

Description: The 100-B-1 waste site was a dumping site that was divided into two areas. One area was used as a laydown area for construction materials, and the other area was used as a chemical dumping area. The 100-B-1 Surface Chemical and Solid Waste Dumping Area site meets the remedial action objectives specified in the Remaining Sites ROD. The results demonstrate that residual contaminant concentrations support future unrestricted land uses that can be represented by a rural-residential scenario. The re… more
Date: April 24, 2006
Creator: Carlson, R. A.
Partner: UNT Libraries Government Documents Department
open access

Verification of the optimizing NOABL model using a spatially dense wind data set

Description: This report examines the ability of a numerical model--the optimizing NOABL model--to predict wind speeds and gross turbine power outputs over an area of complex terrain. To achieve this end, wind observations from a data set of high spatial density are compared to model predictions of the wind. Additionally, gross turbine powers, derived from the wind observations, are compared to the same quantity calculated from model-derived wind speeds. The model is operated using two approaches. With the … more
Date: April 1, 1988
Creator: Barnard, J.C. & Germain, A.
Partner: UNT Libraries Government Documents Department
open access

Detection of Cold Gas Releases in Space via Low Energy Neutral Atom Imaging

Description: Low energy neutral atoms (LENAs) are produced in space plasmas by charge exchange between the ambient magnetospheric plasma ions and cold neutral atoms. Under normal conditions these cold neutrals come from the terrestrial geocorona, a shroud of few-ev hydrogen atoms surrounding the Earth. As a consequence of this charge exchange, it has become possible to remotely image many regions of the magnetosphere for the first time utilizing recently developed LENA imaging technology. In addition to the… more
Date: April 1993
Creator: McComas, D. J.; Funsten, H. O.; Moore, K. R.; Scime, E. E. & Thomsen, M. F.
Partner: UNT Libraries Government Documents Department
open access

Induced shock propagation on the Non-Proliferation Experiment

Description: The Explosive Effects Physics Project at the Los Alamos National Laboratory planned and conducted experiments on the NPE (Non-Proliferation Experiment) as part of its effort to define source functions for seismic waves. Beyond the explosive chamber, the detonation induced shock propagated through the saturated tuff of the N-tunnel complex. The CORRTEX (COntinuous Reflectometry for Radius vsw Time EXperiment) system was used to investigate the shock propagation in two drill holes and the access … more
Date: April 1, 1994
Creator: McKown, T. O.
Partner: UNT Libraries Government Documents Department
open access

A two-level formal specification of a defense communications system

Description: Computer systems are being used in critical situations with sensitive data, which makes it very important to ensure that these systems perform as desired. The defense communications system contains particularly sensitive data. A two-level ASLAN formal specification of a defense communications system is presented. The ASLAN model is designed to enhance the understanding of critical requirements and demands of the defense communications system. For the top-level (high-level) specifications, the s… more
Date: April 1, 1994
Creator: Chisholm, G. H. & Kemmerer, R. A.
Partner: UNT Libraries Government Documents Department
open access

Input shaping for three-dimensional slew maneuvers of a precision pointing flexible spacecraft

Description: A method is presented for input torque shaping for three-dimensional slew maneuvers of a precision pointing flexible spacecraft. The method determines the torque profiles for fixed-time, rest-to-rest maneuvers which minimizes a specified performance index. Spacecraft dynamics are formulated in such a manner that the rigid body and flexible motions are decoupled. Furthermore, assembly by making use of finite element analysis results. Input torque profiles are determined by solving an associated … more
Date: April 1, 1994
Creator: Dohrmann, C. R. & Robinett, R. D.
Partner: UNT Libraries Government Documents Department
open access

Independent verification and validation of large software requirement specification databases

Description: To enhance quality, an independent verification and validation (IV&V) review is conducted as software requirements are defined. Requirements are inspected for consistency and completeness. IV&V strives to detect defects early in the software development life cycle and to prevent problems before they occur. The IV&V review process of a massive software requirements specification, the Reserve Component Automation System (RCAS) Functional Description (FD) is explored. Analysis of the RCAS FD error… more
Date: April 1, 1992
Creator: Twitchell, K. E.
Partner: UNT Libraries Government Documents Department
open access

A system analysis computer model for the High Flux Isotope Reactor (HFIRSYS Version 1)

Description: A system transient analysis computer model (HFIRSYS) has been developed for analysis of small break loss of coolant accidents (LOCA) and operational transients. The computer model is based on the Advanced Continuous Simulation Language (ACSL) that produces the FORTRAN code automatically and that provides integration routines such as the Gear`s stiff algorithm as well as enabling users with numerous practical tools for generating Eigen values, and providing debug outputs and graphics capabilitie… more
Date: April 1, 1992
Creator: Sozer, M. C.
Partner: UNT Libraries Government Documents Department
open access

The influence of material models on chemical or nuclear-explosion source functions

Description: Physical models of explosion sources are needed to explain the variations in the performance of existing discriminants in different regions, and to help develop more robust methods for identifying underground explosions. In this paper, we assess the sensitivity of explosion source functions to material properties by means of numerical simulations. Specifically, we have calculated the effect of varying the yield strength, overburden pressure, and gas porosity on the spectra of the reduced veloci… more
Date: April 1, 1994
Creator: Glenn, L. A. & Goldstein, P.
Partner: UNT Libraries Government Documents Department
Back to Top of Screen