Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Contracting”

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 289 records · Page 16

Renewable Energy Contracting Options and Renewable Energy Certificates

Virtual Trainings are the online version of the multi-day workshops known as In-Plants (INPLTs) offered by the DOE Better Plants program. ORNL has a 6-session weekly training on Renewable Energy Contracting Options and RECs starting August 5th 2025 (10 am ET) focused on options and resources for the manufacturing sector. This session is earmarked for Tuesday, August 26th, 10 AM ET.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Skeletal muscle fiber type composition and performance during repeated bouts of maximal, concentric contractions

Force output and fatigue and recovery patterns were studied during intermittent short-term exercise. 27 men performed three bouts of 30 maximal unilateral knee extensions on 2 different occasions. Blood flow was maintained or occluded during recovery periods (60 s). Blood flow was restricted by inflating a pneumatic cuff placed around the proximal thigh. Muscle biopsies from vastus lateralis were analyzed for identification of fast twitch (FT) and slow twitch (ST) fibers and relative FT area. Peak torque decreased during each bout of exercise and more when blood flow was restricted during recovery. Initial peak torque (IPT) and average peak torque (APT) decreased over the three exercise bouts. This response was 3 fold greater without than with blood flow during recovery. IPT and APT decreased more in individuals with mainly FT fibers than in those with mainly ST fibers. It is suggested that performance during repeated bouts of maximal concentric contractions differs between individuals with different fiber type composition. Specifically, in high intensity, intermittent exercise with emphasis on anaerobic energy release a high FT composition may not necessarily be advantageous for performance.

Muscle Contraction↗

CoCoSim Tutorial: Contract-based Compositional Verification of Simulink Models

This tutorial presents CoCoSim, a verification framework for MATLAB Simulink and Stateflow models. We demonstrate CoCoSim’s architecture, designed to be compatible with Lustre-based verification tools, as well as easily extensible to other candidate backends. We focus on CoCoSim’s powerful compositional verification scheme, which allows for scalable verification through the usage of abstractions of subsystems, express ed in the form of Assume-Guarantee Contracts. We show CoCoSim’s interconnection with NASA’s Formal Requirements Tool (FRET), that enables a seamless transition between authoring and formally verifying requirements for Simulink/Stateflow models. Finally, we discuss work in progress with regards to test case generation options in CoCoSim, demonstrating the generation of MC/DC tests for Simulink artifacts.

Formal Verification↗

Impact of Different Standard Type A7A Drum Closure-Ring Practices on Gasket Contraction and Bolt Closure Distance– 15621

The Department of Energy, the Savannah River National Laboratory, several manufacturers of specification drums, and the United States Department of Transportation (DOT) are collaborating in the development of a guidance document for DOE contractors and vendors who wish to qualify containers to DOT 7A Type A requirements. Currently, the effort is focused on DOT 7A Type A 208-liter (55-gallons) drums with a standard 12-gauge bolted closure ring. The U.S. requirements, contained in Title 49, Part 178.350 “Specification 7A; general packaging, Type A specifies a competent authority review of the packaging is not required for the transport of (Class 7) radioactive material containing less than Type A quantities of radioactive material. For Type AF drums, a 4 ft. regulatory free drop must be performed, such that the drum “suffers maximum damage.” Although the actual orientation is not defined by the specification, recent studies suggest that maximum damage would result from a shallow angle top impact, where kinetic energy is transferred to the lid, ultimately causing heavy damage to the lid, or even worse, causing the lid to come off. Since each vendor develops closure recommendations/procedures for the drums they manufacture, key parameters applied to drums during closing vary based on vendor. As part of the initial phase of the collaboration, the impact of the closure variants on the ability of the drum to suffer maximum damage is investigated. Specifically, closure testing is performed varying: 1) the amount of torque applied to the closure ring bolt; and, 2) stress relief protocol, including: a) weight of hammer; and, b) orientation that the hammer hits the closure ring. After closure, the amount of drum lid gasket contraction and the distance that the closure bolt moves through the closure ring is measured.

42 ENGINEERING↗

Energy Savings Performance Contracts (ESPCs)

Energy savings performance contracts (ESPCs) allow Federal agencies to conduct energy projects with limited to no up-front capital costs, minimizing the need for Congressional appropriations.

Energy, Savings, Performance, Contracts↗