» Từ khóa: chuong trinh thuat toan

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 15 0 Download

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 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 47 0 Download

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

Nối tiếp phần 1, phần 2 của bài giảng tiếp tục trình bày các nội dung về các mô hình an toàn chính tắc cho phép mô tả và kiểm chứng các yêu cầu cần phải đạt với mô hình đề xuất; Giới thiệu cách thức giúp cho việc đánh giá và kiểm tra các yêu cầu an toàn với hệ thống máy tính thông qua việc xây dựng các đặc tả yêu cầu hệ thống. Mời các...

 35 p husc 31/01/2023 41 0 Download

Từ khóa: Bài giảng An toàn hệ điều hành, An toàn hệ điều hành, Kỹ thuật kiểm chứng mã chương trình, Mô hình máy trạng thái, Mô hình Harrison-Ruzzo-Ullman

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 267 2 Download

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

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

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 279 2 Download

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 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 366 3 Download

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

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 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 300 4 Download

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

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

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.

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 235 2 Download

Từ khóa: Tin học, Thuật toán, Chương trình Datalog, Datalog