Synthesis of ditungsten carbide by controlled decomposition of Cp2W2(CO)4 (dmad) under a hydrogen atmosphere

Controlled decomposition studies of the bis(cyclopentadienyl)ditungsten(tetracarbonyl)-dimethylacetylenedicarboxylate (Cp2W2(CO)4(dmad)) under flowing hydrogen show that it totally decomposes at 600 °C for 2 h to give a pure bulk W2C as revealed by X-ray diffraction. Excess oxygen and carbon at the surface are detected by X-ray photoelectron spectroscopy. An in situ temperature-programmed X-ray diffraction experiment performed on Cp2W2(CO)4 (dmad) shows the detection temperature of W2C to be 600 °C, the sample being amorphous or microcrystalline below that temperature. Based on previous results obtained for the decomposition of Cp2Mo2(CO)4(dmad) on the one hand, and thermogravimetric and chromatographic analyses performed on Cp2W2(CO)4 (dmad), on the other, a decomposition scheme of the latter under hydrogen has been proposed. © 1998 Chapman & Hall     

Coverage-biased random exploration of large models and application to testing

This paper presents several randomised algorithms for generating paths in large models according to a given coverage criterion. Using methods for counting combinatorial structures, these algorithms can efficiently explore very large models, based on a graphical representation by an automaton or by a product of several automata. This new approach can be applied to random exploration in order to optimise path coverage and can be generalised to take into account other coverage criteria, via the definition of a notion of randomised coverage satisfaction. Our main contributions are a method for drawing paths uniformly at random in composed models, i.e. models that are given as products of automata, first without and then with synchronisation; a new efficient approach to draw paths at random taking into account some other coverage criterion. Experimental results show promising agreement with theoretical predictions and significant improvement over previous randomised approaches. This work opens new perspectives for future studies of statistical testing and model checking, mainly to fight the combinatorial explosion problem.     

Comparison of a contactor catalytic membrane reactor with a conventional reactor: example of wet air oxidation

A wet air oxidation reaction was carried out in a gas/liquid catalytic membrane reactor of the contactor type. The oxidation of formic acid was used as a model reaction. The mesoporous top-layer of a ceramic tubular membrane was used as catalyst (Pt) support, and was placed at the interface of the gas (air) and liquid (HCOOH solution) phases.

A similar reaction was carried out in a conventional batch reactor, using a steering rate high enough to avoid gas-diffusion limitations, and exactly identical conditions than for the CMR (amount of catalyst, pressure, etc.). At room temperature, the CMR showed an initial activity three to six times higher than the conventional reactor. This activity increase was attributed to an easier oxygen access to the catalytic sites. Nevertheless, the catalytic membrane gradually deactivated after a few hours of operation. Different deactivation mechanisms are presented.     

Effects of the sintering atmosphere on Nb-based dielectrics

The effects of a forming atmosphere on the stability, the sintering and the dielectric properties of Ba₅Nb₄O₁₅, BaNb₂O₆, ZnNb₂O₆ and Zn₃Nb₂O₈ ceramics were investigated, because of the primary importance of the sintering atmosphere in relation to copper sintering. These Nb-based materials were sintered in air and in Ar/H₂10%. Zn-containing samples are very sensitive to the reductive atmosphere. ZnO volatilises at 800–850 °C and the resulting compound does not exhibit the expected properties. BaNb₂O₆ and Ba₅Nb₄O₁₅ are more stable in term of relative weight loss. Nevertheless, the phase analysis reveals a modification of the BaNb₂O₆ phase, what induces the degradation of the dielectric property stability versus temperature. The properties of Ba₅Nb₄O₁₅ are not modified by a sintering in reductive atmosphere. A relative permittivity of 38.8, a permittivity temperature coefficient of −150 ppm °C⁻¹ and an insulating resistivity of 10^10.9 Ω cm were obtained for this latter.     

Studies of the activation process over Pd perovskite-type oxides used for catalytic oxidation of toluene

Calcined and reduced catalysts Pd/LaBO₃ (B = Co, Fe, Mn, Ni) were used for the total oxidation of toluene. Easiness of toluene destruction was found to follow the sequence based on the T₅₀ values (temperature at which 50% of toluene is converted): Pd/LaFeO₃ > Pd/LaMnO_3+δ > Pd/LaCoO₃ > Pd/LaNiO₃. In order to investigate the activation process (calcination and reduction) in detail, the reducibility of the samples was evaluated by H₂-TPR on the calcined catalysts. Additionally, characterization of the Pd/LaBO₃ (B = Co, Fe) surface was carried out by X-ray photoelectron spectroscopy (XPS) at each stage of the global process, namely after calcination, reduction and under catalytic reaction at either 150 or 200 °C for Pd/LaFeO₃ and either 200 or 250 °C for LaCoO₃. The different results showed that palladium oxidized entities were totally reduced after pre-reduction at 200 °C for 2 h (2 L/h, 1 °C/min). As LaFeO₃ was unaffected by such a treatment, for the other perovskites, the cations B are partially reduced as B³⁺ (B = Mn) or B²⁺ even to B⁰ (B = Co, Ni). In the reactive stream (0.1% toluene in air), Pd⁰ reoxidized partially, more rapidly over Co than Fe based catalysts, to give a Pd²⁺/Pd⁴⁺ and Pd⁰/Pd²⁺/Pd⁴⁺ surface redox states, respectively. Noticeably, reduced cobalt species are progressively oxidized on stream into Co³⁺ in a distorted environment. By contrast, only the lines characteristic of the initial perovskite lattice were detected by XRD studies on the used catalysts. The higher activity performance of Pd/LaFeO₃ for the total oxidation of toluene was attributed here to a low temperature of calcination and to a remarkable high stability of the perovskite lattice whatever the nature of the stream which allowed to keep a same palladium dispersion at the different stages of the process and to resist to the oxidizing experimental conditions. On the contrary, phase transformations for the other perovskite lattices along the process were believed to increase the palladium particle size responsible of a lower activity.     

The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages

Seki et al. (Theor. Comput. Sci. 88(2):191–229, 1991) showed that every m-multiple context-free language L is weakly 2m-iterative in the sense that either L is finite or L contains a subset of the form \(\{ u_{0} w_{1}^{i} u_{1} \cdots w_{2m}^{i} u_{2m} \mid i \in \mathbb {N}\}\) , where w ₁?w _2n ≠ε. Whether every m-multiple context-free language L is 2m-iterative, that is to say, whether all but finitely many elements z of L can be written as z=u ₀ w ₁ u ₁?w _2m u _2m with w ₁?w _2m ≠ε and \(\{ u_{0} w_{1}^{i} u_{1} \cdots w_{2m}^{i} u_{2m} \mid i \in \mathbb {N}\} \subseteq L\) , has been open. We show that there is a 3-multiple context-free language that is not k-iterative for any k.     

Texture Mapping Real‐World Objects with Hydrographics

In the digital world, assigning arbitrary colors to an object is a simple operation thanks to texture mapping. However, in the real world, the same basic function of applying colors onto an object is far from trivial. One can specify colors during the fabrication process using a color 3D printer, but this does not apply to already existing objects. Paint and decals can be used during post‐fabrication, but they are challenging to apply on complex shapes. In this paper, we develop a method to enable texture mapping of physical objects, that is, we allow one to map an arbitrary color image onto a three‐dimensional object. Our approach builds upon hydrographics, a technique to transfer pigments printed on a sheet of polymer onto curved surfaces. We first describe a setup that makes the traditional water transfer printing process more accurate and consistent across prints. We then simulate the transfer process using a specialized parameterization to estimate the mapping between the planar color map and the object surface. We demonstrate that our approach enables the application of detailed color maps onto complex shapes such as 3D models of faces and anatomical casts.     

Line-by-line spectroscopic simulations on graphics processing units

We report here on software that performs line-by-line spectroscopic simulations on gases. Elaborate models (such as narrow band and correlated-K) are accurate and efficient for bands where various components are not simultaneously and significantly active. Line-by-line is probably the most accurate model in the infrared for blends of gases that contain high proportions of H₂O and CO₂ as this was the case for our prototype simulation. Our implementation on graphics processing units sustains a speedup close to 330 on computation-intensive tasks and 12 on memory intensive tasks compared to implementations on one core of high-end processors. This speedup is due to data parallelism, efficient memory access for specific patterns and some dedicated hardware operators only available in graphics processing units. It is obtained leaving most of processor resources available and it would scale linearly with the number of graphics processing units in parallel machines. Line-by-line simulation coupled with simulation of fluid dynamics was long believed to be economically intractable but our work shows that it could be done with some affordable additional resources compared to what is necessary to perform simulations on fluid dynamics alone.

Program summary

Program title: GPU4RECatalogue identifier: ADZY_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADZY_v1_0.htmlProgram obtainable from: CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 62 776No. of bytes in distributed program, including test data, etc.: 1 513 247Distribution format: tar.gzProgramming language: C++Computer: x86 PCOperating system: Linux, Microsoft Windows. Compilation requires either gcc/g++ under Linux or Visual C++ 2003/2005 and Cygwin under Windows. It has been tested using gcc 4.1.2 under Ubuntu Linux 7.04 and using Visual C++ 2005 with Cygwin 1.5.24 under Windows XP.RAM: 1 gigabyteClassification: 21.2External routines: OpenGL (http://www.opengl.org)Nature of problem: Simulating radiative transfer on high-temperature high-pressure gases.Solution method: Line-by-line Monte-Carlo ray-tracing.Unusual features: Parallel computations are moved to the GPU.Additional comments: nVidia GeForce 7000 or ATI Radeon X1000 series graphics processing unit is required.Running time: A few minutes.     

Optical flow and advection on 2-Riemannian manifolds: a common framework

Dynamic pattern analysis and motion extraction can be efficiently addressed using optical flow techniques. This article presents a generalization of these questions to non-flat surfaces, where optical flow is tackled through the problem of evolution processes on non-Euclidian domains. The classical equations of optical flow in the Euclidian case are transposed to the theoretical framework of differential geometry. We adopt this formulation for the regularized optical flow problem, prove its mathematical well-posedness and combine it with the advection equation. The optical flow and advection problems are dual: a motion field may be retrieved from some scalar evolution using optical flow; conversely, a scalar field may be deduced from a velocity field using advection. These principles are illustrated with qualitative and quantitative evaluations from numerical simulations bridging both approaches. The proof-of-concept is further demonstrated with preliminary results from time-resolved functional brain imaging data, where organized propagations of cortical activation patterns are evidenced using our approach.