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)     

Syntheses, structures, and properties of novel molybdenum and tungsten complexes of fullerenes

The synthesis and characterization of several fullerene-based organometallic complexes containing Mo and W is reported.     

Efficient microwave induced direct α-halogenation of carbonyl compounds

A novel and direct method for the synthesis of α-halocarbonyl compounds using sequential treatment of carbonyl compounds with [hydroxy(tosyloxy)iodo]benzene followed by magnesium halides under solvent-free microwave irradiation conditions is described.     

Hamiltonian N2‐locally connected claw‐free graphs

A graph G is N₂‐locally connected if for every vertex ν in G, the edges not incident with ν but having at least one end adjacent to ν in G induce a connected graph. In 1990, Ryjá?ek conjectured that every 3‐connected N₂‐locally connected claw‐free graph is Hamiltonian. This conjecture is proved in this note. © 2004 Wiley Periodicals, Inc. J Graph Theory 48: 142–146, 2005     

Development of Vacuum Monitoring System in the HL-2A tokamak

HL-2A is the first divertor tokamak in China. The vacuum system is one of the important parts of the HL-2A tokamak, which has to be work well during the physics campaign in 2004. As the tokamak machine is separated from the operation staff during discharges, to guarantee the safe and reliable operation of the vacuum system, it is necessary to watch the vacuum system outside the machine hall with an automatic monitoring system. The paper describes the design and manufacture of the monitoring system.     

Vacuum System for HL-2A Tokamak

The vacuum system of today＇s tokamak devices is designed to meet the operational requirements of the experiments. The operation can be divided into five modes, （1） pumping down and leak detecting of the vacuum vessel, （2） baking, （3） plasma-facing component （PFC） conditioning, （4）evacuating and controlling of the particles at plasma edge, （5） plasma discharge experiments.     

“神龙一号”注入器研制

“神龙一号”注入器是直线感应加速器的束流源，它采用了感应叠加的高压加载方式，包括脉冲功率系统、感应腔、阴阳极杆、绝缘支撑、二极管和束流传输系统等子系统. 在研制中采用了径向绝缘支撑、对中支撑调节系统、类Pierce阴极等先进技术，以及二极管线圈内置和外径为800mm的铁氧体大环等创新. 参数测试显示，3.5MeV注入器达到了世界先进水平.