- 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
Tìm hiểu ngữ nghĩa tập trả lời của chương trình logic và nghiên cứu.
Các khái niệm cơ sở của chương trình logic; Ngữ nghĩa tập trả lời của chương trình logic; Ứng dụng của chương trình logic với ngữ nghĩa tập trả lời. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447
12 p husc 08/11/2024 8 0
Từ khóa: Khoa học máy tính, Chương trình logic, Ngôn ngữ bậc nhất, Xây dựng mô hình, Hệ thống clingo, Tập trả lời.
Tìm hiểu ngữ nghĩa và phướng pháp định giá truy vấn đối với chương trình Datalog mô tả
Tổng quan về chương trình datalog và logic mô tả; Ngữ nghĩa của chương trình datalog mô tả; Phương pháp trả lời câu truy vấn và ứng dụng của chương trình datalog mô tả. 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 04/04/2024 35 0
Từ khóa: Khoa học máy tính, Chương trình datalog, Logic mô tả, Ứng dụng chương trình, Cài đặt bài toán
Tìm hiểu ngôn ngữ Ontology Owl 2 và ứng dụng
Giới thiệu Logic mô tả; Web ngữ nghĩa và ngôn ngữ Ontology dành cho Web Owl 2; Xây dựng Ontology Owl 2 biểu diễn cơ sở tri thức về chương trình đào tạo đại học và ứng dụng. 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 27/02/2024 50 0
Từ khóa: Khoa học máy tính, Logic mô tả, Web ngữ nghĩa, Ngôn ngữ Ontology, Cây phân lớp, Định nghĩa lớp phức, Kiểu dữ liệu, Bài toán xây dựng, Chương trình java
Bài giảng Hệ cơ sở dữ liệu: Chương 2.2 - TS. Lê Thị Tú Kiên
Bài giảng Hệ cơ sở dữ liệu: Chương 2.2 Mô hình thực thể - liên kết, cung cấp cho người học những kiến thức như: Các thành phần cơ bản của mô hình E-R; Các ràng buộc trên các kiểu liên kết; Biểu đồ E-R; Một số tính chất mở rộng của mô hình E-R; Ví dụ thực hành về thiết kết lược đồ thực E-R. Mời các bạn cùng tham khảo!
86 p husc 23/12/2023 28 0
Từ khóa: Bài giảng Hệ cơ sở dữ liệu, Hệ cơ sở dữ liệu, Mô hình thực thể, Mô hình hóa dữ liệu, Thiết kế logic, Quy trình phân tích cơ sở dữ liệu
Nối tiếp phần 1, "Bài giảng Kỹ thuật số: Phần 2" tiếp tục trình bày những nội dung về mạch logic tuần tự; mô hình toán học; phần tử nhớ của mạch tuần tự; đầu vào không đồng bộ của trigơ; chuyển đổi giữa các loại trigơ; phân tích mạch tuần tự; bộ đếm, phân tích và thiết kế bộ đếm; bộ ghi dịch (Shift Register); thanh chốt dữ liệu...
63 p husc 30/05/2022 92 0
Từ khóa: Bài giảng Kỹ thuật số, Kỹ thuật số, Mạch logic tuần tự, Mô hình toán học, Phân tích mạch tuần tự, Thiết kế bộ đếm, Bộ ghi dịch (Shift Register)
Tìm hiểu ngữ nghĩa xác đáng của chương trình logic mô tả trong web ngữ nghĩa
Tổng quan về chương trình logic; Chương trình mô tả; Ứng dụng của chương trình logic mô tả. 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
10 p husc 15/03/2022 64 0
Từ khóa: Khoa học máy tính, Chương trình logic, Logic mô tả, Hệ thống DLV, Vị từ xây dựng, Thực thi chương trình, Bài toán ứng dụng
Tìm hiểu việc mở rộng chương trình datalog cho web ngữ nghĩa
Tổng quan về chương trình datalog và web ngữ nghĩa; Chương trình datalog; Chuyển đổi logic mô tả DL- LITE về chươgn trình datalog. 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 15/03/2022 81 0
Từ khóa: Khoa học máy tính, Chương trình datalog, Lý thuyết mô hình, Điểm bất động, Web ngữ nghĩa, Logic mô tả
Giáo trình Thiết kế logic số: Phần 1
Giáo trình "Thiết kế logic số" gồm có 4 chương, 4 phụ lục và được chia thành 2 phần, phần 1 của giáo trình cung cấp cho người học những kiến thức, khái niệm cơ bản về thiết kế các khối số, trong đó có những kiến thức được nhắc lại với những bổ xung phù hợp với mục đích môn học; giới thiệu về ngôn ngữ mô tả phần cứng VHDL; thiết...
312 p husc 30/10/2021 135 1
Từ khóa: Giáo trình Thiết kế logic số, Thiết kế logic số, Mạch logic tổ hợp, Mạch logic tuần tự, Ngôn ngữ mô tả phần cứng VHDL, Thiết kế các khối mạch dãy
Ebook Hệ mờ & nơron trong kỹ thuật điều khiển: Phần 1
Cuốn sách "Hệ mờ & nơron trong kỹ thuật điều khiển" cung cấp cho bạn đọc những nội dung rất cơ bản về Hệ mờ, mạng nơ ron nhân tạo và hệ Mờ-nơron. Cuốn sách cũng giúp bạn đọc biết cách khai thác những công cụ sẵn có của phần mềm MATLAB để phân tích, thiết kế các bộ điều khiển mờ, nơron nhằm điều khiển các đối tượng trong công...
103 p husc 30/10/2021 120 3
Từ khóa: Kỹ thuật điều khiển, Lôgic mờ, Điều khiển mờ, Bộ điều khiển mở, Mạng nơron nhân tạo, Mạng nơron
Ebook Hệ mờ & nơron trong kỹ thuật điều khiển: Phần 2
Ebook Hệ mờ & nơron trong kỹ thuật điều khiển: Phần 2 gồm có những nội dung chính sau: Mạng perceptrons, mạng tuyến tính, hệ mờ - nơron (fuzzy-neural). Mời các bạn cùng tham khảo để biết thêm nội dung chi tiết.
67 p husc 30/10/2021 116 2
Từ khóa: Kỹ thuật điều khiển, Lôgic mờ, Điều khiển mờ, Mạng nơron, Mạng perceptrons, Mạng tuyến tính
Một số giải pháp phân vùng ảnh viễn thám kích thước lớn dựa trên logic mờ
Phân vùng ảnh viễn thám là vấn đề được các nhà nghiên cứu viễn thám quan tâm. ảnh viễn thám có thể có nhiều kênh, độ phân giải rất cao. Có nhiều kĩ thuật phân vùng khác nhau như K-Means, C-Means, Watersed, ... Trong đó, Fuzzy C-Means (FCM) được đánh giá rất cao về khả năng phân vùng bằng việc sử dụng logic mờ. Tuy nhiên, phương pháp này gặp vấn đề...
6 p husc 29/09/2020 153 4
Từ khóa: Giải pháp phân vùng ảnh viễn thám, Kích thước lớn dựa trên logic mờ, Phân vùng ảnh, Ảnh viễn thám, Kĩ thuật phân vùng
Học khái niệm cho các hệ thống thông tin dựa trên logic mô tả
Nghiên cứu cú pháp, ngữ nghĩa đối với lớp lớn các logic mô tả giàu ngữ nghĩa hơn so với các công trình đã có bằng cách cho phép sử dụng các thuộc tính như là các phân tử cơ bản của ngôn ngữ, các quan hệ thông qua các vai trò dữ liệu và đề cập đến đặc trưng F, N. Lớp các logic này bao phủ những logic mô tả...
9 p husc 31/10/2018 301 1
Từ khóa: Khoa học máy tính, Logic mô tả, Ngôn ngữ logic, Mô tả ALC, Thuật toán suy luận, Mô phỏng hai chiều, Quan hệ tương đương, Hệ thống thông tin
Đăng nhập
Bộ sưu tập nổi bật
17 13661
Tuyển tập tác phẩm văn học hay
15 7885
Bộ sưu tập tài liệu Toán học hay
24 7849
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.