非线性滤波的迫近

本文研究动力学系统状态的估计问题。文中给出了非线性估计的两种迫近方法,一种是运用正态迫近的Gram-Charlier级数展开方法;另一种是二阶截断统计迫近方法。为了便于计算,文中给出了递推形式的近似解。人们常用的广义Kalman滤波方法及统计线性化方法仅为本文的特例。     

含控制相关的循环并行执行

文中定义了在当代向量计算机上可高效实现的merge与pos函数,提出利用二函数消去do循环中forward—if与search—if的方法。本文讨论了向量化forward—loop的一般性方法并引入封闭子图的概念,给出一种简化语句执行条件的途径。     

具有射击门的压制火炮命中与毁歼概率分析

以具有射击门的压制火炮武器系统为研究对象,在正态射击误差的假设下,以正态误差方差的分布理论为工具,给出了随动误差在射击门内外方差的分布状态,在此基础上导出了射击门体制下随动误差的密度函数,在没有引入近似公式与经验数据的条件下,给出了此类武器系统弹药的命中概率与一次发连射下的毁歼概率表达式。为论证、设计、测试上述概率提供了理论工具。     

支持向量机动态多分类方法

针对支持向量机分类中存在盲区的问题,在分析多分类支持向量机构建方法的基础上,采用二叉树支持向量机,通过类型知识库动态更新,建立了二叉树支持向量机动态多分类模型;选取径向基函数作为核函数,给出了提高多分类模型性能的核参数和惩罚因子寻优遗传算法;以卫星整流罩空调系统表冷器控制单元为仿真实验对象,建立了传感器偏置故障、漂移故障、完全故障和精度下降故障的多分类模型,验证了提出方法的有效性。     

可分椭圆型偏微分方程的 FACR(L)算法及其并行实现

文中就解Dirichlet 边界条件的Poisson 方程给出了FACR(L)算法及其并行实现过程,讨论了FACR(L)算法的计算复杂性,给出了针对向量机YH—1的算法的参数L 的优选公式,在YH—1机上得到了较为理想的,数值试验结果。     

一类非正态误差下的AR模型定阶研究

对一类非正态误差的AR模型，在待定阶数P的情况下，给出误差项中未知实函数依概率有界的定理，可把非正态误差转化为正态情况。最后运用正态误差下AR模型的方法确定阶数和参数，并给出一个算例。     

非线性系统 Hammerstein 模型辨识

本文利用差集理论设计的输入信号。辨识了Hammerstein模型的脉冲响应函数,并进一步得到了非线性部分多项式的系数。本文得到的公式简单,辨识结果依概率收敛于真值。文中给出了仿真结果。     

垂直行程差的数学分析

本文论述了垂直行程差的定义,利用概括的矩阵分析方法推导出垂直行程差的通用计算公式,同时给出了特定条件下的计算公式与简化计算公式,文中分析了各种近似计算公式的计算精度,研究了垂直行程差函数的图象特点。     

一类三对二随机格斗的获胜概率

随机格斗从一对一格斗模型出发,逐步向更多数量的格斗发展,研究三对二随机格斗战斗模型,假设格斗开始时A方有三件武器,B方有两件武器,所有开火都是独立的,利用状态概率分析方法和向后递归方法,给出了集火射击情况下双方获胜概率的计算公式,该公式适用于一般分布,公式中主要包括毁伤时间的密度函数和余分布函数,并对射击间隔时间服从负指数分布的情形进行了模拟分析。     

基于Solidworks二次开发的两栖车辆浮态设计及静稳性分析

建立了描述车辆姿态向量和重力向量的两个坐标系,研究了姿态向量与坐标变换之间的关系,根据Solid-Works提供的函数,利用二分法求解了给定姿态下的浮心位置;以浮心计算为基础,通过对车辆的受力分析和运动分析,确定了车辆浮态的计算方法;利用SolidWorks的API函数进行二次开发,形成了计算静稳性的程序,并进行了实例计算。结果表明：与传统的作图法相比较,该方法计算结果更精确,计算速度更快。     

误差函数与炮兵简化拉普拉斯函数计算

给出了误差函数与炮兵简化拉普拉斯函数的关系,分析了误差函数各种计算方法如级数展开法、不完全伽马函数法和近似计算公式的优缺点,讨论了用误差函数计算公式进行炮兵简化拉普拉斯函数计算的方法,最后通过误差函数导出了炮兵拉普拉斯函数一个新的近似公式。     

向量值奇异积分方程的直接解法

本文给出了向量全纯函数的联接边值问题,在能表成分片全纯的向量值柯西型积分的函数类中的直接解法.     

可靠性综合中正态信息折合为二项信息的方法

通过Bayes近似法、Fiducal法、经典近似法研究了可靠性综合中单元信息之间的折合。给出了正态信息折合为二项信息的实用公式,为解决复杂系统的可靠性综合提供了近似算法。     

空中目标威胁评估技术

对空中目标进行威胁评估是防空C3I数据融合系统中非常重要的一个模块,威胁评估准确程度将对防空作战的结局产生重大影响。文中首先构建了威胁评估的指标体系,基于模糊隶属函数对各指标进行了量化处理。然后在分析威胁隶属度构成的向量满足比较序列的前提下,应用灰色关联度分析对空中目标进行威胁评估与排序。最后给出了一个实例,得到的结果与专家群体评议后的结果完全一致。     

一类广义L-统计量的极限分布

假定(X1,Y1),(X2,Y2),…,(Xn,Yn)是取自二维随机向量(X,Y)的独立同分布样本.记X(1)≤X(2)≤…≤X(n)是X1,X2,…,Xn产生的次序统计量,Y[1],Y[2],…,Y[n]是诱导的次序统计量.讨论广义L-统计量Tn=n-1 n∑i=1 J(i/n+1)Y[i]的极限分布,式中J(x)是由实际问题的需要而选取的权函数.在较弱的条件下,证明了Tn的渐近正态性,同时给出了Tn的期望和方差的渐近公式.     

广义原函数与广义不定积分

本文利用积分限函数定义了可积函数的广义原函数与广义不定积分,并给出了用广义原函数计算可积函数定积分的公式.     

时延数字控制系统最优控制问题的离散正交多项式解法

本文利用一般的离散正交多项式研究了具有2s个时延项离散系统的最优控制问题。文中导出了系统状态和控制向量离散正交级数展开式中系数向量间的关系,然后,将离散动态系统的最优控制问题转化为直接对二次型性能指标中一组系数向量的参数优化问题,并由一组线性代数方程给出了这组最优系数向量的解。最后,还介绍了一个数值例子。     

噪声统计的Bayes 极大验后估计与系统自适滤波

对于具有测量的线性离散系统,在系统动力学噪声与测量统计特性未知的情况下,本文推导出了噪声统计特性在具有正态－逆Ｗｉｓｈａｒｔ分布验前信息情况之下的Ｂａｙｅｓ极大验后（ＭＡＰ）估计及其实时迫近,从而获得了系统的自适应滤波     

基于GA-SVM的装备保障设备报废技术鉴定方法

为提高装备保障设备报废技术鉴定的准确性,提出了一种基于支持向量机的报废技术鉴定方法.分析了报废技术鉴定主要特征,并给出了各特征的量化和预处理公式.介绍了支持向量机基本原理,并引入遗传算法对支持向量机的惩罚参数和核参数进行寻优.算例验证结果表明,与常见分类算法相比,基于高斯核的支持向量机在装备保障设备报废技术鉴定中,训练时间更短、分类精度更高.     

关于半鞅向量随机积分的一个注

建立了半鞅向量随机积分的一个结果,能方便处理可料过程在向量随机积分意义下对半鞅的分解随可料过程不同而不同的问题.作为其应用,给出了有关文献中定理的简洁证明.并利用其思想,得到了半鞅向量随机积分的一个重要性质.