后量子加密算法的硬件实现综述

现有的密码体制大多基于RSA、ECC等公钥密码体制,在信息安全系统中实现密钥交换、数字签名和身份认证等,有其独特的优势,其安全性分别依赖于解决整数分解问题和离散对数问题的难度。近年来,随着量子计算机的快速发展,破解上述数学问题的时间大幅减少,这将严重损害数字通信的安全性、保密性和完整性。与此同时,一个新的密码学领域,即后量子密码学应运而生,基于它的加密算法可以对抗量子计算机的攻击,因此成为近年来的热点研究方向。2016年以来,NIST向世界各地的研究者征集候选抗量子密码学方案,并对全部方案进行安全性、成本和性能的评估,最终通过评估的候选方案将被标准化。本文比较了NIST后量子密码学算法征集(第2轮、第3轮)的各个方案,概述目前后量子加密算法的主要实现方法:基于哈希、基于编码、基于格和基于多变量,分析了各自的安全性,签名参数及计算量的特点以及后期的优化方向。PQC算法在硬件实现上的挑战其一是算法规范的数学复杂性,这些规范通常是由密码学家编写的,关注的重点是其安全性而非实现的效率,其二需要存储大型公钥、私钥和内部状态,这可能会导致不能实现真正的轻量级,从而降低硬件实现的效率。本文重点介绍了目前后量子加密算法的硬件实现方式,包括PQC硬件应用程序编程接口的开发,基于HLS的抽象实现和基于FPGA/ASIC平台的硬件实现。PQC方案的硬件化过程中不仅需要算法的高效实现,同时需要抵抗针对硬件结构的侧信道攻击。侧信道攻击可以通过来自目标设备泄露的相关信息来提取密码设备的密钥。本文讨论了后量子加密算法在具体实现和应用中受到侧信道攻击类别和防御对策。     

基于Monte Carlo法的黄土二维微观结构模型构建

从微观尺度研究土的力学行为是揭示其力学机理的一种有效途径,为此首先建立其微观结构模型。目前常通过光学显微镜或者扫描电镜图像获取黄土的微观结构,但将其直接用于二维建模时,存在颗粒悬浮和叠置的问题。基于黄土的颗粒累积分布曲线和实际颗粒形态,提出了一种随机生成其二维微观结构模型的方法。首先将颗粒累积分布曲线按粒径范围分为若干区间,从各区间上随机抽取粒径值,形成满足其粒径分布的粒径数据库;再根据黄土颗粒的微观图像建立颗粒的形态数据库。从这2个数据库中随机抽取颗粒粒径和形态,生成具有随机大小、形态的颗粒库。采用Monte Carlo法将这些颗粒在模型顶端随机投放,建立黄土的二维微观结构模型。该模型为黄土微观力学行为的分析提供了原型。     

多腔钢管混凝土分叉柱力学性能有限元分析

为研究异形截面多腔钢管混凝土分叉柱的力学性能及设计方法,以北京某超高层建筑异形截面多腔钢管混凝土巨型分叉柱为原型,在已进行的低周反复荷载试验基础上,对异形截面多腔钢管混凝土分叉柱抗震性能进行有限元分析,研究了不同构造措施、不同钢材及混凝土强度等级等参数对钢管混凝土分叉柱抗震性能的影响.结果表明:基于本文提出的有限元建模方法,所得有限元分析结果与试验结果吻合较好;适当增加腔体数,设置肋板、角钢和钢管能够有效提高异形截面钢管混凝土分叉柱抗震性能;在等用钢量下,增加腔体数量比增加钢板厚度能更有效地提高分叉柱抗震性能;不同材料强度对异形截面钢管混凝土分叉柱抗震性能有较大影响,在进行其抗震设计时,宜选用强度等级匹配的钢材与混凝土.     

涡扇发动机拉紧轴疲劳试验

针对涡扇发动机拉紧轴在工作环境中所存在的疲劳失效问题,提出基于有限元法(FEM)与Miner线性累积损伤理论相结合的理论模型,实现了已知涡扇发动机拉紧轴材料、几何尺寸等条件下的标准载荷循环谱计算.进一步开展了风扇拉紧轴的疲劳寿命试验测试与分析,结果表明,试验中拉紧轴可承受30 000次试验载荷循环数,试验之后经检查无裂纹、凸肩切入、螺纹断扣等失效现象,最终确定其在标准载荷循环下的安全使用寿命.通过开展对拉紧轴的疲劳试验研究、仿真计算与分析等工作,有效验证了可靠性寿命预测方法与模型的可行性.     

Fuzzy deduction methods of selecting the underwater terrain navigation matching area

To overcome the problems of not describing terrain matching characteristics totally with a single terrain feature parameter in underwater navigation terrain database, an evaluation method named Vague set is proposed to describe the terrain suitability comprehensively based on the fuzzy decision making (FDM) method. The membership functions and non-membership functions of the Vague set are used to define the influence of the terrain map characteristics parameters on matching suitability, and comprehensive evaluation values of matching areas are obtained by the weighted score function method. Simulation results demonstrate that the terrain map suitability is positively proportional to the comprehensive evaluation value, while the matching position error is negatively proportional to the comprehensive evaluation value of the matching area. The Vague set can choose the optimal matching areaeffectively, and solve the problem that the single topographic map featurecannot evaluate suitability comprehensively.     

多头小直径防渗墙在龙门寺水库防渗加固中的应用

文章介绍多头小直径深层搅拌桩防渗墙在龙门寺水库大坝防渗加固中的设计和施工技术,以及取得的效果。     

半绝缘衬底上Si掺杂InP的纳米孔腐蚀与电学性质研究

利用MOCVD在InP半绝缘衬底上生长N型InP,在KOH溶液中电化学腐蚀形成纳米多孔结构的。通过实验证实在半绝缘衬底上的InP纳米孔腐蚀具有可行性,并且得到了腐蚀质量较好、图形清晰、结构规整的纳米孔材料。在对其进行霍尔测试,得到了腐蚀孔对于n型InP材料表面电学性质的改变,实现了低掺杂浓度(10~(18)cm~(-3))的InP通过表面纳米孔腐蚀的方式提高载流子浓度,改善n型InP层表面电学性能。     

共形阵列MUSIC算法分辨力性能分析

针对共形阵列分辨力性能分析问题,本文首先对锥面、柱面、球面等3种常见共形阵列进行信号建模,并基于MUSIC算法实现共形阵列下极化-DOA参数的联合估计,然后通过MUSIC零谱的定义以及噪声子空间投影矩阵的期望,给出MUSIC期望谱的具体表现形式,在此基础上详细分析推导了MUSIC算法在共形阵列中的分辨力门限;最后通过计算机仿真研究共形阵列分辨力门限理论值与仿真值的关系,以及共形阵列与均匀圆阵在分辨力性能上的差异,仿真结果显示共形阵列的分辨力门限随着信噪比的增加逐步降低,验证了理论分析的正确性.     

结合自适应稀疏表示和全变分约束的图像重建

In view of the limitation of fixed complete orthogonal transformation, represented by two-dimensional wavelet transform and discrete cosine transform in compressed sensing high-resolution image reconstruction, this paper proposes a new method for high-resolution image reconstruction based on adaptive redundant dictionary sparse representation with the total variation constraint.The algorithm takes the intermediate image in the process of iteration as the training sample to get a redundant dictionary suitable for sample characteristics by adaptive learning. It makes full use of the correlation between dictionary atoms and the image to get an ideal complete sparse representation, thus reducing the sampling rate and improving the quality of image reconstruction. Finally, the algorithm takes the total variation as a constraint and uses the split Bregman iterative method to solve the sparse optimization problem. Simulation shows that the proposed method can reconstruct high quality images under a low sampling rate.     

Mixed H2/H∞ State Feedback Attitude Control of Microsatellite Based on Extended LMI Method

For the appearance of the additive perturbation of controller gain when the controller parameter has minute adjustment at the initial running stage of system,to avoid the adverse effects,this paper investigates the mixed H_2/H_∞ state feedback attitude control problem of microsatellite based on extended LMI method.Firstly,the microsatellite attitude control system is established and transformed into corresponding state space form.Then,without the equivalence restriction of the two Lyapunov variables of H_2 and H∞performance,this paper introduces additional variables to design the mixed H_2/H_∞ control method based on LMI which can also reduce the conservatives.Finally,numerical simulations are analyzed to show that the proposed method can make the satellite stable within 20 s whether there is additive perturbation of the controller gain or not.The comparative analysis of the simulation results between extended LMI method and traditional LMI method also demonstrates the effectiveness and feasibility of the proposed method in this paper.