期刊文献+
共找到41篇文章
< 1 2 3 >
每页显示 20 50 100
基于大语言模型的模糊测试研究综述
1
作者 李岩 杨文章 +1 位作者 张翼 薛吟兴 《软件学报》 北大核心 2025年第6期2404-2431,共28页
模糊测试是一种自动化的软件测试方法,通过向目标软件系统输入大量自动生成的测试数据,以发现系统潜在的安全漏洞、软件缺陷或异常行为.然而,传统模糊测试技术受限于自动化程度低、测试效率低、代码覆盖率低等因素,无法应对现代的大型... 模糊测试是一种自动化的软件测试方法,通过向目标软件系统输入大量自动生成的测试数据,以发现系统潜在的安全漏洞、软件缺陷或异常行为.然而,传统模糊测试技术受限于自动化程度低、测试效率低、代码覆盖率低等因素,无法应对现代的大型软件系统.近年来,大语言模型的迅猛发展不仅为自然语言处理领域带来重大突破,也为模糊测试领域带来了新的自动化方案.因此,为了更好地提升模糊测试技术的效果,现有的工作提出了多种结合大语言模型的模糊测试方法,涵盖了测试输入生成、缺陷检测、后模糊处理等模块.但是现有工作缺乏对基于大语言模型的模糊测试技术的系统性调研和梳理讨论,为了填补上述综述方面的空白,对现有的基于大语言模型的模糊测试技术的研究发展现状进行全面的分析和总结.主要内容包括:(1)概述模糊测试的整体流程和模糊测试研究中常用的大语言模型相关技术;(2)讨论大模型时代之前的基于深度学习的模糊测试方法的局限性;(3)分析大语言模型在模糊测试方法中不同环节的应用方式;(4)探讨大语言模型技术在模糊测试中的主要挑战和今后可能的发展方向. 展开更多
关键词 大语言模型 模糊测试 测试输入生成 缺陷检测 后模糊处理
在线阅读 下载PDF
肝器官芯片在生物医学研究中的应用进展 被引量:2
2
作者 陈汐玥 王亚清 +1 位作者 包芳 秦建华 《合成生物学》 CSCD 北大核心 2024年第4期813-830,共18页
肝脏具有复杂结构和多种功能,包括血糖调控、蛋白合成、解毒和药物代谢等,在维持人体正常生理活动中起着重要作用。传统的二维细胞培养和动物模型已被广泛用于肝脏生理或疾病研究,但它们在反映人体组织真实微环境和对药物反应等方面仍... 肝脏具有复杂结构和多种功能,包括血糖调控、蛋白合成、解毒和药物代谢等,在维持人体正常生理活动中起着重要作用。传统的二维细胞培养和动物模型已被广泛用于肝脏生理或疾病研究,但它们在反映人体组织真实微环境和对药物反应等方面仍存在一定局限。因此,建立高仿真度肝脏体外模型对于肝病研究、药效与毒性评价至关重要。本文概述了传统肝脏体外模型在实现近生理复杂微环境模拟、肝组织特异性功能准确复现等方面的局限性,总结了以器官芯片为代表的新型肝脏体外模型的设计策略、技术特点及其在生物医学领域的研究进展。文中重点介绍了肝器官芯片仿生构筑和实现肝组织微环境模拟的关键要素,包括多细胞组分、肝窦/肝小叶结构、生化因子梯度和流体因素等,并对未来结合其他先进手段(如类器官、生物材料和基因编辑等)等,建立高度生理相关性的肝器官芯片和微生理系统的发展前景予以展望。 展开更多
关键词 肝脏 器官芯片 类器官 疾病研究 药物评价
在线阅读 下载PDF
胎盘芯片及其在生殖医学领域的研究进展 被引量:1
3
作者 曹荣凯 秦建华 王亚清 《合成生物学》 CSCD 北大核心 2024年第4期831-850,共20页
胎盘是连接母体与胎儿的重要器官,在孕期发挥着物质交换、激素分泌、免疫调控和屏障防御等多种功能,对维持胎儿正常发育起着关键作用。胎盘功能障碍可能会导致多种妊娠并发症,如先兆子痫、胎儿生长受限和早产等,增加母胎发病率和死亡率... 胎盘是连接母体与胎儿的重要器官,在孕期发挥着物质交换、激素分泌、免疫调控和屏障防御等多种功能,对维持胎儿正常发育起着关键作用。胎盘功能障碍可能会导致多种妊娠并发症,如先兆子痫、胎儿生长受限和早产等,增加母胎发病率和死亡率。尽管传统的二维细胞培养和动物模型已被用于研究胎盘生理或病理,但仍存在一定局限。器官芯片是一种新型体外模型系统,它将工程学技术与生物学策略相结合,能够在体外模拟人体组织器官的关键结构和功能特点,在组织器官发育、疾病建模和药物评价等方面具有广泛的应用潜力。本文概述了目前胎盘芯片模型的构建及其在妊娠相关疾病、发育毒性评估和母胎界面药物转运等应用中的研究进展。依据人体胎盘发育过程和组织微环境特点,重点介绍了胎盘芯片模型的构筑原理和关键要素,如多细胞组分、胎盘屏障、氧张力、流体剪切力和细胞外基质微环境等,以及其他工程策略包括类器官、生物打印和水凝胶材料等,为实现仿生胎盘模型的体外构建提供了新的思路。此外,本文还讨论了现有胎盘模型在复杂性和功能成熟度等方面面临的局限和挑战,最后展望了未来发展先进的体外胎盘模型并推动其在生殖医学领域的应用前景。 展开更多
关键词 胎盘 干细胞 器官芯片 类器官 生殖医学
在线阅读 下载PDF
高性能MXenes纳米复合材料研究进展 被引量:2
4
作者 李雷 程群峰 《无机材料学报》 SCIE EI CAS CSCD 北大核心 2024年第2期153-161,共9页
二维过渡金属碳/氮化物(MXenes)以其优异的力学和电学性能,在多个领域展示出巨大的应用前景。近年来,高性能MXenes纳米复合材料(包括一维纤维、二维薄膜和三维块体)的研究取得了显著进展,但其力学性能仍远低于MXenes纳米材料的本征力学... 二维过渡金属碳/氮化物(MXenes)以其优异的力学和电学性能,在多个领域展示出巨大的应用前景。近年来,高性能MXenes纳米复合材料(包括一维纤维、二维薄膜和三维块体)的研究取得了显著进展,但其力学性能仍远低于MXenes纳米材料的本征力学性能,这主要归因于MXenes纳米复合材料中存在的孔隙缺陷、MXenes纳米片取向度低以及界面相互作用弱等关键科学问题。针对上述问题,本文首先讨论了MXenes纳米材料的本征力学性能,总结讨论了不同类型高性能MXenes纳米复合材料的发展历程,并介绍了高性能MXenes纳米复合材料的最新研究进展,包括如何消除孔隙缺陷、提高MXenes纳米片的取向度以及增强界面相互作用。同时,介绍了高性能MXenes纳米复合材料在电热、热伪装、电磁屏蔽、传感以及储能等领域的应用。最后,梳理了高性能MXenes纳米复合材料存在的挑战,并展望了未来的发展方向。 展开更多
关键词 MXenes 纳米复合材料 力学性能 功能应用 专题评述
在线阅读 下载PDF
大语言模型辅助的网络协议模糊测试 被引量:1
5
作者 颜晨 张翼 +2 位作者 龚汉文 薛吟兴 郭燕 《小型微型计算机系统》 北大核心 2025年第2期403-409,共7页
协议安全是保证互联网应用安全的基础,而模糊测试是验证协议安全的重要手段.协议测试的难点在于必须严格按照协议RFC中规定的结构和顺序生成数据包.为了生成能够满足协议需要的数据包,现有方法通常将一组记录的数据序列作为种子,但所记... 协议安全是保证互联网应用安全的基础,而模糊测试是验证协议安全的重要手段.协议测试的难点在于必须严格按照协议RFC中规定的结构和顺序生成数据包.为了生成能够满足协议需要的数据包,现有方法通常将一组记录的数据序列作为种子,但所记录的数据序列往往存在数量和多样性不足等问题,难以覆盖协议状态,而种子随机变异后的数据极有可能再次失效.为解决这一难题,本文探索了基于大语言模型(LLMs)进行网络协议模糊测试的方法,大语言模型充分理解了包括RFC协议在内的大量协议文本信息,从而获得了理解协议和生成测试所需的用例的能力.本文从状态获取、基于状态的种子生成和定向策略变异三方面,基于AFLNET探索了使用LLM进行网络协议模糊测试的方法 LLMAFL.为测试LLMAFL的效果,本文在ProfuzzBench中针对多项协议的测试,从代码覆盖和状态覆盖两方面,与当前领先的AFLNET和CHATAFL进行了对比,结果表明,相同测试时间内,LLMAFL的代码覆盖和状态覆盖相比AFLNET均有提升,部分协议中的效果也大幅超过了CHATAFL. 展开更多
关键词 网络协议模糊测试 大语言模型 种子生成 定向策略变异
在线阅读 下载PDF
基于深度学习的前列腺癌智能辅助诊断系统
6
作者 王刚 孟宁 +1 位作者 朱进 李春杰 《计算机应用与软件》 北大核心 2025年第4期21-26,99,共7页
前列腺癌已经成为全球男性发病率仅次于肺癌的第二大癌症,其死亡率位居第五。设计前列腺癌智能辅助诊断系统具有重要临床意义。在仅有图像级标注数据集的情况下,存在利用卷积神经网络只对图像分类,但没有给出癌化区域。针对这种情况,采... 前列腺癌已经成为全球男性发病率仅次于肺癌的第二大癌症,其死亡率位居第五。设计前列腺癌智能辅助诊断系统具有重要临床意义。在仅有图像级标注数据集的情况下,存在利用卷积神经网络只对图像分类,但没有给出癌化区域。针对这种情况,采用以EfficientNet-B0为架构的卷积神经网络模型为基础分类模型,对图像分块并得到每块的类别,再通过聚类算法得到癌化区域。在Web前端上传病理图像,等处理完成后可以查看辅助诊断结果。实验结果表明,该系统癌化区域的精确率为76.61%,召回率为72.52%,能有效地得到大致区域,获得满意的辅助诊断效果。 展开更多
关键词 前列腺病理切片图像 卷积神经网络 图像分块 Web前端
在线阅读 下载PDF
最坏执行时间分析中的时序异常问题
7
作者 蒋滨泽 朱钇宣 +3 位作者 陈香兰 龚小航 高银康 李曦 《计算机研究与发展》 北大核心 2025年第4期1033-1049,共17页
时序异常是一种程序在最坏执行时间(worst-case execution time,WCET)分析中反直觉的时间行为,其特征在于,尽管局部执行速度更快,但整体的执行时间可能会增加,因此WCET分析必须以保守的态度考虑所有可能的执行情况,以确保分析结果的安全... 时序异常是一种程序在最坏执行时间(worst-case execution time,WCET)分析中反直觉的时间行为,其特征在于,尽管局部执行速度更快,但整体的执行时间可能会增加,因此WCET分析必须以保守的态度考虑所有可能的执行情况,以确保分析结果的安全性,这使得WCET分析变得非常困难.相反地,如果能够确保要分析的程序与平台不存在时序异常,将大大减少WCET分析需要考虑的状态以及所花费的时间.因此,时序异常问题是WCET分析中的关键挑战.然而,尽管历经20多年的研究,学术界对时序异常问题仍未形成统一的定义和共识.自时序异常概念提出以来,学术界涌现出了各种文献描述时序异常,对于这些定义,可以根据定义方式和描述内容对它们进行分类,并分析它们各自的优劣.进一步地,如果对导致时序异常的原因进行研究,可以将其归结为调度策略、高速缓存以及组件影响这3个方面.此外,目前也有一些验证与消除时序异常的相关研究工作,这些工作也存在一些问题和不足.WCET分析的未来应当以分析方式为基础进行时序异常相关的研究,以更好地解决时序异常问题. 展开更多
关键词 最坏执行时间 处理器架构 时序异常 时间可预测 实时系统
在线阅读 下载PDF
一种面向情绪压力分布外检测的多任务跨模态学习方法
8
作者 万奕晨 邢凯 +3 位作者 刘宇 杨慧 徐筠涵 袁艳雪 《计算机应用研究》 北大核心 2025年第6期1734-1741,共8页
基于光电容积脉搏波(PPG)的情绪压力检测系统有望能够实现日常的便携监测,但由于不同个体间PPG信号差异显著,导致在对训练时未见过的个体进行压力检测时存在严重的分布外(OOD)问题。针对这一问题,提出了一种基于多任务学习的跨模态压力... 基于光电容积脉搏波(PPG)的情绪压力检测系统有望能够实现日常的便携监测,但由于不同个体间PPG信号差异显著,导致在对训练时未见过的个体进行压力检测时存在严重的分布外(OOD)问题。针对这一问题,提出了一种基于多任务学习的跨模态压力检测模型(CSMT),通过引入ECG信号重建和多心血管特征预测作为辅助任务,在高维表征空间中对PPG信号的压力检测进行协同优化,从而学习到跨个体的鲁棒压力检测表征。实验结果表明,在WESAD数据集上的留一验证(leave-one-subject-out)测试中,CSMT在三分类(中性/压力/愉悦)和二分类(压力/非压力)任务上的准确率和F 1值均优于现有方法,有效缓解了压力检测中的分布外泛化问题。后续的消融实验进一步验证了所提多任务跨模态学习框架在提升模型泛化能力方面的有效性。 展开更多
关键词 多任务学习 光电容积脉搏波 压力检测 分布外问题
在线阅读 下载PDF
有序多孔材料在色谱分离分析领域的应用
9
作者 王朝旭 王端达 +1 位作者 王树涛 宋永杨 《色谱》 北大核心 2025年第6期594-605,共12页
色谱作为一种高效率、高选择性的分离技术,拥有广阔的应用范围和发展前景。色谱柱的固定相是色谱技术中最核心的组成部分。研发具备高分辨分离性能的先进固定相材料,一直是该领域的研究热点。有序多孔材料(OPM)凭借其孔径的精确可控性... 色谱作为一种高效率、高选择性的分离技术,拥有广阔的应用范围和发展前景。色谱柱的固定相是色谱技术中最核心的组成部分。研发具备高分辨分离性能的先进固定相材料,一直是该领域的研究热点。有序多孔材料(OPM)凭借其孔径的精确可控性和孔隙结构的规整排列,能够精确筛分不同尺寸和形状的分子,同时减少分子在流动路径中的无序扩散,从而克服了传统色谱材料在分离精度上的限制,有效解决了科研和工业领域在原料及产物纯化方面所面临的难题。过去的几十年间,科研人员已成功开发出多种新型OPM,这些材料被用作色谱柱的固定相基质,实现了对同系物、异构体和同位素等性质相近物质的高效且快速的分离。本文首先从理论层面阐述了有序多孔结构对色谱分离柱效率及分离度的影响,为OPM在色谱固定相中的应用提供了理论支撑。接着,文章综述了包括金属有机框架(MOF)、共价有机框架(COF)、多孔有机笼(POC)、介孔二氧化硅、嵌段共聚物(BCP)组装材料以及高内相乳液聚合物(PolyHIPE)在内的多种类型OPM在色谱分离分析领域的研究进展。最后,文章探讨了当前色谱OPM所面临的挑战,并对未来的发展方向进行了展望。 展开更多
关键词 有序多孔材料 色谱分离分析 框架材料 自组装 聚合物 综述
在线阅读 下载PDF
基于最优传输理论和格兰杰因果关系检验的文本分类优化
10
作者 李静娟 邢凯 聂挺 《计算机应用与软件》 北大核心 2025年第6期167-177,共11页
随着深度学习及相关预训练模型等在文本分类任务上取得较好表现,其模型泛化性要求与有限的数据规模之间的冲突愈发严峻。基于梯度下降的网络优化方法要求所做变换必须连续可微,且优化过程中容易囿于局部极小值。对此,提出一种基于格兰... 随着深度学习及相关预训练模型等在文本分类任务上取得较好表现,其模型泛化性要求与有限的数据规模之间的冲突愈发严峻。基于梯度下降的网络优化方法要求所做变换必须连续可微,且优化过程中容易囿于局部极小值。对此,提出一种基于格兰杰因果关系检验和最优传输理论的预训练模型性能优化方法。将随机化算法与数据驱动的概率分布算法结合,基于格兰杰因果关系检验在小样本数据集上生成有效特征。然后基于最优传输理论学习有效特征间结构化组合表征,进而兼容连续/非连续高维流形结构间的传输映射造成的不稳定性。实验表明,对比直接使用BERT和TextGCN主流预训练模型,在中英文数据集上准确率均有提升。 展开更多
关键词 预训练 最优传输理论 数据分布 文本分类
在线阅读 下载PDF
二氧化钛表面浸润性调控增强光催化氧化反应性能
11
作者 卢净宇 刘志萍 +1 位作者 盛夏 封心建 《高等学校化学学报》 北大核心 2025年第5期92-99,共8页
反应界面微环境是影响光催化性能的重要因素.本文通过调控光催化剂的表面浸润性来改变反应界面微环境,构筑了高效的三相界面光催化体系,并用于光催化氧化有机物反应中.将二氧化钛(TiO_(2))纳米颗粒作为模型光催化剂,通过在其表面接枝聚... 反应界面微环境是影响光催化性能的重要因素.本文通过调控光催化剂的表面浸润性来改变反应界面微环境,构筑了高效的三相界面光催化体系,并用于光催化氧化有机物反应中.将二氧化钛(TiO_(2))纳米颗粒作为模型光催化剂,通过在其表面接枝聚二甲基硅氧烷(PDMS)以提高疏水性.结果表明,疏水PDMS层使得光催化体系在反应界面处形成了气-液-固三相共存的微环境,极大增加了界面氧气(O_(2))的浓度;同时,疏水PDMS层大幅提高了有机分子在催化剂表面的吸附能力.二者的协同作用促进了光催化氧化反应中超氧自由基(•O_(2)^(-))和羟基自由基(•OH)的生成,进而提高了光催化氧化反应效率.研究结果为未来设计构筑高效的催化反应体系提供了新思路. 展开更多
关键词 浸润性调控 反应界面微环境 三相界面 光催化 二氧化钛
在线阅读 下载PDF
一种面向异构集群的DNN推理任务批调度优化方法及实现
12
作者 张仁宇 朱宗卫 宋海鑫 《计算机应用与软件》 北大核心 2025年第7期219-226,269,共9页
随着人工智能产业的蓬勃发展,大量基于深度神经网络(DNN)的应用每天产生大规模的DNN推理任务,并汇集到大型异构计算集群进行推理。如何设计一种面向异构集群的高效DNN推理任务批调度优化方法及其实现是一个关键问题。针对该问题,提出一... 随着人工智能产业的蓬勃发展,大量基于深度神经网络(DNN)的应用每天产生大规模的DNN推理任务,并汇集到大型异构计算集群进行推理。如何设计一种面向异构集群的高效DNN推理任务批调度优化方法及其实现是一个关键问题。针对该问题,提出一种基于策略参数表征机制的调度优化方法。它使用包含参数的策略组合进行调度结果流生成,并不断使用元启发式搜索算法对这些参数进行最优解搜索;基于此优化方法实现了一个适用于异构计算集群推理任务调度的系统。实验结果表明该优化方法相较于传统的调度方法有着显著的性能提升。 展开更多
关键词 任务批调度 推理任务 异构集群
在线阅读 下载PDF
平均信息年龄敏感的移动群智感知机制研究 被引量:3
13
作者 郑俊 肖明军 《小型微型计算机系统》 CSCD 北大核心 2023年第11期2597-2602,共6页
随着移动互联网的飞速发展,对感知数据收集的需求增加,移动群智感知得以广泛应用.移动互联网数据的时效性要求越来越高,移动群智感知中移动数据的信息新鲜程度逐渐变得重要.然而,传统的激励机制设计方案只考虑了系统的经济效益,没有考... 随着移动互联网的飞速发展,对感知数据收集的需求增加,移动群智感知得以广泛应用.移动互联网数据的时效性要求越来越高,移动群智感知中移动数据的信息新鲜程度逐渐变得重要.然而,传统的激励机制设计方案只考虑了系统的经济效益,没有考虑移动数据的信息新鲜度.针对此问题,提出了一种平均信息年龄敏感的移动群智感知机制设计方案.首先,对移动群智感知中的信息新鲜度问题进行建模和问题形式化.然后,推导出单个或多个同质移动用户情形下3种先到先服务队列系统的平均信息年龄表征.以此为基础,进一步推导出多异质移动用户竞争情形下的平均信息年龄表征,给出了信息阈值限定下,移动用户可选的数据更新频率范围,为移动群智感知系统中移动用户的行动提供了明确的指导.通过数值研究进一步论证了上述情形中的平均信息年龄表征的正确性和合理性. 展开更多
关键词 移动群智感知 信息年龄 排队论 异质移动用户
在线阅读 下载PDF
车联网络协议的模糊测试研究综述 被引量:1
14
作者 张翼 郭燕 +3 位作者 周继祥 龚汉文 唐顺成 薛吟兴 《小型微型计算机系统》 CSCD 北大核心 2023年第6期1204-1213,共10页
随着网络通信技术和汽车产业的快速发展,车联网内数据交互日益频繁,同时,车联网的安全问题也日益严重.本文首先介绍了针对车联网的多个攻击案例,并引入模糊测试这一解决方案.其次,介绍智能车联网架构,从车载有线网络协议和车载无线通信... 随着网络通信技术和汽车产业的快速发展,车联网内数据交互日益频繁,同时,车联网的安全问题也日益严重.本文首先介绍了针对车联网的多个攻击案例,并引入模糊测试这一解决方案.其次,介绍智能车联网架构,从车载有线网络协议和车载无线通信技术进行分析.之后,介绍模糊测试在车联网中的流程与分类,从测试用例的生成、异常检测手段和测试评估指标三方面分析车联网模糊测试的发展现状.最后展望了车联网模糊测试的未来发展方向. 展开更多
关键词 车联网 模糊测试 网络协议安全
在线阅读 下载PDF
基于因果干预与不变性的卷积预训练模型优化研究
15
作者 胡璇 邢凯 +2 位作者 李亚鸣 王志勇 邓洪武 《计算机工程》 CAS CSCD 北大核心 2022年第4期89-98,共10页
基于卷积神经网络(CNN)的深度模型在图像识别与分类领域应用广泛,但在全局特征控制、概念层次特征不变性提取和变量之间的因果关系确定方面仍存在不足,使得深度模型缺乏灵活性、适应性及泛化性。基于因果干预和不变性,提出一种基于CNN... 基于卷积神经网络(CNN)的深度模型在图像识别与分类领域应用广泛,但在全局特征控制、概念层次特征不变性提取和变量之间的因果关系确定方面仍存在不足,使得深度模型缺乏灵活性、适应性及泛化性。基于因果干预和不变性,提出一种基于CNN深度模型的定向修剪和网络结构优化方法。通过对模型输入进行基于不变性的干预调制,根据生成的调制图片序列分析预训练网络卷积子结构的输出分布,筛选和定向修剪噪声敏感子结构。构建基于类间区分度的目标函数,借助经济学领域中的资本资产定价模型构建网络的层间连接,生成在单分类任务下能增大类间区分度的网络拓扑结构,逐层优化构建概念层次的稳定特征。在ImageNet-2012数据集上的实验结果表明,优化后的深度模型相比于ResNet50基线预训练模型的分类准确率约提升了5个百分点,并大幅降低了训练集规模。 展开更多
关键词 图像识别与分类 卷积神经网络 因果干预 不变性 资本资产定价模型
在线阅读 下载PDF
面向多视角对比学习和语义增强的多模态预训练方法 被引量:2
16
作者 汤嘉 郭燕 +1 位作者 叶名玮 吴桂兴 《计算机科学》 CSCD 北大核心 2024年第1期168-174,共7页
视觉语言预训练(VLP)模型通过对比学习等方法,在多模态任务上表现出了优异的性能。然而现有研究忽视了多视角描述带来的好处,以及语义和语法的重要性。为了解决这一问题,文中提出了多视角对比学习和语义增强多模态预训练(Multi-view lea... 视觉语言预训练(VLP)模型通过对比学习等方法,在多模态任务上表现出了优异的性能。然而现有研究忽视了多视角描述带来的好处,以及语义和语法的重要性。为了解决这一问题,文中提出了多视角对比学习和语义增强多模态预训练(Multi-view learning and Semantic Enhancement for Multimodal pre-training,MulSE)模型。MulSE主要分为3个部分:1)在融合编码器模型中,引入带有生成器的多视角对比学习;2)提出了一种新的自监督视觉语言预训练任务——多模态文本重排序;3)增加并探寻最优MLM掩码比例,最大化利用视觉信息的能力。通过改进预训练任务,采取多种最优策略,并通过实验验证MulSE增强了模态内部和模态间的理解能力以及对文本语法和语义的理解能力。预训练仅用4×106的数据量,在图文检索任务中就达到了先前大型数据集的效果,且其在视觉问答和视觉蕴含任务上的评估效果优于先前的理解式VLP模型。 展开更多
关键词 计算机视觉 多模态 预训练 多视角 理解增强
在线阅读 下载PDF
基于RPU的TTI程序设计和分析方法
17
作者 高银康 陈香兰 +3 位作者 龚小航 蒋滨泽 李曦 周学海 《计算机研究与发展》 EI CSCD 北大核心 2024年第1期98-119,共22页
实时嵌入式系统不仅要保证计算结果的逻辑正确性,还要确保与外界交互的时序正确性,所以底层程序要能精确表达上层模型中的时间行为.TTI指令集(time-triggered instruction set)的提出尝试解决计算机指令集体系结构层次缺少时间语义的问... 实时嵌入式系统不仅要保证计算结果的逻辑正确性,还要确保与外界交互的时序正确性,所以底层程序要能精确表达上层模型中的时间行为.TTI指令集(time-triggered instruction set)的提出尝试解决计算机指令集体系结构层次缺少时间语义的问题,并且基于TTI指令集实现的实时处理单元(real-time processing unit,RPU)证明了TTI指令集的可行性和有效性.但是目前的工作缺少对于TTI程序设计和分析方法的研究.所以,基于TTI指令集和RPU,提出了TTI指令集可以表达的4种时间语义,给出了TTI程序的设计范式.并且构建了TTI程序时间行为的表示方法——TFG+,TFG+是对TFG的扩展,TFG+区分了TTI程序中时间语义指令和普通代码段,可以表示TTI程序的控制流信息、用户规定的时间行为和TTI程序平台相关的时间属性.最后,提出了TTI程序的时间分析方法以及时间安全性检查方法,为TTI程序的设计和部署提供了依据. 展开更多
关键词 实时嵌入式系统 时间可预测性 时间语义指令集 实时处理器 WCET分析
在线阅读 下载PDF
WebAssembly安全综述
18
作者 庄骏杰 胡霜 +2 位作者 华保健 汪炀 潘志中 《计算机研究与发展》 EI CSCD 北大核心 2024年第12期3027-3053,共27页
WebAssembly是一种新兴的二进制指令集体系结构与代码分发格式,旨在为高级程序语言提供统一且架构无关的编译目标.由于其安全、高效与可移植等先进特性,WebAssembly在Web领域与非Web领域均得到了广泛应用,正在成为最有前景的跨平台公共... WebAssembly是一种新兴的二进制指令集体系结构与代码分发格式,旨在为高级程序语言提供统一且架构无关的编译目标.由于其安全、高效与可移植等先进特性,WebAssembly在Web领域与非Web领域均得到了广泛应用,正在成为最有前景的跨平台公共语言标准之一.尽管WebAssembly提供了多种先进特性以保证安全性,然而,已有研究表明,WebAssembly仍然存在特有的攻击面从而导致安全问题,这些安全问题直接影响到基于WebAssembly的整个软件系统生态.因此,对WebAssembly安全问题的产生机理、现有解决方案以及亟待解决的科学问题展开系统研究尤为重要.基于WebAssembly安全研究领域已经公开发表的42篇研究论文,对WebAssembly安全的相关研究进行了系统研究、分析、归纳和总结:首先,研究分析了WebAssembly的核心安全特性,并在此基础上首次提出了WebAssembly的4层安全威胁模型,包括高级语言支持、编译工具链、二进制表示和语言虚拟机,并对每一层的安全威胁和攻击面进行了详细讨论;其次,提出了WebAssembly安全研究的分类学,将已有研究划分为安全实证研究、漏洞检测与利用、安全增强、形式语义与程序验证4个热点研究方向,并对这4个方向分别进行了综述、分析和总结;最后,指出了该领域待解决的科学问题,并展望了5个潜在的研究方向. 展开更多
关键词 WebAssembly 语言安全 漏洞检测与利用 安全增强 形式化验证
在线阅读 下载PDF
空间加速器的受约束数据流建模与评估框架 被引量:1
19
作者 贺裕兴 王腾 +1 位作者 滕文彬 宫磊 《计算机工程与应用》 CSCD 北大核心 2024年第17期74-88,共15页
将张量计算任务部署在空间加速器上已被证明能有效提高其执行速度和效率。为了在空间加速器上高效地进行张量计算,学术界提出了一系列数据流建模与评估框架。这些框架能够快速评估数据流,以便进行高效的设计空间探索。然而,这些框架缺... 将张量计算任务部署在空间加速器上已被证明能有效提高其执行速度和效率。为了在空间加速器上高效地进行张量计算,学术界提出了一系列数据流建模与评估框架。这些框架能够快速评估数据流,以便进行高效的设计空间探索。然而,这些框架缺乏对硬件结构的细粒度描述,因此无法有效地建模硬件结构对数据流的约束,从而无法有效地探索受到真实加速器硬件结构限制的数据流设计空间。为了解决这一问题,对硬件结构进行了细粒度建模,采用多层次的空间加速器硬件结构作为模板。每一层都包括阵列结构、存储结构和互连网络结构三部分,以分别描述硬件结构对数据流在空间展开、存储容量和数据传输方式方面的限制。提出了一种计算任务和数据流建模方法,该方法能够有效地求解数据流对硬件资源的需求。基于此,提出了一个数据流评估框架,包括需求分析、约束分析和性能分析三部分。需求分析用于求解计算任务和数据流对硬件资源的需求;约束分析旨在检查数据流是否违反硬件结构约束;性能分析用于评估数据流的延迟、数据重用和资源利用率等性能指标。实验结果表明,与之前最先进的评估框架相比,提出的框架在延迟评估方面的误差有所降低,并且能够有效地支持对受限数据流设计空间的探索。 展开更多
关键词 张量计算 空间加速器 数据流 建模与评估 设计空间探索
在线阅读 下载PDF
FPGA平台上动态硬件重构的Winograd神经网络加速器 被引量:1
20
作者 梅冰笑 滕文彬 +3 位作者 张弛 王文浩 李富强 苑福利 《计算机工程与应用》 CSCD 北大核心 2024年第22期323-334,共12页
为解决卷积神经网络在FPGA平台上进行硬件加速时存在的资源利用率低和资源受限问题,提出了一种基于FPGA动态部分重构技术和Winograd快速卷积的卷积神经网络加速器。该加速器通过运行时硬件重构对FPGA片上资源进行时分复用,采用流水线方... 为解决卷积神经网络在FPGA平台上进行硬件加速时存在的资源利用率低和资源受限问题,提出了一种基于FPGA动态部分重构技术和Winograd快速卷积的卷积神经网络加速器。该加速器通过运行时硬件重构对FPGA片上资源进行时分复用,采用流水线方式动态地将各个计算流水段配置到FPGA,各个流水段所对应的卷积计算核心使用Winograd算法进行定制优化,以在解决资源受限问题的同时最大程度地提升计算资源利用效率。针对该加速器架构,进一步构建了组合优化模型,用于搜索在特定FPGA硬件平台上部署特定网络模型的最优并行策略,并使用遗传算法进行设计空间求解。基于Xilinx VC709 FPGA平台对VGG-16网络模型进行部署和分析,综合仿真结果表明,所提出的设计方法能够在资源有限的FPGA上自适应地实现大型神经网络模型,加速器整体性能可以达到1078.3 GOPS,较以往加速器的性能和计算资源利用效率可以分别提升2.2倍和3.62倍。 展开更多
关键词 卷积神经网络 动态部分硬件重构 现场可编程门阵列(FPGA) 硬件加速器 Winograd快速卷积
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部