摘要：无证书密码体制(CL-PKC)是一类新型公钥密码体制.它保持了基于身份的密码体制(ID-PKC)不需要使用公钥证书的优点,又较好地解决了基于身份的公钥体制所固有的密钥托管问题.对无证书体制下安全高效的签名方案的设计方法的研究是受到高度关注的研究课题.文中给出了一类无证书签名方案的构造方法,并在一个很强的安全模型下对用该方法所构造的方案的安全性进行了证明.文中对新构造的方案与已有的一些同类方案的性能进行了比较.结果显示新方案在整体性能上有一定的优势.

摘要：针对带输出传输滞后的线性离散系统,讨论了其状态观测器设计问题.利用滞后输出信息,给出了状态观测器的设计方法,并得到状态观测器存在的充要条件,进而设计出基于观测器的输出动态反馈控制器,证明了闭环系统满足极点分离原理.数值仿真验证了所提出方法的有效性.

摘要：针对存在传输滞后的线性离散系统的状态反馈镇定问题,给出了系统可镇定的一个内部限制条件.为克服这一限制条件,提出了两种方法:一种是充分利用滞后状态的信息,另一种是设计带有递推动态的状态反馈控制器.研究结果表明,若系统在没有传输滞后时能通过状态反馈被镇定,则存在传输滞后时一定也能通过设计新的控制器使系统被镇定.

摘要：运用可验证秘密分享和可验证加密技术设计了一个安全的双方公平交换协议。该协议引入了分布式的半可信第三方,与已有的具有单一半可信第三方的公平交换协议相比,分布式半可信第三方的存在使新协议的安全性和公平性得到了更好的保证。

摘要：研究在新提出的无证书公钥密码系统下的代理签名问题,给出了无证书代理签名方案非常强的安全模型.该安全模型下的攻击者是能力最强的超级类型I和类型II攻击者.同时,利用双线性映射设计了一个高效的无证书代理签名方案.其安全性基于计算Diffie-Hellman问题的困难性,并在此安全模型下给出正式的安全证明.鉴于方案的安全、高效和无证书管理的优点,它可广泛应用于电子商务、移动代理系统等方面.

摘要：FIR低通滤波器的频域设计是一个带线性约束的优化问题,通过引入拉格朗日乘子可以将约束问题转化为无约束问题。本文用改进的微粒群算法求解转化后的FIR滤波器的优化设计问题。但是,在引入拉格朗日乘子后,求解线性约束问题的微粒群优化变得复杂,而根据拉格朗日对偶原理,可将拉格朗日乘子分离出来进行优化。这样,带线性约束的FIR滤波器的优化设计,通过微粒群优化及少量迭代就可得到最优解。最后通过低通滤波器的设计证明该方法的效果优于不带约束的微粒群算法。

摘要：本文以经典的五皇后问题为背景提出一种程序设计方法——伴随序列法 .这种方法适用的题目具有这样的特点 :已经知道其递归公式 ,想要求出满足条件的序列 .此法很有效 。

摘要：本文提出了一种基于微粒群(PSO)算法优化的微硅加速度传感器动态误差补偿器的设计方法。该方法无需事先已知微硅加速度传感器的动态特性,可根据传感器以及参考模型对输入激励响应的实测数据,通过PSO算法的优化学习得到补偿器的参数。传感器的输出经过补偿器后,能够克服由动态特性引起的测量误差。最后,通过实验验证了该方法的有效性。

摘要：通过模型参考的系统辨识方法建立传感器的动态补偿器,常用的系统辨识采用均方误差(mean square error, MSE)为评判标准.但是,由于测量噪声存在和补偿器的频率特性,使得补偿器的输入/输出信号存在严重的噪声干扰,采用MSE为评判标准的系统辨识方法,无法得到最优的补偿器的参数.为此,本文研究了一种以误差白化(error whitening criterion,EWC)为评判标准,设计传感器动态补偿器的系统辨识方法.该方法无需事先已知系统的动态特性,根据传感器以及参考模型对输入激励响应的实测数据,以EWC为代价函数,通过优化辨识得到补偿器的参数.最后,通过实验验证了该方法的有效性.

摘要：如果在设计递归程序时首先写出它的递归公式 ,那么编码过程会大大简化 ,而且得到的程序具有极好的可读性 .这一思想有助于递归程序的标准化 。