AB与BA正则性谱之间的关系

主要研究Banach空间X上AB和BA的正则性谱之间的关系,证明了σRi(AB)＼{0}=σRi(BA)＼{0}(其中i=1,…,15),并在A,B是单射的条件下得到了σR3(AB)=σR3(BA).     

一般线性李代数的抛物子代数上保李积的非线性可逆映射

设F是特征为零的域,gl(n,F)为域F上的一般线性李代数,Tn为域F上全体n×n阶上三角矩阵李代数,称gl(n,F)中包含Tn的所有子代数为gl(n,F)的抛物子代数.决定出gl(n,F)上的任意标准抛物子代数P的形式,证明了任意抛物子代数P上的映射φ是保李积的非线性可逆映射当且仅当存在可逆矩阵T∈P,映射x:P→F和域F的自同构f,使得φ([aij])=T[f(aij)]T-1+x([aij])I或φ([aij])=-R(T[f(aij)]T-1)tR-1+x([atj])I,对任意的[aij]∈P,其中R=n∑i=1(-1)iE1.n+1-i,x满足对任意的A∈(-P)={[x,y]|x,y∈P},总有x(A)=0.     

多种群遗传算法在蛋白质三维结构预测中的应用

通过蛋白质的氨基酸序列预测其空间结构可归结为一个多变量多极值的全局优化问题。本文在三维AB非格模型的基础上,采用多种群遗传算法来预测蛋白质三维结构。它结合了不同种群的全局搜索和局部搜索能力,较好地克服了传统的遗传算法易陷入局部最优、收敛慢等缺点。在目前广泛使用的斐波纳契序列上进行实验,结果表明该算法具有良好的性能和精度。     

移动群智感知安全与隐私:模型、进展与趋势

移动群智感知作为一种新兴的物联网感知范式,通过激励现代化智能感知设备获得高质量的感知数据,从而高效地完成大规模且复杂的社会感知任务并服务人类社会.移动群智感知系统由感知用户、感知平台和服务提供商组成,在感知任务执行过程中,感知数据经历感知、上传和交易三个阶段,各阶段均面临多种多样的数据安全和隐私泄露风险,危害感知用户隐私和感知数据安全.首先介绍移动群智感知的系统模型、实际应用场景并给出主要安全研究方法,以感知数据参与感知任务的生命周期为轴线,讨论在感知数据生命周期的三个阶段所面临的安全与隐私威胁;在上述威胁基础上,分别从三个阶段系统阐述现有的数据安全与隐私保护解决方案;最后,从隐私度量、隐私框架、隐私保护和隐私计算等方面探讨进一步的发展趋势与研究方向.     

基于随机搜索规则的软件体系结构层性能演化优化方法

已有的基于规则的软件体系结构(Software Architecture,SA)层性能优化方法大多未充分考虑优化过程中各规则的改进幅度、使用次数和使用顺序的不确定性,导致了搜索空间受限而难以获取更优的性能改进方案。针对该问题,基于SA层性能改进策略定义一组随机搜索规则,以增大各规则的性能改进空间;在此基础上考虑这些规则的不同使用顺序和不同使用次数的组合情况,构建SA层性能优化模型RRPOM,并设计演化求解算法,进而形成一种SA层性能优化方法RRMO4PO。与已有方法在WebApp应用案例上的实验对比表明,该方法在使用更少的规则、更少次修改SA元素而获取更好可解释性的同时,有效减少了系统响应时间和改进代价。在最好的情况下,平均使用有改进效果的规则的次数和平均修改SA元素的次数较已有方法分别降低了33.3%和52.9%,与此同时将系统响应时间和改进代价分别降低了30.5%和73.6%。     

支持批量认证和隐私保护的无线Mesh网络切换认证方案

为了在任何时间、任何地点向移动终端提供无缝网络服务,切换认证技术显得尤为重要.从认证节点的隐私保护出发,提出了一种基于身份且支持批量认证的切换认证方案,并且认证过程无需第三方参与.方案中,认证双方无复杂的双线性对运算,移动节点经两次握手可实现安全切换.相比其他方案,该方案不仅满足了认证的安全性要求,还具有较高的认证效率和支持批量认证的优点.     

部分级联特征的离线手写体汉字识别方法

针对汉字类别多、风格多等识别难点,提出了一种基于LS-SVM的部分级联特征分类的离线手写体识别方法.具体包括霍夫空间加权采样和局部二值分布直方图两种新的特征提取算法,其可将任意大小的图像映射到固定长度的特征向量上,克服了已有特征提取算法的需要归一化、对笔画密度分布敏感等缺点;提出了基于部分级联特征的分类方式;提出了常见多分类方式的类别与正确率的关系,并给出了相应的数学证明.     

一种健壮的超像素跟踪算法

在目标跟踪中,传统的超像素跟踪算法在发生遮挡等情况后,会将非目标超像素标记为目标加入到特征空间. 在对候选样本置信度计算中,利用特征空间中最近邻超像素来划定样本中超像素的簇归属会产生错误;而依据的近邻超像素数量过多时,又会造成分类误差的积累. 为解决上述问题,本文提出一种健壮的超像素跟踪算法. 本算法以贝叶斯算法为框架,首先,将前几帧进行超像素切割,提取特征并使用均值漂移聚类算法和基于超像素的外观表示模型进行分类和计算类置信度,放入特征空间中. 其次,根据接下来几帧的平均中心误差确定最佳近邻数目. 最后,在跟踪过程中,对获取帧的指定区域进行超像素切割,提取特征、进行软分类和计算置信度;根据上一帧目标位置进行高斯采样,累加样本内超像素置信度,获得样本置信度;在发生严重遮挡时,不进行滑动窗口更新和外观模型修改,使用当前模型继续跟踪. 与传统的最近邻超像素算法相比,本算法能够有效提升跟踪成功率和降低平均中心误差.     

基于LPV模型的鲁棒故障检测滤波器设计

针对航空发动机动态过程中由于模型误差造成故障检测误报的问题,采用雅克比方法建立航空发动机动态线性变参数(LPV)数学模型反映发动机动态特性,利用特征结构配置法设计故障检测滤波器,较好地消除了模型偏差对故障检测准确率的影响.通过某型涡扇发动机控制系统传感器典型软、硬故障检测仿真实验表明,该方法提高了残差信号对模型误差和未知输入信号的鲁棒性,对发动机加减速过渡过程中故障检测准确度高,实时性好.     

涉及分担值的亚纯函数正规定则

运用Zalcman-Pang引理,研究了亚纯函数族的微分多项式具有分担值的正规性问题,所得定理推广了卢谦、顾永兴等相关研究结果.