Syngas production via combined oxy-CO2 reforming of methane over Gd2O3-modified Ni/SiO2 catalysts in a fluidized-bed reactor

In this research, Ni/SiO₂ catalyst was modified with different amount of Gd₂O₃ and characterized with temperature-programmed desorption of CO₂ (CO₂-TPD) and NH₃ (NH₃-TPD), temperature-programmed reduction with H₂ (H₂-TPR) and X-ray diffraction (XRD). It was found that Gd₂O₃-modified Ni/SiO₂ catalysts possessed higher CO₂ adsorption and activation ability due to the formation of surface carbonate species. H₂-TPR and XRD characterizations found that the strong interaction among nickel, Gd₂O₃ and SiO₂ took place, which improved the dispersion of Ni. Gd₂O₃-modified Ni/SiO₂ catalysts exhibited higher activity and stability for the combined oxy-CO₂ reforming of methane in fluidized-bed reactor. The H₂/CO ratio in produced syngas could be controlled via controlling reaction temperature and CO₂/O₂ ratio in feed.     

Calculation methods for comparing the performance of pure and mixed working fluids in heat pump applications

Three methods for comparing cycle performance of working fluids, pure as well as non-azeotropic mixtures, are investigated for two applications and for two mixture pairs, HCFC22-CFC114 and HCFC22-HCFC142b, and their pure components. The methods differ in the way of calculating the heat exchange processes. They assume, respectively, equal minimum approach temperatures, equal mean temperature differences and equal heat transfer areas. Changes of coefficient of performance (COP) with composition are explained for all methods. It is shown that transport properties must be taken into account when making rigorous comparisons between working fluids. To predict the relations between fluids with high accuracy, one must use the method with equal heat transfer areas. By the method with equal mean temperature differences, the COP can be estimated with the same accuracy for mixtures as for pure fluids, and can be used for rough estimations of the COP level with different fluids. The method of equal minimum approach temperatures should be avoided for non-azeotropic mixtures.     

Effet de la pression sur la transition ruisselant-pulsé dans les réacteurs catalytiques à lit fixe arrosé

The effect of pressure on transition displacement between trickle and pulsed regimes (TPR: trickle-pulsed transition) in catalytic trickle bed reactors (CTBR) is not properly predicted by existing theoretical models and empirical correlations. Based on high pressure TPR data available to date, a modified Charpentier diagram is proposed to quantify directly the effect of pressure in non-foaming systems.     

Expressing the equivalence of non‐isothermal and isothermal heat sterilization processes

Currently, the sterility of heat‐processed food and pharmaceuticals is assessed in terms of an F₀ value, based on the equivalence of the heat treatment to an isothermal process at a reference temperature. This F₀ value, however, has a meaning if, and only if, the inactivation kinetics of the targeted spores (or cells) follow a first‐order relationship and the temperature dependence of the D value, the reciprocal of the rate constant, is log‐linear. There is growing evidence that these conditions are not satisfied by many spores, including those of Clostridium botulinum and vegetative cells. Consequently, a replacement for the F₀ value is proposed in the form of a momentary equivalent time at the reference temperature based on the actual survival pattern of the spores, which need not be log‐linear. This equivalent time can be calculated together with the theoretical survival ratio in real time, thus enabling an operator to monitor the lethality of ongoing industrial heat processes. The concept is demonstrated with published survival data of C. botulinum, for which the Weibullian and log‐logistic models served as primary and secondary models, respectively. The safety factor according to the proposed method is in the number of added minutes of processing, beyond the theoretical time needed to reduce the survival ratio of the targeted spores or cells to a level that would produce practical (or commercial) sterility. Copyright © 2006 Society of Chemical Industry     

Trade and spatial economic interdependence

Abstract. Regional scientists have had a long fascination with spatial economic interdependence, initially stimulated by the development of a suite of models in Isard (1960). In recent years there have been two major developments; first, a movement towards greater integration in model development not only with large-scale models, but also with careful attempts to make more components of the system endogenous. The second development has been the pursuit of greater integration than in earlier studies between theory and applied regional economic modelling, most notably in the area of trade and economic development. We explore some of the recent developments of this latter approach and provide an assessment of the current state-of-the art of some future opportunities.     

Pre-bainitic Transformation in Fe-Ni Alloy

Ｔｈｅｐｒｅ－ｂａｉｎｉｔｉｃｐｈｅｎｏｍｅｎｏｎｉｓｏｎｅｏｆｔｈｅｉｍ－ｐｏｒｔａｎｔｓｕｂｊｅｃｔｓｏｆｂａｉｎｉｔｉｃｔｒａｎｓｆｏｒｍａｔｉｏｎｗｈｉｃｈｉｓｓｔｉｌｃｏｎｔｒｏｖｅｒｓｉａｌ．Ｏｎｅｖｉｅｗｉｓｔｈａｔｔｈｅｓｏｌｕｔｅａ...     

基于MSP430的低功耗近距无线图像传输系统设计与实现

近距无线图像传输系统主要用于无线传感器网络中的图像采集、传输、处理和显示,本文设计并实现了一种具有较强实用性的近距无线图像传输系统。采用OV7670图像传感器作为图像数据采集器,高速低功耗的nRF24L01射频模块作为无线收发器,采用MSP430F14916位超低功耗单片机作为微处理器,所构成的系统具有功耗低、图像传输速度快等优点。作者详细阐述了该系统的硬件结构和软件设计。     

Consequences of the formation of Cooper-pairs near oxygen-deficient sites

In this investigation we consider the formation of Cooper pairs near the oxygen-deficient sites in Y-Ba-Cu-O ceramic superconductors which would give rise to an energy-dependent potential as seen by conduction charge carriers. It is shown that Cooper pairs could be formed under such conditions, resulting in a supercurrent. We use the Bogoliubov transformation technique to calculate the energy gap, the energy difference, and the transition temperature of the model superconductor using certain data obtained from previous experiments. Numerical analysis shows that the superconducting current can be explained by the presence of such oscillating Cooper pairs.     

Arnold置乱在零水印中的二次复用

为了提高水印的鲁棒性和减小对应版权信息的大小,本文提出了一种基于Arnold变换、DWT和SVD的零水印算法。该算法将载体图像进行DWT变换,对低频子带进行分块SVD;比较置乱后的最大奇异值的大小,若大于则对应位为1,否则为0;将结果与预处理过的水印做异或运算,得密钥矩阵。该矩阵为检测水印提供密钥。实验证明,本算法对图像压缩、滤波、模糊、噪声及脏图具有良好的鲁棒性。     

Mechanical procedure for proof construction via closed terms in typed λ calculus

In this paper is presented an algorithm for constructing natural deduction proofs in the propositional intuitionistic and classical logics according to the analogy relating intuitionistic propositional formulas and natural deduction proofs, respectively, to types and terms of simple type theory. Proofs are constructed as closed terms in the simple typed calculus. The soundness and completeness of this method are proved.