Search NASA⌕ Search

SEARCH · Search NASA

Results for “CONTRACT”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS1988

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↗
NASA NTRSDate not supplied

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↗
DOE OSTI2025

Contracted, Not Converted: Photoluminescence Thermochromism in Ultrabright Pure Blue Emissive Hybrid Copper(I) Halide

Thermochromic luminescent materials are promising for applications such as sensors or display technologies. Understanding the mechanism of thermochromic luminescence in these materials plays an important role for their targeted applications. Here, a 0D copper(I) halide (TMP)2CuBr3 and 1D (TMP)Ag2Br3 (TMP = tetramethylphosphonium) are reported. While (TMP)Ag2Br3 is a weak light emitter, (TMP)2CuBr3 demonstrates ultrabright pure blue emission with photoluminescence (PL) quantum yield exceeding 90% within the temperature range 300–80 K. The emission in (TMP)2CuBr3 is attributed to the radiative recombination of self-trapped excitons (STEs) that arise localized on [CuBr3]2− anions. (TMP)2CuBr3 demonstrates excitation-selective PL thermochromism at low temperatures. In the literature, the origin of multiple STEs is often unclear in luminescent metal halides. Here, a detailed temperature-dependent spectroscopic and structural analysis suggests that the PL thermochromism in (TMP)2CuBr3 is associated with the appearance of a second STE state. The appearance of second STE is expected to have a structural origin, and it may be associated with the observed anomaly in thermal contraction near 200 K. The distinct PL features of melt-processible (TMP)2CuBr3 coupled with its remarkable photo- and thermal stability allow its consideration for practical optical applications, including temperature sensing.

Popy, Dilruba [University of Oklahoma, Norman]↗
DOE OSTI2025

Synergic regulation of mechanically interlocked molecules via lanthanide-contraction-based metal modulation and constituent ratios

A set of mechanically interlocked molecules (MIMs) can be synthesized efficiently using a one-pot procedure by selecting different trivalent lanthanide metal cations (M 3+ , M = La, Ce, Pr, Nd, Sm, Eu, Gd, Tb, Dy, Ho, Er, Tm, Yb, or Lu) and adjusting the proportion of the reaction components. In this system, a flexible tetracationic macrocycle, often referred to as the “Texas-sized molecular box”, interacts with terephthalate dianions and trivalent lanthanide metal cations to form various structures. The transition from metal-organic rotaxane frameworks (MORFs) to metal-containing rotaxane supramolecular organic frameworks (RSOFs) is largely dictated by the lanthanide contraction effect, which leads to a decrease in the coordination number of the lanthanide ions. In addition, the nature of the MIMs within the MORFs can be fine-tuned by varying the ratio of the cation to the other components, allowing for additional control over the interlocked system. Furthermore, these findings demonstrate that the choice of metal cation and adjustments in the building block ratios component represent promising strategies for controlling the structures of MIM-based frameworks.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2025

A generalized and adaptable tensor-contraction-based cluster expansion formalism for multicomponent solids

Density functional theory (DFT)-based simulations of materials have first-principles accuracy, but are very computationally expensive. For simulating various properties of multi-component alloys, the cluster expansion (CE) technique has served as the standard workaround to improve computational efficiency. However, the standard CE technique is difficult to extend to exotic and/or low-symmetry lattices, often implemented via iteration over particular cluster types, which must be enumerated per lattice structure. In this work, we introduce the tensor cluster expansion (TCE), implemented in the open-source code tce-lib, which maps correlation functions to mixed tensor contractions, eliminating the need to iterate over cluster types and additionally making the calculation of correlation functions well-suited for massively parallel architectures like GPUs. We show that local interaction energies are an immediate consequence of the TCE formalism, yielding nearly $\mathcal{O}$(1) energy difference calculations. We then use this formalism to fit CE models for the TaW and CoNiCrFeMn systems, and use these models to respectively compute the enthalpy of mixing curve and Cowley short-range order parameters, showing excellent agreement with ground truth data.

Cluster expansion↗
DOE OSTI2025

Equation-of-motion internally contracted multireference unitary coupled-cluster theory

The accurate computation of excited states remains a challenge in electronic structure theory, especially for systems with a ground state that requires a multireference treatment. In this work, we introduce a novel equation-of-motion (EOM) extension of the internally contracted multireference unitary coupled-cluster framework (ic-MRUCC), termed EOM-ic-MRUCC. EOM-ic-MRUCC follows the transform-then-diagonalize approach, in analogy to its non-unitary counterpart. By employing a projective approach to optimize the ground state, the method retains additive separability and proper scaling with system size. We show that excitation energies are size-intensive if the EOM operator satisfies the “killer” and the projective conditions. Furthermore, we propose to represent changes in the reference state upon electron excitation via projected many-body operators that span the active orbitals and show that the EOM equations formulated in this way are invariant with respect to active orbital rotations. We test the EOM-ic-MRUCC method truncated to single and double excitations by computing the potential energy curves for several excited states of a BeH2 model system, the HF molecule, and water undergoing symmetric dissociation. Across these systems, our method delivers accurate excitation energies and potential energy curves within 5 mE h (∼0.14 eV) from full configuration interaction. Here, we find that truncating the Baker–Campbell–Hausdorff series to fourfold commutators contributes negligible errors (on the order of 10 −5 E h or less), offering a practical route to highly accurate excited-state calculations with reduced computational overhead.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2024

The shard test and nanoporomechanics reverse classical paradigm of cement hydration being contractive

Le Chatelier in 1887 and Powers in 1947 demonstrated that the volume of nanoscale C-S-H (calcium silicate hydrate) particles formed during hydration is smaller than the combined volume of the reactants—the anhydrous Portland cement and water. Hydration has thus been considered as contractive. An experiment shows that the opposite is true above the nanoscale. The porous skeleton of cement paste expands as the growing C-S-H particles push each other apart, similar to crystal growth pressure. This is significant for high-performance concretes (HPC) with low water-cement ratios (w/c ≤ 0.4), where chemical self-desiccation lowers pore relative humidity by 40%, compared to just 1% in traditional concretes (w/c ≈ 0.5). Standard American Society for Testing and Materials (ASTM) C1608 tests, using 10 mm thick water-immersed specimens, show large shrinkage because the half-time of water ingress is many decades, unable to offset shrinkage-causing self-desiccation. The present experiment, using a laser microscopy-topography technique, proves the opposite—expansion, evidenced by measuring the length changes of water-immersed HPC shards 0.5 mm thick in which the diffusion halftime, only about one hour, allows continuous resaturation of pores, canceling self-desiccation. The faster diffusion (halftime of one hour) enables continuous pore resaturation, preventing shrinkage. When sealed with paraffin oil, the shards self-desiccate and shrink. These findings align with studies since 2015, showing that models excluding hydration expansion cannot fit test data across various specimen sizes and sealing conditions. The results suggest that standardized ASTM tests for the so-called chemical shrinkage in modern concretes with very low water-cement ratios are misleading and need revision.

Science & Technology - Other Topics↗
DOE OSTI2025

Smart Contracts for Power Grid Applications Using the Advanced DLT Cyber Grid Guard Testbed

In this study is presented two power system applications with distributed ledger technology (DLT) and smart contracts (SC) that were assessed in a Cyber-Grid-Guard System (CGGS) advanced testbed, with protective relays, power meters, communication devices, DLT devices, synchronized time source, clock displays and real time simulator. This CGGS testbed was set in the Advanced Protection Lab, 252 lab space of the Grid Research Integration and Deployment Center (GRID- C), at Oak Ridge National Laboratory. In power grids, customer-owned distributed energy resources (DERs) are more frequent than in the past, and the numbers of points of interconnection (POI) with customer-owned DERs have increased. Disruptive operation from DERs presents a risk to grid operations, and protective relays located at the POI are used to isolate out-of-tolerance or poorly behaving of DERs. Ensuring the integrity of data from the relays at the POI, and DLT could enhance the security of the power grids. The first application is a SC to define and control the allowable total power factor (TPF) of the DER (wind farm) output, and the terms of the SC are implemented using DLT with a CGGS for a customer-owned DER. The TPF SC was implemented by the CGGS using DLT. The experimental model was performed with a real-time simulator using a CGGS and relay in-the-loop. The data collected from the CGGS were used to execute the TPF SC. The TPF limits were between +0.9 and +1.0, and the breakers’ operation in the POI was controlled by the relay using the SC. The events were collected from the real-time simulator, CGGS, and SEL 700GT relay to validate a successful application of the TPF SC using DLT. The second application is a SC to measure and control the allowable voltage service limits (VSL) by the CGGS using DLT. The tests were performed by using a real-time simulator, CGGS and relay in-the-loop. The data was collected from the CGGS that executed the SC. The main constraints were defined based on ANSI C84.1 service voltage limits, and the operation of the breakers in the POI. The events were collected from the CGGS, and SEL 700GT relay to assess a successful operation of the VSL SC using DLT.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2024

Reactive-transport modeling of fracture flow to quantify the changes in flow pathways from matrix thermal contraction and mineral precipitation and dissolution; influence of grid resolution

A series of reactive-transport models of Enhanced Geothermal Systems (EGS) were constructed using the reactive transport code PFLOTRAN to examine the effect of matrix thermal contraction and mineral dissolution/precipitation on fracture flow in the context of grid cell size and model complexity. It was found that for thermal drawdown at production well, the impact of fracture zone grid cell size is negligible.

Gatz-Miller, Hannah Sarah↗