【正文】 Z070209 班 19 號 梁帥令 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 37 參考文獻(xiàn) [1] 汪曉萍 .《可編程控制器系統(tǒng) 開發(fā)導(dǎo)航》 .北京：人民郵電出版社，2021 年 7 月第 1 版 [2] 王衛(wèi)兵 宋欣 劉宏洋 謝怡寧 .《可編程序控制器原理及應(yīng)用》北京：機(jī)械工業(yè)出版社， [3] 董錦鳳 .《畢業(yè)設(shè)計(jì)指導(dǎo)》 .西安：西安電子科技大學(xué)出版社，(高職高專系列規(guī)劃教材 ) [4] 賈德勝 .《 PLC 應(yīng)用開發(fā)實(shí)用子程序》 .北京：人民郵電出版社， [5] 郭艷萍 .《電氣控制與 PLC 技術(shù)》 .北京：北京師范大學(xué)出版社，（ 重印） [6] 孫政順 曹京生 .《 PLC 技術(shù)》 .北京 :高等教育出版社 ， 2021 [7] 嚴(yán)盈富 .《 PLC 入門》 .北京：人民郵電出版社， 2021 [8] 朱紹祥 .《可編程控制器原理及應(yīng)用》 . 上海： 上海交通大學(xué)出版社， [9] 孟憲芳 .《電機(jī)及拖動(dòng)基礎(chǔ)》 . 西安：西安電子科技大學(xué)出版社，( 重印 ) [10] 路松行 .《電工與電子技術(shù)》 . 西安：西安電子科技大學(xué)出版社，( 重印 ) [11] 張繼 張潤敏 梁海峰 .《電機(jī)控制與供電基礎(chǔ)》 .西南交通大學(xué)出版社， 2021 [12] 姜培剛 孟玉先 .《機(jī)電一體化系統(tǒng)設(shè)計(jì)》 . 北京：機(jī)械工業(yè)出版社， ( 重印 ) [13] 邱士安 .《機(jī)電一體化技術(shù)》 . 西安：西安電子科技大學(xué)出版社，2021 [14] 陳伯時(shí) .《自動(dòng)控制系統(tǒng)》 . 北京：機(jī)械工業(yè)出版社， 1981 [15] 康宜華 .《工程測試技術(shù)》 . 北京：機(jī)械工業(yè)出版社， [16] 熊詩波 黃長藝 .《機(jī)械工程測試技術(shù)基礎(chǔ)》 . 北京：機(jī)械工業(yè)出版社， ( 重印 ) 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 38 附 錄 附錄題目 指令表 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 39 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 40 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 41 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 42 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 43 END 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 44 外文資料翻譯 Visualization of PLC Programs using XML Abstract Due to the growing plexity of PLC programs there is an increasing interest in the application of formal methods in this area. Formal methods allow rigid proving of system properties in verification and validation. One way to apply formal methods is to utilize a formal design approach in PLC programming. However, for existing software that has to be optimized, changed, or ported to new systems .There is the need for an approach that can start from a given PLC program. Therefore, formalization of PLC programs is a topic of current。 最后，向我的親愛的家人和親愛的朋友表示深深的謝意，他們給予我的愛、理解、關(guān)心和支持是我不斷前進(jìn)的動(dòng)力。 其次 要 感謝 511 全體寢室成員， 如果沒有 他們 的 幫助、鼓勵(lì)和陪伴 ，學(xué)習(xí)生活 將變得非常困難。 然后還要感謝 讀書以 來所有的老師， 不僅授我以文，而且教我做人，給以終生受益無窮之道。 幾個(gè)月 多來， 黨 老師 不僅在學(xué)業(yè)上給我以精心指導(dǎo)，同時(shí)還在思想、生活上給我 許多值得我學(xué)習(xí)和借鑒的品質(zhì) ， 并將積極影響我今后的學(xué)習(xí)和工作。 黨 老師平日里工作繁多，但在我做畢業(yè)設(shè)計(jì)的每個(gè)階段，從 課題 選擇 到資料 查閱 ，設(shè)計(jì)草案的確定和修改，中期檢查，后期詳細(xì)設(shè)計(jì)等整個(gè)過程中都給予了我悉心的指導(dǎo) 。 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 36 謝 辭 經(jīng)過 兩個(gè)多月 的忙碌和工作，畢業(yè)設(shè)計(jì)已經(jīng) 完成 ，作為一個(gè) 專 科生的畢業(yè)設(shè)計(jì)，由于經(jīng)驗(yàn)的匱乏，難免有許多考慮不周全的地方，如果沒有導(dǎo)師的督促指導(dǎo)，以及一起工作的同學(xué)們的支持，想要完成這個(gè)設(shè)計(jì)是難以想象的。 通過本設(shè)計(jì)，我學(xué)到了很多東西，對待工作要的耐心、細(xì)心、嚴(yán)謹(jǐn)和求精。 圖 51 程序的調(diào)試 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 33 程序運(yùn)行過程記錄 ?? 帶程序全部寫入 PLC 之后，首先運(yùn)用 PLC 的編程軟件進(jìn)行模擬調(diào)試，模擬調(diào)試成功后，接上外部接線進(jìn)行現(xiàn)場調(diào)試，現(xiàn)場調(diào)試的具體情況 如 表 51 所示 ： 表 51 程序運(yùn)行過程記錄 PLC 元件 狀態(tài) 運(yùn)行結(jié)果 X0 ON 啟動(dòng) X1 ON 手動(dòng)、自動(dòng) X2 ON 取出 X3 ON 送進(jìn) X4 ON 取消 X5 ON 急停 X6 ON 1 號倉庫的鍵 X7 ON 2 號倉庫的鍵 X10 ON 3 號倉庫的鍵 X11 ON 4 號倉庫的鍵 X12 ON 5 號倉庫的鍵 X13 ON 6 號倉庫的鍵 X14 ON 7 號倉庫的鍵 X15 ON 8 號倉庫的鍵 X16 ON 9 號倉庫的鍵 X17 ON 10 號倉庫的鍵 X20 ON 11 號倉庫的鍵 X21 ON 12 號倉庫的鍵 X22 ON 檢驗(yàn) 0 號倉庫 X23 ON 檢驗(yàn) 1 號倉庫 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 34 X24 ON 檢驗(yàn) 2 號倉庫 X25 ON 檢驗(yàn) 3 號倉庫 X26 ON 檢驗(yàn) 4 號倉庫 X27 ON 檢驗(yàn) 5 號倉庫 X30 ON 檢驗(yàn) 6 號倉庫 X31 ON 檢驗(yàn) 7 號倉庫 X32 ON 檢驗(yàn) 8 號倉庫 X33 ON 檢驗(yàn) 9 號倉庫 X34 ON 檢驗(yàn) 10 號倉庫 X35 ON 檢驗(yàn) 11 號倉庫 X36 ON 檢驗(yàn) 12 號倉庫 X37 ON 前進(jìn)限制 X40 ON 后退限制 X41 ON 后退超過 X42 ON 向上限制 X43 ON 向下限制 X44 ON 向下超過 X45 ON 前時(shí)限制 X46 ON 取出限制 X47 ON 取出超過 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 35 結(jié) 論 本系統(tǒng)主要以 PLC 為核心，利用 PLC 強(qiáng)大的控制功能，具有接線簡單、編程直觀、擴(kuò)展容易等特點(diǎn)。先將 PLC 與計(jì)算機(jī)的串口互連，然后可以進(jìn)入【傳輸設(shè)置】對話框，進(jìn)行 FX2n PLC 設(shè)備與網(wǎng)絡(luò)傳輸參數(shù)設(shè)定，可以進(jìn)行 PLC 和計(jì)算機(jī)的串口通信方式的設(shè)定，可以進(jìn)行其他網(wǎng)絡(luò)電的設(shè)定，還可以實(shí)現(xiàn)通信測試。其它的動(dòng)作執(zhí)行和其相似，具體情況詳見梯形圖： 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 30 圖 43 位置檢測梯形圖 當(dāng)出現(xiàn)錯(cuò)誤時(shí)可以通過以下程序來控制系統(tǒng)的運(yùn)行， 通過輸出操作錯(cuò)誤，然后再改變操作來 確保貨物存取的正確性。 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 29 圖 42 初始化梯形圖 位置檢測 指令 當(dāng) M30 接通或 M40 而 X00 X00 X004 斷開時(shí)輸出 M101，之后M101 接通開始對各個(gè)動(dòng)作進(jìn)行檢測判斷，以便確定正確的位置來完成貨物的存取 ，如圖 43 所示 。 該 智能倉庫 的梯形圖程序分 析如下： 初始化主控指令 該段程序主要是用來控制其內(nèi)部的通用輔助繼電器觸點(diǎn)，如圖 42 所示。 I/O 分為開關(guān)量輸入（ DI），開關(guān)量輸出（ DO），模擬量輸入（ AI），模擬量輸出（ AO）等模塊。 I/O 模塊集成了 PLC 的 I/O 電路，其輸入暫存器反應(yīng)輸入信號的狀態(tài)，輸出點(diǎn)反應(yīng)輸出鎖存器的狀態(tài)。邏輯解算是根據(jù)輸入映像寄存器中的值，而不是根據(jù)解算瞬時(shí)外部洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 27 輸入觸電的狀態(tài)來進(jìn)行的。梯形圖中邏輯解算是按從左至右、從上到下的順序進(jìn)行的。右母 線可以不畫出。 梯形圖兩側(cè)的垂直公共線稱為母線。 模擬量 按其精度可分為 12bit、 14bit、 16bit 等；按信號類型可以分為電流型（ 4~20mA， 0~20mA）、電壓型（ 0~10V， 0~5V， 10~10V）等。使用中也常將這些“軟繼電器”成為編程元件。該存儲單元如果為“ 1”狀態(tài)，則表示梯形圖中對應(yīng)軟繼電器的線圈“通電”，其常開觸點(diǎn) 接通，常閉觸電斷開，稱這種狀態(tài)的軟繼電器的“ 1”或“ ON”狀態(tài)。梯形圖被稱為電路或程序梯形圖的設(shè)計(jì)稱為編程。示意圖如圖 39 所示， 具體情況見附圖！ 圖 39 電氣原理圖 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 26 第 4 章 智能倉庫 系統(tǒng)控制軟件設(shè)計(jì) PLC 梯形圖概述 梯形圖是使用的最多的圖形編程語言，被稱為 PLC 的第一編程語言。需要注意檢測距離不要離傳感器太近，否則傳感器不能動(dòng)作；連接是采用插件方式，千萬不 要對端子（讀出頭）進(jìn)行焊接。 此步進(jìn)電機(jī)驅(qū)動(dòng)器的電氣技術(shù)數(shù)據(jù)如表 33 所示： 表 33 步進(jìn)電機(jī)驅(qū)動(dòng)器的電氣技術(shù)數(shù)據(jù) 表 驅(qū)動(dòng)器型號 相數(shù) 類別 細(xì)分?jǐn)?shù)通過撥位開關(guān)設(shè)定 最大相電流開關(guān)設(shè)定 工作電源 SH2H057 二相或四相 混合式 二相八拍 一 組 直 流DC（ 24~40） 步進(jìn)電動(dòng)機(jī)驅(qū)動(dòng)器接線示意圖如 36 所示： 圖 36 步進(jìn)電動(dòng)機(jī)驅(qū)動(dòng)器接線示意圖 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 22 傳感器 的選擇 反射式傳感器的選擇 在 智能倉庫 中采用歐姆龍 EESPY402 凹槽型、反射型接插件式傳感器作貨物檢測，它是日本 歐姆龍公司的產(chǎn)品，采用能抗周圍外來光干擾的便調(diào)光式。主要由電源輸入部分、信號輸入部分、輸出部分組成。觸電規(guī)格有： DC24V/1A、 AV110V/。如要通知系統(tǒng)，就要用到報(bào)警輸出信號，此信號占兩個(gè)接線端子，此兩端為一繼電器的常開點(diǎn)，報(bào)警時(shí)觸電立即閉合。此信號和控制系統(tǒng)配合使用，可以產(chǎn)生相位記憶功能，其接口如圖 34 所示 ： 圖 34 初相位信號接口電路 （ 2）報(bào)警輸出信號：每臺驅(qū)動(dòng)器都有多種保護(hù)措施（如：過壓、過流、過濕等） 。 表 32 外接限流電阻 R 信號幅值 外接限流電阻 R 5V 不加 12V 680Ω 24V 洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 20 步進(jìn)電機(jī)驅(qū)動(dòng)器的輸出信號有兩種： （ 1）初相位信號：驅(qū)動(dòng)器每次上電后將使步進(jìn)電機(jī)起始在一個(gè) 固定的相位上，這就是初相位。它們在驅(qū)動(dòng)器內(nèi)部的接口電路都相同，如圖 3— 3 所示 ： 圖 33 輸入信號接口電路 OPTO 端為三路信號的公共端，三路輸入信號在驅(qū)動(dòng)器 內(nèi)部接成共陽方式，所以 OPTO 端須接外部系統(tǒng)的 VCC，如果 VCC 是 +5V 則可直接輸入；如果 VCC 不是 +5V 則須外部另加限流電阻 R，保證給驅(qū)動(dòng)器內(nèi)部光耦提供 8~18mA 的驅(qū)動(dòng)電流，如圖 33 和表 32 所示。所以步進(jìn)電機(jī)的轉(zhuǎn)速與脈沖信號的頻率成正比。 42BYGH101 型號的步進(jìn)電機(jī)的電氣技術(shù)數(shù)據(jù)如表 3— 1 所示 ： 表 31 步進(jìn)電機(jī)的電氣技術(shù)數(shù)據(jù) 電機(jī)型號 相數(shù) 步距角 相電流 驅(qū)動(dòng)電壓 額定轉(zhuǎn)矩 重量 42BYGH101 2 DC24V 步進(jìn)電機(jī)驅(qū)動(dòng)器的選擇 步進(jìn)電機(jī)驅(qū)動(dòng)系統(tǒng)的基本組成 與交直流電動(dòng)機(jī)不同，僅僅接上供電電源，步進(jìn)電機(jī)是不會(huì)運(yùn)行的。 齒輪比： G= 360/（ ） =150 換算到電機(jī)軸的負(fù)載轉(zhuǎn)矩為： T=G L（ Tl+F） /(2 ) = 150 （ +5） /(2 ) = 隊(duì)首次設(shè)計(jì)的裝置來講，所選用的電動(dòng)機(jī)通常留有 2~3 倍的余量，所以電機(jī)轉(zhuǎn)矩 TN=3T=3 = = 所以控制系統(tǒng)中的步進(jìn)電動(dòng)機(jī)采用混合式步進(jìn)電機(jī)，它的主要特點(diǎn)是：洛陽理工學(xué)院畢業(yè)設(shè)計(jì)（論文） 18 體積小、大轉(zhuǎn)矩等優(yōu)點(diǎn)。 步進(jìn)電動(dòng)機(jī)的選擇計(jì)算 在選擇步進(jìn)電動(dòng)機(jī)時(shí)首先應(yīng)考慮的是步進(jìn)電動(dòng)機(jī)的類型的選擇，其次才是具體的品種選擇，在該 智能 倉庫控制系統(tǒng)中要求步進(jìn)電