HIGHT算法的积分攻击

对轻量级分组密码算法HIGHT在积分攻击方法下的安全性进行了研究。首先纠正了现有研究成果在构造区分器时的不当之处,重新构造了HIGHT算法的11轮积分区分器,并构造了相应高阶积分扩展下的17轮区分器;其次利用所构造的17轮区分器,结合"时空折中"原理对25轮HIGHT算法进行了积分攻击;最后对攻击算法的复杂度进行了分析,攻击算法需要的数据复杂度为2^(62.92),时间复杂度为2^(66.20),空间复杂度为2^(119)。分析结果表明,所给出的攻击算法的攻击轮数和时间复杂度要优于现有研究结果。

对HIGHT密码改进的代数故障攻击

针对HIGHT轻量级分组密码已有代数故障攻击方法攻击轮数受限的不足,提出并讨论了一种改进的代数故障攻击方法.该方法将攻击成功延伸至密码加密第25轮,在单字节故障模型下,攻击理论故障注入次数和成功率分别为5次和91.60%.仿真实验结果表明,对密码25轮进行攻击,恢复密码全部主密钥信息所需故障注入次数为5次,解析器平均求解时间为143.70s,攻击实际成功率为91%,最好情况下仅需4次故障注入即可以90%的成功率在551.26s内恢复全部主密钥信息,相关研究成果能够为分析其他具有相似结构的密码的安全性提供参考和借鉴.

HIGHT轻量级分组密码容错代数故障攻击研究

针对现有HIGHT轻量级分组密码代数故障攻击方法在故障失效发生的场景下故障位置判定出错进而影响攻击成功率的问题,提出并讨论了一种容错代数故障攻击方法.该方法首先对故障失效特性进行深入研究,利用故障注入位置、故障失效与密文差分之间的对应关系,构建了一个完备的故障位置区分器以实现对各种场景下故障位置的准确判定.然后在此基础上提取故障失效信息以实现故障信息最大化利用,并对故障信息等效代数方程组构建方法进行优化,实现了故障信息等效代数方程组的自动化构建.最后对提出的攻击方法的复杂度和成功率进行了分析和实验验证.实验结果表明,与现有攻击相比,提出的攻击方法容错能力更强,能检测出所有显性故障失效,攻击的成功率达到100%,且故障信息等效代数方程组构建自动化程度更高,解析器平均求解时间更少.

一种针对HIGHT的改进差分故障的分析

为评估HIGHT轻型分组密码抗故障攻击能力,基于单字节故障模型,提出一种改进的HIGHT故障攻击方法.首先在HIGHT最后1轮注入单字节故障恢复SK124和SK126 2个轮密钥,然后增加故障注入深度,在HIGHT倒数第5轮注入单字节故障恢复HIGHT另外10个轮密钥,从而恢复HIGHT的全部主密钥.实验结果表明:仅需22次故障注入即可恢复HIGHT全部128位主密钥,优于现有故障攻击方法所需的32次故障注入.

HIGHT算法的差分故障攻击

对HIGHT进行了差分故障攻击.攻击采用单字节级的差分故障模型,在倒数第3轮和倒数第4轮进行故障诱导来恢复密钥.模拟实验结果显示采用大约32次故障诱导便可恢复密钥,分析的计算复杂度约为256.模加差分表预计算的复杂度为232.

GPS在物理大地测量中的应用及GPS边值问题

针对GPS技术逐步用于物理大地测量的现状,从物理大地测量的基本原理及方法入手,分析了GPS对传统物理大地测量理论及方法所产生的影响、GPS在解决物理大地测量中的一些难题所发挥的作用以及对物理大地测量的一些功能所造成的变化。重点讨论了物理大地测量边值问题的基本属性的改变、第二边值问题的应用、高程系统的确定、GPS边值问题的定义、特征及求解。最后,对GPS与物理大地测量进一步结合所面临的有关问题进行了简要论述。

益气补肾颗粒治疗对微小残留白血病患者CD4^+CD8^(high) T淋巴细胞和自然杀伤细胞的影响

目的探讨益气补肾颗粒治疗后CD4+CD8highT淋巴细胞的变化及其对微小残留白血病(mini-mal residual leukemia,MRL)预后的意义。方法用多参数流式细胞技术比较分析36例MRL患者应用益气补肾颗粒治疗前后CD4+CD8 highT淋巴细胞亚群和自然杀伤细胞(NK细胞)改变。结果 (1)MRL患者3年持续完全缓解率、生存率分别为75.0%、80.5%,5年持续完全缓解率、生存率分别为63.9%、72.2%。(2)与治疗前比较,治疗后的MRL的CD4+CD8highT淋巴细胞百分率(%)和绝对值显著上升(P<0.01);(3)与治疗前比较,治疗后MRL的NK细胞百分率(%)和绝对值均显著上升(P<0.05,P<0.01)。结论益气补肾颗粒可能通过调节机体自身免疫功能,提高CD4+CD8highT和NK细胞的绝对数量,杀伤或抑制体内残存白血病细胞,延长MRL患者的无病生存期。

基于FPGA的高速数据采集系统的设计与实现

高速数据采集系统主要由AD、FPGA和DSP组成。该系统的采样精度为12 bit,采样率为100 MSPS。首先介绍了系统中AD部分的两种前端调理电路的设计与实现,并作了对比,然后介绍了AD的时钟电路,说明了基于Verilog的FPGA程序设计过程。通过调试优化后可以在DSP中稳定、纹波较小地读到AD量化后的数据。

基于轴承负荷的转子轴承系统建模与试验研究

为揭示轴承转子系统的轴承负荷特性,提出了在转子系统中在线监测轴承负荷,建立了考虑轴承载荷的转子系统的横向振动模型.通过试验和仿真相结合的方法,研究了轴承负荷与支撑振动的耦合关系.该方法是在轴承座下安装轴承负荷传感器以测轴承的负荷,同时监测支撑的加速度,将实测的负荷代入所建的振动模型进行仿真.将仿真结果与实测加速度信号对比分析,结果表明:仿真得到的加速度信号和实测的加速度信号峰值呈周期性变化,周期相同;支撑振动是由轴承负荷所引起的强迫振动与其它振动信号叠加而成,而支撑振动的特性是受轴承负荷影响的.因此,轴承负荷的变化可以作为轴承转子系统状态估计的一个重要条件.

MI-108型大功率激光器冷却系统的改进

文中分析MI-108大功率激光器冷却系统存在问题的原因并提出改进方法,成功地对冷却系统进行了改造,克服了存在问题并取显著效果和节约大量资金。

大倾角煤层长壁大采高综采支架动态载荷特征分析

针对大倾角煤层大采高工作面支架受载特征复杂、对工作面围岩稳定性控制影响大等问题。采用现场实测与理论分析相结合方法,研究了大倾角煤层大采高开采过程中,支架瞬态与长时载荷变化规律,结果表明:正常回采阶段与来压期间,工作面循环初期和循环末期支架载荷均呈现出倾斜中部较大、下部次之、上部最小的特征,工作面载荷分区特征更为明显,支架受载不均衡程度表现出后柱大于前柱、循环末期大于循环初期、来压期间大于正常回采阶段;与一般采高大倾角煤层工作面相比,支架受力多变程度明显增加,工作面倾斜上部区域尤为明显,初次来压与周期来压步距均明显减小,来压强度则明显增大,支架阻力整体增加。

热连轧FGC恒套量控制技术研究与仿真

详述热连轧动态变规格控制过程,选择合适的控制方式。从活套高度闭环系统组成、控制原理出发,结合动态变规格过程,用前馈控制实现半无头热连轧动态变规格恒套量控制,且进行了仿真实验并给出结果。

胃肠道癌肿患者外周血CD4^＋CD25^＋FOXP3^＋调节性T细胞的表达及临床意义

目的：研究胃肠道癌肿患者外周血CD4^＋CD25^＋FOXP3^＋调节性T（Treg）细胞的表达，并探讨其临床意义。方法：通过免疫荧光术及流式细胞仪检测20例胃癌患者及20例结肠癌患者外周血CD4^＋CD25^＋FOXP3^＋Treg细胞、CD4^＋CD25^＋high Treg细胞、CD4^＋T细胞及CD4^＋ CTLA-4^＋T细胞。结果：胃癌组、结肠癌组与健康献血者比较外周血CD4^＋CD25^＋FOXP3^＋ Treg细胞、CD4^＋CD25^＋high Treg细胞及CD4^＋CTLA-4^＋T细胞显著增多，CD4^＋T细胞显著减少；胃癌、结肠癌患者之间其外周血中CD4^＋CD25^＋FOXP3^＋Treg细胞、CD4^＋CD25^＋high Treg细胞、CD4^＋T细胞及CD4^＋CTLA-4^＋T细胞无显著差异。结论：胃肠道癌肿患者外周血CD4^＋CD25^＋FOXP3^＋Treg细胞显著高于健康献血者，这可能与胃肠道癌肿患者的免疫抑制和肿瘤的进展相关。

面向嵌入式应用的加密算法开销与性能分析

为了找出最适合无线传感器网络应用的加密算法,通过对SEA算法、PRESENT算法、HIGHT算法进行理论分析,利用Atmega 128L微处理器作为评估平台,对其开销和性能做了估计,并将仿真结果与其它算法进行比较。实验结果表明,HIGHT具有最优的性能,并且其内存开销也比较小,非常适合用于资源受限的应用中。为了高效地实现一种加密算法,其计算字长必须接近微处理器的字长。此外,SEA和PRESENT并不适合软件实现,硬件实现是更好的选择。

高T_cBi（Pb）－Sr－Ca－Cu－O体系超导体的合成和研究

介绍高ＴｃＢｉ（Ｐｂ）－Ｓｒ－Ｃａ－Ｃｕ－Ｏ体系超导体的合成、测试，进行结构与超导性能关系研究，认为结构的稳定性和有序度对Ｂｉ－２２２３相的生成和超导性能有很大的影响。

合理确定矿井水平垂高

本文把矿井水平垂高的合理确定问题溶于矿井动态系统的综合最优化之中,用动态规划方法求解出最优方案,在局部问题优化和整体优化的结合上做一探讨.

基于SAT的ARX不可能差分和零相关区分器的自动化搜索

ARX(Addition,Rotation,Xor)算法基于模整数加,异或加和循环移位三种运算,便于软硬件的快速实现.不可能差分分析和零相关分析是攻击ARX的有效方法,攻击的关键是搜索更长轮数、更多数量的不可能差分和零相关区分器.目前很多的搜索方法都没有充分考虑非线性组件的性质,往往不能搜索得到更好、更准确的区分器.本文提出了基于SAT(Satisfiability)的ARX不可能差分和零相关区分器的自动化搜索算法.通过分析ARX算法组件的性质,特别是常规模加和密钥模加这两种非线性运算差分和线性传播的特性,给出了高效简单的SAT约束式.在此基础上,建立SAT模型进行区分器的搜索.作为应用,本文首次给出了Chaskey算法13条4轮不可能差分和1条4轮零相关区分器;首次给出了SPECK32算法10条6轮零相关区分器和SPECK48算法15条6轮零相关区分器;在较短的时间内,给出了HIGHT算法17轮的不可能差分和零相关区分器.与现有结果相比,无论是区分器的条数,还是搜索区分器的时间均有明显的提升.此外,通过重新封装求解器STP的输出接口,建立了自动化的SAT\\SMT分析模型,能够给出ARX算法在特殊输入输出差分和掩码集合下,不可能差分和零相关区分器轮数的上界.

调节性T淋巴细胞与反复体外受精-胚胎移植的研究

目的探讨外周血中调节性T淋巴细胞与反复体外受精-胚胎移植失败之间的相关性。方法用双荧光标记流式细胞分析技术,检测20例原因不明反复体外受精-胚胎移植失败患者、20例正常非孕妇女及18例第一周期体外受精-胚胎移植成功妇女外周血中CD4+CD25+调节性T淋巴细胞及CD4+CD25highT细胞的水平。结果反复体外受精-胚胎移植失败患者外周血中CD4+CD25+调节性T淋巴细胞及CD4+CD25highT细胞的百分率分别为(7.89±1.16)%和(1.06±0.33)%,低于正常非孕组的(11.73±1.05)%(P<0.01)和(1.36±0.53)%(P<0.05),也低于第一周期体外受精-胚胎移植成功组的(9.67±1.87)%(P<0.05)和(1.39±0.37)%(P<0.05)。结论外周血中调节性T细胞的减少可能与反复体外受精-胚胎移植失败的发生有关。

岩体工程地质力学在水电水利工程勘察中的应用

应用谷德振先生的岩体工程地质力学理论,重视区域地质构造体系、重视收集地质基础资料、重视岩体结构的研究。在此基础上开展高拱坝、高重力坝、深埋长隧洞、地下厂房、抽水蓄电站的工程地质勘察和编制相应的地质勘察规范。

执行阶段律师调查令制度之实证研究——基于我国31个高院的文本与实践

执行阶段律师调查令有利于减轻法院的办案压力,有利于调动申请执行人与律师参与执行的积极性,有利于保障申请执行人的参与权、知情权和监督权。然而,律师调查令在适用过程中却出现了屡次遭拒、调查成功率低以及缺乏对拒绝调查的惩罚措施等问题。这些问题产生的主要原因有:法律存在真空,联动宣传机制不够完善,律师调查令不够规范。为了完善律师调查令制度,需要修改法律,让执行阶段律师调查令“令出有门”;加强联动,让执行阶段律师调查令“不再遭拒”;统一规定,让执行阶段律师调查令“规范出门”;加强配套措施的建立,让执行阶段律师调查令“顺畅运作”。