77 research outputs found

    Analysis of DOE Spent Nuclear Fuels for Repository Disposal

    Get PDF
    Abstract -U.S. Department of Energy (DOE) spent nuclear fuel (SNF) consists of hundreds of different fuel types in various conditions . In order to analyze and model the DOE SNF for its suitability for repository disposal, several generalizations and simplifications were necessary. This paper describes the methodology used to arrive at a suitable DOE SNF surrogate and summarizes the proposed analysis of this DOE SNF surrogate for its appropriateness as a representative SNF. I. INTRODUCTION fuel parameters. These parameters were determined based on properties that affect three major areas of licensing During the last four decades, the U.S. Department of analysis: criticality, design basis events, and performance Energy (DOE) and its preceding agencies generated assessment. The parameters used to group the DOE SNFs approximately 250 varieties of spent nuclear fuel (SNF) are shown i

    Value Added Products from Hemicellulose Utilization in Dry Mill Ethanol Plants

    Get PDF
    The Iowa Corn Promotion Board is the principal contracting entity for this grant funded by the US Department of Agriculture and managed by the US Department of Energy. The Iowa Corn Promotion Board subcontracted with New Jersey Institute of Technology, KiwiChem, Pacific Northwest National Lab and Idaho National Lab to conduct research for this project. KiwiChem conducted the economic engineering assessment of a dry-mill ethanol plant. New Jersey Institute of Technology conducted work on incorporating the organic acids into polymers. Pacific Northwest National Lab conducted work in hydrolysis of hemicellulose, fermentation and chemical catalysis of sugars to value-added chemicals. Idaho National Lab engineered an organism to ferment a specific organic acid. Dyadic, an enzme company, was a collaborator which provided in-kind support for the project. The Iowa Corn Promotion Board collaborated with the Ohio Corn Marketing Board and the Minnesota Corn Merchandising Council in providing cost share for the project. The purpose of this diverse collaboration was to integrate the hydrolysis, the conversion and the polymer applications into one project and increase the likelihood of success. This project had two primary goals: (1) to hydrolyze the hemicellulose fraction of the distillers grain (DG) coproduct coming from the dry-mill ethanol plants and (2) convert the sugars derived from the hemicellulose into value-added co-products via fermentation and chemical catalysis

    Generalising KAT to Verify Weighted Computations

    Get PDF
    Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structure able to express programs as weighted transitions and tests with outcomes in non necessarily bivalent truth spaces: graded Kleene algebra with tests (GKAT) and a variant where tests are also idempotent (I-GKAT). In this context, and in analogy to Kozen's encoding of Propositional Hoare Logic (PHL) in KAT we discuss the encoding of a graded PHL in I-GKAT and of its while-free fragment in GKAT. Moreover, to establish semantics for these structures four new algebras are defined: FSET(T), FREL(K,T) and FLANG(K,T) over complete residuated lattices K and T, and M (n, A) over a GKAT or I-GKAT A. As a final exercise, the paper discusses some program equivalence proofs in a graded context
    corecore