• Dự báo xói mòn đất do mưa gây ra ở vùng đồi núi Việt Nam bằng các phương pháp học máyDự báo xói mòn đất do mưa gây ra ở vùng đồi núi Việt Nam bằng các phương pháp học máy

    Xói mòn do mưa gây ra là một vấn đề nghiêm trọng đối với các vùng đồi núi nhiệt đới. Các mô hình dự báo xói mòn đất truyền thống (vật lý, kinh nghiệm) đều gặp khó khăn trong quá trình phát triển và dự báo chính xác. Do đó, nghiên cứu này xây dựng các mô hình dựa trên cơ sở dữ liệu sẵn có để dự đoán tình trạng xói mòn bằng các thuật toán học máy....

    pdf5 trang | Chia sẻ: thanhuyen291 | Ngày: 10/06/2022 | Lượt xem: 431 | Lượt tải: 0

  • Sử dụng mô hình học máy trong hỗ trợ diễn đoán thủy lực, thủy văn trên hệ thống Bắc Hưng HảiSử dụng mô hình học máy trong hỗ trợ diễn đoán thủy lực, thủy văn trên hệ thống Bắc Hưng Hải

    Bài toán diễn đoán thủy văn, thủy lực cũng đã được nhiều nhà khoa học trong các lĩnh vực thủy lợi, toán học, tin học tập trong nghiên cứu và phần nào đã thu được các kết quả. Tuy nhiên, tại các trạm thủy lợi thuộc hệ thống thủy lợi Bắc Hưng Hải, việc áp dụng các công cụ hỗ trợ để diễn đoán thủy văn, thủy lực từ các hệ thống máy chưa thực sự được ...

    pdf6 trang | Chia sẻ: thanhuyen291 | Ngày: 10/06/2022 | Lượt xem: 446 | Lượt tải: 0

  • Bài giảng Lý thuyết tính toán - Bài 7: Ôtômat đẩy xuống - Phạm Xuân CườngBài giảng Lý thuyết tính toán - Bài 7: Ôtômat đẩy xuống - Phạm Xuân Cường

    Ôtômat đẩy xuống = Push down automata (PDA) • PDA: Là một mô hình tính toán, giống với NFA ngoại trừ một thành phần mở rộng được gọi là ngăn xếp • Ngăn xếp: Là một cấu trúc dữ liệu hoạt động theo cơ chế LIFO - Các phương thức: read + push / ignored, pop/ignored • PDA ⇔ CFG về sức mạnh → Thêm công cụ hữu ích khi đoán nhận một ngôn ngữ phi ngữ...

    pdf27 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 793 | Lượt tải: 0

  • Bài giảng Lý thuyết tính toán - Bài 8: Máy Turing - Phạm Xuân CườngBài giảng Lý thuyết tính toán - Bài 8: Máy Turing - Phạm Xuân Cường

    Máy Turing = Turing Machine (TM) • TM: - Được đề xuất đầu tiên vào năm 1936 bởi Alan Turing - Là một mô hình tính toán mạnh hơn PDA và FSM - Là một mô hình chính xác hơn rất nhiều của máy tính đa năng - Tương tự như DFA nhưng có một bộ nhớ vô hạn và không hạn định

    pdf24 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 450 | Lượt tải: 0

  • Bài giảng Lý thuyết tính toán - Bài 10: Định nghĩa giải thuật - Phạm Xuân CườngBài giảng Lý thuyết tính toán - Bài 10: Định nghĩa giải thuật - Phạm Xuân Cường

    Một giải thuật là tập các lời chỉ dẫn đơn giản để thực hiện một vài nhiệm vụ nào đó • Giải thuật = thủ tục = công thức • Giải thuật đóng vai trò quan trọng cho rất nhiều nhiệm vụ khác nhau Ví dụ: tìm số nguyên tố, tìm ước số chung lớn nhất,. . . • Trước thế kỉ XX, chưa tồn tại khái niệm giải thuật (các khái niệm mang tính trực giác về giải t...

    pdf20 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 343 | Lượt tải: 0

  • Dự báo cấp độ phö dưỡng hóa nước mặt do sự cố xả nước thải từ các hoạt động kinh tế ven biển Đông Nam BộDự báo cấp độ phö dưỡng hóa nước mặt do sự cố xả nước thải từ các hoạt động kinh tế ven biển Đông Nam Bộ

    Thống kê kết quả quan trắc tại khu vực i n Đông Nam Bộ từ - 8 cho thấy, trong môi trường nư c i n khu vực Đông Nam Bộ, sự phát tri n của tảo chủ yếu phụ thuộc vào thông số N-NH4+ Dựa trên kết quả phân hạng mức ộ phú ưỡng h a ựa vào nồng ộ NNH4+ ối v i các kịch ản sự cố môi trường khu vực Đông Nam Bộ, ự áo các hoạt ộng công nghiệp là nguồn nguy c...

    pdf8 trang | Chia sẻ: thanhuyen291 | Ngày: 10/06/2022 | Lượt xem: 389 | Lượt tải: 0

  • Bài giảng Lý thuyết tính toán - Bài 11: Các ngôn ngữ quyết định được - Phạm Xuân CườngBài giảng Lý thuyết tính toán - Bài 11: Các ngôn ngữ quyết định được - Phạm Xuân Cường

    Tính quyết định giúp chúng ta nghiên cứu kỹ hơn về khả năng giải quyết các bài toán của thuật toán • Một số bài toán có thể giải được bằng thuật toán, một số thì không thể → Cần phải nghiên cứu về khả năng không giải quyết được • Mục đích là để phát hiện ra giới hạn về tính giải được của thuật toán

    pdf21 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 374 | Lượt tải: 0

  • Bài giảng Lý thuyết tính toán - Bài 12: Ôn tập - Phạm Xuân CườngBài giảng Lý thuyết tính toán - Bài 12: Ôn tập - Phạm Xuân Cường

    Bài 1: Cho bộ chữ Σ= {a,b} a. Hãy đưa ra biểu đồ trạng thái của NFA đoán nhận ngôn ngữ tương đương với biểu thức chính quy b*ab*ab* b. Mô tả định nghĩa hình thức của NFA trên c. Hãy đưa ra biểu đồ trạng thái của DFA tương đương với NFA trên và mô tả định nghĩa hình thức d. Hãy mô tả ngôn ngữ mà NFA trên đoán nhận

    pdf5 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 435 | Lượt tải: 0

  • Bài giảng Lý thuyết tính toán - Bài 14: Quy dẫn - Phạm Xuân CườngBài giảng Lý thuyết tính toán - Bài 14: Quy dẫn - Phạm Xuân Cường

    Nội dung bài giảng 1. Giới thiệu 2. Các bài toán không quyết định được 3. Quy dẫn thông qua lịch sử tính toán 4. Bài toán PCP 5. Quy dẫn ánh xạ

    pdf35 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 375 | Lượt tải: 0

  • Bài báo khoa học Áp dụng thử nghiệm phần mềm mã nguồn mở OpenFOAM mô phỏng lũ bùn đáBài báo khoa học Áp dụng thử nghiệm phần mềm mã nguồn mở OpenFOAM mô phỏng lũ bùn đá

    Lũ bùn đá là một dạng dòng chảy năng lượng cao chứa nước, đất, cát và sỏi đá trộn lẫn với nhau thường hình thành ở các vùng đồi núi dốc. Năng lượng mà lũ bùn đá tạo ra khi va chạm với các chướng ngại vật trên đường di chuyển của chúng thường rất lớn, có thể gây thiệt hại về người và tài sản. Trong nghiên cứu này, phần mềm OpenFOAM bước đầu được...

    pdf10 trang | Chia sẻ: thanhuyen291 | Ngày: 10/06/2022 | Lượt xem: 578 | Lượt tải: 0