I. Khảo sỏt cụng nghệ
2.2. Cỏc nguyờn tắc lập trỡnh cho hệ thống với nhiều chu trỡnh liờn khúa:
Nguyờn tắc cơ bản: Chia bài toỏn thành cỏc chu trỡnh nhỏ, độc lập với nhau, liờn khoỏ bằng cỏc cấu trỳc liờn khoỏ.
Nguyờn tắc lập trỡnh theo bước
Trạng thỏi n Trạng thỏi n+1 Sn Sn+1 ĐK.n-1 Qx Qy ĐK.n ĐK.n+ Sn ĐK.n Sn S0.n Qx (R) ( ) Sm
Network chuyển trạng thỏi
Network điều khiển đầu ra
S0.n+1 (S)
Hỡnh 30: Lập trỡnh theo bước
Tổ chức chương trỡnh:
- Cỏc logic được chia làm 3 loại:
+ Logic làm việc: Bao gồm Logic chuyển trạng thỏi logic điều khiển đầu ra. Logic làm việc đảm bảo cho hệ thống làm việc đỳng tớnh năng thiết kế.
Đểđảm bảo tớnh chớnh xỏc cho chương trỡnh, cần đảm bảo cỏc quy tắc sau: Mỗi trạng thỏi chỉ cú duy nhất 1 network chuyển trạng thỏi; bao gồm: bắt
đầu bằng logic xỏc định trạng thỏi, logic chuyển trạng thỏi. Khi đảm bảo điều kiện chuyển trạng thỏi thỡ đặt trạng thỏi mới và reset trạng thỏi cũ.
Mỗi đầu ra chỉ cú duy nhất 1 network điều khiển đầu ra: Đầu ra sẽ được tớch cực khi và chỉ khi chu trỡnh đang ở một trong số cỏc trạng thỏi tương ứng. Cỏc network khởi động/dừng: khi khởi động hệ thống, cần phải đưa cỏc thiết bị
vào trạng thỏi làm việc. Do vậy, cần cú những logic khởi tạo trạng thỏi ban đầu cho tất cả cỏc thiết bị. Trong cấu trỳc lập trỡnh cũng cần cú những thiết lập ban
đầu cho cỏc biến.
Ngược lại, khi hệ thống chuyển sang trạng thỏi dừng (bất thường, người sử dụng yờu cầu hoặc theo chu trỡnh), cần nhanh chúng chuyển hệ thống về trạng thỏi dừng an toàn.
+ Logic liờn khúa đầu ra: Logic liờn khúa đảm bảo tớnh chắc chắn của hệ thống. Nú giữ cho hệ thống luụn làm việc bỡnh thường, khụng cú những trạng thỏi lạ, những điều khiển sai (do lỗi lập trỡnh hoặc trong quỏ trỡnh gỡ rối).
+ Logic sự cố: Trong quỏ trỡnh hoạt động, khụng trỏnh khỏi những sự cố, logic sự cố nhằm phỏt hiện những hư hỏng xuất phỏt từ bờn trong hoặc ngoài hệ thống và hạn chế tối đa cỏc hỏng húc phỏt sinh. Thụng thường, khi hệ thống đó ở trạng thỏi sự cố, khú cú thể kiểm soỏt được thiết bị nào cũn hoạt động bỡnh thường, do vậy, vỡ lý do an toàn, khi đú, càng nhanh chúng đưa hệ thống về trạng thỏi dừng càng tốt.
Nguyờn tắc liờn khúa:
- Trạng thỏi của chu trỡnh này là điều kiện chuyển trạng thỏi của chu trỡnh khỏc và ngược lại.
(* Liờn khúa giữa cỏc chu trỡnh
Hỡnh 31: Liờn khúa giữa cỏc chu trỡnh và lập trỡnh cho liờn khúa.