DDoop: 基于差分式Datalog求解的增量指针分析框架

下载全文  

指针分析是对软件进行编译优化、错误检测的核心基础技术之一.现有经典指针分析框架,如Doop,会将待分析程序和分析算法转化成Datalog评估问题并进行求解,如程序规模较大,单次求解分析时间开销较大.在程序频繁变更发布的情况下,相关程序分析的开销更是难以负担.近年来,增量分析作为一… …   相似文献

沈天琪  王熙灶  宾向荣  卜磊 《软件学报》2024,35(6):2608-2630

结合句法增强与图注意力网络的方面级情感分类

  

方面级情感分类旨在识别给定特定方面文本的情感极性,在本领域中,将图神经网络与句法依赖解析相结合是当下热门的研究方向之一,此类方法通过句法解析捕捉句子中词与词之间的关系,依此构建图结构,输入图神经网络中得到情感极性.若句法解析器出现解析错误,将会对以图为基础的图神经网络模型产生巨大… …   相似文献

张泽宝  余翰男  王勇  潘海为 《计算机科学》2024,51(5):200-207

COURIER:基于非抢占式优先排队和优先经验重放DRL的边缘计算任务调度与卸载方法

  

  相似文献

《计算机科学》2024,51(5)

基于多尺度视觉感知特征融合的显著目标检测方法

  

显著性物体检测具有重要的理论研究意义和实际应用价值,已在许多计算机视觉应用中发挥了重要作用,如视觉追踪、图像分割、物体识别等.然而,自然环境下显著目标的类别未知、尺度多变依然是物体检测面临的一大挑战,影响着显著目标的检测效果.因此,提出了 一种基于多尺度视觉感知特征融合的显著目标… …   相似文献

吴小琴  周文俊  左承林  王一帆  彭博 《计算机科学》2024,51(5):143-150

基于SM9的密钥策略属性基加密及快速解密

  

属性基加密是一种通过指定访问策略实现数据共享的公钥加密技术,分为密钥策略属性基加密和密文策略属性基加密两种.在属性基加密中,数据拥有者通过指定一个访问策略(属性集合)对数据进行加密,被授权的接收者使用与属性集合(访问策略)相关联的解密密钥访问数据.与传统\"一对一\"的数据共享模… …   相似文献

刘晓红  黄欣沂  程朝辉  伍玮 《计算机学报》2024,47(5):971-986

NFT仿冒欺诈的测量与检测技术

  

近年来非同质化代币(Non-Fungible Token,NFT)繁荣发展,但安全问题也日益凸显,尤其是NFT的仿冒问题.在去中心化的环境下,仿冒已有的NFT作品变得相对容易,而辨别真伪却尤其困难.本文围绕仿冒NFT的测量与仿冒检测方法的评估进行了系统深入的研究.建立了包括形式化… …   相似文献

廖鹏  方滨兴  刘潮歌  王志  张云涛  崔翔 《计算机学报》2024,47(5):1065-1081

2023年度国家自然科学基金计算机科学领域项目资助情况分析及未来方向展望

  

  相似文献

《计算机学报》2024,47(5)

基于扰动时空混沌的三维OFDM星座加密方案

  

无线通信网络的迅猛发展使得传输信息量迅速增加,这对系统的传输效率和通信安全提出了更高的要求.为满足上述要求,提出了一种基于扰动时空混沌的三维OFDM星座加密方案.首先,设计了一种反馈元胞自动机,以提高元胞自动机的周期性和伪随机性.将反馈元细胞自动机的迭代结果进行归一化后,作为扰动… …   相似文献

赵耿  吴锐  马英杰  黄思婕  董有恒 《计算机科学》2024,51(5):390-399

面向多重属性的区块链去中心化程度度量模型

  

去中心化是区块链的典型特征,随着区块链技术的不断发展,去中心化程度定量度量的现实意义也逐渐加深.现有区块链去中心化程度度量方法采用的评价指标或是考虑节点功能,或是考虑网络性能,评价角度不同,导致提出的模型和评价指标存在较大的偏差.为此,文中面向区块链交易流程,提取节点功能完整、网… …   相似文献

张睿蓉  牛保宁  樊星 《计算机科学》2024,51(5):382-389

集成全尺度融合和循环注意力的医学图像分割网络

  

深度学习中的编解码网络在图像特征提取和分层特征融合方面具有卓越的性能,常被用于医学图像分割.但是,目前主流的编解码网络分割方法仍面临编码和解码阶段单一网络挖掘的图像特征信息不足,以及仅使用简单的跳跃连接而无法充分利用全尺度特征包含的粗粒度信息和细粒度信息等问题.为了解决上述问题,… …   相似文献

单昕昕  李凯  文颖 《计算机科学》2024,51(5):100-107

结合图对比学习的多图神经网络会话推荐方法

  

会话推荐根据匿名用户短期内的交互数据预测下一个交互物品.针对会话中物品少、物品长尾分布等特性,现有基于图对比学习的会话推荐模型提出对会话内物品采用随机裁剪、扰动等方式构造正负样本.然而,上述随机退出策略进一步缩减较短会话中的可用物品,使得会话更加稀疏,引起会话兴趣学习偏差.为此,… …   相似文献

卢敏  原子婷 《计算机科学》2024,51(5):54-61

融合语义解释和DeBERTa的极短文本层次分类

  

文本层次分类在社交评论主题分类、搜索词分类等场景中有重要应用,这些场景的数据往往具有极短文本特征,体现在信息的稀疏性、敏感性等中,这对模型特征表示和分类性能带来了很大挑战,而层次标签空间的复杂性和关联性使得难度进一步加剧.基于此,提出了 一种融合语义解释和DeBERTa模型的方法… …   相似文献

陈昊飏  张雷 《计算机科学》2024,51(5):250-257

基于Jump-SBERT的二进制代码相似性检测技术研究

  

  相似文献

《计算机科学》2024,51(5)

基于肌电-惯性融合的人体运动估计:高斯滤波网络方法

下载全文  

本文研究了基于肌电(Electromyography, EMG)-惯性融合的人体运动估计问题,提出了一种序贯渐进高斯滤波网络(Sequential progressive Gaussian filtering network, SPGF-net)估计方法来形成肌电和惯性的互补性优… …   相似文献

杨旭升;李福祥;胡佛;张文安 《自动化学报》2024,(5):991-1000

干扰条件下无人艇编队有限时间同步控制

下载全文  

针对有限时间控制中各状态分量收敛时间不同问题, 提出一种无人艇编队有限时间同步控制框架, 在此框架下设计的有限时间同步编队控制方法可巧妙地达到无人艇所有自由度编队误差在同一时刻收敛到平衡点. 首先, 针对现有干扰观测器与时间同步稳定框架不兼容问题, 设计有限时间同步干扰观测器; … …   相似文献

王端松  李东禹  梁晓玲 《自动化学报》2024,50(5):1047-1058

基于个性化随机游走的基因-表型关联分析

  

基因与表型间的关联分析对揭示生物的内在遗传关联具有重要意义.随机游走算法可以融合多组学数据,聚合一阶或高阶邻居的标签信息,对网络中不同节点间关联信息进行补全,提高关联预测的准确度,进而发现基因和表型间潜在的遗传关联.但现有随机游走算法通常平等地对待每个节点,忽略了不同节点的重要性… …   相似文献

谭好江;王峻;余国先;陈建;郭茂祖 《电子学报》2024,(5):1619-1632

高浓度掺杂非晶铟镓锌氧化物薄膜的态密度模型研究

  

针对背沟道刻蚀（Back Channel Etch,BCE）技术的非晶铟镓锌氧化物（a-IGZO）薄膜晶体管（Thin Film Transistor,TFTs）,建立了一种高浓度掺杂态密度模型（High Concentration Doping Density Of States model,HCD-DOS model）,并通过数值模拟研究态密度关键参数对器件性能的影响,以此揭示a-IGZO TFTs中制备工艺对导电沟道修复的物理机理．首先,采用结合强度较高的钼/铜双层结构作为栅/源/漏电极,引入BCE方法制备了底栅顶接触（BottomGate Top-Contact,BG-TC） TFTs．其次,建立了适用于BCE技术的a-IGZO TFTs的HCD-DOS模型．随后,基于TCAD（Technology Computer Aided Design）仿真器对态密度关键参数进行数值研究,结果表明,不同态密度参数对a-IGZO TFTs器件转移特性曲线、电学特性以及沟道内部电子浓度分布的影响有所差异.最后,基于HCD-DOS模型探索Si O_x钝化层沉积和N₂O等离子体处理对器件内部机理的影响．研究发现,N₂O等离子体处理对态密度分布和沟道载流子浓度有显著影响,进而导致阈值电压正向漂移．… …   相似文献

蔡坤林;谢应涛;蹇欢;黄雁琳;翁嘉明 《电子学报》2024,(5):1591-1600

Crystal-Kyber算法的FPGA高效并行优化

  

多项式乘法运算制约着基于格的后量子密码在现实中的应用.为提高后量子密码Crystal＿Kyber算法的性能效率,减少运行时间,降低多项式乘法的影响,本文设计了一种新的蝶形运算单元对素模q=3 329的Kyber方案进行优化.首先,采用16路并行调度新型蝶形运算单元的方式执行算法,… …   相似文献

吕顺森;李斌;翟嘉琪;李松岐;周清雷 《电子学报》2024,(5):1679-1689

基于高速安全存储SoC芯片的PCIe与SATA通路验证

  

针对传统SATA控制器存储系统性能受限、安全性不足问题,提出并设计了一款可实现PCIe（peripheral component interconnect express）与SATA（serial advanced technology attachment）协议传输数据互转,基… …   相似文献

于哲  周舜民  陈方 《计算机应用研究》2024,41(5)

融合多尺度和注意力机制的小样本目标检测

  

现有基于微调的二阶段小样本目标检测方法对新类特征不敏感,易将新类别误判成与它相似度高的基类,影响模型的检测性能.针对上述问题,提出一种融合多尺度和注意力机制的小样本目标检测(MA-FSOD)算法.首先在骨干网络使用分组卷积和大卷积核提取更具类别区分性的特征,并加入卷积注意力模块(… …   相似文献

李鸿天  史鑫昊  潘卫国  徐成  徐冰心  袁家政 《计算机应用》2024,44(5):1437-1444