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

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

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

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

简介：研究了泛函方程2f(2x+y)+2f(2x-y)=4f(x+y)+4f(x-y)+4f(2x)+f(2y)-8f(x)-8f(y)在模糊Banach空间中的Hyers-Ulam稳定性.

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

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

简介：在α次积分C半群和双连续n次积分C半群的基础上,探讨了双连续α次积分C半群的扰动性,得到了双连续α次积分C半群的扰动定理,并且在局部Lipschitz连续条件下证明双连续α次积分C半群的扰动理论仍然成立.

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

简介：给出了求一类高阶非齐次线性微分方程（组）特解的矩阵解法．即由对应齐次微分方程（组）的n个特解以及非齐次微分方程（组）的自由项构成某线性方程组的增广矩阵，并对该增广矩阵进行初等行变，换，即可求得非齐次微分方程（组）特解的一种简便方法．

简介：利用广义鞍点定理研究非自治二阶系统周期解的存在性.在具有部分周期位势和次线性增长非线性项时,给出了多重周期解存在的充分条件,所得结论推广了已知结果.

简介：<正>一、课标关于函数、一次函数、反比例函数的内容及目标要求二、中考考点专题解析函数思想、数形结合的思想是函数内容的重要体现,它对学生的阅读理解能力、收集处理信息的能力以及综合应用知识解决实际问题的能力都有一定的要求,因此它是中考的必考内容之一。函数的概念或意义、平面直角坐标系、简单的函数表达式、性质的初步把握类试题多以填空题、选择题形式出现;函数与其他

简介：提出了一类求解带有箱约束的非凸二次规划的新型分支定界算法．首先。把原问题目标函数进行D．C．分解（分解为两个凸函数之差），利用次梯度方法，求出其线性下界逼近函数的一个最优值，也即原问题的一个下界．然后，利用全局椭球算法获得原问题的一个上界，并根据分支定界方法把原问题的求解转化为一系列子问题的求解．最后，理论上证明了算法的收敛性，数值算例表明算法是有效可行的．