适用于Ad hoc网络的EIGamal型门限数字签名方案

现有ElGamal型门限数字签名方案在签名前签名各方需要协商生成一个随机数,该过程计算量与通信量比较大,不能满足Ad hoc网络的需求.将组合公钥的思想引入到ElGamal型门限数字签名的随机数生成中,为Ad hoc网络提出一种门限数字签名的改进方案.方案由密钥初始化和门限签名两部分组成.密钥初始化时,签名各方使用分布式密钥生成协议协商出系统公/私钥对和一个随机数矩阵,每个节点掌握部分私钥和部分随机数矩阵;门限签名时,每个签名方使用相同的算法在掌握的部分随机数矩阵中选择随机数进行部分签名;最后将部分签名合成整体签名.对提出的方案在随机预言(RO, Random Oracle)模型中进行了安全性证明.实用性分析表明:方案计算复杂度低,交互次数少,通信量小,有很好的执行效率与签名成功率.     

压电柔性结构振动的鲁棒控制

针对具有多面体型参数不确定性和外界扰动的柔性悬臂梁系统,研究其振动的鲁棒控制问题.基于压电柔性悬臂梁系统的状态方程,利用一种扩展LMI(Linear Matrix Inequality),对柔性悬臂梁的振动提出了改进的 H₂/H_∞ 综合状态反馈鲁棒控制方法.此方法针对多面体型参数不确定性系统引入不同的Lyapunov函数,降低了原来 H₂/H_∞ 综合鲁棒控制方法中由于使用一个公共Lyapunov函数而产生的保守性.通过Matlab分别采用改进和未改进的 H₂/H_∞ 鲁棒控制方法对柔性悬臂梁系统的振动控制进行了数值仿真.仿真结果表明,2种方法都使柔性悬臂梁的振动得到了良好控制,而改进方法的控制效果更好.     

基于SMO—SVR的飞机舵面损伤故障趋势预测

飞机舵面出现损伤时,为了更准确的预测状态参量变化情况,提出了一种改进的序贯最小优化支持向量回归(SMO-SVR, Sequential Minimal Optimization Support Vector Regression)预测方法.采用改进C-C平均方法对多元时间序列进行相空间重构,以确定最优嵌入维数m和延迟时间τ_d.根据所求m和τ_d建立加权SVR预测模型,并调整了SMO算法的停机准则.利用区间自适应粒子群算法(IAPSO, Interval Adaptive Particle Swarm Optimization)优化SVR参数,以提高参数优化速度.为了验证改进算法的有效性,针对飞机方向舵损伤故障趋势进行了预测和分析,并与径向基函数神经网络(RBFNN, Radial Basis Function Neural Network)方法进行了对比,仿真结果表明SMO-SVR预测模型具有很好的预测能力.     

基于能源分解的用户用电行为模式分析

随着智能电网的普及和大数据技术的发展，利用用电数据分析用户的用电行为越来越受到关注，现存的能源分解方法无法满足实际应用中对分辨率和分解准确率的高要求，以及聚类分析方法过于粗糙没有充分挖掘每类电器的用电特点。提出了基于能源分解的用户用电行为分析方法。在判别式稀疏编码算法模型的基础上，针对L₀正则项不易求解、L₁正则项稀疏约束效果不理想的问题，提出用L_1/2正则项稀疏约束进行能源分解，并且把用户之间的同质性作为正则项加入基础模型来修正模型的性能。基于能源分解的结果，使用用户单类电器的用电特征代替总用电特征精细化分析用户的用电行为，并改进传统的K-Mean聚类算法进行实验验证。实验结果表明:所提出的基于L_1/2正则项稀疏约束和同质性约束的能源分解方法相比于传统判别式稀疏编码算法，能够有效提升能源分解的准确率。同时，基于能源分解的用户用电行为聚类分析效果也有明显提升。      

GPS信号捕获与跟踪策略确定及实现

为了检测GPS(Global Positioning System)信号,设计了码环及载波环捕获与跟踪数字系统.序贯搜索与窄间隔超前-滞后型数字延迟锁相环的采用,保证了码相位的可靠捕获与精确跟踪,四相鉴频器、叉积自动频率跟踪算法及科思塔环载波相位跟踪算法的结合,既保证了载波频率(多普勒频移)的捕获速度,又使环路能有效地跟踪频率/相位变化,获得较好的动态性能与噪声性能.控制算法及参数确定的软化实现使系统具有较好的灵活性.基于扩频相关器与数字信号处理器的数字系统验证了上述方案的正确性及有效性.      

基于参数矩阵计算全体极小碰集的方法

极小碰集计算是基于模型诊断的关键步骤之一.针对参数化求解方法的局限性,以及大型系统诊断中由于状态空间规模增加导致诊断能力下降甚至无法诊断等问题,研究了一种非参数化极小碰集求解算法M-MHS(Matrix-based Minimal Hitting Set)算法.该算法利用参数矩阵描述元素与集合的关系,通过矩阵分解将原始问题逐步分解为多个子问题,并采用有效的剪枝规则避免对无解子问题的计算.仿真结果表明:该算法能够计算全体极小碰集,且在进行较大规模碰集计算时性能优于HSSE(Hitting Set-Set Enumeration)算法和去参数化后的BNB-HSSE(Branch and Bound-HSSE)算法,并对不同规律数据能够维持性能稳定,从而为大型系统基于模型诊断提供了可行方法.     

基于频偏校正的频率估计算法误差分析

介绍了基于频偏校正的频率估计算法原理,给出了算法在高斯白噪声背景下进行复正弦信号频率估计的标准差计算公式.在采样点数为N的情况下,对m的取值进行优化,得到当m取最接近N/3的整数时,算法的标准差达到最小值.Monte Carlo仿真试验结果表明:m取最接近N/3的整数时,频偏校正算法的标准差小于比值法(加汉宁窗)和相位差法,且在偏离FFT(Fast Fourier Transforms)离散谱线的频率变化范围内比较平缓.当信噪比较大时,优化取值后的算法标准差比m取最接近N/2的整数时小,且更加逼近克拉美-劳下限.     

基于智能卡的椭圆曲线数字签名算法的实现

椭圆曲线算法只需要较小长度的密钥就可以获得较高的安全性,因此非常适合用智能卡来实现椭圆曲线数字签名算法.首先介绍了智能卡提供的硬件加速模块的特点,为提高椭圆曲线数字签名算法的执行速度,采用射影坐标代替仿射坐标来表示椭圆曲线.最后给出了椭圆曲线数字签名算法的执行时间,结果表明,该算法能够有效地工作,与RSA和DSA算法相比,极大地减少了算法的执行时间.      

基于支持向量的迭代修正质心文本分类算法

针对质心分类算法容易产生归纳偏置或模型失配问题的不足,提出一种基于支持向量的迭代修正质心分类算法.该方法仅使用由支持向量机(SVMs,Support Vector Machines)选出的支持向量来构造质心向量,然后利用训练集误分样本来迭代修正初始质心向量.与其他分类算法相比,该算法取得较好的宏平均F₁和微平均F₁,在8个常用文本分类数据集上的实验验证了该算法的有效性,特别是在不均衡文本语料上.     

基于DFT的正弦波初相估计算法及误差分析

提出一种基于DFT(Discrete Fourier Transforms)频谱相位信息的正弦波初相高精度估计方法.该方法通过截取正弦波的两段长度不同的离散序列,利用它们的DFT系数来消去正弦信号的频率项,从而估计其初相.同时,给出了在高斯白噪声背景下,利用该种方法进行正弦波初相估计的均方根误差计算公式,此公式表明了均方根误差与信噪比及FFT(Fast Fourier Transforms)长度之间的关系.并以此均方根误差最小化为目标,对该估计方法进行了优化改进,得到方法中参数的最优选取方案.选择最优参数的过程即是对以均方根误差最小为目标的整数规划问题的求解过程.应用Monte Carlo仿真,将改进后的算法的性能与已有的几种典型算法的性能及Cramer-Rao下限进行了分析比较,并验证了所推导的均方根误差计算公式的正确性.      

XML数据安全系统的研究与实现

可扩展置标语言(XML,eXtensible Markup Language)正逐渐成为分布式计算的通用语言.随着XML的广泛应用,尤其是XML在电子商务中的广泛应用,XML数据的安全问题已成为关注的重点.分析了XML数据安全的特殊性,并在XML数字签名和XML加密技术的基础上,设计和实现了XML数字签名和XML加密系统.该系统能够对XML文档、XML元素以及任意二进制数据加密、签名,保证了XML数据的安全.      

一种基于身份的移动自组网认证机制

针对移动自组网无公钥基础设施的特点,采用基于身份的密码学算法、分布式秘密共享算法和椭圆曲线加密算法,实现安全高效的移动节点认证.简单讨论基于身份的数字签名算法;介绍如何使用Lagrange插值公式,实现分布式的系统主密钥;然后给出节点密钥安全分发的模型,并在此模型的基础上,基于椭圆曲线加密算法实现安全的分布式节点密钥签发;给出算法安全性和效率分析;根据双线性对的特点,讨论会话密钥的产生和更新.给出的认证方法,具有分布式实现和安全高效的特点,同时可以非交互式产生一次性会话密钥,适用于分布式移动网络环境.      

Java卡的可信代码装载机制设计

对满足可信计算平台(TCP,Trusted Computing Platform)需求的代码管理问题,提出了以Java卡为核心,以代码签名技术为主要手段,以卡内的安全域(security domain)作为各个软件权威(Java卡设备发行方和应用提供方)安全策略执行者的可信代码管理框架.新机制支持设备发行方软件的装载和更新,完善了应用提供方安全域的装载和更新流程,并对下载命令数据结构进行了扩充.解决了在复杂应用环境中,多个软件权威相互独立的限制条件下,代码的免人工广播式发布问题,扩展了传统Java卡软件装载模式,提高了系统的安全性,为使用Java卡平台进行可信计算提供保障.     

基于控制分配的一类变体飞行器容错控制

针对一类含有执行器故障的新型操纵面变体飞行器的容错控制问题,将控制分配方法和整数规划理论相结合,提出了一种基于控制分配的容错控制方法.首先设计虚拟控制律,使飞行器的状态变量跟踪参考模型.然后通过执行阵列重构将执行器的概率性故障及饱和约束转化为整数规划中的决策变量的约束,进而将控制分配问题转换成一类决策变量概率可变的整数规划问题.为保证解算的有效性及收敛性,运用改进的遗传算法进行求解.仿真结果表明,飞行器在执行器发生故障的情形下,仍具有良好的跟踪性能.      

基于自适应融合的弹道目标空间位置重构

由于进动锥体目标参数存在耦合,单部雷达不易获取同时参数估计误差较大。针对这一问题,提出了一种联合多部雷达不同视角微动信息进行参数提取与融合的新方法。首先,对进动目标进行了建模和散射点距离像分析,并利用Hough变换实现了锥顶散射点的关联。然后,联立2部雷达的微动信息作为求解单元来对耦合参数进行解耦,求出相应的参数。同时以进动角为例进行了误差方差分析,以融合后误差方差最小为原则对权系数进行了求解,并对其余参数进行了相同的处理。最后,在一个进动周期内,根据求出的锥体顶点坐标和锥旋轴矢量实现了锥体目标空间位置的重构。仿真结果表明该融合方法能够提高参数精度并能对锥体空间位置进行重构。     

基于半光程差的天线反射面型面精度检测

型面拟合最小量的选取是天线面板型面检测中的关键技术之一.天线表面各点半光程差的均方根是衡量天线型面精度的指标.根据圆锥曲面的几何定义及其光学性质,提出了圆锥曲面天线面板半光程差的直接计算方法,给出了基于半光程差的非线性最小二乘曲面拟合算法.以旋转抛物面天线面板为例,通过模拟和实际测量,对比分析了分别选取轴向误差和半光程差作为最小量拟合计算结果.试验验证了选取半光程差作为最小量拟合的算法具有更高的数值计算精度及稳定性.      

电子车钥匙环境下的口令认证密钥交换协议

车联网的快速发展促进了电子车钥匙的研发，为解决基于智能手机的电子车钥匙与车锁之间的通信安全问题，提出了电子车钥匙场景下的安全模型和口令认证密钥交换协议。所提协议通过智能手机的协助，完成车钥匙与车锁之间的认证，即使智能手机被恶意代码侵袭或者丢失，所提协议也能保护用户的隐私。在安全模型下进行的安全性证明和性能分析表明，所提协议能够抵御字典攻击、中间人攻击、重放攻击、用户伪装攻击、内部攻击等。在计算消耗方面，所提协议性能优于同类型其他协议，减少了50.7%的计算消耗总量。      

加密 |n|+k bit明文的高效公钥概率加密体制

基于二次剩余和高次剩余的困难问题,通过选择适当的参数,在不增加密文长度的情况下, 对Paillier和Pointcheval提出的公钥概率加密体制的效率和加密的明文长度进行改进,能以更高的效率加密|n|+k bit长度的明文消息,并分析了改进后加密体制的效率和安全性,改进加密体制的安全性与原加密体制的安全性、模n的高次剩余问题以及二次剩余问题等价.与原Paillier-Pointcheval加密体制相比,改进的加密体制具有加、解密效率高,传输数据量低,加密明文长等特点.