Máy tìm kiếm dựa trên toán học

Tóm tắt Luận án Tiến sĩ Khoa học máy tính "Phát triển mô hình tìm kiếm ảnh dựa trên cấu trúc KD-Tree" được nghiên cứu với mục tiêu là: Nghiên cứu cấu trúc dữ liệu đa chiều KD-Tree; xây dựng các thuật toán thao tác trên KD-Tree tổ chức lưu trữ véc-tơ đặc trưng hình ảnh; Phát triển cấu trúc KD-Tree, đồng thời xây dựng và bổ sung ngữ nghĩa cho các bộ dữ liệu thực nghiệm nhằm thực hiện mô hình tìm kiếm ảnh theo tiếp cận ngữ nghĩa.

24p vimulcahy 02-10-2023 8 4   Download

Luận án Tiến sĩ Khoa học máy tính "Phát triển mô hình tìm kiếm ảnh dựa trên cấu trúc KD-Tree" trình bày các nội dung chính sau: Nghiên cứu cấu trúc dữ liệu đa chiều KD-Tree; xây dựng các thuật toán thao tác trên KD-Tree tổ chức lưu trữ véc-tơ đặc trưng hình ảnh; hát triển mô hình tìm kiếm ảnh bằng cách kết hợp các phương pháp học có giám sát, bán giám sát và rừng ngẫu nhiên để tạo ra mô hình phân lớp hình ảnh, gom cụm dữ liệu dựa trên cấu trúc KD-Tree.

139p vimurdoch 02-10-2023 14 7   Download

Bài viết Giảm thời gian mã hóa cho chuẩn nén video HEVC dựa trên việc cải tiến thuật toán tìm kiếm TZ đề xuất cải tiến kỹ thuật tìm kiếm TZ (Test Zone Search Algorithm) bằng cách sử dụng kỹ thuật học máy nhằm làm giảm thời gian tìm kiếm vector chuyển động. Các kết quả mô phỏng cho thấy phương pháp đề xuất giảm 7% thời gian tìm kiếm so với thuật toán tìm kiếm TZ chuẩn sử dụng trong chuẩn HEVC.

7p viannee 02-08-2023 7 5   Download

Bài báo này đề xuất thuật toán metaheuristic LPSO để tìm kiếm phương án lập lịch dựa trên phương pháp Tối ưu bày đàn. Thực nghiệm được tiến hành trên công cụ mô phỏng CloudSim đã chứng tỏ thuật toán đề xuất cho kết quả tốt hơn ba thuật toán đối chứng là PSO, Random và RoundRobin và lời giải tìm được có độ sai lệch rất bé so với lời giải tối ưu. Mời các bạn cùng tham khảo!

6p wangziyi_1307 26-04-2022 30 3   Download

Bài toán tìm kiếm ảnh đóng vai trò quan trọng trong mọi lĩnh vực của cuộc sống. Trong bài viết này, một phương pháp tìm kiếm ảnh dựa vào Ontology OBIR (Ontology-based Image Retrieval) được đề xuất nhằm xác định ngữ nghĩa cấp cao của hình ảnh. Ontology bán tự động được đề xuất xây dựng làm cơ sở tri thức cho tìm kiếm ảnh theo tiếp cận ngữ nghĩa, đồng thời câu truy vấn SPARQL được tự động tạo ra từ văn bản đầu vào hoặc từ lớp ngữ nghĩa của ảnh đầu vào, được xác định thông qua công cụ tìm kiếm học máy dựa trên đồ thị cụm láng giềng, để tìm kiếm trên Ontology này.

11p viplato 05-04-2022 29 3   Download

Đề tài này nghiên cứu và tìm hiểu mô hình ngôn ngữ xây dựng dựa trên cấu trúc dữ liệu Bloom Filter. Không lưu trữ toàn bộ tập n-gram giống như các mô hình truyền thống, loại mô hình ngôn ngữ này sử dụng một quy trình mã hóa đặc biệt, cho phép chia sẻ một cách hiệu quả các bit khi lưu trữ thông tin thống kê n-gram, nhờ đó tiết kiệm đáng kể bộ nhớ. Mời các bạn cùng tham khảo!

79p heavysweetness 04-08-2021 23 2   Download

Trong luận văn này tôi xin đề cập đến phương pháp “Tra cứu ảnh dựa trên khoảng cách và bài toán tối ưu pareto”, nghiên cứu sử dụng cách tiếp cận tối ưu Pareto như một bài toán tiền xử lý dữ liệu (rút gọn tập mẫu). Qua đó, không gian tìm kiếm trên tập độ đo khoảng cách với truy vấn được thu gọn nhất của tập Pareto. Tập thu gọn này được sử dụng như dữ liệu đầu vào giúp cho bộ máy phân lớp hoạt động hiệu quả hơn.

69p generallady 24-07-2021 25 2   Download

Mục tiêu nghiên cứu chính của luận văn là tìm hiểu về cơ sở của một số phương pháp xấp xỉ hàm và đạo hàm với độ chính xác bậc cao dựa trên khai triển Taylor và đa thức nội suy, từ đó áp dụng vào việc xây dựng các thuật toán giải số đối với một số bài toán biên cho phương trình vi phân với độ chính xác bậc cao và kiểm tra các thuật toán trên máy tính điện tửa

66p elephantcarrot 02-07-2021 43 6   Download

Chức năng chính của hệ thống phát hiện xâm nhập mạng (Intrusion Detection System: IDS) là để bảo vệ hệ thống, phân tích và dự báo hành vi truy cập mạng của người sử dụng. Những hành vi này được xem xét là bình thường hoặc một cuộc tấn công. Các IDS ngoài việc xác định một hành vi là bình thường hoặc một cuộc tấn công dựa trên các mẫu đã lưu trữ, còn có khả năng học để nhận dạng các cuộc tấn công mới. Với mỗi kiểu tấn công cụ thể là DoS, Probe, R2L hoặc U2R, tập dữ liệu mẫu có các tính chất đặc thù.

7p quenchua9 20-11-2020 47 5   Download

Luận án đề xuất một phương pháp thu giảm số chiều mới thỏa điều kiện chặn dưới và có thể kết hợp với một cấu trúc chỉ mục đa chiều hỗ trợ việc tìm kiếm tương tự hữu hiệu, ứng dụng phương pháp đề xuất vào bài toán phát hiện motif theo hướng tiếp cận xấp xỉ, ứng dụng phương pháp đề xuất vào bài toán gom cụm theo phương pháp gom cụm có thời gian thực thi tùy chọn, ứng dụng phương pháp đề xuất vào bài toán tìm kiếm tương tự trên chuỗi thời gian dạng luồng và ứng dụng phương pháp thu giảm số chiều đã đề xuất vào bài toán dự báo dữ liệu chuỗi thời gian có tính xu hướng hoặc mùa.

32p covid19 02-03-2020 43 5   Download

Luận án đã đề xuất ba thuật toán gần đúng cho bài toán CLOS, để kiểm chứng các thuật toán đó phải so sánh lời giải của chúng với lời giải tối ưu. Chúng tôi đã tìm lời giải tối ưu thông qua phương pháp vét cạn, tuy nhiên phương pháp này chỉ khả thi đối với những bộ dữ liệu kích thước nhỏ.

27p phongtitriet000 08-08-2019 50 3   Download

Lập trình trên môi trường Visual Basic; dựa vào các thuật toán đơn hình để giải bài toán quy hoạch tuyến tính và thuật toán phân phối để tìm cực tiểu tổng chi phí của bài toán vận tải. Áp dụng công nghệ thông tin, tác giả đã xây dựng được phần mềm tính toán các dạng tổng quát nhất của các bài toán trên dùng cho giảng dạy môn học Toán kinh tế (trường Đại học Lâm nghiệp). Kết xuất lời giải được diễn giải từng bước thực hiện với phông chữ tiếng Việt và được kết xuất sang các dạng Word, Excel, PDF hoặc máy in một cách thuận tiện.

0p kaiyuan1121 28-08-2018 89 2   Download

Bài viết VNmathsearch - Hệ thống tìm kiếm các tài liệu Toán học bằng tiếng Việt giới thiệu kết quả nghiên cứu xây dựng một hệ thống phục vụ tìm kiếm các tài liệu toán học viết bằng tiếng Việt. Hệ thống bao gồm 2 phần mềm chính đó là tạo chỉ mục và tìm kiếm. Chúng tôi đã đề xuất 2 mô hình tổng quát cho 2 phần mềm này

8p maiyeumaiyeu26 23-12-2016 71 3   Download

Phát hiện biên dựa trên lọc trung bình và trung vị cục bộ. Điều khiển học xây dựng các khái niệm và lý thuyết có quan hệ với Thông tin Mối quan tâm chính của Điều khiển học là tìm kiếm những thuộc tính giống nhau ở các kiểu hệ thống khác nhau, ví dụ như: Liệu có sự giống nhau giữa hai hệ thống rất khác biệt về vật lý như một chiếc máy tính và bộ não người?

10p butmaucam 28-08-2013 63 5   Download

Trong bài viết này chúng tôi đưa ra hướng tiếp cận học xếp hạng cho vấn đề tìm kiếm chuyên gia. Cơ sở dữ liệu chuyên gia được tạo ra từ các tóm tắt bài báo của các chuyên gia trong những năm gần đây. Sau khi tiền xử lý và biểu diễn theo mô hình túi từ. Chúng tôi đã đề xuất tiếp cận học xếp hạng C4.4-kNN dựa trên cây quyết định C4.4 kết hợp với thuật toán k láng giềng kNN có sử dụng phản hồi kết quả của người dùng. Kết quả thực nghiệm từ 87 chuyên gia của hội đồng...

9p sunshine_7 23-07-2013 98 7   Download

Học máy(Machine Learning) là một ngành khoa học nghiên cứu các thuật toán cho phép máy tính có thể học được các khái niệm (concept). Phân loại:Có hai loại phương pháp học máy chính · Phương pháp quy nạp : Máy học/phân biệt các khái niệm dựa trên dữ liệu đã thu thập được trước đó. Phương pháp này cho phép tận dụng được nguồn dữ liệu rất nhiều và sẵn có. · Phương pháp suy diễn : Máy học/phân biệt các khái niệm dựa vào các luật. Phương pháp này cho phép tận dụng được các kiến thức chuyên ngành để hỗ trợ máy tính. Hiện nay, các...

7p tienchay 14-07-2013 105 21   Download

Trình bày các lý thuyết chung về kho dữ liệu và mô hình kho dữ liệu, phương pháp xây dựng và thiết kế CSDL cho kho dữ liệu. Khái quát về bộ công cụ sử dụng để xây dựng kho dữ liệu là SQL Server 2008. Giới thiệu về hệ thống quản lý cửa hàng bán lẻ xăng dầu đang được ứng dụng tại Tập đoàn xăng dầu Petrolimex. Tìm hiểu phương pháp thiết kế một kho dữ liệu dựa trên cơ sở dữ liệu nguồn của hệ thống quản lý cửa hàng bán lẻ xăng dầu phục vụ...

13p banhbeovodung 20-06-2013 202 30   Download

Giới thiệu về khái niệm kiểm thử và các kỹ thuật kiểm thử thông thường, và cụ thể là kiểm thử hộp trắng, và kiểm thử hộp đen, dựa trên các kỹ thuật kiểm thử sẽ tập trung tìm hiểu về ứng dụng Web, thành phần ứng dụng Web và các kiểm thử đối với ứng dụng Web như: kiểm thử giao diện, kiểm thử chức năng, kiểm thử cơ sở dữ liệu, kiểm thử hiệu năng và kiểm thử với các thiết bị di động. Nghiên cứu yêu cầu bài toán về việc xây dựng công cụ kiểm...

11p banhbeovodung 20-06-2013 237 43   Download

Trình bày về lịch sử phát triển, các vấn đề khó khăn trong bài toán phát hiện khuôn mặt, ứng dụng của bài toán và độ đo đánh giá chất lượng. Tìm hiểu các hướng tiếp cận giải quyết bài toán, đồng thời tóm tắt, sơ lược về các phương pháp nghiên cứu và thành quả đạt được của các nhà nghiên cứu trong bài toán phát hiện khuôn mặt. Đi sâu vào hướng tiếp cận dựa theo thuật toán phân lớp Adaboost. Giới thiệu về các đặc trưng Haar-like của khuôn mặt, cách tính các đặc trưng Haar-like....

3p banhbeovodung 20-06-2013 128 9   Download

Trình bày cơ sở lý luận về kiểm định phần mềm và các nhóm kiểm định phần mềm. Giới thiêu về JPF, kiến trúc của JPF, cách mở rộng, phát triển trên JPF. Ngoài ra giới thiệu về thực thi tượng trưng để sinh dữ liệu kiểm thử cho chương trình trong JPF cũng như cho phép sinh tự động dữ liệu kiểm thử chương trình Java. Tìm hiểu về SMT, Z3, các lý thuyết được hỗ trợ trên Z3, các API của Z3 để tích hợp với JPF và ứng dụng của Z3. Nghiên cứu, đánh giá các giải...

2p banhbeovodung 20-06-2013 109 16   Download