- 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
Ebook Ngôn ngữ hình thức kiến trúc (Tập 1): Phần 1
Phần 1 của cuốn sách "Ngôn ngữ hình thức kiến trúc (Tập 1)" cung cấp cho bạn đọc những nội dung liên quan đến hình thức cơ bản của kiến trúc - điểm, tuyến, diện, hình khối,... Mời các bạn cùng tham khảo chi tiết nội dung cuốn sách!
84 p dtu 24/09/2024 48 1
Từ khóa: Ngôn ngữ hình thức kiến trúc, Ngôn ngữ hình thức kiến trúc Tập 1, La Văn Ái, Triệu Quang Diệu, Môi cảnh tự nhiên, Kiến trúc nhà ở kiểu tháp, Kiến trúc công cộng, Mặt bằng kiến trúc
Tích hợp DSM và ảnh chụp UAV với mô hình nơ-ron tích chập trong phân loại lớp phủ mặt đất
Bài viết Tích hợp DSM và ảnh chụp UAV với mô hình nơ-ron tích chập trong phân loại lớp phủ mặt đất trình bày việc tích hợp mạng nơ-ron tích chập và thuật toán Catboost trong phân loại lớp phủ mặt đất từ dữ liệu UAV. Dữ liệu đầu vào của mô hình là ảnh chụp UAV tại Hà nội, kết hợp với mô hình số bề mặt (DSM).
8 p dtu 25/09/2022 61 0
Từ khóa: Mạng nơ-ron tích chập, Tích hợp DSM, Thuật toán Catboost, Mô hình số bề mặt, Xử lý ngôn ngữ tự nhiên
Ebook Ngôn ngữ của đối xứng: Phần 2
Ebook Ngôn ngữ của đối xứng: Phần 2 thể hiện việc đối xứng là một công cụ chủ yếu để bắc cầu qua cái hố ngăn cách giữa khoa học và nghệ thuật, giữa tâm lý học và toán học. Vì đối xứng đã xuyên suốt nhiều lĩnh vực, từ nghệ thuật thị giác và âm nhạc tới tâm lý học và các lĩnh vực khoa học tự nhiên, nên sẽ không có gì là quá đáng...
193 p dtu 28/01/2019 193 3
Từ khóa: Ebook Ngôn ngữ của đối xứng, Khám phá khoa học, Nghệ thuật toán học, Lĩnh vực khoa học tự nhiên, Vẻ đẹp ngôn ngữ toán học
Đặc tả hình thức - Đặc tả và tính đúng đắn của hàm
Phương pháp này chính là phương pháp kiểm thử chủ đạo được áp dụng trong giai đoạn lập trình và giai đoạn kiểm thử của quy trình phát triển phần mềm trên thế giới hiện nay. Các công cụ hỗ trợ phương pháp này: Công cụ phát sinh các dữ liệu thử nghiệm. Công cụ cho phép thực thi hàm và ghi nhận kết quả. Công cụ kiểm tra tính phù hợp của...
40 p dtu 11/10/2012 229 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Đặc tả hình thức - Các cơ sở của đặc tả
Thực hiện các phép toán trên mệnh đề. Lập bảng chân trị của 1 dạng mệnh đề. Chứng minh dạng mệnh đề là hằng đúng/sai. Chứng minh 2 dạng mệnh đề tương đương logic. Chứng minh các phép suy diễn trên mệnh đề.
68 p dtu 11/10/2012 223 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Nêu được ý nghĩa của 1 số thuật ngữ cơ bản dùng trong môn học Đặc tả hình thức. Trình bày được vai trò của các phương pháp hình thức trong các bước của quy trình phát triển phần mềm. Nêu lịch sử ra đời và phát triển của các ngôn ngữ hình thức, cũng như tính chất chung của chúng. Liệt kê được 1 số ngôn ngữ hình thức phổ biến hiện nay.
27 p dtu 11/10/2012 226 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Đặc tả hình thức - Nội dung môn học
Nêu được ý nghĩa của 1 số thuật ngữ cơ bản dùng trong môn học Đặc tả hình thức. Trình bày được vai trò của các phương pháp hình thức trong các bước của quy trình phát triển phần mềm. Nêu lịch sử ra đời và phát triển của các ngôn ngữ hình thức, cũng như tính chất chung của chúng. Liệt kê được 1 số ngôn ngữ hình thức phổ biến hiện nay.
15 p dtu 11/10/2012 223 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên