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:	Công nghệ phần mềm Phần mềm máy tính Lập trình
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

id	oai:112.137.131.14:VNU_123-17253
record_format	dspace
spelling	oai:112.137.131.14:VNU_123-172532020-03-25T01:07:59Z Phương pháp tính toán khoảng giải các ràng buộc không tuyến tính Bound propagation method for solving of Non-linear constraints Nguyễn, Văn Quân Tô, Văn Khánh Công nghệ phần mềm Phần mềm máy tính Lập trì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 gian. Cụ thể giải nhiều hơn 386 bài toán với thời gian cải thiện được khoảng 12.4% (17,500phút). Mở ra các phương pháp cải tiến ra SAT trên các ràng buộc có số biến lớn. Hiện tại với các ràng buộc có số biến lớn vẫn là thách thức của các SMT Solver mạnh như Z3. 2017-03-01T07:24:32Z 2017-03-01T07:24:32Z 2016 Thesis Nguyễn, Văn Quân. (2016). Phương pháp tính toán khoảng giải các ràng buộc không tuyến tính. Luận văn thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam http://repository.vnu.edu.vn/handle/VNU_123/17253 vi 56 tr. application/pdf application/pdf
institution	Vietnam National University, Hanoi
building	VNU Library & Information Center
country	Vietnam
collection	VNU Digital Repository
language	Vietnamese
topic	Công nghệ phần mềm Phần mềm máy tính Lập trình
spellingShingle	Công nghệ phần mềm Phần mềm máy tính Lập trình Nguyễn, Văn Quân Phương pháp tính toán khoảng giải các ràng buộc không tuyến tính
description	Đề 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 gian. Cụ thể giải nhiều hơn 386 bài toán với thời gian cải thiện được khoảng 12.4% (17,500phút). Mở ra các phương pháp cải tiến ra SAT trên các ràng buộc có số biến lớn. Hiện tại với các ràng buộc có số biến lớn vẫn là thách thức của các SMT Solver mạnh như Z3.
author2	Tô, Văn Khánh
author_facet	Tô, Văn Khánh Nguyễn, Văn Quân
format	Theses and Dissertations
author	Nguyễn, Văn Quân
author_sort	Nguyễn, Văn Quân
title	Phương pháp tính toán khoảng giải các ràng buộc không tuyến tính
title_short	Phương pháp tính toán khoảng giải các ràng buộc không tuyến tính
title_full	Phương pháp tính toán khoảng giải các ràng buộc không tuyến tính
title_fullStr	Phương pháp tính toán khoảng giải các ràng buộc không tuyến tính
title_full_unstemmed	Phương pháp tính toán khoảng giải các ràng buộc không tuyến tính
title_sort	phương pháp tính toán khoảng giải các ràng buộc không tuyến tính
publishDate	2017
url	http://repository.vnu.edu.vn/handle/VNU_123/17253
_version_	1680966896063610880

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

Similar Items