Bước 1: Phân tích tín hiệu vào/ra.
Xác định tín hiệu vào.
Xác định tín hiệu ra.
Bước 2: Xác định chu kỳ hoạt động của từng phần tử chấp hành và chu kỳ hoạt động của cả hệ.
Mỗi phần tử châp hành đều có chu kỳ hoạt động riêng bao gồm hai giai đoạn: giai đoạn đóng (giai đoạn làm việc - ON) và giai đoạn cắt (giai đoạn nghỉ - OFF).
Ví dụ trong hàm tác động:
F = A (+X, +Y) + B – Y + C + Z – X – Z + A (+ X, + Y)…
Phần tử chấp hành X có một chu kỳ hoạt động gồm giai đoạn đóng từ thời điểm 2 đến thời điểm 7, giai đoạn cắt từ thời điểm 8 đến thời điểm 1 của chu kỳ sau. Chu kỳ của hệ thống từ 1 đến 9.
Ngoài phần tử X thì phần tử Y và Z cũng là các phần tử chấp hành đầu ra, đều phải xác định chu kỳ làm việc cho chúng.
Bước 3: Xác định hàm logic cho từng phần tử chấp hành.
Hàm điều khiển của phần tử X là f(X) bao gồm hàm đóng fđ(X) và hàm cắt fc(X) theo công thức sau :
F(x)=fđ(x). fc(X)
Cách xác định Fđ(X) và Fc(X) như sau: Trong phương pháp này, hàm đóng hay hàm cắt của một phần tử nào đó chính là tín hiệu mà nó nhận được từ phần tử đứng ngay trước nó trong dãy F để khởi động hoặc kết thúc sự làm việc của phần tử đó. Sẽ có thể xảy ra các trường hợp sau:
Nếu trong hàm F có một đoạn sau:
F=…+ Y+ X… Thì: fc(X) =Y Nếu có đoạn: F=…- Y + X… Thì : Fd(X)=Y Tương tự cho hàm cắt : Nếu có: F=… + Y – X… Thì : Fc(X)= Y Nếu có: F=…- Y – X… Thì: Fc (X)=Y
Nếu mỗi phần tử chấp hành nào đó có nhiều chu kỳ hoạt động thì hàm tác động tổng được xác định như sau: (trong đó n là số chu kỳ hoạt động)
F(X)= f1(X) + f2(X) +…+ fi(X) + …+ fn(X)
Bước 4: Kiểm tra tính đúng đắn của hàm điều khiển vừa xác định được, bao gồm kiểm tra trong giai đoạn đóng và kiểm tra trong giai đoạn cắt. Kiểm tra hàm đóng sẽ xảy ra hai trường hợp:
Nếu fc(X) không đổi trị trong giai đoạn đóng, tức là trong giai đoạn đóng hàm fci(X) phải luôn bằng 0, lúc đó fc(X) thỏa mãn.
Nếu fc(X) đổi trị trong giai đoạn đóng, tức có xuất hiện giá trị 1 chứ không phải luôn bằng 0 sẽ làm cho fd(X)=fc(X) =0 sẽ làm ngừng hoạt động của X ngay trong giai đoạn đóng. Lúc này phải dung thêm biến trung gian để hiệu chỉnh hảm cắt:
Fc’(X)=fc(X).p2 Và hàm điều khiển của phần tử X sẽ là :
f(X)=fd(X).fc(X). p2
Nếu cả hàm đóng và hàm cắt có hiệu chỉnh thì ta có:
f(X)=[fd(X)+p1].fc(X). p2
Khi đã đưa các biến phụ p1 và p2 vào hiệu chỉnh thì sau đó phải xác định được hàm logic của p1 và p2. Để làm được việc này cần phải vạch rõ ra rằng các biến phụ này cần phải xuất hiện ở đâu và phải kết thúc ở đâu trong dãy hoạt động của hàm F. Trong bước này để có được kết quả đơn giản luôn luôn phải xét đến khả năng tự duy trì và khả năng kết hợp hai biến trung gian p1 và p2 làm một biến trung gian p nếu p thỏa mãn được miền thời gian của p1 và p2.
Kiểm tra tính đúng đắn của các hàm thu được trong mỗi chu kỳ hoạt động. Nếu thấy hàm nào có giá trị bằng 1 khi chưa đưa tín hiệu vào (tự khởi động) và trái với công nghệ thì khi đó phải đưa thêm biến phụ. Việc kiểm tra phải tiến hành cho mọi hàm logic của các phần tử đầu ra, cũng như của biến trung gian.
Bước 5: Vẽ sơ đồ hệ thống điều khiển và thuyết minh sơ đồ. Bước 6: Phân tích mạch điều khiển và hiệu chỉnh nếu có.
3.2.THIẾT KẾ HỆ THỐNG THEO PHƯƠNG PHÁP HÀM TÁC ĐỘNG
Hình 3.1: Sơ đồ công nghệ.
Chu kì hoạt động.
(A – X) + L + (B – L) + P + (C – P ) + X + (D – X ) + L + (E – L ) +X + (C – X) + T + ( B – T) + L + (F – L) + X + (A – X )+ L (adsbygoogle = window.adsbygoogle || []).push({});
Xác định hàm điều khiển của các phần tử.
Phần tử L1 : f(L1) = (A + L).X . B Phần tử P : f(P) = ( B + P). L .C Phần tử X1 : f(X1) = ( C + X) . P Phần tử L2 : f (L2) = ( D + L). X . E Phần tử X2 : f(X2) = (E + X) . L . C Phần tử T : f(T) = (C + T) . X. B Phần tử L3: f(L3) = (B + L) .T . F
Phần tử X3:
f(X3) = (F + X ). L . A
Ta nhận thấy rằng với yêu cầu của bài toán thiết kế trên ta cần phải phân biệt 2 công tắc hành trình đó là công tắc hành trình B và công tắc hành trình C. Công tắc hành trình B thực hiện 2 hành trình, hành trình đi lên và hành trình sang phải. Công tắc hành trình C đi xuống và hành trình đi sang trái. Vì vậy ta cần phải tạo 2 biến trung gian để 2 công tắc hành trình này phân biệt được các hành trình không bị nhầm lẫn
Đặt biến trung gian cho CTHT B Gọi biến trung gian cho CTHT B là Y
Giả sử gặp B lần thứ nhất thì Y chưa xuất hiện. Gặp B lần thứ hai thì Y xuất hiện
Từ đó ta có thể suy ra rằng trước khi gặp B lần thứ 2 thì Y đã xuất hiện lần đầu tiên và gặp C. Sau khi gặp B lần thứ 2 thì Y sẽ biến mất khi gặp F
Ta có : fđ(Y) = C + y fc(Y) = F f(Y) = ( C + y) . F C = 0 ; F = 0 ; Y = 0 (P) C = 1 ; F = 0 ; Y = 1 (X1) C = 0 ; F = 0 ; Y = 1 (L2) C = 0 ; F = 0 ; Y = 1 ( X2) C = 1 ; F = 0 ; Y = 1 ( T ) C = 0 ; F = 0 ; Y = 1 (L3) C = 0 ; F= 1 ; Y = 0 ( X3) Đặt biến trung gian cho CTHT C Đặt biến trung gian cho CTHT C là Z
Giả sử gặp C lần thứ nhất Z chưa xuất hiện , gặp C lần thứ hai Z xuất hiện Từ đó ta suy ra rằng trước khi gặp C lần thứ 2 thì C đã xuất hiện khi gặp E và biến mất khi gặp B Ta có: fđ (Z) = (E + z) . B fc (Z) = B f(Z) = ( E + Z). B E = 0 ; B = 0 ; Z = 0 (L2) E = 1 ; B = 0 ; Z = 1 ( X2) E = 0 ; B = 0 ; Z = 1 (T) E = 0 ; B = 1 ; Z = 0 (L3 )
TỔNG HỢP SAU KHI ĐÃ QUA HIỆU CHỈNH LÀ :
F(L) = (A + L).X . B + (D + L). X. E. Z .Y + (B + L). T.C.Z.X.Y F(P) = (B + P ).L.C.Y.X F(X) = (C + L ).Y.P.D.Z.L + (E + L ).Y.Z.L . C + (F + L).L. A .Y F(T) = (C + Y ).Y. Z.X. B.L F(Y) = ( C + Y ). F F(Z) = ( E + Z ) . B
CHƯƠNG IV GIỚI THIỆU PHẦN MỀM TIA PORTAL VÀ LẬP TRÌNH BÀI TOÁN