一种用于UAV辅助蜂窝网络的基站对无人机群的安全认证协议

由于采用无线通信,基于无人机应用易受安全攻击。与蜂窝基站建立信任是增强无人机网络抵御安全攻击的有效措施。由于无人机的资源受限,传统的信任机制并不适用。提出基于最优路径的可扩展安全认证协议（scalable security authentication protocol based on optimal path,SCOP）。SCOP协议利用Christofides算法构建最优路径,基站再依据此路径传输组合的认证消息,降低认证开销。同时,SCOP引用物理不可克函数和简易加密操作,确保物理层安全,降低无人机端的计算开销。通过BAN逻辑证明了SCOP协议的正确性。性能分析表明,相比于同类的认证协议,提出的SCOP协议降低了认证开销,减少了无人机端的运算时间。     

部队作战效能综合评估法

高技术条件下局部战争的显著特点是参战单位多、对抗关系复杂、战争不确定因素增加,如何在此情况下客观评估部队的作战效能是作战研究领域一个重点和难点。通过综合运用定性分析法、网络分析法、战斗效能指数法、作战模拟及系统动力学等多种方法和理论,建立了一种可对部队作战效能进行评估的综合评估法。并以高技术条件下岛上进攻作战中装甲团的作战效能评估为例,详细介绍了该方法的实施过程,认为该综合评估法是行之有效的。     

两个有关矩阵问题的回答

讨论了两个与矩阵有关的问题。对问题 1 ,给出了其阶数从 1到 5时的回答 ;对问题 2 ,给出了其彻底的否定回答。所获的结果许多情形下还可推到更广泛的情形。     

一种基于模糊可靠度确定雷达故障检测间隔期的方法

将雷达装备参数漂移的动态范围模糊化 ,并基于数理统计中参数估计的理论 ,建立了雷达装备的参数模糊可靠度预计模型。把该模型应用于确定雷达电参数的故障检测周期 ,并通过实例论证此方法的优越性和实用性。     

基于分形几何的信号特征提取技术及其应用研究

针对分形客观展现事物原貌的特点 ,从工程应用的角度分别对信号的分形性验证、有效分析区间的确定、分形性描述和刻画、设备状态的趋势分析等方面作了探讨 ,形成了基于分形几何的信号特征提取技术 ,并描绘出基于分形几何的设备故障诊断模式     

相关维经典计算方法的修正

通过对洛伦兹 (Lorenz)方程生成的混沌奇怪吸引子的分析计算 ,指出了相关维经典计算方法中存在的问题 ,进行了修正改进     

信任函数理论在仿真评估中的应用

将信任函数理论应用到了仿真结果评估问题中,给出了总体仿真结果的信任函数和信念区间的计算方法。对仿真结果的真实性评估具有一定意义。这种思想和算法可推广应用到其它各种不确定性推理决策问题中去。     

空间飞行器的姿态和扰动抑制控制器设计

针对存在参数不确定性和外部非线性系统干扰的刚性空间飞行器,采用Rodrigue参数描述的飞行器姿态模型,利用自适应控制方法处理了转动惯量矩阵中的参数不确定性;基于输出调节理论,设计了一个动态补偿器来估计外部非线性系统产生的干扰信号,结合Lyapunov稳定性分析方法设计了自适应状态反馈控制器。通过数值仿真可知,空间飞行器系统状态全局渐近稳定,设计的非线性内模可完全估计外部非线性干扰,验证了控制器的有效性和可行性。     

一类非线性反馈系统的自适应输出调节

研究了一类不确定非线性系统的全局鲁棒性输出调节问题。通过调节器的拓展方程可解性的假设,来建立非线性的内模,估计非线性未知外部扰动系统,从而将输出调节问题转化为镇定问题;结合Lyapunov函数和自适应理论来设计控制器,解决一类非线性输出反馈系统的输出调节问题。最后,仿真结果验证了所设计的控制器的有效性。     

基于反正切函数的测试性分配方法

针对现有主流测试性分配方法存在的分配指标过低和过高等不合理问题,分析认为其根源在于现有方法采用线性分配函数,而该函数不符合测试性指标提升规律,为此,构造了一种基于反正切函数的测试性分配函数,设计故障检测率与故障隔离率指标的分配算法,开展案例应用并与经典故障率分配法和综合加权分配法进行对比分析,结果表明随着分配权重(故障率)的变大,本方法分配指标的增幅逐渐减小,不会出现极低指标和超1指标的不合理情形。