【摘 要】
:
程序合成(又叫程序综合、程序自动生成),作为人工智能领域的“圣杯”自诞生以来就受到了密切的关注,它的目标是自动查找满足以某种形式约束表示的用户意图的程序。当前的程序合成研究有了一些发展,但仍然面临着许多问题和挑战。首当其冲的是当前得程序合成技术合成精度有限,只能解决一些功能简单、规模较小的编程任务。同时,对于合成得到的代码,很难在逻辑上验证其正确性,其合成结果质量无法保证。此外,许多程序合成方法局
【基金项目】
:
国家自然科学基金重大项目——基于语义的群智化程序构造方法研究(项目号:61690203);
论文部分内容阅读
程序合成(又叫程序综合、程序自动生成),作为人工智能领域的“圣杯”自诞生以来就受到了密切的关注,它的目标是自动查找满足以某种形式约束表示的用户意图的程序。当前的程序合成研究有了一些发展,但仍然面临着许多问题和挑战。首当其冲的是当前得程序合成技术合成精度有限,只能解决一些功能简单、规模较小的编程任务。同时,对于合成得到的代码,很难在逻辑上验证其正确性,其合成结果质量无法保证。此外,许多程序合成方法局限于某个特定领域来进行研究,通用性较差。本文针对当前程序合成领域面临的问题,选择了其中的一类问题进行研究,即基于深度学习的程序合成,又名神经程序合成(Neural Program Synthesis,NPS)。本文提出了一个基于神经程序合成的通用优化框架,该框架从三个维度来分析和解决问题:模型架构改进、结果质量优化和程序空间扩展。(1)基于子状态集注意力模型的合成精度提升方法。以神经程序合成为研究对象,本文分析了它可能存在的两个缺点:一是长序列结构的性能下降,二是编码器的信息会随着时间序列增长而逐渐被遗忘。程序通常是结构化的,然而神经程序合成的模型输入并不总是序列结构。因此,本文提出了一个子状态集注意力模型来提升合成精度的同时,促进长代码的生成。实验表明,在我们的方法指导下的神经程序合成方法的性能平均提高了14.3%,最高达到了23.8%。(2)神经程序合成与程序切片结合的质量优化方法。为了提高合成结果的质量,本文首先提出了结合程序切片的方法对合成结果进行优化。此外,对于基于草图的程序合成来说,本文在变量选择部分增加了三种启发式策略去改进草图填充,提升填充的正确率。实验表明,在我们启发式方法指导下编程任务的变量选择精度平均提高了30.4%的填充精度。此外,程序切片促使每个编程任务的代码精化率平均41.5%,最大减少率为63.6%。(3)基于非API语句封装的合成方法应用能力扩展。普遍的程序合成方法通过构建程序语法的子集来描述程序空间,然而在涉及许多非API语句的情况下并不能满足实际的开发。因此,本文提出了一种基于这些技术扩展非API语句的新方法。它将非API语句封装为API调用来扩展程序空间,以扩展合成的能力。实验表明,该方法能够很好地合成包含非API语句的任务,同时保持模型的性能。
其他文献
基于周期性分布反馈结构的选择性传输器件已广泛应用于现代光电子技术中。但现有的可调分布反馈器件大多采用温度调节或机械调节的方法,普遍面临调谐速度慢的问题。而具有优异光电特性的石墨烯等二维材料的出现,为高速电可调分布反馈器件的实现提供了新的途径。本论文基于石墨烯/硅波导混合的分布反馈光栅结构,利用耦合模理论,开展了一系列硅波导集成的电可调分布反馈器件理论设计工作。论文的主要工作如下:(1)设计了一种基
时装业存在着严重的材料浪费和环境污染问题,时装在生产过程中所使用的面料很难达到100%的有效利用率,其中约15%的面料滞留在裁床上,被当作垃圾清理,进入垃圾填埋场的纺织废料会污染水、空气以及土壤。为帮助国家早日实现“双碳”战略目标,服装产业应积极响应绿色低碳的发展理念,向环保可持续的生产方式转变。服装设计师和研究者从多样化的纺织形式中寻找环保方法,将美学和技术结合开发“零浪费”纺织品。迄今已经出现
敦煌飞天作为中国特色的文化符号,可以说是中国艺术家的天才创作。中原内地的传统文化与西域文化在敦煌互相交融,随着朝代的更替也经历了一步步的演变,反映出不同时代的不同艺术审美,展现出中原文化与西域文化的融合演变过程。本文通过对敦煌壁画中散花飞天的造型与服饰艺术及其四周流转的天花的装饰图案做进一步的调查性研究,研究其形象造型特点及其整体装饰性之美,并应用于现代服装艺术设计中,为今后敦煌飞天相关的研究及其
近年来,随着我国“智慧城市”建设进程的不断推进,城市大气污染问题引发了更多的关注。进行有害气体扩散和溯源问题的研究对城市大气问题的监管与治理具有非常重要的意义。然而,传统的大气扩散模型存在着各自的局限,无法应用到复杂的现实场景中。通过传感器网络搜集到的数据,通常较为稀疏,数据量也比较小,无法为进一步的研究提供足够的数据支持。常见的源项参数估计方法在实际应用时也存在诸多问题。本文基于先进的神经网络技
悬浮控制技术是磁浮列车的关键技术之一。目前控制器的设计是建立在被控对象的数学模型基础上的。悬浮系统是强非线性系统,传统的基于平衡点线性化的方法忽略了悬浮系统的非线性特征,导致线性化的模型和实际的系统存在较大的误差。另一方面,常用的基于电流环和间隙环的PID控制方法一定程度上参考了线性化的系统模型,忽略了系统在实际工作条件下的不确定性。当出现外部干扰或者系统内部参数变化时,固定的控制参数会影响系统的
随着数字化技术的发展,虚拟现实(Virtual Reality,简称VR)相关应用越来越广泛。当用户使用VR眼镜(头戴式虚拟现实设备)时,可以体验虚拟三维交互场景。这类交互方式为用户带来了全新的体验,弥补了用户对三维空间感知的缺乏,打破了传统电子屏幕的二维世界。但就当前而言,VR眼镜的界面中文排版发展并不成熟,缺少对虚拟三维空间利用,大多数还是传统二维媒介的设计思维,较少有针对性,无法满足用户在虚
目的:分析对ICU感染性休克患者实施综合护理的疗效及对预后改善的影响。方法:选取2019年3月—2020年3月商丘市第一人民医院ICU收治的62例感染性休克患者作为研究对象,将其按照随机数表法进行分组,每组各31例。对照组患者接受常规护理,实验组患者接受综合护理。对两组患者的心率、心脏指数、平均血压等临床指标变化情况、护理满意度、血清C反应蛋白(CRP)水平以及护理有效率进行对比分析。结果:观察两
随着科学技术的发展与化工水平的提升,消费者对于服饰美的追求层次日益提高,科技化、创新化、动态化正在成为服饰色彩未来的发展趋向。温致变色材料作为一种智能材料,可以随内外环境温度的变化而产生“动态”的色彩效果,具有一定的趣味性和科技感。目前在商业市场上流通的温致变色服装款式较为简单,且对温致变色材料的应用手法较为单一,无法满足求新求异、多元化的新一代消费者。因此,挖掘温致变色材料在现代服装设计中的应用
<正>4月16日,江西省社会保险管理中心发布"江西省职业年金计划投资管理人评选公告"和"江西省职业年金计划托管人评选公告",这标志着江西省职业年金基金投资运作又迈出一步。根据公告,江西省职业年金计划投资管理人和托管人的评选中,可以参选的机构分别是具有企业年金基金投资管理资格的管理机构和具有企业年金基金
多无人机协同观测多运动目标是智能无人集群的一个典型问题。多无人机协同观测多运动目标可以广泛的应用于环境安全监测、灾区人员救援、野生动物保护等任务中。该问题最主要的挑战是:在目标的运动是随机的前提下,如何能够预测目标的移动趋势,计划无人机的移动路径,使得更多的目标处于无人机的观测下并且目标被观测的时长较为均衡和公平。为此,本文针对多无人机协同观测多运动目标的观测时长和观测均衡性展开研究,提出了一种基