最新自動(dòng)程序設(shè)計(jì)(編輯修改稿)
2024-08-03 14:11 本頁面
【文章內(nèi)容簡介】 后構(gòu)造成的程序的語言。有一些系統(tǒng)往往采用如LISP、PL/I、GPSS等高級(jí)語言作為目標(biāo)語言。問題范圍所欲生成的程序應(yīng)用的范圍。例如NLPQ系統(tǒng)處理的問題都是有關(guān)排隊(duì)方面的程序。PSI系統(tǒng)處理的則是有關(guān)符號(hào)計(jì)算（包括表處理、搜索和排列、數(shù)據(jù)的存放和檢索等）。問題范圍與規(guī)格說明有關(guān)，并對(duì)系統(tǒng)采用的方法有很大影響。采用方法各種實(shí)驗(yàn)系統(tǒng)采用的方法不盡一致，可歸納為下列幾個(gè)方面。①定理證明：對(duì)要生成的程序，用戶給出它的輸入、輸出數(shù)據(jù)必須滿足的條件。條件以某種形式語言（如謂詞演算）陳述。對(duì)于所有這些滿足條件的輸入，要求定理證明程序給出證明，即證明存在一個(gè)滿足輸出條件的輸出，從該證明中析取出所欲生成的程序。②程序轉(zhuǎn)換：研究如何將某一程序的規(guī)格說明或描述等價(jià)轉(zhuǎn)換為另一種描述。轉(zhuǎn)換的目的是將一個(gè)用超高級(jí)語言（容易寫）的程序，轉(zhuǎn)換為用低級(jí)(易于實(shí)現(xiàn))的語言表示的程序。③知識(shí)工程：這種方法同樣適用于自動(dòng)程序設(shè)計(jì)以外的人工智能的許多應(yīng)用范圍。它涉及到知識(shí)識(shí)別和編碼問題，通常是指將一些有關(guān)的知識(shí)以一種特殊的規(guī)則形式的數(shù)據(jù)結(jié)構(gòu)加以表示，以便加入知識(shí)庫或從知識(shí)庫中撤除。④傳統(tǒng)的問題求解方法：應(yīng)用人工智能的一般方法以目標(biāo)為指導(dǎo)來選擇和應(yīng)用一系列算子。在自動(dòng)程序設(shè)計(jì)方面已有一些不同的實(shí)驗(yàn)性的系統(tǒng)。例如，NLPQ是第一個(gè)使用自然語言對(duì)話的系統(tǒng)，它可以解答用戶提出的有關(guān)排隊(duì)模擬等方面的問題。PSI系統(tǒng)包括一些子系統(tǒng)，它強(qiáng)調(diào)將不同的進(jìn)程和知識(shí)來源整體化，應(yīng)用范圍為符號(hào)程序設(shè)計(jì)(非數(shù)值)。DEDALUS系統(tǒng)要求用戶一開始就給出有關(guān)所需程序的完備描述。系統(tǒng)從一個(gè)擁有許多轉(zhuǎn)換規(guī)則的知識(shí)庫中，重復(fù)使用這些規(guī)則，產(chǎn)生一系列描述，直至最后生成目標(biāo)程序。自動(dòng)編程的含義與內(nèi)容自動(dòng)編程是相對(duì)與手動(dòng)編程而言的。它是利用計(jì)算機(jī)專用軟件來編制數(shù)控加工程序。編程人員只需根據(jù)零件圖樣的要求，使用數(shù)控語言，由計(jì)算機(jī)自動(dòng)地進(jìn)行數(shù)值計(jì)算及后置處理，編寫出零件加工程序單，加工程序通過直接通信的方式送入數(shù)控機(jī)床，指揮機(jī)床工作。自動(dòng)編程使得一些計(jì)算繁瑣、手工編程困難或無法編出的程序能夠順利地完成。與手工編程相區(qū)別，自動(dòng)編程使用CAD軟件制作零件或產(chǎn)品模型，再利用軟件的CAM功能生成數(shù)控加工程序，稱為自動(dòng)編程。在數(shù)控編程方面，數(shù)控編程是指從零件圖紙到獲得合格的數(shù)控加工程序的過程，主要內(nèi)容包括：分析零件圖樣、確定加工工藝過程、數(shù)學(xué)處理、編寫零件加工程序、輸入數(shù)控系統(tǒng)、程序檢驗(yàn)及首件試切。根據(jù)問題復(fù)雜程度的不同，數(shù)控加工程序可通過手工編程或計(jì)算機(jī)自動(dòng)編程來獲得。目前計(jì)算機(jī)自動(dòng)編程采用圖形交互式自動(dòng)編程，即計(jì)算機(jī)輔助編程。這種自動(dòng)編程系統(tǒng)是CAD(計(jì)算機(jī)輔助設(shè)計(jì))與CAM(計(jì)算機(jī)輔助制造)高度結(jié)合的自動(dòng)編程系統(tǒng)，通常稱為CAD/CAM系統(tǒng)。為適應(yīng)復(fù)雜形狀零件的加
研究報(bào)告相關(guān)推薦
鄂ICP備17016276號(hào)-1