- 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
Phương pháp chuyển đổi mô hình hướng đối tượng sang logic mô tả.
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 247 1
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
Ứng dụng logic mờ vào khung đánh giá năng lực thực hiện tại trường Đại học Nghệ thuật - Đại học Huế.
Đư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 232 1
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á
Tìm hiểu lập luận của Logic mô tả ALC mờ.
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 320 1
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ờ
Tìm hiểu thuật toán ADTDA và FID3 xây dựng cây quyết định dựa vào tập thô.
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 254 1
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 về định giá truy vấn chương trình datalog bằng phương pháp ma tập.
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 234 1
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.
Xây dựng công cụ hỗ trợ học ngôn ngữ lập trình.
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 300 1
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.
Tìm hiểu về Logic mô tả ALC mờ và SHIN mờ.
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 391 1
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
Xấp xỉ khái niệm cho hệ thống thông tin trong logic mô tả.
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 205 1
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ỉ.
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 283 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 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 350 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
Sử dụng mô hình truyền thông báo để giải quyết một số bài toán có thời gian thực hiện lớn
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 301 1
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ã
Biểu diễn cấu trúc dữ liệu theo phương pháp hướng đối tượng bằng ngôn ngữ C+
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 311 3
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
Đăng nhập
Bộ sưu tập nổi bật
Bộ sưu tập tài liệu Toán học hay
24 7289
17 11501
Tuyển tập tác phẩm văn học hay
15 7021
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.