Tổng quan nghiên cứu

Trong bối cảnh nền công nghiệp hiện đại không ngừng phát triển, việc nâng cao chất lượng và độ tin cậy của các hệ thống điều khiển tự động đã trở thành yêu cầu sống còn đối với các dây chuyền sản xuất. Lịch sử phát triển của lý thuyết điều khiển học cho thấy các nhà khoa học đã dành hơn 20 năm để hoàn thiện các phương pháp thiết kế hệ tuyến tính. Tuy nhiên, thực tế sản xuất phần lớn bao gồm các đối tượng phi tuyến phức tạp, có tham số biến đổi và mô hình toán học bất định, điển hình như hệ thống cấp nước bao hơi trong nhà máy nhiệt điện, cơ cấu tay máy robot hay máy in công nghiệp tốc độ cao. Các bộ điều khiển kinh điển như PID thường bộc lộ hạn chế lớn khi xảy ra sai lệch kéo dài và rất nhạy cảm với nhiễu môi trường, trong khi giải pháp logic mờ truyền thống lại đòi hỏi lượng lớn tri thức chuyên gia để xây dựng các hàm thuộc rời rạc.

Trước thách thức đó, luận văn tập trung nghiên cứu, thiết kế bộ điều khiển sử dụng Đại số gia tử (Hedge Algebras-based Controller - HAC) nhằm tối ưu hóa quá trình điều khiển các đối tượng công nghiệp phi tuyến. Mục tiêu cốt lõi của công trình là đề xuất phương pháp luận thiết kế hoàn chỉnh từ đại số hóa biến ngôn ngữ, giải bài toán suy luận mờ thông qua nội suy hình học, sau đó tiến hành mô phỏng kiểm chứng trên phần mềm MATLAB và thí nghiệm thực tế trên hệ thống truyền động bám chính xác. Phạm vi nghiên cứu được triển khai tại phòng thí nghiệm chuyên ngành thuộc Trường Đại học Kỹ thuật Công nghiệp - Đại học Thái Nguyên vào năm 2014. Kết quả đạt được mang ý nghĩa khoa học và thực tiễn sâu sắc: thuật toán HAC giúp giảm sai lệch điều khiển tới 70,01% so với bộ điều khiển mờ (sai số giảm mạnh từ 7,17 xuống 2,15 trong kịch bản chuẩn), triệt tiêu hơn 50% khối lượng tính toán phức tạp trong khâu thiết kế hàm liên thuộc, đồng thời mở ra giải pháp tự động hóa ổn định với chi phí phần cứng tối ưu cho các doanh nghiệp sản xuất.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nền tảng lý luận của luận văn được xây dựng trên sự kết hợp chặt chẽ giữa Lý thuyết Đại số gia tử (Hedge Algebras) do các nhà toán học Việt Nam khởi xướng và Lý thuyết Logic mờ (Fuzzy Logic) do Lotfi Zadeh công bố năm 1965. Trong cấu trúc của hệ thống mờ kinh điển, các khái niệm ngôn ngữ được mô tả thông qua tập mờ với hàm liên thuộc liên tục. Tuy nhiên, Đại số gia tử phát triển một bước tiến mới bằng cách tiên đề hóa cấu trúc tập giá trị của biến ngôn ngữ thành một cấu trúc đại số hoàn chỉnh, biểu diễn dưới dạng bộ bốn thành phần gồm miền giá trị, tập phần tử sinh, tập các gia tử ngôn ngữ và quan hệ thứ tự cảm sinh ngữ nghĩa.

Mô hình nghiên cứu vận dụng 4 khái niệm then chốt:

  1. Biến ngôn ngữ: Đặc trưng bởi bộ 5 thành phần giúp mô hình hóa các trạng thái vật lý thực tế.
  2. Hàm độ đo tính mờ fm(x) và hàm dấu: Phản ánh trực tiếp kích thước ngữ nghĩa và khuynh hướng biến thiên của các giá trị ngôn ngữ.
  3. Hàm định lượng ngữ nghĩa v(x): Ánh xạ các nhãn ngôn ngữ và miền giá trị thực vào đoạn chuẩn hóa từ 0 đến 1, tạo nền tảng chuyển đổi bảng nhớ kết hợp mờ (FAM) sang bảng nhớ kết hợp định lượng (SAM).
  4. Hệ tiêu chuẩn tích phân: Đánh giá toàn diện chất lượng quá trình quá độ thông qua tích phân bình phương sai số I3 và tiêu chuẩn tích phân mở rộng I4 kết hợp vận tốc biến thiên của sai lệch với hệ số hiệu chỉnh alpha1 trong khoảng từ một phần sáu đến một phần ba thời gian quá độ.

Phương pháp nghiên cứu

Nghiên cứu sử dụng nguồn dữ liệu kép kết hợp giữa mô phỏng số học và đo đạc thực nghiệm. Dữ liệu mô phỏng được trích xuất từ bài toán động học hạ cánh máy bay qua 4 chu kỳ điều khiển từ độ cao 1000 ft xuống 100 ft với vận tốc ban đầu âm 20 ft/s. Dữ liệu thực nghiệm được thu thập từ hơn 500 chu kỳ trích mẫu tín hiệu encoder vị trí và điện áp điều rộng xung PWM trên hệ thống cơ điện tử MeDe5 tại phòng thí nghiệm.

Quy trình chọn mẫu áp dụng phương pháp chọn mẫu theo mục đích (purposive sampling), tập trung vào các kịch bản quá độ khắc nghiệt như thay đổi đột ngột tín hiệu đặt vị trí bậc thang và tác động của tải biến thiên. Phương pháp phân tích trung tâm là phương pháp ánh xạ định lượng ngữ nghĩa (SQM) kết hợp nội suy tuyến tính trên đường cong ngữ nghĩa hai chiều Cr,2. Lý do lựa chọn phương pháp này là vì nó loại bỏ hoàn toàn các toán tử hợp thành mờ phức tạp (như phép kéo theo Mandani hay giải mờ trọng tâm), cho phép chuyển đổi bài toán lập luận đa chiều về bài toán nội suy giải tích đơn giản, qua đó rút ngắn thời gian xử lý vòng lặp điều khiển xuống dưới 5 mili giây trên các chip xử lý tín hiệu số thời gian thực.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình kiểm chứng bằng mô phỏng và thực nghiệm vật lý đã mang lại 3 phát hiện khoa học quan trọng:

Thứ nhất, trong bài toán điều khiển mô phỏng hạ cánh máy bay, bộ điều khiển sử dụng Đại số gia tử đạt độ chính xác vượt trội so với bộ điều khiển mờ truyền thống. Sai số tổng hợp qua 4 chu kỳ điều khiển của thuật toán HAC chỉ ở mức 2,15, trong khi bộ điều khiển mờ FLC có sai số lên tới 7,17. Như vậy, phương pháp đề xuất đã giúp giảm tới 70,01% sai số điều khiển, giúp cơ cấu chấp hành xuất lực ổn định và đáp ứng mượt mà quỹ đạo hạ cánh mong muốn.

Thứ hai, cấu trúc thuật toán HAC giúp tinh gọn tối đa các tham số cài đặt. Thay vì phải xây dựng ma trận từ 25 đến 49 luật mờ kèm theo hàng loạt hàm liên thuộc hình tam giác hoặc hình chuông phức tạp như FLC, thuật toán HAC chỉ cần xác định 2 tham số độ đo cơ bản gồm alpha bằng 0,5 và beta bằng 0,5, cùng độ đo tính mờ của phần tử nguyên thủy fm(Small) bằng 0,0625. Điều này giúp giảm hơn 60% thời gian hiệu chỉnh hệ thống.

Thứ ba, trên mô hình thực nghiệm truyền động bám chính xác MeDe5 sử dụng động cơ servo và cơ cấu bánh răng, bộ điều khiển HAC hai đầu vào chứng minh khả năng dập tắt dao động xuất sắc. Thời gian quá độ của hệ thống giảm 46,67% (từ 1,5 giây khi dùng bộ điều khiển thông thường xuống còn 0,8 giây khi dùng HAC), độ quá điều chỉnh luôn được duy trì dưới ngưỡng 3%, đồng thời triệt tiêu hoàn toàn sai lệch tĩnh ở chế độ xác lập.

Thảo luận kết quả

Các kết quả nghiên cứu có thể được trực quan hóa sinh động thông qua bảng so sánh tiêu chuẩn tích phân I4 theo tốc độ biến thiên của sai lệch và biểu đồ đáp ứng thời gian thực của góc quay động cơ. Khi khảo sát hệ số alpha1 biến thiên từ 0 đến 1, giá trị tích phân I4 của bộ điều khiển HAC luôn duy trì ở mức tối thiểu và thấp hơn rõ rệt so với FLC, minh chứng rằng quỹ đạo quá độ của hệ thống HAC đạt độ bằng phẳng cao và tốc độ triệt tiêu sai số cực nhanh.

Nguyên nhân căn bản của sự vượt trội này nằm ở bản chất toán học của Đại số gia tử. Các gia tử ngôn ngữ mang tính độc lập ngữ cảnh và bảo toàn trật tự ngữ nghĩa tự nhiên, giúp mô hình hóa chính xác các trạng thái vật lý mà không làm méo mó thông tin. Phép biến đổi SQM đưa bảng m-SAM đa chiều về đường cong đơn trị Cr,2 trong mặt phẳng 2 chiều giúp quy trình tính toán ngõ ra trở thành một hàm số liên tục, loại bỏ hiện tượng trễ pha do giải mờ gây ra. Khi so sánh với các nghiên cứu PID số truyền thống, bộ điều khiển HAC thể hiện tính bền vững vượt trội khi đối tượng xuất hiện độ phi tuyến và nhiễu tải công nghiệp.

Đề xuất và khuyến nghị

Nhằm đưa kết quả nghiên cứu vào ứng dụng thực tiễn một cách hiệu quả, 4 nhóm giải pháp hành động được đề xuất:

  1. Tích hợp trực tiếp giải thuật HAC lên các dòng vi điều khiển 32-bit và chip xử lý tín hiệu số DSP: Bộ phận kỹ thuật tại các doanh nghiệp tự động hóa cần số hóa hàm định lượng ngữ nghĩa v(x) thành các khối mã nguồn C/C++ tối ưu, hướng tới mục tiêu duy trì chu kỳ lấy mẫu dưới 2 mili giây và tần số làm việc đạt trên 1 kHz trong vòng 6 tháng triển khai.

  2. Xây dựng và chuẩn hóa bộ công cụ Toolbox Đại số gia tử trên nền tảng MATLAB/Simulink: Các nhóm nghiên cứu tại các trường đại học kỹ thuật cần phối hợp phát triển thư viện khối chức năng HAC hoàn chỉnh trong 9 tháng tới, giúp các kỹ sư tự động hóa rút ngắn 50% thời gian thiết kế và mô phỏng hệ thống.

  3. Ứng dụng thí điểm bộ điều khiển HAC vào các dây chuyền công nghiệp có độ phi tuyến cao: Các nhà máy nhiệt điện, xí nghiệp sản xuất giấy và nhà máy dệt cần triển khai thí nghiệm điều khiển mức nước bao hơi và hệ truyền động nhiều trục đồng tốc trong lộ trình 12 tháng, đặt mục tiêu giảm 15% năng lượng tiêu hao do dao động quá độ.

  4. Ứng dụng giải thuật di truyền (Genetic Algorithm) để tối ưu hóa tự động bộ tham số ngữ nghĩa: Nhóm phát triển thuật toán cần kết hợp GA nhằm tự động dò tìm bộ tham số alpha, beta và các điểm nút nội suy tối ưu, kỳ vọng nâng cao thêm 10% đến 20% độ chính xác bám vị trí trong thời gian từ 3 đến 6 tháng.

Đối tượng nên tham khảo luận văn

Nội dung và kết quả của luận văn mang lại giá trị thiết thực cho 4 nhóm đối tượng:

  1. Kỹ sư Tự động hóa và Cơ điện tử tại các nhà máy: Hưởng lợi từ phương pháp thiết kế bộ điều khiển thông minh không cần mô hình toán học giải tích chính xác, dễ dàng ứng dụng vào các hệ thống truyền động servo, máy in công nghiệp và hệ thống cánh tay robot với sai số bám cực thấp.

  2. Học viên cao học và Nghiên cứu sinh chuyên ngành Kỹ thuật Điều khiển: Tiếp cận một tài liệu học thuật mẫu mực về phương pháp luận đại số hóa ngôn ngữ, nắm vững quy trình chuyển đổi FAM sang SAM và phương pháp đánh giá hệ thống qua các tiêu chuẩn tích phân I1, I2, I3, I4.

  3. Giảng viên và Nhà nghiên cứu về Tính toán mềm (Soft Computing): Khai thác cơ sở lý thuyết Đại số gia tử để phát triển các mô hình điều khiển lai như HAC-PID, Neuro-HAC hoặc ứng dụng trong các bài toán nhận dạng hệ phi tuyến và chẩn đoán lỗi công nghiệp.

  4. Doanh nghiệp sản xuất thiết bị điều khiển và Giải pháp IoT công nghiệp: Nắm bắt giải pháp công nghệ điều khiển tiên tiến với thuật toán gọn nhẹ, có thể cài đặt trên các dòng vi xử lý chi phí thấp mà vẫn đảm bảo độ chính xác tương đương các hệ thống điều khiển cao cấp.

Câu hỏi thường gặp

  1. Đại số gia tử (Hedge Algebras) khác biệt gì so với Logic mờ truyền thống? Đại số gia tử xem tập giá trị ngôn ngữ là một cấu trúc đại số liên tục được sinh ra bởi các gia tử toán học, trong khi logic mờ truyền thống phải chia nhỏ các tập mờ và gán hàm liên thuộc rời rạc. Nhờ đó, phương pháp HAC loại bỏ hoàn toàn khâu xây dựng hàm liên thuộc và giải mờ, giảm hơn 60% khối lượng tính toán và giảm sai số từ 7,17 xuống 2,15 trong thử nghiệm chuẩn.

  2. Bộ điều khiển HAC xử lý bài toán phi tuyến và tham số bất định như thế nào? Bộ điều khiển HAC không phụ thuộc vào phương trình toán học chính xác của đối tượng mà vận hành dựa trên cơ chế lập luận xấp xỉ bảo toàn thứ tự ngữ nghĩa. Khi tham số đối tượng thay đổi, đường cong ngữ nghĩa định lượng tự động điều chỉnh ngõ ra điều khiển, giúp thời gian quá độ giảm 46,67% và duy trì độ ổn định vững chắc.

  3. Tiêu chuẩn tích phân I4 đóng vai trò gì trong việc đánh giá chất lượng hệ thống? Tiêu chuẩn tích phân I4 kết hợp đồng thời bình phương sai lệch và bình phương đạo hàm bậc nhất của sai lệch với hệ số alpha1 từ 0,16 đến 0,33 thời gian quá độ. Chỉ số này phản ánh toàn diện cả tốc độ đáp ứng lẫn độ bằng phẳng của quá trình quá độ, giúp đánh giá chính xác khả năng dập tắt dao động của bộ điều khiển.

  4. Luận văn đã kiểm chứng thuật toán trên những mô hình thực nghiệm nào? Luận văn đã kiểm chứng kép thông qua hai mô hình cụ thể: thứ nhất là mô phỏng động học quá trình hạ cánh máy bay qua 4 chu kỳ trên phần mềm MATLAB; thứ hai là thực nghiệm trực tiếp trên mô hình truyền động bám chính xác MeDe5 sử dụng động cơ servo, cơ cấu bánh răng và card thu thập dữ liệu thời gian thực tại phòng thí nghiệm.

  5. Có thể nạp trực tiếp thuật toán HAC lên các vi xử lý công nghiệp phổ biến không? Hoàn toàn khả thi vì toàn bộ quy trình tính toán của HAC đã được đơn giản hóa thành phép nội suy tuyến tính một chiều trên đường cong định lượng 2-SAM. Thuật toán chiếm dụng rất ít bộ nhớ RAM và ROM, cho phép các dòng vi điều khiển 32-bit hoặc chip DSP thông dụng thực thi với chu kỳ lấy mẫu dưới 5 mili giây.

Kết luận

  • Xây dựng thành công phương pháp luận thiết kế bộ điều khiển thông minh HAC dựa trên nền tảng lý thuyết Đại số gia tử hoàn chỉnh.
  • Đơn giản hóa quy trình thiết kế qua 6 bước rõ ràng, chuyển đổi hiệu quả bảng nhớ kết hợp mờ sang đường cong định lượng mà không cần dò chỉnh hàm liên thuộc rời rạc.
  • Chứng minh hiệu quả vượt trội qua mô phỏng với sai số điều khiển giảm tới 70,01% so với bộ điều khiển mờ kinh điển trong bài toán hạ cánh máy bay.
  • Thực nghiệm thành công trên hệ thống truyền động bám chính xác MeDe5, rút ngắn thời gian quá độ xuống 0,8 giây và kiểm soát độ vọt lố dưới 3%.
  • Khẳng định tính khả thi cao trong việc ứng dụng công cụ tính toán mềm mới vào việc điều khiển các đối tượng công nghiệp phi tuyến và tham số bất định.

Đóng góp chính của luận văn là đã hoàn thiện phương pháp luận thiết kế bộ điều khiển sử dụng Đại số gia tử từ lý thuyết toán học đến mô phỏng số và thực nghiệm phần cứng, mang lại giải pháp điều khiển chất lượng cao thay thế cho các bộ điều khiển PID và mờ truyền thống. Trong 12 tháng tới, hướng nghiên cứu tiếp theo sẽ tập trung vào việc nhúng thuật toán trên các chip vi xử lý chuyên dụng và xây dựng bộ công cụ Toolbox trên MATLAB. Các nhà nghiên cứu và kỹ sư tự động hóa hãy tham khảo công trình này để ứng dụng vào các bài toán điều khiển công nghiệp hiện đại ngay hôm nay.