[發明專利]用于提供深度堆疊的自動程序合成的系統和方法

在審

• 申請號: 201780088114.8
• 申請日: 2017-04-07
• 公開（公告）號: CN110383296A
• 公開（公告）日: 2019-10-25
• 發明（設計）人: 姚安邦;蔡東琪;王立彬;徐琳;胡平;王山東;程文華;郭怡文;楊柳;陳玉榮;侯宇清;蘇舟
• 申請（專利權）人: 英特爾公司
• 主分類號: G06N3/04
• 分類號: G06N3/04;G06N3/063;G06N3/08;G06N7/00;G06T1/20
• 代理公司: 永新專利商標代理有限公司 72002
• 代理人: 劉瑜

1.一種用于執行自動程序合成的裝置，包括：

存儲器，其用于存儲用于自動程序合成的指令；以及

耦合到所述存儲器的計算集群，所述計算集群支持所述指令，所述指令用于執行自動程序合成，所述自動程序合成包括將草繪的數據劃分成分區，利用分區的草繪的數據訓練單獨程序合成單元的各種集合，所述單獨程序合成單元中的每個具有不同能力并且針對每個分區，將相應的變換應用到所述分區的草繪的數據，以及生成針對每個單獨程序合成單元的草繪的基線數據。

2.如權利要求1所述的裝置，其中，所述程序合成單元包括貝葉斯程序合成(BPS)單元。

3.如權利要求2所述的裝置，其中，每個單獨BPS單元基于所述草繪的數據和所述變換具有不同的模型。

4.如權利要求3所述的裝置，其中，所述草繪的數據被劃分為n個分區，并且m個變換被應用于所述BPS單元以生成m×n個草繪的基線數據，以及所述BPS單元的相關聯的m×n個模型。

5.如權利要求4所述的裝置，其中，所述計算集群用于支持如下的指令，所述指令用于執行所述自動程序合成，包括在基于級聯的框架中對所述BPS單元進行分組，處理由所述基于級聯的框架接收的輸入以基于所述單獨BPS單元的每一個的訓練和模型來生成預測。

6.如權利要求4所述的裝置，其中，所述計算集群用于支持如下的指令，所述指令用于執行所述自動程序合成，包括在基于樹的框架中對所述BPS單元進行分組，處理由所述基于樹的框架接收的輸入以基于所述單獨BPS單元的每一個的訓練和模型來生成預測。

7.一種用于自動程序合成的方法，包括：

利用至少一個計算集群獲取草繪的數據；

利用所述至少一個計算集群將所述草繪的數據劃分為分區；

利用所述至少一個計算集群利用分區的草繪數據來訓練單獨程序合成單元的各種集合，并且針對每個分區，應用相應的變換以增加數據量；以及

利用所述至少一個計算集群生成草繪的基線數據，其中，每個單獨程序合成單元基于應用的草繪的數據和變換具有不同的模型。

8.如權利要求7所述的方法，其中，所述程序合成單元包括貝葉斯程序合成(BPS)單元。

9.如權利要求8所述的方法，其中，所述草繪的數據被劃分為n個分區，并且m個變換被應用于所述BPS單元以生成m×n個草繪的基線數據，以及所述BPS單元的相關聯的m×n個模型。

10.如權利要求9所述的方法，還包括：

將所述單獨BPS單元分組到基于級聯的框架中；以及

將輸入應用于單獨BPS單元的所述基于級聯的框架以基于所述單獨BPS單元的每一個的訓練和模型來生成預測。

11.如權利要求9所述的方法，還包括：

將所述單獨BPS單元分組到基于樹的框架中；以及

將輸入應用于單獨BPS單元的所述基于樹的框架以基于所述單獨BPS單元的每一個的訓練和模型來生成預測。

12.一種系統，包括：

存儲器，其用于存儲指令和數據；以及

多個核，其執行所述指令以執行自動程序合成，包括將草繪的數據劃分成分區，利用分區的草繪的數據來訓練單獨程序合成單元的各種集合，所述單獨程序合成單元中的每個具有不同能力并且將相應的變換應用到每個分區，生成針對每個單獨程序合成單元的草繪的基線數據，并且通過對每個單獨程序合成單元的整個集合的行為進行聯合近似和建模來訓練主程序合成單元。

13.如權利要求12所述的系統，其中，所述程序合成單元包括貝葉斯程序合成(BPS)單元。