- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
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 276 3
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
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 308 1
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
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 247 1
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.
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 297 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập mờ, Biến ngôn ngữ, Luật hợp thành, Mệnh đề hợp thành, Đại số gia tử, Giải thuật di truyền, Mô hình mờ, Mô hình hệ thống.
Nghiên cứu rừng quyết định ngẫu nhiên cho phân loại đối tượng.
Tập trung nghiên cứu và áp dụng rừng quyết định ngẫu nhiên cho phân loại đối tượng. Sử dụng ngôn ngữ lập trình C# để xây dựng chương trình mô phỏng phân loại đối tượng ảnh áp dụng rừng quyết định ngẫu nhiê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
7 p husc 27/05/2016 225 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quyết định ngẫu nhiên, Phân tích thuật toán, Mô hình rừng, Phân loại đối tượng, Ký hiệu toán học, Điểm dữ liệu, Bộ dữ liệu
Nghiên cứu việc mở rộng ngữ nghĩa xác đáng đối với chương trình logic dạng tuyển
Trình bày cú pháp và ngữ nghĩa mô hình cực tiểu của chương trình logic dạng tuyển dương; ngữ nghĩa xác đáng đối với chương trình logic dạng tuyển dựa trên logic ba trị; Giới thiệu hai hệ thống lập trình logic là Smodels và DLV, minh họa việc cài đặt và thực thi một số chương trình logic trên hai hệ thống này; Cài đặt thuật toán tính ngữ nghĩa xác...
5 p husc 17/03/2016 367 3
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic dạng tuyển, Ngôn ngữ bậc nhất, Thuật toán tính ngữ, Cài đặt thuật toán, Mô hình xác đáng
Tìm hiểu mô hình cơ sở dữ liệu thời gian sử dụng các quan hệ lồng nhau
Khái quát về cơ sở dữ liệu có yếu tố thời gian và mô hình TIME-ER. Nghiên cứu cơ sở dữ liệu lồng nhau và các phép toán đại số quan hệ trong cơ sở dữ liệu lồng nhau. Thiết kế mô hình quan hệ lồng nhau có yếu tố thời gian từ mô hình TIME-ER và các phương pháp chuyển đổi mô hình TIME-ER sang mô hình quan hệ lồng nhau. Ghi chú: Tài liệu toàn văn...
5 p husc 16/03/2016 389 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quan hệ thời gian, Cơ soqr dữ liệu, Quy trình thiết kế cơ sở dữ liệu, Tập thực thể, Dữ liệu lòng nhau, Thuộc tính lòng nhau, Phép chiếu lòng nhau, Phép hợp lòng nhau, Chuyển đổi mô hình
Tìm hiểu các giao thức định tuyến Leach-c, Pegasis và Stat-cluster trong mạng cảm biến không dây
Tìm hiểu cấu trúc mạng Wireless Sensor Network (WSN), nguyên lý hoạt động của mạng cảm biến, phân loại giao thức định tuyến và năng lượng tiêu thụ của các giao thức định tuyến trong mạng WSN. Nghiên cứu đặc trựng của các giao thức định tuyến phân cấp, nguyên lý hoạt động của các giao thức định tuyến phân cấp, nguyên lý hoạt động của các giao...
6 p husc 15/03/2016 378 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Cấu trúc mạng, Giao thức định tuyến, Giao thức thiết lập, Giao thức ổn định, Mô hình phần mềm, Mạng cảm biến không dây
Nghiên cứu phương pháp chuyển đổi từ mô hình qua hệ có yếu tố thời gian sang mô hình TEMPORAR XML
Tổng quan về điện toán đám mây. Bảo mật an toàn thông tin trên điện toán đám mây. Xây dựng ứng dụng ứng dụng bảo mật trên nền điện toán đám 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
5 p husc 31/03/2015 204 1
Từ khóa: Tin học, điện toán đám mây, bảo mật, an toàn thông tin, mô hình quan mô hình TEMPORAR XML,
Đăng nhập
Bộ sưu tập nổi bật
Tin nhanh
Công bố quyết định bổ nhiệm Phó Hiệu trưởng nhiệm kỳ 2009 – 2014.
Hội Cựu giáo chức Trường Đại học Khoa học Huế: Gặp mặt đầu năm Xuân Nhâm Thìn 2012.
Lễ kỷ niệm 82 năm thành lập Đảng Cộng Sản Việt Nam (3/2/1930 – 3/2/2012)
Gặp mặt chúc Tết cán bộ của Trường nghỉ hưu tại Huế nhân dịp Tết Nhâm Thìn 2012.