最新自動程序設計(存儲版)
【正文】 ②示例陳述：試圖通過足夠多的例子表明某一程序所要做的工作。有一些系統(tǒng)往往采用如LISP、PL/I、GPSS等高級語言作為目標語言。對于所有這些滿足條件的輸入，要求定理證明程序給出證明，即證明存在一個滿足輸出條件的輸出，從該證明中析取出所欲生成的程序。PSI系統(tǒng)包括一些子系統(tǒng)，它強調(diào)將不同的進程和知識來源整體化，應用范圍為符號程序設計(非數(shù)值)。在數(shù)控編程方面，數(shù)控編程是指從零件圖紙到獲得合格的數(shù)控加工程序的過程，主要內(nèi)容包括：分析零件圖樣、確定加工工藝過程、數(shù)學處理、編寫零件加工程序、輸入數(shù)控系統(tǒng)、程序檢驗及首件試切。同時，刀具軌跡生成還應滿足通用性好、穩(wěn)定性好、編程效率高、代碼量小等條件。與手工編程相比，自動編程具有的主要特點包括了具有強大的數(shù)學處理能力，能快速和自動地生成數(shù)控程序，具備靈活的后置處理程序，具有較強的自檢、糾錯能力，以及便于實現(xiàn)與數(shù)控系統(tǒng)的通訊等。交互式圖形自動編程系統(tǒng)（CAD/CAM），可通過三種方法獲取和建立零件幾何模型：軟件本身提供的CAD設計模塊；其他可轉(zhuǎn)換的CAD/CAM系統(tǒng)生成的圖形；三坐標測量機數(shù)據(jù)或三維多層掃描數(shù)據(jù)。早期的后置處理文件是不開放的，使用者無法修改。利用自動程序設計系統(tǒng)，可以在從開發(fā)的整個過程中有效地利用時間、人力和機器等各種資源。結論自動程序設計是在程序的開發(fā)實現(xiàn)的過程中，將仍由人工進行的某些階段加以自動化的過程和所采用的技術。后置處理的目的是生成針對某一特定數(shù)控系統(tǒng)的數(shù)控加工程序。在交互式圖形自動編程系統(tǒng)中，需要輸入二種數(shù)據(jù)以產(chǎn)生數(shù)控加工程序：零件幾何模型數(shù)據(jù)和切削加工工藝數(shù)據(jù)。其技術內(nèi)容包括機床運動學建模與求解、機床結構誤差補償、機床運動非線性誤差校核修正、機床運動的平穩(wěn)性校核修正、進給速度校核修正及代碼轉(zhuǎn)換等。刀具軌跡生成刀具軌跡生成是復雜形狀零件數(shù)控加工中最重要的內(nèi)容，能否生成有效的刀具軌跡直接決定了加工的可能性、質(zhì)量與效率。自動編程使得一些計算繁瑣、手工編程困難或無法編出的程序能夠順利地完成。在自動程序設計方面已有一些不同的實驗性的系統(tǒng)。①定理證明：對要生成的程序，用戶給出它的輸入、輸出數(shù)據(jù)必須滿足的條件。這種方法常采用交互對話方式。這種語言的語法和語義是精確的、無歧義的，精確而完全地指出程序所要做的工作。實踐已顯示出，對與程序設計或機器人的控制的問題，先產(chǎn)生一個代價不太高的有錯誤的解，然后再進行修改的作法，要比堅持要求第一次得到的解就完全沒有缺陷的作法，通常效率要高的多。在對應規(guī)格說明中的各個成分，其轉(zhuǎn)換目標的相應成分明確，而且相應的轉(zhuǎn)換映射也明確的前提下，該映射可借助過程實現(xiàn)。從抽象級別的異同來看，可區(qū)分縱向轉(zhuǎn)換與橫向轉(zhuǎn)換。自動程序設計的關鍵技術從關鍵技術來看，自動程序設計的實現(xiàn)途徑可歸結為演繹綜合、程序轉(zhuǎn)
研究報告相關推薦
鄂ICP備17016276號-1