Tổng quan nghiên cứu

Trong kỹ thuật điều khiển tự động và khai phá dữ liệu hiện đại, khoảng 75% đến 80% các đối tượng điều khiển công nghiệp đều mang đặc tính phi tuyến phức tạp, có độ trễ lớn và thông số mô hình biến đổi liên tục theo thời gian. Điển hình như các hệ thống lò nhiệt công nghiệp, phương pháp điều khiển PID truyền thống thường bộc lộ nhiều hạn chế với độ quá điều chỉnh vượt mức 15% và sai số xác lập dao động từ 8% đến 12%. Việc ứng dụng lý thuyết logic mờ đã mở ra hướng đi đột phá trong việc mô hình hóa tri thức chuyên gia nhằm điều khiển các đối tượng phi tuyến mà không cần biết chính xác phương trình toán học vi phân của hệ thống.

Tuy nhiên, thách thức cốt lõi đặt ra là việc thiết lập các tập mờ, hàm liên thuộc và hệ luật mờ thường phụ thuộc chặt chẽ vào kinh nghiệm cảm tính của con người, dễ dẫn đến hiện tượng bùng nổ số lượng luật khi số chiều dữ liệu tăng lên. Nhằm giải quyết triệt để vấn đề này, đề tài nghiên cứu tập trung phát triển giải pháp tạo lập tự động hệ luật mờ trực tiếp từ tập dữ liệu vào và ra của hệ thống thông qua kỹ thuật phân cụm trừ mờ dữ liệu.

Mục tiêu cụ thể của luận văn là tối ưu hóa không gian luật mờ, tự động xác định số lượng cụm và tâm cụm dữ liệu mà không cần giả định trước số cụm ban đầu, đồng thời ứng dụng thành công vào bài toán điều khiển nhiệt độ lò nhiệt. Nghiên cứu được thực hiện trong giai đoạn năm 2016 đến năm 2017 tại Trường Đại học Công nghệ Thông tin và Truyền thông thuộc Đại học Thái Nguyên. Kết quả nghiên cứu mang ý nghĩa học thuật và thực tiễn sâu sắc khi giúp tinh gọn hơn 80% số lượng luật mờ so với phương pháp phân hoạch lưới thông thường, đồng thời giảm thời gian đáp ứng quá độ của hệ thống lò nhiệt xuống dưới 25 giây với sai số nhiệt độ bám sát điểm đặt dưới 1,2%.

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

Khung lý thuyết áp dụng

Nghiên cứu xây dựng trên nền tảng của 3 trụ cột lý thuyết chính: Lý thuyết tập mờ của Zadeh, Giải thuật phân cụm dữ liệu không giám sát trong khai phá tri thức và Mô hình suy luận mờ Takagi-Sugeno.

Trong lý thuyết tập mờ, các khái niệm nền tảng bao gồm: hàm liên thuộc thể hiện mức độ phụ thuộc của phần tử vào tập mờ với giá trị trong đoạn từ 0 đến 1; miền xác định của tập mờ gồm các phần tử có độ phụ thuộc lớn hơn 0; miền tin cậy gồm các phần tử đạt độ phụ thuộc tuyệt đối bằng 1; và tích Descartes giữa các tập mờ nhằm thiết lập quan hệ mờ đa chiều. Dựa trên các phép toán hợp, giao, bù và luật suy diễn Modus Ponens suy rộng, hệ thống thiết lập được quan hệ ánh xạ giữa không gian tín hiệu đầu vào và tín hiệu điều khiển đầu ra.

Về lý thuyết phân cụm dữ liệu, giải thuật phân cụm trừ xác định tâm cụm dựa trên mật độ tiềm năng của các điểm dữ liệu lân cận trong không gian Euclid n chiều. Mỗi điểm dữ liệu được gán một chỉ số mật độ, điểm có mật độ cực đại sẽ được chọn làm tâm cụm thứ nhất. Sau đó, mật độ của các điểm xung quanh bị triệt tiêu theo hàm mũ tương ứng với khoảng cách tới tâm cụm vừa chọn. Quá trình này được lặp lại liên tục kết hợp với hai ngưỡng tỷ lệ chấp nhận và tỷ lệ từ chối để xác định chính xác số lượng và tọa độ các tâm cụm tự nhiên mà không cần thiết lập trước tham số k như thuật toán K-means.

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

Nguồn dữ liệu thực nghiệm được thu thập từ mô hình động học của hệ thống điều khiển lò nhiệt công nghiệp với kích thước mẫu gồm 1200 điểm dữ liệu đầu vào và đầu ra. Dữ liệu đầu vào bao gồm sai lệch nhiệt độ e và đạo hàm sai lệch nhiệt độ de theo thời gian, trong khi dữ liệu đầu ra là điện áp điều khiển công suất nung u. Toàn bộ mẫu dữ liệu được trích xuất bằng phương pháp lấy mẫu hệ thống liên tục theo chu kỳ thời gian 0,5 giây trong suốt dải nhiệt độ hoạt động từ 25°C đến 800°C.

Phương pháp phân tích được lựa chọn là giải thuật phân cụm trừ mờ kết hợp hệ suy diễn Takagi-Sugeno. Lý do lựa chọn phương pháp này xuất phát từ việc các giải thuật phân hoạch cổ điển như K-means hay PAM có độ phức tạp tính toán lớn và rất nhạy cảm với nhiễu ngoại lai, trong khi phân cụm lưới lại gây bùng nổ số chiều. Phân cụm trừ mờ với bán kính cụm được thiết lập tối ưu ở giá trị 0,5, tỷ lệ bán kính lân cận triệt tiêu bằng 1,5 lần bán kính cụm, ngưỡng chấp nhận 0,5 và ngưỡng từ chối 0,15 đã cho phép tự động trích xuất các tâm cụm đại diện cho các trạng thái động lực học điển hình của lò nhiệt. Quá trình nghiên cứu và lập trình mô phỏng được thực hiện toàn diện trong vòng 12 tháng.

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

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

Quá trình phân cụm trừ mờ trên tập dữ liệu 1200 mẫu đầu vào và đầu ra của hệ thống lò nhiệt đã mang lại những phát hiện có tính đột phá về cấu trúc dữ liệu và hiệu năng điều khiển:

Thứ nhất, giải thuật phân cụm trừ mờ đã tự động gom toàn bộ không gian dữ liệu phức tạp thành 5 cụm dữ liệu đặc trưng tương ứng với 5 tâm cụm tối ưu, giúp nén không gian biểu diễn trạng thái của hệ thống tới 99,58% mà vẫn bảo toàn đầy đủ các đặc tính động học phi tuyến then chốt.

Thứ hai, từ 5 tâm cụm trích xuất được, hệ thống đã tạo lập thành công một hệ luật mờ Takagi-Sugeno tinh gọn gồm đúng 5 luật điều khiển mờ. So với phương pháp phân hoạch lưới truyền thống vốn tạo ra từ 25 đến 49 luật đối với hệ 2 đầu vào, phương pháp phân cụm trừ đã cắt giảm tới 82% số lượng luật thừa, loại bỏ hoàn toàn hiện tượng bùng nổ quy tắc.

Thứ ba, kết quả mô phỏng hệ thống điều khiển nhiệt độ lò nhiệt sử dụng hệ luật mờ phân cụm trừ cho thấy độ chính xác điều khiển vượt trội: sai số nhiệt độ bám điểm đặt chỉ còn trong khoảng cộng trừ 0,8°C (tương đương sai số tương đối dưới 1,2% ở mức nhiệt 500°C), độ quá điều chỉnh giảm từ 14,5% ở bộ điều khiển truyền thống xuống dưới 3,2%.

Thứ tư, thời gian thiết lập nhiệt độ và ổn định hệ thống đạt mức 22,4 giây, nhanh hơn khoảng 35% so với hệ thống điều khiển mờ xây dựng dựa trên thuật toán phân cụm C-means mờ tiêu chuẩn.

Thảo luận kết quả

Nguyên nhân cốt lõi giúp hệ luật mờ tạo lập từ phân cụm trừ đạt hiệu năng cao nằm ở cơ chế triệt tiêu mật độ phi tuyến. Thay vì chia đều không gian đầu vào thành các lưới hình học cứng nhắc, phân cụm trừ chỉ tạo ra luật tại những vùng không gian có mật độ dữ liệu thực tế cao. Nhờ đó, mỗi luật mờ sinh ra đều mang ý nghĩa phản ánh trực tiếp một chế độ vận hành thực tế của đối tượng điều khiển.

Khi so sánh với các nghiên cứu sử dụng K-means hay thuật toán di truyền đơn thuần, phân cụm trừ mờ không bị mắc kẹt tại các cực trị cục bộ do không phụ thuộc vào việc chọn ngẫu nhiên k tâm cụm ban đầu. Dữ liệu thực nghiệm của nghiên cứu được trình bày trực quan thông qua bảng tọa độ 5 tâm cụm, bảng thông số các hàm liên thuộc đầu vào và bảng tổng hợp 5 luật điều khiển mờ chuẩn xác.

Đồng thời, đồ thị mặt suy diễn không gian 3 chiều giữa sai lệch nhiệt độ, đạo hàm sai lệch và tín hiệu điều khiển ra đã minh chứng rõ nét tính liên tục, trơn tru của bề mặt điều khiển, loại bỏ triệt để các bước nhảy đột ngột của điện áp điều khiển. Đồ thị đáp ứng quá độ thời gian của nhiệt độ lò nung cũng khẳng định khả năng triệt tiêu dao động nhanh chóng của hệ thống khi xuất hiện nhiễu tác động từ môi trường bên ngoài.

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

Nhằm phát huy tối đa giá trị thực tiễn của phương pháp tạo lập hệ luật mờ từ phân cụm trừ, nghiên cứu đưa ra 4 khuyến nghị và giải pháp hành động cụ thể:

Thứ nhất, chuẩn hóa quy trình tiền xử lý dữ liệu thu thập từ cảm biến nhiệt độ công nghiệp bằng cách tích hợp các bộ lọc nhiễu thích nghi dựa trên khoảng cách ngoại lai, hướng tới mục tiêu làm sạch 98% tín hiệu nhiễu công nghiệp trước khi đưa vào phân cụm, thực hiện trong khung thời gian 3 tháng đầu tiên bởi các kỹ sư phát triển phần mềm nhúng.

Thứ hai, tự động hóa khâu tối ưu hóa tham số bán kính cụm bằng cách kết hợp thuật toán tối ưu hóa bầy đàn hoặc giải thuật di truyền nhằm tinh chỉnh tự động cặp thông số bán kính cụm và bán kính triệt tiêu, giúp tăng độ chính xác của hàm liên thuộc thêm 15% đến 20%, triển khai trong lộ trình 6 tháng bởi các nhóm nghiên cứu trí tuệ nhân tạo.

Thứ ba, triển khai nhúng trực tiếp cơ sở dữ liệu 5 luật mờ Takagi-Sugeno đã tạo lập vào các vi điều khiển công nghiệp 32-bit hoặc bộ điều khiển lập trình PLC, đảm bảo chu kỳ quét tính toán suy luận mờ đạt dưới 10 mili-giây, thực hiện trong vòng 4 tháng do các kỹ sư tự động hóa phụ trách.

Thứ tư, mở rộng ứng dụng quy trình phân cụm trừ mờ sang các hệ thống điều khiển công nghiệp đa biến phức tạp khác như hệ thống tháp chưng cất hóa chất, lò hơi nhiệt điện và cánh tay robot công nghiệp, hướng tới mục tiêu giảm sai số bám quỹ đạo xuống dưới 2% trong kế hoạch 12 tháng do các viện nghiên cứu và doanh nghiệp cơ điện tử phối hợp thực hiện.

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

Nội dung và kết quả nghiên cứu của luận văn mang lại giá trị thực tiễn và học thuật cao cho 4 nhóm đối tượng sau:

Thứ nhất, học viên cao học và sinh viên chuyên ngành Khoa học máy tính, Công nghệ thông tin và Kỹ thuật điều khiển tự động có thể sử dụng luận văn như một tài liệu tham khảo chuẩn mực về phương pháp tích hợp lý thuyết tập mờ và giải thuật khai phá dữ liệu không giám sát.

Thứ hai, các kỹ sư tự động hóa và lập trình viên hệ thống nhúng tại các nhà máy sản xuất có thể trực tiếp ứng dụng quy trình trích xuất luật mờ để thiết kế các bộ điều khiển nhiệt độ, lưu lượng và áp suất với độ chính xác cao mà không cần can thiệp mô hình toán học giải tích phức tạp.

Thứ ba, các nhà nghiên cứu trong lĩnh vực trí tuệ nhân tạo và khai phá dữ liệu có thể tìm thấy trong tài liệu những phân tích chuyên sâu về thuật toán phân cụm trừ mờ, cơ chế tính toán ma trận khoảng cách và giải pháp xử lý dữ liệu nhiều chiều.

Thứ tư, các nhà quản lý kỹ thuật và chuyên gia chuyển đổi số công nghiệp có thể sử dụng các số liệu đánh giá định lượng trong luận văn để xây dựng báo cáo khả thi cho các dự án nâng cấp hệ thống điều khiển mờ thông minh trong dây chuyền sản xuất hiện đại.

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

Thuật toán phân cụm trừ mờ khác biệt như thế nào so với thuật toán K-means truyền thống? Phân cụm trừ mờ xác định tâm cụm dựa trên hàm mật độ tiềm năng liên tục của từng điểm dữ liệu trong không gian Euclid mà không đòi hỏi người dùng phải chỉ định trước số lượng cụm k. Trong khi đó, K-means buộc phải giả định số cụm k ngay từ đầu, rất nhạy cảm với nhiễu và dễ hội tụ về cực trị cục bộ. Trong bài toán lò nhiệt, phân cụm trừ tự động tìm ra chính xác 5 tâm cụm tự nhiên, tối ưu hơn hẳn việc thử nghiệm chọn k thủ công.

Tại sao giải pháp phân cụm trừ lại giải quyết được bài toán bùng nổ số lượng luật mờ? Phương pháp phân hoạch lưới truyền thống phân chia mỗi biến đầu vào thành nhiều tập mờ độc lập, khiến số lượng luật mờ tăng theo hàm mũ n mũ k (với 2 biến vào có 7 hàm thuộc sẽ sinh ra 49 luật). Ngược lại, phân cụm trừ mờ chỉ tạo ra số lượng luật bằng đúng số tâm cụm dữ liệu thu được trong thực tế. Nhờ đó, từ 1200 điểm dữ liệu, hệ thống chỉ sinh ra đúng 5 luật mờ, giảm 82% độ phức tạp tính toán.

Tham số bán kính cụm ảnh hưởng như thế nào đến chất lượng của hệ luật mờ? Bán kính cụm quy định phạm vi ảnh hưởng của một tâm cụm trong không gian dữ liệu. Nếu chọn bán kính quá nhỏ dưới 0,2, thuật toán sẽ tạo ra quá nhiều cụm nhỏ dẫn đến dư thừa luật và hiện tượng quá khớp dữ liệu. Nếu chọn bán kính quá lớn trên 0,8, dữ liệu bị gom cụm thô làm mất các đặc tính phi tuyến quan trọng. Giá trị bán kính 0,5 trong nghiên cứu là điểm cân bằng tối ưu giúp mô hình đạt sai số điều khiển nhỏ nhất dưới 1,2%.

Độ chính xác của hệ điều khiển mờ lò nhiệt xây dựng từ phân cụm trừ đạt mức bao nhiêu? Hệ thống điều khiển lò nhiệt ứng dụng hệ luật mờ phân cụm trừ duy trì độ chính xác bám nhiệt độ với sai số tuyệt đối không quá cộng trừ 0,8°C trên toàn dải nhiệt độ từ 200°C đến 800°C. Độ quá điều chỉnh được kiểm soát dưới 3,2% và thời gian xác lập nhiệt độ giảm xuống còn 22,4 giây, vượt trội hơn khoảng 28% so với các giải thuật điều khiển công nghiệp thông thường.

Quy trình tạo lập hệ luật mờ này có thể áp dụng cho các hệ thống khác ngoài lò nhiệt hay không? Hoàn toàn có thể áp dụng cho bất kỳ hệ thống động học phi tuyến nào có sẵn tập dữ liệu đo lường đầu vào và đầu ra. Các hệ thống như kiểm soát mức chất lỏng trong bồn chứa, điều khiển tốc độ động cơ servo, hay ổn định nồng độ pH trong công nghiệp hóa chất đều có thể áp dụng chính xác quy trình thu thập dữ liệu, phân cụm trừ và trích xuất luật mờ với chu kỳ xử lý thời gian thực dưới 10 mili-giây.

Kết luận

  • Hệ thống hóa toàn diện cơ sở toán học về lý thuyết tập mờ, logic mờ suy rộng và các giải thuật phân cụm dữ liệu không giám sát trong khai phá tri thức.
  • Xây dựng thành công thuật toán phân cụm trừ mờ tự động xác định tâm cụm và trích xuất trực tiếp hệ luật mờ Takagi-Sugeno từ 1200 điểm dữ liệu vào ra.
  • Tối ưu hóa cấu trúc hệ điều khiển mờ, cắt giảm hơn 82% số lượng quy tắc mờ dư thừa so với phương pháp phân hoạch lưới cổ điển.
  • Ứng dụng thành công vào mô hình điều khiển nhiệt độ lò nhiệt với độ quá điều chỉnh dưới 3,2% và sai số xác lập được kiểm soát nghiêm ngặt dưới 1,2%.
  • Chứng minh tính khả thi cao của phương pháp trong việc triển khai trên các thiết bị điều khiển phần cứng công nghiệp thời gian thực.

Đóng góp lớn nhất của luận văn là đã giải quyết trọn vẹn bài toán tự động hóa quá trình thiết kế hệ mờ từ dữ liệu thực nghiệm, bắc nhịp cầu vững chắc giữa kỹ thuật khai phá dữ liệu hiện đại và lý thuyết điều khiển tự động thông minh. Lộ trình phát triển tiếp theo trong 6 đến 12 tháng tới sẽ tập trung vào việc nhúng thuật toán lên các chip điều khiển chuyên dụng và tích hợp giải thuật tối ưu hóa thông minh để tự động điều chỉnh bán kính cụm theo thời gian thực. Các nhà nghiên cứu và kỹ sư tự động hóa hãy nhanh chóng ứng dụng phương pháp phân cụm trừ mờ để tối ưu hóa và nâng cao hiệu suất cho các hệ thống điều khiển công nghiệp của mình ngay hôm nay.