» Từ khóa: toán hình học

Kết quả 13-16 trong khoảng 16

Ứng dụng các kĩ thuật của hình học tính toán để xây dựng cây phạm vi hỗ trợ bài toán truy vấn cơ sở dữ liệu

Bài viết tập trung đề xuất xây dựng cấu trúc cây phạm vi bằng các kỹ thuật của hình học tính toán để thực hiện truy vấn trên phạm vi trực giao, đồng thời cũng đề xuất giải pháp cải tiến thuật toán cây phạm vi bằng phương pháp tập điểm chung.

8 p actvn 27/11/2024 35 0

Từ khóa: Hình học tính toán, Phạm vi truy vấn, Cây phạm vi, Phương pháp tập điểm chung, Cuộc cách mạng công nghiệp 4.0
Xây dựng chương trình chuyển đổi một số đối tượng của biểu đồ trình tự sang mạng Petri hàng đợi

Bài viết Xây dựng chương trình chuyển đổi một số đối tượng của biểu đồ trình tự sang mạng Petri hàng đợi trình bày cách xây dựng chương trình chuyển đổi tự động một số đối tượng trong biểu đồ trình tự sang mạng Petri hàng đợi. Cách tiếp cận được trình bày trong bài viết có thể được sử dụng để chuyển đổi tự động một biểu...

8 p actvn 29/09/2024 47 0

Từ khóa: Biểu đồ trình tự, Mạng hàng đợi Petri, Mô hình chuyển đổi, Ngôn ngữ mô hình toán học, Cấu trúc chương trình chuyển đổi
Nhận diện biển báo và tín hiệu đèn giao thông sử dụng YOLOv4 trên phần cứng Jetson TX2

Bài viết "Nhận diện biển báo và tín hiệu đèn giao thông sử dụng YOLOv4 trên phần cứng Jetson TX2" nghiên cứu sử dụng mô hình YOLOv4, một trong những kiến trúc phổ biến của học sâu để phát hiện, nhận diện biển báo và các tín hiệu đèn giao thông. Nghiên cứu tập trung vào việc so sánh và đánh giá để lựa chọn phiên bản phù hợp với bộ dữ liệu....

11 p actvn 27/06/2023 96 0

Từ khóa: Nhận diện biển báo đèn giao thông, Nhận diện tín hiệu đèn giao thông, Mô hình YOLOv4, Phần cứng Jetson TX2, Thuật toán YOLOv4, Tạp chí Khoa học Công nghệ Thực phẩm
Bài giảng Đặc tả hình thức: Chương 2 - PGS.TS. Vũ Thanh Nguyên

Bài giảng Đặc tả hình thức: Chương 2 Cơ sở toán học trong đặc tả hình thức, cung cấp cho người đọc những kiến thức như: Lý thuyết tập hợp; Phép toán vị từ; Lượng từ; Luật suy diễn. Mời các bạn cùng tham khảo!

75 p actvn 21/03/2023 106 0

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Cơ sở toán học trong đặc tả hình thức, Phép toán vị từ, Luật suy diễn

Đăng nhập

Bộ sưu tập nổi bật

Học viện Kỹ thuật Mật Mã

141 đường Chiến Thắng - Tân Triều - Thanh Trì - Hà Nội
ĐT : 024.38544244 – 024.38543024 – 024.385520251

Phát triển bởi Thư viện số