- 上一篇：计算机辅助工程设计重型卡车车架英文文献和中文翻译
- 下一篇：极简主义在艺术和设计英文文献和中文翻译
Digital or discrete signals behave as binary switches, yielding simply an On or Off signal (1 or 0, True or False, respectively). Push buttons, limit switches, and photoelectric sensors are examples of devices providing a discrete signal. Discrete signals are sent using either voltage or current, where a specific range is designated as On and another as Off. For example, a PLC might use 24 V DC I/O, with values above 22 V DC representing On, values below 2VDC representing Off, and intermediate values undefined. Initially, PLCs had only discrete I/O.
Analog signals are like volume controls, with a range of values between zero and full-scale. These are typically interpreted as integer values (counts) by the PLC, with various ranges of accuracy depending on the device and the number of bits available to store the data. As PLCs typically use 16-bit signed binary processors, the integer values are limited between -32,768 and +32,767. Pressure, temperature, flow, and weight are often represented by analog signals. Analog signals can use voltage or current with a magnitude proportional to the value of the process signal. For example, an analog 0 - 10 V input or 4-20 mA would be converted into an integer value of 0 - 32767.
REFERENCES
Pavlovic, R. Pinger and M. Kollmann, “Automated For-mal Verification of PLC Programs Written in IL,” Con-ference on Automated Deduction (CADE), Bremen, July 2007, pp. 152-163.
M. B. Younis and G. Frey, “Formalization of Existing PLC Programs: A Survey,” Proceedings of CESA 2003, Lille, 2003.
N. Bauer, S. Engell, S. Lohmann, M. Remelhe and O. Stursberg, “Verification of PLC Program Given as Se-quential Function Charts,” Lecture Notes in Computer Science, Vol. 3147, 2004, pp. 517-540.
S. R. Koo, P. H. Seong and S. D. Chaa, “Software Design Specification and Analysis Technique for the Safety Critical Software based on Programmable Logic Control-ler (PLC),” Proceedings of the Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE’04), Florida, March 2004, pp. 283-284.
A. Mader and H. Wupper, “Timed Automaton Models for Simple Programmable Logic Controllers,” Proceedings of the 11th Euromicro Conference on Real-Time Systems 1999, York, June 1999, pp.106-113.
E. Brinksma1, A. Mader and A. Fehnker, “Verification and Optimization of a PLC Control Schedule,” Interna-tional Journal on Software Tools for Technology Transfer (STTT), Vol. 4, No. 1, October 2002, pp. 21-33.
S. Lamp′eri`ere and J. J. Lesage, “Formal Verification of the Sequential Part of PLC Programs,” 5th Workshop on Discrete Event Systems (WODES 2000), Ghent, August 2000, pp. 247-254.
S. Kowalewski, S. Engell, J. Preußg and O. Stursberg, “Verification of Logic Controllers for Continuous Plants Using Timed Condition/Event-System Models,” Auto-matica: Special Issue on Hybrid Systems, Vol. 35, No. 3, March 1999, pp. 505-518.
可编程逻辑控制器
可编程逻辑控制器（PLC）或可编程序控制器是用于机电过程自动化的数字计算机，例如控制机械厂生产线、游乐设施或照明装置。可编程控制器在许多工业和机器中使用。与通用的计算机不同的是，PLC是专为多个输入和输出管理，扩展温度范围、不受电磁噪音影响、抗震动和冲击所设计。控制器的操作程序通常存储在电池供电或非易失性的内存中。PLC是实时的系统，因为系统产生的输出结果必须在有限的时间内回馈到输入，否则会导致错误操作。
1.历史
PLC发明是针对于美国汽车制造行业的需要。可编程逻辑控制器最初通过了在软件版本更换硬连线的控制板生产模式更改时的汽车工业。
在PLC之前，控制、程序化和安全联锁逻辑制造汽车是使用上百或上千的继电器、凸轮计时器、鼓定序仪和专用的闭环控制器来完成的。在每年更新模型等设施转变过程是非常耗时并且成本高昂的，这是因为电工需要单独地再接电线给每个中转。
-
PLC工业机器人英文文献和中文翻译
-
PLC相关问题英文文献和中文翻译
-
电气系统的可编程序控制...
-
模糊逻辑的机械手智能力...
-
S7-200PLC组态英文文献和中文翻译
-
PLC6层立体车库设计英文文献和中文翻译
-
PLC可编程控制器技术英文文献和中文翻译
河岸冲刷和泥沙淤积的监测国内外研究现状
十二层带中心支撑钢结构...
中考体育项目与体育教学合理结合的研究
当代大学生慈善意识研究+文献综述
乳业同业并购式全产业链...
杂拟谷盗体内共生菌沃尔...
java+mysql车辆管理系统的设计+源代码
酸性水汽提装置总汽提塔设计+CAD图纸
大众媒体对公共政策制定的影响
电站锅炉暖风器设计任务书