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比特密钥.     

非均匀光强对曲率型自适应光学系统的影响

在高斯光强和光强存在正态随机起伏情况下,研究了一种37单元的曲率型自适应光学系统对低阶Zernike像差的校正效果,并和均匀光强时的校正效果进行了比较.光强为高斯分布时,光强的不均匀性对Zernike像差的校正带来了一定的影响,对于曲率为零的Zernike像差影响较小,对曲率不为零的Zernike像差影响较大.光强存在正态随机起伏时,对各阶Zernike像差的校正影响较小,曲率为零的Zernike像差的校正效果好于曲率不为零的Zernike像差的校正效果.结果表明在光强起伏不严重的情况下,该37单元曲率型自适应光学系统对低阶Zernike像差可以较好地校正.     

载人登月软着陆制动段最优制导方法(英文)

提出一种解决软着陆制动段燃料最优制导以及闭环控制的方案.首先使用庞氏极大值原理将制动段燃料最优问题转化为一个初值问题,并使用遗传算法搜索求解;其次为了解决最优制导的闭环控制问题,将最优弹道作为标称弹道,使用RCS系统对轨道面内两个方向误差量进行解耦,分别使用极限环控制.仿真表明,所规划出的燃料最优弹道比阿波罗方案能节约159.7 kg的燃料,而闭环控制系统可以将初始1 000 m的位置误差和5 m/s的速度误差收敛到接近段入口误差要求以内,在闭环控制过程中,燃料消耗不大于87.75 kg,总体燃料消耗节约至少71.95 kg.     

装备采购中预防合谋寻租的机制设计

军事装备采购中存在多重委托代理关系,由于各方信息的非对称性以及经济人本性,为合谋型寻租创造了条件。对此,军方可以通过设计有效的激励机制,在无代价的条件下防止合谋型寻租行为的发生。     

特征结构配置和H_∞鲁棒控制的飞行控制器设计

常规的特征结构配置(EA)方法不能同时满足系统频域设计指标和鲁棒稳定性的要求,而H_∞鲁棒控制理论在设计控制器时,并没有考虑系统时域性能。为此,基于特征结构配置和H_∞鲁棒控制,设计一种直观的控制器。该控制器以特征结构配置作为内环控制器,以H_∞鲁棒控制器作为外环控制器,使闭环系统能同时获得较好的时域动态特性、鲁棒稳定性以及指令跟踪性能力。通过对某无人机横侧向飞行控制的仿真,进一步验证了该方法的有效性。     

火箭发动机应储数量的研究

火箭发动机应储数量的确定是其维修保养工作中的一个重要问题。在满足一定精度的前提下,以可靠性评估为中心研究寿命服从逆威布尔分布的火箭发动机的应储数量问题。在具有二项移走的逐步增加I型区间截尾模型下(被随机移走的产品数目服从二项分布),采取不同方案给出决定火箭发动机寿命的关键性参数的可靠性估计,据此确定其应储数量。最后,通过随机模拟方法给出在一定精度指标下火箭发动机的应储数量。     

海空雄鹰竞风流——东海舰队“海空雄鹰团”官兵格言

该团宋关牧政委解读"海空雄鹰"精神:"海空雄鹰"精神是老一辈雄鹰人在战火烽烟中用生命和鲜血凝铸而成的不朽丰碑。她于峥嵘岁月中诞生,在浴血奋战中成长,毛主席曾三次点将出征。她将"斗志旺盛、不畏强敌、敢于斗争、敢于胜利"(国防部通令上的评价)融入自身血脉,从鸭绿江畔打到东海前哨,从高度表指零打到极限高度,创造了世界空战史上     

创新 整合 效益 和谐——湖南推进军民融合发展的若干思考

秉承着“敢为天下先”的湖湘精神,湖南军工以建设创新型、整合型、效益型、和谐型“四型军工”为已任,加快提升行业实力,为实现省第十次党代会确立的“全面推进四化两型建设”（推进新型工业化、农业现代化、新型城镇化、信息化、建设资源节约型、环境友好型社会）总体目标做出军工特有的贡献。     

一类微分方程组极限环的不存在性

在系统奇点唯一的条件下,研究了一类微分方程组不存在极限环的的充分条件,运用和发展了以往的结果。     

一类非线性脉冲时滞抛物型偏微分方程组解的振动性

讨论了一类含脉冲的时滞抛物型方程组非零解的振动性,利用了Green定理以及Jensen不等式,得出了该方程在Robin边界条件下非零解振动的若干准则。