Smalltalk-80 的形式语义研究

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

小波理论的单脉冲雷达目标RCS特性测量

随着现代信号处理技术的发展,对非平稳信号分析和处理的小波分析技术已成功应用于雷达目标特性分析领域,大功率单脉冲雷达作为我国航天测控网当中的主干设备,具有一定的目标特性识别能力。主要针对目前靶场的现有装备,讨论了基于小波理论的单脉冲雷达空间目标RCS特性测量,并对窄带低分辨率雷达在未来空间目标识别中发挥其作用谈了作者的看法。     

一种基于灰色粒子滤波算法的机动AUV航深内测方法

本文提出了一种将灰色预测和小波变换与标准粒子滤波相结合的灰色粒子滤波算法（GPF）,并将其应用于机动AUV的航深内测。GPF针对机动AUV航深内测过程中由于AUV运动状态未知和测量噪声不断变化而导致的滤波失效问题,在粒子采样过程中结合了标准采样和灰色预测采样,保证了采样得到充分多的有效粒子。在计算粒子权重时,利用小波变换跟踪测量噪声统计特性的变化,提高了各粒子似然概率计算和权重分配的正确性。最后以外测法测得的高精度的机动AUV航深作为真实航深,对该GPF算法进行了实验对比验证,并与EKF和MMPF算法的结果作对比,实验结果表明了本文方法的有效性和实用性。     

作战任务总量的迭代收敛性

为降低作战任务的复杂度,提高任务执行效率,研究了作战任务总量及其迭代收敛问题.首先,采用图形和设计结构矩阵,阐明反导作战子任务的复杂联系.再引入任务转移矩阵建立任务总量模型,总结迭代收敛条件.最后,综合考虑资源和时间约束,规划子任务优先级并优化作战资源配置.结合实例分析了任务总量迭代收敛规律的可行性和有效性,为反导作战任务规划提供了理论指导.     

Establishment,simulation and verification of firepower safety control model

On a narrow warship platform, the coordinated use of shipborne weapon systems may cause firepower conflicts, which seriously endangers the ship safety. Meanwhile, with directed-energy weapons mounted on ships, firepower conflicts between weapons become a “high probability event”. Aiming at the problem of firepower safety control, based on the research about the collision probability model of air crafts and space targets and according to the cone of fire model of conventional weapons and directed-energy weapons, this paper solved the firepower conflict probabilities between conventional weapons as well as between conventional weapons and directed-energy weapons respectively using the methods of probability theory, and established the firepower safety control model. Then the calculation of firepower conflict probability was carried out using the dimensionality reduction method based on the equivalent conversion of polar coordinates and the power series method based on Laplace transform. The simulation results revealed that the proposed model and calculation methods are effective and reliable, which can provide theoretical basis and technical support for resolution of firepower conflicts between weapons.     

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

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

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

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

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

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

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

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

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

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