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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS2013

Improved Cell Culture Method for Growing Contracting Skeletal Muscle Models

An improved method for culturing immature muscle cells (myoblasts) into a mature skeletal muscle overcomes some of the notable limitations of prior culture methods. The development of the method is a major advance in tissue engineering in that, for the first time, a cell-based model spontaneously fuses and differentiates into masses of highly aligned, contracting myotubes. This method enables (1) the construction of improved two-dimensional (monolayer) skeletal muscle test beds; (2) development of contracting three-dimensional tissue models; and (3) improved transplantable tissues for biomedical and regenerative medicine applications. With adaptation, this method also offers potential application for production of other tissue types (i.e., bone and cardiac) from corresponding precursor cells.

Marquette, Michele L.↗
NASA NTRS2021

EED-2 Contract Final Report

This EED-2 contract provides for development and sustaining engineering of software and hardware systems that provide science data management for the ESDIS Project. A major activity under this contract will be for evolution and development engineering of the EOSDIS Core System (ECS), Earthdata platform, Common Metadata Repository (CMR), NASA-Compliant General Application Platform (NGAP) cloud environment, and other EOSDIS elements that provide the common capabilities and infrastructure of EOSDIS.

EOSDIS↗
NASA NTRS2021

The Chain-link Actuator: Exploiting the Bending Stiffness of McKibben Artificial Muscles to Achieve Larger Contraction Ratios

McKibben artificial muscles, comprised of an ex-pandable bladder wrapped in a double-helix-braided sheath,have the ability to generate forces without restricting motion tooccur exclusively along the direction of actuation. This makesthem attractive for a variety of applications including soft,wearable, and biomimetic robots. Despite their advantages, thetheoretical maximum contraction ratio of McKibben muscles isonly 36.3%, which restricts the range of motion of the systemsthey actuate. This work introduces a novel ‘chain-link actuator’that exploits the bending stiffness of McKibben muscles toachieve contraction ratios of more than 50%. A static modelthat captures the relationship between pressure, displacement,and force is presented and validated on several real chain-linkactuator systems.

Daniel Bruder↗
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↗