PS5360 trong quản lý dao quá khổ FANUC: vì sao ổ dao bên cạnh trống mà vẫn không cho sửa?
Theo đặc tả bổ sung về dao quá khổ của 30i-A, phân biệt định nghĩa hình dạng, liên kết của dao và đăng ký trong ổ tích dao. Phản ví dụ với ổ dao trống cho thấy PS5360 không phải lúc nào cũng có nghĩa đã xảy ra va chạm vật lý.
Mục lục
Khi PS5360 xuất hiện trong lúc sửa dữ liệu dao quá khổ, không thể kết luận ngay nguyên nhân là “các ổ dao bên cạnh quá gần”. Báo động này còn có thể có nghĩa: một định nghĩa hình dạng đang được dao đã đăng ký trong ổ tích dao tham chiếu không được phép sửa trong trạng thái liên kết hiện tại.
Trước hết xác định đang sửa lớp dữ liệu nào
Dựa trên đặc tả bổ sung FANUC 30i-MODEL A A-79346E, bản ngày 6 tháng 1 năm 2004, trang 18/22 (bản sao công khai của sổ tay nhà sản xuất), bài viết chỉ xét quy tắc nhập dữ liệu sau khi đã cấu hình hỗ trợ dao quá khổ. Tách quan hệ thành ba lớp sẽ giúp xác định thao tác bị từ chối ở đâu:
| Lớp dữ liệu | Nội dung biểu thị | Đối tượng không được nhầm lẫn |
|---|---|---|
| Định nghĩa hình dạng dao | Dữ liệu hình học ứng với một số hiệu hình dạng | Số hiệu hình dạng không phải số hiệu dao vật lý |
| Quản lý dao | Một dao sử dụng số hiệu hình dạng nào | Đổi liên kết khác với sửa bản thân hình dạng |
| Đăng ký trong ổ tích dao | Dao được đăng ký tại vị trí nào trong ổ tích dao | Vị trí đã chiếm trong dữ liệu và ổ trống nhìn bằng mắt không phải cùng loại bằng chứng |
Ba điều kiện từ chối trong phiên bản này
Cùng trang tài liệu liệt kê ba trường hợp: dao đã đăng ký gây giao thoa với dao khác khi đăng ký hoặc sửa dữ liệu hình dạng trong dữ liệu quản lý dao; đăng ký hoặc sửa bảng quản lý ổ tích dao gây giao thoa; hoặc khi sửa một dữ liệu hình dạng, dao tham chiếu số hiệu hình dạng đó vẫn đang được đăng ký trong ổ tích dao. Cả ba đều phát PS5360 và từ chối nhập dữ liệu đó. Riêng điều kiện thứ ba không yêu cầu trước hết phải chứng minh giao thoa với dao bên cạnh.
Vì sao ổ dao trống chưa đủ để loại trừ báo động
Ví dụ quan hệ tự xây dựng: hình dạng 7 được dao 31 tham chiếu; dao 31 được đăng ký ở vị trí 6 của ổ tích dao A, còn vị trí 5 và 7 đều trống. Đối tượng đang sửa là “định nghĩa hình dạng 7”, không phải số hiệu liên kết của dao 31. Dù các vị trí bên cạnh trống, hình dạng 7 vẫn được một dao đã đăng ký tham chiếu, nên điều kiện từ chối thứ ba vẫn thỏa.
Nếu chuyển sang sửa số hiệu hình dạng mà dao 31 liên kết, thao tác thuộc loại kiểm tra dữ liệu khác; nếu sửa bản ghi vị trí trong ổ tích dao, lại là loại khác nữa. Ba thao tác có thể nằm trên các màn hình gần giống nhau nhưng thay đổi các đối tượng khác nhau. Chỉ ghi “báo động khi sửa dao” sẽ làm mất thông tin chẩn đoán quan trọng nhất.
Phân biệt từ chối nhập dữ liệu với vấn đề quan hệ hình học
Trước hết nối thông tin về trường vừa sửa, số hiệu hình dạng trước khi sửa, dao đang tham chiếu và vị trí đăng ký của dao, rồi đối chiếu ba điều kiện trên. Nếu là loại thứ ba, trọng tâm là quan hệ tham chiếu còn tồn tại hay không; nếu là hai loại đầu, phải kiểm tra hình học dao và các vị trí lân cận đã đăng ký trong hệ thống, không chỉ dựa vào ảnh ổ trống.
Sau báo động, nên đọc lại bản ghi mục tiêu để xác nhận dữ liệu yêu cầu có thực sự được chấp nhận hay không. Không được coi “đã gửi xong tệp” là mọi bản ghi đều đã có hiệu lực. Bài viết cũng không suy ra rằng toàn bộ lô nhập có khả năng tự động hoàn tác.
Ví dụ này giải thích ràng buộc nhất quán dữ liệu, không đưa ra cách xóa đăng ký dao để vượt kiểm tra. Trạng thái thực của ổ tích dao và dữ liệu quản lý phải khớp nhau; trình tự chỉnh sửa phải theo quy trình quản lý dao của nhà chế tạo máy. Xem tài liệu chức năng khác tại chuyên mục OPTION.