ĐIỀU KHIỂN LOGIC VÀ KỸ THUẬT LẬP TRÌNH PLC

10/02/20 ĐIỀU KHIỂN LOGIC VÀ PLC TDH-VD-BK 1 Nội dung Cơ sở cho Điều khiển logic Tổng hợp tối thiểu hóa mạch logic tổ hợp Tổng hợp mạch logic Tổng quan PLC Kỹ thuật lập trình PLC TDH-VD-BK 2 TDH-VD-BK 10/02/20 Nội dung Cơ sở cho Điều khiển logic Tổng hợp tối thiểu hóa mạch logic tổ hợp Tổng hợp mạch logic Tổng quan PLC Kỹ thuật lập trình PLC TDH-VD-BK 3 Cơ sở cho điều khiển logic 1.1 Khái niệm điều khiển logic 1.2 Đại số logic 1.3 Biểu diễn hàm logic TDH-VD-BK 4 TDH-VD-BK 10/02/20 Cơ sở cho điều khiển logic 1.1 Khái niệm điều khiển logic 1.2 Đại số logic 1.3 Biểu diễn hàm logic TDH-VD-BK 5 1.1 Khái niệm Điều khiển logic TDH-VD-BK 6 TDH-VD-BK 10/02/20 1.1 Khái niệm Điều khiển logic TDH-VD-BK 7 1.1 Khái niệm Điều khiển logic • Điều khiển logic giải vấn đề – Hệ thống có chế độ làm việc khác nhau, tuân theo lệnh điều khiển từ bên – Chuyển từ chế độ sang chế độ khác theo trình tự, điều kiện xác định – Đảm bảo trình tự thời gian tương tác phận – Phản ứng tức thời trước số kiện TDH-VD-BK 8 TDH-VD-BK 10/02/20 1.1 Khái niệm Điều khiển logic • Các lĩnh vực nghiên cứu điều khiển logic – Khoa học máy tính (Computer Science) – Lập trình (Programming) – Mơ (Simulation) – Truyền thơng (Communication) – Các hệ thống điều khiển công nghiệp (Industrial Control) TDH-VD-BK 9 1.1 Khái niệm Điều khiển logic • Mơ hình hóa hệ thống điều khiển logic – Đại số logic (Boolean Algebra) – Automat hữu hạn (Finite State Machine) – Statechart – GRAFCET – Petri net TDH-VD-BK 10 10 TDH-VD-BK 10/02/20 Cơ sở cho điều khiển logic 1.1 Khái niệm điều khiển logic 1.2 Đại số logic 1.3 Biểu diễn hàm logic TDH-VD-BK 11 11 1.2 Đại số logic • Các vật tượng thường biểu hai mặt đối lập: – – • • Trong sống: đúng/sai, có/khơng, tốt/xấu, sạch/bẩn, đỗ/trượt, Trong kỹ thuật: đóng/cắt, bật/tắt, chạy/dừng Để biểu diễn (lượng hóa) trạng thái đối lập: Đại số logic (Đại số Boolean) để nghiên cứu vật, tượng có trạng thái đối lập TDH-VD-BK 12 12 TDH-VD-BK 10/02/20 1.2 Đại số logic • Biến logic: x [0, 1] • Hàm logic : f(x1, x2, …, xn) [0, 1] với x1, x2, …, xn [0, 1] – Ví dụ: Hàm biến f(x): f ( x)  x f ( x)  x f ( x)  x  x f ( x)  x.x Hàm biến f(x1,x2): f ( x1 , x2 )  x1  x2 f ( x1 , x2 )  x1 x2  x1 x2 TDH-VD-BK 13 13 1.2 Đại số logic • Các phép tốn logic – Phép nghịch đảo: NOT • Bảng giá trị: x f ( x)  x 0 • Ký hiệu x x x TDH-VD-BK x 14 14 TDH-VD-BK 10/02/20 1.2 Đại số logic • Các phép toán logic – Phép cộng: OR • Bảng giá trị: x y f(x,y) = x + y 0 0 1 1 1 • Ký hiệu x x x y y 1 y x y TDH-VD-BK 15 15 1.2 Đại số logic • Các phép tốn logic – Phép nhân: AND • Bảng giá trị: x y f(x,y) = xy 0 0 1 0 1 • Ký hiệu x y x xy y TDH-VD-BK & xy 16 16 TDH-VD-BK 10/02/20 1.2 Đại số logic • Các tính chất phép toán logic x+y = y+x xy=yx – Kết hợp: x+y+z =(x+y)+z=x+(y+z) xyz =(xy)z=x(yz) – Phân phối: x(y+z)=xy+xz x+yz =(x+y)(x+z) – Luật De Morgan: – Giao hoán : x1  x2   xn  x1.x2 .xn x1.x1 xn  x1  x2   xn TDH-VD-BK 17 17 1.2 Đại số logic • Một số hệ thức thường gặp x+0 = x x.1 = x x.0 = x+1 = x+x = x x.x = x x  x 1 x.x  x+xy = x x.(x+y) = x xy  xy  x ( x  y )( x  y )  x TDH-VD-BK Chú ý: Tính đối ngẫu (duality) hệ thức logic 18 18 TDH-VD-BK 10/02/20 Cơ sở cho điều khiển logic 1.1 Khái niệm điều khiển logic 1.2 Đại số logic 1.3 Biểu diễn hàm logic TDH-VD-BK 19 19 1.3 Biểu diễn hàm logic • Bảng chân lý x1 x2 x3 f(x1,x2,x3) 0 0 0 “x” 1 “x” 0 1 1 “x” 1 1 Dấu “x” giá trị hàm khơng xác định, nhận giá trị TDH-VD-BK 20 20 TDH-VD-BK 10