Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Provenance”

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.

At least 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Radioisotope Power System Cask Trailer Chiller Low Heat Load Study

This report documents the study of the Radioisotope Thermoelectric Generator Transport System (RTGTS) chillers capability to transport a Radioisotope Power System (RPS) with low heat loads in the cask. Tests of the RTGTS chillers included setting the glycol/water (coolant) temperature to a control set point of 40° and 60°F while applying heat loads ranging from 2500 to 0 W heat load. The tests performed showed that the chiller systems could handle the entire range of heat loads. However, a noise/vibration started to occur when the set point was 60°F with low heat loads. Three recommended changes to the RTGTS chillers are recommended with varying implementation windows. The first is an operational change that can be implemented immediately. The RTGTS chillers should have a set point of 40°F when transporting an RPS less than 1500 W. The second is a short-term change (within the next two years) augmenting RPS heat by utilizing one RTGTS onboard heater (2500 W) while transporting an RPS with less than 1500 W which will also require a change to the Instrument and Data Acquisition System (IDAS) to allow monitoring and possible control of power to the onboard heaters. However, if the heater does fail during transport, no emergency actions or immediate repairs will be required due to the chillers’ ability to handle low heat loads. Running a 2500 W heater when transporting low heat loads aids in prolonging the life of the chillers. The remaining recommended long-term change is to replace the current chillers with a new portable or permanently installed chiller system in the next five to ten years. This time frame takes advantage of the proven reliability and durability of the current chillers while the new chillers are phased in and proven to the RPS program.

42 ENGINEERING↗
DOE OSTI2024

The Essence of Cryptol: A Denotational Cryptol Interpreter in Coq for Foundational Assurances for Quantum Resistant Cryptosystems

Systems of the utmost consequence need a means to establish authenticity of software and data. Cryptosystems implement authentication, but can be vulnerable to cryptographic and implementation attacks. With the threat of quantum cryptographic attacks, “post-quantum” cryptosystems (PQCs) must be henceforth used in these systems. However, the new cryptography needs new ways to, rigorously and machine-checkably, prove systems free of vulnerabilities. We propose a retargetable capability to rapidly instantiate proven correct postquantum cryptosystems through novel proof-carrying synthesis and proof-automation technique, extending those proven successful on existing systems. This capability is crucial to meeting the cryptographic requirements for future high-consequence systems. Since specifications for high consequence cryptography are presently captured in a domain specific language known as Cryptol. While this can enable convenient fully automated reasoning about Cryptol specificaitons and implementations via the Software Analysis Workbench (SAW), Cryptol has expressivity gaps, so that cryptosystems with probabilistic programming features like Falcon cannot be fully expressed in the language. Moreover, SAW’s automation fails for programs and specificaitons with inductive and recursive structure, as in the Sphincs+ PQC. Finally, Cryptol and SAW together represent some 200,000 lines of unverified Haskell, so that the any guarantees about high consequence cryptography are presently contingent on a large, unverified, yet trusted computing base. The first step of the larger project of agile, assured crpytography is therefore to provide a formal, mechanized semantics for Cryptol, so that the specifications expressed by cryptographers in Cryptol can be reasoned about and compiled into performant implementations with a foundational, machine checkable certificate of correctness. This report describes our work on this first step, culminating in the design of a certified denotational interpreter, in Coq, for core Cryptol.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Coal to Carbon Fibers

This report documents activities carried out by Oak Ridge National Laboratory and by Ramaco Carbon LLC under CRADA project NFE-20-08273 entitled “Coal to Carbon Fibers.” This project’s main objective was the demonstration of commercially relevant utilization of coal as a precursor for high-value-added products, such as carbon fibers. The specific objectives included the following: • Deploy a production platform for the conversion of coal into carbon fibers in a way that utilizes preexisting base technologies and accelerates the commercialization of coal to carbon fibers. • Rapid deployment and utilization of versatile conversion test beds for accommodating preexisting base technologies for both the conversion of coal-to-pitch (proven donor solvent liquefaction techniques) and conversion of pitch-to-fiber (proven melt spun and melt blown techniques). Results from the generation of an isotropic pitch from a subbituminous coal through the low severity direct coal liquefaction process are presented. Carbon fibers were produced from this isotropic pitch through melt spinning and melt blowing.

01 COAL, LIGNITE, AND PEAT↗
DOE OSTI2025

Alaska Liquid Natural Gas Pipeline Front-End Engineering & Design (Final Technical Report)

The Alaska Gasline Development Corporation (AGDC) is Alaska’s natural gas infrastructure development corporation established in 2013. AGDC’s mission is to maximize the benefit of Alaska’s vast North Slope natural gas resources for Alaskans through the development of infrastructure necessary to move the gas into local and international markets. AGDC was identified for a Congressionally Directed Spending (CDS) project for funding in the Energy and Water Development and Related Agencies Appropriations Act, 2023 under the heading: “Congressionally Directed Energy Efficiency and Renewable Energy Projects.” The CDS included $\$$4,000,000 of direct funding, with required match funds, to move the project forward. Alaska’s North Slope holds America’s largest proven and conventional natural gas supply. The integrated Alaska LNG Project will deliver 3.5 billion cubic feet of natural gas per day from Alaska’s North Slope gas fields to Alaskans as well as to a marine terminal located at tidewater in Cook Inlet. Alaska LNG is an integrated gas infrastructure project with three major components: a gas treatment plant (GTP) located at Prudhoe Bay, an 807-mile (1,287 km) gas pipeline (Mainline Pipeline) to Southcentral Alaska with interconnections for in-state gas use, and a natural gas liquefaction facility (LNG Facility) in Nikiski, Alaska. The integrated Alaska LNG Project has several strategic advantages including proven gas resources, existing upstream infrastructure, an advantageous arctic climate for LNG production, proximity to LNG markets, a track record of reliability from a state that first began exporting LNG to Japan in 1969, and broad support from Alaskans. North Slope natural gas is a conventional resource and can be produced with minimal drilling at a fraction of the carbon dioxide emissions of shale gas from the Lower 48 states. Through the development of the Alaska LNG Project, Alaska can provide energy security to Alaskans and a stable source of LNG to the Asia-Pacific region for generations. The Alaska LNG Project has been progressed through Pre-Front-End Engineering Design (Pre-FEED) and has obtained all major federal and State of Alaska permits and authorizations to construct the project, including the Federal Energy Regulatory Commission (FERC) Order Granting Authorization Under Section 3 of the Natural Gas Act. On September 5, 2024, the U.S. Department of Energy (DOE), National Energy Technology Laboratory (NETL) awarded Project No. DE-FE0032307 to AGDC with the objective to progress the project to Front-End Engineering Design (FEED) entry for the Alaska LNG Project Phase 1 Pipeline. The award Start Date was made effective July 1, 2023, with a Period of Performance through June 30, 2025. On March 27, 2025, AGDC announced the execution of definitive commercial agreements with Glenfarne Alaska LNG, LLC, an affiliate of Glenfarne Group, LLC, (together as “Glenfarne”), to lead the development of the Alaska LNG Project and enter FEED for the Phase 1 Pipeline. Project activities are now funded and directed by this private sector partner who holds a 75% interest in 8 Star Alaska, LLC (8 Star). 8 Star holds the assets of the Alaska LNG Project. As planned, AGDC continues to hold 25% minority interest in 8 Star and will play a governance role moving forward with Alaska LNG. This definitive commercial agreement milestone led to the successful completion of AGDC’s Statement of Project Objectives (SOPO) for FEED entry and led to the completion of DOE Project No. DE-FE0032307. At conclusion of the SOPO, AGDC also reached the award’s maximum federal cost share of $\$$4,000,000. AGDC is, therefore, providing Final Technical Report to close out DOE Project No. DE-FE0032307.

02 PETROLEUM↗
DOE OSTI2026

Study of the Protection Improvements for a Weak Grid Area With High Inverter-Based Resources (IBRs)

This project designs enhanced protection scheme for the real-world weak grid area with a high penetration of IBRs. As the existing protection schemes are originally designed for traditional synchronous machines, we first evaluate if the protection scheme will continue to operate reliably in systems with high levels of IBRs. Hardware relays are tested using a controller-hardware-in-the-loop setup. PSCAD electromagnetic transient simulation with IBR original equipment manufacturer black-box models is used to perform fault studies and generate COMTRADE data, which are replayed by a real-time digital simulator (RTDS) to feed input to the hardware relays. Three scenarios are analyzed: normal operation, an N-1 contingency, and an IBR-only scenario. The evaluation results reveal the following: 1) the protection scheme remains reliable under normal conditions and N-1 contingencies and 2) in IBR-only scenarios, differential protection (87L) continues to operate reliably, whereas local protection elements, such as distance and directional elements, fail because of the lack of regulated negative sequence current contributed by IBRs. Enhanced protection is designed to address the challenge of lack of negative sequence current from IBRs, including increased restraining factors a2 and k2 to block 32Q or using V instead QV ORDER for ground faults, enhanced mho distance element with voltage and phase angle supervision for L-L faults. The efficacy of enhanced protection logic is validated and proven to work reliably. Additionally, IEEE Std. 2800-2022 negative sequence current compliant GFL and GFM IBRs from another vendor are tested and proven to work reliably without need for enhanced logic. Therefore, this work provides valuable decision-making for utilities facing protection system challenges due to IBRs, either designing enhanced protection scheme or requesting their IBRs being IEEE Std. 2800-2022 compliant to produce regulated negative sequence current for protection relay to make correct decision.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2026

Multi-sensor Observations of a High-velocity Fireball over the South Atlantic on 2026 April 1

A high-velocity fireball was detected over the South Atlantic (41.9°S, 54.7°W) on 2026 April 1 at 02:13:14 UTC by U.S. Government (USG) sensors, with peak brightness at 90.5 km altitude. The event was well-observed from geostationary orbit by two civilian lightning imagers with near-orthogonal geometry, the Geostationary Operational Environmental Satellite-East Geostationary Lightning Mapper (GLM) and the Exploitation of Meteorological Satellites Meteosat Third Generation Imager 1 Lightning Imager, and it produced low-frequency acoustic signatures. The GLM measured a total radiated energy of 2.4 × 10 10 J, corresponding to a calculated impact energy of 0.086 kt TNT equivalent. Stereoscopic triangulation of the imager tracks yields an independent pre-atmospheric velocity of ~57 km s −1 , some 18% below the USG-reported value. Because orbital provenance is acutely sensitive to the entry velocity, whose reported uncertainty could be substantial, this discrepancy is notable. We document the multi-sensor record and identify the analysis required to assess provenance, which a subsequent study will present.

Silber, Elizabeth Allaryce [Sandia National Lab. (↗
NASA NTRS1971

Experiment S005: Synoptic terrain photography

Several tentative conclusions can be derived from the results of the synoptic terrain photography experiment, with particular reference to the results from the Gemini mission. The photographs are additional confirmation of the feasibility and value of orbital photographs for geology, geography, and oceanography. The photographs have proven to be of value in the study of the tectonic problems. Although vertical or near-vertical photography is superior to oblique photography, photographs from the Gemini 12 mission have proven that low oblique photographs, and even high oblique photographs, may be of value for certain situations. The oblique views of the Makran Range were useful substitutes for vertical photographs. Equivalent aerial coverage by vertical photographs would have necessitated a camera altitude of several hundred miles. The oblique views of the Sierra Madre Oriental have been used in the search for structures that are approximately normal to the horizon and are enhanced by the foreshortening because of the photograph.

Lowman, P. D., Jr.↗
NASA NTRS1971

Two examples in the time optimal control theory of distributed parameter systems.

The behavior of hyperbolic and parabolic partial differential equations is contrasted by studying the point-to-point time-optimal control problem for the equation of heat conduction and the equation of motion of a vibrating string. A maximal principle is obtained for the time-optimal control of the one-dimensional heat equation, and it is proven that time optimal controls are weakly bang-bang. The bang-bang principle is proven to be invalid for hyperbolic equations because of the finite speed of wave propagation. In the case of boundary value control of the vibrating spring, the latter is demonstrated by deriving an explicit formula for the time optimal control.

Quinn, J. P.↗
NASA NTRS1973

The use of a tracking test battery in the quantitative evaluation of neurological function

A number of tracking tasks that have proven useful to control engineers and psychologists measuring skilled performance have been evaluated for clinical use. Normal subjects as well as patients with previous diagnoses of Parkinson's disease, multiple sclerosis, and cerebral palsy were used in the evaluation. The tests that were studied included step tracking, random tracking, and critical tracking. The results of the present experiments encourage the continued use of tracking tasks as assessment precedures in a clinical environment. They have proven to be reliable, valid, and sensitive measures of neurological function.

Repa, B. S.↗
NASA NTRS1973

Monitor weather conditions for cloud seeding control

The author has identified the following significant results. The near real-time DCS platform data transfer to the time-share compare is a working reality. Six stations are now being automatically monitored and displayed with a system delay of 3 to 8 hours from time of data transmission to time of data accessibility on the computer. The DCS platform system has proven itself a valuable tool for near real-time monitoring of mountain precipitation. Data from Wolf Creek Pass were an important input in making the decision when to suspend seeding operations to avoid exceeding suspension criteria in that area. The DCS platforms, as deployed in this investigation, have proven themselves to be reliable weather resistant systems for winter mountain environments in the southern Colorado mountains.

Kahan, A. M.↗
NASA NTRS1975

Inlet performance of the integrated Langley scramjet module

The inlet concept for the Langley Scramjet Module has been developed and proven in Langley wind tunnels over a Mach number range from 2.3 to 6.0 (flight simulation of Mach 2.6 to 7.6). This modular engine concept is designed to integrate with the airframe, which results in precompression of the engine airflow by the vehicle bow shock and additional expansion of the nozzle exhaust gas by the afterbody of the vehicle. With these integration advantages, the inlet can be designed with modest contraction ratios and fixed geometry. Also, the module nozzle exit area can be equal to the capture area, which permits the cowl to be alined with the local flow producing minimum external drag. The inlet leading edges and planar compression surfaces are swept at 48 deg, which provides spillage at low Mach numbers for starting and which reduces the pressure gradient on the top surface to permit ingestion of the vehicle forebody boundary layer into the inlet without separating. Three fuel injection struts provide for the use of a short combustor having low internal cooling requirements. Schedules for mass capture ratio, contraction ratio, and total pressure recovery are well within the acceptable range for a good scramjet propulsion device. The fixed geometry, minimum external drag design has proven to be a practical, high-performance inlet concept.

Trexler, C. A.↗
NASA NTRS1975

Use of the LANDSAT-2 Data Collection System in the Colorado River Basin Weather Modification Program

The author has identified the following significant results. The LANDSAT data collection system has proven itself to be a valuable tool for control of cloud seeding operations and for verification of weather forecasts. These platforms have proven to be reliable weather resistant units suitable for the collection of hydrometeorological data from remote severe weather environments. The detailed design of the wind speed and direction system and the wire-wrapping of the logic boards were completed.

Kahan, A. M.↗
NASA NTRS1975

Standardization and program effect analysis (Study 2.4). Volume 2: Equipment commonality analysis

The feasibility and cost savings of using flight-proven components in designing spacecraft were investigated. The components analyzed were (1) large space telescope, (2) stratospheric aerosol and gas equipment, (3) mapping mission, (4) solar maximum mission, and (5) Tiros-N. It is concluded that flight-proven hardware can be used with not-too-extensive modification, and significant savings can be realized. The cost savings for each component are presented.

Shiokari, T.↗
NASA NTRS1979

Economics of the solid rocket booster for space shuttle

The paper examines economics of the solid rocket booster for the Space Shuttle. Costs have been held down by adapting existing technology to the 146 in. SRB selected, with NASA reducing the cost of expendables and reusing the expensive nonexpendable hardware. Drop tests of Titan III motor cases and nozzles proved that boosters can survive water impact at vertical velocities of 100 ft/sec so that SRB components can be reused. The cost of expendables was minimized by selecting proven propellants, insulation, and nozzle ablatives of known costs; the propellant has the lowest available cost formulation, and low cost ablatives, such as pitch carbon fibers, will be used when available. Thus, the use of proven technology and low cost expendables will make the SRB an economical booster for the Space Shuttle.

Rice, W. C.↗
NASA NTRS1984

The undercooling of liquids

The formation by melt quenching of such metastable structures as glassy or microcrystalline solids and highly supersaturated solutions is made possible by the extreme resistance of most melts to homophase crystal nucleation at deep undercooling. This nucleation resistance contrasts sharply with the very low kinetic resistance to the movement of crystal-melt interfaces, once formed, in metals and other fluid systems at even minute undercooling. The methods of nucleation study which have proven especially effective in bypassing nucleation by heterophase impurities thereby exposing the high resistance of melts to homophase nucleation may be summarized as follows: observation of the crystallization behavior of dispersed small droplets; drop tube experiments in which liquid drops solidify, under containerless conditions, during their fall in the tube; and observation of the crystallization of bulk specimens immersed in fluxes chosen to dissolve or otherwise deactivate (e.g., by wetting) heterophase nucleants. This method has proven to be remarkably effective in deactivating such nucleants in certain pure metals.

Turnbull, D.↗
NASA NTRS1985

Bibliography of terrestrial impact structures

This bibliography lists 105 terrestrial impact structures, of which 12 are proven structures, that is, structures associated with meteorites, and 93 are probable. Of the 93 probable structures, 18 are known to contain rocks with meteoritic components or to be enriched in meteoritic signature-elements, both of which enhance their probability of having originated by impact. Many of the structures investigated in the USSR to date are subsurface features that are completely or partly buried by sedimentary rocks. At least 16 buried impact structures have already been identified in North America and Europe. No proven nor probable submarine impact structure rising above the ocean floor is presently known; none has been found in Antarctica or Greenland. An attempt has been made to cite for each impact structure all literature published prior to mid-1983. The structures are presented in alphabetical order by continent, and their geographic distribution is indicated on a sketch map of each continent in which they occur. They are also listed tables in: (1) alphabetical order, (2) order of increasing latitude, (3) order of decreasing diameter, and (4) order of increasing geologic age.

Grolier, M. J.↗
NASA NTRS1986

Rare earth element patterns in Archean high-grade metasediments and their tectonic significance

REE data on metasedimentary rocks from two different types of high-grade Archean terrains are presented and analyzed. The value of REEs as indicators of crustal evolution is explained; the three geologic settings (in North America, Southern Africa, and Australia) from which the samples were obtained are described; and the data are presented in extensive tables and graphs and discussed in terms of metamorphic effects, the role of accessory phases, provenance, and tectonic implications (recycling, the previous extent of high-grade terrains, and a model of Archean crustal growth). The diversity of REE patterns in shallow-shelf metasediments is attributed to local provenance, while the Eu-depleted post-Archean patterns are associated with K-rich plutons from small, stable early Archean terrains.

Taylor, Stuart Ross↗
NASA NTRS1987

Control system design and analysis using the INteractive Controls Analysis (INCA) program

The INteractive Controls Analysis (INCA) program was developed at the Goddard Space Flight Center to provide a user friendly efficient environment for the design and analysis of linear control systems. Since its inception, INCA has found extensive use in the design, development, and analysis of control systems for spacecraft, instruments, robotics, and pointing systems. Moreover, the results of the analytic tools imbedded in INCA have been flight proven with at least three currently orbiting spacecraft. This paper describes the INCA program and illustrates, using a flight proven example, how the package can perform complex design analyses with relative ease.

Bauer, Frank H.↗