Tình trạng hiện tại của kế hoạch an toàn và cần thiết cho một tự động
kiểm tra hệ thống an toàn được đề cập trong phần 2 của bài viết này. Các
xét trong Phần 3 trình bày thông tin về các công nghệ được sử dụng
trong nghiên cứu này, kiểm soát an toàn xây dựng, và tính toán rulebased
ngôn ngữ kiểm tra. Ở phần 4, khuôn khổ và phương pháp luận
cho các hệ thống kiểm tra đề xuất dựa trên nguyên tắc an toàn và nguyên tắc
kiểm tra quy trình được trình bày. Phần 5 trình bày các giải thích quy tắc an toàn
và các thuật toán dựa trên nguyên tắc nền tảng cho việc bảo vệ mùa thu. Một
nghiên cứu được trình bày trong phần 6. Các kết quả chứng minh lợi ích
của sự an toàn-phát triển quy tắc kiểm tra nền tảng trong việc hỗ trợ các nhà thiết kế,
kỹ sư, nhà quản lý an toàn, và công nhân trong hiệu quả của
việc thiết kế các quy trình làm việc an toàn, và giảm sai sót trong cách bố trí trang web
kế hoạch và thực hiện các nhiệm vụ công việc. Một bản tóm tắt những đóng góp
và thảo luận về nghiên cứu trong tương lai là trong phần cuối cùng mà kết luận
bài báo này
đang được dịch, vui lòng đợi..
