Browsing by Author Trần, Việt Chương

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • 2023 TT LATS Tran Viet Chuong.pdf.jpg
  • Disseration


  • Authors: Trần, Việt Chương;  Advisor: PGS.TS. Hà Hải Nam; TS. Phan Tấn Quốc (2023)

  • Bố cục của luận án được tổ chức thành 3 chương và phần kết luận, cụ thể: - Chương 1: Trình bày tổng quan về cơ sở lý thuyết bài toán SMT với các nội dung: Một số định nghĩa, định lý cơ bản liên quan; các dạng của bài toán SMT; sơ lược một số hướng tiếp cận. Tiếp theo, khảo sát một số thuật toán metaheuristic giải bài toán SMT, cụ thể như: giới thiệu sơ đồ một số thuật toán metaheuristic thường gặp gồm thuật toán local search, thuật toán leo đồi, thuật toán tìm kiếm lân cận biến đổi, thuật toán bầy ong; các tiêu chí đánh giá chất lượng thuật toán metaheuristic; khảo sát kết quả một số thuật toán heuristic, metaheuristic hiện biết giải bài toán SMT; định hướng ứng dụng bài to...