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 649 records · Page 36
All sourcesNASA NTRSDOE OSTI
NASA NTRS2016

Self-Healing Composite of Thermoset Polymer and Programmed Super Contraction Fibers

A composition comprising thermoset polymer, shape memory polymer to facilitate macro scale damage closure, and a thermoplastic polymer for molecular scale healing is disclosed; the composition has the ability to resolve structural defects by a bio-mimetic close-then heal process. In use, the shape memory polymer serves to bring surfaces of a structural defect into approximation, whereafter use of the thermoplastic polymer for molecular scale healing allowed for movement of the thermoplastic polymer into the defect and thus obtain molecular scale healing. The thermoplastic can be fibers, particles or spheres which are used by heating to a level at or above the thermoplastic's melting point, then cooling of the composition below the melting temperature of the thermoplastic. Compositions of the invention have the ability to not only close macroscopic defects, but also to do so repeatedly even if another wound/damage occurs in a previously healed/repaired area.

Li, Guoqiang↗
NASA NTRS2019

The Corona Contracts in a Black-Hole Transient

The geometry of the accretion flow around stellar-mass black holes can change on timescales of days to months1–3. When a black hole emerges from quiescence (that is, it ‘turns on’ after accreting material from its companion) it has a very hard (high-energy) X-ray spectrum produced by a hot corona4,5 positioned above its accretion disk, and then transitions to a soft (lower-energy) spectrum dominated by emission from the geometrically thin accretion disk, which extends to the innermost stable circular orbit6,7. Much debate persists over how this transition occurs and whether it is driven largely by a reduction in the truncation radius of the disk8,9 or by a reduction in the spatial extent of the corona10,11. Observations of X-ray reverberation lags in supermassive black-hole systems12,13 suggest that the corona is compact and that the disk extends nearly to the central black hole14,15. Observations of stellar-mass black holes, however, reveal equivalent (mass-scaled) reverberation lags that are much larger16, leading to the suggestion that the accretion disk in the hard-X-ray state of stellar-mass black holes is truncated at a few hundreds of gravitational radii from the black hole17,18. Here we report X-ray observations of the black-hole transient MAXI J1820+07019,20. We find that the reverberation time lags between the continuum-emitting corona and the irradiated accretion disk are 6 to 20 times shorter than previously seen. The timescale of the reverberation lags shortens by an order of magnitude over a period of weeks, whereas the shape of the broadened iron K emission line remains remarkably constant. This suggests a reduction in the spatial extent of the corona, rather than a change in the inner edge of the accretion disk.

E. Kara↗
NASA NTRSDate not supplied

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET

Realizability checking refers to the formal procedure that aims to determine whether an implementation exists, always complying to a set of requirements, regardless of the stimuli provided by the system’s environment. Such a check is essential to ensure that the specification does not allow behavior that can force the system to violate safety constraints. In this paper, we present an approach that decomposes realizability checking into smaller, more tractable problems. More specifically, our approach automatically partitions specifications into sets of non-interfering requirements. We prove that checking whether a specification is realizable reduces to checking that each partition is realizable.We have integrated realizability checking and implemented our decomposition approach within the open-source Formal Requirements ElicitationTool (FRET). A FRET user may check the realizability of a specification monolithically or compositionally. We evaluate our approach by comparing monolithic and compositional checking and showcase the strengths of our decomposition approach on a variety of industrial-level case studies

Anastasia Mavridou↗
NASA NTRSDate not supplied

Summary of The Contracted Deliveries of Nasa Payloads to the Moon via Commercial Lunar Payload Services (CLPS)

NASA’s Commercial Lunar Payload Services (CLPS) initiative allows rapid acquisition of lunar delivery services from US companies for payloads that advance capabilities for scientific, technological, or commercial development of the Moon [1]. In conjunction with instrument development efforts within NASA, academia, and international partners, a considerable variety of payloads have been delivered to CLPS vendors or a rein the process of development. Note: Document attach contains extended abstract.

Paul B Niles↗