简介：北斗双星定位系统(简称双星定位)是我国自行建立的一种定位系统.根据北斗双星定位系统采用有源定位的特点,介绍了北斗双星与SINS组合的最优预测模型,该方法利用了双星定位系统提供的滞后定位信息对组合系统进行最优预测,进而校正惯导;同时为验证该滤波方法对状态估计的一致性,文中重点研究了滤波器一致性的准则,并给出了检验的统计量.理论研究和试验仿真证明,文中介绍的滤波器与系统是匹配的,具有较高的滤波性能和精度.

简介：运用算子半群理论证明了M/M/1排队模型的l^1动态解的稳定性和正等距性。

简介：建立了考虑测试基准倾斜时加速度计的数学模型。用初始安装误差角辨识理论及算法，在一定范围内消除或减弱了测试基准倾斜对加速度计数学模型辨识精度的影响。该方法可以降低对测试设备地基和调平装置精度的要求，降低其测试和标定成本，提高测试工作效率。

简介：本文讨论了用状态驻留时间来模型化传统的HMM模型。HMM的一个基本假设是它认为语音信号是准平稳的。然而由状态输出yt的HMM模型，并不能很好地表征语音信号中平稳段或平稳段之间的具体特征；由转移弧产生输出的自左向右HMM系统,则对语音特征作更为细致的描述。本文主要讨论在[2]的基础上,对新建模型进行参数估计。

简介：研究数据对模型的影响是一个重要问题．主要考察数据对边界条件下线性回归模型的影响．从度量精度方面建立了二个影响度量，并讨论了与相关系数之间的关系．

简介：利用双轴精密离心机能产生不同加速度的特点,研究了在不同加速度半径的球面上选取测试点,应用D-最优准则辨识加速度计数学模型参数的方法,能辨识出加速度计数学模型的全部参数,解决了加速度计在转台上测试时由于信息矩阵降秩而不能辨识出模型全部参数的问题.

简介：研究丁一类具logistic增长率的SIS传染病模型，得到持久性与概周期解存在以及全局一致渐近稳定的充分条件。

简介：讨论动态Ｍ／Ｍ／１排队模型，运用半群理论证明了该模型存在唯一的正解，并研究了相应算子的谱特征．

简介：应用线性算子的积分群理论证明M/M^B/1排队模型的时间依赖解的存在唯一性，其次推出M/M/1排队模型的时间依赖解的存在唯一性。

简介：以水簇模拟水环境介质，水体中有机污染物的分子状态用水－有机污染物分子复合体模拟，得出有机污染物在水环境介质中微观分布的数学表达式，经过微观动力学方法处理，得到了相应的数学解析式。用ａｂｉｎｉｔｉｏ方法ＳＴＯ－３Ｇ基组计算了４个多环芳烃在水中的微观分布情况，计算结果与辛醇－水分配系数的实验值相吻合。

简介：本文考虑了时值及通货膨胀率下,部分短缺量拖后的变质性物品最优订购问题.在假定变质率为常数和短缺期间损失率与实际缺货量成正比的前提下,给出了寻找最优订购策略的算法,并且证明了在该策略下费用函数取得最小值.最后给出数字实例以说明本模型及求解过程.

简介：本文讨论总人口规模变化和带接种疫苗的年龄结构肺结核传染病模型,给出了该模型增值数的显式表达式(R)(ψ,λ)(λ为非病染人口的增长指数),证明了若(R)(ψ,λ)＜1,则无病平衡态是线性稳定的,若(R)(ψ,λ)＞1,则无病平衡态是不稳定的.

简介：Bhattacharyya和Soejoeti(1980)对步进应力加速寿命试验提出损伤失效率模型(TFR模型).本文针对TFR模型,对两参数Weibull分布,在步进应力加速试验下给出了参数的近似极大似然估计和逆矩估计,并通过Montr-Carlo模拟考察了估计的精度,比较了各估计的优劣.

简介：等离子体的辐射不透明度和状态方程是工程物理中的重要参数，这些物理参数取决于等离子体内大量离子的统计行为。由于高温稠密等离子体内的离子类型多达百万，一般只能用平均原子模型进行模拟。当计算轻元素稀薄等离子体原子结构时，平均原子结果与实验有一定的偏差，而此时等离子体内离子类型数目有限，正是细致组态模型适用的情况。标准的Saha方程需要孤立离子的能级，计算孤立离子结构的程序很多。当然，这些离子能级还可从实验获得。但是，标准的Saha方程使用的能级不含等离子体背景效应，能级数会发散。为了消除该缺陷，Saha方程中引进了等离子体背景修正。