对两个口令认证密钥交换协议的安全性分析

口令认证密钥交换协议使得仅共享低熵口令的用户可以通过不安全的信道安全地协商出高熵的会话密钥,由于实用性较强受到了密码学研究者的广泛关注。对最近在“标准模型下高效的基于口令认证密钥协商协议”一文中提出的协议以及在“基于验证元的三方口令认证密钥交换协议”一文中提出的协议进行了分析,指出这两个口令认证密钥交换协议都是不安全的,难于抵抗离线字典攻击,进一步分析了原协议设计或安全性证明中被疏忽之处。     

临近空间慢速运动平台SAR基于CS成像算法的运动补偿

分析了临近空间慢速运动平台合成孔径雷达（SAR）中平台运动误差对接收信号的影响,指出在成像的运动补偿处理当中,可以将距离向误差分解成空不变项和空变项,并采用一阶和二阶运动补偿的方法对两种误差项进行校正补偿。为了将测量的运动误差数据应用到高分辨成像中,本文采用了一种与Chirp Scaling（CS）相结合的运动补偿方法。最后通过对仿真数据进行分析,验证了本方法的可行性。     

基于帧间一致性的自监督室内逆渲染

针对目前逆渲染监督学习方法难以获得标签、泛化能力差的问题,提出了一种基于IFC（inter-frame coherence）的自监督训练方法。由于逆渲染问题的不适定性,引入额外的反照率一致性损失和交叉渲染损失强化自监督网络,其主要思想是对连续光照变化的图像序列执行IFC约束。即通过图像帧之间的位姿图和深度图,在相邻帧之间执行图像投影和扭曲;通过这种方法在相邻帧之间建立约束,并使用孪生训练来确保对光度不变量的一致估计。该方法使用完全卷积神经网络从室内视频序列中恢复几何形状、反射率和光照。自监督网络使用没有标签的连续帧图像集合进行训练,通过结合可微分渲染器,使网络以自监督的方式进行学习。通过与其他主流方法的比较,定量和定性实验结果表明提出方法在多个基准上表现更优。     

基于方向图跟踪和对称轴的自动指纹分类算法

采用指纹连续分布方向图跟踪技术,提出指纹对称轴的概念及其算法。在此基础上,提出一种基于方向图跟踪和指纹对称轴的六类自动指纹分类算法,在FVC2000、FVC2002、FVC2004的Set B、FVC2004的Set A指纹库以及本文所采集的指纹库上的分类结果表明,算法能有效地将双旋型和漩涡型指纹正确分开,实现了六类指纹分类,分类正确率达到95.6%,具有较好的健壮性。     

固体燃料种类和配比对钒钛磁铁矿烧结过程及烧结矿性能的影响

结合承钢烧结现场原料条件,研究了固体燃料种类和配比对钒钛磁铁矿烧结过程及烧结矿冶金性能的影响.结果表明:当白煤代替焦粉作为烧结用固体燃料后,烧结矿中的磁铁矿、硅酸盐和玻璃质含量降低,而赤铁矿和铁酸钙含量升高,有利于改善烧结矿的冷态机械强度和低温还原粉化性能.承钢烧结的固体燃料配比不宜太高,当焦粉作为承钢烧结的固体燃料时,其配比应控制在5%左右;当白煤作为承钢烧结的固体燃料时,其配比应控制在5.5%至6%之间比较适宜.综合考虑,承钢烧结应采用白煤作为固体燃料,而烧结矿的FeO含量控制在7%左右为宜.     

陕西省澄城县沼气合作社服务模式

澄城县地处陕西东部，辖8镇6乡266个行政村，农业人口31．2万人，耕地面积89万亩，是陕西省百万头生猪示范县、全国优质苹果生产基地县，自然资源丰富，区域优势突出。近年来，在国家相关部门和各级政府部门的大力支持下，全县农村户用沼气建设快速发展，截止2009年底，全县建成户用沼气池1．4万余口。     

常见带式输送机胶带跑偏故障分析处理及预防

通过对带式输送机在日常运行中出现跑偏的各种情况分析,找到跑偏故障的原因,有针对性的进行处理并采取相应的预防措施,对带式输送机日常管理、安全使用、减少故障都有积极的指导意义。     

承压水体上采煤实践

介绍了注浆封堵突水点和改造煤层底板从而实现承压水体上安全采煤的经验.对条件相似的矿区进行承压水体上采煤具有借鉴意义.