图形化PDDL语言编译系统的设计与应用

针对当前PDDL开发存在的编辑复杂和文本可读性差等问题,设计一个图形化PDDL在线编辑工具和相应的编译系统Graph Compiler。Graph Compiler结合领域专用编译技术和ChatGPT模型,实现从自然语言到图形化PDDL的自动化生成。系统支持编译不同版本的PDDL语言,提供相应版本的语法分析,将PDDL规划结果转换为ROS的话题消息,为机器人行动提供具体的动作指令。实验结果表明,Graph Compiler在多届IPC的多版本PDDL测试用例上,编译成功率达到100%;也可以应用在ROS项目中,通过具体的动作序列指导机器人行动。

案例与项目相结合的编译原理教学改革

该文剖释传统编译原理教学过程中存在的问题,在新工科和工程教育认证背景下,面向OBE理念建立案例库,充分利用多种教学平台和线上、线下教学资源,综合使用主动学习、启发式教学、翻转课堂等方法进行授课。以项目实践为驱动,以案例分析为导引,提高学生自主学习能力,提升授课质量,促使学生的计算机专业素质得到全面发展。

新工科背景下编译原理教学改革研究

该文剖释传统编译原理教育教学的缺陷,指出为适应计算机人才能力培养和行业需求,在新工科背景下,面向OBE理念,突出交叉融合,充分利用多种教学平台和教学软件,融合案例教学、启发引导、项目驱动和翻转课堂等教学方法进行线上、线下混合教学。培养学生使用编译知识来解决复杂工程问题的能力和主动学习意识,提高课程教学质量,促使学生专业、素质全面发展。

编译原理课程教学改革实践探析

针对编译原理课程难度大的特点,提出了以培养学生系统能力和实践创新能力为教学目标的三个方面的教学改革,分别为改革教学内容、优化教学方法、增加扩展实验。教学改革取得了积极成效,学生的系统能力、实践创新能力都得到了提升。

面向数据分发服务的编译工具设计与实现

在分布式异构环境中,由于硬件平台、网络协议的不同,上层软件往往采用不同的技术栈来实现,所以软件与硬件耦合程度高。不少系统选用数据分发服务作为消息中间件,为应用提供统一的接口、消息模型,降低软件对网络接口的依赖。针对不同编程语言数据定义方式不同的问题,选用互动式数据语言(IDL)作为数据结构的统一描述方式,在应用开发过程中通过IDL编译工具生成不同语言的桩代码以支持应用开发。设计了面向数据分发服务的IDL编译工具,支持IDL语言向C/C++自动化转换及可配置的桩代码生成能力。

英汉新闻转述动词编译的语用比较分析

转述动词已成为学者从多个领域和角度研究的对象。本文通过对随机采样抽取的60篇《中国日报》双语新闻语篇的考察和比较分析发现,在英汉新闻语篇中转述动词的编译并非总是一味地选择字面对等的直译,而是一部分转述动词根据特定语境选择恰当的用词转换和结构调整的非对称性编译,从而转达和表述转述动词所蕴含的言语行为表征和语用之力,并顺应行文通达的语言习惯。

功能翻译论下大型体育赛事中新闻编译的策略研究

大型体育赛事新闻为受众提供了各种与体育赛事各阶段相关的新闻。德国功能翻译理论为大型体育赛事的新闻编译提供了更加新颖、先进的视角。基于此,本文以国际体育赛事新闻编译的英汉翻译为出发点,对比《中国日报(双语版)》关于2023年苏迪曼杯羽毛球赛与第19届杭州亚运会中一些体育新闻报道的中英两个版本的新闻文本,细致分析功能翻译理论在新闻编译中的实践运用,以及在中英两种语言中的不同体现方式,联系功能翻译理论相关的英译原则并探讨具体的翻译策略,总结出功能翻译理论应用的必要性与时代性。

swLLVM:面向神威新一代超级计算机的优化编译器

异构众核架构具有超高的能效比,已成为超级计算机体系结构的重要发展方向.然而,异构系统的复杂性给应用开发和优化提出了更高要求,其在发展过程中面临好用性和可编程性等众多技术挑战.我国自主研制的神威新一代超级计算机采用了国产申威异构众核处理器SW26010Pro.为了发挥新一代众核处理器的性能优势,支撑新兴科学计算应用的开发和优化,设计并实现面向SW26010Pro平台的优化编译器swLLVM.该编译器支持Athread和SDAA双模态异构编程模型,提供多级存储层次描述及向量操作扩展,并且针对SW26010Pro架构特点实现控制流向量化、基于代价的节点合并以及针对多级存储层次的编译优化.测试结果表明,所设计并实现的编译优化效果显著,其中,控制流向量化和节点合并优化的平均加速比分别为1.23和1.11,而访存相关优化最高可获得2.49倍的性能提升.最后,使用SPEC CPU2006标准测试集从多个维度对swLLVM进行了综合评估,相较于SWGCC的相同优化级别,swLLVM整型课题性能平均下降0.12%,浮点型课题性能平均提升9.04%,整体性能平均提升5.25%,编译速度平均提升79.1%,代码尺寸平均减少1.15%.

深度学习编译器模型训练负载均衡优化方法

对于计算密集型的人工智能(AI)训练应用,其计算图网络结构更加复杂,数据加载、计算图的任务划分以及任务调度的负载均衡性都会成为影响计算性能的关键因素。为了使深度学习编译器中模型训练应用的任务调度达到负载均衡的状态,提出了三种计算图负载均衡优化方法:第一,通过自动建立数据加载与模型训练的高效流水实现中央处理器和后端计算设备的负载均衡,提高了系统整体能效;第二,通过计算图的分层优化技术,实现计算图在后端设备执行调度时的负载均衡;最后,通过自动建立层间的高效流水提高后端设备的资源利用率。实验结果表明,计算图负载均衡优化方法实现了训练任务到底层硬件设备自动映射过程中系统的负载均衡,与Tensorflow、nGraph等传统的深度学习框架和编译器相比,在不同模型训练中通过任务调度负载均衡优化技术分别获得了2%~10%的性能提升,同时能够使系统整体的能耗降低10%以上。

编译型嵌入式Python的设计与实现

针对面向微控制器的解释型MicroPython具有实时性弱、占用存储空间大和可移植性较差等问题,提出一种将Python语言转化为C++语言并将构件层与应用层分离的编译型嵌入式Python方案,设计基于抽象语法树及类型注释的源码映射机制。在此基础上,设计嵌入式Python编译器,实现集成开发环境AHL-GEC-IDE(for Python版),完成Python源文件的编辑、编译、链接和下载。实践结果表明,该编译型Python方案可行,为嵌入式人工智能领域提供了一种实时性较高、编辑编译方便、可移植性较强的编译型Python集成开发环境。

面向国产高性能加速器的LLVM编译器设计及优化

国防科技大学自主研制的高性能加速器采用中央处理器(CPU)+通用数字信号处理器(GPDSP)的片上异构融合架构,使用超长指令集(VLIW)+单指令多数据流(SIMD)的向量化结构的GPDSP是峰值性能主要支撑的加速核。主流编译器在密集的数据计算指令排布、为指令静态分配硬件执行单元、GPDSP特有的向量指令等方面不能很好地支持高性能加速器。基于低级虚拟器(LLVM)编译框架,在前寄存器分配调度阶段,结合峰值寄存器压力感知方法(PERP)、蚁群优化(ACO)算法与GPDSP结构特点,优化代价模型,设计支持寄存器压力感知的指令调度模块;在后寄存器分配阶段提出支持静态功能单元分配的指令调度策略,通过冲突检测机制保证功能单元分配的正确性,为指令并行执行提供软件基础;在后端封装一系列丰富且规整的向量指令接口,实现对GPDSP向量指令的支持。实验结果表明,所提出的LLVM编译架构优化方法从功能和性能上实现了对GPDSP的良好支撑,GCC testsuite测试整体性能平均加速比为4.539,SPEC CPU 2017浮点测试整体性能平均加速比为4.49,SPEC CPU 2017整型测试整体性能平均加速比为3.24,使用向量接口的向量程序实现了平均97.1%的性能提升率。

军队院校编译原理实验教学探索

针对军队院校“为战育人”的要求以及现代战争信息化、体系化对指挥员计算机系统能力和系统观的需求,结合教学内容和学生学情特点,提出一套教学改革方案。阐述如何从编译器的角度出发,通过分析军队系统、战争系统中存在的相似问题,在课程中找到对应的支撑点,并以课程思政的方式将其有效导入到教学实施的环节中去,目的是启发学生,提升课程的“为战性”,同时改善思政点重复的问题。

基于存储器编译器的敏捷生成技术研究

磁随机存储器作为一种新型非易失性存储,因其优良的读写速度与耐久度特性,在嵌入式存储领域具有广阔的应用前景。然而,由于磁随机存储器的定制化设计通常需要数月完成,具有较长的设计周期,这与片上系统较快的设计迭代需求存在一定矛盾。存储器编译器作为一种快速生成存储器设计的工具,是解决这一矛盾的有效手段。本文从磁随机存储器的全定制设计流程出发,同时对各类存储器编译器的研究现状开展调研,总结了目前存储器编译器工作的现状与挑战,最终讨论了磁随机存储器编译器的设计方法学。

央视中文国际频道国际新闻采集与编译策略研究

随着全球化的发展,国际新闻越来越多地进入大众视野。央视中文国际频道作为中央电视台唯一一个面向全球播出的中文频道,通过国际新闻报道使观众迅速了解全球新闻事件,满足观众对实时、准确、全面的新闻资讯的需求。为了确保新闻报道的全面性与分析角度的多样化,央视极其重视新闻来源的广泛性,采用合作、共享等方式整合全球资源,获取最新时事新闻。然而,由于大量国际新闻源自外国媒体,观众面临语言和文化的障碍,难以直接理解外媒新闻,因此新闻编译应运而生。央视作为国内规模最大的电视媒体之一,其新闻报道与评论在广度和深度方面均体现出高度的权威性,在全球具有重要地位。因此,对央视中文国际频道的新闻采集与编译策略展开研究,对国内新闻媒体工作的科学开展具有极大的借鉴意义。文章基于翻译理论和功能对等理论,对央视中文国际频道国际新闻编译工作的团队构成、新闻素材选择、编译方法以及语言形式进行分析,多角度总结其新闻采集与编译策略,旨在为新闻编译工作实践提供帮助,更好地承担起新闻媒体在全球化时代的责任,增强跨文化传播能力,向世界展示全面、立体、真实的中国。

政府工作报告中的编译和增译研究

以《2023年政府工作报告》英译版为例,分析该文本中变译理论的两种变通手段,即:增译和编译。探讨这两种翻译方法在政经类文本中的应用效果:明晰译文逻辑,补充解释原文信息,增强译文可读性。结果表明,将增译和编译应用于政经类文本的翻译中,可以有效的传播中国声音,对中国的国家形象的建构也是颇有助益。

变异学视域下安能务《封神演义》编译研究

从比较文学变异学的视角对日本翻译家安能务所编译的《封神演义》进行研究,译者通过对情节异置、人物重塑和题旨改写进行创造性编译,使其因应了日本读者的审美倾向和文化心理,同时又弥合了原著思想的裂隙和矛盾性。译者在编译过程中体现的创造性叛逆,对理解中日两国的文化差异具有重要意义,同时也对传统文化更新、探索中国经典文学在异国的接受路径、构建具有世界意义的中国话语体系提供了特定的启示。

车磨复合数控系统的编译器与衔接速度算法的研究与实现

针对复合型车磨数控系统的特点,本文介绍的编译器在传统NC程序编译的基础上增加了编译缓冲、指令分流、并行编译、构建编译、语句编译等功能,有效地提高了NC程序的编译效率;同时,本文阐述了车磨复合数控系统在切削加工过程中,采用高速衔接方式时编译器的衔接速度算法,与传统的连续平滑过渡模式或减速到零模式相比,该算法极大地提高了系统的加工效率和精度。试验结果表明,该编译器具有良好的可移植性和较强的译码功能。

基于编译缓存的增量静态代码分析方法

通过静态代码分析可以发现代码中可能存在的问题或错误。然而,在字节跳动的CI环境中,大量增量代码合入给静态代码分析造成了巨大挑战。文章提出了一种基于编译缓存的增量静态代码分析方法,可有效改善静态代码分析的效果。

立足中国交通建设,推动行业标准编译出版“走出去”

近几十年来,中国的工程技术取得突飞猛进的发展,中国的交通基础设施建设水平已走在世界前列。值此良机,中国交通建设与产品标准编译出版走出国门是有效提高我国国际话语权、提升国际竞争力的重要举措,这符合“一带一路”建设的基本原则和总体要求,具有极大的战略意义。现阐述目前中国交通建设与产品标准编译出版及版权的输出工作,旨在推动中国标准“走出去”,为加快建设交通强国贡献一份力量。

晚清学部编译图书局教科书国家翻译实践史研究

编译教科书是近代知识构建、思想启蒙的重要环节。本研究遵循国家翻译实践史书写原则,展开晚清学部编译图书局的教科书国家翻译实践史研究,揭示和探究学部编译图书局教科书翻译活动的组织制度化和译者群体制度化的国家翻译实践特征。学部编译图书局教科书的编译应清政府治理需求而生,具有国家治理功能,本文从学部编译图书局的编译处、名词编订馆和研究所,探究教科书编译活动的国家治理功能,以期丰富国家翻译实践史书写,拓展国家翻译实践史的研究内容。