首页|基于真值表的函数自动生成的神经网络模型

基于真值表的函数自动生成的神经网络模型

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据
作为目前最常见的程序综合问题，示例编程通过用户提供的输入/输出示例生成程序，为编程能力不足的开发者提供了便利。近年来，示例编程已经被应用于Microsoft Office Excel办公软件的自动编程，以及勘探、测井、航空航天等领域。鉴于目前示例编程鲜有关于二进制流的研究，本文针对基于真值表函数自动生成问题具有函数表达式的语法符号序列中各语法符号的关系与它们的距离大小无关、函数表达式的生成语义规则与布尔向量函数采样的结果长度无关的特点，设计了一种神经网络模型和算法，在程序综合、功能等价和序列匹配的指标上分别取得了70。56%、64。66%、0。635 5 的结果，分别优于现有最先进的程序综合模型55。07%、49。70%、0。569 0。
Automatically generating function expressions based on truth tables with neural networks
Programming by examples is a common program synthesis problem that involves generating programs based on input/output examples provided by users,it offers convenience for novice programmers.Recently,programming by examples has been applied to automatic programming of Microsoft Office Excel,as well as in exploration,logging,and aerospace.In order to address the gap resulting from limited research on binary data flow,the problem of gen-erating function expressions based on truth tables is introduced.This problem has the characteristic that the rela-tionship between the syntactic symbols in the sequence of symbols in the function expression is independent of their distances.Additionally,the generation of semantic rules for the function expression is unrelated to the resulting length of the Boolean vector function sampling.Based on the aforementioned characteristics,this paper introduces a neural network model and algorithm that achieve results of 70.56%,64.66%,and 0.6355 in program synthesis,functional equivalence,and sequence matching,respectively.These results outperform the existing state-of-the-art program synthesis model,which achieves 55.07%,49.70%,and 0.569 0,respectively.

truth tableneural networksequential modelprogramming by examplesprogram synthesis

贺文凯、支天、胡杏、张曦珊、张蕊、杜子东、郭崎

展开 >

中国科学院计算技术研究所处理器芯片全国重点实验室 北京 100190

中国科学院大学 北京 100049

中科寒武纪科技股份有限公司 北京 100191

真值表 神经网络 序列模型 示例编程 程序综合

国家重点研发计划国家自然科学基金国家自然科学基金国家自然科学基金国家自然科学基金国家自然科学基金国家自然科学基金国家自然科学基金北京智源人工智能研究院项目北京市科技新星计划中国科学院稳定支持基础研究领域青年团队计划中国科学院青年创新促进会项目

2020AAA010380261925208U20A20227620023386190617962102399U19B201961732020Z191100001119093YSBR-029

2024

10.3772/j.issn.1002-0470.2024.03.005

高技术通讯
中国科学技术信息研究所

高技术通讯

CSTPCD北大核心
影响因子：0.19
ISSN：1002-0470
年,卷(期)：2024.34(3)
  • 28