基于纯方位信息的目标跟踪线性修正模型?

在基于几何关系的纯方位航迹不变量信息处理过程中,对非线性模型进行细致分析,提出了线性修正模型,在处理问题时更加清晰、可靠,减小了大量的计算和计算误差,使纯方位信息的非线性处理实用化。     

面向复杂几何模型的多级并行四面体网格生成算法

高性能计算机的快速发展为数值模拟提供了必需的硬件环境,数值模拟领域对网格的需求已高达数十亿到数百亿量级,而网格生成作为数值模拟的重要一环,其发展则相对滞后,很难满足并行数值模拟求解器对大规模网格的需求.本文面向复杂几何模型提出一种多级并行四面体网格生成算法,该算法首先基于模型的几何特征建立网格的尺寸场,并基于尺寸场和几...     

关于(S)_+型映射的一个区域不变定理及其应用

本文运用拓扑度方法,获得一个关于(S)_+型映射的区域不变定理。作为它的应用,本文得到了扩张映射的满值性,从而部分地回答了著名数学家L.Nirenberg提出的一个关于扩张映射满值性的公开问题。     

Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。     

SPH并行计算方案及其在自由表面流动模拟中的应用

针对光滑粒子动力学主要计算量是近邻粒子搜索这一特点,提出了一种基于粒子分解的光滑粒子动力学并行计算方案。利用该方案可以方便地将任意串行光滑粒子动力学代码并行计算,而且每一个时间步内的信息传递量只和粒子总数有关,而和粒子的分布无关,因而特别适合于自由表面流动等大变形问题的并行数值模拟。对一个粒子总数为40万的三维溃坝问题的模拟结果表明:此方案能达到的最大加速比约为16,这一结果可能比空间分解方案(不考虑动态负载均衡)更优。     

圆柱壳振动声辐射Jacobi-Ritz时域半解析法及特性分析

针对圆柱壳结构瞬态声振特性分析研究不足,结合Newmark-β积分法和Kirchhoff时域边界积分方程,提出一种圆柱壳受迫振动声辐射Jacobi-Ritz时域半解析法。基于一阶剪切变形理论和微元法思想,建立了圆柱壳振动声辐射分析模型,采取Jacobi多项式和Fourier级数表示轴向和周向位移容许函数,基于Rayleigh-Ritz法和Newmark-β积分法计算圆柱壳的受迫振动时域响应,在此基础上,基于Kirchhoff积分方程求解辐射噪声时域响应,分析圆柱壳受迫振动声辐射特性。与有限元方法/边界元方法数值结果对比表明,该方法具备收敛性好、精度高等优点,圆柱壳结构声振响应峰值随边界条件的刚度变弱存在左移现象,振动声辐射响应随厚度的增加呈现下降趋势;当随机载荷峰值频率与结构固有频率接近时,结构声振响应出现强特征线谱。     

面向通信信号调制识别的半监督生成对抗网络框架

针对只有少量标签数据的弱监督条件下现有调制信号识别模型准确率较低的问题,提出基于生成对抗网络的半监督学习框架。该方法通过对通信信号进行冗余空域变换,使其在适应生成对抗网络模型的同时保留丰富的信号相邻特征;通过梯度惩罚Wasserstein生成对抗网络的引入,构建适宜电磁信号处理的半监督学习框架,实现对无标签信号样本的有效利用。为了验证所提算法的有效性,在RADIOML 2016.04C数据集上进行测试。实验结果表明,该方法在半监督条件下能训练出高效的分类器,获得优异的调制识别结果。     

战场威胁态势的认知域可视建模

分析已有战场威胁态势的相关研究成果。研究了战场威胁态势的威胁因素的AHP建模,提出了针对认知域的权重和威胁程度混合渲染法,并给出具体实例。实例表明所建模型的有效性和实用性。     

指控领域模块化本体开发方法

部队指控系统的广泛应用对指控训练提出更高要求。仿真系统开始越来越多地应用于训练中,为之提供真实的指控训练环境。部队模拟训练系统中实装指控系统与基于仿真的训练支撑环境的互操作性问题是一个急待解决的问题。指控领域本体用于对实装指控系统与基于仿真的训练支撑环境间命令、请求和报告等交互信息进行形式化语义描述,解决二者在语义层次的互操作性问题。指控领域模块化本体开发方法对现有开发方法进行了改进,更加符合本体构建原则,主要体现在指控领域模块化本体的量化评价和指控领域本体模块的集成这两个方面。     

二阶非线性常微分方程组边值问题的正解

研究一类二阶常微分方程组两点边值问题,利用Krasnoselskii’s不动点定理,得到当f和g满足超线性或次线性时边值问题一个正解存在的充分条件.