Polyaniline-based networks combined with Fe3O4 hollow spheres and carbon balls for excellent electromagnetic wave absorption

Polyaniline (PANI)-based networks combined with Fe₃O₄ hollow spheres and carbon balls (FCP) for improved electromagnetic wave (EMW) absorption were investigated using an easy-to-industrialize solvothermal and physical method. Hollow structure Fe₃O₄ spheres with a lower density than that of the common solid sphere were prepared. As a thin and light magnetic material, Fe₃O₄ hollow spheres generate magnetic loss, carbon balls and PANI networks generate dielectric loss. The magnetic and conductive parts play appropriate roles in achieving complementarity in the EMW absorption. The relatively high specific surface area introduced by PANI networks promotes interfacial polarization and further supports dielectric loss. In conclusion, the above reasons provide multiple attenuation mechanisms. Samples FCP1 (?65.109 dB, at 12.800 GHz, 1.966 mm, from 5.6 to 18.0 GHz) and FCP2 (?61.033 dB, at 8.480 GHz, 3.328 mm, from 4.3 to 18.0 GHz) demonstrated a wide bandwidth, a small thickness, a minimum reflection loss (R_L), and a low loading ratio (25%) in paraffin-based composites. Specifically, their loading ration of 25% is much lower than the loading ratio of conventional materials (usually 50% and above). In addition, the bandwidth is excessively wide, above 12 GHz, possessing good absorption performance in continuous intervals with different thicknesses. Such excellent characteristics have rarely been reported in literature.     

Novel core-shell-like Ni-supported hierarchical beta zeolite catalysts on bioethanol steam reforming

Hierarchical-Beta zeolites have been hydrothermally synthesized by adding a new gemini organic surfactant. The used gemini surfactant play the role of a “pore-forming agents” on the mesoscale, on the same time, providing alkaline environment for the system. With this hierarchical Beta zeolite as the core support, we successfully prepared a shell layer of Ni-containing (22 wt%) petal-like core-shell-like catalyst and applied it to bioethanol steam reforming. At the reaction temperature of 350 °C–550 °C, the conversion rate of ethanol and the selectivity of hydrogen were always above 85% and 70%. After reaction of 100 h on stream at 400 °C, there were not obvious inactivation could be observed on NiNPs/OH-MBeta catalyst.     

掺铒单模光纤飞秒脉冲激光器和放大器

为了获得一种被动锁模掺铒光纤振荡器及功率放大器，数值模拟出超短脉冲在光纤中的传输和演化过程，并基于此搭建了一种被动锁模掺铒光纤飞秒振荡器及功率放大器。实验获得了中心波长1560 nm、重复频率100 MHz、输出功率30 mW、脉冲宽度85 fs超短脉冲。通过采用PPLN晶体进行倍频，进一步获得了输出功率5 mW，中心波长780 nm的飞秒脉冲。该光纤激光器为全保偏光纤结构，具有体积小巧、可靠性高、稳定性好的特点。     

Characterization and application of a Pt/ZSM-5/SSMF catalyst for hydrocracking of paraffin wax

The microstructured Pt/ZSM-5/SSMF catalysts, for hydrocracking of paraffin wax, have been developed by impregnation method to place Pt onto thin-sheet ZSM-5/SSMF composites obtained by direct growth of ZSM-5 on the sinter-locked stainless steel microfibers (SSMF). The best catalyst is the one with ZSM-5 having a SiO₂/Al₂O₃ weight ratio of 200, delivering ~ 95% conversion with 77.5% selectivity to liquid products or 64.4% selectivity to naphtha at 280 °C. This new approach is capable of increasing the naphtha selectivity with high activity maintenance in comparison with the literature catalysts.     

氘重氧水液相催化交换法氢正常化工艺研究

液相催化交换法是有效的氢同位素分离方法之一，传统电解法进行氘重氧水氢正常化安全风险大，生产成本高，为此利用液相催化交换法对含氘重氧水进行除氘实验。结果表明，反应温度在30~70 ℃内，随着温度升高，含氘重氧水除氘过程的总体积传质系数（Kya）值先变大后变小，当温度大于60 ℃后，总体积传质系数Kya值逐渐变小，最优反应温度为60 ℃；气液比（摩尔比）在0.5~3.0之间，随着气液比增加，含氘重氧水除氘过程的Kya值愈大，含氘重氧水除氘效果越好，但过大的气液比会引起气液夹带甚至导致液泛，降低反应效率。实验结果可为开展高氘浓度氘重氧水液相催化交换法氢正常化工艺研究提供依据。     

Wide-range estimation of various substitution elasticities for CES production functions at the sectoral level

This paper provides a broad range of various substitution elasticity values for sectoral nested constant elasticity of substitution (CES) production functions, estimated through panel data techniques and using the World Input-Output Database (WIOD) as the main data source. Although the related empirical literature has been growing over the recent years, there is still no single study focused on a large-scale estimation of various, both product- and industry-specific, elasticities with the use of an internally consistent database and a common methodology for all the production function nests. This paper constitutes an attempt to fill this gap. The obtained estimates may subsequently be used by computable general equilibrium (CGE) modellers in their applied research – covering fiscal, labour market, trade, energy or environmental topics. Significant heterogeneity in the estimated elasticity values is observed between various industries/products as well as between various nests of the production function. This constitutes a strong argument against the arbitrary use of Leontief and/or Cobb-Douglas specifications in multi-sector CGE models.     

Postsynthesis of hierarchical core/shell ZSM-5 as an efficient catalyst in ketalation and acetalization reactions

Hierarchical core/shell Zeolite Socony Mobil-five (ZSM-5) zeolite was hydrothermally postsythesized in the solution of NaOH and diammonium surfactant via a dissolution-reassembly strategy. The silica and alumina species were firstly dissolved partially from the bulky ZSM-5 crystals and then were in situ reassembled into the MFI-type nanosheets with the structure-directing effect of diammonium surfactant, attaching to the out-surface of ZSM-5 core crystals. The mesopores thus were generated in both the core and shell part, giving rise to a micropore/mesopore composite material. The micropore volume and the acidity of the resultant hybrid were well-preserved during this in situ recrystallization process. Possessing the multiple mesopores and enlarged external surface area, the core/shell ZSM-5 zeolite exhibited higher activity in the ketalation and acetalization reactions involving bulky molecules in comparison to the pristine ZSM-5.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Stick-Breaking Dependent Beta Processes with Variational Inference

Neural Processing Letters - The beta processes (BP) is a powerful nonparametric tool in feature learning, which is often used as the prior of Bernoulli process for choosing features from a feature...