摘要：软件验证是保证核电软件质量的必经步骤之一,基准题验证是核电软件验证的一种重要手段.基准题的数据来源主要是通过自主实验、收集核电厂运行数据、加入国际实验研究计划和购买国际基准题的数据等传统方法获取,但是存在成本高,周期长的问题.为了给堆芯稳态核设计程序验证测试提供更多的验证基准题,本文基于蜕变测试原理提出一种基准题衍生技术,该技术首先建立基准题衍生框架,主要思想是根据蜕变关系的参变量及关系式,直接对原始基准题的相关输入和输出参变量进行计算求解,得到衍生基准题(新的测试用例).再者,针对基准题以固定格式输入卡的形式实现待测程序数据输入的特点,为了提高衍生效率,设计基准题自动衍生算法,开发基准题自动衍生工具系统.最后,以堆芯稳态中子扩散程序的二维、三维基准题的衍生为实例展示.结果表明,该技术可自动地实现单个或者批量生成二维,三维衍生基准题.不但生成数据准确、效率高,而且比传统的方法成本低.

摘要：在分析知识推理型与数据学习型兵棋人工智能(artifical intelligence,AI)优缺点的基础上,提出了基于知识牵引与数据驱动的AI设计框架。针对框架中涉及的基于数据补全的战场态势感知,基于遗传模糊系统的关键点推理,基于层次任务网的任务规划、计划修复与重规划,基于深度强化学习的算子动作策略优化等关键技术进行深入探讨。结果表明,所提框架具有较强的适应性,不仅能够满足分队、群队、人机混合等兵棋推演的应用需求,而且适用于解决一般回合制或即时策略性的博弈对抗问题。

摘要：以无人机(UAV)为代表的无人系统分布式集群作战是未来战斗力的增长点,集群态势感知是集群作战的重要环节。该文在典型态势感知模型的基础上,从理论模型、态势感知一致性、评价方法等方面,对无人机分布式集群态势感知展开研究。将基于动态系统的Endsley1995态势感知(SA)模型中的心智模型修改为人机智能模型,得到无人机个体的态势感知模型;基于团体SA和分布式SA(DSA)理论,按照无人机集群类型,分别设计同构和异构无人机集群SA模型;对无人机集群SA中的一致性问题和评价问题进行分析,给出同构无人机集群SA的一致性形成过程,异构无人机集群SA的一致性判断方法和无人机集群SA评价方法的选择流程。分析表明,建立的集群态势感知模型符合集群协同作战特点,有一定的积极意义。

摘要：无人机集群协同态势感知一致性是影响集群协同决策控制的重要因素,已有集群态势感知研究集中在多传感器态势数据融合,对态势感知一致性的讨论不充分,本文对集群协同态势觉察一致性评估方法进行设计.结合集群协同作战特点,分析集群协同态势感知一致性;建立集群协同态势觉察一致性评估模型,指出态势觉察一致性的可用情况;考虑战场信息的不确定性、指标的相关性等因素,提出基于非线性处理和指标变权的区间数形式下的态势觉察一致性计算方法.分析表明,与基于组合赋权的方法相比,本文方法在表示精度、差异度等方面有较好表现,可用于集群协同作战仿真和集群系统优化设计等研究.

摘要：针对双轴旋转捷联惯导系统自标定旋转路径和旋转调制方案不一致的问题,48次序一体式方案将标定路径和旋转调制方案融合,减小了实际操作的复杂性,提高了导航精度。为减少48次序方案的冗余次序,进一步增强旋转调制效果,提出了一种改进的40次序一体式旋转方案。所提方案不仅能同时实现自标定和旋转调制功能,而且由惯性器件安装误差引起的数学平台姿态角误差小于传统16次序方案,对零偏误差的调制周期短于48次序一体式方案。基于奇异值的可观测度分析及仿真和实验结果表明,40次序方案的标定结果更接近真实值,经过旋转调制后的导航误差更小。在3天的导航时间内,所提方案的速度精度和位置精度相比于48次序一体式方案分别提高了20%和12%。

摘要：随着战争复杂性的不断提升,目标排序模型必须能够从体系的角度出发,对战场中的异质目标进行综合排序,并满足动态、对抗、可进化的要求.首先基于相依网络理论,从对抗的角度出发,综合考虑敌我双方的能力构建目标体系;然后,提出两阶段的目标排序算法,实现了对作用于不同空间的异质类目标的动态综合排序;最后,设计面向历史对抗数据的目标体系权值调整算法,确保了目标排序模型的适应性.通过在某战役级兵棋系统进行实验并与人类指挥员的经验数据对比验证了所提出模型的有效性.

摘要：针对现有行人属性识别方法模型复杂,识别性能较低的问题,提出一种端到端的行人属性识别方法。构建注意力机制修正网络,在主干网络的不同卷积层后添加注意力分支,以提取注意力特征关注属性相关空域;提出一种注意力机制辅助训练方法,将注意力分支与主网络在预测级进行损失融合,通过梯度反向传播修正主网络权重,实现主网络的有效训练;在预测阶段,利用权重修正后的主网络实现属性识别。在RAP数据集上的实验结果表明,提出方法在没有额外辅助信息、不增加主网络体积和计算量的情况下,提升了行人属性识别性能。

摘要：针对水下机器人集群通信平台在实际运用中存在多普勒效应、易受水质和障碍物等影响产生误码的问题,提出一种基于弱电鱼感知机理的水下仿生电场通信系统。该系统根据仿生电流场通信原理,通过两对发射接收电极传递信号,设计了一套基于幅移键控原理的现场可编程门阵列(FPGA)数模混合电路。首先,为实现平台低功耗及小型化,模拟电路通过合理选型并进行画板制版,具体的发射电路包含幅移键控调制电路以及半桥驱动放大电路,采用低零漂高精度仪表运放提取接受电极两端电势差;其次,为了提高水下机器人集群通信距离实时变化时通信系统的稳定性,通过FPGA增益控制数字电路控制可编程放大器实现自适应倍数放大;然后,采用FPGA模数转换数字驱动电路驱动模数转换芯片将模拟信号转换为数字信号;最后,通过整流滤波数字电路整流后设计幅移键控非相干解调数字电路输出二进制数据流后由串口电路传输至树莓派中进行数据处理。仿真分析了不同尺寸不同形状障碍物对水下电场通信影响,并进行水下通信实验,结果表明:在淡水中电导率为4.87×10^(-4)S/cm条件下,所提出的水下电场通信系统可实现通信距离为2.4 m时误码率为0,且水下电场通信收发电极平行时,通信性能最佳。

摘要：为了提高蛋形深潜器耐压壳的材料利用率及安全性,对蛋形耐压壳的厚度进行了优化设计。首先,建立了等厚度蛋形耐压壳有限元计算模型,分析了耐压壳的应力分布特征;然后,采用零阶优化方法在保持结构重量及容积不变的条件下改变耐压壳的厚度,并给出了优化后的耐压壳内外表面曲线拟合方程用于实际耐压壳的优化设计;最后,对比分析了蛋形耐压壳结构优化前后的最大应力值、应力分布以及屈曲强度,验证了优化后的耐压壳结构具有更好的安全性。该方法可为深潜器耐压壳结构的优化设计提供参考。

摘要：针对工程中常规雷达波形存在距离旁瓣高、抗截获性差、多普勒容许性差等问题,本文借鉴噪声波形与线性调频(linear frequency modulation,LFM)波形联合思路来探测非合作动目标,即约束波形恒模条件下,利用相位尺度因子来考虑LFM波形与噪声波形的相位部分,构造恒模化的LFM-噪声复合波形;进而在模糊函数图及主优化算法(majorization-minimization,MM)体制下利用先验知识映射模板实现对特定距离-多普勒区间的波形优化,将该二维旁瓣抑制问题分步转化为多维求解问题,通过选取两次逼近函数来逼近原优化问题的解域,并在算法的每一次迭代中加入级联松弛-缩放步骤、相位校正步骤,使之加快算法迭代收敛效率,获得波形兼具低旁瓣、低截获及多普勒容许性。仿真表明:所提基于相位修正的松弛加权MM复合波形设计算法收敛迅速,相比常规算法具有明显的性能优势。