Phương pháp tính toán khoảng giải các ràng buộc không tuyến tính

Đề xuất áp dụng phương pháp kiểm thử cặp đôi (pairwisetesting) thực hiện kiểm thử tăng dần(testinrementally)vào bước kiểm thử của ra SAT cải thiện hiệu quả. Kết quả đạt được đã tốt hơn như mục tiêu ban đầu của luận văn. Cụ thể kết qủa đạt được như sau: Cải thiện số lượng bài toán giải được và thời g...

Full description

Saved in:
Bibliographic Details
Main Author: Nguyễn, Văn Quân
Other Authors: Tô, Văn Khánh
Format: Theses and Dissertations
Language:Vietnamese
Published: 2017
Subjects:
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/17253
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: Vietnamese
Be the first to leave a comment!
You must be logged in first