» Từ khóa: mo hinh mo

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 345 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 344 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 383 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 329 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 400 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 300 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

Hệ thống thông tin địa lý thuộc loại ứng dụng máy tính để xây dựng một cơ sở dữ liệu lớn. Không giống như các ứng dụng máy tính khác, người sử dụng có thể dùng ngay sau khi mua phần cứng và phần mềm. Trong chương này sẽ trình bày những vấn đề liên quan tới xây dựng cơ sở dữ liệu. Mời các bạn cùng tham khảo.

 23 p husc 27/04/2016 283 1 Download

Từ khóa: Hệ thống thông tin địa lý, Bài giảng Hệ thống thông tin địa lý, Hệ thống GIS, Cơ sở dữ liệu GIS, Mô hình Cơ sở dữ liệu, Mô hình hóa dữ liệu

Chương 1 bài giảng môn Tối ưu hóa do ThS. Nguyễn Công Trí biên soạn cung cấp cho người học các kiến thức về thiết lập mô hình bài toán, các dạng của bài toán quy hoạch tuyến tính, các khái niệm cơ bản của bài toán quy hoạch tuyến tính,... Cuối mỗi chương có bài tập và lời giải chi tiết.

 17 p husc 27/04/2016 311 2 Download

Từ khóa: Tối ưu hóa, Bài giảng Tối ưu hóa, Bài toán quy hoạch tuyến tính, Quy hoạch tuyến tính, Thiết lập mô hình bài toán, Dạng bài toán quy hoạch tuyến tính

Bài giảng Biến phụ thuộc định tính - Đinh Công Khải tập trung trình bày các vấn đề cơ bản về sự khác biệt giữa mô hình hồi quy với Y là biến định lượng và Y là biến định tính; mô hình xác suất tuyến tính (Linear Probability Models – LPM); mô hình xác suất tuyến tính; các vấn đề kinh tế lượng của mô hình LPM;...

 16 p husc 27/04/2016 284 2 Download

Từ khóa: Bài giảng Biến phụ thuộc định tính, Biến phụ thuộc định tính, Mô hình hồi quy, Biến định lượng, Mô hình xác suất tuyến tính, Vấn đề kinh tế lượng

Nghiên cứu toàn bộ địa bàn huyện đảo Cồn Cỏ, phần đất liền và vùng đất ven biển. Để đánh giá được tác động của biến đổi khí hậu và đề xuất các giải pháp hạn chế tác động và thích ứng trong bối cảnh của biến đổi khí hậu. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 7 p husc 11/04/2016 301 1 Download

Từ khóa: Môi trường, Khoa học môi trường, Nước biển, Mô hình sóng, Biến đổi khí hậu, Bản đồ ngập, Lượng mưa tăng, Hạn hán gia tăng

Khái quát điều kiện tự nhiên, kinh tế xã hội và những biểu hiện của biến đổi khí hậu tác động đến hoạt động sản xuất ở Thừa Thiên Huế. 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

 9 p husc 05/04/2016 274 1 Download

Từ khóa: Địa lý, Địa lý tự nhiên, Biến đổi khí hậu, Kinh tế sinh thái, Nuôi tròng thủy sản, Mô hình kinh tế, Hoạt động sản xuất

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 422 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