In Situ Diffuse Reflectance Spectroscopy of Supported Chromium Oxide Catalysts: Kinetics of the Reduction Process with Carbon Monoxide

In situ diffuse reflectance spectra of supported chromium oxide catalysts are investigated for the first time at elevated temperatures under controlled reaction conditions using a specially designed diffuse reflection attachment. The obtained results are compared and discussed with those obtained by the classical diffuse reflectance spectroscopy technique. A novel method for studying the reduction kinetics of supported transition metal oxides is proposed. In the case of Cr(VI), the reduction is faster on silica than on alumina. A kinetic model is developed to explain the kinetics. It consists of the activation of CO by adsorption followed by the reduction of Cr^6+ with formation of surface carboxylates

New-Physics Effects on Triple-Product Correlations in Lambda_b Decays

We adopt an effective-lagrangian approach to compute the new-physics contributions to T-violating triple-product correlations in charmless Lambda_b decays. We use factorization and work to leading order in the heavy-quark expansion. We find that the standard-model (SM) predictions for such correlations can be significantly modified. For example, triple products which are expected to vanish in the SM can be enormous (~50%) in the presence of new physics. By measuring triple products in a variety of Lambda_b decays, one can diagnose which new-physics operators are or are not present. Our general results can be applied to any specific model of new physics by simply calculating which operators appear in that model.Comment: 20 pages, LaTeX, no figures. Added a paragraph (+ references) discussing nonfactorizable effects. Conclusions unchange

Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach

The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad range of areas, including finance and Internet-of-Things. However, a significant number of smart contracts deployed in practice suffer from security vulnerabilities, which enable malicious users to steal assets from a contract or to cause damage. Vulnerabilities present a serious issue since contracts may handle financial assets of considerable value, and contract bugs are non-fixable by design. To help developers create more secure smart contracts, we introduce FSolidM, a framework rooted in rigorous semantics for designing con- tracts as Finite State Machines (FSM). We present a tool for creating FSM on an easy-to-use graphical interface and for automatically generating Ethereum contracts. Further, we introduce a set of design patterns, which we implement as plugins that developers can easily add to their contracts to enhance security and functionality

Caractérisation physico-chimique des argiles fibreuses de « Souk el Arbaa » du Gharb, Maroc

Le présent travail s’intéresse à l’étude de la qualité industrielle des argiles fibreuses de ‘Souk El Arbaa’ du Gharb appartenant à l’étage géologique Eocène-Miocène. Cette étude a révélé à travers l’analyse d’une vingtaine d’échantillons, prélevés sur des niveaux marneux variés, par spectrométrie à fluorescence X une carence en fer, une richesse en CaO, des taux plus ou moins élevés en Al2O3. La diffractométrie aux rayons X a permis de mettre en évidence une composition minéralogique assez variée dans les différents échantillons analysées, dominée par la présence de paragenèses minéralogiques composées de calcite, dolomite, quartz, sépiolite et attapulgite (argiles fibreuses). Ainsi, le chimisme des échantillons analysés indique d’une façon inéluctable que les argiles de ‘Souk El Arbaa’ du Gharb nécessitent un traitement afin de les rendre exploitables pour la production de céramique d’excellente qualité.Mots-clés : qualité industrielle, argiles fibreuses, Eocène-Miocène, céramique, Maroc

An Abstract Framework for Deadlock Prevention in BIP

Part 6: Session 5: Model CheckingInternational audienceWe present a sound but incomplete criterion for checking deadlock freedom of finite state systems expressed in BIP: a component-based framework for the construction of complex distributed systems. Since deciding deadlock-freedom for finite-state concurrent systems is PSPACE-complete, our criterion gives up completeness in return for tractability of evaluation. Our criterion can be evaluated by model-checking subsystems of the overall large system. The size of these subsystems depends only on the local topology of direct interaction between components, and not on the number of components in the overall system. We present two experiments, in which our method compares favorably with existing approaches. For example, in verifying deadlock freedom of dining philosphers, our method shows linear increase in computation time with the number of philosophers, whereas other methods (even those that use abstraction) show super-linear increase, due to state-explosion

Structure and Microstructure Properties of Ball Milled Fe-Zn

Nanocrystalline Fe10 %Zn and Fe30 %Zn alloys have been prepared from pure elemental powders by mechanical alloying processing in a high energy planetary ball-mill. Microstructural, structural, and magnetic characterizations of the powders were investigated by X-ray diffraction, and vibrating sample magnometer. The crystallite size reduction to the nanometer scale is accompanied by an increase in the atomic level strain. The reaction between Fe and Zn leads to the formation of a bcc Fe(Zn) solid solution with a lattice parameter close to (0.2912 nm for Fe30 %Zn and 0,2885 nm for Fe10 %Zn) after 5 h of milling. The complete dissolution of the elemental Zn powders in the a-Fe lattice gives rise to the formation of a highly disordered Fe(Zn) solid solution, where a-Fe(Zn) nanograins have a crystallite size of (229,29 Å for Fe10 %Zn (24 h) 30,09 Å for Fe30 %Zn (24 h), on prolonged milling time. The coercivity and magnetization values are 18,90 (Fe10 %Zn)Oe and 26,59 (Fe30 %Zn) emu/g, respectively, after 24 h of milling. When you are citing the document, use the following link http://essuir.sumdu.edu.ua/handle/123456789/3514

Optical performance of the JWST MIRI flight model: characterization of the point spread function at high-resolution

The Mid Infra Red Instrument (MIRI) is one of the four instruments onboard the James Webb Space Telescope (JWST), providing imaging, coronagraphy and spectroscopy over the 5-28 microns band. To verify the optical performance of the instrument, extensive tests were performed at CEA on the flight model (FM) of the Mid-InfraRed IMager (MIRIM) at cryogenic temperatures and in the infrared. This paper reports on the point spread function (PSF) measurements at 5.6 microns, the shortest operating wavelength for imaging. At 5.6 microns the PSF is not Nyquist-sampled, so we use am original technique that combines a microscanning measurement strategy with a deconvolution algorithm to obtain an over-resolved MIRIM PSF. The microscanning consists in a sub-pixel scan of a point source on the focal plane. A data inversion method is used to reconstruct PSF images that are over-resolved by a factor of 7 compared to the native resolution of MIRI. We show that the FWHM of the high-resolution PSFs were 5-10% wider than that obtained with Zemax simulations. The main cause was identified as an out-of-specification tilt of the M4 mirror. After correction, two additional test campaigns were carried out, and we show that the shape of the PSF is conform to expectations. The FWHM of the PSFs are 0.18-0.20 arcsec, in agreement with simulations. 56.1-59.2% of the total encircled energy (normalized to a 5 arcsec radius) is contained within the first dark Airy ring, over the whole field of view. At longer wavelengths (7.7-25.5 microns), this percentage is 57-68%. MIRIM is thus compliant with the optical quality requirements. This characterization of the MIRIM PSF, as well as the deconvolution method presented here, are of particular importance, not only for the verification of the optical quality and the MIRI calibration, but also for scientific applications.Comment: 13 pages, submitted to SPIE Proceedings vol. 7731, Space Telescopes and Instrumentation 2010: Optical, Infrared, and Millimeter Wav

R-parity-violating SUSY and CP violation in B --> phi K_s

Recent measurements of CP asymmetry in B --> phi K_S appear to be inconsistent with Standard Model expectations. We explore the effect of R-parity-violating SUSY to understand the data.Comment: Equations corrected. Conclusions unchanged. Latex, 6 pages, one fi

Triple-Product Correlations in B -> V1 V2$ Decays and New Physics

In this paper we examine T-violating triple-product correlations (TP's) in B -> V1 V2 decays. TP's are excellent probes of physics beyond the standard model (SM) for two reasons: (i) within the SM, most TP's are expected to be tiny, and (ii) unlike direct CP asymmetries, TP's are not suppressed by the small strong phases which are expected in B decays. TP's are obtained via the angular analysis of B -> V1 V2. In a general analysis based on factorization, we demonstrate that the most promising decays for measuring TP's in the SM involve excited final-state vector mesons, and we provide estimates of such TP's. We find that there are only a handful of decays in which large TP's are possible, and the size of these TP's depends strongly on the size of nonfactorizable effects. We show that TP's which vanish in the SM can be very large in models with new physics. The measurement of a nonzero TP asymmetry in a decay where none is expected would specifically point to new physics involving large couplings to the right-handed b-quark.Comment: 42 pages, LaTeX, no figures. Title changed, several explanatory paragraphs added, references added, analysis and conclusions unchange