Search NASA⌕ Search

SEARCH · Search NASA

Results for “substructuring”

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
All sourcesNASA NTRSDOE OSTI
DOE OSTI2018

Using a Dynamic Substructuring Approach to Model the Effects of Acoustic Damping in Coupled Acoustic-Structure Systems

Acoustic-structure coupling can substantially alter the frequency response of air-filled structures. Coupling effects typically manifest as two resonance peaks at frequencies above and below the resonant frequency of the uncoupled structural system. In this study, a dynamic substrucuring approach is applied to a simple acoustic-structure system to expose how the system response depends on the damping in the acoustic subsystem. Parametric studies show that as acoustic damping is increased, the frequencies and amplitudes of the coupled resonances in the structural response undergo a sequence of changes. For low levels of acoustic damping, the two coupled resonances have amplitudes approximating the corresponding in vacuo resonance. As acoustic damping is increased, resonant amplitudes decrease dramatically while the frequency separation between the resonances tends to increase slightly. When acoustic damping is increased even further, the separation of the resonant frequencies decreases below their initial separation. Finally, at some critical value of acoustic damping, one of the resonances abruptly disappears, leaving just a single resonance. Counterintuitively, increasing acoustic damping beyond this point tends to increase the amplitude of the remaining resonance peak. Finally, these results have implications for analysts and experimentalists attempting to understand, mitigate, or otherwise compensate for the confounding effects of acoustic-structure coupling in fluid-filled test structures.

42 ENGINEERING↗
DOE OSTI2018

And So Ad Infinitum: The Search for Quark and Lepton Substructure

The Victorian era mathematician, Augustus de Morgan wrote, “Great fleas have little fleas upon their backs to bite ‘em, And little fleas have lesser fleas, and so ad infinitum.” This parody of Jonathan Swift’s 1733 poem On Poetry: A Rhapsody arose from a literary history, but it is rather easy to see a metaphor for nature in these words. The saga of the search for the ultimate constituents of matter has long been one of finding a seemingly fundamental structure that, in turn, was found to be made of even smaller building blocks. Matter is made of molecules. Molecules are in turn made of atoms, which are themselves made of electrons and atomic nuclei. Furthermore, the nucleus consists of protons and neutrons, and these nucleons are composed of quarks.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2019

Substructure of Intermetallic Thin-Film Cu{sub 3}Sn

The crystalline structure of intermetallic Cu{sub 3}Sn synthesized by successively condensing thin layers of copper and tin on a substrate at 150°C has been studied. Cu{sub 3}Sn compound exists in a very narrow homogeneity range and has a long-period close-packed ordered D0{sub 19} superstructure. It has been found that the crystal lattice exhibits many slip traces associated with dislocation motion. The dislocation motion is due to the stressed state of the crystal, which can be characterized as uniform extension. Electron micrographs show that slip traces in the Cu{sub 3}Sn crystal are parallel to the ( 1-bar 1-bar 21) and (11 2-bar 1) planes belonging to pyramidal slip system II, which is a main slip system along with pyramidal and basal ones. Slip traces result from the motion of partial dislocations, as indicated by the amount of slip, which is equal to half the interplanar distance. Since the crystal is ordered, slip is accomplished by a pair of superpartial dislocations and a slip trace may be a superstructural or complex stacking fault.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2018

Substructural-Phase Transformations during Heat Treatments of the Ti–50.9 at % Ni Nanocrystalline Alloy

The method of transmission electron microscopy is used to study the grain-subgrain structure of the Ti–50.9 at % Ni nanocrystalline alloy after heat treatments at 300–500°C. It is found that the decomposition of the B{sub 2} solid solution of TiNi by the heterogeneous mechanism occurs in the subgrain structure, while the Ti{sub 3}Ni{sub 4} particles are not observed in nanograins. The features of the recovery and recrystallization of the alloy and their relationship with the processes of dissolution and precipitation of Ti{sub 3}Ni{sub 4} particles are revealed.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2012

Jet mass and substructure of inclusive jets in s = 7 TeV p p collisions with the ATLAS experiment

CERN-LHC. Measurements of the structure of inclusive jets in proton-proton collisions at a centre of mass energy of 7 TeV. The data, collected during 2010, have an integrated luminosity of 35 pb-1 and are corrected for detector efficiency and resolution and in order to reduce pile-up effects the events are required to have a single primary vertex. Measurements are made using two jet algorithms, anti-kT jets with R=1.0 and Cambridge-Aachen jets with R=1.2, with distributions of jet mass, kT splitting scales and N-subjettiness variables being presented. See the text of the paper for more details of these variables.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2016

Polarized Substructural Session Types

Concurrent processes can be extremely difficult to reason about, both for programmers and formally. One approach to coping with this difficulty is to study new programming languages and type features such as Session Types. Session types take as their conceptual notion of concurrency as a collection of processes linked together via channels and provide type-level coordination between processes using these channels. Logically motivated programming languages exploit the idea that providing a proof of a theorem in a logic is similar to proving that a given term has a particular type in a programming language and vice versa. These connections can be interesting for a few different reasons. First, when language and logic are independently discovered and independently useful, the existence of a connection suggests that both are onto some fundamentally important idea. Additionally, a connection provides a basis both for sanity checking our ideas and also can be fruitful grounds for inspiration by seeing how variants of either the logic or the language are reflected through the connection. This thesis primarily describes an exploration of logically motivated session types, SILL. Polarization, classifying propositions as either positive or negative, provides a natural way to describe a logically based session typing language with asynchronous communication while retaining a semantics that is reasonably implementable. Additionally, polarization gives us a way to smoothly integrate synchronous channels into SILL without needing a semantic extension. When combined with Adjoint Logic, this gives us an ability to incorporate a variety of modalities with relatively little work. From a practical perspective, this gives SILL access to persistent processes and garbage collection. We additionally explore a trio of loosely related extensions to SILL, and their logical connections, inspired by the above results: bundled message passing to reduce the number of communications performed by processes; racy programs, enabled by a select/epoll-like mechanism; and asynchronous receiving, an almost generalization of the basic asynchronous semantics. We have three different implementations of SILL: a simple but relatively full featured interpreter written in OCaml; a fragment of SILL as an embedded domain specific language in Haskell; and a cleaner version of the same in Idris. Lastly, we show that Liquid Types and Session Types are compatible. This gives us one notion of a dependently session typed language.

97 MATHEMATICS AND COMPUTING↗