數(shù)控加工自動(dòng)編程的含義是什么？

自動(dòng)編程（AUTO），還有手動(dòng)編程（MDA或者M(jìn)DI）手動(dòng)編程只是暫時(shí)儲(chǔ)存，法拉克系統(tǒng)是只用一次就會(huì)自動(dòng)刪除，西門子是永久保留，直到你手動(dòng)刪除。而自動(dòng)編程是保存在硬盤里面，什么時(shí)候想用什么時(shí)候調(diào)出來(lái)。區(qū)別自動(dòng)編程可以調(diào)用子程序可以使用復(fù)合加工循環(huán)，中間斷刀的話可以搜索程序段，手動(dòng)編程只能執(zhí)行，不能加其他的內(nèi)容最后簡(jiǎn)單說(shuō)一下（自動(dòng)編程說(shuō)白了就跟你電腦上的記事本一樣是一個(gè)程序書寫的地方，可以保存，也是復(fù)合編程功能最強(qiáng)的一個(gè)地方）

誰(shuí)來(lái)介紹下什么是自動(dòng)編程呢？

自動(dòng)編程相對(duì)與手動(dòng)編程而言它是利用計(jì)算機(jī)專用軟件來(lái)編制數(shù)控加工程序，編程人員只需根據(jù)零件圖樣的要求，使用數(shù)控語(yǔ)言，由計(jì)算機(jī)自動(dòng)地進(jìn)行數(shù)值計(jì)算及后置處理，編寫出零件加工程序單，加工程序通過(guò)直接通信的送入數(shù)控機(jī)床，指揮機(jī)床工作，自動(dòng)編程使得一些計(jì)算繁瑣、手工編程困難或無(wú)法編出的程序能夠順利地完成。

誰(shuí)來(lái)介紹下什么是自動(dòng)編程呢？

這里所說(shuō)的自動(dòng)編程，是運(yùn)用人工智能技術(shù)來(lái)自動(dòng)生成程序，盡量免除人類勞動(dòng)。

在自動(dòng)產(chǎn)生程序之前，先要知道需求是什么吧？要能把需求準(zhǔn)確地描述給機(jī)器，這就需要一種需求描述語(yǔ)言。假如我們制造了這種需求描述語(yǔ)言，它進(jìn)一步發(fā)展，越發(fā)規(guī)范，成為了一種DSL（領(lǐng)域特定語(yǔ)言）。嗯，這就變成了DSL編程。

假如要生成一個(gè)應(yīng)用程序，要選擇一些開發(fā)框架、中間件和技術(shù)方案吧？人類開發(fā)時(shí)要考慮開發(fā)成本和效益的權(quán)衡，但是機(jī)器既然已懂得多種技術(shù)方案，對(duì)它來(lái)說(shuō)開發(fā)成本為0，那么選擇最好的那一個(gè)技術(shù)方案就行了。這就相當(dāng)于存在一套最好(也可能最復(fù)雜)的框架，用DSL在框架之上編程。

鬧了半天就是DSL和框架啊？智能到哪去了？

要想真正發(fā)揮人工智能的作用，我有兩個(gè)思路：

自動(dòng)提問(wèn)

就算有了需求描述語(yǔ)言，人類就能準(zhǔn)確描述需求嗎？如果描述得不好，機(jī)器能否通過(guò)一些分析，針對(duì)不足之處，向人類提問(wèn)，用答案來(lái)完善需求描述呢？

2.自主學(xué)習(xí)

人工智能的精髓是自主學(xué)習(xí)。如果機(jī)器能學(xué)習(xí)世界上現(xiàn)有的代碼，不需要人類特意為它提供需求描述語(yǔ)言和技術(shù)方案，就方便多了。最好是人類直接說(shuō)需求，機(jī)器自己思考，有問(wèn)題就提問(wèn)。有一個(gè)有趣的事——最初的自動(dòng)編程是什么呢？當(dāng)編譯器技術(shù)剛發(fā)明時(shí)，它就是自動(dòng)編程：自動(dòng)把高級(jí)語(yǔ)言代碼轉(zhuǎn)化成匯編碼或機(jī)器碼。我個(gè)人認(rèn)為，凡是能給人類省事的技術(shù)，哪怕是if-else，也可以算是某種人工智能。現(xiàn)在要求高了，編譯器是硬編碼的智能，而我們還要可擴(kuò)展、甚至自動(dòng)擴(kuò)展的智能。現(xiàn)在的自動(dòng)編程主要有兩個(gè)流派：基于規(guī)則推理的、基于機(jī)器學(xué)習(xí)的(包括統(tǒng)計(jì)學(xué)習(xí)、深度學(xué)習(xí)等)。學(xué)術(shù)界對(duì)自動(dòng)編程有一個(gè)更特別的說(shuō)法——程序合成(ProgramSynthesis)。由于機(jī)器學(xué)習(xí)的火爆，比較流行的似乎是基于機(jī)器學(xué)習(xí)(深度學(xué)習(xí))的自動(dòng)編程，其中一種是通過(guò)學(xué)習(xí)輸入輸出數(shù)據(jù)的樣本，自動(dòng)“猜”出一個(gè)能處理這些數(shù)據(jù)的程序。

對(duì)此，摘錄馬毅教授的一條微博：數(shù)學(xué)告訴我們，無(wú)論overfit了多大的樣本數(shù)據(jù)，經(jīng)驗(yàn)事實(shí)如何震撼，也取代不了邏輯嚴(yán)格的推理證明——這是唯一能將結(jié)論從有限樣本擴(kuò)展到無(wú)限的方法。例如一個(gè)遞歸程序，只有數(shù)學(xué)歸納法能準(zhǔn)確生成它，任何有限樣本都無(wú)法準(zhǔn)確生成它(只能近似猜測(cè))。對(duì)于有一點(diǎn)小bug就能出大事的程序，不能松懈啊。因此我不是很贊成基于機(jī)器學(xué)習(xí)的自動(dòng)編程，即使要用，也只是輔助手段吧。啊哈哈~