Điểu khiển hạ độ cao vật bay sử dụng lý thuyết mờ và đại số gia tử

TRƯỜNG ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN & TRUYỀN THÔNG  NGUYỄN THỊ HOA ĐIỀU KHIỂN HẠ ĐỘ CAO VẬT BAY SỬ DỤNG LÝ THUYẾT MỜ VÀ ĐẠI SỐ GIA TỬ LUẬN VĂN THẠC SĨ THÁI NGUYÊN 2020 TRƯỜNG ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN & TRUYỀN THÔNG  NGUYỄN THỊ HOA ĐIỀU KHIỂN HẠ ĐỘ CAO VẬT BAY SỬ DỤNG LÝ THUYẾT MỜ VÀ ĐẠI SỐ GIA TỬ CHUYÊN NGÀNH: KỸ THUẬT ĐIỀU KHIỂN VÀ TỰ ĐỘNG HÓA MÃ SỐ: 852 02 16 NGƯỜI HƯỚNG DẪN KHOA HỌC TS VŨ NHƯ LÂN THÁI NGUYÊN 2020 i LỜI CAM ĐOAN Tôi xin cam đoan luận văn tổng hợp thực Các kết phân tích hồn toàn trung thực, nội dung thuyết minh chưa cơng bố Luận văn có sử dụng tài liệu tham khảo nêu phần tài liệu tham khảo Tác giả luận văn Nguyễn Thị Hoa ii LỜI CẢM ƠN Tơi xin bày tỏ lịng biết ơn chân thành tới TS Vũ Như Lân hướng dẫn tận tình, bảo cặn kẽ để tơi hồn thành luận văn Đồng thời xin gửi lời cảm ơn tới tất thầy giáo, cô giáo Khoa Công nghệ tự động hóa đào tạo sau đại học bạn đồng nghiệp Trường Đại học CNTT&TT- ĐHTN Bắc Ninh, ngày tháng 11 năm 2020 Tác giả luận văn Nguyễn Thị Hoa MỤC LỤC Tr a L i ời L ii ời M ii ụ i Dv a D vi a D vi a i L ời C3 H 1 1 1 1 1 3 3 C H 2 2 2 3 3 C H 3 3 H Ư Ớ T À 7 5 5 DANH MỤC CÁC KÝ HIỆU, CHỮ VIẾT TẮT ĐSGT Đại số gia tử General Modus Ponens GMP SISO (Modus Ponens chung) Single Input Single Output (Đầu vào đơn đầu nhất) Hedge HA Algebras FC (Đại số gia tử) SQM HAFC Fuzzy Conditional (Điều khiển mờ) Quantitative semantic mapping (Ánh xạ ngữ nghĩa định lượng) SAM Hedge Algebra Fuzzy Control (Điều khiển mờ dựa Đại số gia tử) Semantic Associative Memory (Bộ nhớ liên kết ngữ nghĩa) P Propotional – Tỉ lệ I Integral – Tích phân D Derivative – Vi phân PID FAM Propotional Integral Derivative (Tỉ lệ - tích phân - vi phân) Fuzzy Associate Memory (Bộ nhớ liên kết mờ) L, M, S, NZ Large, Medium, Small, Near Zero UL, US, Z, DS, DL Up Large, Up Small, Zero, Down Small, Down Large DANH MỤC CÁC BẢNG S T 37 T r M 10 ột M 14 a B 16 ả B 16 ả N 37 h N 38 h N 39 h B 40 ả B 43 ảT 45 o S o T o S o 47 49 51 vii DANH MỤC CÁC HÌNH S T 1 7 2 2 3 3 Trang B4 i B5 i B6 i B6 i P h V1 í T í T íC B2 ộ M2 ộ H2 ệ B3 ộ P h P h P h K4 h Đ4 Sai số tốc độ hạ độ cao qua chu kỳ điều khiển phương pháp sau: eF = (i = (vi0(F)-vi(F))2)1/2 = 7.15 (3.4) eHA = (i = (vi0(HA)-vi(HA))2)1/2 = 6.12 (3.5) 1 Trong đó: eF tổng sai số tốc độ hạ độ cao phương pháp điều khiển mờ eHA tổng sai số tốc độ hạ độ cao phương pháp điều khiển sử dụng đại số gia tử trường hợp AND = PRODUCT vi0(F) tốc độ hạ độ cao tối ưu chu kỳ i phương pháp điều khiển mờ vi0(HA) tốc độ hạ độ cao tối ưu chu kỳ i phương pháp điều khiển sử dụng đại số gia tử trường hợp AND = PRODUCT vi(F) tốc độ hạ độ cao chu kỳ i phương pháp điều khiển mờ vi(HA) tốc độ hạ độ cao chu kỳ i phương pháp điều khiển sử dụng đại số gia tử trường hợp AND = PRODUCT Từ (3.4) (3.5) thấy eF > eHA Như tổng sai số tốc độ hạ độ cao dùng phương pháp đại số gia tử nhỏ tổng sai số tốc độ hạ độ cao phương pháp điều khiển mờ Qua chu kỳ điều khiển thấy phương pháp điều khiển vật bay hạ độ cao dùng đại số gia tử đảm bảo quan hệ tốc độ độ cao có tính gần paraboll (xu hướng tối ưu), có nghĩa tốt so với phương pháp dùng lý thuyết mờ Ross [3] + Xây dựng đường cong ngữ nghĩa định lượng với phép AND = MIN Việc xây dựng đường cong ngữ nghĩa định lượng toán điều khiển sử dụng đại số gia tử phép AND = PRODUCT đơn giản Khi phép AND = MIN, xuất vấn đề đa trị đường cong ngữ nghĩa định lượng Để vượt qua khó khăn trên, phần áp dụng nguyên tắc luật - điểm trung bình Sử dụng ngun tắc này, tính tốn trở nên đơn giản trường hợp AND = PRODUCT A A A A H o m in m in m in m in T u 1 A m in B m in B m in B m in B m in B m in C m in C m in C m in C m in C m in D m in D m in D m in D m in D m in Bảng 3.8: Toạ độ luật điểm đường cong ngữ nghĩa định lượng + Nguyên tắc luật - điểm trung bình: Nếu luật - điểm có hồnh độ tung độ khác nhau, đường cong ngữ nghĩa định lượng qua luật - điểm trung bình có tung độ trung bình tung độ luật - điểm hoành độ Đường cong ngữ nghĩa định lượng tốn điều khiển hình đường cong tuyến tính khúc qua luật - điểm trung bình Các chu kỳ điều khiển tính tốn sau: h(0)=1000  hs(0) = 0.625 v(0)=-20  vs(0) = 0.125 Chu kỳ điều khiển 1: min(hs(0), vs(0)) = 0.125 Vậy: fs(0) = 0.5  f(0) = Chu kỳ điều khiển 2: h(1) = h(0) + v(0) = 1000 + (-20) = 980  v(1) = v(0) + f(0) = (-20) + = -20  hs(1) = 0.6125 vs(1) = 0.125 min(hs(1), vs(1)) = 0.125 fs(1) = 0.5  f(1) = Chu kỳ điều khiển 3: h(2) = h(1) + v(1) = 980 + (-20) = 960  v(2) = v(1) + f(1) = (-20) + = -20  hs(2) = 0.6 vs(2) = 0.125 min(hs(2), vs(2)) = 0.125 fs(2) = 0.5  f(2) = Chu kỳ điều khiển 4: h(3) = h(2) + v(2) = 960 + (-20) = 940  hs(3) = 0.585  vs(3) = 0.125 v(3) = v(2) + f(2) = (-20) +0 = -20 min(hs(3), vs(3)) = 0.125 fs(3) = 0.5  f(3) =0 + Tổng hợp kết phép AND = MIN Các kết điều khiển vật bay hạ hạ độ cao sử dụng lý thuyết mờ lý thuyết đại số gia tử tổng hợp bảng 3.9 sau đây: C Độ h cao h Đ Đ iề iề u u k k hi hi 1 0 9 8 9 6 9 Tốc độ v Đ Đ iề iề u u k k hi hi - 2 - - - Lực điều Đ Đi iề ều u kh iể k n hi 0 - 0 0 Bảng 3.9: So sánh phương pháp điều khiển mờ phương pháp điều khiển sử dụng đại số gia tử AND = MIN Quỹ đạo tối ưu cho mơ hình máy bay hạ cánh có dạng sau: v = -(20/(1000)2)h2 (3.3) Sai số tốc độ hạ cánh qua chu kỳ điều khiển phương pháp sau: eF = (i = (vi0(F)-vi(F))2)1/2 = 7.15 (3.4) eHAMIN = (i = (vi0(HA)-vi(HAMIN))2)1/2 = 3.08 (3.5) 1 Trong : eF tổng sai số tốc độ hạ cánh phương pháp điều khiển mờ eHAMIN tổng sai số tốc độ hạ cánh phương pháp điều khiển sử dụng đại số gia tử trường hợp AND = MIN  Bộ Suy luận ngữ nghĩa Cơ sở luật ngữ nghĩa thực phép nội suy ngữ nghĩa từ es sang us sở ánh xạ ngữ nghĩa định lượng điều kiện ban đầu Thuật toán điều khiển dựa đại số gia tử khái quát bước sau: Bước 1: Chọn tham số đại số gia tử tính tốn giá trị ngữ nghĩa định lượng Ngữ nghĩa hóa định lượng biến sai lệch e (kể tốc độ sai lệch e), Tính tốn giá trị ngữ nghĩa định lượng cho sở luật (tạo sở luật ngữ nghĩa) Bước 2: Xây dựng ánh xạ ngữ nghĩa định lượng (đường cong ngữ nghĩa định lượng sở luật ngữ nghĩa) với phép AND phần IF luật phép MIN PRODUCT Trên sở điều kiện ban đầu ngữ nghĩa hoá định lượng, nội suy giá trị điều khiển ngữ nghĩa định lượng us theo ánh xạ ngữ nghĩa định lượng Bước 3: Chuyển giá trị điều khiển ngữ nghĩa định lượng us sang giá trị điều khiển u So sánh hai phương pháp điều khiển Một hệ mờ khơng thể mơ tả mơ hình tốn học truyền thống phương trình vi phân mà mơ hình ngơn ngữ, có nghĩa tập hợp luật Gọi R quan hệ tạo tập luật, X vectơ đầu vào mờ Y vectơ đầu mờ Khi quan hệ vào-ra hệ mờ hình thành phương trình quan hệ mờ sau đây: Y  X oY (3.6) Hoặc: R xi  i  y i X   x1 , x1 , , xn  T Y  P P h h ư A A K H h àn ó h m vi, ô độ tả ng 1 C ó P h 2 C ó C ó 3 C 4ó 4P C óViệc KK l hô chọn ng 1,bị 3ản 4h hư B.trên B C ác tậ p m N gữ ng hĩ a có  y1 , y1 , , yn  T C H ìn h dá D T ập m E K h ó đị C K hơ ng sử D N g E Đị nh ng hĩ Từ phân tích, so sánh trên, thấy phương pháp lập luận dùng đại số gia tử có yếu tố ảnh hưởng đến q trình lập luận tốn lập luận mờ chuyển tốn nội suy thơng thường nhờ hàm ngữ nghĩa định lượng Như phương pháp lập luận dùng đại số gia tử có độ xác cao so với phương pháp lập luận dùng lôgic mờ 3.4 Kết luận chương III Mơ hình điều khiển máy bay hạ cánh mơ hình thể rõ tính thơng minh q trình điều khiển Phương pháp điều khiển mờ đảm bảo phần tính mềm dẻo trình điều khiển Tuy nhiên máy bay tiếp đất hạ cánh khơng an tồn Trong phương pháp điều khiển dùng đại số gia tử chứng tỏ khả tiếp đất tốt đảm bảo quan hệ có tính paraboll (quỹ đạo hạ cánh tối ưu) tốc độ hạ cánh độ cao Điều vô quan trọng phương pháp điều khiển sử dụng đại số gia tử phải chọn gia tử phù hợp với tốn điều khiển cụ thể Chỉ đó, tốn điều khiển đảm bảo xác, thỏa mãn tốt mục tiêu điều khiển NHỮNG HƯỚNG NGHIÊN CỨU TIẾP THEO: Điều khiển sử dụng đại số gia tử hướng nghiên cứu khoa học điều khiển Kết chứng minh cụ thể luận văn “Điều khiển hạ độ cao vật bay sử dụng lý thuyết mờ đại số gia tử” rõ ràng : Qua số ví dụ, thấy phương pháp điều khiển dùng lý thuyết đại số gia tử cho phép đạt kết tốt hẳn so với phương pháp điều khiển mờ truyền thống trình bày chương Với ưu điểm đưa đại số gia tử vào nhiều tốn điều khiển khác điều khiển thích nghi, điều khiển bền vững, điều khiển mờ lai, … Điều khiển sử dụng đại số gia tử hướng nghiên cứu đầy tiềm xem xét lại hàng loạt vấn đề liên quan mơ hính hố, nhận dạng mơ hình, ước lượng trạng thái, dự báo, … quan điểm đại số gia tử Những kết đạt luận văn cho ta hướng để ứng dụng đại số gia tử kỹ thuật điều khiển KẾT LUẬN VÀ ĐỀ NGHỊ Như trình bày phần mở đầu, đề tài “ Điều khiển hạ độ cao vật bay sử dụng lý thuyết mờ đại số gia tử” đề tài phong phú phức tạp Cụ thể, sử dụng đại số gia tử giải toán điều khiển phi tuyến mà tốn có tham số bất định Trong luận văn này, trình bày số vấn đề sau:  Nghiên cứu lý thuyết mờ, điều khiển mờ ứng dụng tốn điều khiển Xây dựng thuật toán điều khiển  Nghiên cứu lý thuyết đại số gia tử ứng dụng đại số gia tử xây dựng thuật toán thực toán điều khiển  So sánh số lợi điểm phương pháp điều khiển sử dụng đại số gia tử so với điều khiển mờ truyền thống toán cụ thể “Điều khiển máy bay hạ cánh”  Đề xuất phương pháp chọn gia tử hợp lý cho tốn Tuy nhiên với trình độ thời gian có hạn nên luận văn khơng tránh khỏi sai sót Vì tơi mong nhận giúp đỡ thầy giáo, cô giáo cộng tác đồng nghiệp TÀI LIỆU THAM KHẢO [1] Ho N.C., Wechler W Hedge algebras, An algebraic approach to structure of sets linguistic truth values, Fuzzy set and system, 35, 218-293, 1990 [2] Ho N.C., Wechler, Extended hedge algebras and their application to fuzzy logic, Fuzzy set and system, 52, 259-281, 1992 [3] Ross T.J, Fuzzy logic with Engineering applications, International Edition, McGraw-Hill, Inc, 1997 [4] C.H Nguyen, D.A.Nguyen and N.L.Vu: Fuzzy controller using hedge algebra based Semantics of vague linguistic terms Fuzzy Control Systems (2012), 135192 [5] N.D Anh,H.L Bui, N.L Vu, D.T Tran: Application of hedge algebra-based fuzzy controller to active control of a structure against earthquake Struct Control Health Monit (2013) 20: 483–495 [6] D.Vukadinovi´c, M.Baˇsi´c, C.H.Nguyen, N.L.Vu, T.D.Nguyen: HedgeAlgebra-Based Voltage Controller for a Self- Excited Induction Generator Control Eng Prac (2014) 30:78–90 [7] H.L.Bui, C.H.Nguyen, N.L.Vu: General design method of hedge-algebras-based fuzzy controllers and an application for structural active control Applied Intelligence, (2015) Vol 43, N2, 251-275 [8] Zadeh L A (1965), “Fuzzy sets”, Inform and Control 8, pp 338–353 [9] Dinko Vukadinovic , Tien Duy Nguyen, Cat Ho Nguyen, Nhu Lan Vu, Mateo Bašic,1 and Ivan Grgic, Hedge-Algebra-Based Phase-Locked Loop for Distorted Utility Conditions Journal of Control Science and Engineering Volume 2019, Article ID 3590527, 17 pages [10] Ho, N.C., V.N Lan - Optimal hedge-algebras-based controller: Design and application, Fuzzy Sets and Systems, 159 (8) (2008) 968-989 [11] B H Le, L T Anh, B V Binh, “Explicit formula of hedge-algebras-based fuzzy controller and applications in structural vibration control”, Applied Soft Computing, vol 60, pp 150–166, 2017 [12] V N Lan, T T Ha, L K Lai, N T Duy, “The application of the hedge algebras in forecast control ed on the models”, In Proceedings of The 11st National Conference on Fundamental and Applied IT Research, Hanoi, Vietnam, pp 521528, 2018 [13] Khoi, P.B.; Van Toan, N Hedge‐Algebras‐Based Controller for Mechanisms of Relative Manipulation Int J Precis Eng Manuf 2018, 19, 377–385 ...TRƯỜNG ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN & TRUYỀN THÔNG  NGUYỄN THỊ HOA ĐIỀU KHIỂN HẠ ĐỘ CAO VẬT BAY SỬ DỤNG LÝ THUYẾT MỜ VÀ ĐẠI SỐ GIA TỬ CHUYÊN NGÀNH: KỸ THUẬT ĐIỀU KHIỂN... thức sử dụng toán điều khiển mờ điều khiển sử dựa Đại số gia tử chương tiếp sau CHƯƠNG II: MƠ HÌNH ĐIỀU KHIỂN MỜ 2.1 Mơ hình điều khiển mờ dạng Mamdani Một điều khiển mờ bao gồm khâu: mờ hóa,... với lý thuyết khác vào toán điều khiển liệu có thành cơng lý thuyết khác có hay khơng? Luận văn cho thấy sử dụng cơng cụ đại số gia tử cho nhiều lĩnh vực công nghệ khác số cơng nghệ điều khiển