When Does a Bit Matter? Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs
Abstract not provided.
Abstract not provided.
Journal of the Electrochemical Society
This work uses accelerating rate calorimetry to evaluate the impact of cell chemistry, state of charge, cell capacity, and ultimately cell energy density on the total energy release and peak heating rates observed during thermal runaway of Li-ion batteries. While the traditional focus has been using calorimetry to compare different chemistries in cells of similar sizes, this work seeks to better understand how applicable small cell data is to understand the thermal runaway behavior of large cells as well as determine if thermal runaway behaviors can be more generally tied to aspects of lithium-ion cells such as total stored energy and specific energy. We have found a strong linear correlation between the total enthalpy of the thermal runaway process and the stored energy of the cell, apparently independent of cell size and state of charge. We have also shown that peak heating rates and peak temperatures reached during thermal runaway events are more closely tied to specific energy, increasing exponentially in the case of peak heating rates.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Experimental measurements of room closure in salt repositories are valuable for understanding the evolution of the underground and for validating geomechanical models. Room closure was measured during a number of experiments at the Waste Isolation Pilot Plant (WIPP) during the 1980's and 1990's. Most rooms were excavated using a multi-pass mining sequence, where each pass necessarily destroyed some of the mining sequence closure measurement points. These destroyed points were promptly reinstalled to capture the closure after the mining pass. After the room was complete, the mining sequence closure measurement stations were supplemented with remotely read closure measurement stations. Although many aspects of these experiments were thoroughly documented, the digital copies of the closure data were inadvertently destroyed, the non-trivial process of zeroing and shifting the raw closure measurements after each mining pass was not precisely described, the various closure measurements within a given room were not directly compared on the same plot, and the measurements were collected for several years longer than previously reported. Consequently, the hand-written mining sequence closure measurements for Rooms D, B, G, and Q were located in the WIPP archives, digitized, and reanalyzed for this report. The process of reconstructing the mining sequence closure histories was documented in detail and the raw data can be found in the appendices. Within the mid-section of a given room, the reconstructed closure histories were largely consistent with other mining sequence and remotely read closure histories, which builds confidence in the experiments and suggests that plane strain is an appropriate modeling assumption. The reconstructed closure histories were also reasonably consistent with previously published results, except in one notable case: the reconstructed Room Q closure histories 30 days after excavation were about 45 % less than the corresponding closures reported in Munson's 1997 capstone paper.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
A collection of x-ray computed tomography scans of specimens from the Museum of Southwestern Biology.
A collection of x-ray computed tomography scans of specimens from the Museum of Southwestern Biology.
Carbon dioxide (CO2) is considered the sole culprit for global warming; however, nitrous oxide (N2O), a greenhouse gas (GHG) with approximately 300 times more global warming potential than CO2, accounts for 6% of the GHG emissions in the United States. Seventy five percent of N2O emissions come from synthetic nitrogen (N) fertilizer usage in the agriculture sector primarily due to excess fertilization. Numerous studies have shown that changes in soil management practices, specifically optimizing N fertilizer use and amending soil with organic and humate materials can reverse soil damage and improve a farmer's or land reclamation company's balance sheet. Soil restoration is internationally recognized as one of the lowest cost GHG abatement opportunities available. Profitability improves in two ways: (1) lower operating costs resulting from lower input costs (water and fertilizer); and (2) increased revenue by participation in emerging GHG offsets markets, and water quality trading markets.
Abstract not provided.
The NRC’s Non-Light Water Reactor Vision and Strategy report discusses the MACCS code readiness for nearfield analyses. To increase the nearfield capabilities of MACCS, the plume meander model from Ramsdell and Fosmire was integrated into MACCS and the MACCS plume meander model based on U.S. NRC Regulatory Guide 1.145 was updated. Test cases were determined to verify the plume meander model implementation into MACCS 4.1. The results using the implemented MACCS plume meander models match the comparisons with other codes and analytical calculations. This verifies that the additional MACCS plume meander models have been successfully implemented into MACCS 4.1. This report documents the verification of these model implementations into MACCS and a comparison of the results using
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
PLoS ONE
In this paper we consider the effects of corporate hierarchies on innovation spread across multilayer networks, modeled by an elaborated SIR framework. We show that the addition of management layers can significantly improve spreading processes on both random geometric graphs and empirical corporate networks. Additionally, we show that utilizing a more centralized working relationship network rather than a strict administrative network further increases overall innovation reach. In fact, this more centralized structure in conjunction with management layers is essential to both reaching a plurality of nodes and creating a stable adopted community in the long time horizon. Further, we show that the selection of seed nodes affects the final stability of the adopted community, and while the most influential nodes often produce the highest peak adoption, this is not always the case. In some circumstances, seeding nodes near but not in the highest positions in the graph produces larger peak adoption and more stable long-time adoption.
Abstract not provided.
This paper serves as the Interface Control Document (ICD) for the Seascape automated test harness developed at Sandia National Laboratories. The primary purposes of the Seascape system are: (1) provide a place for accruing large, curated, labeled data sets useful for developing and evaluating detection and classification algorithms (including, but not limited to, supervised machine learning applications) (2) provide an automated structure for specifying, running and generating reports on algorithm performance. Seascape uses GitLab, Nexus, Solr, and Banana, open source codes, together with code written in the Python language, to automatically provision and configure computational nodes, queue up jobs to accomplish algorithms test runs against the stored data sets, gather the results and generate reports which are then stored in the Nexus artifact server.
Abstract not provided.