期刊文献+
共找到454篇文章
< 1 2 23 >
每页显示 20 50 100
基于多属性决策的一阶逻辑子句选择方法 被引量:2
1
作者 曾国艳 徐扬 +1 位作者 陈树伟 姜世攀 《西南交通大学学报》 北大核心 2025年第1期185-193,共9页
基于一阶逻辑的自动定理证明器(ATP)在知识表达和自动推理研究中占据重要地位,而启发式策略则是提升ATP性能的关键研究方向.主流的启发式策略通常通过描述子句属性来确定属性优先级,从而选择子句,但属性优先级受人为因素影响,且评估子... 基于一阶逻辑的自动定理证明器(ATP)在知识表达和自动推理研究中占据重要地位,而启发式策略则是提升ATP性能的关键研究方向.主流的启发式策略通常通过描述子句属性来确定属性优先级,从而选择子句,但属性优先级受人为因素影响,且评估子句耗时较长.为此,本文基于矛盾体分离(S-CS)规则,提出一种新的多属性决策(MCDM)子句评估方法.首先,利用熵权法对子句属性进行客观赋权;其次,结合偏好顺序结构评估法(PROMETHEEⅡ)对子句进行评估,得到子句的完全排序;最后,将提出的MCDM方法加入自动定理证明器CSE 1.5(contradiction separation extension 1.5)、Vampire 4.7和Eprover(E 2.6)中,分别形成新的证明器MCDM_CSE、MCDM_V和MCDM_E.对MCDM_CSE测试了国际定理证明器问题库TPTP(Thousands of Problems for Theorem Provers)中一阶逻辑格式的定理,并对MCDM_V和MCDM_E测试了2022年CADE(Conference on Automated Deduction)竞赛例(一阶逻辑组).实验表明:MCDM_CSE比CSE 1.5多证明了151个定理(来自TPTP),并且能够证明Vampire 4.7无法证明的5个定理、E 2.6无法证明的41个定理以及Prover9无法证明的293个定理;在更短的平均时间内,MCDM_V比Vampire 4.7多证明了6个定理(来自CADE 2022),MCDM_E比E 2.6多证明了8个定理. 展开更多
关键词 一阶逻辑 矛盾体分离规则 启发式策略 多属性决策 熵权法
在线阅读 下载PDF
基于差分隐私k-means++的一种隐私预算分配方法 被引量:1
2
作者 晏玲 赵海良 《信息安全研究》 北大核心 2025年第8期710-717,共8页
针对传统差分隐私k-means++算法,常用的均分法分配隐私预算无法适应不同部位对隐私预算的不同需求,而二分法中隐私预算消耗过快会使得后期噪声过多,均会导致聚类效果不佳.为解决该问题,结合等差法和均分法提出了一种新的隐私预算分配方... 针对传统差分隐私k-means++算法,常用的均分法分配隐私预算无法适应不同部位对隐私预算的不同需求,而二分法中隐私预算消耗过快会使得后期噪声过多,均会导致聚类效果不佳.为解决该问题,结合等差法和均分法提出了一种新的隐私预算分配方法.在选取初始中心点时采用均分法分配隐私预算,更新中心点的过程结合最小隐私预算,前期采用等差法,后期采用均分法.该方法使得前期分配的隐私预算较大,保证了聚类中心不会发生严重形变,后期隐私预算的消耗速度适中,避免了加入过多噪声而影响聚类效果.一系列基于真实数据的实验结果表明,与原k-means++相比,最低误差仅有0.09%;与均分法和二分法相比,聚类准确率最高分别提升了14.9%和16.9%.由此可见该方法明显优于均分法和二分法,在一定程度上能够提升聚类结果的可用性和准确性. 展开更多
关键词 信息安全 数据挖掘 差分隐私保护 k-means++ 隐私预算分配
在线阅读 下载PDF
一种车联网V2V认证与密钥交换协议设计与验证
3
作者 王秀珍 徐鹏 +2 位作者 陈美荣 王丹琛 徐扬 《信息安全研究》 北大核心 2025年第5期465-472,共8页
车联网系统中,车辆行驶过程需与其他车辆通信以实现信息交换,要求必须具备高安全、低延迟、用户匿名性等安全特性.认证与密钥交换协议以密码算法为基础旨在完成会话密钥协商,用于通信双方后续信息交换,是保证车联网通信安全的重要手段.... 车联网系统中,车辆行驶过程需与其他车辆通信以实现信息交换,要求必须具备高安全、低延迟、用户匿名性等安全特性.认证与密钥交换协议以密码算法为基础旨在完成会话密钥协商,用于通信双方后续信息交换,是保证车联网通信安全的重要手段.现有协议注册阶段需在线下安全信道中进行,与实际不符,且认证阶段多基于第三方并需多轮信息交互,增加了过程复杂度.因此设计了一种基于公共信道的V2V(vehicle to vehicle)协议,协议交互过程不需依赖第三方,仅需进行2轮信息交换,同时添加快速登录阶段以解决网络突然中断造成的信息交换延迟问题,理论分析与形式化验证结果表明协议满足认证性与保密性等安全性质. 展开更多
关键词 认证与密钥交换协议 形式化分析 快速登录 ROR模型 Proverif
在线阅读 下载PDF
基于高频特征掩蔽的对抗攻击算法
4
作者 王柳依 周淳 +2 位作者 曾文强 何星星 孟华 《计算机科学》 北大核心 2025年第10期374-381,共8页
深度神经网络在图像识别领域取得广泛应用,但其结构复杂,容易受到对抗样本的攻击。构造人眼不可察觉的对抗样本,对测试网络的安全性有着重要的意义。现有针对图像的对抗样本生成方法通常是对原始样本进行微小扰动,而扰动通常用l p范数... 深度神经网络在图像识别领域取得广泛应用,但其结构复杂,容易受到对抗样本的攻击。构造人眼不可察觉的对抗样本,对测试网络的安全性有着重要的意义。现有针对图像的对抗样本生成方法通常是对原始样本进行微小扰动,而扰动通常用l p范数距离进行约束,这种简单方案将所有像素点平等对待,每个点允许扰动的范围满足同样的约束,这限制了对抗样本的构造方式,使得扰动易被人眼察觉。而在现实应用中,人眼对不同颜色和区域的像素点扰动的敏感性亦不相同。针对这一特点,设计了一种基于观测敏感性的自适应扰动方案,为不同的像素点设计不同的扰动约束,从而提升对抗样本的鲁棒性。具体而言,该方法通过频谱分析将图像划分为高频和低频区域,并通过新的空间约束规范扰动,对高频不敏感区域增加更大的扰动,以提升对抗能力。基于ImageNet-1K和CIFAR-10数据集进行的一系列实验表明,新的对抗样本构造策略能与多种攻击方法相耦合,并在保障隐蔽性的前提下提升对抗性能。 展开更多
关键词 深度神经网络 对抗样本 高频 扰动 鲁棒性
在线阅读 下载PDF
基于“函数变量分离+移动最小二乘拟合”桩板墙高效优化算法探索
5
作者 梅龙月 杨艳 +3 位作者 姚洪锡 毛国成 陈罗平 马淑霞 《铁道标准设计》 北大核心 2025年第3期122-129,共8页
桩板墙参数优化设计需要利用岩土有限元检算程序,确保设计参数满足受力与变形等工程安全指标的限制条件,并实现造价最优目标,属于多参数、多约束、非线性优化问题。针对桩板墙岩土有限元检算程序计算过程复杂、难以通过解析方法快速获... 桩板墙参数优化设计需要利用岩土有限元检算程序,确保设计参数满足受力与变形等工程安全指标的限制条件,并实现造价最优目标,属于多参数、多约束、非线性优化问题。针对桩板墙岩土有限元检算程序计算过程复杂、难以通过解析方法快速获取造价函数求解的问题,提出一种函数变量分离联合移动最小二乘拟合的参数优化算法。首先,对设计参数进行造价敏感性分析,得到造价函数中桩长变量分离的降维解析表达式;其次,对降维表达式的系数函数进行移动最小二乘拟合,得到系数函数值并选取系数较优对应的桩厚与桩间距参数组合;最后,利用岩土有限元检算程序遍历较优参数组合及已分离的桩长参数,比选得到满足安全指标条件下造价最优的桩长、桩厚、桩间距参数。以实际工程案例对算法进行验证,结果表明,本文算法与遍历参数法得到的最优造价相同,但所使用的数据量是遍历法数据量的17%;同时,该算法相较遗传算法收敛性更为稳定,且运行时间从7.33 s降到0.17 s,优化效果更佳,且大幅缩短了搜索时间。 展开更多
关键词 桩板墙 参数优化 敏感性分析 函数变量分离 移动最小二乘法 安全指标
在线阅读 下载PDF
基于可疑像素相互修正的半监督医学图像分割
6
作者 杨子瑶 雷涛 +3 位作者 杜晓刚 王梦溪 孙菲蔓 公茂果 《电子学报》 北大核心 2025年第5期1607-1621,共15页
现有的半监督学习方法通常对图像中的所有像素进行同等处理,忽视了图像内不同区域的复杂度差异.这导致模型对于预测难度较高的挑战性区域学习不足,从而降低了其对这些区域的处理能力.此外,由于伪标签是基于当前模型对未标注数据的预测... 现有的半监督学习方法通常对图像中的所有像素进行同等处理,忽视了图像内不同区域的复杂度差异.这导致模型对于预测难度较高的挑战性区域学习不足,从而降低了其对这些区域的处理能力.此外,由于伪标签是基于当前模型对未标注数据的预测结果生成的,而模型在挑战性区域表现较差,因此不准确的预测增加了伪标签中引入噪声的风险,进而降低了伪标签的可信度.针对上述问题,提出了一种基于可疑像素相互修正的半监督学习框架(Suspicious Pixel Mutual Correction,SPMC).该框架由两个编码器结构相同,但解码器上采样方式不同的网络构成.首先,设计了一个用于处理标注数据的共困像素筛查(Common Difficulty Pixel Screening,CDPS)模块.通过利用每个网络预测结果中的可疑像素,精准筛查出两个网络都预测困难的共困像素,并使用准确的监督信号对其进行修正,从而提高模型对挑战性区域预测的准确性.其次,设计了一个用于处理未标注数据的软伪标签辅助教学(Soft Pseudo-Label Assisted Teaching,SPLAT)模块.通过利用一个网络生成的软伪标签中的可信像素,选择性地对另一个网络预测结果中的可疑像素进行伪监督.两个网络通过高质量交互来更新参数,从而减少模型的认知偏差并提升伪标签质量.实验结果表明,提出的方法在三种公开医学数据集左心房(Left Atrium,LA)、脑部肿瘤分割(Brain Tumor Segmentation,BraTS)和自动心脏挑战(Automatic Cardiac Diagnosis Challenge,ACDC)上的性能均优于当前主流的半监督学习方法. 展开更多
关键词 半监督学习 医学图像分割 一致性正则化 伪标签 不确定性 像素级修正
在线阅读 下载PDF
一种基于新型混淆操作的RFID双向认证协议
7
作者 贾昊洲 徐鹏 +1 位作者 王丹琛 徐扬 《计算机工程与科学》 北大核心 2025年第2期247-255,共9页
针对RFID系统中存在的隐私和安全问题,提出了一种基于新型混淆操作的超轻量RFID认证协议,通过利用简单的逐位异或、循环左旋转和新提出的超轻量化分组循环操作,达到低复杂度、高安全性的目的。此外,由于在协议交互过程中的消息根据随机... 针对RFID系统中存在的隐私和安全问题,提出了一种基于新型混淆操作的超轻量RFID认证协议,通过利用简单的逐位异或、循环左旋转和新提出的超轻量化分组循环操作,达到低复杂度、高安全性的目的。此外,由于在协议交互过程中的消息根据随机数生成,攻击者无法通过穷举来破解消息。分析与验证结果表明,所提协议可以有效地抵御常见的网络攻击类型,并且在计算和存储成本方面具备优势。 展开更多
关键词 RFID认证协议 混淆操作 分组循环操作 形式化验证
在线阅读 下载PDF
一种无扰的多载波互补码分多址通信雷达一体化方案
8
作者 沈炳声 周正春 +1 位作者 杨洋 范平志 《电子与信息学报》 北大核心 2025年第1期201-210,共10页
随着新兴应用的不断涌现,频谱拥堵问题日益严重。通信雷达一体化(DFRC)是解决频谱拥堵问题的关键技术之一。然而,如何解决通信与雷达之间的相互干扰并实现高通信速率是通信雷达一体化亟待解决的基础难题。该文以多载波互补码分多址技术... 随着新兴应用的不断涌现,频谱拥堵问题日益严重。通信雷达一体化(DFRC)是解决频谱拥堵问题的关键技术之一。然而,如何解决通信与雷达之间的相互干扰并实现高通信速率是通信雷达一体化亟待解决的基础难题。该文以多载波互补码分多址技术为基础,设计一种适用于多用户场景的新型通信雷达一体化信号。理论分析和仿真结果表明,与典型的扩频方案相比,所提方案可以实现通信雷达的无扰传输,并具有低的误码率与高的通信速率。 展开更多
关键词 通信雷达一体化 多载波码分多址 互补码
在线阅读 下载PDF
一类具有任意初始能量的含对数非线性源分数阶p-Laplace抛物方程
9
作者 李兴泉 杨晗 冯玉丽 《应用数学》 北大核心 2025年第1期246-255,共10页
本文研究一类具有对数非线性源的分数阶p-Laplace抛物方程的初边值问题.在亚临界初始能量条件下,利用凸方法证明了解在有限时刻爆破;在临界初始能量条件下,通过研究原方程的近似问题得到了整体解的存在性并建立了L^(2)范数的衰减估计;... 本文研究一类具有对数非线性源的分数阶p-Laplace抛物方程的初边值问题.在亚临界初始能量条件下,利用凸方法证明了解在有限时刻爆破;在临界初始能量条件下,通过研究原方程的近似问题得到了整体解的存在性并建立了L^(2)范数的衰减估计;在超临界初始能量条件下,给出了全局解和爆破解的充分条件. 展开更多
关键词 抛物方程 分数阶p-Laplace 任意初始能量 整体解 爆破
在线阅读 下载PDF
基于近似失效点的多源异构数据融合可靠性评估模型 被引量:2
10
作者 杨童博 魏政 周坤 《机械强度》 北大核心 2025年第3期136-142,共7页
为解决多源异构数据的融合问题,提高可靠性评估的精度,根据D-S(Dempster-Shafer)理论和最小二乘法相结合的思想,提出一种基于近似失效点的多源异构数据融合方法。首先,针对单一数据源构造概率分配并进行加权融合得到概率包络,建立基于... 为解决多源异构数据的融合问题,提高可靠性评估的精度,根据D-S(Dempster-Shafer)理论和最小二乘法相结合的思想,提出一种基于近似失效点的多源异构数据融合方法。首先,针对单一数据源构造概率分配并进行加权融合得到概率包络,建立基于近似失效点的分布拟合模型。其次,采用最小二乘法得到参数估计值并构造面积度量指标确定真实的失效分布函数,进而完成可靠性评估。最后,通过算例验证了该方法的可行性与有效性,相较于Bayes方法精度更高。 展开更多
关键词 多源异构数据 D-S证据理论 近似失效点 最小二乘估计 面积度量指标
在线阅读 下载PDF
基于遗传禁忌算法的城市轨道交通乘务任务配对研究 被引量:4
11
作者 薛锋 李海 +2 位作者 梁鹏 陈崇双 罗建 《铁道运输与经济》 北大核心 2022年第7期103-109,118,共8页
为提高城市轨道交通乘务员值乘效率并降低运营支出,研究不同时间参数设置下的乘务任务配对问题,综合考虑乘务员连续工作时间、班次交替时刻、各班次最长工作时间、休息时间、用餐时间等约束,以最大化一日内所有乘务员的值乘效率为目标,... 为提高城市轨道交通乘务员值乘效率并降低运营支出,研究不同时间参数设置下的乘务任务配对问题,综合考虑乘务员连续工作时间、班次交替时刻、各班次最长工作时间、休息时间、用餐时间等约束,以最大化一日内所有乘务员的值乘效率为目标,建立非线性混合整数规划模型,并设计遗传禁忌混合搜索算法进行求解,从而得到最优参数设置方案和相应的乘务排班计划。以成都地铁5号线一日内运行图数据为基础,结合既有文献参数设置方案进行验证,算例结果表明,不同参数设置会不同程度影响乘务计划效率,特别是相邻乘务作业段间的休息时间,同时提出的方法只需要迭代27次就可以获得较优解,最优乘务任务效率为0.836 1,明显优于代入既有文献参数获得的乘务计划效率。 展开更多
关键词 城市轨道交通 乘务任务配对 遗传禁忌搜索算法 混合整数规划 参数设置
在线阅读 下载PDF
参数协同优化的TSVR增强型TSK模糊系统
12
作者 王维 赵云龙 +1 位作者 彭小玉 潘小东 《计算机科学》 北大核心 2025年第7期75-81,共7页
Takagi-Sugeno-Kang(TSK)模糊系统作为特殊的非线性回归系统,能够解决机器学习任务,但其处理高维问题的效果并不理想,且对于规则的确定和调整较为困难。为了优化该系统,将沿用模糊IF-THEN规则。首先运用模糊C均值聚类对数据集进行划分,... Takagi-Sugeno-Kang(TSK)模糊系统作为特殊的非线性回归系统,能够解决机器学习任务,但其处理高维问题的效果并不理想,且对于规则的确定和调整较为困难。为了优化该系统,将沿用模糊IF-THEN规则。首先运用模糊C均值聚类对数据集进行划分,将数据点嵌入表征点到模糊聚类中心隶属度的空间,进而利用孪生支持向量回归机(TSVR)确定两个回归平面,从而得到回归值。考虑到不同数据集适应不同的关键参数,如聚类数等,采用遗传算法(GA)进行统一参数寻优,简化了领域知识的先验设置,形成了TSVR-GA-TSK(TG-TSK)模糊系统。实验结果表明,相比于经典回归算法和典型的TSK模糊系统,TG-TSK模糊系统具有良好的回归精度和鲁棒性,在Nemenyi检验的两两比较中具有显著优势。 展开更多
关键词 TSK模糊系统 TSVR 遗传算法 协同优化 回归任务
在线阅读 下载PDF
基于时空置换注意力机制的残差行为识别模型
13
作者 蒋杰平 王明文 《计算机工程》 北大核心 2025年第4期119-128,共10页
为提升深度学习模型中三维卷积提取时空特征的有效性,提出一种基于时空置换注意力(SAT)机制的残差行为识别模型。SAT机制是由通道结合时间和空间注意力子模块组成的轻量化的多维度混合注意力机制,其在通道注意力中增加了结合时间的维度... 为提升深度学习模型中三维卷积提取时空特征的有效性,提出一种基于时空置换注意力(SAT)机制的残差行为识别模型。SAT机制是由通道结合时间和空间注意力子模块组成的轻量化的多维度混合注意力机制,其在通道注意力中增加了结合时间的维度,获取时间与通道信息;在空间注意力中压缩冗余的时间信息,提升对空间特征的关注度,对提取的特征进行通道置乱及通道重组,提升模型对数据的表征能力并减少参数量。该模型使用Resnext残差网络提取时空特征,在残差模块中嵌入SAT模块,利用注意力模块自主学习不同特征图的权重参数,针对性地对提取的特征在通道、时间、空间域加权,增强网络对人体行为的表达能力,使用改进的交叉熵函数Focal Loss作为损失函数,解决数据集中可能存在的样本分布不均衡的问题。实验结果表明,该模型在UCF101以及HMDB51数据集上的识别准确率分别达到了96.3%以及71.6%,相较于其他对比模型均有显著提升。 展开更多
关键词 深度学习 行为识别 时空置换注意力 残差网络 交叉熵函数
在线阅读 下载PDF
粗糙氧化锆涂层对多晶锆表面摩擦性能的影响
14
作者 向友文 张晓宇 +3 位作者 王政慧 匡陶 蒲超 史义超 《摩擦学学报(中英文)》 北大核心 2025年第3期421-430,共10页
采用分子动力学方法模拟了金刚石半球与具有不同粗糙度氧化锆表面涂层的多晶锆基体的磨削过程,对摩擦力、摩擦系数、磨损量和磨损深度进行了定量分析并且结合应力应变、位错提取分析法(DXA)和热力学分析法对基体内部塑性变形进行了探究... 采用分子动力学方法模拟了金刚石半球与具有不同粗糙度氧化锆表面涂层的多晶锆基体的磨削过程,对摩擦力、摩擦系数、磨损量和磨损深度进行了定量分析并且结合应力应变、位错提取分析法(DXA)和热力学分析法对基体内部塑性变形进行了探究.结果表明:随着氧化锆涂层粗糙度的增加,压头磨削方向与涂层和基体的实际接触面积减小导致其相互作用力减小,涂层对其法向的反作用力增大,导致压头所受的摩擦力逐渐减小,基体磨损原子量减少及磨损深度降低.经DXA分析,基体内部压头下压区域都产生堆垛层错,但亚表层损伤程度及内部晶格缺陷结构随着粗糙度的增加相应减弱. 展开更多
关键词 多晶锆 分子动力学 摩擦磨损 涂层 粗糙度
在线阅读 下载PDF
基于拓扑结构特征的投资组合构建研究
15
作者 李瑞阳 李庶祎 +3 位作者 杨越溪 彭楚涵 邢静雨 乔高秀 《计算机科学》 北大核心 2025年第10期13-21,共9页
近年来,拓扑数据分析(Topological Data Analysis,TDA)在金融领域的应用逐渐显现出价值。TDA通过持久同调等方法构建复形,能有效量化数据的形状,以便提取数据信息,为时间序列分析,特别是金融时间序列的聚类与投资组合的构建提供了独特... 近年来,拓扑数据分析(Topological Data Analysis,TDA)在金融领域的应用逐渐显现出价值。TDA通过持久同调等方法构建复形,能有效量化数据的形状,以便提取数据信息,为时间序列分析,特别是金融时间序列的聚类与投资组合的构建提供了独特优势。基于此,通过采用TDA方法对中国股票市场的时间序列数据进行深入挖掘,结合聚类算法,并将其应用于投资组合的构建,分析其有效性。通过滑动窗口法进行验证,结果表明基于TDA(去噪)聚类的投资组合在回报风险比和稳定性方面表现良好,优于市场整体表现。研究表明,TDA方法可以更有效地挖掘股票数据中的信息,为投资者提供科学依据,从而取得最佳收益。 展开更多
关键词 拓扑数据分析 投资组合 时间序列 聚类
在线阅读 下载PDF
基于QRNN-GARCH-CoVaR模型的碳金融市场的风险度量分析
16
作者 栗浩南 王沁 李子月 《计算机应用与软件》 北大核心 2025年第9期44-50,共7页
为实现在险价值VaR和风险溢出效应ΔCoVaR的准确度量,考虑到波动聚集、厚尾与非对称等碳金融市场的典型特征,基于神经网络分位数回归(QRNN)模型,并利用GARCH模型拟合波动聚集性方面的优势,构建QRNN-GARCH-CoVaR模型。选取北京、广东、... 为实现在险价值VaR和风险溢出效应ΔCoVaR的准确度量,考虑到波动聚集、厚尾与非对称等碳金融市场的典型特征,基于神经网络分位数回归(QRNN)模型,并利用GARCH模型拟合波动聚集性方面的优势,构建QRNN-GARCH-CoVaR模型。选取北京、广东、湖北、伦敦碳交易收益率作为研究对象,实证结果表明,QRNN-GARCH-CoVaR模型不仅在度量VaR方面优于传统模型,而且捕捉了金融风险溢出效应;国内各市场风险传递方向及其敏感度各异,湖北市场稳定性高,吸收风险能力强,北京和广东市场波动大,北京市场易受国外市场影响。 展开更多
关键词 神经网络 分位数回归 VAR CoVaR
在线阅读 下载PDF
非自治分数阶格点系统的不变测度
17
作者 汪洪涛 黎定仕 《应用数学》 北大核心 2025年第2期402-411,共10页
本文研究非自治分数阶格点系统的不变测度,首先,我们证明该系统存在唯一的D-拉回吸引子{A(t):t∈R},其次,我们构造一族不变概率测度{μ_(t):t∈R},证明不变测度{μ_(t):t∈R}和D-拉回吸引子的关系为μ_(t)的紧支集包含在A(t)内.
关键词 D-拉回吸引子 不变测度 非自治格点系统 离散分数阶拉普拉斯算子
在线阅读 下载PDF
平面三次多项式的分类
18
作者 李林 刘玲伶 余志恒 《数学物理学报(A辑)》 北大核心 2025年第2期554-566,共13页
该文将讨论平面多项式的正规形理论.作者利用多项式代数理论求出相应变量的最小不可约分解,并通过全局共轭得到一类平面三次多项式的光滑分类.作者的定理还应用于讨论平面迭代根与嵌入流问题.
关键词 平面三次多项式 共轭 光滑正规形 最小不可约分解 迭代根
在线阅读 下载PDF
非单调IG过程运算放大器剩余寿命预测
19
作者 殷如心 锁斌 杨少华 《探测与控制学报》 北大核心 2025年第2期127-134,共8页
针对运算放大器退化数据不满足单调递增情况下的剩余寿命预测问题,提出一种结合倒挂数据处理和IG过程(逆高斯过程)的寿命预测新方法。首先利用Bayes后验期望对倒挂退化数据进行修正,然后建立每个样本的IG过程退化轨迹,利用加速模型实现... 针对运算放大器退化数据不满足单调递增情况下的剩余寿命预测问题,提出一种结合倒挂数据处理和IG过程(逆高斯过程)的寿命预测新方法。首先利用Bayes后验期望对倒挂退化数据进行修正,然后建立每个样本的IG过程退化轨迹,利用加速模型实现正常应力下IG过程的参数估计后,利用非参核密度拟合参数的密度函数并用bootstrap求出其均值,进而得到运算放大器不同性能参数的IG过程模型。最后,利用多参数性能退化竞争失效求出运算放大器在不同时刻的剩余寿命。通过运算放大器加速退化数据的评估,验证了该方法的有效性。 展开更多
关键词 运算放大器 倒挂数据 逆高斯过程 剩余寿命 核密度估计
在线阅读 下载PDF
一阶逻辑定理证明器CSE中矛盾体分离式的简化方法
20
作者 吴鑫 陈树伟 姜世攀 《计算机科学》 北大核心 2025年第5期235-240,共6页
一阶逻辑自动定理证明器能够解决大量形式化后的实际问题,具有重要的应用价值。矛盾体分离演绎发展了自动定理证明领域经典的归结原理,具有更强的证明能力。在基于矛盾体分离规则的自动定理证明器CSE(Contradiction Separation Extensi... 一阶逻辑自动定理证明器能够解决大量形式化后的实际问题,具有重要的应用价值。矛盾体分离演绎发展了自动定理证明领域经典的归结原理,具有更强的证明能力。在基于矛盾体分离规则的自动定理证明器CSE(Contradiction Separation Extension)的基础上,提出一种矛盾体分离式的简化算法,通过优化数据结构,使用指针保存子句间的互补信息,并在此基础上选择实际参与演绎的子句,从而得到最简矛盾体分离式。这种新的简化算法可生成更简短的分离式,进一步利用子句的合一互补性,增强空子句演绎路径的检测能力,提高证明器的效率。实验结果显示,相比CSE,使用此简化算法后的证明器CSE_BSCS能多证明39个测试例,平均证明时间减少了18.64%,在证明能力和效率上均更优。 展开更多
关键词 矛盾体分离 矛盾体分离式简化 最简矛盾体分离式 互补信息 证明器
在线阅读 下载PDF
上一页 1 2 23 下一页 到第
使用帮助 返回顶部