Low‐temperature selective oxidation of hydrogen sulfide into elemental sulfur on a NiS2/SiC catalyst

Nickel sulfide supported on SiC exhibits a very high activity and selectivity for the direct oxidation of H₂S into elemental sulfur at low reaction temperature (60°C). The presence of water on the catalyst surface could explain the absence of deactivation even at high sulfur loading of the surface. The chemical inertness of the SiC support allowed any detrimental reactions between the active phase and the support itself to be avoided.     

Microstructure and texture analysis of YBCO thick film with peritectic growth on unoriented silver substrate

YBCO textured thick film was prepared by direct periteetic growth method. Microstructure of the film was characterized. Electron backscattered diffraction (EBSD) technique was applied to the film for quantitative texture analysis. The main difficulty in resolving the ori-entation of YBCO pseudo-cubic structure was investigated. Automated orientation mapping was performed on YBCO thick film. Local tex-ture was presented in the form of orientation maps. Misorientation distribution and crystal growth characterization in the YBCO thick film were revealed. Large domains with well-aligned YBCO grains were formed. Each domain presented clear in-plane and out-plane textures.     

Size Effect on Properties of Varistors Made From Zinc Oxide Nanoparticles Through Low Temperature Spark Plasma Sintering

Conditions for the elaboration of nanostructured varistors by spark plasma sintering (SPS) are investigated, using 8‐nm zinc oxide nanoparticles synthesized following an organometallic approach. A binary system constituted of zinc oxide and bismuth oxide nanoparticles is used for this purpose. It is synthesized at room temperature in an organic solution through the hydrolysis of dicyclohexylzinc and bismuth acetate precursors. Sintering of this material is performed by SPS at various temperatures and dwell times. The determination of the microstructure and the chemical composition of the as‐prepared ceramics are based on scanning electron microscopy and X‐ray diffraction analysis. The nonlinear electrical characteristics are evidenced by current–voltage measurements. The breakdown voltage of these nanostructured varistors strongly depends on grain sizes. The results show that nanostructured varistors are obtained by SPS at sintering temperatures ranging from 550 to 600 °C.     

Densification of nanocrystalline Y2O3 ceramic powder by spark plasma sintering

Nanocrystalline Y₂O₃ powders with 18 nm crystallite size were sintered using spark plasma sintering (SPS) at different conditions between 1100 and 1600 °C. Dense specimens were fabricated at 100 MPa and 1400 °C for 5 min duration. A maximum in density was observed at 1400 °C. The grain size continuously increased with the SPS temperature into the micrometer size range. The maximum in density arises from competition between densification and grain growth. Retarded densification above 1400 °C is associated with enhanced grain growth that resulted in residual pores within the grains. Analysis of the grain growth kinetics resulted in activation energy of 150 kJ mol^?1 and associated diffusion coefficients higher by 10³ than expected for Y³⁺ grain boundary diffusion. The enhanced diffusion may be explained by combined surface diffusion and particle coarsening during the heating up with grain boundary diffusion at the SPS temperature.     

Mercury speciation in the French seasonal snow cover

Snow samples have been collected in the French Alps in 1998, 1999 and 2000 in order to measure both total Hg (HgT) and reactive Hg (HgR). Concentrations of HgT were between 13 and 130 pg g(-1) and HgR concentrations were below the detection limit (approximately 0.8 pg g(-1)). Hg speciation in snow was evaluated on the basis of ionic complexation equilibrium with chloride, hydroxide, oxalate. The pH of the snow was found to be an important parameter for Hg speciation. For pH values near 3, HgC2O4 is predominant in snow samples except for snow strongly influenced by anthropogenic sources (in which case HgCl2 predominates). When pH > 4, Hg(OH)2 and HgOHCl are predominant. These latter pH values are observed for precipitation not influenced by anthropogenic sources but more by soil erosion, e.g. Saharan dusts. The knowledge of Hgr speciation in snow is a key question for understanding the mechanisms of transformation of these complexes in snow after precipitation.     

Optical properties of the synthetic nanocomposites SiO2/CdS/poly(styrene-co-maleic anhydride) and SiO2/CdS/poly(styrene-co-maleimide)

Hybrid materials consisting of SiO2/CdS particles dispersed in poly(styrene-co-maleic anhydride) and poly(styrene-co-maleimide) have been synthesized and characterized. The polymer nanocomposites were synthesised in situ in the presence of previously prepared inorganic fillers (SiO2/CdS). The nanocomposites were synthesized with the use of as-prepared or surface-modified SiO2/CdS fillers. For both types of nanocomposites, the optical properties were evaluated and the observation of size quantization effects in the optical spectra is discussed. In this context, the influence of the inorganic fillers and polymer matrices on the optical properties of the final nanocomposites was investigated.     

Toward tunable thin-film filters for wavelength division multiplexing applications

We provide a detailed analysis of the various problems connected with the development of tunable thin-film filters for wavelength-division multiplexing applications. We examine the relation between the change in layer thickness and the central wavelength shift for various configurations and point out the significance of the structure of the reflectors, the spacer thickness, and the location of the active layers. We describe and compare practical arrangements using either temperature or an electric field as the driving parameter.     

Atomic-precision multilayer coating of the first set of optics for an extreme-ultraviolet lithography prototype system

We present our results of coating a first set of optical elements for an extreme-ultraviolet (EUV) lithography system. The optics were coated with Mo-Si multilayer mirrors by dc magnetron sputtering and characterized by synchrotron radiation. Near-normal incidence reflectances above 65% were achieved at 13.35 nm. The run-to-run reproducibility of the reflectance peak wavelength was maintained to within 0.4%, and the thickness uniformity (or gradient) was controlled to within +/-0.05% peak to valley, exceeding the prescribed specification. The deposition technique used for this study is an enabling technology for EUV lithography, making it possible to fabricate multilayer-coated optics to accuracies commensurate with atomic dimensions.     

Optical and physical properties of stratospheric aerosols from balloon measurements in the visible and near-infrared domains. 1. Analysis of aerosol extinction spectra from the AMON and SALOMON balloonborne spectrometers

Aerosol extinction coefficients have been derived in the 375-700-nm spectral domain from measurement in the stratosphere since 1992, at night, at mid- and high latitudes from 15 to 40 km, by two balloonborne spectrometers, Absorption par les Minoritaires Ozone et NO(chi) (AMON) and Spectroscopie d'Absorption Lunaire pour l'Observation des Minoritaires Ozone et NO(chi) (SALOMON). Log-normal size distributions associated with the Mie-computed extinction spectra that best fit the measurements permit calculation of integrated properties of the distributions. Although measured extinction spectra that correspond to background aerosols can be reproduced by the Mie scattering model by use of monomodal log-normal size distributions, each flight reveals some large discrepancies between measurement and theory at several altitudes. The agreement between measured and Mie-calculated extinction spectra is significantly improved by use of bimodal log-normal distributions. Nevertheless, neither monomodal nor bimodal distributions permit correct reproduction of some of the measured extinction shapes, especially for the 26 February 1997 AMON flight, which exhibited spectral behavior attributed to particles from a polar stratospheric cloud event.     

External Rewriting for Skeptical Proof Assistants

This paper presents the design, the implementation, and experiments of the integration of syntactic, conditional possibly associative-commutative term rewriting into proof assistants based on constructive type theory. Our approach is called external because it consists in performing term rewriting in a specific and efficient environment and checking the computations later in a proof assistant. Two typical systems are considered in this work: ELAN, based on the rewriting calculus, as the term rewriting-based environment, and Coq, based on the calculus of inductive constructions as the proof assistant. We first formalize the proof terms for deduction by rewriting and strategies in ELAN using the rewriting calculus with explicit substitutions. We then show how these proof terms can soundly be translated into Coq syntax where they can be directly type checked. For the method to be applicable for rewriting modulo associativity and commutativity, we provide an effective method to prove equalities modulo these axioms in Coq using ELAN. These results have been integrated into an ELAN-based rewriting tactic in Coq.