面向GPU的非结构网格有限体积计算流体力学的图染色方法优化

采用图染色方法解决通量累加和局部最大压力计算引起的两种典型资源竞争问题,并通过共享内存的使用、体编号和面编号的重排、面数据的重排三种策略优化图染色方法。针对应用在空气动力学多种规模的三维网格,分别采用双精度和单精度操作数,在Nvidia Tesla V100和K80 GPU上,展开性能测试。结果表明:共享内存的优化效果不明显;体编号和面编号重排降低了图染色方法的计算性能;面数据重排可以有效地优化图染色方法;计算性能在V100上提高20%左右,在K80上提高15%左右。     

通信对抗中航母战斗群空中防御能力评估

以战术数据链为核心的通信系统是航母战斗群的作战指挥控制中枢,是航母战斗群快速反应能力及攻防协调发挥作战威力的基础和保证条件。在不同通信对抗条件下,航母战斗群的态势感知能力和协同作战能力都将发生很大变化,进而对其空中防御能力产生显著影响。考虑到态势感知能力及协同作战能力对空中防御能力的影响,从先敌发现概率、导弹杀伤概率以及毁伤概率3个方面研究了航母战斗群的空中防御能力,建立了相应的评估模型,并对模型进行仿真及结果分析。     

摩步师(团)反空袭作战空中威胁评估

运用定量和定性分析相结合的方法,对摩步师(团)战斗行动中面临的空中威胁进行了分析,提出了评估的方法和步骤,建立了评估模型,并结合实例对评估方法、步骤、模型进行了分析验证。实例计算表明,该方法的判断结果预见性好、可靠性强,对未来摩步师(团)反空袭作战有一定的现实意义。     

稳健局部线性嵌入方法

针对局部线性嵌入方法对于噪声的敏感性,从分析噪声对数据集局部特性的影响入手,提出了稳健局部线性嵌入方法。通过与局部线性嵌入方法的理论分析和实例对比,表明稳健局部线性嵌入方法不仅对噪声影响不敏感,而且对邻域的选择有较好的适应性,可更好地挖掘数据集的本征特性,具有更强的数据可视化能力。     

坦克分队战术仿真训练系统的设计与实现

分布交互式作战仿真系统通过网络把不同的模拟单元连接在一起,为受训人员提供虚拟的作战训练环境,系统的运行成本低,能提供比实战演习更多的训练环境和内容。为了满足我军坦克兵部队战术训练的实际需要,设计开发了坦克分队战术仿真训练系统。讨论了该系统的设计与开发,首先介绍系统的总体结构和功能,然后详细讨论系统具体设计和实现。该系统已推广部队使用,应用效果良好。     

火控系统最佳采样率问题的研究

先从滤波器和信号的频域特性出发给出了滤波器在频域的采样率匹配原则。第二部分从滤波器预测误差最小的原则出发导出了一组求解最佳采样时间的方程,并给出部分计算结果。第三部分提出了速度平滑处理法,解决了提高采样率引起的速度估计误差增大的矛盾。随后给出了典型航路下,综合各影响因素的模拟跟踪结果,并与“×型”指挥仪的跟踪结果作了分析对比。最后提出了针对不同空中目标的最佳采样率的建议     

高温超导层状势研究

本文对文献中提出的层状势作了较为深入的研究,作出了相互作用强度U与ω间关系的曲线,U与电子密度N_c~0间关系的曲线和U与铜氧层数l间的关系曲线。进而对层状势的微观机制——Cu-O层的有效哈密顿量进行了研究,得到了铜氧层的有效哈密顿量,讨论了空穴(附属费密子) 凝聚成库柏对的条件。     

融合可修性度量和双线学习的反导预案修正

对反导预案应用中基于预案推理的预案修正技术进行了研究,提出了一种新的反导预案修正方法。首先,在定义预案属性否决权和修正裕度的基础上,设计了一种考虑预案可修性的相似度计算方法;然后,以其为预案检索和修正规则学习的导向,融合离线预案库学习和在线实时学习策略,给出了预案修正规则的双线学习方法;建立了融合预案可修性度量和双线学习的反导预案修正模型,并对规则的归纳学习策略进行了研究;最后,进行了实例验证,结果证明了新修正方法的可行性和有效性。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。