午夜亚洲国产日本电影一区二区三区,九九久久99综合一区二区,国产一级毛片视频,草莓视频在线观看精品最新

加急見刊

可微分抽象機(jī)混合編程系統(tǒng)

周鵬; 武延軍; 趙琛 中國科學(xué)院軟件研究所; 北京100190; 中國科學(xué)院大學(xué); 北京100049

摘要:自動化編程是智能軟件的核心挑戰(zhàn)之一,使用程序執(zhí)行軌跡或輸入輸出樣例學(xué)習(xí)程序,是自動化編程的典型研究方法.這些方法無法彌合常規(guī)程序元素與神經(jīng)網(wǎng)絡(luò)組件間的隔閡,不能吸收經(jīng)驗(yàn)信息輸入、缺乏編程控制能力.給出了一種可無縫結(jié)合高級編程語言與神經(jīng)網(wǎng)絡(luò)組件的混合編程模型:使用高級編程語言元素和神經(jīng)網(wǎng)絡(luò)組件元素混合開發(fā)應(yīng)用程序,其中,編程語言描述程序的框架、提供經(jīng)驗(yàn)信息,關(guān)鍵復(fù)雜部分則用未定、可學(xué)習(xí)的神經(jīng)網(wǎng)絡(luò)組件占位,應(yīng)用程序在可微分抽象機(jī)上運(yùn)行生成程序的連續(xù)可微分計(jì)算圖表示,然后使用輸入輸出數(shù)據(jù),通過可微分優(yōu)化方法對計(jì)算圖進(jìn)行訓(xùn)練,學(xué)習(xí)程序的未定部分,自動生成完整的確定性程序.可微分抽象機(jī)混合編程模型給出了一種能夠?qū)⒕幊探?jīng)驗(yàn)與神經(jīng)網(wǎng)絡(luò)自學(xué)習(xí)相結(jié)合的程序自動生成方法,彌合編程語言元素與神經(jīng)網(wǎng)絡(luò)元素間的隔閡,發(fā)揮并整合高級過程化編程和神經(jīng)網(wǎng)絡(luò)可訓(xùn)練學(xué)習(xí)編程各自的優(yōu)勢,將復(fù)雜的細(xì)節(jié)交給神經(jīng)網(wǎng)絡(luò)未定部分自動生成,降低編程難度或工作量,而適當(dāng)?shù)慕?jīng)驗(yàn)輸入又有助于未定部分的學(xué)習(xí),同時,為復(fù)用長期積累的寶貴編程經(jīng)驗(yàn)提供輸入接口.

注: 保護(hù)知識產(chǎn)權(quán),如需閱讀全文請聯(lián)系軟件學(xué)報(bào)雜志社

相關(guān)推薦

更多