(Luận văn) thiết kế và cài đặt lớp tập mờ và ứng dụng trong các hệ thống mờ

i ĐẠI HỌC THÁI NGUY ÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG lu an va n LUẬN VĂN THẠC THẠC SĨ to ie gh tn THIẾT KẾ VÀ CÀI ĐẶT LỚP TẬP MỜ p VÀ ỨNG DỤNG TRONG CÁC HỆ THỐNG MỜ d oa nl w Chuyên ngành: Khoa học máy tính lu Mã số: 60 48 01 01 nf va an Giáo viên hướng dẫn: PGS TSKH Nguyễn Xuân Huy Học viên: Triệu Thị Thu Hằng lm ul Lớp: Cao học K13B z at nh oi z m co l gm @ an Lu va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si ii LỜI CẢM ƠN Tơi xin bày tỏ kính trọng lịng biết ơn sâu sắc đến PGS TSKH Nguyễn Xuân Huy - người tận tình hướng dẫn giúp đỡ tơi suốt q trình học tập, nghiên cứu hồn thành luận văn Xin cảm ơn thầy, cô giáo trường cung cấp kiến thức tạo điều kiện thuận lợi cho trình học tập rèn luyện thân Tôi xin bày tỏ lòng biết ơn chân thành đến Ban Giám Hiệu, thầy giáo, giáo Phịng Sau đại học Trường Đại học Công Nghệ Thông Tin & lu Truyền Thông, Đại học Thái Nguyên, thầy giáo, cô giáo Viện Công Nghệ an n va Thông Tin, Viện Hàn lâm Khoa học Công nghệ Việt Nam giảng dạy tạo triển khai khoa học  công nghệ Viện để hoàn thành luận văn Xin cảm ơn gia đình, bạn bè hết lịng giúp đỡ, khích lệ, động viên tơi để p ie gh tn to điều kiện cho học tập làm việc môi trường nghiên cứu d oa nl w tơi thu được kết bước đầu luận văn nf va an lu z at nh oi lm ul z m co l gm @ an Lu va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si iii LỜI CAM ĐOAN Tôi xin cam đoan luận văn tự thân tơi tìm hiểu, nghiên cứu Các tài liệu tham khảo trích dẫn thích đầy đủ Nếu khơng đúng, tơi xin hoàn toàn chịu trách nhiệm Học viên Triệu Thị Thu Hằng lu an n va p ie gh tn to d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si iv MỤC LỤC LỜI CẢM ƠN i LỜI CAM ĐOAN ii CÁC KÍ HIỆU vi CÁC TOÁN TỬ OVERLOAD TRONG LỚP TẬP MỜ vii MỞ ĐẦU CHƯƠNG KHÁI NIỆM VỀ TẬP HỢP VÀ TẬP HỢP MỜ 1.1 Tập hợp 1.1.1 Khái niệm tập hợp lu an 1.1.2 Mô tả tập hợp n va 1.1.3 Trật tự tập hợp 1.2.1 Phép hợp gh tn to 1.2 Các phép toán tập hợp p ie 1.2.2 Phép giao 1.2.3 Phép trừ nl w 1.2.4 Biểu đồ Venn d oa 1.2.5 Các tính chất phép toán tập hợp an lu 1.2.6 Biểu diễn tập hợp nf va 1.3 Tập mờ 12 1.3.1 Độ thuộc tập mờ 12 lm ul 1.3.2 Thể độ thuộc 13 z at nh oi 1.3.3 Trật tự tập mờ 14 1.4 Các phép toán tập mờ 14 1.4.1 Yêu cầu 14 z gm @ 1.4.2 Các hàm min, max bù 14 1.4.3 Minh họa 15 l co 1.4.4 Phép hợp hai tập mờ 16 m 1.4.5 Phép giao hai tập mờ 17 an Lu 1.4.6 Phép bù 17 va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si v 1.4.7 Ngưỡng toán tử cắt 19 1.4.8 Các tính chất phép tốn tập mờ 20 CHƯƠNG THIẾT KẾ VÀ CÀI ĐẶT LỚP TẬP MỜ 22 2.1 Thiết kế hướng đối tượng 22 2.2 Thiết kế lớp tập UniSet 22 2.2.1 Các trường liệu 22 2.2.2 Các phương thức 22 2.3 Thiết kế lớp tập mờ FSet 27 2.3.1 Đặt vấn đề 27 lu 2.3.2 Các trường liệu 27 an n va 2.3.3 Các phương thức 28 2.4.1 Dạng thức thuật toán 43 gh tn to Các thuật toán 43 p ie 2.4.2 Thuật toán hợp hai tập mờ 46 2.4.3 Thuật toán giao hai tập mờ 47 nl w 2.4.4 Thuật toán bù tập mờ 47 d oa 2.4.5 Thuật toán Cut tập mờ 48 an lu 2.4.6 Thuật toán CutToSet tập mờ 49 nf va 2.4.7 Các thuật toán so sánh hai tập mờ 50 CHƯƠNG CÁC BÀI TOÁN ỨNG DỤNG 52 lm ul 3.1 Đặt vấn đề 52 z at nh oi 3.2 Trại bò 52 3.2.1 Phát biểu toán 52 3.2.2 Thuật toán tổ chức liệu 53 z gm @ 3.2.3 Chương trình 54 3.2.4 Dữ liệu 54 l co 3.2.5 Kết thực 54 m 3.3 Thực đơn hàng không 54 an Lu 3.3.1 Phát biểu toán 54 va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si vi 3.3.2 Thuật toán 55 3.3.3 Chương trình 56 3.3.4 Dữ liệu 56 3.3.5 Kết thực 56 3.4 Xử lý lỗi hệ thống 57 3.4.1 Phát biểu toán 57 3.4.2 Thuật toán 57 3.4.3 Chương trình 58 3.4.4 Dữ liệu 58 lu an 3.4.5 Kết thực 58 n va KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN 64 p ie gh tn to TÀI LIỆU THAM KHẢO 66 d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si vii CÁC KÍ HIỆU Ý NGHĨA KÍ HIỆU lu an n va p ie gh tn to Phần tử a thuộc tập S aS Phần tử a không thuộc tập S XY Tập X tập thực tập Y XY Tập X tập tập Y XY Giao hai tập X Y XY Hiệu tập X Y XY Hợp hai tập X Y X(a) Độ thuộc phần tử a tập mờ X X’ Phần bù tập X min(a,b) Trị nhỏ a b max(a,b) Trị lớn a b  Lượng tử tồn  Lượng tử với d oa nl w aS nf va an lu z at nh oi lm ul z m co l gm @ an Lu va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si viii CÁC TOÁN TỬ OVERLOAD TRONG LỚP TẬP MỜ Ý NGHĨA KÍ HIỆU an n va X Lớn hơn, bao thực Nhân p ie gh tn to Phần tử a thuộc tập S oa lu S[a] nl w an lu = d * toán tử gán nf va *=, -=, +=, /= tính gán z at nh oi lm ul z m co l gm @ an Lu va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si MỞ ĐẦU Lý chọn đề tài Như biết, suy luận đời thường suy luận khoa học, logic tốn học đóng vai trị quan trọng Ngày nay, xã hội phát triển nhu cầu người ngày cao Do đó, tiến khoa học cao Suy luận logic mệnh đề cổ điển với hai giá trị (1), sai (0) không giải hết toán phức tạp nảy sinh thực tế [1], [3], [5] Ví dụ lu Quần áo gọi dầy, mỏng để máy giặt biết mà có an Hai nhân viên hai quốc gia có mức lương, mà nhân viên n va chế độ tự động giặt sấy khô cho hợp lý ? gh tn to quốc gia gọi lương cao, quốc gia gọi lương trung bình, Làm để chuẩn bị hợp vị bữa ăn máy bay với yêu p ie tạm đủ sống Tại ? nl w cầu đa dạng hành khách ? d oa Giải câu hỏi nêu mang lại lợi ích cho nhiều an lu công ty, nhiều tổ chức nf va Những toán xuất ngày nhiều lĩnh vực điều khiển tối ưu, nhận dạng hệ thống, quản lý kinh tế xã hội Đó toán lm ul định với liệu không đầy đủ, không định nghĩa cách z at nh oi rõ ràng, tường minh (trong điều kiện thiếu thông tin chẳng hạn) Một cách tiếp cận mang lại nhiều kết thực tiễn nhà khoa học tiếp tục phát triển cách tiếp cận lý thuyết tập mờ (Fuzzy z gm @ set theory), Lotfi Zadeh trường đại học California, Mỹ đề xuất vào năm 1965 [5] Cơng trình khai sinh ngành khoa học lý thuyết tập mờ l co nhanh chóng nhà nghiên cứu công nghệ chấp nhận ý tưởng Một số m kết bước đầu hướng nghiên cứu góp phần tạo nên sản an Lu phẩm công nghiệp tiêu thụ thị trường Lý thuyết tập mờ ngày va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si phong phú hoàn chỉnh, tạo móng tốn học vững để phát triển logic mờ (Fuzzy logic) Có thể nói logic mờ tảng để xây dựng hệ mờ thực tiễn, ví dụ cơng nghiệp sản xuất xi măng, sản xuất điện năng, hệ chuyên gia y học giúp chuẩn đoán điều trị bệnh, hệ chuyên gia xử lý tiếng nói, nhận dạng hình ảnh, [1, 2, 4] Công cụ chủ chốt logic mờ tiền đề hóa lập luận xấp xỉ với phép suy diễn mờ [1, 2] Nền tảng sở logic mờ lý thuyết tập mờ Vậy khn khổ khóa luận thạc sĩ, học viên chọn đề tài: Thiết kế cài đặt lớp tập mờ ứng dụng hệ thống mờ lu Đối tượng phạm vi nghiên cứu an n va Luận văn tập trung vào hai nhóm đối tượng sau đây: to - Lý thuyết tập mờ phép toán tập mờ [2], [5]; gh tn - Ứng dụng: cài đặt thử nghiệm số toán vận dụng tập mờ Hướng nghiên cứu đề tài p ie hệ thống kinh tế xã hội [1], [3], [4] nl w  Nghiên cứu lý thuyết liên quan đến đề tài: Lý thuyết tập mờ, đối sánh tập an lu tập mờ d oa mờ với tập rõ kinh điển, phép toán truyền thống phép toán mở rộng nf va  Cài đặt thử nghiệm lớp tập mờ kiểu liệu với phép toán tập mờ Vận dụng lớp để giải số toán ứng dụng thực tiễn lm ul Những nội dung nghiên cứu z at nh oi Luận văn tập trung vào nội dung sau đây: Về lý thuyết chủ yếu tìm hiểu, tổng hợp khái niệm sở lý thuyết z tập mờ, đối sánh với lý thuyết tập hợp kinh điển gm @ Về hàm lượng Tin học, luận văn thiết kế cài đặt hai lớp liệu hai l kiểu liệu UniSet Fset để xử lý tập tập mờ liên kết với tập co Học viên cố gắng lựa chọn ký pháp tiện lợi cho việc triển khai chương m trình ứng dụng phát triển thêm số hàm tiện ích để thu kiểu liệu an Lu va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si 61 CPU: ROM: CP: CON: Chuyen gia 6, Trong so: Read: CPU: ROM: 82 CP: 50 lu an CON: 21 n va Cut by 55 to CPU: gh tn ROM: p ie CP: CON: nl w Chuyen gia 7, Trong so: d oa Read: ROM: 21 CP: 18 CPU: ROM: z at nh oi Cut by 55 lm ul CON: 39 nf va an lu CPU: 98 z an Lu va Số hóa Trung tâm Học liệu – ĐHTN m CPU: 62 co Read: l Chuyen gia 8, Trong so: gm CON: @ CP: http://www.lrc.tnu.edu.vn n ac th si 62 ROM: 54 CP: 36 CON: 47 Cut by 55 CPU: ROM: CP: CON: Chuyen gia 9, Trong so: lu an Read: n va CPU: 81 to ROM: 85 gh tn CP: 77 p ie CON: 65 Cut by 55 nl w CPU: d oa ROM: nf va CON: an lu CP: Chuyen gia 10, Trong so: ROM: 79 CP: 24 z at nh oi CPU: 39 lm ul Read: z an Lu va Số hóa Trung tâm Học liệu – ĐHTN m CP: co ROM: l CPU: gm Cut by 55 @ CON: 10 http://www.lrc.tnu.edu.vn n ac th si 63 CON: Sum: CPU: 33 ROM: 27 CP: CON: 13 Giai trinh ket qua lu an * CPU: 33 n va * ROM: 27 to * CON: 13 p ie gh tn * CP: d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si 64 KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN Lý thuyết tập hợp kinh điển logic hai khái niệm tương đương theo nghĩa sau đây: x phần tử tập hợp S mệnh đề P(x) Với lý thuyết tập mờ ta thiết lập với khái niệm logic mờ theo lu an nghĩa sau: n va x có độ thuộc m tập mờ F to mệnh đề P(x) p ie gh tn với độ chắn m Như vậy, kết nghiên cứu triển khai thu hai nl w lĩnh vực, tập hợp logic trao đổi qua lại với d oa Theo nghĩa trên, dựa kiểu liệu FSet ta xây dựng kiểu FBool an lu quản lý liệu thuộc kiểu logic mờ nf va Các kết thu khn khổ luận văn đóng góp sơ lm ul khởi vấn đề sau đây:  Tìm hiểu nội dung lý thuyết tập mờ theo ngữ cảnh z at nh oi so sánh với lý thuyết tập hợp kinh điển  Thiết kế cài đặt hai kiểu liệu nhúng môi trường C++ theo tiếp z cận hướng đối tượng UniSet FSet phục vụ cho việc quản lý tập mờ @ l toán thực tế gm  Chỉ khả ứng dụng hai kiểu liệu nói việc giải m co Qua trao đổi với nhà khoa học nghiên cứu tập mờ logic mờ, an Lu học viên nhận thức hai hướng phát triển đề tài sau: va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si 65  Tìm hiểu, tiến tới thiết kế cài đặt kiểu logic mờ với chế lập luận theo logic mờ cơng cụ lập trình  Mở rộng phạm vi ứng dụng tập mờ logic mờ Xây dựng toán cỡ lớn có tính thuyết phục lu an n va p ie gh tn to d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si 66 TÀI LIỆU THAM KHẢO Tài liệu tiếng Việt [1] Bùi Cơng Cường, Nguyễn Dỗn Phước (2001), Hệ mờ, Mạng Neuron ứng dụng, Tuyển tập giảng, NXB Khoa học Kỹ thuật [2] Nguyễn Thiện Luận (2015), Lý thuyết mờ ứng dụng Tin học, Tập 1: Cơ sở lý thuyết mờ, NXB Thống kê Tài liệu tiếng Anh [3] D Dubois, H Prade (1980), Fuzzy sets and systems: Theory and applications Academic press, New York lu an [4] Othman, S and Etienne, S (2010), “Decision making using fuzzy logic for n va stock trading”, Institute of Electrical and Electronics Engineers (IEEE), tn to Information Technology (ITSim), International Symposium Publications, Vol (2), pp 880 - 884 gh p ie [5] Zadeh, L.A (1965), “Fuzzy sets”, Information and Control 8: pp 338–353 d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu va Số hóa Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn n ac th si 67 PHỤ LỤC PHỤ LỤC 1: /* Tệp Cows.cpp Vitamin: A, C, D, E Muoi khoang: M Nguong: 29: khong bo sung 30 59: don vi lu an 60 79: don vi n va 80 100: don vi tn to gh Ngay thuc hien: 15/07/16 11:44 p ie Hoc vien: Trieu Thu Hang w d oa nl */ an lu #include nf va #include using namespace std; z at nh oi lm ul #include "FSet.h" z m an Lu va Số hóa Trung tâm Học liệu – ĐHTN co const int mn = 300; l int i, j, k, sochat, socathe; gm void Cows() { @ UniSet u(5); http://www.lrc.tnu.edu.vn n ac th si 68 const int m = 4; char name[300]; FSet x, sum; int diem; int nguong[m] = {0, 80, 60, 30}; int donvi[m] = {0, 3, 2, 1}; ifstream f("cows.inp"); // Mo file input ofstream g("cows.out"); // mo file output lu an f >> sochat; // Doc header: ten cac vitamin va khoang chat n va // Xuong dong moi to f.getline(name,mn,'\n'); // doc den gap \n, doi \0 gh tn cout