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

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

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 $R_{\lambda} = 740$. 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 $E^{L}(\omega) = u_{rms}^{2} T_{L} / (1 + (T_{L}\omega)^{2})$, 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

Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications

This paper presents a transformational approach for model checking two important classes of metric temporal logic (MTL) properties, namely, bounded response and minimum separation, for nonhierarchical object-oriented Real-Time Maude specifications. We prove the correctness of our model checking algorithms, which terminate under reasonable non-Zeno-ness assumptions when the reachable state space is finite. These new model checking features have been integrated into Real-Time Maude, and are used to analyze a network of medical devices and a 4-way traffic intersection system.Comment: In Proceedings RTRTS 2010, arXiv:1009.398