机动目标模型的研究进展

回顾了近年来机动目标模型的研究与发展;重点分析讨论了Singer模型、"当前"统计模型、自适应当前输入统计模型、Jerk模型及坐标转弯模型的优缺点,指出了各个模型的局限性,并得出有意义的结论;最后指出了机动目标模型研究的难点及未来的研究方向.     

具有随机扰动的SISV模型的解的渐近性态

研究一类具有两种随机扰动的SISV传染病模型．对于第一种随机SISV模型,证明对任给的非负初值,该随机模型一定存在唯一的全局正解,并讨论该随机模型的解围绕确定性模型的无病平衡点的渐近行为;对于第二种随机SISV模型,通过构造适当的Lyapunov泛函证明该随机模型的解是随机渐近稳定的．     

具有偏好系数允许卖空的投资组合模型解存在的条件

在投资组合各种模型中，具有偏好系数的投资组合模型是最重要的模型之一，对其求解的研究具有理论价值。本文利用矩阵分块理论对此模型进行了研究，并给出了此模型解存在的一个充分条件。     

基于灰色非线性回归模型的故障预测

为克服传统灰色模型的局限性,通过对一阶累加生成序列规律性的分析,将灰色模型和非线性回归模型相结合,构造了一种灰色非线性回归模型。实例仿真结果表明,该模型既拓展了传统灰色模型的适用条件,又比传统灰色模型和非线性回归模型具有更高的预测精度,且适用性广。     

基于ExtendSim的系统可靠性建模

针对传统可靠性仿真模型建模繁琐,编程困难的问题,建立了基于Ex tendS im的可靠性模型,即串联、并联、旁联模型,相比传统方法具有建模直观、调试方便等优点,并以某混联系统为例与解析模型进行了对比验证,仿真结果表明,建立的可靠性模型是可信的,且此模型不依赖于单元寿命分布,相比解析模型具有更强的适应性。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

基于组件的CSCW系统协作多用户界面模型

简要阐述了研究协作多用户界面模型的必要性,介绍并分析了几种传统的用户界面模型,提出了协作多用户界面的结构模型,重点阐述了协作多用户界面结构模型的建模原则、模型组成以及界面模型中各个组件间的关联,分析和比较了传统用户界面模型与协作多用户界面结构模型的不同。     

流编程模型下的存储一致性模型

在流编程模型下建立了一个新的存储一致性模型--流一致性模型,它比传统的释放一致性模型更加松弛.讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂.     

NRLMSISE-00大气模型的分析和验证

为将NRLMSISE-00仿真模型用于近地航天器定轨预报,介绍了NRLMSISE-00大气模型及其相对于Jacchia系列模型的优势,设计了基于预测性验证的模型检验方法,检验了NRLMSISE-00仿真模型的一致性,对比了NRLMSISE-00模型和Jacchia-70模型对近地轨道定轨预报程序预报精度的影响。结果表明:NRLMSISE-00模型具有更高的预报精度,该检验方法对解决仿真模型的检验验证问题具有参考作用。     

机动目标跟踪Jerk模型的改进

Jerk模型是Singer模型的改进模型,它提高了对机动目标的跟踪精度,但延长了从起始跟踪到稳定跟踪所需时间.提出一种对Jerk模型的改进,选取一个合适的分段点,初始段采用四维扩充的Singer模型,分段点后采用Jerk模型,通过调入不同的参数就可以实现跟踪模型的转换,仿真结果表明改进的Jerk模型到达稳定跟踪的时间缩短,并且跟踪精度不受影响.     

分布参数管道的一种改进的小分段数有限元模型

在分段数为１和２时，现有有限元模型的一阶谐振频率比一维分布参数模型的一阶谐振频率低许多，因而其适用的频率范围较低，计算精度较差。本文提出了一种改进的小分段数有限元模型，通过修正流体管道的并联导纳使分段数为１和２时的有限元模型的一阶谐振频率与一维分布参数模型一致，从而提高了其使用的频率范围和计算精度。利用单根管道阀门关闭的水击问题的仿真计算对改进模型的效果进行了验证。在分段数为２时，原有的有限元模型的计算结果与分布参数模型的计算结果相差较大，而改进后的模型的计算结果与分布参数模型的计算结果基本一致。     

坦克CGF炮长操作过程的可视化仿真

通过对坦克计算机生成兵力模型的内部操作行为进行视景仿真的必要性进行分析,建立了坦克计算机生成兵力模型内部操作行为的视景仿真模型。该模型以坦克内部炮长岗位为视点,实现了坦克计算机生成兵力模型各种射击操作的可视化。该视景仿真模型与同类型人在回路的仿真模型有着相同的视景仿真效果。通过该模型可以看出计算机生成兵力模型的状态变化过程和操作过程,仿真过程更加直观,仿真结果可信度更高。     

基于ARMA-BP组合模型的装备故障率预测方法

为解决单一模型预测装备故障率预测误差大、精度低的问题,提出了一种基于ARMA-BP组合模型的装备故障率预测方法.在建立ARMA模型和BP神经网络模型的基础上,采用加法集成法建立ARMA-BP组合预测模型,并利用方差倒数法确定ARMA模型和BP神经网络模型的权重系数.以某型装甲装备故障率数据为研究对象,对比ARMA模型、BP神经网络模型和ARMA-BP组合模型故障率预测结果,表明:相比于单一预测模型,ARMA-BP组合模型的装备故障率预测结果精度更高.     

加拿大山猫数据的几种时序模型分析

本文利用四种时间序列模型,即自回归模型、组合模型、疏系数自回归模型、门限自回归模型,分别对时间序列分析中一组有名数据,即加拿大山猫数据,进行模型拟合,并对得到的四个模型及预报结果进行了分析和比较。     

前传协同制导交接环节的导弹指示信息的解算

针对协同制导交接时的导弹指示问题,利用坐标变换及时空配准等方法,通过对协同信息处理设备的讨论以及导弹指示信息解算模型的分析,建立了平面解算模型与椭球面解算模型两种坐标变换解算模型.对两种模型的求解方法分别进行了说明.对各种模型的解算效果进行了仿真计算及比较分析.所得模型及解算方法对协同制导作战有一定的理论和实践意义.     

基于SARIMA-SVM组合模型的战时军用物资需求预测

针对战时非平稳、非线性环境下预测难题,利用季节性差分自回归移动平均模型(SARIMA)和支持向量机模型(SVM)分别对线性和非线性时间序列的较强拟合能力,采用SARIMA对军用物资需求量时间序列数据进行线性建模,并用SVM对SARIMA模型残差进行非线性建模,将SARIMA模型与SVM模型组合对战时需求进行预测,结果表明,SARIMA-SVM组合模型预测精度明显优于单一模型,发挥了两种模型各自的优势,与滑动平均模型(MA)相比更具优势.该组合模型是切实可行的,可为战时军用物资供应提供决策依据.     

基于元模型的可执行体系结构建模方法

可执行模型是进行体系结构分析的一种有效方法,但是现有可执行建模方法都是利用部分视图模型转换得到可执行模型,无法充分发挥以数据为中心方法的优势,并且由于视图模型的半形式化特性,无法确保可执行模型转换的一致性。为了弥补现有可执行建模方法的不足,提出了DoDAF元模型向着色Petri网转换的可执行建模方法,通过分析DoDAF元模型之间的内在关系及其在可执行建模中的作用,建立了DoDAF元模型与着色Petri网的语义映射矩阵及模型转换的详细步骤。     

基于记忆有理函数的功率放大器行为模型

针对功率放大器的非线性特性及记忆效应,提出了一种基于记忆有理函数的功放行为模型。在传统记忆多项式模型和无记忆有理函数模型基础上,构建记忆有理函数模型,并利用共轭梯度法辨识模型系数,同时比较不同记忆深度和不同非线性阶数下的归一化均方误差,获取最佳记忆深度和非线性阶数。采用多载波的WCDMA信号和MRF6S21140H功放来验证模型的有效性,并与记忆多项式模型、无记忆有理函数模型进行了比较。结果表明,记忆有理函数模型在减少系数数目的同时具有更好的逼近精度。     

基于选择准则的参数模型评价方法

为评价参数模型的优劣,分析了模型信息量与数据被模型拟合后的残差信息量之间的关系,提出了综合考虑模型拟合残差大小、残差信息量与参数数目的一种模型选择的新方法RIA。结合RIA方法,定义了时序模型评价的一种准则,并以航天测量数据处理为例,说明了不同模型在工程实际中的不同表现和本质区别的意义所在。     

用于机动目标跟踪的自适应交互式多模型算法

针对当前统计模型对弱机动或非机动目标跟踪效果不理想等问题,提出了一种修正当前统计模型与匀速模型的自适应交互式多模型算法,可在线修正当前统计模型的加速度极限值,调整过程噪声方差,提高了当前统计模型的自适应性。同时,通过在常规匀速模型中引入机动检测机制,抑制了常规匀速模型对机动目标跟踪的滤波发散,通过引入强跟踪算法,增强了模型对目标突发机动的自适应跟踪能力。仿真结果表明,该算法充分发挥了当前统计模型和交互式多模型算法的优势,对强机动和弱机动目标都具有很好的效果。