期刊文献+
共找到63,195篇文章
< 1 2 250 >
每页显示 20 50 100
基于数字孪生的水库大坝安全监测:关键技术与应用 被引量:3
1
作者 张建伟 李毅男 +3 位作者 张龑 刘兰勤 张多新 王子健 《华北水利水电大学学报(自然科学版)》 北大核心 2025年第3期1-9,共9页
随着我国水利工程发展进入新阶段,水库大坝的智能化监测与长效运维逐渐成为水利工程高质量发展的重心之一。鉴于传统的监测手段难以解译水库大坝复杂的变化特征,结合小浪底水利枢纽数字孪生工程,重点讨论了数据采集与传感、虚拟建模与... 随着我国水利工程发展进入新阶段,水库大坝的智能化监测与长效运维逐渐成为水利工程高质量发展的重心之一。鉴于传统的监测手段难以解译水库大坝复杂的变化特征,结合小浪底水利枢纽数字孪生工程,重点讨论了数据采集与传感、虚拟建模与数值仿真、数字化分析与预测、精准化预警与决策等关键技术。基于“天空地水工”一体化数据孪生平台提取动态监测数据;以BIM和GIS技术建立高精度三维仿真模型,构建多物理场耦合数值模型库;基于机器学习和人工智能算法,结合全天候长时间序列监测数据,建立预报—预警—预演—预案全链条专业模型,保障水库大坝的安全运行;同时,对数字孪生技术在水库大坝安全监测中的应用前景进行展望。构建的水利数字孪生平台可为同类型工程的安全监测提供借鉴与指导。 展开更多
关键词 水库大坝 数字孪生水利工程 “四预”系统 “天空地水工”一体化
在线阅读 下载PDF
嵌入式系统的需求描述综述 被引量:3
2
作者 陈小红 刘少彬 金芝 《软件学报》 北大核心 2025年第1期27-46,共20页
随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点... 随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点.首先采用系统化文献综述方法,对1979年1月–2023年11月间发表的相关文献进行识别、筛选、汇总和分析.通过自动检索和滚雪球等检索过程,筛选出150篇与主题密切相关的文献,力求文献综述的全面性.其次,从需求描述关注点、需求描述维度、需求分析要素等方面,分析现有嵌入式需求描述语言的表达能力.最后,总结现有嵌入式系统软件需求描述所面临的挑战,并针对嵌入式软件智能合成任务,提出对嵌入式系统需求描述方法表达能力的要求. 展开更多
关键词 嵌入式系统 需求描述 需求描述语言 需求分析 系统需求
在线阅读 下载PDF
海洋地质信息化建设进展 被引量:1
3
作者 孙记红 魏合龙 +5 位作者 苏国辉 陈宏文 刘京鹏 林文荣 王诏 张兆代 《自然资源遥感》 北大核心 2025年第1期1-7,共7页
随着海洋地质调查工作的不断深入,迫切需要新一代信息技术加速推进海洋地质调查模式的变革。经过近几年的研究,数字海洋地质工程结合海洋地质调查工作实际,建立了“地质云”、大数据、智能化“三位一体”的海洋地质信息化建设框架,提出... 随着海洋地质调查工作的不断深入,迫切需要新一代信息技术加速推进海洋地质调查模式的变革。经过近几年的研究,数字海洋地质工程结合海洋地质调查工作实际,建立了“地质云”、大数据、智能化“三位一体”的海洋地质信息化建设框架,提出了海洋地质信息化建设的“支撑体系、核心体系、关键体系”三大体系规划,在海洋地质云平台建设、海洋地质大数据建设、海洋地质智能化专题应用方面取得了长足的进步,建立了海洋地质专业节点及网络体系,形成了国家级的海洋地质数据资源体系,推进了海洋地质业务的智能化应用,充分发挥了信息化建设在推动地质调查转型升级的引擎作用,全力服务自然资源管理中心工作。 展开更多
关键词 海洋地质 信息化 大数据 智能化
在线阅读 下载PDF
基于细粒度代码表示和特征融合的即时软件缺陷预测方法 被引量:1
4
作者 朱晓燕 王文格 +1 位作者 王嘉寅 张选平 《计算机科学》 北大核心 2025年第1期242-249,共8页
即时软件缺陷预测指在软件更改初次提交之际预测该更改引入缺陷的倾向。此类预测针对单一程序变更,而非在粗粒度上进行。由于其即时性和可追溯性,该技术已在持续测试等领域得到广泛应用。目前的研究中,提取变更代码表示的方法粒度较粗,... 即时软件缺陷预测指在软件更改初次提交之际预测该更改引入缺陷的倾向。此类预测针对单一程序变更,而非在粗粒度上进行。由于其即时性和可追溯性,该技术已在持续测试等领域得到广泛应用。目前的研究中,提取变更代码表示的方法粒度较粗,仅标出了变更行,而没有进行细粒度的标记。此外,现有的使用提交内容进行缺陷预测的方法,仅仅是把提交消息与变更代码的特征进行简单拼接,缺失了在特征空间上的深度对齐,这使得在提交消息质量参差不齐的情况下,会出现预测结果易受噪声干扰的情形,并且现有方法也未将领域专家设计的人工特征以及变更内容中的语义语法信息综合起来进行预测。为了解决上述问题,提出了一种基于细粒度代码表征和特征融合的即时软件缺陷预测方法。通过引入新的变更嵌入计算方法来在细粒度上表示变更代码。同时,引入特征对齐模块,降低提交消息中噪声对方法性能的影响。此外,使用神经网络从人工设计的特征中学习专业知识,充分利用现有特征进行预测。实验结果表明,相较于现有方法,该方法在3个性能指标上均有显著提升。 展开更多
关键词 即时软件缺陷预测 特征融合 软件工程 深度学习 代码表示
在线阅读 下载PDF
基于K互近邻与核密度估计的DPC算法 被引量:2
5
作者 周玉 夏浩 +1 位作者 刘虹瑜 白磊 《北京航空航天大学学报》 北大核心 2025年第6期1978-1990,共13页
快速搜索和发现密度峰值聚类(DPC)算法是一种基于密度的聚类算法。该算法不需要迭代和过多的设定参数,但由于计算局部密度时没有考虑数据的局部结构,导致无法识别簇密度小的聚类中心。针对此问题,提出基于K互近邻(KN)和核密度估计(KDE)... 快速搜索和发现密度峰值聚类(DPC)算法是一种基于密度的聚类算法。该算法不需要迭代和过多的设定参数,但由于计算局部密度时没有考虑数据的局部结构,导致无法识别簇密度小的聚类中心。针对此问题,提出基于K互近邻(KN)和核密度估计(KDE)的DPC(KKDPC)算法。通过K近邻和核密度估计方法得到数据点的K互近邻数量和局部核密度;将K互近邻数量与局部核密度进行加和获得新的局部密度;根据数据点的局部密度得到相对距离,并通过构建决策图选取聚类中心及分配非中心点。利用人工数据集和真实数据集进行实验,并与DPC、基于密度的噪声空间聚类应用(DBSCAN)、K-means、模糊C均值聚类算法(FCM)、基于K近邻的DPC(DPCKNN)、近邻优化DPC(DPC-NNO)、基于模糊加权共享邻居的DPC(DPC-FWSN)算法进行对比。通过计算调整互信息(AMI)、调整兰德指数(ARI)、归一化互信息(NMI)来验证KKDPC算法的性能。实验结果表明:KKDPC算法能更加准确地识别聚类中心,有效地提高聚类精度。 展开更多
关键词 聚类算法 密度峰值 K近邻 K互近邻 核密度估计
在线阅读 下载PDF
基于SSA-VMD的空天地算力网络中数字孪生逻辑靶场负载预测 被引量:1
6
作者 陈浩 党政 +2 位作者 黑新宏 赵彤 张杰 《计算机工程》 北大核心 2025年第5期20-32,共13页
在空天地多层次算力网络背景下,针对数字孪生逻辑靶场中因负载数据复杂性和非平稳特征带来的精准预测挑战,提出融合格拉姆转场(GAF)、卷积神经网络(CNN)、通道注意力机制的压缩与激励网络(SENet)和门控循环单元(GRU)的GCSG模型。GCSG模... 在空天地多层次算力网络背景下,针对数字孪生逻辑靶场中因负载数据复杂性和非平稳特征带来的精准预测挑战,提出融合格拉姆转场(GAF)、卷积神经网络(CNN)、通道注意力机制的压缩与激励网络(SENet)和门控循环单元(GRU)的GCSG模型。GCSG模型通过GAF将一维负载数据转换为二维图像,利用CNN提取局部特征,使用SENet优化特征重要性,采用GRU捕捉时序特征,实现了高效的特征融合和精准预测。此外,GCSG模型采用融合麻雀搜索算法(SSA)的变分模态分解(VMD)对负载数据进行平稳化处理,进一步提高了预测性能。实验结果表明,GCSG模型在不同数据长度下均表现出优异的预测精度和稳定性,且在多步预测任务中同样表现突出。因此,GCSG模型显著提升了负载数据的预测精度,为空天地算力网络中的数字孪生系统负载预测提供了强有力的解决方案。 展开更多
关键词 空天地多层次算力网络 数字孪生 逻辑靶场 负载预测 变分模态分解
在线阅读 下载PDF
基于区块链的版权保护研究综述 被引量:1
7
作者 赵楷 胡煜环 +2 位作者 闫俊桥 毕雪华 张琳琳 《计算机工程》 北大核心 2025年第8期1-15,共15页
区块链作为一种分布式可信数据库,在数字版权保护领域得到有效应用,引起学术界和工业界的广泛关注。传统数字版权保护技术存在侵权追踪难、版权交易复杂、合法权益保护不足等问题,严重制约数字版权保护研究的发展。区块链的防篡改、可... 区块链作为一种分布式可信数据库,在数字版权保护领域得到有效应用,引起学术界和工业界的广泛关注。传统数字版权保护技术存在侵权追踪难、版权交易复杂、合法权益保护不足等问题,严重制约数字版权保护研究的发展。区块链的防篡改、可追溯和去中心化等特性为解决数字版权侵权风险提供了可信、透明和安全的解决思路。首先介绍了区块链技术的基本原理;然后针对传统版权保护方案存在的问题,介绍了区块链结合传统版权保护技术的最新研究成果;接着评估了区块链在实际应用中的效果和潜力,强调其对版权保护体系的积极影响;最后探讨了区块链版权保护面临的挑战和未来发展趋势,以实现更加完善和可持续的区块链版权保护体系。 展开更多
关键词 区块链 数字版权保护 智能合约 密码学 侵权溯源
在线阅读 下载PDF
基于深度学习的混合语言源代码漏洞检测方法 被引量:1
8
作者 张学军 郭梅凤 +3 位作者 张潇 张斌 黄海燕 蔡特立 《湖南大学学报(自然科学版)》 北大核心 2025年第4期103-113,共11页
现有基于深度学习的源代码漏洞检测方法主要针对单一编程语言进行特征学习,难以对混合编程语言软件项目因代码单元间的关联和调用产生漏洞进行有效检测.因此,本文提出了一种基于深度学习的混合语言源代码漏洞检测方法DL-HLVD.首先利用B... 现有基于深度学习的源代码漏洞检测方法主要针对单一编程语言进行特征学习,难以对混合编程语言软件项目因代码单元间的关联和调用产生漏洞进行有效检测.因此,本文提出了一种基于深度学习的混合语言源代码漏洞检测方法DL-HLVD.首先利用BERT层将代码文本转换为低维向量,并将其作为双向门控循环单元的输入来捕获上下文特征,同时使用条件随机场来捕获相邻标签间的依赖关系;然后对混合语言软件中不同类型编程语言的函数进行命名实体识别,并将其和程序切片结果进行重构来减少代码表征过程中的语法和语义信息的损失;最后设计双向长短期记忆网络模型提取漏洞代码特征,实现对混合语言软件漏洞检测.在SARD和CrossVul数据集上的实验结果表明,DL-HLVD在两类漏洞数据集上识别软件漏洞的综合召回率达到了95.0%,F1值达到了93.6%,比最新的深度学习方法VulDeePecker、SySeVR、Project Achilles在各个指标上均有提升,说明DL-HLVD能够提高混合语言场景下源代码漏洞检测的综合性能. 展开更多
关键词 漏洞检测 命名实体识别 程序切片 混合语言
在线阅读 下载PDF
共享和特定表示的多视图属性图聚类 被引量:3
9
作者 曹付元 陈晓惠 《软件学报》 北大核心 2025年第3期1254-1267,共14页
现有的多视图属性图聚类方法通常是在融合多个视图的统一表示中学习一致信息与互补信息,然而先融合再学习的方法不仅会损失原始各个视图的特定信息,而且统一表示难以兼顾一致性与互补性.为了保留各个视图的原始信息,采用先学习再融合的... 现有的多视图属性图聚类方法通常是在融合多个视图的统一表示中学习一致信息与互补信息,然而先融合再学习的方法不仅会损失原始各个视图的特定信息,而且统一表示难以兼顾一致性与互补性.为了保留各个视图的原始信息,采用先学习再融合的方式,先分别学习每个视图的共享表示与特定表示再进行融合,更细粒度地学习多视图的一致信息和互补信息,构建一种基于共享和特定表示的多视图属性图聚类模型(multi-view attribute graph clustering based on shared and specific representation,MSAGC).具体来说,首先通过多视图编码器获得每个视图的初级表示,进而获得每个视图的共享信息和特定信息;然后对齐视图共享信息来学习多视图的一致信息,联合视图特定信息来利用多视图的互补信息,通过差异性约束来处理冗余信息;之后训练多视图解码器重构图的拓扑结构和属性特征矩阵;最后,附加自监督聚类模块使得图表示的学习和聚类任务趋向一致.MSAGC的有效性在真实的多视图属性图数据集上得到了很好地验证. 展开更多
关键词 多视图属性图 共享信息 特定信息 聚类
在线阅读 下载PDF
复合材料模压成型工艺参数优化方法 被引量:2
10
作者 杨泽青 杜竞旋 +2 位作者 胡宁 张延星 金一 《河北大学学报(自然科学版)》 北大核心 2025年第1期104-112,共9页
针对传统模压成型工艺能耗高、生产效率低、产品质量不稳定等问题,提出一种基于自适应遗传算法的模压成型工艺优化方法,用来优化模压成型过程中保温时间、模压压力以及温度等参数,该方法将实验得到的工艺数据作为输入层神经元,以成型质... 针对传统模压成型工艺能耗高、生产效率低、产品质量不稳定等问题,提出一种基于自适应遗传算法的模压成型工艺优化方法,用来优化模压成型过程中保温时间、模压压力以及温度等参数,该方法将实验得到的工艺数据作为输入层神经元,以成型质量翘曲变形量作为输出层神经元,构建BP神经网络,由此得到翘曲变形与模压压力、保温时间、温度之间的函数关系,然后运用自适应遗传算法对多工艺参数进行优化,经过二进制编码、选择、交叉、变异等步骤,最后解码得到优化后的结果.研究结果表明,自适应遗传算法能够对模压成型过程中因保温时间、模压压力以及温度三者不平衡引起的翘曲变形量有很好的改善效果,能提高产品成型质量. 展开更多
关键词 模压成型 工艺参数 多参数优化 自适应遗传算法
在线阅读 下载PDF
基于双模态交叉注意力机制的智能合约漏洞检测方法 被引量:1
11
作者 陈锦富 胡心怡 +1 位作者 蔡赛华 闵玺润 《通信学报》 北大核心 2025年第6期218-232,共15页
针对智能合约漏洞检测中现有深度学习方法依赖单一模态进行特征提取、对上下文信息捕获不足导致检测准确率较低的问题,提出了一种基于双模态交叉注意力机制的智能合约漏洞检测方法,设计了特定的注意力机制,同时分析合约的源代码和字节码... 针对智能合约漏洞检测中现有深度学习方法依赖单一模态进行特征提取、对上下文信息捕获不足导致检测准确率较低的问题,提出了一种基于双模态交叉注意力机制的智能合约漏洞检测方法,设计了特定的注意力机制,同时分析合约的源代码和字节码,实现源代码中的高级语义特征与字节码中的底层执行流程双向映射和互补增强,丰富特征表示。引入的残差连接有效地保持和传递原始特征信息,缓解深层网络训练中的梯度消失问题。在公开数据集上进行广泛测试,实验结果表明,所提方法相较基线提高了检测准确率2%以上;消融实验结果显示,跨模态特征融合和注意力机制的设计相互协同,显著提升检测性能。 展开更多
关键词 智能合约 漏洞检测 深度学习 双模态 交叉注意力
在线阅读 下载PDF
大数据赋能的多任务旅游信息分析框架 被引量:1
12
作者 杨光辉 李源彬 杨红兵 《无线电通信技术》 北大核心 2025年第1期187-195,共9页
以旅游大数据为基础,考虑长时间范围内的滞后效应以及不同搜索强度指数(Search Intensity Index,SII)之间的多任务影响,提出一种基于大数据的多任务旅游信息分析(Multi-tasking Tourism Information Analysis Based on Big Data,MTIABD... 以旅游大数据为基础,考虑长时间范围内的滞后效应以及不同搜索强度指数(Search Intensity Index,SII)之间的多任务影响,提出一种基于大数据的多任务旅游信息分析(Multi-tasking Tourism Information Analysis Based on Big Data,MTIABD)框架。使用融合信息重排序技术预测旅游需求,具体根据图引导结构模拟历史变量对未来变量的滞后影响。每个变量通过时间维度上的卷积神经网络(Convolutional Neural Network,CNN)进行独立编码,利用二分图动态建模滞后效应,通过图聚合进行挖掘,实现对旅游需求的精准预测。基于上述技术,构建旅游需求预测系统,旅游者能够根据需求检索不同景点的信息。在真实数据集上进行大量实验,结果表明所提出的MTIABD框架在一步和多步预测方面均优于现有方法。在平均绝对百分比误差(Mean Absolute Percentage Error,MAPE)指标下,相较于基于实例的多变量时间序列图预测框架(Instance-wise Graph-rased Framework for Multivariate Time Series Forecasting,IGMTF),MTIABD在HK-2021数据集上的性能提高了16.75%,在MO-2021数据集上的性能提高了19.79%。 展开更多
关键词 大数据 多任务 图神经网络 滞后效应
在线阅读 下载PDF
基于有限状态机引导的网络协议模糊测试方法
13
作者 袁斌 任家俊 +3 位作者 陈群锦明 张驰 邹德清 金海 《软件学报》 北大核心 2025年第8期3726-3743,共18页
模糊测试技术能够自动化挖掘软件当中的漏洞,然而目前针对网络协议的模糊测试工具对于协议实现内部状态空间探索有限,导致覆盖率较低.有限状态机技术能够对网络协议实现进行全方位建模,以深入了解网络协议实现的系统行为和内部状态空间... 模糊测试技术能够自动化挖掘软件当中的漏洞,然而目前针对网络协议的模糊测试工具对于协议实现内部状态空间探索有限,导致覆盖率较低.有限状态机技术能够对网络协议实现进行全方位建模,以深入了解网络协议实现的系统行为和内部状态空间.将有限状态机技术和模糊测试技术相结合,提出一种基于有限状态机引导的网络协议模糊测试方法.以广泛使用的TLS协议为研究对象,利用有限状态机学习来对于TLS协议实现进行建模,用来反映协议内部状态空间及其系统行为.随后,基于有限状态机对于TLS协议模糊测试进行引导,使模糊测试的深度更深、覆盖代码更广.为此,实现一个原型系统SNETFuzzer,并且通过一系列对比实验发现SNETFuzzer在覆盖率等重要指标中优于已有工作.SNETFuzzer在实验中成功发现多个漏洞,其中包含两个新漏洞,证明了其实用性和有效性. 展开更多
关键词 软件测试 模糊测试 网络协议 有限状态机
在线阅读 下载PDF
面向超级计算系统的节点故障异常预测方法
14
作者 赵一宁 王小宁 +2 位作者 牛铁 赵毅 肖海力 《计算机科学》 北大核心 2025年第9期128-136,共9页
随着超级计算系统的规模不断扩大,其计算节点发生故障和异常的概率也随之上升,严重影响了计算系统的运行稳定性。传统的故障应对方法多采用事后响应和补救措施,只能一定程度地挽回损失,而对故障和异常进行事前预测则能够提供更多的反应... 随着超级计算系统的规模不断扩大,其计算节点发生故障和异常的概率也随之上升,严重影响了计算系统的运行稳定性。传统的故障应对方法多采用事后响应和补救措施,只能一定程度地挽回损失,而对故障和异常进行事前预测则能够提供更多的反应和处理时间,因此逐渐成为故障响应方法的研究热点之一。对此,提出了一种面向超级计算系统的节点故障异常预测方法,旨在提升系统运行稳定性,减少计算资源的浪费。该方法首先分析系统历史运行数据,并通过无监督结合少量人工辅助的方法标记异常,基于这些异常在原始运行数据中发现关联的前置运行特征,随后基于机器学习方法建立节点故障异常的预测模型。该预测方法通过在原数据集上交叉验证获得了78%的精度和约90%的召回率,同时也保证了充分的提前时间。验证中使用的数据集是来自真实的超级计算系统的原始运行数据,证明了该方法具有可应用性。 展开更多
关键词 数据分析 异常预测 运行特征 预测模型
在线阅读 下载PDF
边缘计算环境下基于相关性的任务分区实时低功耗调度算法
15
作者 刘芳 陈子煜 +3 位作者 马昆 彭敏 何炎祥 胡威 《小型微型计算机系统》 北大核心 2025年第2期289-296,共8页
在嵌入式实时系统中,边缘智能技术显著提升了计算性能.然而,确保任务时效性、提高效率、降低能耗和系统阻塞仍然是关键研究领域.本研究专注于同质多核系统的任务调度问题,提出了一种名为“基于相关性的任务分区节能调度策略”(CBTP)的... 在嵌入式实时系统中,边缘智能技术显著提升了计算性能.然而,确保任务时效性、提高效率、降低能耗和系统阻塞仍然是关键研究领域.本研究专注于同质多核系统的任务调度问题,提出了一种名为“基于相关性的任务分区节能调度策略”(CBTP)的节能调度策略.CBTP通过深度分析任务之间的依赖关系,为它们分配最优处理器,减少资源争用和阻塞.为了实现高效的并发访问,采用了多处理器堆栈资源协议(MSRP)和高性能的分区最早截止优先调度算法(P-EDF).同时,CBTP引入了双速节能机制,结合动态电压和频率调整(DVFS)来灵活调整任务的执行速度.实验结果表明,CBTP策略明显优于传统方法,显著降低了系统阻塞和能耗,验证了其在同质多核系统中的卓越性和有效性.这项研究提供了一种新的视角,旨在边缘计算环境下来提升实时系统的调度性能,同时提高调度的能源效率. 展开更多
关键词 边缘智能 任务时效性 任务调度 能耗 多核系统 CBTP策略
在线阅读 下载PDF
海上桩基安装推荐系统的设计与实现
16
作者 黄山田 鲁华伟 +2 位作者 李怀亮 刘前标 李飒 《计算机应用与软件》 北大核心 2025年第9期18-23,43,共7页
由于海上桩基安装具有较大的风险,在工程实施前对桩基安装进行准确预测,在桩基安装后对数据进行统计分析就显得尤为重要。该文基于以往的打桩数据建立了桩基安装数据库,为有效利用数据库中已有的桩基安装数据,利用相似度算法和孪生网络... 由于海上桩基安装具有较大的风险,在工程实施前对桩基安装进行准确预测,在桩基安装后对数据进行统计分析就显得尤为重要。该文基于以往的打桩数据建立了桩基安装数据库,为有效利用数据库中已有的桩基安装数据,利用相似度算法和孪生网络技术,形成针对海上打桩案例的推荐方法。实验结果表明,采用相似度算法可以在打桩前为桩基施工人员推荐与待施工场地最为相符的桩基安装案例;采用孪生网络,可以帮助科研人员识别最相似的打桩案例。该研究成果可为设计施工以及科学研究人员提供有力的数据支撑。 展开更多
关键词 数据库 相似度算法 孪生网络 桩基安装
在线阅读 下载PDF
DApp资源命名与寻址技术研究
17
作者 叶崛宇 伦占群 +3 位作者 岳巧丽 李洪涛 张海阔 强济深 《计算机科学》 北大核心 2025年第5期299-306,共8页
近年来,非同质化通证(Non-Fungible Token,NFT)、去中心化金融(Decentralized Finance,DeFi)、元宇宙等去中心化应用(Decentralized Application,DApp)点燃了国内外对Web3.0的热情。DApp资源部分存储于传统Web服务器中,部分存储于区块... 近年来,非同质化通证(Non-Fungible Token,NFT)、去中心化金融(Decentralized Finance,DeFi)、元宇宙等去中心化应用(Decentralized Application,DApp)点燃了国内外对Web3.0的热情。DApp资源部分存储于传统Web服务器中,部分存储于区块链等去中心化系统中,其命名与寻址技术与传统Web2.0网站资源的命名与寻址技术大相径庭,然而学术界在相关方面的研究几乎空白。针对这一现状,文章系统梳理了现有DApp资源命名与寻址技术,即基于传统域名的命名与寻址技术和基于Web3.0域名的命名与寻址技术,并分析了现有技术的优点和不足。在此基础上,针对现有技术在易用性方面的不足,提出了一种新型DApp资源命名与寻址技术,设计了功能架构和实施框架,并开发了原型系统进行验证。实验结果表明,新型技术具有良好的易用性且性能较现有技术无显著下降。 展开更多
关键词 WEB3.0 DApp 命名与寻址 域名 易用性
在线阅读 下载PDF
IntervalTree+结构的函数式建模、机械化验证及其应用
18
作者 左正康 张晗庆 +1 位作者 王昌晶 游珍 《电子学报》 北大核心 2025年第2期474-482,共9页
区间树(IntervalTree)是一种对动态集合进行维护的搜索树,可用于高效地存储和搜索区间集合.当前实现了IntervalTree在Isabelle/HOL的建模与验证,其区间信息是在二叉搜索树上进行扩充的,IntervalTree结构支持的基本操作时间复杂度较高.为... 区间树(IntervalTree)是一种对动态集合进行维护的搜索树,可用于高效地存储和搜索区间集合.当前实现了IntervalTree在Isabelle/HOL的建模与验证,其区间信息是在二叉搜索树上进行扩充的,IntervalTree结构支持的基本操作时间复杂度较高.为此,本文对IntervalTree结构的节点附加额外颜色信息且保证树的平衡,提出了IntervalTree+结构,相较于IntervalTree结构的实现,插入和删除等操作最坏时间复杂度O(n)改进到O(log n).然后使用Isabelle定理证明器对IntervalTree+结构及其操作函数进行了函数式建模,对其不变量进行了机械化验证,保证了IntervalTree+结构操作函数的正确性和可靠性.进一步,首次提出一种区域匹配算法的通用验证规约,旨在解决一系列的区域匹配算法正确性验证问题.提出的IntervalTree+结构通过严格的机械化验证,且操作最坏时间复杂度相较于IntervalTree结构由O(n)优化到O(log n),可应用于区域匹配、视觉日志和评估模型等相关算法优化. 展开更多
关键词 区间树 IntervalTree+ 函数式建模 机械化验证 区域匹配算法 Isabelle定理证明器
在线阅读 下载PDF
区块链测试基准综述
19
作者 张孝 秦春玲 +3 位作者 王文收 刘昊 陈晋川 杜小勇 《软件学报》 北大核心 2025年第7期3151-3183,共33页
近年来,区块链技术已经广泛应用到数据要素流通、金融、物流、政务以及司法等领域.随之也出现了若干区块链测试基准,以评测不同区块链系统的性能.然而,现有区块链测试基准内容差异较大,缺少统一的区块链测试基准框架来规范基准的内容,... 近年来,区块链技术已经广泛应用到数据要素流通、金融、物流、政务以及司法等领域.随之也出现了若干区块链测试基准,以评测不同区块链系统的性能.然而,现有区块链测试基准内容差异较大,缺少统一的区块链测试基准框架来规范基准的内容,也缺失统一的指标体系来明确区块链系统在性能和安全性方面应具备的能力.从数据库发展历程来看,统一的、可重复的、公平的测试基准规范可以更好地引导行业发展.区块链本身也是一种特殊的分布式数据库管理系统,应该借鉴数据库技术在发展过程中积累的宝贵经验.参考数据库测试基准的内容,针对区块链系统所特有的去中心化、不可篡改、可信等特点,提出一个区块链测试基准参考框架UFBCB.该参考框架定义了区块链测试基准的5个核心要素:应用模型、数据模型、负载、指标和执行规则,并阐明5个要素相互之间的关系,为区块链性能评测提供了一个统一的参考标准.提出一个全面衡量区块链系统各项关键能力的测试指标体系,包含性能、能耗、扩展性和安全性这4个方面的指标,基本覆盖了已有的区块链测试指标.在此基础上,将UFBCB框架与现有区块链测试基准进行详尽的对比分析,指出目前区块链测试基准存在的普遍问题.最后,对区块链测试基准未来的发展方向进行了讨论. 展开更多
关键词 区块链 测试基准 性能评估 可扩展性 安全性
在线阅读 下载PDF
面向低能耗高性能的分类器两阶段数据选择方法
20
作者 崔双双 王宏志 +1 位作者 朱加昊 吴昊 《计算机应用》 北大核心 2025年第6期1703-1711,共9页
针对利用海量数据构建分类模型时训练数据规模大、训练时间长且碳排放量大的问题,提出面向低能耗高性能的分类器两阶段数据选择方法TSDS(Two-Stage Data Selection)。首先,通过修正余弦相似度确定聚类中心,并将样本数据进行基于不相似... 针对利用海量数据构建分类模型时训练数据规模大、训练时间长且碳排放量大的问题,提出面向低能耗高性能的分类器两阶段数据选择方法TSDS(Two-Stage Data Selection)。首先,通过修正余弦相似度确定聚类中心,并将样本数据进行基于不相似点的分裂层次聚类;其次,对聚类结果按数据分布自适应抽样以组成高质量的子样本集;最后,利用子样本集在分类模型上训练,在加速训练过程的同时提升模型精度。在Spambase、Bupa和Phoneme等6个数据集上构建支持向量机(SVM)和多层感知机(MLP)分类模型,验证TSDS的性能。实验结果表明在样本数据压缩比达到85.00%的情况下,TSDS能将分类模型准确率提升3~10个百分点,同时加速模型训练,使训练SVM分类器的能耗平均降低93.76%,训练MLP分类器的能耗平均降低75.41%。可见,TSDS在大数据场景的分类任务上既能缩短训练时间和减少能耗,又能提升分类器性能,从而助力实现“双碳”目标。 展开更多
关键词 分类器 层次聚类 自适应采样 数据选择 小样本学习
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部