Publications

Results 5101–5150 of 101,000

Search results

Jump to search filters

Stormwater Pollution Prevention Plan (SWPPP) for Site Wide Landscaping Project

Manger, Trevor J.; Wright, Keir

Kier + Wright, as Qualified SWPPP Developer (QSD), puts forth this Storm Water Pollution Prevention Plan (SWPPP) for the SNL/CA Site Landscaping Project at Sandia National Laboratories/California (SNL/CA), 7011 East Avenue, Livermore, California (SNL/CA). The property is owned by the U.S. Department of Energy, and managed and operated by National Technology & Engineering Solutions of Sandia (NTESS), LLC. The project proposes landscape improvements throughout SNL/CA. Per the California State Water Resources Control Board’s (California State Water Board) Construction General Permit (CGP), a SWPPP is required when 1 acre or more of land is disturbed. The project site area exceeds the minimum acreage threshold of 1 acre and therefore requires SWPPP implementation. QSD has determined the sediment risk for this project, based on soil type at the site and starting and ending dates of construction, to be low (Section 3.4.1 and Appendix B). Receiving water for this project is the Arroyo Seco. QSD has determined the Arroyo Seco to be a high-risk receiving water because it has the three beneficial uses of “spawn”, “cold”, and “migratory” (Sections 3.3 and 3.4.2 and Appendix B). QSD has determined the overall risk level for the site to be Risk Level 2, based on a combination of low sediment risk and high receiving water risk (Appendix B). As such, QSD has delineated a variety of Best Management Practices (BMPs) to be employed during project construction to reduce or eliminate pollutants in stormwater runoff or any other discharges from the Project site. In addition to site-specific BMPs, this SWPPP report provides instruction for on site monitoring. Electronic copies of required documentation such as inspection reports, REAPs, annual report documentation, etc. shall be submitted to NTESS Sandia Delegated Representative via Newforma.

More Details
TYPE Other Report YEAR 2023
DOIOSTI

2023 Annual Report of Available Drawdowns for Each Oil Storage Cavern in the Strategic Petroleum Reserve

Hart, David

DOE maintains an up-to-date documentation of the number of available full drawdowns of each of the caverns at the U.S. Strategic Petroleum Reserve (SPR). This information is important for assessing the SPR’s ability to deliver oil to domestic oil companies expeditiously if national or world events dictate a rapid sale and deployment of the oil reserves. Sandia was directed to develop and implement a process to continuously assess and report the evolution of drawdown capacity, the subject of this report. This report covers impacts on drawdown availability due to SPR operations during Calendar Year 2022. A cavern has an available drawdown if, after that drawdown, the long-term stability of the cavern, the cavern field, or the oil quality are not compromised. Thus, determining the number of available drawdowns requires the consideration of several factors regarding cavern and wellbore integrity and stability, including stress states caused by cavern geometry and operations, salt damage caused by dilatant and tensile stresses, the effect of enhanced creep on wellbore integrity, and the sympathetic stress effect of operations on neighboring caverns. Finite-element geomechanical models have been used to determine the stress states in the pillars following successive drawdowns. By computing the tensile and dilatant stresses in the salt, areas of potential structural instability can be identified that may represent red flags for additional drawdowns. These analyses have found that many caverns will maintain structural integrity even when grown via drawdowns to dimensions resulting in a pillar-to-diameter ratio of less than 1.0. The analyses have also confirmed that certain caverns should only be completely drawn down one time. As the SPR caverns are utilized and partial drawdowns are performed to remove oil from the caverns (e.g., for oil sales, purchases, or exchanges authorized by the Congress or the President), the changes to the cavern caused by these procedures must be tracked and accounted for so that an ongoing assessment of the cavern’s drawdown capacity may be continued. A methodology for assessing and tracking the available drawdowns for each cavern is reiterated. This report is the latest in a series of annual reports, and it includes the baseline available drawdowns for each cavern, and the most recent assessment of the evolution of drawdown expenditures. A total of 222 million barrels of oil were released in calendar-year 2022. A nearly-equal amount of raw water was injected, resulting in an estimated 34 million barrels of cavern leaching. Twenty caverns have now expended a full drawdown. Cavern BC 18 has expended all its baseline available drawdowns, and has no drawdowns remaining. Cavern BM 103 has expended one of its two baseline drawdowns, and is now a single-drawdown cavern. All other caverns with an expenditure went from at-least-5 to at-least-4 remaining drawdowns.

More Details
TYPE SAND Report YEAR 2023
DOIOSTI

Correct Compilation of Concurrent C Code

Bender, John M.

The CompCert compiler represents a landmark effort in program verification as both a piece of verified software and as a compiler for verified C programs. A key shortcoming of CompCert however is that it does not support multithreaded programs. Prior work to add threads to CompCert has either required major rewrites of parts of the proof or only works for well synchronized programs. The problem is that CompCert’s backward simulation derives from a forward simulation via the determinism of the semantics of intermediate representation languages. This makes the proofs in CompCert easier but also makes them incompatible with standard models of multithreading which are non-deterministic. Here we propose an alternate formulation of CompCert’s proof structure that parameterizes the existing single threaded semantics with nondeterministic behavior generated at the multithreading level. While this is an old trick where program equivalence is concerned, performing it in the context of CompCert is quite subtle. Our approach allows for expressive concurrent semantics and does not require major proof rewrites but still results in a global backward simulation for multithreaded programs.

More Details
TYPE SAND Report YEAR 2023
DOIOSTI
Results 5101–5150 of 101,000
Results 5101–5150 of 101,000
Top