Vnmathsearch - Hệ thống tìm kiếm các tài liệu toán học bằng Tiếng Việt

Hệ thốn ao gồm một k Sau khi uan đến câu t ác kết quả tìm iệu được sẽ đư - Tên - Tríc câu t - Đườ Ngoài n ày, cũng như õ Trung Hùng, N g thức sau kh ệc tìm kiếm. trình tìm kiế lấy kết quả tr t quả dạng liê g tìm kiếm đ hung hỗ trợ n người dùng n ruy vấn của n thấy sẽ đượ ợc hiển thị lê tài liệu tìm th h dẫn một phầ ruy vấn sẽ đư ng dẫn tới tài hững thông t thời gian thực guyễn Mạnh Hù i chuyển đổi m phục vụ n ả về. Chức n n kết để ngườ ược xây dựn hập công thứ hập công thứ gười dùng tạ c hiển thị sắp n giao diện w ấy. n tài liệu có c ợc làm nổi bậ liệu được tìm in trên, ngườ hiện truy vấn ng, Nguyễn Thị định định dạ Hình 5. C gười sử dụng ăng chính củ i dùng tham c g như một tra c toán học và Hình 6. Giao c toán học và i thư mục chỉ xếp giảm dầ eb với các thô hứa công thứ t (highlight) đ thấy. i dùng còn có (tính bằng đ Thu Hà ng sang Math ơ sở dữ liệu hệ . Đây là gói ứ a thành phần hiếu. ng Web và c một nút Searc diện ứng dụng nhấn nút Sea mục và trả v n theo độ trùn ng tin như sa c được tìm th ể người dùng thể xem số ơn vị millisec ML, được lưu thống. ng dụng Web này là thực h ài đặt trên má h: tìm kiếm rch, hệ thống ề danh sách c g khớp của tà u: ấy. Phần công dễ dàng đối lượng tài liệu ond). trữ trong cơ cho phép ng iện tìm kiếm y chủ tìm kiế sẽ thực hiện t ác tài liệu liê i liệu đó so v thức trùng k chiếu và lựa c được tìm thấ sở dữ liệu SQ ười dùng thự theo yêu cầu m. Giao diện ìm kiếm các t n quan cho ng ới câu truy vấ hớp với công họn. y ứng với câ 773 L Server, c hiện tìm của người tìm kiếm ài liệu liên ười dùng. n. Mỗi tài thức trong u truy vấn 7 q c g tr m v k q p đ đ s tụ m h 74 Hiện na uả nghiên cứ ủa hệ thống x Precis Trong đ Chúng iá theo 02 ph ực tiếp từ côn Kết quả Các côn ục đích của h ới mỗi câu tru Giải ph iếm những tà uan có chứa n Với giả háp sử dụng ối với các má ược kết quả t au này. Tốc đ Trong t c hoàn thiện ục, cập nhật óa tốc độ lập y, các hệ thố u của chúng t ây dựng bằng B BAion ∩= ó: A là tập tà tôi thử nghiệm ương thức tru g cụ WIRIS thực nghiệm g cụ tìm kiếm ọ, tuy nhiên y vấn sẽ khó áp tìm kiếm t i liệu văn bản hững công th i pháp đề xuấ độ đo chính x y tìm kiếm h ìm kiếm và m ộ lập chỉ mục hời gian tới, c một số chức chỉ mục; bổ chỉ mục và tìm VN H ng tra cứu tài ôi với các ph phương pháp i liệu liên qua với tập ngữ y vấn: truy vấ trên hệ thống được thể hiện Truy v Truy v Truy v tiện ích trên khi số lượng khăn khi tra c ài liệu toán h liên quan tới ức cần tìm ki t, chúng tôi ác cho kết qu iện nay là đã ô-đun hóa cá và tìm kiếm k húng tôi tiếp năng của hệ sung thêm nh kiếm. MATHSEARCH ình 7. Giao d liệu toán họ ương pháp kh dùng độ đo c n tới nội dung liệu gồm 80 n theo công t và truy vấn th ở bảng 2 dư Bản ấn ấn theo công ấn theo nội du V. mạng cho ph thông tin quá ứu những tài ọc bằng tiếng các công thức ếm. đã tiến hành ả phù hợp vớ hỗ trợ bộ gõ c thành phần há nhanh. tục bổ sung k thống như: đa iều định dạn - HỆ THỐNG T iện hiển thị kết c bằng tiếng V ác. Trong bà hính xác (Pre tra cứu và B tài liệu toán h hức và truy vấ eo nội dung d ới đây. g 2. Kết quả tr thức ng KẾT LUẬN ép người sử nhiều, các kế liệu ở lĩnh vự Việt hỗ trợ bằng cách nh xây dựng hệ t i yêu cầu của công thức toá quản trị và th ho dữ liệu bằn dạng hóa ch g tài liệu đầu ÌM KIẾM CÁC quả tìm kiếm iệt chưa có. i báo này, chú cision) được là tập tài liệu ọc tiếng Việt, n theo nội du ựa trên câu tr uy vấn P 0 0 dụng dễ dàng t quả trả về tớ c hẹp. cho các nhà k ập dữ liệu trự hống và đánh người dùng. n học vào khu ành phần tìm g phương ph ức năng của b vào khác như TÀI LIỆU TOÁN Do vậy, rất k ng tôi đã thự mô tả theo cô tìm được. thực nghiệm ng. Truy vấn uy vấn nhập v recision .87 .76 tìm kiếm nhữ i hàng trăm t hoa học, kỹ c quan và hiể giá kết quả Hệ thống có ng tìm kiếm kiếm để dễ d áp thu thập tự ộ lập chỉ mụ Word, Exce HỌC BẰNG T hó khăn để s c hiện đánh g ng thức sau: được tiến hàn theo công thứ ào. ng tài liệu liê riệu văn bản thuật của Việ n thị những t xây dựng bằn một số ưu đi , làm nổi bật àng cho việc động trên In c như cho ph l, PowerPoin IẾNG VIỆT o sánh kết iá kết quả h và đánh c được gõ n quan tới tương ứng t Nam tìm ài liệu liên g phương ểm nổi bật (highlight) phát triển ternet, tiếp ép xóa chỉ t, tối ưu Cao Xuân Tuấn, Võ Trung Hùng, Nguyễn Mạnh Hùng, Nguyễn Thị Thu Hà 775 VI. TÀI LIỆU THAM KHẢO [1] Vo Trung Hung, Cao Xuan Tuan, “VM-SEMWEB: A Semantic Web for Vietnamese Mathematical Documents”, International Journal of Engineering Research & Technology, Volume. 4 - Issue. 05 , 2015. [2] M. Kohlhase, C. Prodescu, “MathWebSearch:Low-Latency Uni_cation-based Search”, Center for Advanced Systems Engineering, Jacobs University Bremen, Germany, NTCIR-10, 2013. [3] M Růžička, “Maths Information Retrieval for Digital Libraries”, Technical Report, Brno University, 2013. [4] M. Adeel, H.S. Cheung, S.H. Khiyal, “Math go! Prototype of a content based mathematical formula search engine”, Journal of Applied Theoretical and Information Technology, JATIT, 2008. [5] J. Mišutka, L. Galamboš, “Extending Full Text Search Engine for Mathematical Content”, Charles University in Prague, Ke Karlovu 3, 121 16 Prague, Czech Republic, 2008. [6] P. Sojka, M. Líška, “Indexing and Searching Mathematics in Digital Libraries”, Masaryk University, Faculty of Informatics, Botanická 68a, 602 00 Brno, Czech Republic, 2011. [7] S. Anca, M. Kohlhase, “MaTeSearch, A combined math and text search engine”, Jacobs University, 2007. [8] T. Oetiker, H. Partl, I. Hyna, E. Schlegl, “The Not So Short Introduction to LATEX”, Version 5.04, 2014. [9] P.D.F. Ion, “MathML: A Key to Math on the Web”, Mathematical Reviews, P. O. Box 8604, Ann Arbor, MI 48107, USA, 1999. [10] M. Kohlhase, “An Open Markup Format for Mathematical Documents”, Technical Report, Computer Science, International University Bremen, 2009. [11] O. Caprotti, A.M. Cohen, H. Cuypers, H. Sterk, “OpenMath Technology for Interactive Mathematical Documents”, Technical Report, Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands, 2002. [12] Vo Trung Hung, Cao Xuan Tuan, “MathML for the Management of Mathematical Formula in Text Editor”, International Journal of Engineering Research & Technology, Volume. 4 - Issue. 05 , 2015. VNMATHSEARCH – A SEARCH ENGINE FOR MATHEMATICAL DOCUMENTS IN VIETNAMESE Cao Xuan Tuan, Vo Trung Hung, Nguyen Manh Hung, Nguyen Thi Thu Ha ABSTRACT - This paper presents the research results to build a search engine for mathematical documents written in Vietnamese. The system consists of two main softwares that are creating the index and search. We have proposed two general models for 2 these softwares. With the index, the input is files as PDF or XHTML and the outputis an index file. With search modul, the user can type into the query by keywords or any formula and the system returns the documents that contain keywords or formulas. To build the system, we have proposed solutions to convert mathematical formulas, standardized mathematical formula in MathML, parse and index creation, integrated tool to type formulas in the search box, the search results ratings, ... We have built and tested the system with more than 5,000 mathematical documents written in Vietnamese, search results satisfy consumer demand the accuracy and speed of search.