[发明专利]满足指定神经网络分类器属性的图像的自动生成

权利要求书

1.一种自动生成图像的系统，所述系统包括：

非暂时性存储器和一个或更多个处理器，所述非暂时性存储器上编码有指令，使得所述指令在被执行时，所述一个或更多个处理器执行以下操作：

利用代码解析部件，产生深度神经网络代码的张量表达式中间表示(IR)形式的张量表达式；

对以固定形式句法描述一组图像属性的规格进行解析；

将所述张量表达式IR和所述规格输入到重写与分析引擎中；

由所述重写与分析引擎查询外部求解器，以获得满足所述规格的像素值；并且

当能够在固定时间段内找到满足所述规格的像素值时，由所述重写与分析引擎将所述像素值组合到满足所述规格的图像中，并且输出所述图像。

2.根据权利要求1所述的系统，其中，所述张量表达式IR被实现为归纳数据类型，使得所述张量表达式IR能够被递归地遍历。

3.根据权利要求1所述的系统，其中，所述张量表达式IR的验证是在运行时由所述代码解析部件和所述重写与分析引擎执行的。

4.根据权利要求1所述的系统，其中，所述重写与分析引擎被配置成执行以下操作：

将所述张量表达式IR重写成数学上等效的表达式；

根据所述张量表达式IR生成标量表达式；并且

利用所生成的标量表达式的标量属性来查询所述外部求解器。

5.一种自动生成图像的计算机实现的方法，所述方法包括以下动作：

使一个或更多个处理器执行在非暂时性计算机可读介质上编码的指令，使得在所述指令被执行时，所述一个或更多个处理器执行以下操作：

利用代码解析部件，产生深度神经网络代码的张量表达式中间表示(IR)形式的张量表达式；

对以固定形式句法描述一组图像属性的规格进行解析；

将所述张量表达式IR和所述规格输入到重写与分析引擎中；

由所述重写与分析引擎查询外部求解器，以获得满足所述规格的像素值；并且

当能够在固定时间段内找到满足所述规格的像素值时，由所述重写与分析引擎将所述像素值组合到满足所述规格的图像中，并且输出所述图像。

6.根据权利要求5所述的方法，其中，所述张量表达式IR被实现为归纳数据类型，使得所述张量表达式IR能够被递归地遍历。

7.根据权利要求5所述的方法，其中，所述张量表达式IR的验证是在运行时由所述代码解析部件和所述重写与分析引擎执行的。

8.根据权利要求5所述的方法，其中，所述方法还包括以下动作：

利用所述重写与分析引擎，将所述张量表达式IR重写成数学上等效的表达式；

利用所述重写与分析引擎，根据所述张量表达式IR生成标量表达式；并且

利用所述重写与分析引擎，利用所生成的标量表达式的标量属性来查询所述外部求解器。

9.一种自动生成图像的计算机程序产品，所述计算机程序产品包括：

存储在非暂时性计算机可读介质上的计算机可读指令，所述计算机可读指令能够由具有一个或更多个处理器的计算机执行，以使所述处理器执行以下操作：

利用代码解析部件，产生深度神经网络代码的张量表达式中间表示(IR)形式的张量表达式；

对以固定形式句法描述一组图像属性的规格进行解析；

将所述张量表达式IR和所述规格输入到重写与分析引擎中；

由所述重写与分析引擎查询外部求解器，以获得满足所述规格的像素值；并且

当能够在固定时间段内找到满足所述规格的像素值时，由所述重写与分析引擎将所述像素值组合到满足所述规格的图像中，并且输出所述图像。

10.根据权利要求9所述的计算机程序产品，其中，所述张量表达式IR被实现为归纳数据类型，使得所述张量表达式IR能够被递归地遍历。