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)     

研究K4-同胚图K4(α,1,1,δ,ε,η)色性的一个引理

主要介绍了一个引理，这个引理奠定了K4－同胚图K4（α，1，1，δ，ε，η）色性研究的基础。     

机翼大攻角下失速颤振的气动弹性研究

本文采用流固耦合的数值方法研究了机翼在0°～50°攻角下的颤振。计算结果表明,随着来流攻角α0的增大,机翼的固有频率对颤振的影响越来越大,颤振由线性的强迫振动逐渐发展成为非线性的自激振动,而当α0增加到一定程度以后,大尺度分离流交替地从机翼头部和尾部产生,机翼和流场会发生共振,引起机翼的失速颤振。     

解奇异非光滑方程组的牛顿法和不精确牛顿法

本文主要解决奇异非光滑方程组的解法。应用一种新的次微分的外逆，我们提出了牛顿法和不精确牛顿法，它们的收敛性同时也得到了证明。这种方法能更容易在一引起实际应用中实现。这种方法可以看作是已存在的解非光滑方程组的方法的延伸。     

离子交换富集-导数火焰原子吸收法测定自来水中Cu,Fe和Zn

本文研究了用 2 0 1× 7阳离子交换树脂对自来水中的微量元素进行交换富集 ,采用微量脉冲进样 导数火焰原子吸收法测定富集后溶液中的Cu ,Fe和Zn ,该方法灵敏度分别为 0 2 9,0 5 9和 0 0 6 μg·L- 1 ,精密度分别为 4 2 8% ,1 95 %和 2 2 8% ,检测限分别为 1 2 8,5 85和 0 6 8μg·L- 1 ,回收率分别为 91 13% ,10 1 34%和99 84 % ,本方法大大减少了需样量 ,简便快速 ,灵敏度高。     

Changes in the kurtosis parameter of super-Gaussian beams passing through a spherically aberrated lens

Based on the Collins formula and irradiance moments definition, the propagation of the kurtosis parameter of super-Gaussian beams through a spherically aberrated lens is studied. Detailed numerical results are given. It is shown that, as compared with aberration-free super-Gaussian beams, the profile of spherically aberrated super-Gaussian beams can be leptokurtic, mesokurtic or platykurtic, depending on the aberration and propagation distance. The results for the spherically aberrated Gaussian beams can be dealt with as a special case treated in this paper. Finally, the advantage of our method is pointed out.     

一类NLS-mKdV方程族的扩展可积系统

利用代数变换，构造了与文献［５］中的loop代数₂的子代数等价的loop代数1的一个子 代数₁.再将₁扩展为一个高维的loop代数.利用设计了一个等谱问题 ，结合子代数间的直 和运算和同构关系，得到了NLS_mKdV方程族的一类扩展可积系统.作为约化情形，求得了著 名的Schrdinger方程与mKdV方程的可积耦合系统. 关键词： loop代数 可积系统 等谱问题     

与HBV X蛋白相互作用的细胞蛋白的筛选及其鉴定

参考GenBank核苷酸序列库中的HBV的核苷酸序列设计合成了一对对应于HBx基因的引物，从原发性肝癌(hepatocellular carcinoma，HCC)患者的血清中提取HBV基因组DNA作为模板，扩增HBx编码区并测定了核苷酸序列．将该编码区克隆到酵母双杂交系统的诱饵蛋白表达载体pGBKT7中，转入酵母细胞AH109，进行表型鉴定．然后通过Mating实验从已制备好用于酵母双杂交系统的肝cDNA表达文库中筛选与HBx相互作用的细胞蛋白，并用体外免疫共沉淀实验进一步验证．研究表明，分离得到的与HBx基因编码的蛋白相互作用的4种新的细胞蛋白，分别是醛缩酶B、C8α亚基、一种丝氨酸蛋白酶Hepsin和一种未知蛋白．     

Estimating functionals of one-dimensional Gibbs states

Summary Some estimators of maximum likelihood type are constructed for estimating functionals of one-dimensional Gibbs states. We also show that those estimators are strongly consistent, asymptotically normal and asymptotically efficient.