AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.     

广义A-调和张量的反向H?lder型不等式

基于微分形式A-调和方程的反向Hlder型不等式,是研究其解可积性的重要工具。本文将A-调和方程推广到拟线性方程的情形,在一定的条件下获得方程解的反向Hlder型不等式,所得结果可以退化到经典的情形,为研究此类调和方程的正则性与可积性奠定了基础。     

Vega Prime与OpenGL飞行控制系统可视化仿真平台设计

提出了一种通用的飞行控制系统可视化仿真平台的设计方案。阐述了Vega Prime开发平台与OpenGL相结合的关键技术及开发方法,并将其应用于飞机在预定航路飞行的实时显示过程中。该平台可以载入各种飞行控制器、飞行动力学模型和数字地图进行仿真,并能够以数字、曲线和三维动画的形式显示仿真结果。该平台采用Visual Studio2008编写主界面和通用实时飞行动力学模型框架,Simulink实现飞行控制器,Matlab引擎服务实现二者的同步和通信,并通过OpenMP多线程并行多核编程技术和MATLAB并行计算工具箱的spmd(Single Program Multiple Data)技术实现了平台仿真的并行解算,最后实现三维战场环境动态显示。以"Beaver"多模态自动驾驶仪仿真设计为例,验证了平台的可行性。     

无人机航迹规划常用算法

无人机航迹规划是实现无人机自主飞行的关键技术保障,航迹规划算法则是航迹规划的核心。首先介绍无人机航迹规划的相关理论,其次分析归纳了当前常用的航迹规划算法,最后阐述了航迹规划所面临的挑战及其发展方向。     

航空集群机载网络Failure-Oblivious路由策略

航空集群机载网络作为集群成员间信息交互的纽带,其路由策略性能优劣直接影响信息传输实时性与可靠性,从而制约网络化集群作战效能发挥.考虑到航空集群机载网络具有诸多不确定性,为应对路由失效以及尽可能避免路由更新,从路由选择算法的角度,在软件定义网络架构下提出Failure-Oblivious路由策略.与传统路由策略不同的是,...     

运用统计能量分析法解决高频声振问题的研究

为了得出统计能量分析法的适用范围和成功应用的关键因素,应用模态理论对系统的输入功率和耦合损耗因子进行了研究,挖掘了统计能量分析法中“统计”的更深层次的含义.通过对统计能量分析法原理的分析,提出增大系统的特征尺寸和系统阻尼、增大分析带宽和采用宽带激励均可提高统计能量分析的精度.     

基于正交试验设计的内燃机缸套和活塞环磨合过程数学模型的建立

在对内燃机缸套和活塞环磨合过程进行试验研究的基础上,提出了基于正交试验设计的内燃机缸套-活塞环磨合过程磨损量和磨合时间的数学模型,并对试验结果进行了多元正交多项式回归分析,进而利用磨合过程的数学模型分析了各影响因素对磨合过程的影响.磨合模型的建立对确定合理的磨合时间和磨合规范,提供了理论和方法的依据.     

压缩感知理论与光学压缩成像系统

压缩感知理论为提升信息获取能力提供了新的思路,它表明当被探测信号具有稀疏性时,则获取信号所必需的测量数据与其稀疏度K量级相当,而远小于信号的维数N(Shannon采样定理所要求的采样数)。基于压缩感知理论的成像技术(压缩成像)则将感知、压缩和数据处理三个过程完美地结合在一起,避免了传统成像系统"先采样再压缩"方式带来的传感器和计算资源浪费。本文从稀疏性、投影测量矩阵的设计与可重构条件、压缩感知重构算法三个方面概述了压缩感知理论及进展,并以光学成像为背景,详细阐述了最近提出的几类光学压缩成像系统,最后,探讨了压缩感知及压缩成像方面目前所面临的一些挑战性问题。     

磁致伸缩作动器的位置跟踪补偿控制

为提高磁致伸缩作动器控制精度,以 Jiles-Atherton 磁滞和动力学模型为基础,通过优化偏执磁场和预紧力来提高作动器线性度,并基于前馈控制、PID 反馈控制及柔性神经网络理论,提出了前馈补偿 PID 及柔性神经网络前馈补偿 PID 控制策略。同时,以偏置正弦和阶跃为指令信号,研究作动器的位置跟踪和补偿控制。仿真表明：相比常规 PID 控制和前馈补偿 PID 控制,柔性神经网络前馈补偿 PID 控制具有更好的位置跟踪效果和抗干扰能力,具有无振荡、无超调、响应速度快的特点。     

舰艇防空火力规划与调度方法研究

根据舰艇防空武器拦截过程的时间连续性和拦截效果的不确定性特点,提出了智能规划和优化调度相结合的舰艇防空计划生成方法。在规划阶段,先用智能规划描述语言PDDL对舰艇防空问题进行建模;针对新的来袭目标或观察的拦截结果,利用智能规划的高效行动推理能力,快速生成可能的备选行动方案;在优化调度阶段,对已生成的备选方案的行动系列进行时间、资源冲突处理,并计算选择出当前最佳拦截方案。与现有的采用离散化处理的武器-目标分配方法相比,该规划与调度过程充分体现了拦截过程的连续性,拦截效果的不确定性,拦截过程中的武器协同,以及最佳拦截时机的选择等,更好地描述了舰艇防空的实际过程。最后,通过蒙特卡罗仿真试验,验证了算法的有效性,为舰艇的自动化防空提供了一种新的解决办法。