On the chemical vapour deposition of Ti3SiC2 from TiCl4-SiCl4-CH4-H2 gas mixtures

In the ternary system Ti-Si-C, the ternary compound Ti₃SiC₂ seems to exhibit promising thermal and mechanical properties. Its synthesis as a thin film from the vapour phase is very difficult owing to the complexity of the system. A contribution to the knowledge of the CVD of Ti₃SiC₂ from a TiCl₄-SiCl₄-CH₄-H₂ gas mixture is proposed on the basis of a thermodynamic approach. This approach is based on a reliable estimation of Ti₃SiC₂ thermodynamic data in good accordance with recent experimental results on its thermal stability. A first equilibrium calculation for the deposition on an inert substrate shows the influence of the experimental parameters on the composition of both the deposit and the gas phase. As a result, the deposition of Ti₃SiC₂ can be favoured by an excess of TiCl₄ ( 45%), a rather low pressure (10–20 kPa), high temperature ( 1273 K) and low H₂ dilution ratio. On the basis of equilibrium calculations for various reactive substrates, complex mechanisms of Ti₃SiC₂ deposition are pointed out, with intermediate steps of substrate consumption, e.g. the formation of TiC from a carbon substrate or TiSi₂ from a silicon substrate.     

Polite Combination of Algebraic Datatypes

Journal of Automated Reasoning - Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its...     

High Q 2D-length extension mode resonators for potential time–frequency applications

Microsystem Technologies - This paper presents recent advances on two dimensional length-extension mode (2D-LEM) quartz resonators providing high quality (Q) factor on resonances at a few MHz. The...     

Fast in situ 3D nanoimaging: a new tool for dynamic characterization in materials science

1. Download high-res image (269KB)
2. Download full-size image

     

Effect of thickness stretching and porosity on mechanical response of a functionally graded beams resting on elastic foundations

The novelty of this paper is the use of an efficient beam theory for bending, free vibration and buckling analysis of functionally graded material (FGM) beams on two-parameter elastic foundation. The present theory accounts for both shear deformation and thickness stretching effects by a parabolic variation of all displacements across the thickness, and satisfies the stress-free boundary conditions on the upper and lower surfaces of the beam without requiring any shear correction factor. Due to porosities, possibly occurring inside FGMs during fabrication, it is therefore necessary to consider the vibration, bending and buckling behaviors of beams having porosities in this work. The equation of motion for FGM beams is obtained through Hamilton’s principle. The closed form solutions are obtained by using Navier technique, and then fundamental frequencies are found by solving the results of eigenvalue problems. The validity of the present theory is investigated by comparing some of the present in literature. It can be concluded that the proposed theory is accurate and simple in solving the bending, free vibration and buckling behaviors of FGM sandwich beams.     

Metallic Conductive Nanowires Elaborated by PVD Metal Deposition on Suspended DNA Bundles

Metallic conductive nanowires (NWs) with DNA bundle core are achieved, thanks to an original process relying on double‐stranded DNA alignment and physical vapor deposition (PVD) metallization steps involving a silicon substrate. First, bundles of DNA are suspended with a repeatable process between 2 µm high parallel electrodes with separating gaps ranging from 800 nm to 2 µm. The process consists in the drop deposition of a DNA lambda‐phage solution on the electrodes followed by a naturally evaporation step. The deposition process is controlled by the DNA concentration within the buffer solution, the drop volume, and the electrode hydrophobicity. The suspended bundles are finally metallized with various thicknesses of titanium and gold by a PVD e‐beam evaporation process. The achieved NWs have a width ranging from a few nanometers up to 100 nm. The electrical behavior of the achieved 60 and 80 nm width metallic NWs is shown to be Ohmic and their intrinsic resistance is estimated according to different geometrical models of the NW section area. For the 80 nm width NWs, a resistance of about few ohms is established, opening exploration fields for applications in microelectronics.     

Flow modeling of linear and nonlinear fluids in two scale fibrous fabrics

The fundamental macroscopic material property needed to quantify the flow in a fibrous medium viewed as a porous medium is the permeability. Composite processing models require the permeability as input data to predict flow patterns and pressure fields. As permeability reflects both the magnitude and anisotropy of the fluid/fiber resistance, efficient numerical techniques are needed to solve linear and nonlinear homogenization problems online during the flow simulation. In a previous work the expressions of macroscopic permeability were derived in a double-scale porosity medium for both Newtonian and rheo-thinning resins. In the linear case only a microscopic calculation on a representative volume is required, implying as many microscopic calculations as representative microscopic volumes exist in the whole fibrous structure. In the non-linear case, and even when the porous microstructure can be described by a unique representative volume, microscopic calculation must be carried out many times because the microscale resin viscosity depends on the macroscopic velocity, which in turn depends on the permeability that results from a microscopic calculation. Thus, a nonlinear multi-scale problem results. In this paper an original and efficient offline-online procedure is proposed for the efficient solution of nonlinear flow problems in porous media.     

Impact of arteriovenous fistula cannulation on the quality of dialysis

Introduction: Adequate hemodialysis directly improves health. Puncturing an arteriovenous fistula (AVF) and the amount of blood recirculation greatly affect the quality of dialysis. Few studies have assessed the method to cannulate a fistula and its influence on efficiency of hemodialysis. Methods: This prospective pilot study included 14 patients with end‐stage renal failure receiving regular intermittent hemodialysis. Patients received three consecutive treatments with both needles directed upstream then three consecutive treatments with the venous needle directed upstream and the arterial needle directed downstream. With both techniques, the distance between the needles was kept constant at 2.5 cm. Recirculation rate and Kt/V ratio were measured during each treatment using thermodilution and a diascan Fresenius generator. Findings: The 14 patients received 84 hemodialysis sessions: i.e., 8 (57.1%) males and 6 (42.8%) females, mean age 62.3 ± 15.57 years. Results showed that mean recirculation rates and Kt/V did not significantly differ between the two techniques. Discussion: Because no significant difference was found between the two techniques, the direction of insertion of needles should be decided upon on a case‐by‐case basis depending on the anatomy of the AVF and the feasibility of the puncture.     

A semantics of introspection in a reflective prototype-based language

In Malenfant et al. [19], we have described a reflective model for a prototype-based language based on thelookup o apply reflective introspection protocol. In this paper, we augment our previous protocol by converting it to handle continuations reified as first-class objects. First-class continuations provide much more control over the current computation; during the introspection phase fired by message sending, they make it possible not only to change the behavior of the program for that message but also for the entire future computation. In this paper, we provide this introspection protocol with a formal semantics. This result is obtained by exhibiting a mapping from program configurations to priority rewrite systems (PRS) as well as a mapping from message expressions to ground first-order terms used to query the PRS. Other advantages of this approach are: to ensure the termination of the introspection using the smallest set of formally justified conditions and to provide a clear declarative account of this reflective protocol. The PRS also appears as a meta-level to the base language, independent of the implementation, but from which we derive fundamental clues to obtain an efficient language processor. By our new model, we finally highlight the link between reflection in object-oriented languages and the one originally proposed by 3-Lisp [24], although object-orientation provides reusability to reflection, making it easier to use.     

Matching and alpha-equivalence check for nominal terms

Nominal terms generalise first-order terms by including abstraction and name swapping constructs. α-equivalence can be easily axiomatised using name swappings and a freshness relation, which makes the nominal approach well adapted to the specification of systems that involve binders. Nominal matching is matching modulo α-equivalence and has applications in programming languages, rewriting, and theorem proving. In this paper, we describe efficient algorithms to check the validity of equations involving binders and to solve matching problems modulo α-equivalence, using the nominal approach.