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像差可以较好地校正.     

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

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

军人任职激励机制设计与政策建议

为化解军人任职"道德风险"必须合理设计任职激励机制。激发军事人员的任职积极性和奋斗精神,要从深化分配制度和人事管理制度改革入手,完善军事岗位设置和任职规定,完善岗位任职绩效评估体系和军人工资福利待遇制度。     

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

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

绿卡制度研究

立足"借鉴国际通行做法,建立中国‘绿卡'制度"的实践需要,揭示了"绿卡"的实质,对主要国家现行的"绿卡"制度作了概括的分析和比较,并论述了"绿卡"制度的国际通行做法.     

具有倒“Y”型吊挂的降落伞系统动力学建模

具有倒"Y"型吊挂的降落伞系统在回收领域具有广泛的应用.建立了这类系统的动力学模型,包括考虑附加质量的一般刚体动力学方程和基于"平衡点"假设的吊挂系统建模方法.利用该模型对某型飞船空投试验情况进行了仿真分析,通过与试验数据对比,验证了模型的有效性.     

瓦楞纸板同步剪切控制系统的设计与研制

介绍了微机控制瓦楞纸板同步剪切控制系统的设计研制。该系统由直流电机调速系统和单片微型计算机控制系统两大部分组成。直流调速系统采用线性二次型最优调节器方法设计,计算机控制系统采用单片微机双ＣＰＵ技术。它是一个大功率高精度机电控制系统,具有响应速度快,剪切精度高,可靠性好,操作方便的特点。     

英模“群侠”正传

称号:抗震救灾英雄战士热血名片:武文斌,2002年12月入伍,2007年7月被分配到某红军师炮兵指挥连实习。激励指数:☆☆☆☆☆英雄论剑:2008年5月12日,部队接到紧急赶赴四川地震灾区抢险救灾的命令,到达灾区后,武文斌和连队战友始终奋战在抗震救灾第一线。他一个人干几个人的活,清淤泥、搬石头,军装湿了又干,干了又湿。6月17日晚,劳累了一天的武文斌,和连队70多名战友一起执行受灾群众安置点活动板房材料卸载任务。晚9时许,武文斌因过度劳累肺部大出血,经抢救无效于6月18日凌晨4时45分光荣牺牲,献出了年仅26岁的宝贵生命。6月21日,陆军第54集团军批准他为革命烈士,追记一等     

多手段并举 全方位准备——河北省任丘市人武部扎实做好征兵工作剪影

近年来,河北省任丘市人武部针对"当兵冷,郑兵难"实际,认真抓好征兵工作。他们通过深入调研走访、出台政策激励、优化拥军优属、宣传鼓动造势、政策理论讲解等活动开展,在全社会营造了"当兵光荣、军属光荣"的良好社会氛围,为圆满完成征兵人物奠定了基础。