期刊文献+
共找到980篇文章
< 1 2 49 >
每页显示 20 50 100
《Grammars for Programming Languages》简介
1
《计算机工程与应用》 1983年第4期100-100,共1页
加利福尼亚大学J. Craig cleaveland和Robert C. Uzgalis合著的“Grammars forProgramming Languages”(程序设计语言的文法)一书系美国ELSEVIER NORTH-HO-LLAND, INC.1977年出版的一套程序设计语言丛书之一。 自从1956年Noam
关键词 短语结构文法 定义 书系 Grammars for programming languages 程序设计语言
在线阅读 下载PDF
Agent Oriented Programming进展
2
作者 王一川 石纯一 《计算机科学》 CSCD 北大核心 2002年第12期120-122,97,共4页
Agent-oriented programming (AOP) is a framework to develop agents, and it aims to link the gap betweentheory and practical in agent research. The core of an AOP framework is its language and semantics. In this paper,w... Agent-oriented programming (AOP) is a framework to develop agents, and it aims to link the gap betweentheory and practical in agent research. The core of an AOP framework is its language and semantics. In this paper,we propose the necessary properties which agents should have, and then give a summary and analysis about differentAOP languages based on these properties. 展开更多
关键词 人工智能 自治实体 多AGENT系统 AgentOrientedprogramming
在线阅读 下载PDF
《国际中文教学通用课程大纲》的应用价值与实践探索——以英国中文教育国际合作项目的应用为例
3
作者 于泓珊 杨薇 钟英华 《四川师范大学学报(社会科学版)》 北大核心 2025年第4期153-161,206,共10页
《国际中文教学通用课程大纲》(中小学阶段)作为中文教学实践标准,为海外低龄中文教学提供了规范性的指导和参考。《大纲》在“中文培优”项目中的应用,本质上是国际中文教育标准与英国外语教育体系的衔接,具有重要价值,能助力解决“中... 《国际中文教学通用课程大纲》(中小学阶段)作为中文教学实践标准,为海外低龄中文教学提供了规范性的指导和参考。《大纲》在“中文培优”项目中的应用,本质上是国际中文教育标准与英国外语教育体系的衔接,具有重要价值,能助力解决“中文培优”项目面临的三重挑战、达成关键成果目标、推动国际中文教育标准与英国本土实践的深度联结。在英国中文教育国际合作项目中,《大纲》可以从课程整体设计、教学大纲编写、课堂教学实施、教学资源建设、考核评价设计五个方面具体实施,并在“中文培优”项目暑期来华研修项目的实践应用中提供指导和支持。效果评价显示,《大纲》的应用能显著提升低龄学习者的中文学习积极性,为中外教师搭建合作平台。未来,可以通过开展专题培训及构建中外教师专业共同体进行师资赋能,开展国别化修订以适应不同地区中文教学需求,进一步提升《大纲》的海外应用价值。 展开更多
关键词 《国际中文教学通用课程大纲》 英国外语教育体系 “中文培优”项目 国际中文教育
在线阅读 下载PDF
基于深度学习的混合语言源代码漏洞检测方法
4
作者 张学军 郭梅凤 +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
英美高校外语类专业的式微:思考与启示
5
作者 姜亚军 龚睿 《外国语文》 北大核心 2025年第2期1-17,共17页
近20年来,人文学科在英美等国表现出日渐式微之势。由于招生人数下降和财政压力加大,英美高校纷纷撤销外语类专业,外语人才的供给和需求形成一个“怪圈”,与国家语言能力建设之间的矛盾日渐突出。本文对英美高校外语类专业在过去近20年... 近20年来,人文学科在英美等国表现出日渐式微之势。由于招生人数下降和财政压力加大,英美高校纷纷撤销外语类专业,外语人才的供给和需求形成一个“怪圈”,与国家语言能力建设之间的矛盾日渐突出。本文对英美高校外语类专业在过去近20年中的调整进行梳理,在探讨全球高等外语教育变革趋势的基础上,结合我国特色外语教育改革发展面临的历史方位与形势挑战,从国家外语能力建设、分类发展、专业知识体系构建等方面对我国外语专业的优化调整提出建议。 展开更多
关键词 外语专业 英美高校 式微 启示
在线阅读 下载PDF
DeepCom-GCN:融入控制流结构信息的代码注释生成模型
6
作者 钟茂生 刘会珠 +1 位作者 匡江玲 严婷 《江西师范大学学报(自然科学版)》 北大核心 2025年第1期27-36,共10页
代码注释生成是指给定一个代码片段,通过模型自动生成一段关于代码片段功能的概括性自然语言描述.不同于自然语言,程序语言具有复杂语法和强结构性.部分研究工作只利用了源代码的序列信息或抽象语法树信息,未能充分利用源代码的逻辑结... 代码注释生成是指给定一个代码片段,通过模型自动生成一段关于代码片段功能的概括性自然语言描述.不同于自然语言,程序语言具有复杂语法和强结构性.部分研究工作只利用了源代码的序列信息或抽象语法树信息,未能充分利用源代码的逻辑结构信息.针对这一问题,该文提出一种融入程序控制流结构信息的代码注释生成方法,将源代码序列和结构信息作为单独的输入进行处理,允许模型学习代码的语义和结构.在2个公开数据集上进行验证,实验结果表明:和其他基线方法相比,DeepCom-GCN在BLEU-4、METEOR和ROUGE-L指标上的性能分别提升了2.79%、1.67%和1.21%,验证了该方法的有效性. 展开更多
关键词 代码注释生成 抽象语法树 控制流图 图卷积神经网络 软件工程 程序理解 自然语言处理
在线阅读 下载PDF
预训练模型在软件工程领域应用研究进展 被引量:2
7
作者 宫丽娜 周易人 +3 位作者 乔羽 姜淑娟 魏明强 黄志球 《软件学报》 北大核心 2025年第1期1-26,共26页
近年来深度学习在软件工程领域任务中取得了优异的性能.众所周知,实际任务中优异性能依赖于大规模训练集,而收集和标记大规模训练集需要耗费大量资源和成本,这限制了深度学习技术在实际任务中的广泛应用.随着深度学习领域预训练模型(pre... 近年来深度学习在软件工程领域任务中取得了优异的性能.众所周知,实际任务中优异性能依赖于大规模训练集,而收集和标记大规模训练集需要耗费大量资源和成本,这限制了深度学习技术在实际任务中的广泛应用.随着深度学习领域预训练模型(pre-trained model,PTM)的发布,将预训练模型引入到软件工程(software engineering,SE)任务中得到了国内外软件工程领域研究人员的广泛关注,并得到了质的飞跃,使得智能化软件工程进入了一个新时代.然而,目前没有研究提炼预训练模型在软件工程领域的成功和机遇.为阐明这一交叉领域的工作(pre-trained models for software engineering,PTM4SE),系统梳理当前基于预训练模型的智能软件工程相关工作,首先给出基于预训练模型的智能软件工程方法框架,其次分析讨论软件工程领域常用的预训练模型技术,详细介绍使用预训练模型的软件工程领域下游任务,并比较和分析预训练模型技术这些任务上的性能.然后详细介绍常用的训练和微调PTM的软件工程领域数据集.最后,讨论软件工程领域使用PTM面临的挑战和机遇.同时将整理的软件工程领域PTM和常用数据集发布在https://github.com/OpenSELab/PTM4SE. 展开更多
关键词 软件仓库挖掘 预训练模型 程序语言模型
在线阅读 下载PDF
智能化芯片设计程序测试研究综述 被引量:1
8
作者 李晓鹏 闫明 +5 位作者 樊兴宇 唐振韬 开昰雄 郝建业 袁明轩 陈俊洁 《软件学报》 北大核心 2025年第6期2453-2476,共24页
在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成... 在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成软件形式(即芯片设计程序),然后再进行物理设计并最终流片(即生产制造).作为芯片设计制造的基础,芯片设计程序的质量直接影响了芯片的质量.因此,针对芯片设计程序的测试具有重要研究意义.早期的芯片设计程序测试方法主要依赖开发人员人工设计测试用例来测试芯片设计程序,往往需要大量的人工成本和时间代价.随着芯片设计程序复杂度的日益增长,诸多基于仿真的自动化芯片设计程序测试方法被提出,提升了芯片设计程序测试效率及有效性.近年来,越来越多的研究者致力于将机器学习、深度学习和大语言模型(LLM)等智能化方法应用于芯片设计程序测试领域.调研88篇智能化芯片设计程序测试相关的学术论文,从测试输入生成、测试预言构造及测试执行优化这3个角度对智能化芯片设计程序测试已有成果进行整理归纳,重点梳理芯片设计程序测试方法从机器学习阶段、深度学习阶段到大语言模型阶段的演化,探讨不同阶段方法在提高测试效率和覆盖率、降低测试成本等方面的潜力.同时,介绍芯片设计程序测试领域的研究数据集和工具,并展望未来的发展方向和挑战. 展开更多
关键词 芯片设计程序测试 大语言模型 测试用例生成
在线阅读 下载PDF
一种基于知识图谱的检索增强生成情报问答技术 被引量:4
9
作者 成志宇 陈星霖 +2 位作者 王菁 周中元 张志政 《计算机科学》 北大核心 2025年第1期87-93,共7页
为实现军事情报问答,提出了一种基于知识图谱的检索增强生成框架。该框架通过问题分类、实体识别、实体链接、知识检索有效地获取了背景知识。同时考虑到情报问题多约束的特点,使用回答集编程在知识上通过约束限制减少知识数量或者直接... 为实现军事情报问答,提出了一种基于知识图谱的检索增强生成框架。该框架通过问题分类、实体识别、实体链接、知识检索有效地获取了背景知识。同时考虑到情报问题多约束的特点,使用回答集编程在知识上通过约束限制减少知识数量或者直接获得答案。最后,使用大语言模型在精炼后的知识上对问题进行求解,以减少问题理解过程中的属性识别与链接。在MilRE数据集上的实验表明,所提框架能够提供基于知识图谱的增强知识检索功能,并具有较好的军事情报问题解答能力。 展开更多
关键词 情报问答 回答集编程 大语言模型 检索增强生成 知识图谱
在线阅读 下载PDF
一款基于易语言开发的乳品分析仪辅助工具 被引量:1
10
作者 郑日俊 张琳 +4 位作者 王燕 孟克达来 高俊伟 高永亮 逯刚 《中国乳业》 2025年第2期109-113,共5页
[目的]利用易语言中文编程软件,开发一种辅助FT1乳品分析仪进行数据分析的软件。[方法]该软件通过遍历乳品分析仪中的检测数据,提取目标数据并参与标准样品符合性判定;利用流程控制命令和文本投递的方式将标准样品的批次、基准值置入乳... [目的]利用易语言中文编程软件,开发一种辅助FT1乳品分析仪进行数据分析的软件。[方法]该软件通过遍历乳品分析仪中的检测数据,提取目标数据并参与标准样品符合性判定;利用流程控制命令和文本投递的方式将标准样品的批次、基准值置入乳品分析仪界面;调用API操作仪器菜单并模拟鼠标操作实现乳品分析仪自动循环清洗。[结果]软件成功的实现了乳品分析仪检测数据分析、目标数据投递和自动清洗功能。[结论]通过开发辅助工具,优化乳品检测过程中数据分析滞后的问题,提升乳品分析仪操作的自动化水平,实现更强的“人机协同”。 展开更多
关键词 易语言 乳品实验室 FT1乳品分析仪 自动化
在线阅读 下载PDF
基于大语言模型的自动代码修复综述
11
作者 许鹏宇 况博裕 +1 位作者 苏铓 付安民 《计算机研究与发展》 北大核心 2025年第8期2040-2057,共18页
软件系统在各行各业中发挥着不可忽视的作用,承载着大规模、高密度的数据,但软件系统中存在的种种缺陷一直以来困扰着系统的开发者,时刻威胁着系统数据要素的安全.自动代码修复(automated program repair,APR)技术旨在帮助开发者在软件... 软件系统在各行各业中发挥着不可忽视的作用,承载着大规模、高密度的数据,但软件系统中存在的种种缺陷一直以来困扰着系统的开发者,时刻威胁着系统数据要素的安全.自动代码修复(automated program repair,APR)技术旨在帮助开发者在软件系统的开发过程中自动地修复代码中存在的缺陷,节约软件系统开发和维护成本,提高软件系统中数据要素的保密性、可用性和完整性.随着大语言模型(large language model,LLM)技术的发展,涌现出许多能力强大的代码大语言模型,并且代码LLM在APR领域的应用中表现出了强大的修复能力,弥补了传统方案对于代码理解能力、补丁生成能力方面的不足,进一步提高了代码修复工具的水平.全面调研分析了近年APR相关的高水平论文,总结了APR领域的最新发展,系统归纳了完形填空模式和神经机器翻译模式2类基于LLM的APR技术,并从模型类型、模型规模、修复的缺陷类型、修复的编程语言和修复方案优缺点等角度进行全方位的对比与研讨.同时,对APR数据集和评价APR修复能力的指标进行了梳理和分析,并且对现有的实证研究展开深入探讨.最后,分析了当前APR领域存在的挑战及未来的研究方向. 展开更多
关键词 自动代码修复 大语言模型 代码大语言模型 软件缺陷 补丁生成
在线阅读 下载PDF
基于程序流程图和图注意力网络的跨语言代码抄袭检测方法 被引量:1
12
作者 张峰 韦友良 秦玉成 《小型微型计算机系统》 北大核心 2025年第1期249-256,共8页
跨语言代码抄袭检测在软件知识产权保护和计算机程序设计类课程教学等领域有广泛的应用.然而,不同编程语言的语法差异降低了代码之间的相似度,导致抄袭检测的准确率较低.因此,本文提出一种基于程序流程图和图注意力网络的跨语言代码抄... 跨语言代码抄袭检测在软件知识产权保护和计算机程序设计类课程教学等领域有广泛的应用.然而,不同编程语言的语法差异降低了代码之间的相似度,导致抄袭检测的准确率较低.因此,本文提出一种基于程序流程图和图注意力网络的跨语言代码抄袭检测方法.首先,将代码转换为程序流程图,并利用图注意力网络提取程序流程图的特征作为代码的表示;其次,采用交叉匹配方法逐行对比代码的表示,以获得代码的相似特征向量;最后,拼接待检测代码的相似特征向量,并通过全连接神经网络计算抄袭的概率.实验结果表明,与现有的跨语言代码抄袭检测方法相比,本文提出的方法在查准率、查全率和F1值方面均有提高.其中,与基于属性计数的CLCDSA方法、基于抽象语法树的ASTLearner方法相比,F1值分别提高了11%和16%. 展开更多
关键词 代码抄袭检测 跨编程语言 程序流程图 图注意力网络
在线阅读 下载PDF
特征交叉融合和大模型修复的代码生成方法
13
作者 李文静 顾乃杰 +1 位作者 杨戴原 王聪 《小型微型计算机系统》 北大核心 2025年第5期1025-1031,共7页
代码生成任务至今仍有很大探索空间,其挑战主要包括两个方面:首先,它需要理解和转换多种抽象表示之间的语义和语法规则,生成准确的候选代码片段;其次,从庞大的候选代码片段中搜索并合成正确的程序,需要同时考虑搜索效率、上下文关系和... 代码生成任务至今仍有很大探索空间,其挑战主要包括两个方面:首先,它需要理解和转换多种抽象表示之间的语义和语法规则,生成准确的候选代码片段;其次,从庞大的候选代码片段中搜索并合成正确的程序,需要同时考虑搜索效率、上下文关系和语义的一致性.对此,本文提出基于特征金字塔交叉融合的翻译模型和基于代码大模型修复的方法.在代码翻译阶段,引入特征金字塔网络,利用交叉融合方法提取不同尺度的特征与全局信息结合,提高候选代码片段的正确性.在搜索合成阶段,使用代码大模型修复错误程序.实验表明,当设置修复候选程序数n_(r)=1时,与目前最好的结果相比,本文方法最高提升6.1%的通过率.在n_(r)=10时,最高提升9.0%的通过率,平均提升6.0%的通过率. 展开更多
关键词 代码生成 程序修复 大语言模型 特征金字塔
在线阅读 下载PDF
基于概要数据结构的网络微突发流量检测方法
14
作者 王佳宇 于俊清 +1 位作者 李冬 赵君杨 《计算机科学》 北大核心 2025年第1期374-382,共9页
网络微突发流量是数据中心网络中常见的流量类型,其在极短的时间内迅速增长,对网络性能造成严重影响,且难以检测。目前的测量方法无法兼顾细粒度检测和低资源开销传输,文中基于概要数据结构(sketch)设计了一种轻量级细粒度的网络微突发... 网络微突发流量是数据中心网络中常见的流量类型,其在极短的时间内迅速增长,对网络性能造成严重影响,且难以检测。目前的测量方法无法兼顾细粒度检测和低资源开销传输,文中基于概要数据结构(sketch)设计了一种轻量级细粒度的网络微突发流量测量方法。首先基于可编程交换机的架构特性,实时测量数据报文的排队时延,设计检测算法,监测微突发流量,实现基于数据报文的细粒度检测;然后根据检测结果采集微突发流,采用sketch存储微突发流信息,利用镜像传输方式在时间片或微突发流结束后向控制器传送,实现轻量级传输。测量方法基于可编程协议无关报文处理语言,在P4可编程交换机上进行了相应的系统实现,能够实时检测和展示网络微突发流量。实验结果表明该方法能够实时细粒度检测网络微突发流量,显著降低传输微突发信息的带宽开销。 展开更多
关键词 可编程协议无关报文处理语言 可编程交换机 微突发流量 概要数据结构
在线阅读 下载PDF
神经振荡:窥探句法解析的时间进程
15
作者 戚睿盈 封叶 司富珍 《心理科学进展》 北大核心 2025年第2期291-304,共14页
在语言表型与神经机制之间寻找对应关系,即所谓的映射问题(the mapping problem),是当前研究的一大热点。其中,句法解析的神经机制尤具挑战性,这涉及到如何在神经活动中识别出对应于句法结构构建的过程,是人类语言能力之谜破题的关键。... 在语言表型与神经机制之间寻找对应关系,即所谓的映射问题(the mapping problem),是当前研究的一大热点。其中,句法解析的神经机制尤具挑战性,这涉及到如何在神经活动中识别出对应于句法结构构建的过程,是人类语言能力之谜破题的关键。近期神经振荡活动的相关研究不仅为句法解析过程中句法加工的心理现实性提供了有力证据,也展示了利用神经振荡来阐释句法解析过程的神经编码活动的可行性。而理论语言学最简方案有关句法计算的理论模型可以与神经科学中有关神经振荡的实验研究相互印证,通过此类研究可以窥探句法构建的时间进程。未来研究可集中于四方面:神经振荡与句法加工的更细粒度对齐;神经振荡的发生机制及其生物学意义;儿童语言发展过程中神经振荡的变化模式;语言障碍神经生理基础及其康复应用。 展开更多
关键词 神经振荡 语言理解 句法解析 最简方案 增量转换
在线阅读 下载PDF
LLM赋能的Datalog代码翻译技术及增量程序分析框架
16
作者 王熙灶 沈天琪 +1 位作者 宾向荣 卜磊 《软件学报》 北大核心 2025年第6期2515-2534,共20页
Datalog是一种声明式逻辑编程语言,在不同领域得到了广泛应用.近年来,学术界和工业界对Datalog的兴趣高涨,设计并开发了多种Datalog引擎和相应方言.然而,多方言带来的一个问题是以一种Datalog方言实现的代码,一般而言不能在另一种方言... Datalog是一种声明式逻辑编程语言,在不同领域得到了广泛应用.近年来,学术界和工业界对Datalog的兴趣高涨,设计并开发了多种Datalog引擎和相应方言.然而,多方言带来的一个问题是以一种Datalog方言实现的代码,一般而言不能在另一种方言的引擎上执行.因此,当采用新Datalog引擎时,需要将现有Datalog代码翻译到新方言上.目前的Datalog代码翻译技术可分为人工重写代码和人工设计翻译规则两类,存在耗时长、大量重复劳动、缺乏灵活性和可拓展性等问题.提出了一种大语言模型(LLM)赋能的Datalog代码翻译技术,利用LLM强大的代码理解和生成能力,通过分治翻译策略、基于少样本提示和思维链提示的提示工程、基于检查-反馈-修复的迭代纠错机制,可以在不同Datalog方言之间实现高精度代码翻译,减轻开发人员重复开发翻译规则的工作量.基于此代码翻译技术,设计并实现了一种通用的基于Datalog的声明式增量程序分析框架.在不同Datalog方言对上评估了所提出的LLM赋能的Datalog代码翻译技术的性能,评估结果验证了所提代码翻译技术的有效性.对通用声明式增量程序分析框架进行了实验评估,验证了基于所提代码翻译技术的增量程序分析的加速效果. 展开更多
关键词 DATALOG 代码翻译 大语言模型 程序分析 增量分析框架
在线阅读 下载PDF
面向Rust语言的形式化验证方法研究综述
17
作者 张卓若 常瑞 +1 位作者 杨申毅 陈芳 《软件学报》 北大核心 2025年第8期3604-3636,共33页
Rust作为一种新兴的安全系统级编程语言,以其创新的所有权模型和借用检查机制提供了内存安全和并发安全保证.尽管Rust的设计宗旨在于安全性,但现有研究揭示了其仍面临诸多安全挑战.形式化验证作为一种基于严格数学基础的方法,为Rust安... Rust作为一种新兴的安全系统级编程语言,以其创新的所有权模型和借用检查机制提供了内存安全和并发安全保证.尽管Rust的设计宗旨在于安全性,但现有研究揭示了其仍面临诸多安全挑战.形式化验证作为一种基于严格数学基础的方法,为Rust安全性提升提供了强有力保障.通过构建精准清晰的语义模型,可以证明遵循Rust检查规则的程序满足安全性要求;借助Rust自动化验证工具能够帮助用户确保其Rust程序的安全性和正确性.对Rust形式化验证工作进行全面系统性分析.首先介绍Rust核心语义和复杂特性,并探讨Rust形式化语义的研究与验证工作,强调Rust类型系统在形式化验证中的潜力.其次,阐述面向Rust程序的自动化验证方法,并对比分析不同验证工具的功能、支持的语言特性、采用的验证技术和适用场景,这对于在Rust项目实际开发流程中指导工具的选择和集成有重要意义.此外,还总结Rust程序验证的典型实例,展示形式化验证在确保程序正确性方面的显著成效,并结合验证实例总结工具使用建议供用户参考.最后讨论当前领域的技术挑战,并指出未来可能的研究方向,涵盖了unsafe Rust代码的验证、并发代码的验证、可信编译,以及大模型驱动的形式化验证等.旨在为Rust社区提供坚实的安全基础,并推动形式化验证在Rust开发中的应用. 展开更多
关键词 形式化方法 Rust语言 程序验证 形式语义 内存安全
在线阅读 下载PDF
大模型在软件缺陷检测与修复的应用发展综述
18
作者 香佳宏 徐霄阳 +3 位作者 孔繁初 彭湃 张钊 张煜群 《软件学报》 北大核心 2025年第4期1489-1529,共41页
随着信息化的深入,大量应用程序的开发和功能迭代不可避免引入软件缺陷,并潜在地对程序可靠性和安全性造成了严重的威胁.检测与修复软件漏洞,已经成为开发者维护软件质量必要的任务,同时也是沉重的负担.对此,软件工程的研究者在过去的... 随着信息化的深入,大量应用程序的开发和功能迭代不可避免引入软件缺陷,并潜在地对程序可靠性和安全性造成了严重的威胁.检测与修复软件漏洞,已经成为开发者维护软件质量必要的任务,同时也是沉重的负担.对此,软件工程的研究者在过去的数十年中提出大量相关技术,帮助开发者解决缺陷相关问题.然而这些技术都面对着一些严峻的挑战,在工业实践落地上鲜有进展.大模型,如代码大模型CodeX和对话大模型ChatGPT,通过在海量数据集上进行训练,能够捕捉代码中的复杂模式和结构,处理大量上下文信息并灵活地适应各种任务,以其优秀的性能吸引了大量研究人员的关注.在诸多软件工程任务中,基于大模型的技术展现出显著的优势,有望解决不同领域过去所面对的关键挑战.因此,尝试对目前已经存在基于大模型相关成熟技术的3个缺陷检测领域:深度学习库的缺陷检测、GUI自动化测试、测试用例的自动生成,与软件缺陷修复的成熟领域:缺陷自动化修复,进行分析和探究,在阐述其发展脉络的同时对不同技术流派的特性和挑战进行深入的探讨.最后,基于对已有研究的分析,总结这些领域和技术所面临的关键挑战及对未来研究的启示. 展开更多
关键词 大模型 缺陷检测 深度学习库缺陷检测 测试用例自动生成 GUI自动化测试 缺陷自动修复
在线阅读 下载PDF
集成AI大语言模型的在线编程实验平台设计与实现 被引量:6
19
作者 厉旭杰 顾雨辰 姚持恩 《实验技术与管理》 CAS 北大核心 2024年第8期215-221,共7页
传统在线编程实验平台受限于反馈信息的局限性、忽视代码风格及规范性、代码的可读性、代码的效率等多种因素,不利于学生的学习和发展。该文设计并实现了一个集成AI大语言模型的在线编程实验平台方案,该方案在传统平台基础上,引入了大... 传统在线编程实验平台受限于反馈信息的局限性、忽视代码风格及规范性、代码的可读性、代码的效率等多种因素,不利于学生的学习和发展。该文设计并实现了一个集成AI大语言模型的在线编程实验平台方案,该方案在传统平台基础上,引入了大语言模型的实时代码建议、程序安全扫描和判题结果分析优化功能。通过AI大语言模型的实时分析、诊断和优化建议,大大提高了教学效果,增强了学生与系统的互动,能够使学生更好的理解编程概念并提升解决问题的能力。该研究证实了AI模型在编程教育中的价值,并为人工智能在高等教育技术的应用提供了新的视角和策略。 展开更多
关键词 大语言模型 编程实验平台 程序设计 人工智能
在线阅读 下载PDF
基于Deep Forest算法的对虾急性肝胰腺坏死病(AHPND)预警数学模型构建 被引量:1
20
作者 王印庚 于永翔 +5 位作者 蔡欣欣 张正 王春元 廖梅杰 朱洪洋 李昊 《渔业科学进展》 CSCD 北大核心 2024年第3期171-181,共11页
为预报池塘养殖凡纳对虾(Penaeus vannamei)急性肝胰腺坏死病(AHPND)的发生,自2020年开始,笔者对凡纳对虾养殖区开展了连续监测工作,包括与疾病发生相关的环境理化因子、微生物因子、虾体自身健康状况等18个候选预警因子指标,通过数据... 为预报池塘养殖凡纳对虾(Penaeus vannamei)急性肝胰腺坏死病(AHPND)的发生,自2020年开始,笔者对凡纳对虾养殖区开展了连续监测工作,包括与疾病发生相关的环境理化因子、微生物因子、虾体自身健康状况等18个候选预警因子指标,通过数据标准化处理后分析病原、宿主与环境之间的相关性,对候选预警因子进行筛选,基于Python语言编程结合Deep Forest、Light GBM、XGBoost算法进行数据建模和预测性能评判,仿真环境为Python2.7,以预警因子指标作为输入样本(即警兆),以对虾是否发病指标作为输出结果(即警情),根据输入样本和输出结果各自建立输入数据矩阵和目标数据矩阵,利用原始数据矩阵对输入样本进行初始化,结合函数方程进行拟合,拟合的源代码能利用已知环境、病原及对虾免疫指标数据对目标警情进行预测。最终建立了基于Deep Forest算法的虾体(肝胰腺内)细菌总数、虾体弧菌(Vibrio)占比、水体细菌总数和盐度的4维向量预警预报模型,准确率达89.00%。本研究将人工智能算法应用到对虾AHPND发生的预测预报,相关研究结果为对虾AHPND疾病预警预报建立了预警数学模型,并为对虾健康养殖和疾病防控提供了技术支撑和有力保障。 展开更多
关键词 对虾 急性肝胰腺坏死病 预警数学模型 Deep Forest算法 PYTHON语言
在线阅读 下载PDF
上一页 1 2 49 下一页 到第
使用帮助 返回顶部