5,089 research outputs found
Palladium silicide formation under the influence of nitrogen and oxygen impurities
The effect of impurities on the growth of the Pd2Si layer upon thermal annealing of a Pd film on and amorphous Si substrates is investigated. Nitrogen and oxygen impurities are introduced into either Pd or Si which are subsequently annealed to form Pd2Si. The complementary techniques of Rutherford backscattering spectrometry, and 15N(p,alpha)12C or 18O(p,alpha)15N nuclear reaction, are used to investigate the behavior of nitrogen or oxygen and the alterations each creates during silicide formation. Both nitrogen and oxygen retard the silicide growth rate if initially present in Si. When they are initially in Pd, there is no significant retardation; instead, an interesting "snow-plowing" effect of N or O by the reaction interface of Pd2Si is observed. By using N implanted into Si as a marker, Pd and Si appear to trade roles as the moving species, when the silicide front reaches the nitrogen-rich region
Recommended from our members
Deterministic Assembly of Arrays of Lithographically Defined WS2 and MoS2 Monolayer Features Directly from Multilayer Sources into Van der Waals Heterostructures
One of the major challenges in the van der Waals (vdW) integration of two-dimensional (2D) materials is achieving high-yield and high-throughput assembly of predefined sequences of monolayers into heterostructure arrays. Mechanical exfoliation has recently been studied as a promising technique to transfer monolayers from a multilayer source synthesized by other techniques, allowing the deposition of a wide variety of 2D materials without exposing the target substrate to harsh synthesis conditions. Although a variety of processes have been developed to exfoliate the 2D materials mechanically from the source and place them deterministically onto a target substrate, they can typically transfer only either a wafer-scale blanket or one small flake at a time with uncontrolled size and shape. Here, we present a method to assemble arrays of lithographically defined monolayer WS2 and MoS2 features from multilayer sources and directly transfer them in a deterministic manner onto target substrates. This exfoliate-align-release process - without the need of an intermediate carrier substrate - is enabled by combining a patterned, gold-mediated exfoliation technique with a new optically transparent, heat-releasable adhesive. WS2/MoS2 vdW heterostructure arrays produced by this method show the expected interlayer exciton between the monolayers. Light-emitting devices using WS2 monolayers were also demonstrated, proving the functionality of the fabricated materials. Our work demonstrates a significant step toward developing mechanical exfoliation as a scalable dry transfer technique for the manufacturing of functional, atomically thin materials
An inert marker study for palladium silicide formation: Si moves in polycrystalline Pd2Si
A novel use of Ti marker is introduced to investigate the moving species during Pd2Si formation on and Si substrates. Silicide formed from amorphous Si is also studied using a W marker. Although these markers are observed to alter the silicide formation in the initial stage, the moving species can be identified once a normal growth rate is resumed. It is found that Si is the dominant moving species for all three types of Si crystallinity. However, Pd will participate in mass transport when Si motion becomes obstructed
Model Performance Evaluation for Real-time Flood Forecasting
Source: ICHE Conference Archive - https://mdi-de.baw.de/icheArchive
Moving Domain Computational Fluid Dynamics to Interface with an Embryonic Model of Cardiac Morphogenesis
Peristaltic contraction of the embryonic heart tube produces time- and spatial-varying wall shear stress (WSS) and pressure gradients (âP) across the atrioventricular (AV) canal. Zebrafish (Danio rerio) are a genetically tractable system to investigate cardiac morphogenesis. The use of Tg(fli1a:EGFP)y1 transgenic embryos allowed for delineation and two-dimensional reconstruction of the endocardium. This time-varying wall motion was then prescribed in a two-dimensional moving domain computational fluid dynamics (CFD) model, providing new insights into spatial and temporal variations in WSS and âP during cardiac development. The CFD simulations were validated with particle image velocimetry (PIV) across the atrioventricular (AV) canal, revealing an increase in both velocities and heart rates, but a decrease in the duration of atrial systole from early to later stages. At 20-30 hours post fertilization (hpf), simulation results revealed bidirectional WSS across the AV canal in the heart tube in response to peristaltic motion of the wall. At 40-50 hpf, the tube structure undergoes cardiac looping, accompanied by a nearly 3-fold increase in WSS magnitude. At 110-120 hpf, distinct AV valve, atrium, ventricle, and bulbus arteriosus form, accompanied by incremental increases in both WSS magnitude and âP, but a decrease in bi-directional flow. Laminar flow develops across the AV canal at 20-30 hpf, and persists at 110-120 hpf. Reynolds numbers at the AV canal increase from 0.07±0.03 at 20-30 hpf to 0.23±0.07 at 110-120 hpf (p< 0.05, n=6), whereas Womersley numbers remain relatively unchanged from 0.11 to 0.13. Our moving domain simulations highlights hemodynamic changes in relation to cardiac morphogenesis; thereby, providing a 2-D quantitative approach to complement imaging analysis. © 2013 Lee et al
Formal Model Engineering for Embedded Systems Using Real-Time Maude
This paper motivates why Real-Time Maude should be well suited to provide a
formal semantics and formal analysis capabilities to modeling languages for
embedded systems. One can then use the code generation facilities of the tools
for the modeling languages to automatically synthesize Real-Time Maude
verification models from design models, enabling a formal model engineering
process that combines the convenience of modeling using an informal but
intuitive modeling language with formal verification. We give a brief overview
six fairly different modeling formalisms for which Real-Time Maude has provided
the formal semantics and (possibly) formal analysis. These models include
behavioral subsets of the avionics modeling standard AADL, Ptolemy II
discrete-event models, two EMF-based timed model transformation systems, and a
modeling language for handset software.Comment: In Proceedings AMMSE 2011, arXiv:1106.596
Loss of mGlu5 receptors in somatostatin-expressing neurons alters negative emotional states
Subtype 5 metabotropic glutamate receptors (mGlu5) are known to play an important role in regulating cognitive, social and valence systems. However, it remains largely unknown at which circuits and neuronal types mGlu5 act to influence these behavioral domains. Altered tissue- or cell-specific expression or function of mGlu5 has been proposed to contribute to the exacerbation of neuropsychiatric disorders. Here, we examined how these receptors regulate the activity of somatostatin-expressing (SST+) neurons, as well as their influence on behavior and brain rhythmic activity. Loss of mGlu5 in SST+ neurons elicited excitatory synaptic dysfunction in a region and sex-specific manner together with a range of emotional imbalances including diminished social novelty preference, reduced anxiety-like behavior and decreased freezing during retrieval of fear memories. In addition, the absence of mGlu5 in SST+ neurons during fear processing impaired theta frequency oscillatory activity in the medial prefrontal cortex and ventral hippocampus. These findings reveal a critical role of mGlu5 in controlling SST+ neurons excitability necessary for regulating negative emotional states
A Rewriting-Logic-Based Technique for Modeling Thermal Systems
This paper presents a rewriting-logic-based modeling and analysis technique
for physical systems, with focus on thermal systems. The contributions of this
paper can be summarized as follows: (i) providing a framework for modeling and
executing physical systems, where both the physical components and their
physical interactions are treated as first-class citizens; (ii) showing how
heat transfer problems in thermal systems can be modeled in Real-Time Maude;
(iii) giving the implementation in Real-Time Maude of a basic numerical
technique for executing continuous behaviors in object-oriented hybrid systems;
and (iv) illustrating these techniques with a set of incremental case studies
using realistic physical parameters, with examples of simulation and model
checking analyses.Comment: In Proceedings RTRTS 2010, arXiv:1009.398
Measurement of Lagrangian velocity in fully developed turbulence
We have developed a new experimental technique to measure the Lagrangian
velocity of tracer particles in a turbulent flow, based on ultrasonic Doppler
tracking. This method yields a direct access to the velocity of a single
particule at a turbulent Reynolds number . Its dynamics is
analyzed with two decades of time resolution, below the Lagrangian correlation
time. We observe that the Lagrangian velocity spectrum has a Lorentzian form
, in agreement
with a Kolmogorov-like scaling in the inertial range. The probability density
function (PDF) of the velocity time increments displays a change of shape from
quasi-Gaussian a integral time scale to stretched exponential tails at the
smallest time increments. This intermittency, when measured from relative
scaling exponents of structure functions, is more pronounced than in the
Eulerian framework.Comment: 4 pages, 5 figures. to appear in PR
- âŠ