标准模型下可证安全的基于身份的动态门限签名

目前,对于基于身份的动态门限签名方案来说,这些方案的安全性大多是在随机预言模型下证明的,并且这些门限签名方案中的门限值固定.相对而言,设计标准模型下的门限签名方案更有实际意义.针对以上两个问题,根据Paterson提出的基于身份的签名方案,利用计算Diffie-Hellman问题的困难性在标准模型下设计了一个无需可信中心、门限值可变的动态门限签名方案.最后,利用双线性对技术对方案的正确性进行了严格证明,并在CDH困难假设下给出了方案安全性的详细分析过程和证明.结果表明,本文方案是可证安全的和可靠的.     

基于多层动态索引的相似炉型检索方法研究

针对炉型设计涉及的原始数据量庞大,合理炉型的界定范围广,界限模糊等问题,提出应用基于实例的推理方法辅助炉型初始方案的生成.分析了高炉炉型设计的特征属性,并建立了层次结构,针对其特征索引较多,权重系数小,检索效率低等问题,建立一种多层动态索引策略来改进传统的最近邻法,实现了炉型初始设计方案的智能生成.从而提高了相似实例检索的准确性和有效性,为后续对比调整提供了具有可比性和高参考价值的设计方案.     

基于动态矩阵控制的网络控制系统时延补偿策略

针对网络控制系统中的网络时延问题,根据预测控制中动态矩阵控制的特点,提出了一种基于动态矩阵控制的网络时延补偿策略。利用动态矩阵控制算法对网络控制系统中的时延信号的未来情况进行预测,用来补偿其在网络传输中的时延,并结合具体的实例进行仿真实验,通过与传统PID控制的比较,进一步验证了该策略的有效性和优越性。     

基于H.264/AVC的动态分组多描述编码方法研究

多描述编码是一种容错能力强,稳定性好的编码技术.以H.264/AVC中的分组概念为基础,通过将每个描述中的码流使用动态片组交换器分成主片组和次片组,并使用运动矢量的时空预测方法来代替普通的帧预测方法,基本上可以得到更优的率失真.实验表明,与固定划分片组的静态分组多描述编码比较,该方法以较少的冗余换取了更高的信噪比.     

基于OBDD的Iteration-free CPDL判定算法

命题动态逻辑是一种应用模态逻辑,用于程序行为的推理.Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑.对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有...     

生物硅藻土-动态膜生物反应器处理微污染原水的研究

以硅藻土作为基材开发了一种新型给水处理技术——生物硅藻土-动态膜反应器,并对该工艺系统处理微污染原水的去除性能进行了小试研究.结果表明,在通量为40 L/(m2.h)的条件下,系统对浊度有较好的去除效果,且出水浊度均在1 NTU以下.本工艺对CODMn和UV254也有较好的去除效果,去除率分别达58.14%和45.8%,这主要是由于硅藻土吸附、微生物降解和动态膜的分离作用;同时,反应器对氨氮的去除率也较好,达到90%以上,这主要基于反应器内微生物的分解作用.     

动态人脸识别系统的设计与实现

介绍了动态人脸图像的识别问题,包括模块结构设计、系统结构设计和系统的实现等方面.首先,设计了图像采集模块,通过摄像头在VC++环境下实现动态图像的采集、捕捉、存储等功能.其次,对人脸检测与识别的实现过程和算法进行了详细的阐述.设计出的动态人脸识别系统时间复杂度比较低,占用较少的系统空间资源,实验结果具有很高的准确率.     

IPSec双中心动态多点VPN网络的设计与实现

高校在进行多校区一体化管理的时候,往往会因为过多的公网传输而使数据面临极大的安全威胁.针对这个问题,选择采用IPSec VPN来实现校区间的隧道加密传输,并结合学校实际提出了双中心站点动态多点VPN的设计方案,增加了网络冗余,提高了网络安全.     

动态环境下几个改进微粒群算法的性能比较

微粒群算法是一种模拟动物群体行为的随机优化算法,而且已经提出了许多改进策略,然而,受各种不确定因素的干扰,现实世界中很少有系统是静态的,因此动态优化问题的研究更具有实际的工程意义。为此,在动态环境下,用最近提出的两个改进微粒群算法同标准微粒群算法以及其他两个高性能的改进微粒群算法进行性能比较和分析。通过比较,本文得出在不同的动态环境下,不同的算法表现出了相异的特点。     

一种动态不确定环境下的机器人路径规划算法

为了提高机器人在动态不确定环境下的实时性和适应能力,提出了一种机器人实时路径规划新方法.采用环境信息处理算法,通过搜索实时局部环境信息特征信息的方式对环境信息进行分析和处理.该方法能够捕捉动态障碍物并对动态障碍物的运动规律进行预测,将特征信息及时更新给运动动作规划算法部分.运动动作规划算法是通过引入启发式思想选择双安全子目标点,完成规划运动动作并实现优化路径.在不同环境下进行仿真实验,检验了算法的有效性,证明算法在动态不确定环境下具有良好的实时性和适应性。