CN119440480A 一种用于程序合成的方法及装置 （山东大学）

约束条件；使用者提供满足自己期望的2获取并筛选满足可满足性模理论的TensorFlow数学计算表达式，接收TensorFlow程序的输入和输出，利用编码后的数学计算表达式和引入的约束条获取所有输入中的两个维度数值，如果所有输入的同一维度获取需要处理的输入中的两个维度的数值，从该输入的最3设置两个变量，第一个变量记录经过表达式语义计算得到的结果保存在输出中的位如果当前维度数值对应输入中的值不满足表达式语义，在每组内部完成符合表达式的语义计算，当该表达式语义满在组间完成符合表达式的语义计算，当该表达式语义满足交换律与结4方法通常无法直接利用现有的库函数或模块，导致在合成过程中需要重复实现相同的功5在每组内部完成符合表达式的语义计算，当该表达式语义满足交换律与结合律，与输入在表达式的位置无关，所述结合律为输出结果与输入在表达式处理的先后顺序无6图2是本公开实施例提供的一个用于将数学表达式进行可满足性模理论编码的示图3是本公开实施例提供的一个用于将数学表达式进行可满足性模理论编码的示7图4是本公开实施例提供的一个用于将数学表达式进行可满足性模理论编码的示图5是本公开实施例提供的一个用于将数学表达式进行可满足性模理论编码的示图6是本公开实施例提供的一个用于将数学表达式进行可满足性模理论编码的示图7是本公开实施例提供的一个用于将数学表达式进行可满足性模理论编码的示图8是本公开实施例提供的一个用于将数学表达式进行可满足性模理论编码的示8输入B第一维度和第二维度的数值均为3，输入C的第一维度和第二维度的数值均为3；则9[0056]结合图3所示，针对可满足性模理论编码中倒序遍历的编码过程，也就是步骤[0062]结合图4所示，针对可满足性模理论编码中多重遍历的编码过程，也就是步骤[0068]结合图5所示，针对可满足性模理论编码中双指针法的编码过程，也就是步骤[0075]结合图6所示，针对可满足性模理论编码中分治计算的编码过程，也就是步骤和分配律的场景，通过将处理步骤分组来优化计算的数学表达式进行可满足性模理论编[0082]结合图7所示，针对可满足性模理论编码中分组处理的编码过程，也就是步骤[0086]具体来说，如果分组信息属于步骤21F中的有序状态，则使用该步骤中提到的变息属于步骤21F中的无序状态，则当前分组序号在集合中存在时变量加一，否则变量值不[0089]结合图8所示，针对可满足性模理论编码中展开循环的编码过程，也就是步骤的场景，通过获取循环值并按需执行有限次操作的数学表达式进行可满足性模理论编码，注：参数解释：input为给定的程序输入内容；output为给定的程序输出内容；[0095]1、输入输出编码：用变量记录三个输入和输出，分别为input1=1，input2=2，参数paramadd1，paramadd2，返回值为returnadd，则编码为returnadd=paramadd1+3.2、input对应的line在[0,input.len)，result对应的line在[input.len,Use_result_i==true=>(Use_param_i_0==true,Use_param_i_1==true,,Use_param_i_[0106]结合图9所示，本公开实施例提供一种用于程序合成的装置300，包括处理器[0107]此外，上述的存储器301中的逻辑指令可以通过软件功能单元的形式实现并作为至少一个功能所需的应用程序；存储数据区可存储根据终端设备的使用所创建的数据等。对应的描述中，不同的方框所对应的操作或步骤也可以以不同于描述中所披露的顺序发