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

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

敷设气囊的充水圆柱壳的声辐射

为降低充水圆柱壳受内部点声源激励时的水下辐射噪声,在其外壳上敷设气囊,形成气囊圆柱壳。为指导气囊圆柱壳的设计,将充水裸圆柱壳和充水气囊圆柱壳分别简化为单、双层无限长隔板。比较隔板、气体与水的波阻抗,分析了气体声速与层厚对双层无限长隔板在平面声波入射时低频声辐射的影响机理。分析表明,声速小的气体和适当的气层厚度可以降低双层障板的辐射噪声。采用声无限元法计算了气囊圆柱壳的水下声辐射,结论与对隔板的机理分析吻合。优化设计出的充水CO2气囊圆柱壳的水下辐射声功率与远场辐射声压明显低于充水裸圆柱壳。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

航天测控系统任务可靠性分析的EOOPN模型

提出了一种可用于航天测控系统任务可靠性分析的扩展面向对象Petri网（extend object-oriented Petri nets, EOOPN）模型,旨在对给定的航天测控方案进行可靠性评估分析。针对问题特点明确了OOPN扩展思路,给出了EOOPN模型的形式化定义、运行规则和建模步骤,模型通过引入公共库所、激发弧、消息变迁和消息处理函数等概念,体现了面向对象的思想,具有很好的层次性和模块性。所建立的EOOPN模型能够完整的描述航天测控系统的组成和任务特点。通过对算例模型仿真运行,表明实验结果具有良好收敛性,与Markov解析值对比误差在1%以内,从而验证了模型的有效性。     

武器精度截尾SPOT 检验最大风险计算

就正态圆分布的武器命中精度的截尾序惯验后加权检验犯两类错误概率上界的计算问题,指出了目前沿用的计算公式的错误,推导了新的计算公式,并给出了算例,分析了计算结果的合理性;同时,指出了目前截尾点选取方法存在的问题     

利用对比度最优准则的压控振荡器调频非线性误差估计与校正方法

针对压控振荡器调频非线性误差的准确估计与校正问题,提出一种以一维距离像对比度最优为准则的自适应估计与校正方法。本方法建立引入温度变量的压控振荡器频率特性模型,并据此估计出某一温度值对应的调频非线性误差,在对中频回波进行误差补偿和一维脉压后,以一维距离像的对比度最优作为迭代收敛准则,实现调频非线性误差的最优估计与校正。仿真和实测数据结果表明,该方法充分考虑了温度因素对压控振荡器输出频率的影响,能够在不增加硬件复杂度的前提下,通过算法实现对调频非线性误差的估计、跟踪与补偿。与传统基于硬件电路进行估计或校正的方法相比,新方法无需由硬件组成闭环估计通道,且具有实时性强、运算量小、补偿精度高的优点,对于克服实际工程应用中压控振荡器器件的参数漂移问题具有重要指导意义。     

石墨烯微片尺寸对石墨烯纸热导率的影响

石墨烯热导率远高于传统金属薄膜等导热材料,可用作热扩散材料。石墨烯纸由石墨烯微片组装而成,石墨烯微片尺寸大小对其组装方式微观结构以及宏观导热性能等具有重要影响。采用溶液过滤自组装方法制备了分散均匀的氧化石墨烯纸,然后在Ar/H2气氛下对氧化石墨烯纸进行热还原处理,得到了石墨烯纸。结果表明,大尺寸石墨烯微片组成的石墨烯纸结构更加致密、结晶度更高;0.5μm~3μm和50μm~100μm的氧化石墨烯所制备的石墨烯纸的热导率分别为632.8 W/m K和683.7 W/m K,大尺寸石墨烯微片组成的石墨烯纸热导率提高了8%。     

NCO相位截断对频域抗干扰性能影响分析

频域抗干扰易于工程实现、窄带干扰抑制性能好,是目前全球卫星导航系统(Global Navigation Satellite System,GNSS)抗干扰接收机中广泛采用的抗干扰算法。频域抗干扰接收机普遍采用数控振荡器(numerically controlled oscillator, NCO)生成本振信号。由于硬件约束,通常需要对NCO进行相位截断。而NCO相位截断是否合理对抗干扰性能影响较大。针对该问题,从NCO相位截断导致的本振杂散着手,从理论上分析其对混频和频域抗干扰环节的影响。在此基础上,给出一种NCO查找表地址位宽的理论计算模型,使得接收机的载噪比损耗接近无NCO相位截断的频域抗干扰接收机。仿真表明,抑制带宽大于100kHz、干信比小于80dBc的窄带干扰时,计算的NCO查找表地址位宽不超过10bit。无NCO相位截断的频域抗干扰接收机相比,采用NCO混频的抗干扰接收机的载噪比损耗最多增加0.6dB。     

战略导弹制导系统精度评估方法及应用研究

本文论述了战略导弹制导系统精度评估方法,并分析了影响制导精度的各种因素;在定性分析的基础上,建立了制导系统的误差模型,并将此模型归纳为线性回归模型;最后,对目前所采用的误差分离方法进行了分析和比较,并将模型参考自适应思想与岭估计方法相结合,形成了模型参考自适应广义岭估计方法,为解决制导系统误差分离问题提供了一条有效途径。