híng dÉn ®äc toµn v¨n b¸o c¸o KQNC ! B¹n muèn ®äc nhanhB¹n muèn ®äc nhanhB¹n muèn ®äc nhanhB¹n muèn ®äc nhanh nh÷ng th«ng tin cÇn thiÕt ? nh÷ng th«ng tin cÇn thiÕt ? nh÷ng th«ng tin cÇn thiÕt ? nh÷ng[.]
hướng dẫn đọc toàn văn báo cáo KQNC ! ! Bạn muốn đọc nhanh thông tin cần thiết ? Hy đọc qua Mục lục bên tay trái bạn trước đọc báo cáo ( với Acrobat 4.0 trở lên, cho trỏ chuột vào đề mục để đọc toàn dòng bị che khuất ) ! Chọn đề mục muốn đọc nháy chuột vào ! ! Bạn muốn phóng to hay thu nhỏ trang báo cáo hình ? Chọn, nháy chuột vào kích th thưước có sẵn Menu , ! Më View trªn Menu, Chän Zoom to ! Chän tû lƯ cã s½n hép kÝch th thíc muốn,, Nhấn OK tự điền tỷ lệ theo ý muốn Chúc bạn hài lòng với thông tin đđưược cung cÊp ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG TỐNG TRUNG KIÊN GIẢI THUẬT DI TRUYỀN VÀ PHƢƠNG PHÁP LẬP LUẬN XẤP XỈ DỰA TRÊN ĐẠI SỐ GIA TỬ GIẢI BÀI TỐN MƠ HÌNH ĐA ĐIỀU KIỆN LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH THÁI NGUN - 2015 Số hóa Trung tâm Học liệu - ĐHTN http://www.lrc-tnu.edu.vn/ ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG TỐNG TRUNG KIÊN GIẢI THUẬT DI TRUYỀN VÀ PHƢƠNG PHÁP LẬP LUẬN XẤP XỈ DỰA TRÊN ĐẠI SỐ GIA TỬ GIẢI BÀI TỐN MƠ HÌNH ĐA ĐIỀU KIỆN Chun ngành: KHOA HỌC MÁY TÍNH Mã số: 60480101 LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH Ngƣời hƣớng dẫn khoa học: TS NGUYỄN DUY MINH THÁI NGUYÊN - 2015 Số hóa Trung tâm Học liệu - ĐHTN http://www.lrc-tnu.edu.vn/ i LỜI CAM ĐOAN Tôi xin cam đoan, kết luận văn hoàn toàn kết tự thân tơi tìm hiểu, nghiên cứu hướng dẫn thầy giáo TS Nguyễn Duy Minh Tơi hồn tồn chịu trách nhiệm tính pháp lý q trình nghiên cứu khoa học luận văn Thái Nguyên, tháng 09 năm 2015 Học viên Tống Trung Kiên Số hóa Trung tâm Học liệu - ĐHTN http://www.lrc-tnu.edu.vn/ ii LỜI CẢM ƠN Em xin gửi lời cảm ơn chân thành đến người hướng dẫn khoa học TS Nguyễn Duy Minh, thầy định hướng nhiệt tình hướng dẫn, giúp đỡ em trình làm luận văn Em xin gửi lời biết ơn sâu sắc đến quý thầy cô giáo trường Đại học Công nghệ thông tin Truyền thông, thầy giáo, cô giáo Viện công nghệ thông tin thuộc Viện hàn lâm Khoa học Công nghệ Việt Nam truyền đạt kiến thức kinh nghiệm quý báu cho chúng em thời gian học tập Xin chân thành cảm ơn bạn bè, đồng nghiệp, bạn học viên lớp cao học CK12I, người thân gia đình động viên, chia sẻ, tạo điều kiện giúp đỡ suốt trình học tập làm luận văn Thái Nguyên, tháng 09 năm 2015 Học viên Tống Trung Kiên Số hóa Trung tâm Học liệu - ĐHTN http://www.lrc-tnu.edu.vn/ iii MỤC LỤC LỜI CAM ĐOAN i LỜI CẢM ƠN ii MỤC LỤC iii DANH MỤC BẢNG v DANH MỤC HÌNH vi MỞ ĐẦU Chƣơng CÁC KIẾN THỨC LIÊN QUAN 1.1 Tập mờ phép toán tập mờ 1.1.1 Tập mờ (fuzzy set) 1.1.2 Các phép toán đại số tập mờ 1.1.3 Các phép toán kết nhập 1.1.4 Phép kéo theo mờ 1.1.5 Phép hợp thành quan hệ mờ 1.2 Biến ngôn ngữ 11 1.3 Mơ hình mờ 12 1.4 Bài toán tối ưu giải thuật di truyền 13 1.4.1 Bài toán tối ưu 13 1.4.2 Giải thuật di truyền 14 1.5 Kết luận chương 27 Chƣơng PHƢƠNG PHÁP LẬP LUẬN XẤP XỈ TỐI ƢU DỰA TRÊN ĐẠI SỐ GIA TỬ 28 2.1 Đại số gia tử biến ngôn ngữ 28 2.1.1 Biến ngôn ngữ gia tử 28 2.1.2 Đại số gia tử biến ngôn ngữ 30 2.1.3 Các tính chất ĐSGT tuyến tính 33 2.1.4 Các hàm đo đại số gia tử tuyến tính 34 Số hóa Trung tâm Học liệu - ĐHTN http://www.lrc-tnu.edu.vn/ iv 2.2 Phương pháp lập luận xấp xỉ mờ 36 2.2.1 Phương pháp lập luận dựa quan hệ mờ 37 2.2.2 Phương pháp nội suy tuyến tính tập mờ 37 2.3 Phương pháp lập luận xấp xỉ mờ sử dụng đại số gia tử 39 2.4 Phương pháp lập luận xấp xỉ tối ưu dựa ĐSGT 43 2.4.1 Phân tích ảnh hưởng tham số α, β, trọng số liên kết 43 2.4.2 Bài toán tối ưu tham số ĐSGT cho phương pháp lập luận 45 2.4.3 Tối ưu tham số ĐSGT 46 2.5 Phương pháp lập luận xấp xỉ mờ sử dụng ĐSGT với tham số tối ưu 49 2.6 Kết luận chương 53 Chƣơng ỨNG DỤNG PHƢƠNG PHÁP LẬP LUẬN XẤP XỈ GIẢI BÀI TỐN MƠ HÌNH MỜ ĐA ĐIỀU KIỆN 54 3.1 Mô tả tốn mơ hình mờ đa điều kiện 54 3.2 Ứng dụng phương pháp lập luận xấp xỉ dựa đại số gia tử cho toán lắc ngược 55 3.2.1 Mơ tả tốn lắc ngược Ross 55 3.2.2 Thuật toán phương pháp lập luận xấp xỉ dựa đại số gia tử 56 3.2.3 Phương pháp lập luận xấp xỉ tối ưu dựa đại số gia tử 59 3.3 Kết luận chương 63 KẾT LUẬN 64 TÀI LIỆU THAM KHẢO 65 Số hóa Trung tâm Học liệu - ĐHTN http://www.lrc-tnu.edu.vn/ v DANH MỤC BẢNG Bảng 2.1 Các giá trị ngôn ngữ biến Health Age 29 Bảng 2.2 Ví dụ tính âm dương gia tử 32 Bảng 3.1 Bảng mơ hình tập luật cho toán lắc ngược 56 Bảng 3.2 Mơ hình định lượng ngữ nghĩa 57 Bảng 3.3 Tọa độ kết nhập biến trạng thái vào 58 Bảng 3.4 Kết tính tốn toán lắc ngược 59 Bảng 3.5 Kết tham số ĐSGT 60 Bảng 3.6 Các tham số trọng số tối ưu cho toán lắc ngược 61 Bảng 3.7 Kết nhập định lượng ngữ nghĩa biến đầu vào 61 với tham số tối ưu 61 Bảng 3.8 Sai số phương pháp hệ lắc ngược 62 Số hóa Trung tâm Học liệu - ĐHTN http://www.lrc-tnu.edu.vn/ vi DANH MỤC HÌNH Hình 1.1 Tập mờ hình thang Hình 3.1 Mơ tả hệ lắc ngược 55 Hình 3.2 Đường cong định lượng ngữ nghĩa 58 Hình 3.3 Đường cong ngữ nghĩa với tham số tối ưu 62 Hình 3.4 Đồ thị lỗi hệ lắc ngược 63 Số hóa Trung tâm Học liệu - ĐHTN http://www.lrc-tnu.edu.vn/ MỞ ĐẦU Lý thuyết tập mờ logic mờ L.A Zadeh đề xuất vào thập niên 60 kỷ trước Kể từ đời, lý thuyết tập mờ ứng dụng tập mờ phát triển liên tục với mục đích xây dựng phương pháp lập luận xấp xỉ để mơ hình hóa q trình suy luận người Cho đến phương pháp lập luận xấp xỉ dựa lý thuyết tập mờ quan tâm nghiên cứu phương diện lý thuyết ứng dụng nhiều lĩnh vực khác nhau, đạt nhiều thành tựu ứng dụng, đặc biệt ứng dụng hệ chuyên gia mờ, điều khiển mờ… [9] Tuy nhiên, phương pháp lập luận người vấn đề phức tạp khơng có cấu trúc Vì kể từ lý thuyết tập mờ đời nay, chưa có sở lý thuyết hình thức chặt chẽ theo nghĩa tiên đề hoá cho logic mờ lập luận mờ Để đáp ứng phần nhu cầu xây dựng sở tốn học cho việc lập luận ngơn ngữ, N.Cat Ho Wechler đề xuất cách tiếp cận dựa cấu trúc tự nhiên miền giá trị biến ngôn ngữ, giá trị biến ngôn ngữ thực tế có thứ tự định mặt ngữ nghĩa, ví dụ ta hồn tồn cảm nhận rằng, „trẻ‟ nhỏ „già‟, „nhanh‟ lớn „chậm‟ Xuất phát từ quan hệ ngữ nghĩa tác giả phát triển lý thuyết đại số gia tử (ĐSGT) Với việc định lượng từ ngôn ngữ đề cập, số phương pháp lập luận nội suy đời nhằm mục đích giải tốn lập luận xấp xỉ mờ, toán ứng dụng nhiều tự nhiên, kỹ thuật…, phương pháp lập luận gọi phương pháp lập luận xấp xỉ mờ sử dụng ĐSGT Các phương pháp lập luận mờ sử dụng ĐSGT từ trước đến xem mơ hình mờ (0.1) tập hợp “điểm mờ” Khi tốn lập Số hóa Trung tâm Học liệu - ĐHTN http://www.lrc-tnu.edu.vn/ ... PHƢƠNG PHÁP LẬP LUẬN XẤP XỈ GIẢI BÀI TỐN MƠ HÌNH MỜ ĐA ĐIỀU KIỆN 54 3.1 Mô tả tốn mơ hình mờ đa điều kiện 54 3.2 Ứng dụng phương pháp lập luận xấp xỉ dựa đại số gia tử cho toán lắc... 55 3.2.1 Mô tả toán lắc ngược Ross 55 3.2.2 Thuật toán phương pháp lập luận xấp xỉ dựa đại số gia tử 56 3.2.3 Phương pháp lập luận xấp xỉ tối ưu dựa đại số gia tử 59 3.3 Kết luận chương...ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG TỐNG TRUNG KIÊN GIẢI THUẬT DI TRUYỀN VÀ PHƢƠNG PHÁP LẬP LUẬN XẤP XỈ DỰA TRÊN ĐẠI SỐ GIA TỬ GIẢI BÀI TỐN MƠ HÌNH ĐA ĐIỀU