【正文】 1 快照選擇先前生成的 Snapshot1 如圖 58將 7 電動機添加到分析中定義各電動機的開始結(jié)束時間如圖 59 然后點擊運行即可以觀察運動仿真情況確定設(shè)定正確后單擊確定 圖 58 圖 59 56 運動仿真視頻制作 前面的運動分析 AnalysisDefinition1 生成后單擊界面右邊回放按鈕即可進入回放界面此界面可對先前的運動分析進行回放保存至文件也可打開文件中以存在的運動分析如圖 510 點 擊播放打開 AnalysisDefinition1 即進入動 圖 510 圖 511 畫界面如圖 511所示單擊播放便開始重新播放 AnalysisDefinition1 圖 511所示捕獲即為視頻錄制按鈕單擊進去如圖 512 界面名稱處單擊瀏覽選路徑為 E\盤新建名稱 yundong 類型選 MPEG 勾取照片級渲染幀可使視頻效果更佳單擊確定便完成了運動仿真視頻的制作 圖 512 致 謝 衷心感謝學校這次畢業(yè)設(shè)計的學習鍛煉機會通過這次畢業(yè)設(shè)計我收獲頗多知識面有了很大的提高綜合運用能力得到加強可以說經(jīng)過這樣一次設(shè)計我們才真正達到了畢業(yè) 的要求 首先我感覺這次設(shè)計提高了我們解決實際問題的能力在一個實際題目當前怎樣才能解決問題呢這不是哪本書上能說清楚的這就要求我們根據(jù)實際情況分析實際問題想出解決方案這就是一個能力的問題了平時我們很少有這樣的機會能把所學的知識運用于解決實際問題當中但這次設(shè)計就給予了我們一個很好的機會 其次這次設(shè)計考驗了我的自學能力在整個設(shè)計過程中許多知識都不是我以前所學過的特別是軟件的應(yīng)用方面因此這讓我意識到學習能力的重要性活學活用才能立于不敗之地 再次這次設(shè)計鍛煉了我的綜合運用知識能力在設(shè)計時我不但要用到機械方面的知識還要用 到許多計算機方面的知識如何把握許多方面的知識綜合運用這些知識這就要求我們掌握重點靈活運用不然是難以解決設(shè)計中的問題的 最后在整個設(shè)計過程中特別感謝我的指導老師劉習文老師是他悉心指導耐心教育我才得以解決許多百思不得其解的問題尤其是許多論文的細節(jié)所有這些都讓我內(nèi)心深處感激不盡 參考文獻 [1] 孫江宏 ProENGINEER Wildfire30 中文版 企業(yè)應(yīng)用與工程實踐清華大學出版社 2021 年 6 月 [2] 詹友剛 ProE Wildfire中文野火版 30數(shù)控加工精解 [M] 機械工業(yè)出版社 2021 年 4 月 316337 [3] 溫建民等 ProE 野火中文版產(chǎn)品設(shè)計應(yīng)用范例清華大學出版社 2021 年5 月 [4] 老虎工作室譚雪松 等編著 ProENGINEER 2021 中文版典型實例 [M] 人民郵電出版社 2021 [5] 孫江宏段大高 等編著 ProENGINEER 2021i 高級功能應(yīng)用及二次開發(fā)[M] 北京清華大學出版社 2021 [6] 張瀅 ProE Wildfire 數(shù)控 加工及二次開發(fā)技術(shù) [M] 機械工業(yè)出版社2021 [7] 張繼春 編著 ProENGINEER 二次開發(fā)實用教程 [M] 北京北京大學出版社 2021 [8] 張沛頎等 [M] 北京清華大學出版社 2021 [10] 林清安 編著 ProENGINEER 2021 模具設(shè)計 [M] 北京北京大學出版社2021 [11] 孫桓陳作模葛文杰 機械原理 [M] 北京高等教育出版社 2021 [12] 濮良貴紀名剛 等編著 機械設(shè)計 [M] 北京高等教育出版社 2021 [13] 徐灝 編著 機械設(shè)計手冊 [M] 第三卷 北京機械工 業(yè)出版社 1991 [14] 楊世平周良德朱泗芳 等編著 現(xiàn)代工程圖學 [M] 湖南湖南科學技術(shù)出版社 2021 附錄 外文翻譯 可視化的 PLC 程序使用 XML M Bani Younis and G Frey 摘要由于 P LC 程序日益復雜在 PLC 應(yīng)用方面有越來越多的興趣愛好者形式化方法讓僵化的證明系統(tǒng)屬性被核查和驗證一個傳統(tǒng)思路的方法就是在 PLC 編程中設(shè)立一個正式的設(shè)計方法不過現(xiàn)有的軟件已被優(yōu)化改變或移植到新系統(tǒng)有需要找到從某一 PLC程序開始的方法因此規(guī)范 PLC程序是一個現(xiàn)在研究的熱點該文章概述了基于形式化的 PLC 程序基礎(chǔ)上從新啟動的方法轉(zhuǎn)型成為一個獨立的格式和可視化的結(jié)構(gòu)在這個過程中 PLC 程序的確定是作為這項措施的重要中間步驟這表明如何 XML 和相應(yīng)的技術(shù)可用于形式化和可視化現(xiàn)有的 PLC 程序 1 導言 可編程邏輯控制器 PLC 是一種特殊類型的計算機它應(yīng)用于工業(yè)和安全的關(guān)鍵地方應(yīng)用 PLC 的目的是控制某一特定的或可選擇的過程它是通過產(chǎn)生的電控制信號回應(yīng)電器中相關(guān)的輸出信號來實現(xiàn)的應(yīng)用在制造業(yè)和化工過程控制機械加工交通電力分配以及其他許多領(lǐng)域 PLC 控制有著極大的不同自動化應(yīng)用范圍的復雜性從一個簡單的小組運作到 控制一個會議室的的燈光和自動窗成為一個全自動化的生產(chǎn)線 隨著他們應(yīng)用 PLC知識的增加他們把 PLC應(yīng)用到復雜性和品質(zhì)要求高的地方特別是對安全性要求特別嚴格的地方由于在有限的時間里 PLCD 的發(fā)展應(yīng)用日益復雜現(xiàn)有的軟件或 PLC 的模塊也在迅速發(fā)展以此需要一個正式的辦法加以規(guī)范 為了確保高品質(zhì)的要求我們需要檢查和驗證程序以及分析和模擬現(xiàn)有系統(tǒng)[ 2 ] 其中一個重要的領(lǐng)域就是已經(jīng)在最近的時間成長在規(guī)范化的 PLC 程序是逆向工程 [ 3 ] 逆向工程是通過評估達到了解它的運轉(zhuǎn)過程以達到重復或加強的目的而重用的 PLC守則正在建立作為一種打擊復雜 PLC程序的工具逆向工程在今后幾年將得到越來越多關(guān)注特別是如果現(xiàn)有的硬件被適用于各種不同程序環(huán)境的新硬件所取代的情況下 現(xiàn)有的 PLC 程序的可視化是逆向工程一個重要的中間步驟本文章提供了一個方法使用 XML使 PLC程序可視化讓 PLC程序工程師更容易把握方向和更好地了解 該文件的結(jié)構(gòu)如下首先簡單的介紹了 PLC根據(jù)國際電工委員會 611313的標準是給予和相應(yīng)的編程技巧在第三部分在現(xiàn)有基礎(chǔ)上用形式化 PLC 程序重新設(shè)計方法的介紹 PLC 代碼轉(zhuǎn)型成為一個獨立的格式被確定為在這個過程中重 要的第一步 XML 和相應(yīng)的技術(shù)例如 XSL 和 XSLT 第四節(jié)可以使用的這種轉(zhuǎn)變第五部分提出了應(yīng)用 XML的使 PLC程序可視化的方法并用一個例子做出說明最后一節(jié)總結(jié)了結(jié)果并就今后的工作在這方面正在進行的項目做了一個前景的展望 2 PLC 和 IEC 61131 自從七十年代初期公布于世由于它的成功的完成目的取代了機器上的硬連線控制設(shè)備 PLC 日益受到重視最終它作為一個獨特的應(yīng)用領(lǐng)域成長起來它的研究和開發(fā)主要是為控制工程 IEC61131 是為工業(yè)自動化第一次真正的努力來規(guī)范 PLC 的編程語言在1993 國際電工委 員會 [4]上公布了 IEC 61131 作為可編程控制器標準在標準化PLC的編程語言之前正在制定為了個別 PLC實用的專有編程語言為了提高不同產(chǎn)品的兼容性開放性和互操作性以及為了促進工具和方法的發(fā)展國際電工委員會61131 標準設(shè)立固定的一套符號第三部分定義了一個適合 5 種編程語言標準 Originated IL 語言是一種低層次的文本語言其結(jié)構(gòu)類似于匯編語言O(shè)riginated 語言 L 被視為 PLC 的在所有其他 IEC61 1313 語言都可以翻譯語言 梯形圖 L0 是一種被認為起源于于美國的圖形語言 LDS 符合從電子及電器電路實施控制邏輯的編程風格 結(jié)構(gòu)化文本 ST 是一個非常強大的高層次的語言圣借從帕斯卡爾那里借用了它的語法充實它的一些特點圣包含一個現(xiàn)在編程語言多要求的所有要素 功能塊圖 FBD 是一種圖形語言在工業(yè)流程里是非常常見的在這種語言中控制器被認為是可在功能塊之間流動的信號和數(shù)據(jù) FBD 把換文本編程轉(zhuǎn)變?yōu)楣δ軌K編程因而提高了模塊化和軟件重用性 順序功能圖 SFC是一個圖形化的語言 SFC要素的定義是為了構(gòu)建可編程序控制器程序的組織 其中在 IEC 61 1313 中出現(xiàn)的一個問題就是在 PLC 的編程工具的工程信息中沒有一個標準化的格式目前每個廠商都在運用他們各自的具體的不同格式這亦是其中一個原因就是被限制了的形式化的做法以單一的程序或算法不過最近的 PLC 用戶組織 PLCopen 阻止了一個技術(shù)委員會以確定一個基于格式accordingto 的 IEC 611313 的 XML 項目 這種新格式將緩解形式化的工具使之成為 PLC 項目的所有相關(guān)的信息 3 重新設(shè)計的方法 對于重新設(shè)計所提出的態(tài)度參見圖 1 是基于認為 XML 可作為一種中間媒體語言用來改造 PLC 的代碼 這種轉(zhuǎn)變提供了取得 avendor 獨立規(guī)格代碼優(yōu)勢 即使 PLCopen 成功地確定了一種標準化的格式為 PLC 所應(yīng)用仍將有很多現(xiàn)有的程序不符合這個標準 在此代碼基礎(chǔ)上的一個明智步驟轉(zhuǎn)型到一個正式的模型自動機正在計劃之中這個模型可以用來進行分析模擬仿真正式的檢查和驗證最終對同一 PLC或其他產(chǎn)品重新執(zhí)行該優(yōu)化算法 一個很大的可能就是這個完成編程的逆向啟動只能是一個半自動的過程中間可視化的代碼是最重要的一點在過程中的不同階段代碼或形式化模型不同方面的都必須是可視化的設(shè)計方式只有這樣設(shè)計者才可以進一步的指導工作 XML以其強大的可視化和改造 工具成為解決這方面的工作的一種理想的工具 4 作為一種可視化工具的 XML XML 可擴展標記語言是一種簡單而靈活的元語言即一種描述其他語言的語言由萬維網(wǎng)協(xié)會 W3C 裁定 W3C 作為一個方言 SGML 分支語言 XML 的刪除兩個阻礙網(wǎng)絡(luò)發(fā)展 [ 6 ]制約因素依賴于一個單一的一成不變的文件類型 6HTML 這種文件類型中大部分被濫用任務(wù)這是從來沒有設(shè)計為對一方有利充滿了 SGML的復雜性他的語法讓許多強大的并且努力到計