状态变换扩展卡尔曼平滑算法在AUV水下航迹修正中的应用

水下自主潜航器(AUV)在水下勘测过程中常采用定期上浮的方式利用卫星定位信息(GNSS)校正惯性/多普勒测速仪(SINS/DVL)组合导航造成的位置误差,并通过平滑算法校正之前计算的水下航迹。针对AUV上浮前的水下航迹矫正问题,提出一种基于计算地理坐标系的状态变换扩展卡尔曼平滑算法(STEKF-RTS)。首先推导状态变换扩展卡尔曼滤波器的系统误差状态方程,并分别以GNSS信息和DVL速度为观测信息构建量测方程,以此系统模型进行前向滤波。完成前向滤波后,即潜航器上浮GNSS校正完成后,采用RTS平滑算法对水下航行阶段的航迹进行修正。实验结果表明,STEKF相较于EKF能减缓位置误差积累,STEKF-RTS相比EKF-RTS平滑算法能够进一步有效校正航线误差,1 h上浮时间间隔情况下,勘测航迹精度可控制在0.5%D以内。     

条形装箱问题的优化模型和增广Lagrange算法

This paper formulates a two-dimensional strip packing problem as a non-linear programming(NLP)problem and establishes the first-order optimality con-ditions for the NLP problem.A numerical algorithm for solving this NLP problemis given to find exact solutions to strip-packing problems involving up to 10 items.Approximate solutions can be found for big-sized problems by decomposing the setof items into small-sized blocks of which each block adopts the proposed numericalalgorithm.Numerical results show that the approximate solutions to big-sized prob-lems obtained by this method are superior to those by NFDH,FFDH and BFDHapproaches.     

Multiple—Scattering of Near—Edge x—ray Absorption Fine Structure of Sulphur—Passivated InP（100） Surface

We use the multiple-scattering cluster method to calculated the sulphur 1s near-edge x-ray absorption fine structure (NEXAFS) of S-passivated InP(100) surface.The physical origins of the resonances in the NEXAFS have been unveiled.It is shown that the most important resonance is attributed to the photoelectron scattering between the central sulphur and the nearest indium atoms.The studies show that two S-S dimers with the bond lengths of 2.05A and 3.05A coexist in the surface,meanwhile the bridge and antibridge site adsorption of single S could not be ruled out.We support the scanning tunnelling microscopy result that the S-passivated InP(100) surface exhibits significant discorder.     

非线性Schroedinger方程的包络形式解

扩展了最近提出的F展开方法以构造非线性演化方程更多的精确解，即将F展开法中的一阶非线性常微分方程和单变量的有限幂级数代之以类似的一阶常微分方程组和两个变量的有限幂级数，这两个变量是一阶常微分方程组的解分量．作为例子，用扩展的F展开法解非线性Schroedinger方程，得到了很丰富的包络形式的精确解，特别是以两个不同的Jacobi椭圆函数表示的解．显然，扩展的F展开方法也可以解其他类型的非线性演化方程．     

Extension of Isometries Between the Unit Spheres of Normed Space E and C（Ω）

In this paper, we study the extension of isometries between the unit spheres of normed space E and C（Ω）. We obtain that any surjective isometry between the unit spheres of normed space E and C（Ω） can be extended to be a linear isometry on the whole space E and give an affirmative answer to the corresponding Tingley＇s problem （where Ω be a compact metric space）.     

快中子照相中的点扩展函数计算

 快中子照相中，基于反冲核原理探测快中子的有机闪烁体平板是普遍采用的快中子辐射转换体。模拟了D-T中子垂直入射BC400闪烁体平板，计算了不同厚度平板闪烁体的点扩展函数，对14.1 MeV快中子照相中闪烁体固有分辨率随厚度的变化进行了研究。计算结果表明，在不考虑二次中子与闪烁体作用及背景噪声等情况时，点扩展函数几乎不依赖于闪烁体厚度。同时，计算还表明在一定的分辨率范围内，由于荧光收集效率的限制，闪烁体厚度增加并不会改善图像对比度。     

理想微裂纹系统中的随机扩展效应

本文讨论了在理想微裂纹系统中,由于微裂纹的随机性扩展,对微裂纹统计演化产生的效应。文中提供了一般的理论框架,给出了便于处理的转移概率的表达式。最后,用数值计算的例子展示了随机模型的统计演化特征,并比较了与确定性扩展模型下统计演化的异同。     

密码系统互操作性的泛化方法

为了研究校园卡互操作系统，从分析密码设备互操作框架和密码设备逻辑视图人手，提出了密码系统互操作性泛化的概念和研究方法，对实现密码应用系统的可持续发展具有理论和实际指导价值．     

冲击载荷下剪切断裂研究

利用Hopkinson压杆技术对单边平行双裂纹试样倒向加载，在较大的加载率范围，对Ti6Al4V钛合金和40CrNiMoA两种材料的动态剪切断裂行为进行了研究．实验结果表明：存在两类韧性剪切断裂模式，即常规的韧性剪切型断裂和绝热剪切断裂．常规剪切型断裂模式的断裂韧性KⅡd随加载率的提高而增大，而绝热剪切型的断裂韧性KⅡd则随加载率的提高而减小，并且，当加载率增大至某一临界值时，常规的韧性剪切断裂模式将转变为绝热剪切断裂破坏模式．