Luận án: Nghiên Cứu Phương Pháp Tìm Kiếm Tài Liệu Dựa Trên Công Thức Toán

Tác giả: Cao Xuân Tuấn

Lĩnh vực: Hệ thống Thông tin

Nội dung tài liệu:

Luận án này tập trung nghiên cứu đề xuất các mô hình phù hợp, phát triển các bộ công cụ để soạn thảo công thức, soạn thảo chú thích và tìm kiếm công thức toán, đồng thời tìm kiếm tài liệu dựa trên công thức toán cũng như các giải pháp lưu trữ, quản lý và khai thác dữ liệu các công thức toán trên các tài liệu, đặc biệt là trên môi trường Web. Luận án đã đề xuất một mô hình thống nhất cách biểu diễn và lưu trữ công thức toán trong văn bản. Trong đó, các công thức được lưu trữ và xử lý dựa trên tiêu chuẩn định dạng MathML và giải pháp chuyển đổi các văn bản có chứa công thức toán giữa các công cụ soạn thảo khác nhau. Các giải pháp đề xuất phục vụ việc tìm kiếm tài liệu dựa trên công thức toán cũng được trình bày, dựa trên một số hướng tiếp cận khác nhau cho cả việc tìm kiếm trên các Web thông thường và Semantic Web. Cuối cùng, luận án trình bày tóm tắt quy trình xây dựng các ứng dụng thử nghiệm và đánh giá các mô hình đã đề xuất, bao gồm thử nghiệm một hệ thống cho phép soạn thảo, biểu diễn, lưu trữ và tìm kiếm tài liệu dựa trên công thức toán.

Mục lục chi tiết:

• Lời cảm ơn
• Danh mục các từ viết tắt
• Danh mục hình vẽ
• Danh mục bảng
• Mở đầu
• Chương 1: Tổng quan về tìm kiếm văn bản và công thức toán
• Chương 2: Biểu diễn và lưu trữ công thức toán
• Chương 3: Tìm kiếm tài liệu dựa trên công thức toán
• Chương 4: Thử nghiệm và đánh giá
• Kết luận
• Danh mục các bài báo đã công bố
• Tài liệu tham khảo