伪距,伪距增量,载波相位双差／惯性深组合导航系统

利用滞后状态卡尔曼滤波将伪距,伪距增量以及载波相位双差同ＩＮＳ进行了深组合,仿真结果表明该组合导航系统不仅精度高,而且对解决惯导的对准问题具有突出的作用。     

伪黎曼流形上的2—阶对称张量场

对伪黎曼流形上的２－阶共变对称张量场,如果它的Ｊｏｒｄａｎ指标在一个邻域上是常数,我们能构造这个邻域上的局部正交光滑标架场,使这个张量场关于构造的标架场的分量矩阵有标准形式,由此可使用活动标架法伪黎曼形特别是Ｌｏｒｅｎｔｚ场形上的一些重要定理给出新的简洁证明。     

PRC_CW雷达地杂波空间相关特性仿真分析

在分析典型地物杂波的空间分布特性的基础上,针对ＰＲＣ＿ＣＷ（伪码调相连续波）雷达的特性,即雷达在低俯视角情形时地面回波信号展宽,利用对码元回波复信号进行空间矢量叠加以得到ＰＲＣ＿ＣＷ雷达实际接收的回波信号。通过计算机模拟得到伪码调相连续波雷达回波信号后,对其空间相关特性进行了分析。     

一种新的求解变分不等式问题的外梯度投影算法

给出了一种新的求解变分不等式问题的外梯度投影算法．在较弱的条件下证明了算法的全局收敛性，并分析了算法的线性收敛速度。     

伪度量(L)*-Lindenbaum代数中基本运算的连续性

研究了伪度量L*-Lindenbaum代数中基本运算的连续性．结果表明，Fuzzy命题演算系统L*中的全体公式集上的伪度量可以在L*-Lindenbaum代数M上诱导出一个伪度量ρ，证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的．这为在(M，ρ)上建立近似推理理论提供了方便。     

3-RRRT并联机器人插补算法及其误差分析

结合3-RRRT并联机器人数控系统的开发，提出了粗、精插补策略和算法，研究了插补误差的分布规律．结果表明，在3-RRRT并联机器人数控系统中，精插补误差可以忽略不计.     

关于f×f与f的动力性质间关系的研究

利用伪轨跟踪性质和一些其他方法,研究了紧系统(X×X,f×f)和(X,f)的动力性质间的关系,有些结果推广了文献[1～5]、[7～9]中的相应结果.     

函数插值在Flash动画补间中的应用研究

探讨在flash中用ActionScript代码来进行动画补间的方法。介绍几种函数插值的动画补间，最后讨论使用函数插值的一般方法。     

子群的π-可补性对群结构的影响

如果存在G的一个子群K,使得G=HK且|H∩K|π=1,则群G的一个子群H称为在G中π-可补,此时K称为H在G中的π-补.研究了π-可补子群的一些性质,并利用群G的Sylowp-子群的极大和极小子群的π-可补性,给出了群G为p-幂零群的一些条件.特别地证明了如下结果:设G是一个群,P是G的一个Sylowp-子群,p∈π且p是|G|的一个素因子,如果(|G|,p-1)=1且P的每个极大子群在G中π-可补,则G是p-幂零群.     

关于preinvex函数和pseudoinvex函数

本文讨论了可微的强invex函数和强pseudoinvex函数分别与其梯度的强不变单调和强不变伪单调的关系,得到了pseudoinvex函数在某些条件下可以等价prequasiinvex函数.证明了:若f关于向量值函数η是preinvex函数,且满足lipschitz条件,则y为f(x)的全局极小点等价于0∈(e)0f(y).