http://thuvienso.dut.udn.vn/handle/DUT/9743 2026-04-14T05:42:59Z http://thuvienso.dut.udn.vn/handle/DUT/24591 Title: Cải tiến chất lượng kiểm thử đột biến bậc cao Authors: Đỗ, Văn Nhỏ Abstract: Nội dung gồm có 4 chương: Chương 1. Tổng quan kiểm thử đột biến. Chương 2. Cải tiến chất lượng kiểm thử đột biến bậc cao dựa trên phân loại đột biến bậc một. Chương 3. Đánh giá toán tử đột biến và hiệu quả của các ca kiểm thử bằng kiểm thử đột biến. Chương 4. Dự báo chất lượng của kiểm thử đột biến bậc cao dựa trên học máy. Description: 005.14 Đ450NH; 138 tr. 2025-01-01T00:00:00Z http://thuvienso.dut.udn.vn/handle/DUT/22636 Title: Impact - Based Document Retrieval Authors: Vo, Ngoc Anh Abstract: General Concepts; Effectiveness and Efficiency; Word - Oriented Compression; Impact - Sorted Indexes; Impact Normalisation; Impact Transformation; Document - Centric Impacts; Performance; Conclusions and Future Directions. Description: 005.7 VO-A 2004-01-01T00:00:00Z http://thuvienso.dut.udn.vn/handle/DUT/6243 Title: Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả Authors: Nguyễn, Thanh Tuấn Abstract: - Chương 1: Tổng quan về quy trình và quy tắc nghiệp vụ phần mềm: Chương này trình bày tổng quan về quy trình nghiệp vụ và quy tắc nghiệp vụ, cùng với việc mô hình hóa chúng sử dụng BPMN và DMN. Phần này cũng giới thiệu về luật ECA và chuỗi luật ECA. - Chương 2: Xác thực quy trình và quy tắc nghiệp vụ: Chương này trình bày lý thuyết mạng Petri (CPN, HCPN) và các kỹ thuật xác thực quy trình, quy tắc nghiệp vụ, làm nền tảng cho các phương pháp đề xuất ở các chương sau. - Chương 3: Xác thực quy trình và quy tắc nghiệp vụ phần mềm sử dụng mạng Petri màu: Chương này trình bày phương pháp VeBPRu do luận án đề xuất, tích hợp quy trình (BPMN) và quy tắc nghiệp vụ (DMN) vào mô hình CPN để xác thực tự động. Cuối chương là kết quả thử nghiệm minh họa hiệu quả của phương pháp. - Chương 4: Xác thực quy trình và quy tắc nghiệp vụ phần mềm sử dụng mạng Petri màu phân cấp. Chương này cũng trình bày mô hình VeBPRu2, là phiên bản mở rộng của VeBPRu, cho phép xác thực các quy trình nghiệp vụ phân cấp phức tạp hơn. Description: 007.743. NG527T; 214 tr. 2025-01-01T00:00:00Z http://thuvienso.dut.udn.vn/handle/DUT/5959 Title: Dự đoán và định hướng luồng giao thông trong môi trường bất định Authors: Đoàn, Phước Miền Abstract: Đề xuất giải pháp để dự đoán và định hướng luồng giao thông trong môi trường bất định. Mục tiêu chính của luận án là xây dựng mô hình có độ chính xác cao, có khả năng thích ứng với các yếu tố biến động của giao thông đô thị. Luận án cũng hướng đến việc cải thiện các phương pháp nhận dạng phương tiện bằng các kết hợp các kỹ thuật trừ nền và học sâu nhằm nâng cao khả năng phát hiện và theo dõi phương tiện trong điều kiện thực tế. Ngoài ra, nghiên cứu còn tập trung vào việc kết hợp các mô hình truyền thống và học sâu để dự đoán luồng giao thông, đặc biệt là tích hợp ARIMA và LSTM. Description: 239 tr. 005.7 Đ406M 2025-01-01T00:00:00Z