Tổng quan nghiên cứu
Trong kỹ thuật xây dựng và cơ khí chính xác, việc kiểm soát và triệt tiêu các dao động có hại do tải trọng động (gió bão, động đất, sóng biển) là bài toán then chốt nhằm bảo vệ an toàn công trình. Các phương pháp gia cố truyền thống bằng cách tăng tiết diện thép và bê tông thường làm đội chi phí xây dựng lên rất cao. Việc ứng dụng các thiết bị tiêu tán năng lượng và hệ thống điều khiển chủ động giúp tối ưu hóa ngân sách, ước tính chỉ chiếm khoảng 25% chi phí so với việc gia cố kết cấu thụ động, đồng thời giảm thiểu tới 70% đến 80% nguy cơ biến dạng kết cấu.
Vấn đề nghiên cứu trọng tâm là khắc phục những hạn chế cố hữu của các bộ điều khiển tối ưu cổ điển và bộ điều khiển logic mờ truyền thống (FLC). Các phương pháp cổ điển đòi hỏi mô hình toán học giải tích cực kỳ phức tạp và kém bền vững khi thông số kết cấu thay đổi. Trong khi đó, bộ điều khiển logic mờ kinh điển gặp khó khăn trong việc chuẩn hóa các hàm thuộc và xử lý khâu giải mờ (Defuzzification) vốn tốn tài nguyên tính toán và dễ gây sai số cục bộ.
Mục tiêu cụ thể của luận văn là nghiên cứu, thiết kế và đánh giá hiệu năng của bộ điều khiển sử dụng đại số gia tử (Hedge Algebras Controller - HAC) áp dụng cho bài toán điều khiển chủ động kết cấu một bậc tự do chịu tải gia tốc nền. Nghiên cứu được triển khai trong phạm vi mô phỏng động lực học kết cấu với khối lượng cơ sở 345,6 kg và độ cứng danh định khoảng 340400 N/m trong khung thời gian nghiên cứu chuyên sâu 6 tháng. Ý nghĩa khoa học và thực tiễn của công trình thể hiện qua việc giảm thiểu hơn 60% biên độ dao động đỉnh, triệt tiêu hoàn toàn khâu khử mờ phức tạp và rút ngắn thời gian đáp ứng của hệ thống điều khiển lực chủ động.
Cơ sở lý thuyết và phương pháp nghiên cứu
Khung lý thuyết áp dụng
Luận văn xây dựng nền tảng dựa trên sự kết hợp liên ngành giữa lý thuyết điều khiển kết cấu công trình và tính toán mềm:
- Lý thuyết logic mờ và suy luận xấp xỉ: Kế thừa công trình của Lotfi A. Zadeh (năm 1965) và mô hình suy luận Mamdani (năm 1975). Hệ thống sử dụng các phép toán T-norm, S-norm, biến ngôn ngữ và cấu trúc điều khiển mờ chuẩn gồm 4 khối: Khối mờ hóa (Fuzzifier), Cơ sở luật (Rule Base), Khối suy diễn (Inference Engine) và Khối giải mờ (Defuzzifier).
- Lý thuyết Đại số gia tử (Hedge Algebras - HAs): Được khởi xướng từ những năm 1990 bởi các nhà toán học Việt Nam, cấu trúc đại số gia tử mô hình hóa tập giá trị ngôn ngữ thành một không gian đại số thứ tự hoàn chỉnh. Các khái niệm cốt lõi bao gồm phần tử sinh nguyên thủy, tập các gia tử âm và dương, hàm độ đo tính mờ của gia tử và hàm định lượng ngữ nghĩa trên đoạn chuẩn hóa từ 0 đến 1.
- Mô hình động lực học kết cấu một bậc tự do (1-DOF): Thiết lập phương trình vi phân chuyển động chịu kích động gia tốc nền với lực điều khiển chủ động bổ trợ, mô phỏng phản ứng rung lắc ngang của công trình.
Phương pháp nghiên cứu
Nghiên cứu sử dụng phương pháp mô phỏng số học thực nghiệm trên môi trường máy tính thông qua phần mềm MATLAB và công cụ Simulink:
- Nguồn dữ liệu và trường hợp thử nghiệm: Dữ liệu thử nghiệm được xây dựng dựa trên 3 kịch bản biến đổi tham số kết cấu thực tế với hệ số khối lượng thay đổi từ 0,2 lần (tương đương 69,12 kg), 1,0 lần (345,6 kg) đến 1,2 lần (414,72 kg) nhằm kiểm tra tính bền vững của thuật toán trước tải trọng kích động điều hòa tần số cao.
- Phương pháp chọn mẫu và thiết lập thông số: Lựa chọn bộ tham số đại số gia tử với 2 phần tử sinh, phân hoạch không gian ngữ nghĩa thành 5 đến 7 nhãn ngôn ngữ đặc trưng cho sai lệch vị trí và vận tốc dao động. Cách tiếp cận này giúp bao phủ toàn bộ miền làm việc của cơ cấu chấp hành mà không làm gia tăng độ phức tạp của bảng luật.
- Lý do lựa chọn phương pháp phân tích: Chuyển đổi toàn bộ quá trình suy luận mờ sang bài toán nội suy hình học trên mặt cong ngữ nghĩa định lượng nhiều chiều (HA-IRMd). Phương pháp này cho phép tính toán trực tiếp giá trị lực điều khiển thực mà không cần thông qua bước tích phân khử mờ trọng tâm (Center of Gravity), giúp tăng tốc độ xử lý vòng lặp điều khiển thời gian thực và đảm bảo tính đơn điệu của đáp ứng đầu ra.
Kết quả nghiên cứu và thảo luận
Những phát hiện chính
Quá trình mô phỏng so sánh giữa hệ thống không điều khiển, hệ thống điều khiển mờ kinh điển (FLC) và hệ thống điều khiển sử dụng đại số gia tử (HAC) đã ghi nhận các kết quả định lượng nổi bật:
- Hiệu quả giảm chấn vượt trội: Bộ điều khiển HAC giúp giảm biên độ chuyển vị đỉnh của kết cấu từ mức dao động tự do không kiểm soát xuống mức an toàn, đạt tỷ lệ triệt tiêu dao động chuyển vị từ 65% đến 78% trong tất cả các chu kỳ kích động chính.
- Tính ổn định cao khi tham số thay đổi: Khi khối lượng công trình thay đổi đột ngột ở mức 20% và 120% so với thiết kế ban đầu, bộ điều khiển HAC vẫn duy trì sai số ổn định dưới 5%, trong khi bộ điều khiển FLC truyền thống có hiện tượng dao động ký sinh và biên độ dạt lệch tăng khoảng 12% đến 18%.
- Tối ưu hóa năng lượng điều khiển: Lực điều khiển sinh ra từ thuật toán đại số gia tử có dạng biến thiên mượt mà, giảm hiện tượng giật cục của cơ cấu chấp hành, giúp tiết kiệm khoảng 15% năng lượng tiêu hao so với phương pháp điều khiển mờ sử dụng luật kéo theo Mamdani.
+------------------------------------+---------------------+---------------------+
| Kịch bản khối lượng kết cấu | Độ giảm biên độ FLC | Độ giảm biên độ HAC |
+------------------------------------+---------------------+---------------------+
| Khối lượng định mức (m = m0) | Khoảng 62,4% | Khoảng 74,8% |
| Khối lượng giảm thấp (m = 0.2*m0) | Khoảng 58,1% | Khoảng 71,2% |
| Khối lượng tăng tải (m = 1.2*m0) | Khoảng 55,6% | Khoảng 68,9% |
+------------------------------------+---------------------+---------------------+
Thảo luận kết quả
Các kết quả nghiên cứu có thể được trực quan hóa rõ nét thông qua biểu đồ đáp ứng chuyển vị theo thời gian ($x-t$) và đồ thị quan hệ mặt vào - ra giữa sai lệch chuyển vị, đạo hàm sai lệch với lực điều khiển $u(t)$. Biểu đồ mô phỏng chứng minh rằng mặt cong điều khiển của đại số gia tử có độ trơn liên tục cao, không xuất hiện các điểm gãy khúc cục bộ như mặt quan hệ suy luận của FLC.
Nguyên nhân cốt lõi dẫn đến sự vượt trội của bộ điều khiển HAC là tính bảo toàn thứ tự ngữ nghĩa tự nhiên trong cấu trúc đại số gia tử. Việc sử dụng các hàm độ đo tính mờ giúp lượng hóa chính xác các trạng thái vật lý mà không phụ thuộc vào việc chọn hình dạng hàm thuộc chủ quan (như tam giác, hình thang hay hàm Gauss). So với các nghiên cứu trước đây trong lĩnh vực điều khiển kết cấu, giải pháp ứng dụng đại số gia tử đã giải quyết triệt để bài toán bùng nổ luật kết hợp khi số lượng biến trạng thái tăng lên, mở ra hướng tiếp cận mới trong việc thiết kế các hệ thống cơ điện tử thông minh và an toàn công trình.
Đề xuất và khuyến nghị
Dựa trên các kết quả đạt được, luận văn đưa ra 4 nhóm giải pháp kỹ thuật nhằm hoàn thiện và nhân rộng mô hình:
- Chuẩn hóa quy trình tối ưu hóa tham số đại số gia tử: Các nhóm nghiên cứu chuyên ngành tự động hóa cần áp dụng thuật toán tối ưu hóa bầy đàn (PSO) hoặc giải thuật di truyền (GA) để tự động xác định bộ độ đo tính mờ và tham số phần tử sinh, hướng tới mục tiêu giảm thêm 10% đến 15% năng lượng điều khiển trong vòng 6 đến 12 tháng tới.
- Mở rộng mô hình kiểm soát cho kết cấu nhiều bậc tự do (MDOF): Các kỹ sư kết cấu và viện nghiên cứu chuyên ngành cần ứng dụng thuật toán HAC cho các công trình cao tầng từ 5 đến 20 tầng chịu tải trọng động đất thực tế, đặt chỉ tiêu kiểm soát gia tốc sàn đạt độ tin cậy trên 85% trước năm 2027.
- Thử nghiệm tích hợp trên phần cứng nhúng thời gian thực: Các doanh nghiệp sản xuất thiết bị điều khiển cần phối hợp triển khai thuật toán đại số gia tử lên các dòng vi xử lý DSP hoặc chip FPGA, nhằm đạt độ trễ xử lý vòng lặp dưới 5 mili-giây phục vụ các công trình biển và cầu dây văng trong giai đoạn 2026-2028.
- Xây dựng bộ tiêu chuẩn kỹ thuật giảm chấn chủ động: Cơ quan quản lý xây dựng cần ban hành các hướng dẫn kỹ thuật về việc lắp đặt, nghiệm thu và đánh giá rủi ro cho các hệ thống giảm chấn thông minh sử dụng thuật toán tính toán mềm tại các khu vực thường xuyên chịu rủi ro thiên tai.
Đối tượng nên tham khảo luận văn
Nội dung và phương pháp trong công trình này mang lại giá trị thực tiễn cho 4 nhóm đối tượng chính:
- Học viên cao học và nghiên cứu sinh ngành Khoa học máy tính, Tự động hóa: Cung cấp tài liệu tham khảo hoàn chỉnh về cách chuyển đổi mô hình lý thuyết đại số gia tử trừu tượng thành giải thuật điều khiển cụ thể trên máy tính.
- Kỹ sư thiết kế kết cấu công trình xây dựng và công trình biển: Ứng dụng mô hình tính toán lực điều khiển chủ động để tính toán các phương án chống rung lắc, chống bão cho cầu treo, tháp truyền hình và giàn khoan ngoài khơi.
- Chuyên gia phát triển phần mềm mô phỏng và tính toán mềm: Sử dụng mã nguồn và thuật toán nội suy mặt cong đại số gia tử trên nền tảng MATLAB Simulink làm thư viện mở rộng cho các bài toán điều khiển phi tuyến phức tạp.
- Giảng viên và nhà nghiên cứu tại các trường đại học kỹ thuật: Khai thác dữ liệu so sánh định lượng giữa logic mờ kinh điển và đại số gia tử phục vụ bài giảng chuyên đề về trí tuệ nhân tạo và điều khiển thông minh.
Câu hỏi thường gặp
1. Đại số gia tử mang lại ưu thế gì vượt trội so với logic mờ truyền thống trong điều khiển?
Đại số gia tử thiết lập trật tự ngữ nghĩa tự nhiên giữa các giá trị ngôn ngữ và ánh xạ trực tiếp sang trục số thực thông qua hàm định lượng ngữ nghĩa. Điều này giúp loại bỏ hoàn toàn bước giải mờ vốn gây mất thông tin và tốn tài nguyên, giúp tốc độ phản hồi nhanh hơn khoảng 20% so với phương pháp mờ Mamdani.
2. Tại sao mô hình kết cấu một bậc tự do lại được lựa chọn làm đối tượng thử nghiệm?
Mô hình một bậc tự do (1-DOF) là mô hình chuẩn mực kinh điển trong động lực học công trình, phản ánh đầy đủ các đặc tính cơ bản của dao động rung lắc. Việc sử dụng mô hình này với khối lượng cơ sở 345,6 kg giúp cô lập các yếu tố gây nhiễu, tạo cơ sở đánh giá chính xác và khách quan hiệu năng giữa các giải thuật điều khiển.
3. Khả năng thích ứng của bộ điều khiển HAC khi kết cấu thay đổi tải trọng như thế nào?
Khi khối lượng kết cấu thay đổi từ mức 0,2 lần đến 1,2 lần định mức, bộ điều khiển HAC vẫn tự động điều chỉnh biên độ lực điều khiển phù hợp mà không cần cấu hình lại bảng luật. Độ ổn định dao động được duy trì với sai số biên độ cực đại luôn được khống chế dưới 5%.
4. Khâu giải mờ (Defuzzification) trong logic mờ kinh điển gây ra những hạn chế gì?
Khâu giải mờ đòi hỏi các phép tính tích phân hoặc lấy trọng tâm trên các tập mờ đầu ra không lồi và không chuẩn, gây chậm trễ thời gian thực. Trong các hệ thống giảm chấn đòi hỏi tần số lấy mẫu hàng trăm Hz, sự chậm trễ từ 10 đến 50 mili-giây có thể làm giảm hiệu quả dập tắt dao động của cơ cấu chấp hành.
5. Thuật toán điều khiển sử dụng đại số gia tử có thể triển khai trên phần cứng thực tế không?
Hoàn toàn khả thi vì bản chất của thuật toán HAC sau khi lượng hóa là một bảng tra cứu ngữ nghĩa kết hợp với phép nội suy đại số đơn giản. Cấu trúc này tiêu tốn rất ít bộ nhớ vi điều khiển, cho phép thực thi trơn tru trên các bộ vi điều khiển công nghiệp 32-bit thông dụng.
Kết luận
- Luận văn đã làm chủ và hệ thống hóa toàn diện cơ sở lý thuyết logic mờ, suy luận xấp xỉ và lý thuyết đại số gia tử trong bài toán kỹ thuật.
- Thiết kế thành công cấu trúc bộ điều khiển đại số gia tử (HAC) cho hệ kết cấu một bậc tự do chịu kích động gia tốc nền, loại bỏ 100% sự phụ thuộc vào khâu giải mờ phức tạp.
- Chứng minh tính ưu việt định lượng qua mô phỏng với hiệu quả dập tắt dao động chuyển vị đạt từ 65% đến 78%, vượt trội hơn hẳn so với bộ điều khiển mờ FLC chuẩn.
- Đảm bảo tính bền vững vượt trội khi tham số khối lượng công trình biến thiên trong phạm vi rộng từ 20% đến 120%.
- Mở ra lộ trình phát triển rõ ràng với các mục tiêu thử nghiệm phần cứng nhúng trong 12 tháng tới và ứng dụng vào các kết cấu nhiều bậc tự do trong vòng 24 tháng.
Hãy áp dụng ngay các nguyên lý đại số gia tử và giải pháp điều khiển chủ động kết cấu này vào các dự án nghiên cứu và kỹ thuật thực tế để nâng cao độ an toàn và tối ưu hóa chi phí cho các công trình hiện đại.