接受-拒绝算法的贝叶斯不确定度评定 被引量：2

1

作者 李红莉 陈志文 +4 位作者 张祖杨 赵志浩 黄强先 张连生 程荣俊 《电子测量与仪器学报》 CSCD 北大核心 2023年第12期76-83,共8页

针对贝叶斯不确定度评定中获取测量模型后验分布困难的问题,给出一种基于接受-拒绝采样思想实现贝叶斯测量不确定度评定的方法。面向线性/非线性测量模型,先利用贝叶斯假设或蒙特卡洛法获得被测量的先验信息,再基于接受-拒绝采样获得被... 针对贝叶斯不确定度评定中获取测量模型后验分布困难的问题,给出一种基于接受-拒绝采样思想实现贝叶斯测量不确定度评定的方法。面向线性/非线性测量模型,先利用贝叶斯假设或蒙特卡洛法获得被测量的先验信息,再基于接受-拒绝采样获得被测量的接受采样点形成后验分布,对被测量进行统计推断得到测量不确定度评定结果。通过规范示例和实际测量评定实例,验证了采用接受-拒绝算法的贝叶斯不确定度评定方法相较于传统GUM和MCM评定方法,能够得到可靠评定结果,且获取贝叶斯后验分布过程简便,在无/有历史信息条件下测量不确定度评定应用中具有可行性和实用性。 展开更多

关键词 测量不确定度 贝叶斯统计 接受-拒绝采样 蒙特卡洛方法

在线阅读 下载PDF 职称材料

基于格的零知识证明综述

2

作者 潘静 李博逊 +1 位作者 万贝琳 钟焰涛 《信息网络安全》 北大核心 2025年第5期679-688,共10页

量子计算的加速发展以及社会各界对隐私保护的日益重视,引发了对后量子零知识证明技术的研究热潮。文章聚焦于基于格的零知识证明的研究。首先,系统介绍了基于格的零知识证明的研究现状;然后,根据底层使用的关键技术对主流的基于格的零... 量子计算的加速发展以及社会各界对隐私保护的日益重视,引发了对后量子零知识证明技术的研究热潮。文章聚焦于基于格的零知识证明的研究。首先,系统介绍了基于格的零知识证明的研究现状;然后,根据底层使用的关键技术对主流的基于格的零知识证明协议进行分类与总结,并深入分析3种经典协议的设计原理和性能表现;最后,简要讨论基于格的零知识证明未来可能的研究热点和发展方向。 展开更多

关键词 格密码 零知识证明 承诺 Stern类型框架 拒绝采样

在线阅读 下载PDF 职称材料

随机预言机模型下基于身份的格基可链接环签名 被引量：1

3

作者 谢佳 王露 +2 位作者 刘仕钊 高军涛 王保仓 《计算机科学与探索》 CSCD 北大核心 2024年第8期2190-2202,共13页

作为一种简化的群签名,环签名没有管理员角色,不需要环成员之间合作;签名者仅需自己私钥和其他环成员公钥即可进行签名操作。因其天然的匿名性,环签名在匿名投票、电子货币和车联网等场景得到广泛应用。可链接环签名作为环签名概念的一... 作为一种简化的群签名,环签名没有管理员角色,不需要环成员之间合作;签名者仅需自己私钥和其他环成员公钥即可进行签名操作。因其天然的匿名性,环签名在匿名投票、电子货币和车联网等场景得到广泛应用。可链接环签名作为环签名概念的一种变体,在保持了匿名性的同时还可验证两个签名是否来自同一签名者,从而有效解决举报系统中的恶意举报及区块链系统中的双重花费等问题,进而丰富了环签名的应用场景。提出一种基于身份的格基可链接环签名方案,采用G-陷门生成技术生成系统密钥,使用其改进后的陷门委派技术和原像采样算法提取用户私钥,利用双峰高斯分布下的拒绝采样技术生成签名。经安全分析,所提方案在随机预言机模型下满足无条件匿名性、不可伪造性和可链接性,安全性可规约至格上的小整数解(SIS)问题,与现有的方案相比,签名生成时间开销和签名验证时间开销都减少约50%。最后将该方案和基于异或秘密共享算法结合,设计了电子投票协议,从而保证电子投票系统的隐私性和公正性。 展开更多

关键词 可链接环签名 格 匿名性 G-陷门 拒绝采样

在线阅读 下载PDF 职称材料

基于贝叶斯网络及STRIDE模型的XSS风险分析 被引量：2

4

作者 周鋆 符鹏涛 《指挥与控制学报》 CSCD 北大核心 2024年第1期38-46,共9页

贝叶斯网络因能够对事件进行建模并给出紧凑的概率表示,被广泛地用在风险分析上。针对XSS攻击,基于STRIDE威胁模型构建贝叶斯网络结构模型,并通过专家经验和排序节点获取节点先验概率,在此基础上采用拒绝性采样算法得到数据集,进而学习... 贝叶斯网络因能够对事件进行建模并给出紧凑的概率表示,被广泛地用在风险分析上。针对XSS攻击,基于STRIDE威胁模型构建贝叶斯网络结构模型,并通过专家经验和排序节点获取节点先验概率,在此基础上采用拒绝性采样算法得到数据集,进而学习贝叶斯网络参数。利用贝叶斯网络推理计算Web系统遭受XSS攻击的风险,找到弱点以加强相应的防护措施,实现积极防御。 展开更多

关键词 跨站脚本攻击XSS 贝叶斯网络 STRIDE威胁分类 排序节点 拒绝性采样

在线阅读 下载PDF 职称材料

基于卡尔曼滤波参数自学习的大坝变形预测 被引量：2

5

作者 占鹏飞 吕鑫 +3 位作者 毛莺池 徐淑芳 王龙宝 马鸿旭 《计算机科学》 CSCD 北大核心 2017年第5期268-271,275,共5页

卡尔曼滤波模型被广泛运用于大坝的变形预测,然而其参数的识别,尤其是状态和观测噪音协方差矩阵的识别,主要来源于工程经验和领域专家知识。因此提出一种自学习的参数识别方法,该方法基于历史数据,结合Monte Carlo和拒绝采样算法获取卡... 卡尔曼滤波模型被广泛运用于大坝的变形预测,然而其参数的识别,尤其是状态和观测噪音协方差矩阵的识别,主要来源于工程经验和领域专家知识。因此提出一种自学习的参数识别方法,该方法基于历史数据,结合Monte Carlo和拒绝采样算法获取卡尔曼滤波参数。具体地,从训练样本中挑选出与真实值最接近的实测值对状态噪音进行估计,并通过计算它与总体误差的差值来确定观测噪音。实验表明,相比已有的同类方法,该方法的准确性更高,更适用于大坝变形预测。 展开更多

关键词 MONTE Carlo 拒绝采样 卡尔曼滤波 参数自学习 大坝变形预测

在线阅读 下载PDF 职称材料

循环安全的同态加密方案 被引量：6

6

作者 赵秀凤 付雨 宋巍涛 《计算机研究与发展》 EI CSCD 北大核心 2020年第10期2117-2124,共8页

全同态加密可以对密文进行有效计算,是实现云计算、大数据以及机器学习中数据隐私安全的一项重要密码技术.利用“自举”技术可以构造全同态加密方案,但是使得运算密钥随着运算电路的深度线性增长,这是全同态加密方案实用性的一个主要瓶... 全同态加密可以对密文进行有效计算,是实现云计算、大数据以及机器学习中数据隐私安全的一项重要密码技术.利用“自举”技术可以构造全同态加密方案,但是使得运算密钥随着运算电路的深度线性增长,这是全同态加密方案实用性的一个主要瓶颈.然而,如果同态加密方案满足循环安全性,即可以对方案的私钥进行安全的加密,则可以使得运算密钥的规模独立于运算电路的深度.因此,满足循环安全性的同态加密方案是值得研究的一个问题.基于噪声淹没技术,给出了循环安全的公钥同态加密方案,并给出了安全性证明和参数设置;进一步,通过引入拒绝采样技术,给出了优化的循环安全公钥同态加密方案,在增加部分采样算法的代价下,将系统参数从超多项式级降低到多项式级,大大约减方案公钥和密文规模,从而可以有效改善密文运算的计算复杂性,提升同态加密方案的性能. 展开更多

关键词 同态加密 循环安全 错误学习问题 噪声淹没技术 拒绝采样

在线阅读 下载PDF 职称材料

FatSeal:一种基于格的高效签名算法 被引量：1

7

作者 谢天元 李昊宇 +3 位作者 朱熠铭 潘彦斌 刘珍 杨照民 《电子与信息学报》 EI CSCD 北大核心 2020年第2期333-340,共8页

当前基于格设计的能够抵抗量子计算机攻击的签名方案是基于数论难题的传统签名方案的热门候选替代。通过Fiat-Shamir变换以及拒绝采样技术构造格签名是一种重要方法,共有5个格签名方案提交到美国国家标准与技术局的后量子算法项目中,基... 当前基于格设计的能够抵抗量子计算机攻击的签名方案是基于数论难题的传统签名方案的热门候选替代。通过Fiat-Shamir变换以及拒绝采样技术构造格签名是一种重要方法,共有5个格签名方案提交到美国国家标准与技术局的后量子算法项目中,基于Fiat-Shamir变换进行设计的有两个方案。其中Dilithium是基于模错误学习(MLWE)问题构造的Fiat Shamir签名,它的一个特性是在签名算法中使用了高效简洁的均匀采样。Dilithium签名方案构造在一般格上,为了获得更紧凑的公钥尺寸,Dilithium对公钥进行了压缩。另一方面,NTRU格上的密码方案比一般格上的密码方案在效率和参数尺寸上有更大的优势,该文给出了Dilithium签名在NTRU格上的一个高效变种方案,在继承Dilithium简洁设计的基础上,综合了NTRU和拒绝采样的技术优势而无需额外的压缩处理,进一步提升了基于格的Fiat-Shamir签名的效率。 展开更多

关键词 数字签名 格 Fiat-Shamir签名 后量子 拒绝采样

在线阅读 下载PDF 职称材料

量测随机延迟下带非高斯噪声的目标跟踪算法

8

作者 卢春光 周中良 +2 位作者 刘宏强 阮铖巍 杨海燕 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2019年第4期83-93,共11页

为解决量测一步随机延迟及非高斯噪声条件下战斗机蛇形机动模式转弯角速度辨识问题,更好地实现蛇形机动的稳定跟踪,考虑到目标状态与转弯角速度之间相互耦合的特性,基于联合估计与辨识的思想,依据极大似然准则,提出了一种基于期望最大... 为解决量测一步随机延迟及非高斯噪声条件下战斗机蛇形机动模式转弯角速度辨识问题,更好地实现蛇形机动的稳定跟踪,考虑到目标状态与转弯角速度之间相互耦合的特性,基于联合估计与辨识的思想,依据极大似然准则,提出了一种基于期望最大化的目标状态估计与转弯角速度辨识联合优化算法.该算法主体包含两个部分:E-step和M-step.在E-step,首先,通过充分考虑量测一步随机延迟特性及非高斯量测噪声,重新构造了粒子滤波器的似然函数,进而改进了粒子权重的更新公式,同时,为避免粒子贫乏现象的发生,将粒子群优化算法引入到重构的粒子滤波器当中进一步改进粒子采样过程;其次,将拒绝采样思想引入到后向模拟粒子平滑器当中,并相应地设置拒绝采样终止条件,优化后向模拟粒子平滑器,进一步提高平滑算法的执行效率;最后采用改进的粒子滤波器与后向模拟粒子平滑器进一步获取目标状态的平滑量;在M-step,通过采用牛顿迭代法极大化条件似然函数,从而获得转弯角速度的估计量,用于下一次算法迭代.通过E-step和M-step的不断迭代,进而获得转弯角速度的闭环形式的优化解.仿真实验结果表明,所提算法的目标状态估计与角速度辨识的精度均优越于传统的扩维法. 展开更多

关键词 随机延迟 期望最大化 联合估计与辨识 粒子滤波 后向模拟粒子平滑器 拒绝采样 粒子群

在线阅读 下载PDF 职称材料

非均匀分布量测下的扩展目标跟踪方法

9

作者 孙航宇 马天力 +1 位作者 李继超 张琪 《科学技术与工程》 北大核心 2022年第6期2305-2310,共6页

针对雷达方位角变化导致散射源统计特性改变的问题,提出了一种非均匀分布量测下的扩展目标跟踪方法。算法通过轮廓质心法和接受-拒绝采样法产生伪量测,并构建了分层无迹卡尔曼滤波器(hierarchical unscented kalman filter,HUKF)来估计... 针对雷达方位角变化导致散射源统计特性改变的问题,提出了一种非均匀分布量测下的扩展目标跟踪方法。算法通过轮廓质心法和接受-拒绝采样法产生伪量测,并构建了分层无迹卡尔曼滤波器(hierarchical unscented kalman filter,HUKF)来估计运动状态和形状参数。实验结果表明,相比于传统的无迹卡尔曼滤波方法,该方法对星凸扩展目标有着更好的跟踪性能。 展开更多

关键词 扩展目标跟踪 非均匀分布 接受-拒绝采样 无迹卡尔曼滤波

在线阅读 下载PDF 职称材料

基于格的分层无证书代理签名方案

10

作者 农强 张棒棒 欧阳玉豪 《计算机应用》 CSCD 北大核心 2023年第1期154-159,共6页

现有基于经典数论问题假设的无证书代理签名方案无法抵御量子计算机攻击,在应用于有大量用户的系统时会存在单点失效和不易扩展等局限。针对这些问题,提出一种基于格的分层无证书代理签名方案。首先,采用拒绝采样技术和无陷门技术提高... 现有基于经典数论问题假设的无证书代理签名方案无法抵御量子计算机攻击,在应用于有大量用户的系统时会存在单点失效和不易扩展等局限。针对这些问题,提出一种基于格的分层无证书代理签名方案。首先,采用拒绝采样技术和无陷门技术提高密钥生成的计算效率;其次,不同层级的原始签名人和代理签名人通过交换随机选取的矩阵进行互认证,实现代理授权;最后,在随机预言机模型下的小整数解(SIS)困难问题假设下证明了该方案的安全性。相较于现有的代理签名方案,所提方案允许签名人来自不同层级且隶属于不同密钥生成中心(KGC)。性能评价实验结果表明,该方案的公钥尺寸是一个常数,代理签名和验证开销与层级无关,且代理密钥和签名尺寸非层级的线性量。因此,该方案可更好地满足大规模分布式异构网络对均衡负载的需求,是高效可行的。 展开更多

关键词 分层 无证书 代理签名 格 单点失效 拒绝采样 无陷门

在线阅读 下载PDF 职称材料

含区间分布参数的尾喷管调节机构可靠性分析 被引量：1

11

作者 张政 王攀 周瀚渊 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2023年第12期3377-3385,共9页

为提高尾喷管调节机构的可靠性分析效率,提出一种结合拒绝采样和主动学习Kriging代理模型的分析方法。在ADAMS中建立了某发动机尾喷管调节机构虚拟样机仿真模型,通过运动学分析对所建模型进行验证;考虑其输入变量含区间分布参数的情形,... 为提高尾喷管调节机构的可靠性分析效率,提出一种结合拒绝采样和主动学习Kriging代理模型的分析方法。在ADAMS中建立了某发动机尾喷管调节机构虚拟样机仿真模型,通过运动学分析对所建模型进行验证;考虑其输入变量含区间分布参数的情形,建立基于调节机构定位精度的极限状态函数;引入主动学习Kriging代理模型,在分布参数随机变化的情况下,通过拒绝采样方法来捕捉样本空间的变化,从而构建适用于整个样本空间内的Kriging代理模型。通过数值算例验证所提方法的可行性,并采用所提方法对调节机构失效概率的上下限进行了计算分析,为提高区间分布参数下的可靠性分析效率提供了一种新的思路。 展开更多

关键词 调节机构 Kriging代理模型 拒绝采样 区间分布参数 可靠性

在线阅读 下载PDF 职称材料

含概率盒变量的动力总成悬置系统可靠性分析

12

作者 郑正中 侯亮 +1 位作者 赖辉平 卜祥建 《机械设计》 CSCD 北大核心 2022年第2期1-6,共6页

动力总成悬置系统(Powertrain Mounting System,PMS)的可靠性分析存在不确定参数建模不准确和计算效率低下的问题。因此,文中将概率盒(probability box,p-box)引入到PMS不确定性分析中,并提出基于拒绝采样原理的PMS混合不确定性分析方... 动力总成悬置系统(Powertrain Mounting System,PMS)的可靠性分析存在不确定参数建模不准确和计算效率低下的问题。因此,文中将概率盒(probability box,p-box)引入到PMS不确定性分析中,并提出基于拒绝采样原理的PMS混合不确定性分析方法。首先,为了获得固有特性计算方程,建立PMS的12自由度模型;然后,分析随机变量和参数化p-box变量的特点,实现两种变量的统一表达;再次,提出一种基于双层蒙特卡罗抽样法和基于拒绝采样原理的混合不确定性分析方法,实现PMS固有特性响应的不确定性分析;最后,通过实际案例验证了所提方法的有效性和高效性。 展开更多

关键词 客动力总成悬置系统 可靠性分析 概率盒变量 拒绝采样

在线阅读 下载PDF 职称材料

ADS-B中基于格的分层无证书消息可恢复认证方案

13

作者 农强 邵猛 +1 位作者 张棒棒 刘梓禹 《计算机工程与科学》 CSCD 北大核心 2023年第3期462-469,共8页

广播式自动相关监视(ADS-B)作为新一代空中交通管制的关键技术,已部署在全球大部分空域。已有的ADS-B消息认证方案主要利用传统的公钥密码系统来保证数据安全,计算负担较重且无法抵御量子攻击。首次将基于格的密码体制用于ADS-B通信安全... 广播式自动相关监视(ADS-B)作为新一代空中交通管制的关键技术,已部署在全球大部分空域。已有的ADS-B消息认证方案主要利用传统的公钥密码系统来保证数据安全,计算负担较重且无法抵御量子攻击。首次将基于格的密码体制用于ADS-B通信安全,提出一种同时支持消息可恢复和批量验证的分层无证书消息认证方案。ADS-B机载设备不需要管理证书,也无密钥托管问题。ADS-B消息不需要与签名一起传输,可以在验证阶段进行恢复。利用拒绝采样和无陷门技术,该方案仅需执行计算复杂度较低的线性运算即可实现消息认证。在随机预言机模型和小整数解问题假设下,该方案是可证安全的。性能评价实验结果表明,在同等的比特安全级别下,该方案相比相关工作在节省计算开销方面有显著的提升,对于计算资源受限的航空电子设备十分适用。 展开更多

关键词 广播式自动相关监视 基于格的密码体制 分层无证书消息认证 拒绝采样

在线阅读 下载PDF 职称材料