关于半鞅向量随机积分的两个结果

首先利用半鞅Girsanov定理与闭图像定理证明了:若{Xn}是带滤基的完备概率空间(Ω,F,F,P)中的一列半鞅,其中滤基F=(Ft)t≥0满足通常条件,且{Xn}在关于P的Emery拓扑空间中收敛于X,则当概率测度Q相似文献   

基于可穿戴设备的军校学员运动状态识别方法

为准确识别军校学员便步、齐步、正步、跑步、仰卧起坐、俯卧撑、折返跑等七类日常运动状态,提出了一种基于可穿戴设备的军校学员运动状态识别方法。该方法首先利用穿戴式加速度数据采集设备采集并分析学员运动数据,并根据预先设定的特征,对运动数据进行特征提取;然后,利用设置的相应阈值对数据特征值进行识别,判断出相应的运动状态;最后,对军校学员日常运动中的七类运动状态进行了实验验证。结果表明:所提出的方法可有效识别学员运动状态,具有较高的识别率。     

基于EML模型的备件库存优化方法

针对当备件重要度不同时METRIC模型无法再使用边际效应法及在有限的保障经费和仓库空间约束条件下的备件库存问题,建立了评价备件重要度的12个指标,并给出了备件重要度的求解步骤;以装备可用度模型为基础,结合备件重要度,改进了边际效应法;以仓库空间、装备可用度为约束条件,以保障费用为目标函数,给出了以改进的边际效应法求出备件库存配置方案的步骤;案例研究表明:采用EML模型可以在最大化利用约束条件、满足目标要求、重点照顾重要度高的备件,同时对重要度一般的备件也能兼顾。     

高超声速飞行器低可探测性滑翔弹道优化方法

为进一步提高高超声速飞行器的突防性能,提出高超声速飞行器低可探测性滑翔弹道优化方法。考虑飞行器180°×360°方向的雷达散射截面,针对原数据尖峰多、收敛难的难题,运用高斯滤波法对其进行预处理,既不改变原数据趋势又加以平滑,提高优化问题收敛性能。为使计算所用雷达散射截面数据具备较强的保真性,采用三次样条插值方法调用离散数据计算实时雷达散射截面。完成了高超声速飞行器低可探测性滑翔弹道优化问题的建模,以探测概率为目标函数,运用hp自适应Radau伪谱法优化求解,采用逐步计算策略进一步提高优化效率和收敛性能。与传统最短飞行时间弹道对比表明,该方法有效降低了飞行器被雷达发现的概率。     

贯彻落实《学生军事训练工作规定》 推动学生军训工作又好又快发展

教育部、总参谋部、总政治部颁发的《学生军事训练工作规定》,是学生军训工作领域的一件大事。在当前学生军训工作全面展开的大好形势下,《规定》的颁发非常及时,意义重大。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

纯方位目标运动分析的离散时间可观测性和可估计性分析

目前,纯方位跟踪(BOT)的可观测性分析仍然是重要的学术研究课题。与以前的连续时间分析研究不同,我们的研究依赖于离散时间分析。而且还允许我们直接而有效地使用简单的线性代数公式系。使用直接方法,可观测性分析实际上简化为子空间范围的基本研究。虽然这种方法在概念上是相当直接的,但随着源相遇情况复杂性的增加,它会变得越来越复杂。对于复杂情况,由于直接使用多重线性代数方法,对偶方法可能体现某些基本优点。因此得出关于机动源的BOT可观测性的新结果。继而可将可观测性分析扩展到源速度变化的未知时刻。 尽管可观测性分析使我们能更充分地了解BOT问题的代数结构,但观测者机动的最优化实际上是一个控制问题。基本代数研究证明这种控制问题的相关成本函数是费歇尔信息矩阵(FIM)的行列式。因此大部分工作集中在对这个成本泛函的分析上。使用多重线性代数给出了这个泛函的一般近似。这些近似结果表明最感兴趣的事仅涉及到直接可估计参数,即源方位变化率。用这些近似,可导出最优化观测者轨迹的一般框架,这允许我们近似最优控制序列。值得强调的是我们的方法不需要有关源轨迹参数的知识且对机动源仍然有效。     

基于Markov链的分布式仿真系统最佳检查点间隔研究

基于HLA的分布式仿真系统作为一类特殊的分布式系统,其容错一般基于回卷恢复实现,在回卷恢复中检查点间隔的不同会对系统性能产生很大的影响。分析了分布式仿真容错与一般分布式系统容错的异同,根据不同仿真进程对仿真结果的重要程度对其进行了分类,定义并利用Markov链分析了采用回卷恢复时分布式仿真系统的可用度,得到了系统最大可用度对应的检查点间隔的求解等式,通过一组试验数据验证了该最佳检查点间隔求解等式的正确性。     

矩阵对角化的一个充要条件

给出了矩阵可对角化的一个新的充要条件,在此基础上,给出了求特征向量的新方法。     

面向任务的导弹测试性需求分析与指标确定

针对当前缺乏科学合理的理论和方法确定导弹系统级测试性指标的现状,提出一种面向任务需求的测试性指标确定方法.将导弹任务剖面划分为贮存、出库、部署和发射四个阶段,并提出各个阶段相应的测试需求;分别建立基于贮存可用度、战斗准备任务成功率、部署战备完好率和发射任务成功率为性能要求的测试性需求子模型,给出各个性能指标与测试性参数...