集合卡尔曼滤波在时变声速剖面追踪中的性能分析

对集合卡尔曼滤波在时变海洋环境下的声速剖面追踪性能进行了分析。将南海实验背景下普林斯顿海洋模型预报的声速剖面正交分解为3阶系数组成的状态-空间形式,其状态转移方程建模为3阶自回归过程;基于卡尔曼反馈理论,利用适合于水平非均匀模型RAM仿真的观测声压场对系统状态进行校正,实现声速剖面的动态追踪。在水平均匀、水平非均匀和海底参数失配环境下的仿真结果均能较好地实现对声速剖面的追踪,验证了算法的可行性。同时对不同信噪比、粒子数、阵元数和海底参数失配等情况下的分析表明,观测信息量的增加可以有效抑制观测误差和模型误差的影响,相关结论得到了实验数据的验证。     

衰减匹配的超声Barker码激励方法

为增加超声穿透高声衰减介质的能力,提出了一种衰减匹配的超声Barker码激励方法。基于换能器高斯响应与材料非频散线性衰减的假设,得到了Barker码激励的信号模型,求解旁瓣抑制滤波后脉冲压缩的信噪比表达式可知,该方法仅需要根据材料衰减特性与轴向分辨率的要求,分别调整Barker码的中心频率与时长,便可以获得更高的信噪比。取衰减系数为1.4 Np/(MHz·cm)、厚度为5 cm的橡胶为试样进行验证。当与方波激励方法的轴向分辨率相近时,衰减匹配的Barker码激励方法比传统Barker码激励方法的信噪比增益提高接近5 dB;当牺牲一定轴向分辨率时,信噪比增益提高接近11 dB。结果表明,衰减匹配的Barker码激励方法可以降低依频率衰减对脉冲压缩的影响,有效提高衰减回波的信噪比。     

三维格子Boltzmann方法研究上升双气泡的运动特性

应用格子Boltzmann三维模型，对双气泡在静水中的运动进行数值研究.采用八点差分和十八点差分格式分别求解一阶▽φ和二阶▽²φ可以有效避免气液密度比过大造成的数值不稳定问题.结果表明：当两个相同直径的气泡在上升时，位置靠上的气泡形状变化像单气泡上升一样，而位置靠下的气泡会受到前一个气泡尾迹的影响，并有很明显的形状变化.当两个气泡直径不同时，不管初始位置如何，大气泡总会对小气泡造成强烈的影响.     

多壁碳纳米管分散固相萃取结合在线GPC/GC-MS/MS技术同时检测茶叶中40种有机磷农药

建立了一种以多壁碳纳米管(MWCNTs)为分散固相萃取吸附剂的前处理净化技术,结合在线凝胶色谱/气相色谱-三重四极杆串联质谱(GPC/GC-MS/MS)同时测定茶叶中40种有机磷农药残留的方法。茶叶用乙腈提取,经MWCNTs净化后进行GPC/GC-MS/MS分析。利用该方法对空白茶叶样品进行20、50、150μg/kg 3个不同浓度水平的加标回收试验,平均回收率为84.2%~109.9%,相对标准偏差(RSD,n=6)不大于8.9%,方法检出限为0.5~4.6μg/kg。该方法快速简便、灵敏度高、成本低,可以满足多种农药残留同时分析的要求。     

构造型几何定理及其机器证明系统

Hilbert 机械化定理表明,Pascal 几何中构造型交点定理可以机器证明。1982年,吴文俊教授给出了机械化定理的构造性证法。本文指出,通过添加若干新的构造类型,有更广泛的一类平面几何定理,其机器证明可以按照同样的构造性证法实现,我们称这类定理为构造型几何定理。作者适当调整吴文俊算法的步骤,在 HP1000小型计算机上建立了构造型几何定理的机器证明系统,效率大大提高,从而成功地证明了许多不平凡的几何定理,并且独立发现了相当深入的结果。     

强度解调型光纤光栅温度传感实验

光纤光栅在工程上应用广泛,但由于存在解调系统复杂、成本高,尤其是需要使用光纤光谱仪等波长解调仪器,使得光纤光栅很难走入本科教学的实验课堂.本文提出了一种基于窄线宽DFB激光器的强度解调方案,极大地简化了光纤光栅传感器的解调系统,完全满足较高分辨率和实时检测的系统要求.合理安排的温度传感实验可以非常直观地展示光纤光栅的线性传感性能,使得工程化的光纤光栅传感技术轻松走进本科教学课堂,具有极高的推广和应用潜力.     

外场中DLA集团标度性质的解析研究

我们利用“连续化近似”的平均场理论,详细研究了在不同外场作用下DLA集团的标度性质。发现对常值外场,集团密度ρ初始时按1/r变化,然后过渡到一个常数值;而对1/r^α类型的外场。当控制参数α变化时,生长集团表现出非常复杂的、非平庸的标度行为。 关键词：     

在低温等离子体及低能离子作用下PET表面氮的XPS研究

经X射线光电子能谱(XPS)分析,在空气等离子体和氩等离子体作用下,(PET)表面上结合了不同的氮化合物。特别是在氩等离子体作用5min以后,N₁₅出现双峰,表明PET表面上结合了氮的氧化官能团。通过低能氮离子和氩离子轰击PET表面的实验,证明这种N₁₅双峰结构不是低能离子单独作用引起的。 关键词：