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)     

投资决策分析方法的缺陷及改进

本文指出了传统投资决策方法的缺陷 ,提出了将期权理论应用于投资决策的总体思路 ,突破了传统决策分析的局限性 ,使决策更加科学和合理     

The study and applications of photochemical-dynamical gravity wave model II

A nonlinear, compressible, non-isothermal gravity wave model that involves photochemistry is used to study the effects of gravity wave on atmospheric chemical species distributions in this paper. The changes in the distributions of oxygen compound and hydrogen compound density induced by gravity wave propagation are simulated. The results indicate that when a gravity wave propagates through a mesopause region, even if it does not break, it can influence the background distributions of chemical species. The effect of gravity wave on chemical species at night is larger than in daytime.     

一种新型可调谐锁模光纤激光器

利用法布里-珀罗腔的激光二极管作为调制器件，实现环形腔光纤激光器的主动锁模。并利用法布里-珀罗腔的激光二极管的多纵模特性，把激光二极管当作一梳状滤波器，通过偏振控制器来调整入射到激光二极管内光的偏振态，同时均衡腔内增益，得到波长大范围可调谐的锁模激光，其脉冲宽度约为48ps，脉冲重复速率2GHz。     

基于同步辐射加速器的康普顿背散射γ射线源(Ⅰ)产生MeV量级γ光子的数值计算

提出在筹建的上海同步辐射装置上建造一条MeV量级γ射线束及应用站,采用μm波长的红外(或远红外)激光与储存环中3.5GeV电子束进行康普顿背散射,从而获得能区为1—25MeV的康普顿背散射γ光子束,该光子束具有高强度、高极化度(线和圆极化)、准单色、方向性好的优点,可以广泛地应用于核物理和核天体物理基础研究及相关的应用研究领域.介绍了康普顿背散射的基本原理,并结合储存环参数给出了光子束性能的数值计算结果.     

Research of spatial resolution in external electro-optic probing

A new method, based on zero point of longitudinal electric field, was used to determine the spatial resolution of external electro-optic (EO) probing equipment. Considering the diffraction of Gauss beam, the result of external EO probing was simulated which was in accordance with the experiment. A spatial resolution <1 μm was demonstrated initially in our equipment using 650 nm laser diode as probe beam and semi-insulating GaP as probe tip.     

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     

A lithium ethyl­ene­diphos­phon­ate containing lithium chains and symmetric hydrogen bonds

In the title compound, catena‐poly[lithium‐μ₃‐ethyl­ene­diphos­phon­ato], [Li(C₂H₇O₆P₂)]_n, the supra­molecular monoclinic (C2/c) structure consists of one‐dimensional lithium chains [Li⋯Li = 2.7036 (8) Å] that are embedded within ethyl­ene­diphosphon­ate anions linked by strong symmetric hydrogen bonds [O⋯O = 2.473 (3) Å]. The Li atoms and the H atom in the symmetric hydrogen bond reside on twofold rotation axes and there is an inversion center at the mid‐point of the C—C bond of the ethylenediphosphonate ligand.