基于威布尔分布函数的自适应MEWMA图多目标优化设计

1

作者 王海宇 《运筹与管理》 CSSCI CSCD 北大核心 2024年第3期8-14,共7页

为了提高MEWMA控制图的监控效率,提出了一种基于威布尔分布函数的自适应MEWMA图构造方法,以平均产品长度和单位产品质量成本为目标函数,从统计性和经济性两方面建立了自适应MEWMA图优化设计模型,并采用逼近理想解排序法给出了面向一个... 为了提高MEWMA控制图的监控效率,提出了一种基于威布尔分布函数的自适应MEWMA图构造方法,以平均产品长度和单位产品质量成本为目标函数,从统计性和经济性两方面建立了自适应MEWMA图优化设计模型,并采用逼近理想解排序法给出了面向一个偏移区间范围的多目标优化步骤。最后,将本文提出的自适应MEWMA图方法与其它两种自适应多元控制图和已有的MEWMA经济统计设计分别进行比较,结果表明该自适应MEWMA图多目标优化设计在统计性能和经济性能上均具有明显的优势。 展开更多

关键词 自适应MEWMA图 平滑函数 平均产品长度 逼近理想解排序法 多目标优化

在线阅读 下载PDF 职称材料

四旋翼飞行器的RBF神经网络鲁棒自适应控制

2

作者 马振伟 白浩 +1 位作者 陈洪波 王劲博 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2024年第5期1620-1628,共9页

针对具有模型不确定性和有界外部扰动的四旋翼飞行器,提出了一种基于径向基函数神经网络的鲁棒自适应全局控制方法(RRAC)。所提方法结合了神经网络控制对未知非线性的强拟合能力和鲁棒控制的全局稳定性,解决了神经网络控制仅能实现半全... 针对具有模型不确定性和有界外部扰动的四旋翼飞行器,提出了一种基于径向基函数神经网络的鲁棒自适应全局控制方法(RRAC)。所提方法结合了神经网络控制对未知非线性的强拟合能力和鲁棒控制的全局稳定性,解决了神经网络控制仅能实现半全局一致最终有界的问题,实现了控制精度和鲁棒性的双重提升。所设计的控制器由在近似域内工作的神经网络控制器和在近似域外工作的鲁棒控制器组成。引入一种新型切换函数来实现两者之间的平滑切换,以保证闭环系统的所有信号是全局一致最终有界的。利用Lyapunov函数和Barbalat引理严格证明了非线性四旋翼飞行器系统的稳定性。仿真表明,所设计的控制器在模型不确定性和有界外部扰动下对参考轨迹依旧保持良好的跟踪性能,且跟踪误差趋近于零。 展开更多

关键词 四旋翼飞行器 RBF神经网络 鲁棒自适应控制 平滑切换函数 全局一致最终有界

在线阅读 下载PDF 职称材料

基于稳定成像条件的保幅叠前深度偏移 被引量：9

3

作者 叶月明 李振春 +2 位作者 仝兆岐 杨敬磊 朱绪峰 《石油地球物理勘探》 EI CSCD 北大核心 2009年第1期28-32,共5页

基于炮域的保幅偏移必须应用反褶积成像条件才能达到保幅目的,但是基于阻尼型反褶积成像条件存在明显缺陷,即当分母项趋于零值的时候,会出现计算不稳定现象,严重地影响了成像质量。为此,本文基于高斯窗函数,对反褶积成像条件中的分母项... 基于炮域的保幅偏移必须应用反褶积成像条件才能达到保幅目的,但是基于阻尼型反褶积成像条件存在明显缺陷,即当分母项趋于零值的时候,会出现计算不稳定现象,严重地影响了成像质量。为此,本文基于高斯窗函数,对反褶积成像条件中的分母项进行平滑,消除了分母项中奇异值的影响,既保持了原有的反褶积型成像条件,又保持了计算的稳定性。模型试算和实际资料处理结果表明,在合适的平滑参数控制下,基于平滑函数型稳定保幅成像条件的叠前深度偏移既能提高保幅偏移的稳定性,又能较好地压制偏移噪声,获得了较好的成像结果。 展开更多

关键词 保幅叠前深度偏移 成像条件 高斯窗函数 平滑函数 单程波方程

在线阅读 下载PDF 职称材料

易于分割的一种图像重构方法 被引量：2

4

作者 沈会良 李志能 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2001年第2期201-203,共3页

在自然环境光下获取的图像 ,由于光照方向、强度、不均匀性的不断变化导致很大的不一致 ,给图像分割带来极大的困难 ,为此提出了一种易于实现图像分割的重构方法 .该方法首先分离出图像的边缘部分与平滑部分 ,再按一定规则重构图像 。

关键词 图像分割 重构 平滑函数

在线阅读 下载PDF 职称材料

基于A^(*)算法的电子游戏路径优化处理 被引量：4

5

作者 李子涵 孙建红 王永利 《电子设计工程》 2021年第13期1-5,共5页

针对传统A^(*)寻路算法得到的原始路径中冗余点多、拐弯处不平滑等问题,提出一种路径优化及路径平滑方法。通过对环境中的障碍物进行膨胀处理,得到安全原始路径;使用射线检测法,删除路径中的所有冗余节点,取得关键节点;通过插值法在关... 针对传统A^(*)寻路算法得到的原始路径中冗余点多、拐弯处不平滑等问题,提出一种路径优化及路径平滑方法。通过对环境中的障碍物进行膨胀处理,得到安全原始路径;使用射线检测法,删除路径中的所有冗余节点,取得关键节点;通过插值法在关键节点间补足节点数,代入拟曲线平滑函数,得到平滑后路径,克服平滑后路径中存在的少量畸变,改进关键点间的插值方法,得到改进分段拟曲线平滑方法。将所提方法中的路径与原始路径对比发现,路径转折数减少50%以上;对比贝塞尔曲线平滑法,路径拐弯处平均曲率半径增大11.77%,且无畸变。仿真测试结果表明,所提方法有效优化了A^(*)算法所得原始路径的视觉效果。 展开更多

关键词 A^(*)寻路算法 路径规划 障碍物膨胀 路径优化 路径平滑函数

在线阅读 下载PDF 职称材料

基于改进GMRES算法的水冷壁运动机器人路径跟踪模型预测控制 被引量：3

6

作者 黄巍 占红武 胥芳 《高技术通讯》 CAS 2021年第10期1090-1100,共11页

针对水冷壁爬壁机器人(WWCB)路径跟踪问题,提出一种快速非线性模型预测控制(NMPC)算法。定义WWCB与虚拟目标的跟踪误差,将跟踪问题转化为Bolza形式的NMPC最优控制问题。通过引入半平滑函数,对不等式进行优化处理,构建最优化必要条件。... 针对水冷壁爬壁机器人(WWCB)路径跟踪问题,提出一种快速非线性模型预测控制(NMPC)算法。定义WWCB与虚拟目标的跟踪误差,将跟踪问题转化为Bolza形式的NMPC最优控制问题。通过引入半平滑函数,对不等式进行优化处理,构建最优化必要条件。基于庞特里亚金极小值原理建立广义哈密顿函数,采用连续/广义极小残量算法(C/GMRES)计算求解,并引入多重打靶法提高运算精度。同时对GMRES算法残量求取方式进行了优化以提高运行效率。对伯努利双纽线和圆形路径进行了跟踪仿真,验证了本文的跟踪控制快速算法的有效性。 展开更多

关键词 水冷壁爬壁机器人(WWCB) 非线性模型预测控制(NMPC) 半平滑函数 连续/广义极小残量算法(C/GMRES) 多重打靶法 路径跟踪

在线阅读 下载PDF 职称材料

基于Kalman滤波的过程调节与质量监控方法 被引量：9

7

作者 殷建军 余忠华 +1 位作者 李兴林 王兆卫 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2008年第8期1419-1422,共4页

针对加工过程质量监控问题,提出了基于Kalman滤波原理的过程质量调节方法,推导了Grubbs调节模型和扩展Grubbs调节模型.应用能量原理和信噪比概念,给出了评定过程质量的平滑梯度指标函数及平滑处理方法,并利用该指标函数建立了过程调节... 针对加工过程质量监控问题,提出了基于Kalman滤波原理的过程质量调节方法,推导了Grubbs调节模型和扩展Grubbs调节模型.应用能量原理和信噪比概念,给出了评定过程质量的平滑梯度指标函数及平滑处理方法,并利用该指标函数建立了过程调节与质量监控策略,解决了控制图不能直接参与过程质量调节的局限性.根据给出的过程调节准则,通过监控指标函数所处的阈值区间来确定是否介入或退出过程调节活动,从而避免可能出现的过调节或欠调节现象,实现与统计过程控制(SPC)方法的有效集成.模拟试验和实际应用结果表明,平滑梯度指标函数具有较高的过程质量评定能力,调节模型与质量监控方法是行之有效的. 展开更多

关键词 KALMAN滤波 质量损失平滑梯度函数 过程调节 质量监控

在线阅读 下载PDF 职称材料

高速铁路CPⅢ平面控制网相邻区段搭接方法研究 被引量：18

8

作者 黄志伟 刘成龙 +2 位作者 王化光 何波 赵梦杰 《铁道科学与工程学报》 CAS CSCD 2010年第6期111-115,共5页

在建立高速铁路CPⅢ控制网时,由于相邻区段两次都测量存在误差,因此必须需要对相邻区段重叠CPⅢ点的坐标进行搭接。在原有搭接方法的基础上,提出余弦函数平滑的搭接方法,介绍了该方法的数学模型,推导了余弦函数平滑后CPⅢ相邻点间的相... 在建立高速铁路CPⅢ控制网时,由于相邻区段两次都测量存在误差,因此必须需要对相邻区段重叠CPⅢ点的坐标进行搭接。在原有搭接方法的基础上,提出余弦函数平滑的搭接方法,介绍了该方法的数学模型,推导了余弦函数平滑后CPⅢ相邻点间的相对点位精度计算模型。理论分析和实测数据的对比分析结果表明:该方法在区段搭接中较传统方法好,值得在高速铁路工程实践中推广应用。 展开更多

关键词 相邻区段搭接 余弦函数平滑 相对点位精度 轨道控制网CPⅢ

在线阅读 下载PDF 职称材料

逆动态方法的改进与验证 被引量：2

9

作者 吕炜枫 李富 +4 位作者 周旭华 颜见秋 王登营 位金锋 郭炯 《核电子学与探测技术》 CAS CSCD 北大核心 2010年第1期34-38,共5页

逆动态方法是一种有效的实时反应性测量方法,此方法实现的关键是准确地计算中子信号的导数和积分,导数对于测量信号中的噪声很敏感,而噪声是不可避免的。论文研究了几种降低噪声影响的方法,包括低通滤波器和平滑样条函数的方法,并进行... 逆动态方法是一种有效的实时反应性测量方法,此方法实现的关键是准确地计算中子信号的导数和积分,导数对于测量信号中的噪声很敏感,而噪声是不可避免的。论文研究了几种降低噪声影响的方法,包括低通滤波器和平滑样条函数的方法,并进行了数值仿真,证明平滑样条函数能有效地消除测量信号中的噪声,直至5%信噪比的信号都能取得较好的结果,并且不产生延迟。因此,消除噪声的算法是逆动态方法实现的一个关键基础,平滑样条函数是一个较好的选择。 展开更多

关键词 逆动态法 平滑样条函数 数字滤波器

在线阅读 下载PDF 职称材料

移动机器人路径动态规划有向D~*算法 被引量：28

10

作者 刘军 冯硕 任建华 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2020年第2期291-300,共10页

针对传统D~*路径规划算法搜索效率低、成本较高的问题,提出有向D~*算法.该算法考虑目标点与障碍物信息,引入关键节点概念,逐级扩展确定可行路径,并且引入导向函数以控制单次搜索的节点搜索范围来提高搜索效率;在原欧几里得评价指标的基... 针对传统D~*路径规划算法搜索效率低、成本较高的问题,提出有向D~*算法.该算法考虑目标点与障碍物信息,引入关键节点概念,逐级扩展确定可行路径,并且引入导向函数以控制单次搜索的节点搜索范围来提高搜索效率;在原欧几里得评价指标的基础上引入路径平滑度函数对偏移路径进行惩罚,避免机器人无效转弯而增加移动成本;通过路径平滑度函数中的"转弯因子"协调路径长度与平滑度之间的关系,给出路径平滑度函数的分段原理与转弯因子的确定方法,并对算法收敛性进行证明.在不同环境下的仿真实验表明,该算法较传统算法能更好地兼顾局部搜索与全局最优性,尤其适用于障碍物较多的复杂环境. 展开更多

关键词 动态路径规划 有向D*算法 导向函数 路径平滑度函数 转弯因子

在线阅读 下载PDF 职称材料

一种基于共轭梯度的正则化OT图像重建算法

11

作者 金永明 王加俊 《微电子学与计算机》 CSCD 北大核心 2006年第7期96-98,101,共4页

文章基于OT扩散方程模型提出了一种正则化共轭梯度OT图像重建算法,通过引入图像熵和局部平滑函数为正则化项以克服重建问题中的病态特性。与简单的共轭梯度重建算法相比,重建图像的MSE值分别为0.4413*10-4和0.4819*10-4。研究表明,正则... 文章基于OT扩散方程模型提出了一种正则化共轭梯度OT图像重建算法,通过引入图像熵和局部平滑函数为正则化项以克服重建问题中的病态特性。与简单的共轭梯度重建算法相比,重建图像的MSE值分别为0.4413*10-4和0.4819*10-4。研究表明,正则化的OT图像重建算法能有效降低重建中的病态性,提高图像重建质量。 展开更多

关键词 (OT)光学层析成像 扩散方程 正则化 最大熵 局部平滑函数 共轭梯度

在线阅读 下载PDF 职称材料

基于SCAD-ESN的时间序列预测模型 被引量：4

12

作者 张各各 徐珍 +1 位作者 曾波 陈祥涛 《工程科学与技术》 EI CAS CSCD 北大核心 2017年第6期129-134,共6页

回声状态网络(ESN)是一种重要的时间序列预测方法,但在训练数据存在噪声或野点情况下,ESN将会出现过拟合问题。针对该问题,提出基于平滑消边绝对偏离罚函数的回声状态网络(SCAD-ESN)模型。不同于在模型中加入岭回归、L1范数罚函数及小... 回声状态网络(ESN)是一种重要的时间序列预测方法,但在训练数据存在噪声或野点情况下,ESN将会出现过拟合问题。针对该问题,提出基于平滑消边绝对偏离罚函数的回声状态网络(SCAD-ESN)模型。不同于在模型中加入岭回归、L1范数罚函数及小波降噪等常规方法,该模型利用SCAD罚函数对变量进行选择,将小变量置为零以满足变量稀疏性,将大变量直接置为常数,从而能够很好地解决ESN过拟合问题并满足近似无偏估计。对于SCAD罚函数的非凸函数优化问题,提出基于局部二次近似(LQA)的求解方法,将最小角回归(LQR)方法用于SCAD罚函数求解,避免了计算量巨大的问题。使用基于粒子群优化(PSO)的超参数选取方法快速确定平滑消边绝对偏离–回声状态网络模型的超参数,克服利用经验选取超参数时存在的盲目性较大且难以确定整体最优的超参数问题。混沌系统数值仿真和网络流量仿真结果表明,相对于常规模型,该模型能有效地降低测试误差,从而克服过拟合问题。 展开更多

关键词 混沌时间序列预测 回声状态网络 平滑消边绝对偏离罚函数 粒子群算法

在线阅读 下载PDF 职称材料

基于直驱系统的分域滑模控制研究

13

作者 刘伟业 杨庆东 张栋梁 《北京信息科技大学学报（自然科学版）》 2018年第2期30-34,共5页

针对机床直驱系统中的滑模控制在大范围变载的情况下出现的稳定性和快速性的矛盾以及传统滑模控制的抖振问题,设计了一种分域滑模控制方法。该方法利用负载大小作为分域控制的依据,对滑模面积分系数进行调整,以解决系统的超调和调节时... 针对机床直驱系统中的滑模控制在大范围变载的情况下出现的稳定性和快速性的矛盾以及传统滑模控制的抖振问题,设计了一种分域滑模控制方法。该方法利用负载大小作为分域控制的依据,对滑模面积分系数进行调整,以解决系统的超调和调节时间的矛盾;采用平滑函数取代符号函数,以削弱抖振。分析了永磁直线同步电机的工作原理及数学模型,给出了控制的设计过程,证明了系统的鲁棒性。仿真结果证明了控制系统的有效性和优越性。 展开更多

关键词 分域滑模控制 永磁直线同步电机 大范围变载 平滑函数

在线阅读 下载PDF 职称材料

基于迭代近端投影的二维欠采样合成孔径雷达成像 被引量：2

14

作者 李家强 郭桂祥 +1 位作者 陈金立 朱艳萍 《电子与信息学报》 EI CSCD 北大核心 2022年第6期2127-2134,共8页

合成孔径成像雷达(SAR)具有数据量大、采样率高等特点,针对传统压缩感知(CS)的SAR成像存在精度低及抗噪性能差的问题,该文提出一种基于迭代近端投影(IPP)的2维欠采样合成孔径雷达成像重建方法。即通过对雷达回波构建为距离频域-方位多... 合成孔径成像雷达(SAR)具有数据量大、采样率高等特点,针对传统压缩感知(CS)的SAR成像存在精度低及抗噪性能差的问题,该文提出一种基于迭代近端投影(IPP)的2维欠采样合成孔径雷达成像重建方法。即通过对雷达回波构建为距离频域-方位多普勒域的2维稀疏表示模型,在此基础上将成像问题转化为距离向和方位向压缩感知稀疏重构问题,利用迭代近端投影算法的函数优化模型来表示合成孔径雷达成像中的稀疏表示,最后采用平滑削边绝对偏离(SCAD)罚函数获得近端算子以求解该模型并进行成像。仿真与实测数据处理结果表明,所提方法成像效果更好。 展开更多

关键词 SAR成像 压缩感知 迭代近端投影 平滑削边绝对偏离罚函数

在线阅读 下载PDF 职称材料

基于数字图像处理的字迹识别技术探讨 被引量：3

15

作者 陆金江 《兰州工业学院学报》 2020年第5期52-55,共4页

针对传统字迹识别方法中存在的识别精度低、识别耗时长等问题,提出基于数字图像处理的字迹识别方法.采用领域平均法对字迹图像进行降噪处理,将字迹图像进行多尺度小波分解,提取字迹图像在不同尺度下的小波系数;通过平滑函数平滑后获取... 针对传统字迹识别方法中存在的识别精度低、识别耗时长等问题,提出基于数字图像处理的字迹识别方法.采用领域平均法对字迹图像进行降噪处理,将字迹图像进行多尺度小波分解,提取字迹图像在不同尺度下的小波系数;通过平滑函数平滑后获取字迹图像的幅角,并对字迹图像进行拉伸处理,完成图像的增强;在采用数字图像处理技术对字迹进行识别时,通过灰度统计直方图对字迹图像进行灰度处理;采用归一化方法对字迹特征进行提取,通过傅里叶变换方法对字迹图像的频谱、相位角以及功率谱进行识别,完成基于数字图像处理的字迹识别.仿真结果表明:采用本文所提方法对字迹进行识别的精度可达98%,且识别速度较快,具有一定可行性. 展开更多

关键词 数字图像处理 字迹识别技术 领域平均法 多尺度小波分解 平滑函数 傅里叶变换方法

在线阅读 下载PDF 职称材料

基于时间序列缺失数据的GAM短期电力负荷预测 被引量：1

16

作者 刘佳星 《科学技术创新》 2022年第8期5-8,共4页

可靠、准确的区域用电负荷预测对于电力系统的运行和规划至关重要,短期负荷预测有助于经济运行、调度电力。考虑到时间序列数据从采集、传输到存储的过程中可能出现数据缺失这一情况,为此本文基于广义相加模型,建立短期电力负荷预测模... 可靠、准确的区域用电负荷预测对于电力系统的运行和规划至关重要,短期负荷预测有助于经济运行、调度电力。考虑到时间序列数据从采集、传输到存储的过程中可能出现数据缺失这一情况,为此本文基于广义相加模型,建立短期电力负荷预测模型。首先对数据进行规范化和数据插补预处理,然后在GAM模型中调用合适的平滑函数、设置最佳参数,在R平台上对时间序列数据进行短期负荷预测,最后实验得出短期内的用电高峰和低谷时段。 展开更多

关键词 广义相加模型 非参数平滑函数 缺失值填补 短期负荷预测 R语言

在线阅读 下载PDF 职称材料

央行货币政策操作特征检验:线性抑或非线性

17

作者 董亚娟 《浙江金融》 2020年第2期27-40,共14页

本文在一般均衡框架下拓展了线性理性预期模型,将通胀惯性引入菲利普斯曲线,构建了非线性的逻辑平滑转换回归模型,通过对货币政策的线性函数和非线性函数估计结果的比较,发现我国货币政策以预期通胀率作为转移变量的非线性特征非常明显... 本文在一般均衡框架下拓展了线性理性预期模型,将通胀惯性引入菲利普斯曲线,构建了非线性的逻辑平滑转换回归模型,通过对货币政策的线性函数和非线性函数估计结果的比较,发现我国货币政策以预期通胀率作为转移变量的非线性特征非常明显,转移变量的阈值和转移速度的变化更符合我国实际的货币政策操作事实,同时货币政策中有明显的利率惯性和平滑效应特征。 展开更多

关键词 货币政策 产出缺口 通胀率 逻辑平滑转换函数

在线阅读 下载PDF 职称材料

基于改进遗传算法的机器人路径规划方法 被引量：7

18

作者 汤云峰 赵静 +3 位作者 谢非 李鑫煌 林智昌 刘益剑 《南京师范大学学报（工程技术版）》 CAS 2021年第3期49-55,共7页

针对基本遗传算法在机器人路径规划中存在收敛速度慢、易陷入局部最优解的问题,提出一种改进的遗传算法.在适应度函数中增加带有惩罚项的平滑度函数;引入精英保留机制,保留每一代最优个体;自适应调整交叉概率和变异概率,使交叉概率和变... 针对基本遗传算法在机器人路径规划中存在收敛速度慢、易陷入局部最优解的问题,提出一种改进的遗传算法.在适应度函数中增加带有惩罚项的平滑度函数;引入精英保留机制,保留每一代最优个体;自适应调整交叉概率和变异概率,使交叉概率和变异概率随进化次数变化而变化.利用MATLAB在两种障碍物地图中与其他两种算法进行仿真对比分析,实验结果表明,改进后的算法在路径规划的应用中有效减少了机器人的转弯次数,提高了逃离局部最优路径的能力,寻优能力更强. 展开更多

关键词 机器人 遗传算法 平滑度函数 精英保留 路径规划

在线阅读 下载PDF 职称材料

格上基于密文标准语言的可证明安全两轮口令认证密钥交换协议 被引量：4

19

作者 尹安琪 曲彤洲 +3 位作者 郭渊博 汪定 陈琳 李勇飞 《电子学报》 EI CAS CSCD 北大核心 2022年第5期1140-1149,共10页

降低口令认证密钥交换(Password-based Authenticated Key Exchange,PAKE)协议的通信轮次和安全性假设是格上PAKE协议的重要优化方向.平滑投射哈希函数(Smooth Projective Hash Function,SPHF)是构造PAKE协议的重要数学工具,但现有的基... 降低口令认证密钥交换(Password-based Authenticated Key Exchange,PAKE)协议的通信轮次和安全性假设是格上PAKE协议的重要优化方向.平滑投射哈希函数(Smooth Projective Hash Function,SPHF)是构造PAKE协议的重要数学工具,但现有的基于格的SPHF多不能在超多项式模数下应用.为此,本文提出了两种格上基于密文标准语言的SPHFs,在不增加通信开销和存储开销的前提下解决了上述问题.基于上述SPHFs,本文提出了一种基于格的可证明安全的两轮PAKE协议,该协议可以抵抗量子攻击,在不需要零知识证明和随机预言机的前提下,降低了协议通信轮次和安全性假设;本文还基于更加准确的标准安全模型对所提出的协议进行了严格的安全性证明.实验证明,本文提出的协议具有更优的通信轮次复杂度、计算开销、安全性假设和实际安全性. 展开更多

关键词 口令 密钥交换 平滑投射哈希函数 可证明安全 格 抗量子

在线阅读 下载PDF 职称材料

可证明安全的抗量子两服务器口令认证密钥交换协议 被引量：6

20

作者 尹安琪 郭渊博 +2 位作者 汪定 曲彤洲 陈琳 《通信学报》 EI CSCD 北大核心 2022年第3期14-29,共16页

针对基于格的单服务器口令认证密钥交换(PAKE)协议不能抵抗服务器泄露攻击,而目前基于格的多服务器PAKE协议的执行效率较低且不适用于两服务器场景的问题,利用带误差学习(LWE),提出了格上第一个非适应性两方平滑投影哈希函数(SPHF),具... 针对基于格的单服务器口令认证密钥交换(PAKE)协议不能抵抗服务器泄露攻击,而目前基于格的多服务器PAKE协议的执行效率较低且不适用于两服务器场景的问题,利用带误差学习(LWE),提出了格上第一个非适应性两方平滑投影哈希函数(SPHF),具备不可区分适应性选择密文攻击(IND-CCA2)的安全性,并约束了所基于的公钥加密(PKE)方案中相关参数的大小。基于此,分别针对被动和主动敌手的攻击,提出了相应的格上可证明安全的两服务器PAKE协议。所提出的2个协议可抵御量子攻击且实现了唯口令设置,也不需要使用签名/验签、全同态加密、秘密共享等昂贵密码原语来保证安全性,被动敌手攻击下的协议还避免了零知识证明的使用。此外,在标准模型下,对所提出的2个协议进行了严格的安全性证明。实验结果表明,所提出的两方SPHF和两服务器PAKE协议的执行效率较高。 展开更多

关键词 口令认证密钥交换协议 两服务器 平滑投影哈希函数 可证明安全 抗量子

在线阅读 下载PDF 职称材料