Điều khiển tòa nhà mở: Số hóa việc phân phối được kiểm soát từ mô hình hóa năng lượng tòa nhà đến mô tả chi tiết, triển khai và xác minh chính thức
Open Building Control: Digitizing the controlled delivery from building energy modeling to specification, implementation, and formal verification
Tác giả: Wetter Michael, Ehrlich Paul, Gautier Antoine, Grahovac Milica, Haves Philip, Hu Jianjun, Prakash Anand, Robin Dave và Zhang Kun
Ngày đăng tải: 29/07/2021
DOI: https://doi.org/10.1016/j.energy.2021.121501
Quy trình hiện tại để xác định, cài đặt và vận hành các trình tự điều khiển tòa nhà phần lớn là thủ công và dựa trên các thông số kỹ thuật ngôn ngữ tự nhiên không rõ ràng. Nó thiếu sự kiểm soát chất lượng chính thức từ đầu đến cuối và nó đã được chứng minh là không mang lại các chuỗi hiệu suất cao trên quy mô lớn. Mặc dù các trình tự điều khiển HVAC hiệu suất cao cho phép giảm đáng kể mức tiêu thụ năng lượng, nhưng các lỗi khi triển khai logic điều khiển vẫn phổ biến ngay cả đối với các trình tự kém tiên tiến hơn. Để cải thiện tình trạng này, bài viết trình bày quy trình phân phối điều khiển tòa nhà được số hóa với xác minh chính thức từ đầu đến cuối. Ngôn ngữ mô tả điều khiển cho thông số kỹ thuật số của trình tự điều khiển tòa nhà trong quy trình làm việc và các công cụ phần mềm cho phép số hóa quy trình này. Sử dụng quy trình và công cụ được giới thiệu, các nhà thiết kế cơ khí có thể tùy chỉnh, thử nghiệm và cải thiện các trình tự này trong việc mô phỏng năng lượng hàng năm, lưu trữ chúng trong thư viện để sử dụng trong các dự án khác và xuất chúng để đấu thầu. Các nhà cung cấp điều khiển có thể triển khai trình tự trên các dòng sản phẩm điều khiển hiện có thông qua tạo mã. Các nhà cung cấp dịch vụ vận hành có thể chính thức xác minh xem các trình tự được cài đặt có phù hợp với thông số kỹ thuật, thiết kế kỹ thuật số do nhà thiết kế cơ khí xuất ra hay không. Ngoài ra, các nhóm phát triển sản phẩm điều khiển có thể sử dụng các triển khai tương quan của các thư viện trong quá trình thử nghiệm sản phẩm của họ để đảm bảo rằng các sản phẩm của họ tái tạo hành vi của các triển khai tham chiếu. Bài viết trình bày quy trình, ngôn ngữ và phần mềm hỗ trợ, cùng với các ví dụ về tất cả các bước trên. Quá trình được trình bày đã tạo ra một tiêu chuẩn mới được đề xuất, ASHRAE 231P, cho phép số hóa quy trình phân phối điều khiển tòa nhà thông qua tiêu chuẩn hóa định dạng độc lập giữa nhà cung cấp điều khiển để trao đổi logic điều khiển.
Link: Science Direct
