» Từ khóa: thông tin học

Mô phỏng và đánh giá các thuật toán. Để trình bày về cách tổ chức dữ liệu, cách xây dựng thuật toán, trực quan về chương trình mô phỏng và so sánh đánh giá các thuật toán trên hai bộ dữ liệu cụ thể. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 01/06/2016 252 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Khai phá dữ liệu, Thuật toán, Luật kết hợp, Khai phá tập mục

Nghiên cứu về một số lỗi dịch máy danh từ riêng từ tiếng Anh sang tiếng Việt. Trong khi đó danh từ riêng đóng một vai trò rất quan trọng trong xử lý ngôn ngữ tự nhiên đặc biệt là trong lĩnh vực học máy và dịch máy. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 7 p husc 01/06/2016 224 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Dịch máy thống kê, Kho ngữ liệu, Lỗi dịch máy, Lỗi không dịch, Lỗi dịch sai, Bộ dữ liệu, Hệ dịch trực tiếp

Trình bày cách xây dựng miền giá trị chân lý ngôn ngữ dựa trên đại số gia tử đơn điệu hữu hạn, ánh xạ ngược của gia tử, logic đa trị ngôn ngữ, phương pháp lập luận ngôn ngữ dựa trên các quy tắc suy diễn trong logic đa trị ngôn ngữ. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 01/06/2016 250 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mờ, Tập mờ, Phép kéo theo mờ, Biến ngôn ngữ, Đại số gia tử, Ánh sáng ngược, Logic đa trị, Quy tắc suy diễn, Đa trị ngôn ngữ

Trình bày những khái niệm cơ sở của chương trình logic. Ngữ nghĩa của chương trình logic xác định. Phép hợp giải SLD đối với chương trình logic xác định. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 01/06/2016 263 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phép hợp giải, Logic xác định, Logic phân tầng, Ngữ nghĩa mô hình, Swi-Prolog

Trình bày về cú pháp, ngữ nghĩa của chương trình DatalogFS, phân tầng khả năng biểu diễn DatalogFS bàng ngôn ngữ lập trình C#. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 31/05/2016 270 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Phủ định phân tầng, Mô hình khuếch tán, Xác định ngữ nghĩa, Ngữ nghĩa mô hình

Trình bày phương pháp đưa ra các gợi ý giúp người sử dụng có những quyết định lựa sản phẩm phù hợp trong lĩnh vực EC thông qua việc sử dụng thuật giải di truyền. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 31/05/2016 410 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Thương mại điện tử, Giao dịch EC, Giải thuật di truyền, Thuật toán di truyền, Mô tả dữ liệu, Mã hóa dữ liệu, Mô tả hệ thống.

Tìm hiểu tổng quan về mạng VANET và giới thiệu một số nhóm giao thức trong mạng VANET. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 31/05/2016 231 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Giao thức định tuyến, Phần mềm mô phỏng, Công cụ mô phỏng, Công cụ đánh giá, Mô phỏng chuyển động, Cải tiến giao thức.

Trình bày thuật toán điều khiển tắc nghẽn của TCP, một số vấn đề TCP trong liên kết vệ tinh.Và một số giải pháp tránh tắc nghẽn của giao thức TCP trên mạng vệ tinh:TCP Reno, TCP Vegas, TCP-STAR, TCP-Fusion kết hợp CWS/LWC của TCPSTAR. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 8 p husc 31/05/2016 206 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Truyền thông vệ tinh, Phân đoạn không gian, Trạm điều khiển, Phân đoạn mặt đất, Khởi động chậm, Tránh tắc nghẽn, Phát lại nhanh, Khôi phục nhanh, Hỗ trợ theo dõi.

Tiến hành cài đặt việc chạy thực nghiệm chương trình một bài toán đơn giản trên hệ thống mạng các máy tính đa lõi và các kịch bản khác nhau. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 7 p husc 31/05/2016 238 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Phân loại máy tính, Đa dòng dữ liệu, Bộ nhớ phân tán, Bộ nhớ kết hợp, Kiến trúc mạng, Chạy chương trình

Trình bày về mối quan hệ giữa chương trình Datalog và logic mô tả. Cú pháp và ngữ nghĩa logic mô tả DL-Lite được trình bày chi tiết và phương pháp chuyển đổi logic mô tả DL-Lite thành chương trình Datalog$. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 31/05/2016 302 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình datalog, Hệ quả logic, Lý thuyết mô hình, Mô tả DL-Lite, Logic bậc nhất, Ngôn ngữ logic

Hệ thống quản lý thông tin cá nhân theo tiếp cận Web ngữ nghĩa. Cách biểu diễn thông tin bằng RDF và OWL. Truy vấn thông tin cá nhân bằng ngôn ngữ SPARQL. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 10 p husc 27/05/2016 241 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Web ngữ nghĩa, Mô hình dữ liệu RDF, Phân cấp lớp, Phân cấp thuộc tính, Ngôn ngữ RDF, Toán tử tập hợp, Lớp liệt kê, Lớp rời nhau, Khung ứng dụng.

Mô phỏng hai chiều và tính bất biến đối với mô phỏng hai chiều trên một lớp các logic mô tả thông qua ngôn ngữ và ngôn ngữ con. Với lớp các logic mô tả lớn hơn, các khái niệm, định nghĩa, định lý, bổ đề và hệ quả được phát triển dựa trên kết quả của Các định lý, bổ đề trong chương này cũng đã được trình bày và chứng minh một cách...

 5 p husc 27/05/2016 224 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mô tả, Biểu diễn tri thức, Ngôn ngữ logic, Mô phỏng hai chiều, Thông tin truyền thống, Tập xấp xỉ, Thuật toán xấp xỉ.