A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A parallel cell‐based DSMC method on unstructured adaptive meshes

A parallel DSMC method based on a cell‐based data structure is developed for the efficient simulation of rarefied gas flows on PC‐clusters. Parallel computation is made by decomposing the computational domain into several subdomains. Dynamic load balancing between processors is achieved based on the number of simulation particles and the number of cells allocated in each subdomain. Adjustment of cell size is also made through mesh adaptation for the improvement of solution accuracy and the efficient usage of meshes. Applications were made for a two‐dimensional supersonic leading‐edge flow, the axi‐symmetric Rothe's nozzle, and the open hollow cylinder flare flow for validation. It was found that the present method is an efficient tool for the simulation of rarefied gas flows on PC‐based parallel machines. Copyright © 2004 John Wiley & Sons, Ltd.     

强流四脉冲电子束源实验研究

 为了进行强流多电子束源研究，对现有2MeV LIA 注入器进行了四脉冲改造，二极管脉冲电压约500kV。实验研究了天鹅绒阴极在四脉冲条件下的发射能力、传导电流负载效应以及阴极等离子体运动对阴极电子发射和束能量的影响。利用空间电荷限制流模型推算出阴极等离子体膨胀速率在1 ~4cm/μs之间。     

Stability control of the electrooptic effect with new maleimide copolymers containing photoreactive tricyanopyrrolidene‐based chromophores

New photocrosslinkable maleimide copolymers have been synthesized by the attachment of a tricyanopyrrolidene‐based chromophore. The 2‐(3‐cyano‐4‐(2‐{4‐[hexyl‐(6‐hydroxy‐hexyl)‐amino]‐phenyl}‐vinyl)‐5‐oxo‐1‐{4‐[4‐(3‐oxo‐3‐phenyl‐propenyl)‐ phenoxy]‐butyl}‐1,5‐dihydro‐pyrrol‐2‐ylidene)‐malononitrile chromophore exhibits nonlinear optical activity and contains a chalcone moiety that is sensitive to UV light (λ = 330–360 nm) for crosslink formation. The maleimide monomers have also been functionalized with chalcone moieties. The resultant copolymers exhibit great processability, and one of them shows a maximum electrooptic coefficient of 90 pm/V at 1300 nm. We could control the thermal stability of the electrooptic coefficient with the newly synthesized photoreactive copolymers successfully. © 2006 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 531–542, 2007     

养殖池塘沉积物的重金属分布及污染特征

浙江省淅西北地区淡水养殖池塘沉积物重金属调查研究表明，养殖池塘沉积物中7种重金属元素分布不均衡，差异也较大，除Hg和Cr元素外，其余重金属元素已大大超过土壤本底值．虽然其实测含量都未超出国家规定的标准值范围，但沉积物中重金属元素对养殖水环境、养殖品种存在的潜在污染与危害值得关注．污染指数评价显示，养殖池塘沉积物中主要污染物质为Cu和Cr，而Hg、Pb污染程度相对较轻．     

Transition‐metal‐catalyzed reactions of 5‐methylene‐2‐oxazolidinone and 5‐methylene‐1,3‐thiazolidine‐2‐thione with isocyanates

5‐Methylene‐2‐oxazolidinone (1) and 5‐methylene‐1,3‐thiazolidine‐2‐thione (4) react with various isocyanates to give the corresponding urethanes 3 and 5 in high yields in the presence of palladium(0) or palladium(II) catalyst under mild reaction conditions. A mechanism is proposed. Copyright © 2003 John Wiley & Sons, Ltd.     

Rough隶属函数关于集合并与交的一种高精度计算方法

近些年来，许多处理近似问题的方法陆续被提出，其中利用Rough集理论计算两个集合的并和交的Rough隶属函数方法是被用较多的一种方法，但毕竟该方法精度较差。为此，介绍了一种精度较高的计算两个集合的并和交的Rough隶属函数方法，它克服了前者利用Rough集理论计算Rough隶属函数的复杂性，而迎来了简单和高精度的特点。     

A new VOF‐based numerical scheme for the simulation of fluid flow with free surface. Part II: application to the cavity filling and sloshing problems

Finite element analysis of fluid flow with moving free surface has been performed in 2‐D and 3‐D. The new VOF‐based numerical algorithm that has been proposed by the present authors (Int. J. Numer. Meth. Fluids, submitted) was applied to several 2‐D and 3‐D free surface flow problems. The proposed free surface tracking scheme is based on two numerical tools; the orientation vector to represent the free surface orientation in each cell and the baby‐cell to determine the fluid volume flux at each cell boundary. The proposed numerical algorithm has been applied to 2‐D and 3‐D cavity filling and sloshing problems in order to demonstrate the versatility and effectiveness of the scheme. The proposed numerical algorithm resolved successfully the free surfaces interacting with each other. The simulated results demonstrated applicability of the proposed numerical algorithm to the practical problems of large free surface motion. It has been also demonstrated that the proposed free surface tracking scheme can be easily implemented in any irregular non‐uniform grid systems and can be extended to 3‐D free surface flow problems without additional efforts. Copyright © 2003 John Wiley & Sons, Ltd.     

Single Atom Alloy Preparation and Applications in Heterogeneous Catalysis

There have been remarkable progresses in manipulating heterogeneous catalysts' nanostructures in the past decade. The concept of single atom alloy (SAA) was firstly proposed in 2012 when researchers successfully stabilized single Pd atoms on the Cu(111) surface. However, earlier work in 2009, which focused on replacing one Au atom with a Pd atom in thiolate protected Au₂₅ nanoclusters, could also be considered as the pioneer work of single atom alloy. Both kinds of single atom alloys exhibited the potential of maximum utilization of scarce elements and attractive catalytic performances. The well‐defined structures of SAA catalysts make accurate modeling possible, which further realizes the rational design of single atom alloy catalysts. In this review, we summarize the research trajectory of single atom alloys as well as recent achievements in this field. We also introduce several commonly adopted characterization methods for SAA catalysts such as scanning tunneling microscopy (STM), temperature programmed reaction (TPR), extended X‐ray absorption fine structure (EXAFS) spectra, matrix assisted laser desorption/ionization mass spectrum (MALDI‐MS) and differential pulse voltammetry (DPV). Through discussing recent progresses in SAA catalysts, we propose that future researches in this filed should be focused on exploring new kinds of metal nanocrystals and controlling the nanostructure of SAA even more precisely.     

Anomalies in the asymmetric hydroboration of olefins with the 11 adduct of (+)-α-pinene and BH3 · THF

The hydroboration of cis-2-butene and cis-3-hexene with pure diisopinocampheylborane (IPC₂BH) and monoisopinocampheylborane (IPCBH₂), both prepared from (+)-α-pinene, were studied. In contrast to IPC₂BH, which yielded R-(?)-2-butanol and R-(?)-3-hexanol in 98.4 and 94.5% optical purities, IPCBH₂ yielded S-(+)-2-butanol and S-(+)-3-hexanol in 23.6 and 19.7% optical purifies respectively. PMR examination of the methanolyzed products were utilized to establish the species present in the freshly prepared and aged $\text{1}\text{1}$ adduct from (+)-α-pinene and BH₃ · THF. The results confirm the interpretation previously advanced for the major differences realized in asymmetric hydroboration with the fresh and aged $\text{1}\text{1}$ adducts.