Tìm hiểu ứng dụng của ô tô mát nâng cao trong bài toán sánh mẫu

Tìm hiểu ứng dụng của ô tô mát nâng cao trong bài toán sánh mẫu Tìm hiểu ứng dụng của ô tô mát nâng cao trong bài toán sánh mẫu Tìm hiểu ứng dụng của ô tô mát nâng cao trong bài toán sánh mẫu Tìm hiểu ứng dụng của ô tô mát nâng cao trong bài toán sánh mẫu Tìm hiểu ứng dụng của ô tô mát nâng cao trong bài toán sánh mẫu Tìm hiểu ứng dụng của ô tô mát nâng cao trong bài toán sánh mẫu Tìm hiểu ứng dụng của ô tô mát nâng cao trong bài toán sánh mẫu Tìm hiểu ứng dụng của ô tô mát nâng cao trong bài toán sánh mẫu Tìm hiểu ứng dụng của ô tô mát nâng cao trong bài toán sánh mẫu Tìm hiểu ứng dụng của ô tô mát nâng cao trong bài toán sánh mẫu

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI Nguyễn Thị Hà Thu TÌM HIỂU ỨNG DỤNG CỦA ƠTƠMÁT NÂNG CAO TRONG BÀI TỐN SÁNH MẪU Chun ngành : Toán - tin LUẬN VĂN THẠC SĨ KỸ THUẬT TOÁN – TIN ỨNG DỤNG NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS.TS PHAN TRUNG HUY Hà Nội - 2012 MỤC LỤC LỜI CAM ĐOAN DANH MỤC CÁC HÌNH VẼ MỞ ĐẦU Lý chọn đề tài Mục đích nghiên cứu Nội dung nghiên cứu Các kết làm Bố cục luận văn CHƯƠNG TỔNG QUAN 1.1 Khảo sát thực trạng tìm kiếm thơng tin 1.2 Giới thiệu toán sánh mẫu 11 CHƯƠNG CÁC THUẬT TOÁN SÁNH MẪU 12 2.1 Thuật tốn cài đặt thơ Brute-Force 12 2.2 Thuật toán áp dụng ôtômát mờ 14 2.2.1 Phát biểu toán 14 2.2.2 Mơ hình ơtơmát mờ 14 2.2.3 Thuật tốn sánh mẫu theo tiếp cận ơtơmát mờ 15 2.3 Thuật toán Aho-Corasick 23 2.3.1 Phát biểu toán 23 2.3.2 Mô hình ơtơmát thuật tốn 23 2.3.3 Thuật toán sánh mẫu 24 2.3.4 Ví dụ 27 2.3.5 Đánh giá tốc độ tìm kiếm 33 CHƯƠNG 3: TỔ CHỨC CẤU TRÚC DỮ LIỆU 34 3.1 Cây biểu thức logic 34 3.2 Biểu thức logic dạng trung tố 35 3.3 Biểu thức logic dạng hậu tố 36 3.4 Chuyển đổi biểu thức logic dạng trung tố dạng hậu tố 37 3.5 Tính giá trị biểu thức logic dạng hậu tố 40 CHƯƠNG XÂY DỰNG PHƯƠNG THỨC TÌM KIẾM MỀM DẺO 43 4.1 Bài tốn tìm kiếm mềm dẻo theo biểu thức logic 43 4.2 Xây dựng chương trình thử nghiệm tìm kiếm mềm dẻo theo biểu thức logic45 4.2.1 Giới thiệu mơi trường, cơng cụ lập trình 45 4.2.2 Giới thiệu chương trình 46 KẾT LUẬN 62 TÀI LIỆU THAM KHẢO 63 LỜI CAM ĐOAN Trước vào nội dung luận văn thạc sĩ mình, em xin cam đoan luận văn em viết, dựa kiến thức, kinh nghiệm thân, hướng dẫn thầy hướng dẫn, thông tin mà em tìm hiểu, tham khảo qua tài liệu liên quan Em xin gửi lời cảm ơn chân thành đến thầy Viện Tốn ứng dụng Tin học, trường Đại học Bách Khoa Hà Nội tạo điều kiện truyền đạt cho em kiến thức vơ hữu ích Đặc biệt, em xin bày tỏ lòng biết ơn sâu sắc đến PGS.TS Phan Trung Huy Ngoài việc truyền đạt cho em kiến thức giúp em tìm kiếm tài liệu tham khảo, Thầy hướng dẫn em tận tình Trong trình viết luận văn, em gặp số khó khăn, Thầy động viên, giúp đỡ em nhiều Do trình độ có hạn, luận văn em cịn nhiều nhược điểm sơ suất, kính mong thầy góp ý Em xin chân thành cảm ơn! Hà Nội, ngày 15 tháng 09 năm 2012 Học viên Nguyễn Thị Hà Thu DANH MỤC CÁC HÌNH VẼ Hình 1.1 Tìm kiếm thơng dụng theo box cứng…………………………….……… Hình 1.2 Tìm kiếm nâng cao Yahoo!Việt Nam………………………….……… Hình 1.3 Tìm kiếm nâng cao Ask…………………………………… ……………9 Hình 1.4 Tìm kiếm nâng cao Google…………………………………………… 10 Hình 2.1 Sánh mẫu thuật tốn cài đặt thơ………………………………………12 Hình 2.2 Độ mờ thuật toán sánh mẫu theo tiếp cận ơtơmát mờ………………15 Hình 2.3 Giá trị next[i] thuật tốn sánh mẫu theo tiếp cận ơtơmát mờ 17 Hình 2.4 Mơ hình cấu trúc tơ mát nâng cao thuật tốn Aho-Corasick…………………………………………………………………… 23 Hình 2.5 Trạng thái hàm goto thuật tốn Aho-Corasick…………………28 Hình 2.6 Goto function thuật toán sánh đa mẫu Aho-Corasick………………31 Hình 3.1 Cây biểu thức logic…………………………………………………………… 34 Hình 4.1 Kết minh họa cho modun sánh mẫu theo thuật toán cài đặt thơ… 47 Hình 4.2 Kết minh họa cho modun sánh mẫu theo tiếp cận ôtômát mờ…… 50 Hình 4.3 Kết minh hoạ cho modun tìm kiếm đa mẫu theo thuật tốn Aho-Corasick……………………………………………………………………52 Hình 4.4 Kết minh họa cho modun chuyển đổi biểu thức logic dạng trung tố dạng hậu tố…………………………………………………………54 Hình 4.5 Kết minh họa cho modun tính giá trị biểu thức logic dạng hậu tố…56 Hình 4.6 Kết minh họa cho modun tìm kiếm theo biểu thức logic áp dụng thuật tốn sánh mẫu cài đặt thơ…………………………………………… 58 Hình 4.7 Kết minh họa cho mudun tìm kiếm theo biểu thức logic áp dụng ơtơmát mờ……………………………………………………………………… 59 Hình 4.8 Kết minh họa cho mudun tìm kiếm theo biểu thức logic áp dụng thuật toán Aho-Corasick………………………………………………………61 MỞ ĐẦU Lý chọn đề tài Trong xu phát triển khoa học cơng nghệ, máy tính Internet sử dụng hầu hết lĩnh vực góp phần vào việc thúc đẩy phát triển nhiều lĩnh vực sống Hiện nay, ngồi máy tính, cịn có nhiều sản phẩm công nghệ khác Ipad, Iphone, hay điện thoại thay cho máy tính nhằm phục vụ cho mục đích định người, học tập, cơng việc, giải trí tìm kiếm thơng tin Trong thời kì có phát triển Internet mạnh mẽ ngày nay, tốn tìm kiếm có vai trò quan trọng Một vấn đề cốt lõi để hệ thống tìm kiếm thơng tin hoạt động nhanh xác hệ thống phải áp dụng thuật tốn hiệu để tìm kiếm liệu Dữ liệu máy tính lưu trữ nhiều dạng khác hình ảnh, âm thanh,… phổ biến lưu trữ sử dụng chuỗi Ta thấy dạng khác chuỗi file liệu, biểu diễn gen, hay văn đọc Ba vấn đề tốn tìm kiếm: tính hiệu kết tìm kiếm, hai tốc độ tìm kiếm nhanh, thứ ba giao diện hướng người dùng Hiện nay, thị trường ứng dụng phổ biến modun tìm kiếm cứng nhắc Ví dụ box tìm kiếm cứng thư viện, trang tìm kiếm internet Người sử dụng phải nhập nội dung cần tìm kiếm vào box với số lượng hạn chế nội dung phù hợp với tính box Bởi với modun tìm kiếm cứng vậy, việc tìm kiếm thơng tin theo nhiều u cầu khác với liên kết logic cứng nhắc cần nhiều box Điều gây phức tạp tính khơng mềm dẻo có phát sinh số u cầu tìm kiếm cách xây dựng phát triển chương trình địi hỏi phải viết lại chương trình Vì vậy, cần phải xây dựng phương thức tìm kiếm nâng cao, đáp ứng ba vấn đề tốn tìm kiếm Một vấn đề cốt lõi để hệ thống tìm kiếm thơng tin hoạt động nhanh xác hệ thống phải áp dụng thuật tốn hiệu để tìm kiếm liệu, cụ thể thuật tốn sánh mẫu có tính mềm dẻo để kết hợp với tổ chức cấu trúc liệu để xây dựng phương thức tìm kiếm mềm dẻo Từ đó, cho phép người sử dụng chương trình tìm kiếm thơng tin theo tổ hợp logic tùy ý xâu mẫu, nâng cao tính mềm dẻo dạng thức nhập liệu đầu vào, không cứng nhắc nhiều ứng dụng sẵn có thị trường sử dụng Phương pháp khắc phục hai vấn đề: giao diện thân thiện, mềm dẻo với người sử dụng; xây dựng lại chương trình có u cầu phát sinh, tiết kiệm chi phí xây dựng chương trình Trên giới, có phần mềm tìm kiếm theo biểu thức logic, nhiên tính bảo mật đề quyền nên phần mềm xây dựng Nhu cầu tìm hiểu phương thức tìm kiếm để chủ động nắm bắt cơng nghệ, phát triển nâng cấp thuật tốn, sử dụng để tìm kiếm vùng liệu có tính chất bảo mật nhạy cảm, nảy sinh cách tự nhiên Giải pháp cho vấn đề nhờ sử dụng phương pháp ôtômát nâng cao hợp lý Vì lý đó, đề tài lựa chọn cho luận văn tốt nghiệp vào tìm hiểu ứng dụng ơtơmát nâng cao tốn sánh mẫu Mục đích nghiên cứu Luận văn vào nghiên cứu thuật tốn sánh mẫu ứng dụng ơtơmát nâng cao, cách thức liên kết thuật toán với biểu thức logic để giải tốn tìm kiếm sở áp dụng kỹ thuật ôtômát nâng cao tình tìm kiếm xác đơn, đa mẫu tìm kiếm mềm dẻo theo biểu thức logic Nội dung nghiên cứu - Tìm hiểu thuật tốn sánh đơn mẫu đa mẫu sử dụng ơtơmát nâng cao, so sánh thuật toán để thấy sức mạnh ơtơmát nâng cao tốn sánh mẫu - Tìm hiểu biểu thức logic, cách tổ chức cấu trúc liệu để tính “giá trị” câu lệnh tìm kiếm biểu diễn dạng biểu thức logic - Tìm cách liên kết thuật toán sánh mẫu biểu thức logic để xây dựng phương thức tìm kiếm mềm dẻo Các kết làm - Trình bày thuật tốn tìm kiếm đơn mẫu đa mẫu, so sánh thuật toán để thấy sức mạnh ơtơmát nâng cao tốn sánh mẫu - Trình bày cách tổ chức cấu trúc liệu, biểu thức logic, tính tốn giá trị biểu thức logic - Đóng góp tác giả: Xây dựng phương thức tìm kiếm mềm dẻo theo biểu thức logic dựa kết hợp thuật toán sánh mẫu ứng dụng ôtômát nâng cao biểu thức logic cho đơn mẫu đa mẫu Bố cục luận văn Luận văn bao gồm chương sau : • Chương 1: Tổng quan Chương giới thiệu tốn tìm kiếm mềm dẻo theo biểu thức logic, trọng tâm tốn sánh mẫu có ứng dụng ơtơmát nâng cao • Chương 2: Các thuật tốn sánh mẫu Chương phân tích q trình tiền xử lý thơng tin đầu vào, trình bày thuật tốn tìm kiếm đơn mẫu theo phương thức cài đặt thô, theo tiếp cận ơtơmát mờ, tìm kiếm đa mẫu theo thuật tốn Aho-Corasick • Chương 3: Tổ chức cấu trúc liệu Chương đưa cách xây dựng biểu thức logic, trình bày cách thức tính giá trị biểu thức logic theo phương pháp hậu tố • Chương 4: Xây dựng phương thức tìm kiếm mềm dẻo theo biểu thức logic Nội dung chương kết hợp thuật tốn sánh mẫu trình bày chương biểu thức logic chương để xây dựng phương thức tìm kiếm mềm dẻo Chương giới thiệu công cụ môi trường lập trình để xây dựng chương trình tìm kiếm mềm dẻo thử nghiệm dựa modun cài đặt thuật tốn sánh mẫu • Kết luận • Tài liệu tham khảo CHƯƠNG TỔNG QUAN 1.1 Khảo sát thực trạng tìm kiếm thơng tin Trong thời kì có phát triển Internet mạnh mẽ ngày nay, tốn tìm kiếm có vai trị quan trọng Dữ liệu máy tính lưu trữ nhiều dạng khác hình ảnh, âm thanh,… phổ biến lưu trữ sử dụng chuỗi Ta thấy dạng khác chuỗi file liệu, biểu diễn gen, hay văn đọc Ba vấn đề tốn tìm kiếm: tính hiệu kết tìm kiếm, hai tốc độ tìm kiếm nhanh, thứ ba giao diện hướng người dùng Hiện nay, thị trường ứng dụng phổ biến modun tìm kiếm cứng nhắc dựa box tìm kiếm Người sử dụng phải nhập nội dung cần tìm kiếm vào box với số lượng hạn chế nội dung phù hợp với tính box Bởi với modun tìm kiếm cứng vậy, việc tìm kiếm thơng tin theo nhiều u cầu khác với liên kết logic cứng nhắc cần nhiều box Điều gây phức tạp người sử dụng cách xây dựng phát triển chương trình ảnh hưởng đến tốc độc tìm kiếm Hình 1.1 Tìm kiếm thơng dụng theo box cứng Hình 1.2 Tìm kiếm nâng cao Yahoo! Việt Nam http://vn.search.yahoo.com/web/advanced Hình 1.3 Tìm kiếm nâng cao Ask http://www.ask.com/advancedsearch?o=0&l=dir Hình 1.4 Tìm kiếm nâng cao Google http://www.google.com.vn/advanced_search Trên giới, có chương trình tìm kiếm xây dựng dựa modun tìm kiếm mềm dẻo, ví dụ điển hình Tìm kiếm nâng cao Google Tuy nhiên, phạm trù quốc tế, vấn đề công nghệ, cạnh tranh, tính bảo mật nên khơng biết modun tìm kiếm mềm dẻo xây dựng Vì vậy, cần phải xây dựng phương thức tìm kiếm nâng cao, đáp ứng ba vấn đề tốn tìm kiếm Từ đó, cho phép người sử dụng chương trình tìm kiếm thơng tin theo tổ hợp logic tùy ý xâu mẫu, nâng cao tính mềm dẻo dạng thức nhập liệu đầu vào, không cứng nhắc nhiều ứng dụng sẵn có thị trường sử dụng Phương pháp khắc phục hai vấn đề: giao diện thân thiện, mềm dẻo hơn; tốc độ tìm kiếm cải thiện nhiều so với modun tìm kiếm cứng nhắc, khơng phải xây dựng lại chương trình có nhiều u cầu phát sinh Một vấn đề cốt lõi để hệ thống tìm kiếm thơng tin hoạt động nhanh xác hệ thống phải áp dụng thuật tốn hiệu để tìm kiếm liệu, cụ thể thuật tốn sánh mẫu có tính mềm dẻo để kết hợp với tổ chức cấu trúc liệu để xây dựng phương thức tìm kiếm thơng minh Các thuật tốn sánh mẫu ứng dụng ơtơmát nâng cao thuật tốn đáp ứng tính chất mềm dẻo 10 Hình 4.2 Kết minh họa cho modun sánh mẫu theo tiếp cận ôtômát mờ (xâu mẫu xuất xâu đích, kết trả xâu mẫu không xuất xâu đích, kết trả 0) Modun tìm kiếm đa mẫu theo thuật tốn Aho-Corasick • Chức modun: kiểm tra xuất nhiều xâu mẫu xâu đích • Input : k xâu kí tự (xâu mẫu), xâu đích S độ dài n • Ouput: trả xâu mẫu có xuất S Modun gồm bước: - Bước 1: Phase tiền xử lý Funtion PREAC(X, k) Tạo node gốc //Tạo vòng lặp, xây dựng hàm goto cho node gốc For a ∈ ∑ Do g(root, a) = root //Đưa từ khóa vào 50 For i=0 to k-1 Do ENTER(X[i], root) // Xây dựng hàm failure link để hoàn tất việc xây dựng COMPLETE(root) Return root ENTER(x, root) Gán node r = root i=0 //Duyệt theo cạnh xây dựng While i < |x| and g(r, x[i]) ≠ FAIL and g(r, x[i]) ≠ root Do r = g(r, x[i]) i=i+1 //Tạo cạnh While i < |x| Do : Tạo node s g(r, x[i]) = s r=s i=i+1 out(r) = {x} COMPLETE(root) Queue = empty For: với kí tự a mà g(0, a) = s ≠ Queue = Queue U {s} F(s) = While queue ≠ empty Lấy node r từ queue For: với kí tự a mà g(r, a) = s ≠ Queue = Queue U {s} 51 State = f(r) While g(state, a) = fail state = f(state) F(s) = g(state, a) Output(s) = output(s) U output(f(s)) - Bước 2: Phase tìm kiếm Bắt đầu từ trạng thái state = Duyệt kí tự a chuỗi text tìm kiếm While g(state, ai) = fail state = f(state) State = g(state, ai) Nếu output(state) != empty return True Return False Hình 4.3 Kết minh hoạ cho modun tìm kiếm đa mẫu theo thuật toán Aho-Corasick 52 Modun chuyển biểu thức logic dạng trung tố hậu tố Chức modun: Chuyển biểu thức logic dạng trung tố biểu thức logic dạng hậu tố - Input: Biểu thức logic P dạng trung tố với toán hạng 1, toán tử and, or, not ký hiệu &, | , ! - Output: Biếu thức logic Q dạng hậu tố Sau giả code: đầu Q rỗng Procedure POLISH (P,Q); Thêm dấu “)” vào cuối P; { để làm dấu kết thúc } call PUSH ( S, T, “(“ ); Repeat Đọc ký tự X P duyệt từ trái qua phải; Case X toán hạng : Bổ sung thêm X vào Q; X dấu ngoặc mở : call PUSH(S,T, “(“ ); X toán tử : While thứ tự ưu tiên S[T] lớn thứ tự ưu tiên X begin call POP( S,T,Y); {loại phần tử khỏi stack S, đưa Y} Bổ sung Y vào Q end; call PUSH( S,T,X) { Bổ sung X vào stack }; X dấu ngoặc đóng : repeat call POP( S,T,Y); Bổ sung thêm Y vào Q; until gặp dấu ‘(‘ loại dấu ‘(‘ khỏi stack S end case until stack rỗng; 53 return Hình 4.4 Kết minh họa cho modun chuyển đổi biểu thức logic dạng trung tố dạng hậu tố 54 Modun tính giá trị biểu thức hậu tố Chức modun: tính giá trị biểu thức logic dạng hậu tố Q - Input: Biểu thức logic dạng hậu tố Q với toán hạng 1, toán tử and, or, not ký hiệu &, | , ! - Output: giá trị biểu thức Q Sau giả code: Procedure EVAL (Q,VAL); {Thủ tục thực tính giá trị biểu thức hậu tố Q, tương ứng với giá trị toán hạng; kết gán cho VAL Ở có sử dụng stack S với T trỏ tới đỉnh; đầu T = 0, stack rỗng } Ghi thêm dấu “)” vào cuối biểu thức Q để làm dấu kết thúc; repeat Đọc ký tự X Q, duyệt từ trái sang phải; if X toán hạng then call PUSH(S,T,X) else if X toán tử (!) then begin call POP(S,T,Y); W : = (!) Y ; call PUSH(S,T,W); end else begin call POP(S,T,Y); call POP(S,T,Z); W : = Z (X) Y ; {(X) toán tử X ∧ hay ∨ } call PUSH(S,T,W) end; until gặp dấu kết thúc “)” ; call POP (S,T,VAL); return 55 Hình 4.5 Kết minh họa cho modun tính giá trị biểu thức logic dạng hậu tố Modun tìm kiếm theo biểu thức logic sử dụng thuật toán cài đặt thô Chức modun: kiểm tra xâu đích S có thỏa mãn biểu thức logic P hay khơng ? - Input: xâu đích S xâu ký tự bảng chữ cái, biểu thức logic P với toán hạng xâu mẫu nằm dấu ngoặc kép để phân biệt với toán tử and, or, not 56 - Output: Nếu xâu đích S thỏa mãn biểu thức P, trả kết Có Nếu xâu đích S khơng thỏa mãn biểu thức P, trả kết Không Modun xây dựng dựa tổng hợp modun mục trước, thông qua bước sau:  Bước 1: Tách xâu Biểu thức P nhập vào tách thành xâu toán hạng riêng lẻ  Bước 2: Định giá trị xâu toán hạng P xâu đích S Bước sử dụng đến modun sánh mẫu theo thuật tốn cài đặt thơ mục Nếu xâu xuất S, giá trị Nếu xâu khơng xuất S, giá trị  Bước 3: Chuyển biểu thức dạng trung tố P dạng hậu tố Q (modun trình bày mục 4)  Bước 4: Tính giá trị biểu thức hậu tố Q (modun trình bày mục 5) Nếu Q có giá trị kết luận S có thỏa mãn P Nếu Q có giá trị kết luận S khơng thỏa mãn P 57 Hình 4.6 Kết minh họa cho modun tìm kiếm theo biểu thức logic áp dụng thuật toán sánh mẫu cài đặt thơ Modun tìm kiếm theo biểu thức logic sử dụng cách tiếp cận ôtômát mờ Chức modun: kiểm tra xâu đích S có thỏa mãn biểu thức logic P hay không ? - Input: xâu đích S xâu ký tự bảng chữ cái, biểu thức logic P với toán hạng xâu mẫu nằm dấu ngoặc kép để phân biệt với toán tử and, or, not - Output: Nếu xâu đích S thỏa mãn biểu thức P, trả kết Có Nếu xâu đích S không thỏa mãn biểu thức P, trả kết Khơng Modun xây dựng dựa tổng hợp modun mục trước, thông qua bước sau:  Bước 1: Tách xâu Biểu thức P nhập vào tách thành xâu toán hạng riêng lẻ  Bước 2: Định giá trị xâu tốn hạng P xâu đích S Bước sử dụng đến modun sánh mẫu theo tiếp cận ơtơmát mờ trình bày mục Nếu xâu xuất S, giá trị Nếu xâu không xuất S, giá trị 58  Bước 3: Chuyển biểu thức dạng trung tố P dạng hậu tố Q (modun trình bày mục 4)  Bước 4: Tính giá trị biểu thức hậu tố Q (modun trình bày mục 5) Nếu Q có giá trị kết luận S có thỏa mãn P Nếu Q có giá trị kết luận S khơng thỏa mãn P Hình 4.7 Kết minh họa cho mudun tìm kiếm theo biểu thức logic áp dụng ơtơmát mờ 59 Modun tìm kiếm theo biểu thức logic sử dụng thuật toán Aho-Corasick Chức modun: kiểm tra xâu đích S có thỏa mãn biểu thức logic P hay không ? - Input: xâu đích S xâu ký tự bảng chữ cái, biểu thức logic P với toán hạng xâu mẫu nằm dấu ngoặc kép để phân biệt với toán tử and, or, not - Output: Nếu xâu đích S thỏa mãn biểu thức P, trả kết Có Nếu xâu đích S không thỏa mãn biểu thức P, trả kết Khơng Modun xây dựng dựa tổng hợp modun mục trước, thông qua bước sau:  Bước 1: Tách xâu Biểu thức P nhập vào tách thành xâu toán hạng riêng lẻ  Bước 2: Định giá trị xâu tốn hạng P xâu đích S Bước sử dụng đến modun sánh đa mẫu theo thuật tốn Aho-Corasick trình bày mục Nếu xâu xuất S, giá trị Nếu xâu không xuất S, giá trị  Bước 3: Chuyển biểu thức dạng trung tố P dạng hậu tố Q (modun trình bày mục 4)  Bước 4: Tính giá trị biểu thức hậu tố Q (modun trình bày mục 5) Nếu Q có giá trị kết luận S có thỏa mãn P Nếu Q có giá trị kết luận S khơng thỏa mãn P 60 Hình 4.8 Kết minh họa cho mudun tìm kiếm theo biểu thức logic sử dụng thuật toán Aho-Corasick 61 KẾT LUẬN Luận văn đề cập đến việc nghiên cứu toán thực tiễn tốn tìm kiếm, cho thấy giải pháp xây dựng modun hỗ trợ tìm kiếm mềm dẻo nhờ tiếp cận ơtơmát nâng cao tốn sánh mẫu với liên kết logic Và vận dụng kiến thức học cấu trúc liệu nâng cao Đóng góp tác giả luận văn xây dựng phương thức tìm kiếm mềm dẻo theo biểu thức logic dựa kết hợp thuật toán sánh mẫu ứng dụng ôtômát nâng cao biểu thức logic Hướng phát triển đề tài: Chương trình phát triển thành mudun tìm kiếm độc lập, tìm kiếm xấp xỉ xây dựng hàm, thư viện tìm kiếm cho cộng đồng tin học sử dụng 62 TÀI LIỆU THAM KHẢO Đỗ Xuân Lôi (2008), Cấu trúc liệu giải thuật; Nhà xuất Đại học Quốc gia Hà Nội Maxime Crochemore, Thierry Lecroq (1990), Handbook of Theoretical Computer Science, Elsevier, Amsterdam J.V Leeuwen Ed., chapter 13, pp 326-373 Phan Trung Huy, Nguyễn Thị Thanh Huyền (2002), “Tiếp cận mờ số thuật tốn so mẫu”, Tạp chí tin học điều khiển tập 18(3) Trung tâm đào tạo mạng máy tính Nhất Nghệ, Lập trình C# 2008 Một số tài liệu, thơng tin khác tìm kiếm Internet 63 ... tìm kiếm sở áp dụng kỹ thuật ôt? ?mát nâng cao tình tìm kiếm xác đơn, đa mẫu tìm kiếm mềm dẻo theo biểu thức logic Nội dung nghiên cứu - Tìm hiểu thuật toán sánh đơn mẫu đa mẫu sử dụng ôt? ?mát nâng. .. tốt nghiệp vào tìm hiểu ứng dụng ôt? ?mát nâng cao toán sánh mẫu Mục đích nghiên cứu Luận văn vào nghiên cứu thuật tốn sánh mẫu ứng dụng ơt? ?mát nâng cao, cách thức liên kết thuật toán với biểu thức... thuật toán KMP), Boyer-Moore… Trong luận văn này, tác giả tập trung trình bày ứng dụng ôt? ?mát nâng cao hai thuật toán sánh mẫu sau: thuật tốn tìm kiếm đơn mẫu theo tiếp cận ơt? ?mát mờ thuật tốn tìm