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