Danh mục tài liệu - Thư viện số Trường Đại học Khoa học Huế

Tìm Nâng Cao

Tài liệu Thư viện số

Danh mục TaiLieu.VN

Tài liệu nổi bật

Kết quả 6757-6768 trong khoảng 13920

Tìm hiểu việc biểu diễn tri thức bằng các chương trình logic.

Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định được phép xuất hiện trong các mệnh đề. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững. Ghi chú: Tài liệu toàn văn liên hệ...

5 p husc 23/10/2017 260 1
Tìm hiểu ngôn ngữ AnsProlog * và ứng dụng.

Trình bày một ngôn ngữ của lập trình logic theo ngữ nghĩa tập trả lời được gọi là AnsProlog*. Trong AnsProlog* ta cố định ngữ nghĩa tập trả lời và chỉ tập trung vào đó.Ứng dụng của ngôn ngữ AnsProlog* thông qua một số bài toán trong lý thuyết đồ thị và tiến hành mã hóa, thực thi trên hệ thống lập trình logic DLV. Ghi chú: Tài liệu toàn văn liên...

5 p husc 23/10/2017 254 1
Nghiên cứu và ứng dụng công nghệ ảo hóa hyper-v cho sao lưu dự phòng dữ liệu tại viettel Tiền Giang.

Trình bày giới thiệu về công nghệ ảo hóa, lợi ích của ảo hóa, tìm hiểu một số hệ thống ảo hóa điển hình, ứng dụng của ảo hóa, công nghệ ảo hóa Hyper-V, các tính năng chính của Hyper-V. Đề xuất mô hình ảo hóa cho việc sao lưu dự phòng tại Viettel Tiền Giang gồm các nội dung: khảo sát thực trạng, đề xuất mô hình và cài đặt thực nghiệm....

5 p husc 23/10/2017 205 1
Nghiên cứu hình thức tấn công ngập lụt trong giao thức AOMDV trên mạng MANET.

Trình bày một số hình thức tấn công, chống tấn công ngập lụt trong giao thức AOMDV trong mạng MANET. Trên các gói HELLO, gói RREQ, và gói DATA và tìm hiểu một giải pháp phòng chống. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

8 p husc 23/10/2017 249 1
Ứng dụng D2RQ trong việc chuyển đổi cơ sở dữ liệu quan hệ sang mô hình dữ liệu trong web ngữ nghĩa.

Nghiên cứu và đề xuất một hướng tiếp cận ngôn ngữ D2RQ trong việc chuyển đổi dữ liệu từ RDB sang RDF trong Web ngữ nghĩa được biểu diễn bằng ngôn ngữ RDF. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

5 p husc 23/10/2017 323 1
Nghiên cứu phát hiện đối tượng từ dữ liệu Video.

Xây dựng giải thuật theo dõi tự động các đối tượng có trong video. Giải thuật theo dõi cần có độ chính xác tốt, đồng thời chi phí tính toán thấp phục vụ các ứng dụng thời gian thực. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

5 p husc 23/10/2017 225 1
Phát hiện và phân tích lưu lượng mật độ xe qua camera thu hình ảnh.

Trình bày cơ sở lý thuyết về các khái niệm về xử lý ảnh và video, các bộ lọc xử lý ảnh, các phương pháp phát hiện, theo dõi đối tượng chuyển động, phương pháp ước lượng số lượng phương tiện giao thông, mật độ và vận tốc dòng xe. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

5 p husc 23/10/2017 273 1
Tìm hiểu về ngữ nghĩa chương trình logic với các ràng buộc bản số, trọng số và ứng dụng.

Trình bày cú pháp và ngữ nghĩa của chương trình logic với rang buộc bản số và trọng số. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững, ứng dụng của chương trình logic với các ràng buộc bản số, trọng số vào một số bài toán cụ thể và thực thi chương trình bằng phần mềm hệ thống Smodels....

5 p husc 23/10/2017 263 1
Tìm hiểu chương trình Datalog dạng tuyển với các ràng buộc toàn vẹn và ứng dụng.

Trình bày việc mở rộng chương trình Datalog dạng tuyển bởi các ràng buộc toàn vẹn. Đặc biệt, ngoài các ràng buộc toàn vẹn cổ điển (còn gọi là ràng buộc mạnh) biểu diễn các điều kiện cần phải được thỏa mãn, biểu diễn một số bài toán bằng chương trình Datalog dạng tuyển với các ràng buộc toàn vẹn. Ghi chú: Tài liệu toàn văn liên hệ theo...

4 p husc 23/10/2017 236 1
Tìm hiểu về lập trình luồng và ứng dụng.

Nghiên cứu về xử lý song song và các phương pháp lập trình song song mà cụ thể là dựa vào luồng để giải quyết cho ứng dụng chấm điểm thi sát hạch lái xe. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

5 p husc 23/10/2017 254 1
Tìm hiểu về thuật toán Hp-growth và Hui-miner trong khai phá tập mục lợi ích/

Trình bày về khai phá dữ liệu và khai phá luật kết hợp một số thuật toán khai phá tập mục lợi ích cao. Về bài toán khai phá tập mục lợi ích cao, thuật toán UP-Growth và thuật toán HUI-Miner. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

5 p husc 23/10/2017 499 1
Đánh giá hiệu năng của một số giao thức định tuyến theo yêu cầu Aodv, Lar và Cbrp trên mạng manet.

Giới thiệu tổng quan về giao thức định tuyến theo yêu cầu trong mạng manet. Để phân tích nguyên ly hoạt động và đánh giá hiệu năng của giao thức định tuyến theo yêu cầu AODV, LAR và CBRP trên mạng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

6 p husc 23/10/2017 265 1