- 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
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 380 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 429 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 391 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
Bài giảng Đồ họa máy tính: Biểu diễn vật thể 3D
Bài giảng Đồ họa máy tính: Biểu diễn vật thể 3D (3dmodeling) trình bày các nội dung về Point (điểm), Vector (vectơ), Line (đường thẳng), Ray (tia), Polygon (đa giác), Spline Surface (mặt cong), Quadric surface (mặt bậc 2), Ruled surface (mặt qui luật).
22 p husc 23/11/2015 285 1
Từ khóa: Đồ họa máy tính, Biểu diễn vật thể 3D, Biểu diễn dưới dạng tham số, Phương trình chính tắc của mặt phẳng, Biểu diễn mặt tròn, Mô hình khung lưới
Đă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.