认证协议中数据同步的分析

认证双方数据的同步是认证协议以及认证密钥交换协议的基本要求,但是在协议设计过程中难以把握且经常被忽视。对近年来可证明安全的一个RFID认证协议和一个RFID认证密钥交换协议以及可证明安全的一个移动卫星通信系统认证密钥交换协议进行了仔细分析,分别发现了针对这些协议的数据同步攻击,这些攻击破坏了协议的可用性。最后分别给出了改进方案,以克服存在的安全隐患。     

对公务员招聘问题的思考

本文利用层次分析法和0-1型整数规划建立了一个公务员招聘的数学模型,并结合实际提出了通用可行的算法。首先利用层次分析法确定了招聘人员面试成绩对用人部门的权重,再把笔试成绩转化为相应的权重,然后将笔试成绩和面试成绩对用人部门的权重结合起来,建立了权重计算模型。再把应聘人员的志愿转化为用人单位对应聘人员的权重,建立了双向选择的权重计算模型。然后确定最优方案模型,被选人员对用人单位的权重之和最大时的人员选取即为所求,从而建立了应聘人员最优选取的0-1整数规划模型,制定出最优的分配方案,并对一般情况即N个应聘人员M个用人单位时,对模型做了推广。最后利用Matlab和Lingo编程对上述模型和算法进行了实践求解。针对实际本文还充分考虑了多种情况下各种因素对人员招聘的影响,较完满地解决了公务员招聘问题,并检验了模型的合理性,文章分析了模型的优缺点和改进方向,同时提出了一些实用性建议。     

基于智能优化型径向基神经网络的板形模式识别研究

针对传统基于神经网络的板形模式识别方法具有网络精度较低、在线识别速度慢和网络模型建模复杂等技术问题,提出了一种基于智能优化型径向基神经网络的板形模式识别方法.在基于训练数据进行神经网络建模过程中,采用一种改进的粒子群优化控制算法进行网络架构节点数目和网络参数值的离线优化,因而所得方法具有网络结构简单、泛化能力强等优点.仿真实验结果表明,该方法是一种有效板形模式识别方法,有利于提高板形控制精度.     

具有多胞型摄动的时滞系统鲁棒稳定性

通过定义一个参数依赖的Lyapunov泛函,结合利用逆凸组合技术和一个矩阵不等式松散方法,得到了保守性小且计算复杂度低的鲁棒稳定性判据.算例表明新的判据显著地改进了已有的结果.