SEARCH · Search NASA
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
The purpose of the ROSE Complier Framework Is to automate source code porting, source and binary code analysis, and source code translations such as platform optimization, binary code analysis, Identification of source code and binary code vulnerablllttes.
Explore the source record for details and available documents.
The project developed the polyhedral compiler transformation module PolyOpt/Fortran in the ROSE compiler framework. PolyOpt/Fortran performs automated transformation of affine loop nests within FORTRAN programs for enhanced data locality and parallel execution. A FORTAN version of the Polybench library was also developed by the project. A third development was a dynamic analysis approach to gauge vectorization potential within loops of programs; software (DDVec) for automated instrumentation and dynamic analysis of programs was developed.
The C Programming Language is known for being an efficient language that can be compiled on almost any architecture and operating system. However the absence of dynamic safety checks and a relatively weak type system allows programmer oversights that are hard to spot. In this paper, we present RTC, a runtime monitoring tool that instruments unsafe code and monitors the program execution. RTC is built on top of the ROSE compiler infrastructure. RTC finds memory bugs and arithmetic overflows and underflows, and run-time type violations. Most of the instrumentations are directly added to the source file and only require a minimal runtime system. As a result, the instrumented code remains portable. In tests against known error detection benchmarks, RTC found 98% of all memory related bugs and had zero false positives. Finally, in performance tests conducted with well known algorithms, such as binary search and MD5, we determined that our tool has an average run-time overhead rate of 9.7× and memory overhead rate of 3.5×.
ROSE Castor is a tool enabling automated verification of C++, built off of the ROSE compiler framework and the Why3 framework. Castor defines a verification language for providing specifications of C++ code, letting users perform automated functional formal verification of their C++ code. Castor is designed to target C++17, and supports a subset of the language, including classes, functions, templates, integers and booleans, pointers and references, and single inheritance. Castor currently does not support multiple or virtual inheritance, virtual functions, floating-point, threading, lambda functions, or the C++ STL, though some of these are planned in future updates. Castor ships with an in-house parser for parsing verification conditions.
The University of Oregon has produced a Fortran parser based on an SDF (Syntax Definition Formalism) grammar. Primary partners in this effort were Rice University and Lawrence Livermore National Laboratory. The developed Fortran parser incorporates the full Fortran 2008 standard with extensions from the more recent document, TS 29113, “Further Interoperability of Fortran with C,” (to be included in the Fortran 2018 standard). In the final year of the project, the Fortran parser was updated to comply with the complete 2018 standard, as specified in the ISO/IEC document, JTC 1/SC 22/WG 5/N2146. The research explored in this project provided the expression of the Fortran grammar in SDF form for integration with the Rosebud DSL framework developed by Rice University. The Rosebud framework is a cohesive interface allowing modular DSL plugins to be developed independently and then distributed and combined in HPC applications. These plugins implement a form of generalized DSL which includes both concrete languages used to write application source code and abstract languages used within the compilation process. ROSE’s predefined DSL Building Blocks (for example the Fortran base language) are represented as abstract language plugins and DSL developers can use Rosebud to construct additional building blocks in the same way.
Domain-Specific Languages (DSLs) offer an attractive path to Exascale software since they provide expressive power through appropriate abstractions and enable domain-specific optimizations. But the advantages of a DSL compete with the difficulties of implementing a DSL, even for a narrowly defined domain. The DTEC project addresses how a variety of DSLs can be easily implemented to leverage existing compiler analysis and transformation capabilities within the ROSE open source compiler as part of a research program focusing on Exascale challenges. The OSU contributions to the DTEC project are in the area of code generation from high-level DSL descriptions, as well as verification of the automatically-generated code.
Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89 to C23), C++ (C++98 to C++23), UPC, Fortran (Fortran4, 66, 77, 95, 2003), OpenMP, Java, Python, and Binary applications. ROSE users range from experienced compiler researchers to library and tool developers who may have minimal compiler experience. ROSE is particularly well suited for building custom tools for static analysis, program optimization, arbitrary program transformation, domain-specific optimizations, complex loop optimizations, performance analysis, and cyber-security. ROSE is: A library (and set of associated tools) to quickly and easily apply compiler techniques to one's code in order to improve application performance and developer productivity. A research and development compiler infrastructure for for writing custom source-to-source translators to perform source code transformations, analysis, and optimizations. Is
This project provides a tool to compute LCOM metrics for important Ada abstraction mechanisms (e.g., packages, protected objects). It analyzes data accesses and routine calls to compute an abstract representation of an Ada package (or some other abstraction). Different LCOM metrics (1-5) are computed from the abstract representation. The project also provides support for representing the abstraction graphically (via graphviz). The LCOM tool requires an existing ROSE installation configured with the GNAT 2019 compiler.
In an effort to locate sources of natural gas in Ohio, the fractures and lineaments in Black Devonian shale were measured by: (1) field mapping of joints, swarms, and fractures; (2) stereophotointerpretation of geomorphic lineaments with precise photoquads; and (3) by interpreting the linear features on LANDSAT images. All results were compiled and graphically represented on 1:250,000 scale maps. The geologic setting of Lawrence County was defined and a field fracture map was generated and plotted as rose patterns at the exposure site. All maps were compared, contrasted, and correlated by superimposing each over the other as a transparency. The LANDSAT lineaments had significant correlation with the limits of oil and gas producing fields. These limits included termination of field production as well as extensions to other fields. The lineaments represent real rock fractures with zones of increased permeability in the near surface bedrock.
The physical nature of the apparently densest groups of galaxies, known as compact groups is a topic of some recent controversy, despite the detailed observations of a well-defined catalog of 100 isolated compact groups compiled by Hickson (1982). Whereas many authors have espoused the view that compact groups are bound systems, typically as dense as they appear in projection on the sky (e.g., Williams & Rood 1987; Sulentic 1987; Hickson & Rood 1988), others see them as the result of chance configurations within larger systems, either in 1D (chance alignments: Mamon 1986; Walke & Mamon 1989), or in 3D (transient cores: Rose 1979). As outlined in the companion review to this contribution (Mamon, in these proceedings), the implication of Hickson's compact groups (HCGs) being dense bound systems is that they would then constitute the densest isolated systems of galaxies in the Universe and the privileged site for galaxy interactions. In a previous paper (Mamon 1986), the author reviewed the arguments given for the different theories of compact groups. Since then, a dozen papers have been published on the subject, including a thorough and perceptive review by White (1990), thus more than doubling the amount written on the subject. Here, the author first enumerates the arguments that he brought up in 1986 substantiating the chance alignment hypothesis, then he reviews the current status of the numerous recent arguments arguing against chance alignments and/or for the bound dense group hypothesis (both for the majority of HCGs but not all of them), and finally he reconsiders each one of these anti-chance alignment arguments and shows that, rather than being discredited, the chance alignment hypothesis remains a fully consistent explanation for the nature of compact groups.
The Critical Minerals (CM) Data Dashboard provides data-driven insights to help unlock the potential of conventional and unconventional CM resources in the United States. The dashboard focuses on 12 CM essential for producing zero-emission transportation and clean power technology. More information about these CM and potential resources is available in our CM Story Map. Dashboard data sets can be filtered geographically using the options provided along the top of the dashboard. Data sets can also be filtered by various attributes using the options in the expandable side panel on the left side of the screen. The data sets in this dashboard were compiled from multiple sources including the USGS, USEPA, OSMRE, and DHS., Users are encouraged to provide feedback/suggestions on the function and content of the dashboard, as well as any issues that may arise.
The U.S. Department of Energy’s (DOE’s) Pacific Northwest National Laboratory (PNNL) has been tasked by DOE’s Office of International Affairs to assess the use of water resources for power generation needs on Lake Gazivode/Ujmani in Kosovo, and provide recommendations for improved coordination and efficiency. Lake Gazivode/Ujmani is a 15-mile long man-made reservoir that straddles the Serbian-Kosovo border. Lake Gazivode/Ujmani is currently managed without a transboundary cooperation agreement. Kosovo is profoundly dependent on the lake’s waters, which provide one-third of Kosovo’s drinking water and cool two coal plants that provide 95 percent of Kosovo’s energy production. After conducting a scoping visit to Pristina, Kosovo, Lake Gazivode/Ujmani, and Belgrade, Serbia, in October 2020, PNNL staff compiled hydrometeorological, water management operations, and power grid operations data. They analyzed the data and existing literature to provide third-party observations about and recommendations for the use of the lake. Their recommendations aim to promote regional water and energy security.
The Energy & Environmental Research Center (EERC) was awarded a contract by the North Dakota Industrial Commission (NDIC) Oil and Gas Research Program (NDIC No. G-051-101) to conduct a study on the recycling of water used in oil and gas operations, also known as produced water, from oil- and gas-producing regions of North Dakota as directed by Section 19 of North Dakota House Bill 1014. This final report provides a compilation of results of the study, which include regulatory, scientific, technological, and feasibility methods and considerations associated with North Dakota produced water management. The report provides a synopsis of this project’s previously submitted produced water assessment report entitled “Produced Water Management and Recycling Options in North Dakota” (Energy & Environmental Research Center, 2020), with updated values provided as appropriate. The report provides the results from the investigation of a novel produced water management strategy, referred to as geologic homogenization, conditioning, and reuse (GHCR), which aims to use a subsurface geologic formation as a natural medium for managing produced water recycling and reuse. Water management is a significant technical and economic challenge for sustainable oil and gas production, and water volumes are intrinsically linked to oil production volumes. North Dakota oil production rose to over 1.5 million barrels (MMbbl)/day in 2019, and despite a downturn in oil price in early 2020, North Dakota oil production has recovered to 1.1 MMbbl/day as of August 2021. Bakken petroleum system development between 2008 and 2020 has resulted in a nearly fourfold increase in produced water volumes to 642 MMbbl/yr in 2020 after peaking at 740 MMbbl/yr in 2019 and a fivefold increase in saltwater disposal (SWD) volumes to 565 MMbbl/yr in 2020 after a peak of 682 MMbbl/yr in 2019. Produced water and SWD volumes are forecasted to double by 2030. SWD is the primary method of produced water management used in North Dakota, with approximately 95% of the SWD volume occurring through subsurface injection into sandstones of the Dakota Group (Dakota). Localized pressurization of the Dakota resulting from SWD and projected increases in produced water volumes could impact the economics of North Dakota oil production. As a result, there is an emerging need to pursue alternative produced water management approaches, including recycling and reuse. While produced water recycling is not yet widespread, commercial operators are making strides in overcoming the technical challenges of using high salinity produced water in completion operations (Marathon Oil, 2020). As water management continues to be a key focal point in companies’ environmental, social, and governance (ESG) initiatives, focus on water management, including recycling, will likely continue to increase. Laboratory column testing, field sample collection, geologic modeling and numerical simulation, and techno-economic analysis all indicate that GHCR could feasibly be implemented as a potential water management option. Laboratory column testing and field sample collection indicate that the Inyan Kara sandstone and native formation fluid are capable of homogenizing with the Bakken produced water to a point where the fluid composition appears to stabilize. Extracting that stabilized fluid could be considered homogeneous and capable of providing individual batches of hydraulic fracturing fluid. Numerical simulation results indicate that extraction of fluids from the Inyan Kara in a GHCR implementation scenario is capable of reducing formation pressure, which would help ease localized pressurization of the Inyan Kara and extend the available capacity for nearby existing SWD wells. Economic analysis indicates that there are scenarios where GHCR implementation can be a competitive or even lower-cost option than a conventional water management approach. Site-specific conditions will dictate the economic potential of GHCR, but potentially attractive sites for GHCR implementation will be those that are located above a pressurized zone of the Inyan Kara, need six or more Bakken infill wells, and face high costs for conventional SWD and/or freshwater. Based on the regulatory review, drilling into the Inyan Kara for SWD and to harness as a source water for industrial use have precedent in North Dakota, and a workable regulatory solution for GHCR seems likely. However, restrictions in the state regarding surface storage and transport of produced fluids may limit some activities, which will affect how GHCR could ultimately be implemented. In summary, this study reveals pursuing GHCR can be a viable approach to water management in North Dakota. The GHCR concept addresses some of the challenges that hinder the more traditional approaches to recycling in the industry. Furthermore, an assessment of the current landscape of water management within the state reveals the ongoing trend of increasing volumes of produced water and SWD. Projections reveal that the volumes of produced water that need to be managed are expected to double over the next decade (Energy & Environmental Research Center, 2020). With the continued development of the Bakken and continuing driving factors related to ESG initiatives, implementing a practice such as GHCR is a feasible approach to adding recycling of produced water to industry within the state. This subtask was cofunded through the EERC–U.S. Department of Energy Joint Program on Research and Development for Fossil Energy-Related Resources Cooperative Agreement No. DE-FE0024233. Nonfederal funding was provided by the North Dakota Industrial Commission Oil and Gas Research Program. References Energy & Environmental Research Center, 2020, Produced water management and recycling options in North Dakota: Final Report for North Dakota Legislative Management Energy Development and Transmission Committee and North Dakota Industrial Commission. Marathon Oil, 2020, Sustainability report: https://cdn.sanity.io/files/ghcnw9z2/website/ 91744eb6ef8fbe59505a911c6b8d2e8dd9a537fa.pdf?dl (accessed November 2021).
It is well known that galaxies associate in groups and clusters. Perhaps 40% of all galaxies are found in groups of 4 to 20 galaxies (e.g., Tully 1987). Although most groups appear to be so loose that the galaxy interactions within them ought to be insignificant, the apparently densest groups, known as compact groups appear so dense when seen in projection onto the plane of the sky that their members often overlap. These groups thus appear as dense as the cores of rich clusters. The most popular catalog of compact groups, compiled by Hickson (1982), includes isolation among its selection critera. Therefore, in comparison with the cores of rich clusters, Hickson's compact groups (HCGs) appear to be the densest isolated regions in the Universe (in galaxies per unit volume), and thus provide in principle a clean laboratory for studying the competition of very strong gravitational interactions. The $64,000 question here is then: Are compact groups really bound systems as dense as they appear? If dense groups indeed exist, then one expects that each of the dynamical processes leading to the interaction of their member galaxies should be greatly enhanced. This leads us to the questions: How stable are dense groups? How do they form? And the related question, fascinating to any theorist: What dynamical processes predominate in dense groups of galaxies? If HCGs are not bound dense systems, but instead 1D change alignments (Mamon 1986, 1987; Walke & Mamon 1989) or 3D transient cores (Rose 1979) within larger looser systems of galaxies, then the relevant question is: How frequent are chance configurations within loose groups? Here, the author answers these last four questions after comparing in some detail the methods used and the results obtained in the different studies of dense groups.
Abstract Quantifying the upper limit of stable soil carbon storage is essential for guiding policies to increase soil carbon storage. One pool of carbon considered particularly stable across climate zones and soil types is formed when dissolved organic carbon sorbs to minerals. We quantified, for the first time, the potential of mineral soils to sorb additional dissolved organic carbon (DOC) for six soil orders. We compiled 402 laboratory sorption experiments to estimate the additional DOC sorption potential, that is the potential of excess DOC sorption in addition to the existing background level already sorbed in each soil sample. We estimated this potential using gridded climate and soil geochemical variables within a machine learning model. We find that mid- and low-latitude soils and subsoils have a greater capacity to store DOC by sorption compared to high-latitude soils and topsoils. The global additional DOC sorption potential for six soil orders is estimated to be 107 $$\pm$$ ± 13 Pg C to 1 m depth. If this potential was realized, it would represent a 7% increase in the existing total carbon stock.
The installation, presence, operation, and decommissioning of marine renewable energy (MRE) devices inevitably alters the surrounding ocean habitats. These changes may include direct effects on the benthos from the installation or removal of foundations and anchors, changes in community composition on and near devices, artificial reef effects, and indirect effects such as alteration of the food web or facilitation of non-native, invasive species dispersal. Although there is no expectation that MRE devices affect marine environments differently than other anthropogenic ocean uses, regulators and stakeholders continue to have questions about potential negative impacts to species and habitats from development. Research studies and survey reports that inform our understanding of habitat changes related to MRE devices and associated equipment were compiled into an evidence base, sorted into categories of effects, and evaluated by a group of international experts to assess potential risk to habitats and biota from small numbers of MRE devices, as well as to identify knowledge gaps. These gaps were organized by category and divided up by relevance to consenting, research, or project development and monitoring responsibilities. Identifying these “known unknowns” allows for study design and collaboration from various perspectives to fill the knowledge gaps. Distribution of the evidence base and remaining uncertainties and knowledge gaps to the MRE community, coupled with new research, will help advance the MRE industry while resolving concerns about the potential risks of habitat change for small numbers of devices.
A simple ranking system for use with data and property values compiled in the Molten Salt Thermal Database-Thermophysical Properties (MSTDB-TP) is presented. The approach includes assessments of five features of data collection: the method used to measure the property value, calibration of devices used to make the measurements, the quantified uncertainty of the results, control of the environmental conditions, and determination of the salt composition. The verifiability of how the property value was determined is also assessed based on information provided or cited within the data set. The quality of each facet is ranked as High, Moderate, or Incomplete based on objective metrics. The overall quality of the dataset is ranked based on rankings of the five data features and the reported property value, with rankings of A and B indicating the data and property value are deemed suitable for quantitative use and U indicating uncertainties that restrict the recommended use to qualitative purposes. The system is suitable for assessing data already in the MSTDB-TP and screening new entries.