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