期刊文献+
共找到979篇文章
< 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
基于ZigBee和C#的农田数据采集系统 被引量:14
10
作者 朱凯 朱惠斌 +3 位作者 白丽珍 张健伟 成习军 曹科高 《传感器与微系统》 CSCD 2017年第8期95-98,共4页
针对农田数据采集系统有线传输方式常受到地形、安装环境等限制问题,提出了一种基于ZigBee数据采集传输系统。采用CC2530芯片为主搭建无线传感器网络,终端和协调器采用半开源的Z-Stack协议栈进行程序开发,上位机基于Visio Studio 2015... 针对农田数据采集系统有线传输方式常受到地形、安装环境等限制问题,提出了一种基于ZigBee数据采集传输系统。采用CC2530芯片为主搭建无线传感器网络,终端和协调器采用半开源的Z-Stack协议栈进行程序开发,上位机基于Visio Studio 2015平台采用C#语言进行软件开发,并配合ACCESS数据库,共同实现了系统的远程检测与本地保存和动态显示。在玉米试验田进行实地测试,终端按采集需要暂时设定为每间隔1 h采集一次数据,其余时间处于休眠状态。经计算,终端预计工作时间为100 d左右;且经过测试,终端与协调器的有效传输距离能达到80 m,数据传输有效率达92%。结果表明:该系统具有低功耗、低成本、系统运行稳定、可扩展性强等特点,满足农业信息化的需求。 展开更多
关键词 无线传感器网络 ZIGBEE 数据采集 c#编程语言
在线阅读 下载PDF
一款基于易语言开发的乳品分析仪辅助工具 被引量:1
11
作者 郑日俊 张琳 +4 位作者 王燕 孟克达来 高俊伟 高永亮 逯刚 《中国乳业》 2025年第2期109-113,共5页
[目的]利用易语言中文编程软件,开发一种辅助FT1乳品分析仪进行数据分析的软件。[方法]该软件通过遍历乳品分析仪中的检测数据,提取目标数据并参与标准样品符合性判定;利用流程控制命令和文本投递的方式将标准样品的批次、基准值置入乳... [目的]利用易语言中文编程软件,开发一种辅助FT1乳品分析仪进行数据分析的软件。[方法]该软件通过遍历乳品分析仪中的检测数据,提取目标数据并参与标准样品符合性判定;利用流程控制命令和文本投递的方式将标准样品的批次、基准值置入乳品分析仪界面;调用API操作仪器菜单并模拟鼠标操作实现乳品分析仪自动循环清洗。[结果]软件成功的实现了乳品分析仪检测数据分析、目标数据投递和自动清洗功能。[结论]通过开发辅助工具,优化乳品检测过程中数据分析滞后的问题,提升乳品分析仪操作的自动化水平,实现更强的“人机协同”。 展开更多
关键词 易语言 乳品实验室 FT1乳品分析仪 自动化
在线阅读 下载PDF
基于大语言模型的自动代码修复综述
12
作者 许鹏宇 况博裕 +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
在C#中结合OpenGL的NURBS曲面建模的实现 被引量:1
13
作者 周满元 陈艳 徐玉刚 《计算机应用》 CSCD 北大核心 2006年第6期1443-1445,1448,共4页
NURBS方法因其表示法的同一性、形状控制灵活性,在曲面造型和重构中具有重要作用。目前,还没有在C#中开发OpenGL的标准和规范的方法。研究了在C#中利用平台调用结合OpenGL进行NURBS曲面快速建模的方法,获得了满意的结果,并在最后给出了... NURBS方法因其表示法的同一性、形状控制灵活性,在曲面造型和重构中具有重要作用。目前,还没有在C#中开发OpenGL的标准和规范的方法。研究了在C#中利用平台调用结合OpenGL进行NURBS曲面快速建模的方法,获得了满意的结果,并在最后给出了实例。 展开更多
关键词 NURBS曲面 平台调用 OPENGL c#语言
在线阅读 下载PDF
矩阵类的C#语言实现及其工程应用 被引量:1
14
作者 王永华 张湜 +3 位作者 薄翠梅 罗刚 牛彦杰 李斌 《南京工业大学学报(自然科学版)》 CAS 2005年第4期92-95,共4页
通过使用面向对象的C#语言编写矩阵类,实现了矩阵数据类型的基本运算,为工程应用中用高级语言开发其它算法打下了坚实的基础;以某化工公司的软测量建模系统为背景,描述了矩阵类在多元线性回归这一常用的建模方法中的应用;矩阵类大大减... 通过使用面向对象的C#语言编写矩阵类,实现了矩阵数据类型的基本运算,为工程应用中用高级语言开发其它算法打下了坚实的基础;以某化工公司的软测量建模系统为背景,描述了矩阵类在多元线性回归这一常用的建模方法中的应用;矩阵类大大减少了程序开发的工作量,而且程序结构清晰,简明直观,易于理解。 展开更多
关键词 矩阵类 c#语言 软测量 多元线性回归
在线阅读 下载PDF
基于程序流程图和图注意力网络的跨语言代码抄袭检测方法 被引量:1
15
作者 张峰 韦友良 秦玉成 《小型微型计算机系统》 北大核心 2025年第1期249-256,共8页
跨语言代码抄袭检测在软件知识产权保护和计算机程序设计类课程教学等领域有广泛的应用.然而,不同编程语言的语法差异降低了代码之间的相似度,导致抄袭检测的准确率较低.因此,本文提出一种基于程序流程图和图注意力网络的跨语言代码抄... 跨语言代码抄袭检测在软件知识产权保护和计算机程序设计类课程教学等领域有广泛的应用.然而,不同编程语言的语法差异降低了代码之间的相似度,导致抄袭检测的准确率较低.因此,本文提出一种基于程序流程图和图注意力网络的跨语言代码抄袭检测方法.首先,将代码转换为程序流程图,并利用图注意力网络提取程序流程图的特征作为代码的表示;其次,采用交叉匹配方法逐行对比代码的表示,以获得代码的相似特征向量;最后,拼接待检测代码的相似特征向量,并通过全连接神经网络计算抄袭的概率.实验结果表明,与现有的跨语言代码抄袭检测方法相比,本文提出的方法在查准率、查全率和F1值方面均有提高.其中,与基于属性计数的CLCDSA方法、基于抽象语法树的ASTLearner方法相比,F1值分别提高了11%和16%. 展开更多
关键词 代码抄袭检测 跨编程语言 程序流程图 图注意力网络
在线阅读 下载PDF
特征交叉融合和大模型修复的代码生成方法
16
作者 李文静 顾乃杰 +1 位作者 杨戴原 王聪 《小型微型计算机系统》 北大核心 2025年第5期1025-1031,共7页
代码生成任务至今仍有很大探索空间,其挑战主要包括两个方面:首先,它需要理解和转换多种抽象表示之间的语义和语法规则,生成准确的候选代码片段;其次,从庞大的候选代码片段中搜索并合成正确的程序,需要同时考虑搜索效率、上下文关系和... 代码生成任务至今仍有很大探索空间,其挑战主要包括两个方面:首先,它需要理解和转换多种抽象表示之间的语义和语法规则,生成准确的候选代码片段;其次,从庞大的候选代码片段中搜索并合成正确的程序,需要同时考虑搜索效率、上下文关系和语义的一致性.对此,本文提出基于特征金字塔交叉融合的翻译模型和基于代码大模型修复的方法.在代码翻译阶段,引入特征金字塔网络,利用交叉融合方法提取不同尺度的特征与全局信息结合,提高候选代码片段的正确性.在搜索合成阶段,使用代码大模型修复错误程序.实验表明,当设置修复候选程序数n_(r)=1时,与目前最好的结果相比,本文方法最高提升6.1%的通过率.在n_(r)=10时,最高提升9.0%的通过率,平均提升6.0%的通过率. 展开更多
关键词 代码生成 程序修复 大语言模型 特征金字塔
在线阅读 下载PDF
基于概要数据结构的网络微突发流量检测方法
17
作者 王佳宇 于俊清 +1 位作者 李冬 赵君杨 《计算机科学》 北大核心 2025年第1期374-382,共9页
网络微突发流量是数据中心网络中常见的流量类型,其在极短的时间内迅速增长,对网络性能造成严重影响,且难以检测。目前的测量方法无法兼顾细粒度检测和低资源开销传输,文中基于概要数据结构(sketch)设计了一种轻量级细粒度的网络微突发... 网络微突发流量是数据中心网络中常见的流量类型,其在极短的时间内迅速增长,对网络性能造成严重影响,且难以检测。目前的测量方法无法兼顾细粒度检测和低资源开销传输,文中基于概要数据结构(sketch)设计了一种轻量级细粒度的网络微突发流量测量方法。首先基于可编程交换机的架构特性,实时测量数据报文的排队时延,设计检测算法,监测微突发流量,实现基于数据报文的细粒度检测;然后根据检测结果采集微突发流,采用sketch存储微突发流信息,利用镜像传输方式在时间片或微突发流结束后向控制器传送,实现轻量级传输。测量方法基于可编程协议无关报文处理语言,在P4可编程交换机上进行了相应的系统实现,能够实时检测和展示网络微突发流量。实验结果表明该方法能够实时细粒度检测网络微突发流量,显著降低传输微突发信息的带宽开销。 展开更多
关键词 可编程协议无关报文处理语言 可编程交换机 微突发流量 概要数据结构
在线阅读 下载PDF
神经振荡:窥探句法解析的时间进程
18
作者 戚睿盈 封叶 司富珍 《心理科学进展》 北大核心 2025年第2期291-304,共14页
在语言表型与神经机制之间寻找对应关系,即所谓的映射问题(the mapping problem),是当前研究的一大热点。其中,句法解析的神经机制尤具挑战性,这涉及到如何在神经活动中识别出对应于句法结构构建的过程,是人类语言能力之谜破题的关键。... 在语言表型与神经机制之间寻找对应关系,即所谓的映射问题(the mapping problem),是当前研究的一大热点。其中,句法解析的神经机制尤具挑战性,这涉及到如何在神经活动中识别出对应于句法结构构建的过程,是人类语言能力之谜破题的关键。近期神经振荡活动的相关研究不仅为句法解析过程中句法加工的心理现实性提供了有力证据,也展示了利用神经振荡来阐释句法解析过程的神经编码活动的可行性。而理论语言学最简方案有关句法计算的理论模型可以与神经科学中有关神经振荡的实验研究相互印证,通过此类研究可以窥探句法构建的时间进程。未来研究可集中于四方面:神经振荡与句法加工的更细粒度对齐;神经振荡的发生机制及其生物学意义;儿童语言发展过程中神经振荡的变化模式;语言障碍神经生理基础及其康复应用。 展开更多
关键词 神经振荡 语言理解 句法解析 最简方案 增量转换
在线阅读 下载PDF
LLM赋能的Datalog代码翻译技术及增量程序分析框架
19
作者 王熙灶 沈天琪 +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
一种C#中NURBS曲面建模方法 被引量:1
20
作者 周满元 《系统仿真学报》 CAS CSCD 北大核心 2006年第z2期475-477,482,共4页
NURBS(Non-UniformRationalB-Splines)方法因其表示法的、形状控制灵活性,在曲面造型和曲面重构中具有重要作用。目前,还没有在C#中开发OpenGL(OpenGraphicsLibrary)的标准和规范的方法。研究了在C#中利用平台调结合OpenGL进行NURBS曲... NURBS(Non-UniformRationalB-Splines)方法因其表示法的、形状控制灵活性,在曲面造型和曲面重构中具有重要作用。目前,还没有在C#中开发OpenGL(OpenGraphicsLibrary)的标准和规范的方法。研究了在C#中利用平台调结合OpenGL进行NURBS曲面快速建模的方法,获得了满意的结果,并给出了实例。 展开更多
关键词 NURBS曲面 曲面建模 平台调用(P/Invoke) c#语言
在线阅读 下载PDF
上一页 1 2 49 下一页 到第
使用帮助 返回顶部