Giải thuật so mẫu trên văn bản mã hoá bởi mã hai tầng được thể hiện qua sơđồ Hình 4.9. Trong sơđồ, C1 là hàm mã hoá theo mã đàn hồi với hàm giải mã D1, C2 là hàm mã hoá hoặc hàm nén theo một giải thuật nào đó có hàm giải mã là D2.
Hình 4.9. Quá trình so mẫu trên văn bản mã hoá hai tầng
KẾT LUẬN
Luận án được hoàn thành trên cơ sở tiếp cận otomat mờ, với trạng thái mờ biểu diễn bởi vec tơ nhiều chiều. Đây là tiếp cận nhất quán cho một lớp các bài toán so mẫu, từ mức độđơn giản đến phức tạp, tương ứng với số chiều của trạng thái tăng dần.
Kết quảđầu tiên theo tiếp cận otomat mờ là hai thuật toán so mẫu chính xác được phát triển dựa trên thuật toán KMP kết hợp với ý tưởng của thuật toán BM, trong đó sử dụng otomat mờ có trạng thái mờ một và hai chiều.
Luận án đã xây dựng một thuật toán mới theo tiếp cận otomat mờ đo độ tương tự giữa hai xâu dựa vào độ dài khúc con chung dài nhất. Hai độ tương tự tựa ngữ nghĩa mới được đề xuất là độ gần tựa ngữ nghĩa và độ bảo toàn thứ tự xuất hiện các kí tự. Việc tính toán các độ tương tự này đã sử dụng một số hệ hình thức otomat mờ có trạng thái mờ nhiều chiều.
Tiếp theo, luận án đã cải tiến các thuật toán so mẫu theo tiếp cận otomat mờđã xét để áp dụng trên môi trường văn bản nén.
Luận án đã xây dựng thuật toán so mẫu trong văn bản được mã hoá bởi mã đàn hồi mà không cần giải mã, bằng cách kết hợp otomat mờ so mẫu chính xác với otomat duyệt mã đàn hồi. Để nâng cao tính bảo mật và tích hợp với các hệ mật mã hiện đại sẵn có, luận án đề xuất giải pháp mã hoá hai tầng (tầng ngoài là mã đàn hồi), cho phép đưa ra sơđồ so mẫu không giải mã trong trường hợp này.
Tính đúng đắn của các thuật toán chính trong luận án đều được đảm bảo thông qua những tính chất và định lý, với đầy đủ các chứng minh.
Các kết quả của luận án đã được sử dụng thử nghiệm để xây dựng công cụ tìm kiếm mềm dẻo trên web và trong các phần mềm quản lý như: thư viện điện tử, danh bạ điện thoại “Những trang vàng 2005”, hệ thống quản lý đồ án tốt nghiệp, quản lý công văn, …
Tiếp cận otomat mờ sẽ tiếp tục được phát triển để giải quyết các dạng phức tạp khác của bài toán so mẫu như so đa mẫu và so biểu thức chính qui (chính xác và xấp xỉ), …
Để nâng cao hiệu quả tìm kiếm, tiếp cận otomat mờ của luận án sẽđược sử dụng trong việc nghiên cứu xây dựng các phương pháp tổ chức dữ liệu đặc thù.
Mối quan hệ mật thiết giữa otomat mờ, nửa nhóm mờ và nửa nhóm tác động mờ đã được thể hiện một phần trong công trình [4], cho phép mở ra một hướng nghiên cứu mới, góp phần thúc đẩy sự phát triển của lý thuyết otomat mờ trong mối liên hệ với đại số và các ứng dụng trong nhiều lĩnh vực khác nhau.