水闸闸室结构三维样条边界元分析

用三维样边界元法分析水闸闸室结构。底板，闸墩和载水墙等为其子结构，交通桥，工作桥和胸墙等处理为内部支撑。地基和边载可以是任意的，只要能给定地表位移面力关系。在各种工况下，不论是设置平板门还是弧形门，是平底板是反拱底板，即使在稀疏剖分下也能给出高精度的位移场，应力场和地基反力场。     

GF(2)上本原多项式的三项倍式的次数研究

研究了二元域上本原多项式的三项倍式的计数问题,通过对三项倍式进行分类,导出了本原多项式三项倍式最低次数的一个上界.利用这一结果,使构造本原多项式的次数最低的三项倍式的计算复杂性降到原来的九分之一.     

Controllable Magnetic Focusing of Cold Atoms on a Chip

We propose a new lens scheme to focus cold atoms by using a controllable inhomogeneous magnetic field from a square current-carrying wire fabricated on a chip. The spatial distributions of the magnetic field are calculated, and the results show that the generated magnetic field is a two-dimensional （2D） quadrupole one and can be used to focus cold atoms or a cold atomic beam. The dynamic processes of cold atoms passing through our square wire layout and its focusing properties are studied by using Monte Carlo simulations. Our study shows that the atomic clouds can be focused effectively by our magnetic lens scheme, and the focal length of the atomic lens and its radius of focused spot can be continuously changed by adjusting the current in the wires.     

半群K(n,r)中的幂等生成元

设Singn是由一个n元集上的所有奇异变换所构成的奇异变换半群，I是由Singn中一些亏数为1的幂等元组成的集合，Howie利用有向图证明了：I是Singn的一个生成集当且仅当与其相应的有向图D（I）是强连通的完全图，本文利用多重有向图将这一结果推广到Singn的每个理想K（,r)上。     

一种基于预测分类的小波图像编码

对于小波较像编码，如何有效地组织小波域系数是提高图像压缩效果的关键。本文在研究小波域系数统计特性的基础上，提出一种用于图像压缩的预测分类模式，与基于零树结构的编码不同的是它充分利用了小波域中“重要”系数的各种相关性，并通过结合提出的种子膨胀算法实现系数的分类输出，实验结果表明该方法所取得的压缩效果要优于基于零树结构的图像编码，同时又具有较强的鲁棒性。     

环上矩阵的分解

将复数域及四元数体上矩阵的积因子分解推广到上矩阵，并指出[1]中的定理2的证明是错误的，由此可知[1]中定理2的结论不成立。     

五元体系Li~ /Cl~-,CO_3~(2-),SO_4~(2-),B_4O_7~(2-)-H_2O298K相关系实验研究

青藏高原盐湖富含锂、钠、钾的氯化物、硫酸盐、碳酸盐和硼酸盐,尤以其高锂、硼而闻名于世[1]。这些盐湖卤水大多属于Li ,Na ,K ,Mg2 /Cl-,SO42-,CO32-,Borate-H2O体系。在卤水蒸发浓缩后期,由于绝大部分钠盐、钾盐均已结晶析出,所以卤水的化学组成实际变成Li ,Mg2 /Cl-,SO42-,     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.     

渗滤的系统及其分析及其数学模型

对于两相体系和多相体系有多孔介质中的渗滤分离过程进行数学模拟，并求解出这一过程．