» Từ khóa: mo hinh may tinh

Trình bày phương pháp chuyển đổi mô hình EER sang OWL-ontology để xây dựng ứng dụng minh họa, trình bày kết quả minh họa và kết quả cài đặt công cụ TimeER2OWL. 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 295 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Web ngữ nghĩa, Lớp cha, Lớp con, Chuyên biệt hóa, Dữ liệu thời gian, Mô hình TimeER, Xây dựng ontology, Ngôn ngữ RDF, Dữ liệu vào, Dữ liệu ra, Phân tích bài toán

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 264 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 272 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 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 304 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 243 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.

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 294 1 Download

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.

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 220 1 Download

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

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 363 3 Download

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

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 379 2 Download

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ấ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 374 1 Download

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 (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 265 1 Download

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

Giáo trình Mạng máy tính: Phần 1 trình bày khái niệm cơ bản về mạng máy tính, kiến trúc mạng và mô hình OSI, mạng cục bộ LAN, mạng diện rộng WAN. Mời bạn đọc tham khảo nội dung phần 1 tài liệu.

 220 p husc 05/07/2014 587 7 Download

Từ khóa: Mạng máy tính, Giáo trình Mạng máy tính, Mạng máy tính Phần 2, Kiến trúc mạng, Mô hình OSI, Mạng cục bộ LAN