可证明安全的基于身份的认证密钥协商协议

提出了一种具有私钥产生中心(private key generator, PKG)前向安全性的基于身份的认证密钥协商协议,协议中给出了一种利用用户双方的长期私钥和临时私钥联合计算共享密钥的方法.在标准模型下证明了协议的安全性,并且分析得出,即使攻击者能够同时获得双方的临时私钥或同时获得双方的长期私钥,共享密钥仍然是安全的.性能分析表明,该协议较好地平衡了计算复杂度和安全性这两个协议评价指标.     

木薯淀粉的可控去结晶化研究

为了探究淀粉可控去结晶化的制备技术,本研究以木薯淀粉为原料,系统研究了高温醇碱法处理过程中碱浓度、处理温度、时间以及料液比等条件对木薯淀粉结晶度及晶体结构的影响。结果表明,处理时间及料液比对淀粉去结晶化过程中结晶度的影响是非线性的(料液比与结晶度r=0.14,而处理时间与结晶度r=-0.02),且难于控制其晶型的变化;碱浓度及处理温度对淀粉去结晶化过程中结晶度的影响是线性负相关(碱浓度与结晶度r=-0.97,而处理温度与结晶度r=-0.84),并可有效控制木薯淀粉晶型的变化。随着碱浓度由0.25 mol/L逐渐增大至1.25 mol/L,可有效控制淀粉的晶型由A型转变为无定形状态,使其相对结晶度从23.63%逐渐降至0。因此,高温醇碱法可制备可控去结晶化木薯淀粉。     

双线性系统多目标控制问题研究

研究了双线性系统的多目标控制问题. 首先把多目标控制问题, 通过效用函数技术转化为一个单目标最优控制问题, 其中, 效用函数是多个二次型性能指标的非线性函数, 因此, 在动态规划的意义下是不可分的. 然后, 为了克服不可分对求解带来的困难, 提出了一种两级最优控制算法. 下级用动态规划求解一个参数化的具有双线性---二次型结构的辅助 Lagrangian 问题;上级迭代调整辅助 Lagrangian 问题中的参数向量. 不断重复这个过程, 直至最优性条件被满足.     

具有小规模公开参数的适应安全的非零内积加密方案

内积加密是一种支持内积形式的函数加密,已有内积加密方案的公开参数规模较大,为解决该问题,该文基于素数阶熵扩张引理,利用双对偶向量空间(DPVS)技术,提出一个公开参数规模较小的具有适应安全性的内积加密方案。在方案的私钥生成算法中,将用户的属性向量的分量与主私钥向量结合,生成一个可与熵扩张引理中密钥分量结合的向量;在方案的加密算法中,将内积向量的每一分量与熵扩张引理中的部分密文分量结合。在素数阶熵扩张引理和${\rm{MDDH}}_{k, k + 1}^n$困难假设成立条件下,证明了方案具有适应安全性。该文方案公开参数仅有10个群元素,与现有内积加密方案相比,公开参数规模最小。     

小波变换组合双线性插值法在北斗周跳中的应用

针对北斗卫星导航系统中双差观测序列的周跳问题,提出了一种小波变换组合滑动窗口的双线性插值法。该方法利用小波变换对载波相位双差检测序列进行尺度分解,提取高频系数,得到周跳处高频系数的奇异值,再利用滑动窗口双线性插值法对奇异值进行替换,通过系数重构,能够较好地修复周跳。实验利用该方法同时修复第1、2层高频系数和只修复第1层高频系数进行修复结果对比,结果表明同时修复第1、2层高频系数次数更少,修复效率更高。     

关于起重机接地形式的现场检验

由于对低压电力网接地形式理解上的异议,长时间以来在起重机接地的检验中把握尺度不同,作为起重机械现场检验的重要项目,检验结论必须严谨准确、果断周细。     

幂指函数的极限问题

幂指函数求极限问题是微积分学中的一个常见问题, 同时又是一个难点问题． 本文在对幂指函数ｆ（ ｘ） ｇ（ｘ） 的定义给予较为严格讨论的基础上, 根据极限ｌｉｍ ｆ（ ｘ） 与ｌｉｍ ｇ（ ｘ） 存在与否详细而全面地讨论了幂指函数极限的确定与不定问题     

四川盆西平原区裸土扬尘中Pb、Cd化学形态的尺度效应

为了探究四川盆西平原区裸土扬尘中Pb、Cd总量与其尺度效应的关系,模拟土壤样品的Pb、Cd污染,通过实验室内的模拟起尘研究系统对土壤样品开展试验,对各粒级悬浮颗粒物中Pb、Cd的赋存状态及其尺度效应进行分析,并进一步对土壤中的黏土颗粒进行提取分析,结果表明:试验条件下,随着粒径的减小,Pb、Cd在四川盆西平原区裸土扬尘...