- 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
Chương trình Logic tập trả lời (ASP) và ứng dụng để biểu diễn tri thức.
Các khái niệm cơ sở; Chương trình Logic tập trả lời; Ứng dụng của chương trình logic tập trả lời để biểu diễn tri thức. 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
13 p husc 17/12/2024 4 0
Từ khóa: Khoa học máy tính, Ngôn ngữ bậc nhất, Ngôn ngữ logic, Chương trình logic, Hệ thống Clingo, Thuật ngữ xây dựng, Bài toán ứng dụng.
Đánh giá hiệu năng của cơ chế quản lý hàng đợi Sred và Rared
Tổng quan về các cơ chế điều khiển tránh tắc nghẽn trong mạng TCP/IP; Quản lý hàng đợi RED và các cải tiến hàng đợi SRED và RARED; Cài đặt mô phỏng và đánh giá hiệu nă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
12 p husc 21/05/2024 18 0
Từ khóa: Khoa học máy tính, Điều khiển tắc nghẽn, Quản lý hàng đợi, Hàng đợi Red, Thuật toán Red, Chương trình mô phỏng, Tận dụng băng thông
Tính toán thiết kế và tối ưu hóa kết cấu khung máy in 3D bê tông kích thước lớn dạng cổng trục
Tính toán thiết kế và tối ưu hóa kết cấu khung máy in 3D bê tông kích thước lớn dạng cổng trục trình bày việc tính toán và tối ưu hóa kết cấu khung máy in 3D bê tông dạng cổng trục kích thước lớn ứng dụng trong ngành xây dựng. Mô hình phần tử hữu hạn của khung máy với các điều kiện làm việc khác nhau được xây dựng trong môi trường NX Nastran...
17 p husc 26/11/2023 49 0
Từ khóa: Máy in 3D bê tông, Chương trình tự động tính toán, Tối ưu hóa kết cấu, Giải thuật di truyền, Môi trường NX Nastran
Nghiên cứu mạng nơ ron đa lớp truyền thẳng và ứng dụng.
Trình bày kiến thức về mạng nơ ron, nơ ron nhân tạo và nơ ron sinh học, các kiểu mô hình mạng. Mô phỏng ứng dụng mạng nơ ron đa lớp truyền thẳng trình bày mô hình bài toán nhận dạng chữ Hán nôm và cách giải quyết bài toán dựa trên mạng nơ ron đa lớp truyền thẳng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343....
5 p husc 23/10/2017 273 2
Từ khóa: Công nghệ thông tin, Mạng nơ ron, Nơ ron sinh học, Nơ ron nhân tạo, Mạng nhiều tầng, Lớp truyền thẳng, Thuật toán lan truyền, Chọn hàng truyền, Nhận dạng chữ Hán Nôm, Thuật toán lan truyền ngược, Giao diện chương trình.
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 256 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.
Tìm hiểu mô hình cơ sở tri thức đa trị dựa vào chương trình datalog đa trị.
Tìm hiểu cú pháp và ngữ nghĩa của chương trình Datalog mờ, định giá truy vấn chương trình Datalog mờ. Từ chương trình Datalog mờ mở rộng thành chương trình Datalog đa trị, đi tìm cú pháp và ngữ nghĩa của chương trình Datalog đa trị. 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 01/06/2016 287 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog mờ, Datalog đa trị, Giá trị trực cảm, Giá trị khoảng, Tri thức đa trị, Thuật toán kết nối, Tri thức nền, Thuật toán hợp nhất
Nghiên cứu ngữ nghĩa tập trả lời của chương trình logic ưu tiê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 dương; ngữ nghĩa mô hình bền vững của chương trình logic thông thường. Nghiên cứu cú pháp và ngữ nghĩa của chương trình logic ưu tiên theo tiếp cận tập trả lời cùng với các tính chất ngữ nghĩa của lớp chương trình này. Trình bày thuật toán để tính tập trả...
5 p husc 17/03/2016 281 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phần mềm Eclipse, Thuật toán, Logic thông thường
Bài giảng Cơ sở lập trình 1: Chương 1 - Lê Quý Tài
Bài giảng Cơ sở lập trình 1 - Chương 1 giới thiệu các khái niệm cơ bản về lập trình. Trong chương này sẽ trình bày lần lượt các nội dung cụ thể như: Các khái niệm cơ bản, các bước xây dựng chương trình, thuật toán và chương trình, giới thiệu ngôn ngữ lập trình C. Mời các bạn cùng tham khảo.
27 p husc 25/12/2015 370 3
Từ khóa: Cơ sở lập trình, Bài giảng Cơ sở lập trình 1, Thuật toán ngôn ngữ lập trình, Ngôn ngữ lập trình C, Xây dựng chương trình, Môi trường lập trình
Bài giảng Đồ họa máy tính: Thuật toán vẽ đường thẳng Bresenham
Bài giảng Đồ họa máy tính: Thuật toán vẽ đường thẳng Bresenham có nội dung giới thiệu về thuật toán Bresenham, cài đặt thuật toán cho đường tròn tâm và đường elip tâm, chương trình thuật toán và bài tập. Tham khảo nội dung bài giảng để hiểu rõ hơn về các nội dung trên.
15 p husc 23/11/2015 231 1
Từ khóa: Đồ họa máy tính, Thuật toán Bresenham, Vẽ đường thẳng, Cài đặt thuật toán, Chương trình thuật toán, Kỹ thuật đồ họa
Bài giảng Đồ họa máy tính: Thuật toán Bresenham - Vẽ đường thẳng
Bài giảng Đồ họa máy tính: Thuật toán Bresenham - Vẽ đường thẳng có nội dung giới thiệu về thuật toán Bresenham, cài đặt thuật toán, chương trình thuật toán và bài tập. Tham khảo nội dung bài giảng để hiểu rõ hơn về các nội dung trên.
15 p husc 23/11/2015 302 4
Từ khóa: Đồ họa máy tính, Thuật toán Bresenham, Vẽ đường thẳng, Cài đặt thuật toán, Chương trình thuật toán, Kỹ thuật đồ họa
Nghiên cứu việc định giá chương trình Datalog trên cơ sở dữ liệu vô hạn
Trình bày một số ký hiệu, khái niệm cơ sở. Giới thiệu chương trình Datalog an toàn và ràn buộc hữu hạn. Một số thuật toán định giá đối với chương trình Datalog trên cơ sở dữ liệu vô hạ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 01/04/2015 295 1
Từ khóa: Tin học, chương trình Datalog, thuật toán định giá, cơ sở dữ liệu vô hạn.
Nghiên cứu một số phương pháp xác định ngữ nghĩa của chương trình Datalog
Tìm hiểu các thuật toán (Naive, Semi-naive), các thuật toán cải tiến hiện có và nghiên cứu một số phương pháp để tìm ngữ nghĩa mô hình của chương trình Datalog. Nghiên cứu các phương pháp tìm ngữ nghĩa của chương trình Datalog trong các trường hợp đặc biệt - tuyến tính; phân tầng địa phương. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...
6 p husc 27/03/2015 238 2
Từ khóa: Tin học, Thuật toán, Chương trình Datalog, Datalog
Đăng nhập
Bộ sưu tập nổi bật
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.