简介：极限论是微积分中基础和重要的概念.数列极限的迫敛性定理既能判断数列的收敛性,也给出其极限值。通过对数列极限迫敛性定理的条件加以改进,得到了它的推论,并用一个例子说明了该推论的应用。

简介：令u（n）表示具有n个顶点的单圈图.在一个圈C3的一个顶点上悬挂n-3个悬挂边的n个顶点的单圈图记为U~＊（n-3,0,0）.本文证明了在u（n）中具有最小hyper-Wiener指数的单圈图是U~＊（n-3,0,0）.

简介：主要说明两两NQD随机变量序列的一些收敛性质是任意随机变量序列的强极限定理的推论．

简介：建立一类不育控制下的害鼠种群的离散模型.首先利用三个Jury条件,得到平衡点的局部渐近稳定性的充分条件.其次利用李雅普诺夫函数和细致分析法分别给出了零平衡点全局稳定及持续生存的充分条件.最后给出了平衡点全局稳定的数值模拟.

简介：研究了一种Gnedenko系统,即由3个串联部件,一个温储备部件及一个修理工组成的系统,其中修理工可以单重休假.运用C0半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.

简介：利用单频GPS载波相位差分技术进行动态精密测量时，由于观测历元少，经典LAMBDA算法会出现法矩阵病态导致整周模糊度无法求解。针对这一问题研究了基于TIKHONOV正则化原理的改进LAMBDA算法。通过对双差观测方程系数矩阵进行奇异值分解选取正则化矩阵，改善了法矩阵的病态性，获得了更高精度的浮点解。利用均方误差矩阵替代协方差阵进行LAMBDA求解，提高了模糊度求解的速度和成功率。对连续100组5个历元实测数据计算表明：与原算法相比，改进LAMBDA算法求得的浮点模糊度偏差从36.48周减小到4.08周，搜索效率和成功率分别改进97.74%和100%。

简介：安装在单轴转位机构上的惯性测量单元(IMU),会因IMU坐标系与载体坐标系不重合而存在一定的倾斜角,此倾斜角会使得IMU在旋转过程中引入姿态误差,在很大程度上降低了系统的姿态输出精度。为了降低安装倾斜角对旋转式捷联惯导系统的影响,文章通过对旋转过程中因安装倾斜引起的姿态角误差进行了详细分析,然后运用实验和数据拟合的方法得出了倾斜角随转位机构变化的规律,最后对倾斜角产生的误差加以补偿。经仿真和实验验证表明,对倾斜角误差补偿后,单轴旋转式捷联惯性导航系统的水平姿态精度由原先的2°提高到0.05°范围以内,航向误差由原先的0.5°提高到0.005°,大大提高了旋转式捷联惯导系统的姿态精度,具有一定的工程应用价值。

简介：针对车载单轴旋转激光捷联惯导系统，提出一种抗晃动初始对准方法和零速修正方法，以满足载车快速启动和精确定位的要求。首先采用基于重力信息的粗对准方法得到初始姿态，然后在此基础上，采用惯性凝固坐标系下速度为观测量的卡尔曼滤波方法完成晃动基座精对准。初始对准完成后，采用当地地理坐标系下速度为观测量的卡尔曼滤波方法进行零速修正。数字仿真试验及跑车试验结果表明：在晃动基座上经5min快速初始对准航向角精度与传统方法相当，对准时间仅为传统方法50%；零速修正时间间隔20min，停车修正5s，跑车2h水平定位精度与高程精度相对传统方法提高40%以上。数字仿真试验和系统跑车试验结果验证了所提出算法的可行性和有效性。

简介：证明对一切θ∈(0,1),所有θ(2√λη-λ-η)都是单重休假的M/M/1排队模型的主算子的几何重数为1的特征值.