» Từ khóa: thuật ngữ công nghệ thông tin

Giới thiệu mô hình hướng đối tượng, trong đó giới thiệu về mô hình hạt nhân và mở rộng ngữ nghĩa của mô hình hạt nhân về logic mô tả, bao gồm các nội dung: khái lược về logic mô tả, cú pháp ngữ nghĩa của logic mô tả, hệ cơ sở tri thức dựa trên logic mô tả và mở rộng của ngôn ngữ mô tả. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

 13 p husc 10/01/2018 261 1 Download

Từ khóa: Công nghệ thông tin, Mô hình hạt nhân, Logic mô tả, Ngôn ngữ mô tả, Hộp thuật ngữ, Giao diện người dùng

Đưa ra những khái niệm cơ bản về tập mờ và thông tin không chắc chắn, biến ngôn ngữ, các phép tính trên tập mờ và quan hệ mờ. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 10/01/2018 245 1 Download

Từ khóa: Công nghệ thông tin, Biến ngôn ngữ, Quan hệ mờ, Lượng từ mờ, Biểu diễn tri thức, Thuật toán đánh giá

Trình bày các bài toán lập luận và minh họa các bài toán thông qua một ví dụ có tính thực tiễn góp phần làm rõ các lý thuyết của logic mô tả ALC và ALC mờ. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 13 p husc 10/01/2018 337 1 Download

Từ khóa: Công nghệ thông tin, Logic mô tả, Lý thuyết tập mờ, Bài toán lập luận, Thuật toán Tableaux, Bài toán kéo theo, Thuật ngữ mờ

Trình bày một số phương pháp tổng quan để xây dựng cây quyết định dựa vào tập thô và thuật toán ID3, ADTDA, FID3 xây dựng cây quyết định. Phát biểu bài toán để kiểm chứng thuật toán ID3, ADTDA, FID3 xây dựng cây quyết định trên bộ dữ liệu demo. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 5 p husc 20/10/2017 268 1 Download

Từ khóa: Công nghệ thông tin, Tập mờ, Biến ngôn ngữ, Khai phá dữ liệu, Tập thô, Bảng quyết định, Cây quyết định, Thuật toán ID3, Phân lớp dữ liệu.

Tìm hiểu phương pháp ma tập để định giá truy vấn đối với chương trình Datalog, chiến lược truyền thông tin sang ngang và thuật toán ma tập đối với chương trình Datalog dạng tuyển. về việc thực thi thuật toán ma tập đối với các chương trình Datalog và Datalog dạng tuyển bằng hệ thống lập trình logic DLV. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

 5 p husc 13/10/2017 252 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Datalog, Ngôn ngữ bậc nhất, Thuật toán ma tập, Datalog dạng tuyển, Hệ thống DLV.

Tìm hiểu và thiết kế một số công cụ dùng để mô phỏng thuật toán cụ thể nào đó hoặc mô phỏng thuật toán bằng cách vẽ lưu đồ thuật toán sau đó minh họa trực tiếp trên lưu đồ của bài toán được vẽ. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 5 p husc 13/10/2017 316 1 Download

Từ khóa: Công nghệ thông tin, Hệ hỗ trợ, Xây dựng hệ thống, Ngôn ngữ lập trình, Mô phỏng thuật toán, Cấu trúc lệnh, Biểu đồ lớp, Phân loại hệ thống, Phương pháp mô phỏng.

Trình bày một số khái niệm cơ sở của logic mô tả và tập trung vào cú pháp, ngữ nghĩa của logic mô tả SHIN trong đó tập trung vào cú pháp, ngữ nghĩa cùng với các tính chất của logic mô tả SHIN mờ. 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

 11 p husc 27/12/2016 410 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ logic, Logic mô tả, Thuật ngữ mờ, Phép bao hàm, Bao hàm mờ, Quan hệ kéo theo

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

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mô tả, Biểu diễn tri thức, Ngôn ngữ logic, Mô phỏng hai chiều, Thông tin truyền thống, Tập xấp xỉ, Thuật toán xấp xỉ.

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 295 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.

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

Gồm 3 chương: 1. Tổng quan về thuật toán và lập trình song song; 2. Mã hóa thông tin; 3. Cài đặt. 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

 4 p husc 27/11/2015 316 1 Download

Từ khóa: Tin học, Công nghệ thông tin, Mô hình truyền thông, Ngôn ngữ lập trình, Lập trình song song, Mã hóa thông tin, Thuật toán song song, Mã khóa công khai, Lý thuyết mật mã

Gồm 2 phần: 1. Tổng quan: cấu trúc dữ liệu và thuật toán, lập trình hướng đối tượng và ngôn ngữ lập trình C++; 2. Giới thiệu và cài đặt một số cấu trúc dữ liệu điển hình theo phương pháp hướng đối tượng: các danh sách liên kết, ngăn xếp, hàng đợi, cây nhị phân tìm kiếm. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email:...

 4 p husc 27/11/2015 325 3 Download

Từ khóa: Tin học, Công nghệ thông tin, Dữ liệu, Cấu trúc dữ liệu, Ngôn ngữ C++, Phương pháp hướng đối tượng, Lập trình, Thuật toán, Dữ liệu điển hình