AutoConfig:面向深度学习编译优化的自动配置机制

随着深度学习模型和硬件架构的快速发展,深度学习编译器已经被广泛应用.目前,深度学习模型的编译优化和调优的方法主要依赖基于高性能算子库的手动调优和基于搜索的自动调优策略.然而,面对多变的目标算子和多种硬件平台的适配需求,高性能算子库往往需要为各种架构进行多次重复实现.此外,现有的自动调优方案也面临着搜索开销大和缺乏可解释性的挑战.为了解决上述问题,提出AutoConfig,一种面向深度学习编译优化的自动配置机制.针对不同的深度学习计算负载和特定的硬件平台,AutoConfig可以构建具备可解释性的优化算法分析模型,采用静态信息提取和动态开销测量的方法进行综合分析,并基于分析结果利用可配置的代码生成技术自动完成算法选择和调优.AutoConfig创新性地将优化分析模型与可配置的代码生成策略相结合,不仅能保证性能加速效果,还能减少重复开发的开销,同时可以简化调优过程.在此基础上,进一步将AutoConfig集成到深度学习编译器Buddy Compiler中,对矩阵乘法和卷积的多种优化算法建立分析模型,并将自动配置的代码生成策略应用在多种SIMD硬件平台上进行评估.实验结果可验证AutoConfig在代码生成策略中完成参数配置和算法选择的有效性.与经过手动或自动优化的代码相比,由AutoConfig生成的代码可达到相似的执行性能,并且无需承担手动调优的重复实现开销和自动调优的搜索开销.

风景名胜区总体规划制度发展历程

风景名胜区总体规划是对其进行保护、利用和管理的基本依据。爬梳1978年以来主管部门发布的公文、法规和标准,并对照国家级风景区总规成果,划分并总结出总规编制要求的初定、总规法制基础的形成、总规编制和建设管理的规范、总规监管和法规体系的完善(分增强法律效力、完善法规体系2个阶段)、总规制度的保留和调整5个时期的阶段性、总体性特征,分析制度制定与实践相互促进的关系,揭示业已形成的总规“编制、审批-执行、检查-实施评估”的程序,展现“现状调研-资源评价-总体布局-专项规划”并指导“实施和管理”的总规基本内容、方法和步骤的形成过程。

基于查询编译的SQL执行技术研究进展

信息系统通常会借助数据管理系统来进行数据管理,其中SQL凭借良好的易用性和灵活性一直作为数据管理的主流查询语言,用户将编写的SQL语句交由数据管理系统执行后便可得到查询结果.执行模型的高效与否决定了系统能否快速响应用户的查询请求,现有执行模型主要采用解释执行和编译执行2种方式.解释执行具有良好的拓展性、可维护性等因而被大多数系统采用.不同于解释执行,编译执行为原本需要解释执行的查询生成高效的定制化代码来加速查询,带来的显著性能提升吸引了一众数据管理系统开始实现相应技术.然而,如何针对查询生成其对应的定制化代码是一个复杂的过程,在实现时需要考虑诸多方面,甚至在某些情况下,采用编译执行的查询性能可能还不及传统的火山模型.从概念、技术等角度系统地综述了编译执行技术的研究进展.首先,概述了编译执行的基本概念,对相关术语和背景知识进行了介绍;其次,分别从中间代码生成、中间表示、机器码生成与运行3个角度介绍了相关技术;最后,结合当前数据管理系统的研究趋势以及近期研究工作展望了编译执行未来的发展方向.

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

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

面向国产高性能加速器的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%的性能提升率。

阴阳合同与合同变更的区分及适用——以《民法典合同编通则解释》第14条为中心

阴阳合同是当事人以虚假意思表示隐藏真实意思表示的行为,应依据《民法典》第146条分别认定阳合同与阴合同的效力。《招标投标法》第46条第1款第二句旨在限制当事人对中标合同的变更,其适用以中标合同有效为前提。因此,为落实该规定而制定的司法解释也应仅适用于合同变更,而非阴阳合同。在阴阳合同的场合,阳合同因不是当事人真实意思表示而无效,但阴合同则应依据所规避的法律来认定其效力。当事人通过合同变更规避招投标程序,应认为当事人对实质性内容的变更无效,但客观原因引起的合同变更除外;在判断是否为实质性内容的变更时,也要注意量变和质变的辩证关系。《民法典合同编通则解释》第14条在区分阴阳合同和合同变更的基础上,就二者的法律适用问题作出了明确规定。

《史记》凡例与新文本生产

《史记》版本众多,文本形态复杂,在新文本生产过程中,编刊者的新文本意识、编纂意图与时代风潮不同,使得《史记》凡例内容、位置和形式发生了很大变化。《史记》新文本的每次变化往往都有凡例可寻,在凡例形态正式确立之前,它的功能通常被书序、序例、史例、义例等形式承担。唐宋明诸本《史记》凡例体式日渐成熟,以“副文本”形态独立呈现,但凡例编纂宗旨与阅读指南的作用却始终存在。诸多《史记》凡例揭橥不同文本形态的《史记》新文本发展路径,同时也为《史记》的版本鉴定与源流考证提供了重要依据。

中国民法语境下“合同效力”的层次性

从《民法典》与《民法典合同编通则解释》就行政审批对合同效力的影响、无权处分的法律后果等所作的规定看,“合同效力”在我国民法上具有明显的层次性。广义的合同效力与广义的合同拘束力属同义语,是法律对当事人合意的认可和保护,其前提是合同具备有效要件,即“依法成立”。因此,合同无效与合同不成立并无实质区别。但是,为了准确描述合同已依法成立但未生效的法律状态,我国民法有时是在狭义上使用合同拘束力的概念,并将其与狭义的合同效力概念区别开来:前者指当事人于合同依法成立后不得擅自撤销或者解除合同,并不得违反诚信原则恶意阻止条件成就或消极对待报批义务;后者则指当事人一方得基于合同请求对方履行约定的义务,即履行效力。此外,由于我国民法上的买卖合同不仅包含当事人发生债权债务关系的意思,而且包含当事人移转所有权的意思,因此,还应将买卖合同的效力进一步区分为履行效力与移转效力。“合同效力”的此种层次性,既是现代交易阶段化的必然产物,也是中国民法体系特色的重要表现。

交易习惯的具体认定与细化适用——以《民法典合同编通则解释》第2条为中心

《民法典合同编通则解释》第2条就交易习惯的认定及举证责任问题作出规定,既保持了法律适用上的连续性、稳定性,同时又根据实际情况对有关内容作了调整,以更加符合审判实践的需要。就交易习惯的具体适用,需要厘清该条与《民法典》第10条关于法源意义上的习惯之间的区别与联系。就适用效力而言,既要依据《民法典》的具体规定来确定其是否优先适用的问题,又要按照体系化适用的方法把握好一般规定意义上的交易习惯与特别规定意义上的交易习惯的关系。对于交易习惯的举证责任与法源意义上的习惯有大同但存小异,在适用时也要对其是否符合社会主义核心价值观、公序良俗进行审查。

债权转让规则的具体适用及相关问题研究——以《民法典合同编通则解释》第48-50条为中心

《民法典合同编通则解释》在整体协调继受保护和继受自由之间价值平衡的基础上,对《民法典》债权转让规则予以细化。债权转让涉及多层面的效力问题。债权转让通知在债权转让规则中处于关键位置。在内部层面,受让人取得转让债权不以通知债务人作为条件;在债务人层面,债权转让通知决定了债务人向何者履行债务构成有效清偿;在外部层面,“通知在先”规则是特定条件下解决普通债权多重转让情形下债权顺位的最佳方案。此外,受让人起诉通知、债权表见让与、虚构债权转让等规则的明确,为均衡保护受让人和债务人利益提供了有力规则供给。

广东省三调成果数据的缩编规则及可视化设计——以《广东省第三次全国国土调查图集》为例

把第三次全国国土调查(以下简称“三调”)数据转化为有效的地图产品是加强三调成果共享应用的重要途经之一。本文以《广东省第三次全国国土调查图集》为例,研究基于WJ-III地图工作站建立缩编规则知识库,实现图斑自动化缩编的技术方法,并对缩编后的地类数据进行可视化设计。首先分析区域特征和数据情况,然后介绍缩编规则和可视化设计的关键技术,进而分析自动化缩编结果和地图成图效果,最终实现1∶100 000、1∶250 000、1∶500 000和1∶1 000 000系列比例尺的三调图斑自动化缩编和三调专题地图集的编制。研究成果可为利用三调成果数据进行多比例尺专题地图缩编工作提供参考。

通史视域下许嵩历史编纂思想研究

中唐史学家许嵩以前代史书为基础,著成《建康实录》一书。在对《建康实录》进行研究后发现,许嵩的历史编纂思想是对历史变易思想的继承,他还结合时代背景对其进行了一定的创新。在审视历史问题时,许嵩受多种因素影响,以“通古今之变”的思想探讨六朝兴衰;在史书编纂体例上,许嵩受正统观和民族观的双重影响,表现出与以往史家不同之处——统六朝为正统;在史书编纂方式上,许嵩仿效裴松之等人,提倡博采,大量征引古籍。

债权形式主义视阈下的无权处分——以《合同编通则解释》第19条为视角

从一体模式到区分原则,物权变动模式的巨变贯穿着独具中国特色的民法思维,也扎牢了无权处分制度的根基。由于我国区分原则未采纳物权独立性与无因性原理,故而分析无权处分必须以债权形式主义为出发点。《合同编通则解释》第19条续造了《民法典》第597条无权处分效力的规定,凸显了区分的态度,拓展了适用范围,明晰了生效要件,对真正权利人有着倾向性保护,是以“抽象补充”的方式补充漏洞。但白璧微瑕,《合同编通则解释》第19条有一刀切归责之嫌,也有私法价值凸显不足的缺漏,值得进一步考究完善。

一种加速访存地址计算的编译优化

在国产申威高性能多核服务器系统中,基础编译系统对应用程序中访存操作进行代码生成时,没有考虑国产处理器指令特征,导致编译器生成的访存地址计算代码效率较低,影响国产高性能处理器的性能。为充分发挥国产处理器高性能计算能力,提出一种加速访存地址计算的编译优化方法。加速访存地址计算编译优化基于处理器支持带扩展因子的运算指令,在编译器后端内存地址表达式合法性检查中,添加针对乘加模式的地址计算表达式合法性检查算法,自动识别地址表达式中存在的乘加运算并进行合法性检验,对符合条件的地址表达式在代码生成阶段匹配生成带扩展因子的运算指令来快速计算访存地址,从而加快访存指令的发射与执行以及应用程序中的访存地址生成,提升访存效率。使用行业标准性能测试集SPEC CPU2006对优化效果进行评测,结果表明,相比优化前SPECspeed Integer与SPECspeed Float Point两个子集,该优化方法平均性能分别提高了2.53%与1.50%。

工程总承包项目清单及招标控制价编制研究--基于浙江省工程总承包计价规则的实践与探索

通过介绍浙江省工程总承包计价规则相关项目清单和招标控制价编制的核心内容与规则,以及应用实践,并研究项目清单和招标控制价编制在工程总承包计价中的作用,探索造价改革背景下,利用指标、指数和数据库编制项目清单和招标控制价的新途径。

试论钟伯敬本《水浒传》赞语的特征及影响

明清时期多个版本的《水浒传》附有赞语。钟伯敬本《水浒传》赞语出自多人之手,且小说批语、赞语的作者应当不是同一个人。该赞语主要有三点特征:诗词格律的严谨度参差不齐,有些诗词与插图内容不相契合;惯于化用通俗典故,典故经由史传文学与通俗文学两大系统共同演绎,使故事经典化;品评人物、感发世情时,情感抒发都较为平和。钟本图赞在《水浒传》传播过程中有首创之功,为英雄谱本、十卷本《水浒传》赞语的编撰提供创作思路。

基于RISC-V的神经网络加速器硬件实现

针对第五代开放精简指令集(RISC-V)的人工智能(AI)处理器较少、先进的精简指令微处理器(ARM)架构供应链不稳定、自主可控性弱的问题,设计了以RISC-V处理器为核心的神经网络推理加速器系统级芯片(SoC)架构。采用开源项目搭建So C架构;基于可变张量加速器(VTA)架构,完成深度神经网络加速器指令集设计;通过高级可扩展接口(AXI)连接处理器与VTA,并采用共享内存的方式进行数据传输;基于深度学习编译栈实现卷积运算和神经网络部署。试验结果表明,所设计的架构可灵活实现多种主流的深度神经网络推理任务,乘法累加单元(MAC)数目可以达到1024,量化长度为有符号8位整数(INT8),编译栈支持主流神经网络编译,实现了修正后的ZFNet和ResNet20神经网络图像分类演示,在现场可编程逻辑门阵列(FPGA)电路上整体准确率分别达到78.95%和84.81%。

利用LEX与YACC实现数控线切割的加工程序编译器

使用LEX和YACC语言及基于Windows操作系统的集成开发工具ParserGenerator ,设计和实现了线切割加工程序编译器。编译器用于DD7710 0龙门式线切割机床数控系统。

软PLC编译系统的开发与实现

为了配合在PC机上运行的软PLC编辑开发系统,使PC机完成相应的控制功能,设计和开发了软PLC编译系统,简述了软PLC编译系统的组成以及软PLC梯形图和指令表的遍历算法,介绍了软PLC梯形图与指令表程序相互转换的实现过程,通过实例,分析了软PLC程序的指令表文法设计过程,给出了PLC文法预测分析器模型及控制程序,详细介绍了软PLC程序语法分析的过程,仿真结果表明,开发的软PLC编译系统能实现软PLC梯形图与指令表程序的相互转换,完成软PLC程序的文法设计和语法分析,并对软PLC程序的运行指令作出正确解释,使PC机完成相应的控制功能。

编译基础设施中多目标编译技术探讨

从编译基础设施的基本概念出发 ,着重讨论了编译器后端构造所涉及的关键技术 ;比较全面地总结并评述了具有代表性的公共编译设施及其采用的中间表示技术、后端构造技术和相关工具 ;