期刊文献+
共找到997篇文章
< 1 2 50 >
每页显示 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
《国际中文教学通用课程大纲》的应用价值与实践探索——以英国中文教育国际合作项目的应用为例
2
作者 于泓珊 杨薇 钟英华 《四川师范大学学报(社会科学版)》 北大核心 2025年第4期153-161,206,共10页
《国际中文教学通用课程大纲》(中小学阶段)作为中文教学实践标准,为海外低龄中文教学提供了规范性的指导和参考。《大纲》在“中文培优”项目中的应用,本质上是国际中文教育标准与英国外语教育体系的衔接,具有重要价值,能助力解决“中... 《国际中文教学通用课程大纲》(中小学阶段)作为中文教学实践标准,为海外低龄中文教学提供了规范性的指导和参考。《大纲》在“中文培优”项目中的应用,本质上是国际中文教育标准与英国外语教育体系的衔接,具有重要价值,能助力解决“中文培优”项目面临的三重挑战、达成关键成果目标、推动国际中文教育标准与英国本土实践的深度联结。在英国中文教育国际合作项目中,《大纲》可以从课程整体设计、教学大纲编写、课堂教学实施、教学资源建设、考核评价设计五个方面具体实施,并在“中文培优”项目暑期来华研修项目的实践应用中提供指导和支持。效果评价显示,《大纲》的应用能显著提升低龄学习者的中文学习积极性,为中外教师搭建合作平台。未来,可以通过开展专题培训及构建中外教师专业共同体进行师资赋能,开展国别化修订以适应不同地区中文教学需求,进一步提升《大纲》的海外应用价值。 展开更多
关键词 《国际中文教学通用课程大纲》 英国外语教育体系 “中文培优”项目 国际中文教育
在线阅读 下载PDF
基于深度学习的混合语言源代码漏洞检测方法
3
作者 张学军 郭梅凤 +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
英美高校外语类专业的式微:思考与启示
4
作者 姜亚军 龚睿 《外国语文》 北大核心 2025年第2期1-17,共17页
近20年来,人文学科在英美等国表现出日渐式微之势。由于招生人数下降和财政压力加大,英美高校纷纷撤销外语类专业,外语人才的供给和需求形成一个“怪圈”,与国家语言能力建设之间的矛盾日渐突出。本文对英美高校外语类专业在过去近20年... 近20年来,人文学科在英美等国表现出日渐式微之势。由于招生人数下降和财政压力加大,英美高校纷纷撤销外语类专业,外语人才的供给和需求形成一个“怪圈”,与国家语言能力建设之间的矛盾日渐突出。本文对英美高校外语类专业在过去近20年中的调整进行梳理,在探讨全球高等外语教育变革趋势的基础上,结合我国特色外语教育改革发展面临的历史方位与形势挑战,从国家外语能力建设、分类发展、专业知识体系构建等方面对我国外语专业的优化调整提出建议。 展开更多
关键词 外语专业 英美高校 式微 启示
在线阅读 下载PDF
DeepCom-GCN:融入控制流结构信息的代码注释生成模型
5
作者 钟茂生 刘会珠 +1 位作者 匡江玲 严婷 《江西师范大学学报(自然科学版)》 北大核心 2025年第1期27-36,共10页
代码注释生成是指给定一个代码片段,通过模型自动生成一段关于代码片段功能的概括性自然语言描述.不同于自然语言,程序语言具有复杂语法和强结构性.部分研究工作只利用了源代码的序列信息或抽象语法树信息,未能充分利用源代码的逻辑结... 代码注释生成是指给定一个代码片段,通过模型自动生成一段关于代码片段功能的概括性自然语言描述.不同于自然语言,程序语言具有复杂语法和强结构性.部分研究工作只利用了源代码的序列信息或抽象语法树信息,未能充分利用源代码的逻辑结构信息.针对这一问题,该文提出一种融入程序控制流结构信息的代码注释生成方法,将源代码序列和结构信息作为单独的输入进行处理,允许模型学习代码的语义和结构.在2个公开数据集上进行验证,实验结果表明:和其他基线方法相比,DeepCom-GCN在BLEU-4、METEOR和ROUGE-L指标上的性能分别提升了2.79%、1.67%和1.21%,验证了该方法的有效性. 展开更多
关键词 代码注释生成 抽象语法树 控制流图 图卷积神经网络 软件工程 程序理解 自然语言处理
在线阅读 下载PDF
预训练模型在软件工程领域应用研究进展 被引量:2
6
作者 宫丽娜 周易人 +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
7
作者 李晓鹏 闫明 +5 位作者 樊兴宇 唐振韬 开昰雄 郝建业 袁明轩 陈俊洁 《软件学报》 北大核心 2025年第6期2453-2476,共24页
在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成... 在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成软件形式(即芯片设计程序),然后再进行物理设计并最终流片(即生产制造).作为芯片设计制造的基础,芯片设计程序的质量直接影响了芯片的质量.因此,针对芯片设计程序的测试具有重要研究意义.早期的芯片设计程序测试方法主要依赖开发人员人工设计测试用例来测试芯片设计程序,往往需要大量的人工成本和时间代价.随着芯片设计程序复杂度的日益增长,诸多基于仿真的自动化芯片设计程序测试方法被提出,提升了芯片设计程序测试效率及有效性.近年来,越来越多的研究者致力于将机器学习、深度学习和大语言模型(LLM)等智能化方法应用于芯片设计程序测试领域.调研88篇智能化芯片设计程序测试相关的学术论文,从测试输入生成、测试预言构造及测试执行优化这3个角度对智能化芯片设计程序测试已有成果进行整理归纳,重点梳理芯片设计程序测试方法从机器学习阶段、深度学习阶段到大语言模型阶段的演化,探讨不同阶段方法在提高测试效率和覆盖率、降低测试成本等方面的潜力.同时,介绍芯片设计程序测试领域的研究数据集和工具,并展望未来的发展方向和挑战. 展开更多
关键词 芯片设计程序测试 大语言模型 测试用例生成
在线阅读 下载PDF
一种基于知识图谱的检索增强生成情报问答技术 被引量:4
8
作者 成志宇 陈星霖 +2 位作者 王菁 周中元 张志政 《计算机科学》 北大核心 2025年第1期87-93,共7页
为实现军事情报问答,提出了一种基于知识图谱的检索增强生成框架。该框架通过问题分类、实体识别、实体链接、知识检索有效地获取了背景知识。同时考虑到情报问题多约束的特点,使用回答集编程在知识上通过约束限制减少知识数量或者直接... 为实现军事情报问答,提出了一种基于知识图谱的检索增强生成框架。该框架通过问题分类、实体识别、实体链接、知识检索有效地获取了背景知识。同时考虑到情报问题多约束的特点,使用回答集编程在知识上通过约束限制减少知识数量或者直接获得答案。最后,使用大语言模型在精炼后的知识上对问题进行求解,以减少问题理解过程中的属性识别与链接。在MilRE数据集上的实验表明,所提框架能够提供基于知识图谱的增强知识检索功能,并具有较好的军事情报问题解答能力。 展开更多
关键词 情报问答 回答集编程 大语言模型 检索增强生成 知识图谱
在线阅读 下载PDF
一个并行分布处理操作系统PDPOS及其Ada并行运行环境 被引量:1
9
作者 李莲治 罗昕 +2 位作者 郭福顺 廖明宏 黄仲伟 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1992年第4期60-63,共4页
分布式OS是发挥分布式计算机系统潜在计算能力的核心软件,PDPOS提供了机间通信与同步机制,完善了系统请求及进程管理机制,并在全局范围内实现了文件共享。PDPOS支持的Ada程序并行运行环境、能将Ada程序自动分解成若干可并行执行包,然后... 分布式OS是发挥分布式计算机系统潜在计算能力的核心软件,PDPOS提供了机间通信与同步机制,完善了系统请求及进程管理机制,并在全局范围内实现了文件共享。PDPOS支持的Ada程序并行运行环境、能将Ada程序自动分解成若干可并行执行包,然后将它们分配到不同机器上并行执行,使Ada程序的运行速度得到了明显提高。 展开更多
关键词 分布式 操作系统 并行处理 ada语言
在线阅读 下载PDF
ADA程序通信死锁的动态检测方法 被引量:2
10
作者 史晓华 高仲仪 邵晖 《计算机研究与发展》 EI CSCD 北大核心 1999年第8期954-960,共7页
针对ADA并发多任务程序的特点,文中提出一个新的ADA程序动态死锁检测方案,并且在这个理论的基础上实现了一个动态死锁测试工具DDTT(dynamicdeadlocktestingtool).此工具能够正确检测ADA多... 针对ADA并发多任务程序的特点,文中提出一个新的ADA程序动态死锁检测方案,并且在这个理论的基础上实现了一个动态死锁测试工具DDTT(dynamicdeadlocktestingtool).此工具能够正确检测ADA多任务程序由于通信关系不当而造成的死锁.文中详细介绍了动态死锁测试工具DDTT所依赖的全部概念及判定规则,以及它的工作原理. 展开更多
关键词 动态检测 ada语言 通信死锁 软件测试
在线阅读 下载PDF
基于ADAS地图的载货车预见巡航实时优化算法 被引量:15
11
作者 王玉海 李兴坤 +1 位作者 张鹏雷 郑旭光 《汽车工程》 EI CSCD 北大核心 2020年第10期1335-1339,1411,共6页
基于ADAS地图,结合预见性节油驾驶先验知识,采用车辆纵向动力学重构车辆行驶前方路网,提出了一种商用车预见性巡航控制动态规划优化算法,解决了动态规划算法在长距离多约束下的算法臃肿、无法满足车载嵌入式系统实时计算等实用化问题。... 基于ADAS地图,结合预见性节油驾驶先验知识,采用车辆纵向动力学重构车辆行驶前方路网,提出了一种商用车预见性巡航控制动态规划优化算法,解决了动态规划算法在长距离多约束下的算法臃肿、无法满足车载嵌入式系统实时计算等实用化问题。实车试验验证结果表明,在同路线、同工况和同驾驶员的驾驶条件下,预见性巡航控制比一般驾驶员驾驶节油3%~6%。 展开更多
关键词 adaS地图 预见性巡航控制 动态规划 优化算法
在线阅读 下载PDF
静态检测Ada任务死锁的Petri网方法 被引量:1
12
作者 陈曦 高仲仪 《计算机研究与发展》 EI CSCD 北大核心 1997年第S1期145-149,共5页
文中提出了一种利用Petri网对Ada任务静态检测其死锁的方法.在检测时,首先建立Ada程序各单元的Ada网,再根据程序中各单元的关系将Ada网组装成完整的Ada网,然后对其作可达性分析来检测死锁.本文介绍了Ada网... 文中提出了一种利用Petri网对Ada任务静态检测其死锁的方法.在检测时,首先建立Ada程序各单元的Ada网,再根据程序中各单元的关系将Ada网组装成完整的Ada网,然后对其作可达性分析来检测死锁.本文介绍了Ada网的建立和组装方法,对Ada网的特点作了理论上的分析。 展开更多
关键词 ada语言 任务 死锁 PETRI网
在线阅读 下载PDF
基于网语言的Ada程序局部性质的分析和验证 被引量:1
13
作者 丁志军 蒋昌俊 《软件学报》 EI CSCD 北大核心 2002年第12期2305-2316,共12页
旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.
关键词 网语言 ada程序 局部性质 同步合成 同步分解 分析 验证 ada语言 并发程序 程序设计
在线阅读 下载PDF
一款基于易语言开发的乳品分析仪辅助工具 被引量:1
14
作者 郑日俊 张琳 +4 位作者 王燕 孟克达来 高俊伟 高永亮 逯刚 《中国乳业》 2025年第2期109-113,共5页
[目的]利用易语言中文编程软件,开发一种辅助FT1乳品分析仪进行数据分析的软件。[方法]该软件通过遍历乳品分析仪中的检测数据,提取目标数据并参与标准样品符合性判定;利用流程控制命令和文本投递的方式将标准样品的批次、基准值置入乳... [目的]利用易语言中文编程软件,开发一种辅助FT1乳品分析仪进行数据分析的软件。[方法]该软件通过遍历乳品分析仪中的检测数据,提取目标数据并参与标准样品符合性判定;利用流程控制命令和文本投递的方式将标准样品的批次、基准值置入乳品分析仪界面;调用API操作仪器菜单并模拟鼠标操作实现乳品分析仪自动循环清洗。[结果]软件成功的实现了乳品分析仪检测数据分析、目标数据投递和自动清洗功能。[结论]通过开发辅助工具,优化乳品检测过程中数据分析滞后的问题,提升乳品分析仪操作的自动化水平,实现更强的“人机协同”。 展开更多
关键词 易语言 乳品实验室 FT1乳品分析仪 自动化
在线阅读 下载PDF
Ada95层次库结构与大型软件开发 被引量:3
15
作者 徐宝文 《计算机研究与发展》 EI CSCD 北大核心 1997年第1期66-71,共6页
Ada95提出了层次库和后扩库单元的概念并提供了相应的设施,对Ada83的分别编译设施与可见性规则进行了扩充.这些扩充不仅可以减少重编译和重测试,而且也有利于把一个大系统分成若干个子系统进行开发,有利于进行面向对象的... Ada95提出了层次库和后扩库单元的概念并提供了相应的设施,对Ada83的分别编译设施与可见性规则进行了扩充.这些扩充不仅可以减少重编译和重测试,而且也有利于把一个大系统分成若干个子系统进行开发,有利于进行面向对象的程序设计.本文对层次库的概念与设施进行了详尽的介绍。 展开更多
关键词 ada 层次库 后扩库单元 程序设计
在线阅读 下载PDF
Ada软件测试结果分析与可视化(TRAV) 被引量:1
16
作者 钱红兵 徐红 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第1期30-35,共6页
论述了Ada软件测试结果分析系统的功能,它的方案设计以及界面风格.此系统是集成化的Ada软件测试与分析系统中的主要工具之一,它不仅能够帮助用户分析与测试软件系统。
关键词 软件质量 软件工具 ada语言
在线阅读 下载PDF
基于大语言模型的自动代码修复综述
17
作者 许鹏宇 况博裕 +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
Ada软件数据流分析方法及其实现 被引量:1
18
作者 唐发根 钱红兵 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第1期25-29,共5页
简要介绍了有关数据流分析的基本概念之后,较为着重地讨论了一种基于静态分析的Ada软件数据流分析方法,同时也讨论了分析过程中一些实现原理.实践结果表明,文中讨论的数据结构。
关键词 软件质量 软件工程 数据流分析
在线阅读 下载PDF
基于程序流程图和图注意力网络的跨语言代码抄袭检测方法 被引量:1
19
作者 张峰 韦友良 秦玉成 《小型微型计算机系统》 北大核心 2025年第1期249-256,共8页
跨语言代码抄袭检测在软件知识产权保护和计算机程序设计类课程教学等领域有广泛的应用.然而,不同编程语言的语法差异降低了代码之间的相似度,导致抄袭检测的准确率较低.因此,本文提出一种基于程序流程图和图注意力网络的跨语言代码抄... 跨语言代码抄袭检测在软件知识产权保护和计算机程序设计类课程教学等领域有广泛的应用.然而,不同编程语言的语法差异降低了代码之间的相似度,导致抄袭检测的准确率较低.因此,本文提出一种基于程序流程图和图注意力网络的跨语言代码抄袭检测方法.首先,将代码转换为程序流程图,并利用图注意力网络提取程序流程图的特征作为代码的表示;其次,采用交叉匹配方法逐行对比代码的表示,以获得代码的相似特征向量;最后,拼接待检测代码的相似特征向量,并通过全连接神经网络计算抄袭的概率.实验结果表明,与现有的跨语言代码抄袭检测方法相比,本文提出的方法在查准率、查全率和F1值方面均有提高.其中,与基于属性计数的CLCDSA方法、基于抽象语法树的ASTLearner方法相比,F1值分别提高了11%和16%. 展开更多
关键词 代码抄袭检测 跨编程语言 程序流程图 图注意力网络
在线阅读 下载PDF
论Ada的类型
20
作者 孙乐昌 陆余良 梁亚声 《系统工程与电子技术》 EI CSCD 1991年第11期16-20,共5页
Ada是一个庞大而复杂的系统。造成其庞杂的一个重要原因是其类型特别丰富。从整体上认识Ada的类型是学习、掌握和应用Ada的关键。本文从类型的概念出发,论述了Ada的类型定义、预定义类型、类型的因子化和进一步提高抽象度的私有类型。... Ada是一个庞大而复杂的系统。造成其庞杂的一个重要原因是其类型特别丰富。从整体上认识Ada的类型是学习、掌握和应用Ada的关键。本文从类型的概念出发,论述了Ada的类型定义、预定义类型、类型的因子化和进一步提高抽象度的私有类型。这些论述涉及原理和实用两个方面。 展开更多
关键词 ada语言 程序设计 语言 软件
在线阅读 下载PDF
上一页 1 2 50 下一页 到第
使用帮助 返回顶部