【正文】 究并結(jié)合對相關(guān)的資料書籍的參考的基礎(chǔ)上，理清編程思路并利用PLC編程工具編輯主體控制程序。手動控制程序是為了使用戶方便單步執(zhí)行和查找故障。包括：歡迎界面、主菜單、重量設(shè)定界面、時間設(shè)定界面、報警定時界面、狀態(tài)監(jiān)控界面、報警信息界面、參數(shù)信息界面、手動控制界面及幫助界面等。但由于實驗條件有限軟件設(shè)計還有不足之處，對于程序的優(yōu)化水平還有待提　　　　　　　　　　　　　　　天津工程師范學(xué)院 2022 屆畢業(yè)設(shè)計(論文)39高，請各位老師予以點撥和指教。這種方法的目的就是要調(diào)查有多少種檢測SPIN/Promela 環(huán)境的標(biāo)準(zhǔn)模型可以使用。這項技術(shù)的研究足夠可以證明在合理的時間和空間的要求下驗證控制器的設(shè)計和推導(dǎo)優(yōu)化程序。舉一個重要的例子,混合（嵌入）系統(tǒng)都是過程控制程序，它們都包括處理設(shè)備的數(shù)字控制，比如化學(xué)設(shè)備。其中一篇論文談到了對于實驗用的化學(xué)設(shè)備的可編程邏輯控制器程序的設(shè)計和驗證。盡管實時型檢測器的符號運算器有可能很貴但測試開發(fā)非實時型檢測器的效率是很有意思的，就像在有可能存在的工作區(qū)內(nèi)進行SPIN一樣。這篇論文其余的部分如下所示：第二章對混合設(shè)備進行了描述，對于可編程邏輯控制器的特性和控制程序的描述在[12]中有詳細(xì)地說明。這項研究最初的目標(biāo)是編寫一個控制程序以使具備此控制程序的設(shè)備和可編程邏輯控制器一起按照計劃運轉(zhuǎn)。這個設(shè)備是用來混合濃鹽溶液（在B1容器中）和水（在B2容器中）來對溶液進行稀釋。B5容器中殘留的熱的濃鹽溶液被送到容器B7中，冷卻后抽回到容器B1中。后者在一方面可以分解成設(shè)備的實時狀態(tài)，比如容器填充，蒸發(fā)，混合，加熱和冷卻次數(shù)，程序執(zhí)行和反應(yīng)次數(shù)（可編程邏輯控制器掃描周期時間），另外混合設(shè)備的控制是一個很好的嵌入系統(tǒng)的例子：控制，數(shù)字設(shè)備是一個很大的具有特殊功能的實體系統(tǒng)的一部分。在（時控）設(shè)備模式中用這些持續(xù)時間作為基礎(chǔ)，盡管真實的持續(xù)時間有可能和它們不太一樣。最重要的不同之處是可編程邏輯控制器中的程序是永久循環(huán)運行的這就是所謂的掃描周期。對于輸入點可編程邏輯控制器從傳感器上獲得數(shù)據(jù)，對于輸出點可編程邏輯控制器給執(zhí)行裝置發(fā)送數(shù)據(jù)。許多不同的設(shè)計語言收集在[8]中。　　　　　　　　　　　　　　　天津工程師范學(xué)院 2022 屆畢業(yè)設(shè)計(論文)45圖 1　混合設(shè)備的 P/I 圖表這種掃描周期機制使可編程邏輯控制器與順序程序（緊密的循環(huán)控制）的控制相匹配。在這個范圍內(nèi)的定時操作與一些應(yīng)用程序有關(guān)，　　　　　　　　　　　　　　　天津工程師范學(xué)院 2022 屆畢業(yè)設(shè)計(論文)46比如機床控制。在與可編程邏輯控制器的對比下這種設(shè)備很慢以至于不能與具備了真正形成理想的連續(xù)控制掃描周期的可編程邏輯控制器相提并論。在這個設(shè)備中我們加入了許多傳輸步驟，比如把 的鹽溶液從 B1 容器輸送到 B3容器中。一個正在運行的程序（狀態(tài)）直到它的停止條件滿足才停下來。圖 2　順序功能圖的控制程序控制程序在“開始”的狀態(tài)下啟動（因為轉(zhuǎn)換條件為真）并且立即分配 12 個相　　　　　　　　　　　　　　　天津工程師范學(xué)院 2022 屆畢業(yè)設(shè)計(論文)47同的等待狀態(tài)。指令序列里的指令都是匯編語句。i。i。這些要求引出了一個在輸送過程的茅盾結(jié)構(gòu)。i。i。圖 4　容器的填充條件　　　　　　　　　　　　　　　天津工程師范學(xué)院 2022 屆畢業(yè)設(shè)計(論文)49圖 5　如果茅盾的發(fā)生步驟程序可能不能啟動圖 6　兩個茅盾的步驟只能有一個擁有優(yōu)先權(quán)3 Spin的驗證和優(yōu)化這部分描述了在圖 2 中的可編程邏輯控制器的驗證和它的隨后的優(yōu)化的方法。有關(guān)驗證程序的細(xì)節(jié)在第 3 章第一節(jié)中進行說明；技術(shù)上的總結(jié)在第 4 章中說明。我們用模式檢測器 SPIN 檢測所有能夠使混合工作不斷進行的組合模式的執(zhí)行順序。這種同步機制使條件 216。這些優(yōu)先權(quán)是固定的，并且它們的優(yōu)先權(quán)是自由循環(huán)的。這個條件分成兩個部分：首先，如果茅盾的步驟已經(jīng)發(fā)生那么控制信號就不能再去其他的步驟。也就是，當(dāng)把溶液從B4容器輸送到B5容器中時就不應(yīng)該發(fā)生從B3容器向B4 容器輸送原料的動作。程序開始的條件如下所示：1． 容器的填充程序必須考慮到一個輸送步驟：上面的容器必須包含足夠的原料，下面的容器必須有足夠的空間等等。動作的限制標(biāo)志 P1（在每一個程序的頂部）表示當(dāng)控制信號來到時這些指令有權(quán)僅在第一個掃描周期內(nèi)運行；P0 表示當(dāng)控制在此位置時這些指令僅在最后一個掃描周期內(nèi)運行。如果控制器變成 Pi 狀態(tài)，那么只要控制器保持 Pi 狀態(tài)，帶有 Pi 狀態(tài)的程序就在每一個掃描周期內(nèi)運行。用這種方法研究出了一種所謂的閉環(huán)控制：改變狀態(tài)的標(biāo)準(zhǔn)不再是時間觸發(fā)，而是由事件驅(qū)動。在每一個過程中的動作都很簡單比如打開閥門，打開攪拌器，抽水器或加熱器，并且當(dāng)這個步驟結(jié)束的時候，又關(guān)閉、斷開了所有東西?！】刂瞥绦蜻@一部分的要旨在于當(dāng)我們在一種非正式的途徑運用這種設(shè)備的時候關(guān)于這種設(shè)備和控制程序的觀點。當(dāng)整個系統(tǒng)建模的時候與這個參數(shù)就有關(guān)了。在這項研究中掃描周期時間與反應(yīng)時間相比是一個非常小數(shù)量級。在這種直感的順序功能圖中提供了一種meta結(jié)構(gòu)并且應(yīng)用程序中的實際指令都被編寫到指令序列當(dāng)中，就是一種匯編語言。操作系統(tǒng)本身很小并且很穩(wěn)定，它的必備條件是可靠的實時控制。一個掃描周期的長度是以毫秒來計算的，它取決于程序的長度。它們的應(yīng)用領(lǐng)域非常大。用這些混合容器B1，B2，B4，B6和B7都可以容納兩個原料單位，B3和B5只能容納一個原料單位。不連續(xù)的成分是控制程序以及閥，攪拌器，加熱器，冷卻器（開/關(guān)，起動/停止）的（抽象的）狀態(tài)。在B5容器中進行蒸發(fā)。　混合設(shè)備的描述　　　　　　　　　　　　　　　天津工程師范學(xué)院 2022 屆畢業(yè)設(shè)計(論文)43這項研究的混合設(shè)備（見圖1）是一個實驗用的化學(xué)設(shè)備，最初是為學(xué)生實驗而設(shè)計。第四章對上述內(nèi)容做出總結(jié)。對于進程在Promela中運行一種所謂的預(yù)置時間程序。它是對進程控制器的正確設(shè)計的一個指南。不幸的是，可編程邏輯控制器和它們有關(guān)的設(shè)計語言沒有定義成正規(guī)的形式，語義學(xué)使可靠的控制器的設(shè)計和它們的分析變得復(fù)雜。不連續(xù)和連續(xù)的現(xiàn)象的出現(xiàn)給我們的規(guī)范和建模技術(shù)以及我們分析的能力提出了一個鼓舞性的挑戰(zhàn)。在此項目中對可編程邏輯控制器的相關(guān)實時參數(shù)進行處理并且這些可編程邏輯控制器都運用時域采樣技術(shù)。 Instruments》,2022,7,578580[20]YangFeng、WuQizhou. The Application of PLC to the Unidirectional Direct Current SpeedRegulation System,《China Plastics Industry》,2022,6,59695971　　　　　　　　　　　　　　　天津工程師范學(xué)院 2022 屆畢業(yè)設(shè)計(論文)41附錄 1：英文翻譯PLC控制程序的驗證和優(yōu)化　　　　　Ed Brinksma 和 Angelika Mader　 　　　計算機科學(xué)系,Twente大學(xué)　　　　　　計算機科學(xué)系,Nijmegen大學(xué)摘要：本文報導(dǎo)了有關(guān)對于進程控制程序驗證和最優(yōu)控制程序推導(dǎo)的SPIN模式檢測器。本系統(tǒng)由于采用目前國內(nèi)市場占有量較高，技術(shù)成熟的日本 Pro—face 公司的人機界面及三菱公司 FX2N 系列可編程控制器，既使生產(chǎn)過程中 PLC 控制系統(tǒng)硬件發(fā)生故障，也可以立即查明原因更換相應(yīng)器件，最大限度的縮小在線維修時間,另外在這種配置中，當(dāng)觸摸屏因在運行中出現(xiàn)意外故障，無法顯示和監(jiān)控時，PLC 能單獨完成一系列的工作，互不受影響，這樣是防止當(dāng)人機界面出現(xiàn)問題時，帶來系統(tǒng)控制失靈。延時程序用來保障攪拌工作的每一步都有足夠的時間順利的進行。其中攪拌控制程序主要針對混凝土攪拌站的主體工作進行控制包括物料的投放，物料的稱量，混合攪拌及成品的排放。在傳送模擬協(xié)議要選中傳送設(shè)定窗口中的使用擴展程序中的“模擬”選項（如圖 412） 。 （可配合 Ctrl 鍵和 Shift 鍵選擇）在畫面?zhèn)魉偷?GP 單元之前，要利用傳送菜單中的“準(zhǔn)備”功能進行編譯（如圖411） 。2．自動發(fā)送改變畫面：在當(dāng)前工程文件中，僅傳送那些更新過的畫面?！　　　　　　　　　　　? (7) 手動控制界面在該界面（如圖 410）中用戶通過點擊相應(yīng)的按鈕來實現(xiàn)系統(tǒng)的手動單步控制各料斗倉門和螺旋輸送機的開關(guān)，攪拌機的啟動和停止等，并且在界面中有用來顯示部件開關(guān)狀態(tài)的標(biāo)志燈，綠色為開啟，紅色為停止。(6) 參數(shù)信息界面在此界面（如圖 49）中，用戶需要觀察的量為粉料重量、骨料重量、添加劑重量、水重量，先前設(shè)定的各步驟運行預(yù)設(shè)的時間以及當(dāng)前的加工罐數(shù)。　　　　　　　　　　　　　　　　　　　　　(4) 狀態(tài)監(jiān)控界面此界面（如圖 47）是用來對混凝土攪拌系統(tǒng)的運行狀況進行監(jiān)視，在界面的系統(tǒng)工作圖每一個步驟的旁邊都有一個監(jiān)控?zé)?，?dāng)監(jiān)控?zé)魹榫G色時代表此步驟為活動步，紅色時代表此步驟為非活動步。窗口左下角為系統(tǒng)日期和時間。如圖 320—324。最后當(dāng)操作正常的情況下，BFM ＃5，＃6，＃7，＃8 被讀入 FX2N 主單元，并保存在 D0－D3 中。比較該值以檢查模塊是否是 FX2N－4AD ，如果是則 M101 變?yōu)?ON。在各料斗倉門和螺旋輸送機都處于關(guān)閉的狀態(tài)的情況下按下稱斗排料按鈕 M0043 開始排料，按下稱斗排料停止按鈕 M0044 停止排料。M0039 為添加劑斗投料啟動按鈕，驅(qū)動輸出繼電器 Y2 打開添加劑斗倉門和螺旋輸送機同時把稱重傳感器稱得的結(jié)果傳送到指定的存儲單元中。圖 312 報警觸發(fā)PLC 程序代碼：　　　　　　　　　　　　　　　天津工程師范學(xué)院 2022 屆畢業(yè)設(shè)計(論文)24圖 313 報警主體程序PLC 程序代碼：(3) 手動工作梯形圖及程序M0035 為粉料斗投料啟動按鈕，驅(qū)動輸出繼電器 Y0 打開粉料斗倉門和螺旋輸送機同時把稱重傳感器稱得的結(jié)果傳送到指定的存儲單元中。計時結(jié)束后 T10 的常閉斷開使 T9 復(fù)位，T9 斷開使報警燈關(guān)閉。當(dāng)攪拌罐排料定時器 C2 和報警定時器 C8 計時結(jié)束，而驅(qū)動攪拌罐倉門和螺旋輸送機的輸出繼電器 Y6 仍處于復(fù)位　　　　　　　　　　　　　　　天津工程師范學(xué)院 2022 屆畢業(yè)設(shè)計(論文)23狀態(tài)，說明成品步驟出現(xiàn)問題，并發(fā)出報警信號，即使 M0031 置 1。如果 C C13 計時結(jié)束，且 M0020 或 M0022 被置 1 而 M0021 仍處于復(fù)位狀態(tài)則說明添加劑斗投料步驟出現(xiàn)問題，發(fā)出報警信號，即使 M0028 置 1。如圖 310。同時攪拌定時器 C1 和報警定時器 C15 開始工作。如圖 37。如圖 36。如圖 35。如圖 34。如圖 333。開始按鈕和停止按鈕互相制約。(2) 稱重傳感器的工作原理：懸臂梁式稱重傳感器是利用電阻應(yīng)變原理構(gòu)成的一種高精度載荷傳感器部件。在 PLC 上，不需要為畫面顯示、操作編寫專門地程序。如有外力使得上下兩層在某一點接觸，則在電極未加電壓的另一層可以測得接觸點處的電壓，從而知道接觸點處的坐標(biāo)。隔離層為粘性絕緣液體材料，如聚脂薄膜。20 Ω 輸出電阻 700177。C 24 小時運行)分辨率：320 x 240 　外接接口：CF 卡接口、Tool 接口、串行接口 (COM1/RS422)額定電壓：DC24V　環(huán)境溫度：0176。(配 FX2N4AD 模擬量輸入模塊規(guī)格如表 21)表 21 輸入模塊規(guī)格項目 輸入電壓 輸入電流模擬量輸入范圍DC 0 至 10V,DC 0 至 5V,(輸入電阻 200 千歐)絕對最大量程 :DC 和+15V 4 至 20mA,(輸入電阻 250歐)絕對最大量程: 2mA 和+60mA數(shù)字輸出12 位 分辨率 (10V/4000) 4μA{(204)/4000} 總體精度177。輔助繼電器（M 線圈）點數(shù)