• Tìm hiểu việc mở rộng các quy tắc lập luận trong logic đa trị ngôn ngữ

    Tìm hiểu việc mở rộng các quy tắc lập luận trong logic đa trị ngôn ngữ

    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 237 2

  • Tìm hiểu một số phương pháp hợp giải trong việc định giá câu truy vấn đối với chương trình logic

    Tìm hiểu một số phương pháp hợp giải trong việc định giá câu truy vấn đối với chương trình logic

    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 248 1

  • Tìm hiểu về chương trình Datalogfs và ứng dụng.

    Tìm hiểu về chương trình Datalogfs và ứng dụng.

    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 251 3

  • Hệ hỗ trợ quyết định và ứng dụng trong thương mại điện tử.

    Hệ hỗ trợ quyết định và ứng dụng trong thương mại điện tử.

    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 397 1

  • Tìm hiểu một số giao thức định tuyến phản ứng trên mạng vanet

    Tìm hiểu một số giao thức định tuyến phản ứng trên mạng vanet

    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 219 2

  • Tìm hiểu 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

    Tìm hiểu 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

    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 195 1

  • Nghiên cứu việc tối ưu hóa hiệu năng của cape trên mạng của các máy tính đa lõi.

    Nghiên cứu việc tối ưu hóa hiệu năng của cape trên mạng của các máy tính đa lõ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 222 1

  • Tìm hiểu chương trình Datalog $ và logic mô tả DL-Lite.

    Tìm hiểu chương trình Datalog $ và logic mô tả DL-Lite.

    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 286 1

  • Nghiên cứu và xây dựng hệ thống tích hợp thông tin cá nhân dựa trên công nghệ Web ngữ nghĩa.

    Nghiên cứu và xây dựng hệ thống tích hợp thông tin cá nhân dựa trên công nghệ Web ngữ nghĩa.

    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 226 1

  • Xấp xỉ khái niệm cho hệ thống thông tin trong logic mô tả.

    Xấp xỉ khái niệm cho hệ thống thông tin trong logic mô tả.

    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 194 1

  • Tìm hiểu một số phương pháp tập hợp chùm có xét đến QoS trong mạng chuyển mạch chùm quang.

    Tìm hiểu một số phương pháp tập hợp chùm có xét đến QoS trong mạng chuyển mạch chùm quang.

    Tổng quan về mạng chuyển mạch chùm quang. Phương pháp tập hợp chùm có xét đến QoS trên mạng chuyển mạch chùm quang. giới thiệu cấu trúc và hoạt động của phần mềm mô phỏng mạng ns2 và gói mở rộng OBS-ns dùng mô phỏng mạng chuyển mạch chùm quang. 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

     6 p husc 27/05/2016 251 1

  • Tìm hiểu mô hình điều khiển mờ sử dụng đại số gia tử.

    Tìm hiểu mô hình điều khiển mờ sử dụng đại số gia tử.

    Nghiên cứu mô hình điều khiển mờ sử dụng lý thuyết tập mờ và sử dụng đại số gia tử. Mô hình điều khiển mờ sử dụng đại số gia tử theo cách tiếp cận điều chỉnh ngữ nghĩa định lượng và giải thuật 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

     6 p husc 27/05/2016 280 1

Hướng dẫn khai thác thư viện số
getDocumentFilter3 p_strSchoolCode=husc