Thuật toán và ứng dụng hỗ trợ quy trình thành lập hội đồng luận văn

ĐẠI HỌC QUỐC GIA TP HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOA KHOA KHOA HỌC VÀ KỸ THUẬT MÁY TÍNH Khương Hải Châu THUẬT TỐN VÀ ỨNG DỤNG HỖ TRỢ QUY TRÌNH THÀNH LẬP HỘI ĐỒNG LUẬN VĂN LUẬN VĂN THẠC SĨ Chuyên ngành: Khoa học Máy tính Mã số: 60.48.01 Tp Hồ Chí Minh - tháng 01 năm 2015 Cơng trình hồn thành tại: Trường Đại Học Bách Khoa - ĐHQG TPHCM Cán hướng dẫn khoa học: TS.Huỳnh Tường Nguyên TS.Trần Văn Hoài Cán chấm nhận xét 1: Cán chấm nhận xét 2: Luận văn thạc sĩ bảo vệ Trường Đại Học Bách Khoa, ĐHQG Tp.HCM vào ngày tháng năm Thành phần hội đồng đánh giá luận văn thạc sĩ gồm: Xác nhận Chủ tịch Hội đồng đánh giá LV Trưởng Khoa quản lý chuyên ngành sau luận văn sửa chữa (nếu có) CHỦ TỊCH HỘI ĐỒNG TRƯỞNG KHOA ĐẠI HỌC QUỐC GIA TP.HCM CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM TRƯỜNG ĐẠI HỌC BÁCH KHOA ————————– Độc lập - Tự - Hạnh phúc ————————— NHIỆM VỤ LUẬN VĂN THẠC SĨ Họ tên học viên: Khương Hải Châu Ngày, tháng, năm sinh: 18/9/1989 Chuyên ngành: Khoa học máy tính MSHV: 12070497 Nơi sinh: Sóc Trăng Mã số: 60.48.01 I.TÊN ĐỀ TÀI: Thuật tốn ứng dụng hỗ trợ quy trình thành lập hội đồng luận văn II.NHIỆM VỤ VÀ NỘI DUNG Nhiệm vụ: Đề xuất giải pháp để giải toán xếp tổ chức hội đồng đánh giá luận văn thạc sĩ đưa ứng dụng hỗ trợ quy trình thành lập hội đồng luận văn thực tế Nội dung: Nghiên cứu tổng quan toán lập lịch lĩnh vực giáo dục Nghiên cứu lý thuyết thuật toán giải toán lập lịch Đề xuất giải pháp cho vấn đề tổ chức hội đồng luận văn Xây dựng ứng dụng hỗ trợ quy trình thành lập luận văn III.NGÀY GIAO NHIỆM VỤ: 20/01/2014 IV.NGÀY HOÀN THÀNH NHIỆM VỤ: 21/11/2014 V.CÁN BỘ HƯỚNG DẪN: TS.Huỳnh Tường Nguyên, TS.Trần Văn Hoài Tp.HCM, ngày tháng năm 2015 CÁN BỘ HƯỚNG DẪN TRƯỞNG KHOA LỜI CẢM ƠN Em xin chân thành cảm ơn thầy Huỳnh Tường Nguyên thầy Trần Văn Hồi tận tình hướng dẫn, giúp đỡ em trình thực luận văn Em xin gửi lời cảm ơn đến Thầy Cơ khoa Khoa học Kỹ thuật máy tính nói chung, mơn Khoa học máy tính nói riêng tạo điều kiện thực nghiệm cho em nhiều đóng góp q báu để em hồn thành luận văn Tp Hồ Chí Minh, ngày tháng 01 năm 2015 Khương Hải Châu Mục lục TÓM TẮT ABSTRACT LỜI CAM ĐOAN Chương Tổng quan 1.1 Bài toán thành lập hội đồng luận văn 1.2 Tình hình nghiên cứu Chương Cơ sở lý thuyết 12 2.1 Heuristic 12 2.2 Meta-heuristic 12 2.2.1 Khái niệm đặc trưng 12 2.2.2 Phân loại meta-heuristic 13 2.3 Giải thuật di truyền (Genetic algorithm) 13 2.4 Giải thuật memetic 15 Chương Giải pháp đề xuất 18 3.1 Mơ tả tốn 18 3.2 Mơ hình tốn 20 3.2.1 Định nghĩa tập liệu yêu cầu 20 3.2.2 Biến định mơ hình 21 3.2.3 Các ràng buộc mơ hình 22 3.2.4 Hàm mục tiêu 24 3.3 Giải pháp đề xuất dựa memetic 24 3.3.1 Bài toán chọn thành viên hội đồng (A) 24 3.3.2 Bài toán chọn thời điểm tổ chức hội đồng (B) 27 3.3.3 Bài toán chọn phòng tổ chức hội đồng 27 3.3.4 Thuật toán lập lịch hội đồng luận văn 29 Chương Kết thực nghiệm 36 4.1 Kết thực nghiệm 36 4.1.1 So sánh với giải thuật dựa CBC solver 36 4.1.2 Sự ảnh hưởng tham số 38 4.2 Ứng dụng 40 KẾT LUẬN 44 Danh mục cơng trình khoa học 45 TÀI LIỆU THAM KHẢO 46 Danh sách hình vẽ 2.1 2.2 Sơ đồ biểu diễn bước giải thuật di truyền 16 Sơ đồ biểu diễn bước giải thuật memetic 17 3.1 3.2 3.3 3.4 3.5 3.6 Lưu đồ thuật toán chọn thành viên hội đồng Lưu đồ thuật toán chọn thời điểm tổ chức hội đồng Lưu đồ thuật tốn chọn phịng tổ chức hội đồng Chọn phòng tổ chức hội đồng, s = 3, kmax = 2, nmax = Lưu đồ thuật toán thành lập hội đồng luận văn Lưu đồ thuật tốn tìm kiếm cục 26 28 30 30 32 35 4.1 4.2 4.3 4.4 4.5 Hiệu giải thuật đề xuất theo thay đổi số phép lai Hiệu giải thuật đề xuất theo thay đổi số phép đột biến Hiệu giải thuật đề xuất theo thay đổi kích thước quần thể Hiệu giải thuật đề xuất theo thay đổi số hệ Hiệu giải thuật đề xuất trường hợp sử dụng khơng sử dụng giai đoạn tìm kiếm cục Giao diện ứng dụng hỗ trợ quy trình thành lập hội đồng luận văn 41 41 42 42 4.6 43 43 Danh sách bảng 4.1 4.2 So sánh chất lượng nghiệm giải thuật đề xuất với CBC solver 37 So sánh số phòng cần sử dụng với cận toán 39 TÓM TẮT Thành lập hội đồng đánh giá luận văn xếp thời gian diễn hội đồng cho vừa chọn giảng viên có trình độ chun mơn phù hợp cho đề tài, vừa sử dụng hiệu nguồn tài nguyên (thời gian, người, sở vật chất) Việc tổ chức hội đồng luận văn thách thức trường đại học mặt lý thuyết tốn xếp vào nhóm tốn NP-hard, vốn khó tìm giải pháp tối ưu thời gian chấp nhận Hơn nữa, toán lập lịch hội đồng luận văn khơng có định nghĩa chung cho tất trường hợp Chính ràng buộc mục tiêu cụ thể từ trường đại học cụ thể dẫn đến đa dạng tốn Vì vậy, giải pháp lập lịch tự động thỏa mãn yêu cầu thực tế nhu cầu cần thiết Luận văn đề xuất phương pháp dựa giải thuật memetic để giải vấn đề lập lịch hội đồng bảo vệ luận văn thạc sĩ, hướng đến giải ba mục tiêu chính: giảm thiểu tổng số buổi mà giảng viên phải tham gia, giảm thiểu số khung thời gian trống buổi, giảm thiểu số phòng phải sử dụng Giải thuật đề xuất sử dụng tốn tử di truyền q trình tạo lời giải dùng kỹ thuật tìm kiếm cục để tìm lời giải có chất lượng tốt Một phương pháp tìm số phịng tối ưu đề xuất nhằm tìm số phịng giai đoạn xếp giảng viên xếp thời gian thực Ngoài ra, nhằm mục tiêu triển khai phương pháp đề xuất vào thực tế, ứng dụng có giao diện thân thiện người dùng cài đặt luận văn Để đánh giá hiệu phương pháp đề xuất, liệu thực nghiệm tạo sở lấy trường hợp khoa Khoa Học Kỹ Thuật Máy Tính thuộc trường Đại học Bách Khoa - Đại học Quốc Gia TP.HCM làm trường hợp nghiên cứu cụ thể Giải thuật đề xuất so sánh với phương pháp xác dựa mơ hình quy hoạch nguyên Kết thực nghiệm tập liệu khác cho thấy phương pháp đề xuất tìm giải pháp khả thi thời gian ngắn, đồng thời chất lượng nghiệm tốt rõ rệt so với phương pháp dựa solver chạy khoảng thời gian chấp nhận ABSTRACT The setting of theses’ juries is to build a timetabling which guarantees that each jury has to consist of suitable members and it uses efficiently given resources (time, human, and facilities) The design of jury timetables is always a tough job for most of academic institutions because in the theoretical aspect, it was demonstrated to be a NP-hard problem This means that it is difficult to find an optimal solution in a reasonable time Moreover, there is not any general formulation which can applied to all cases The difference of constraints and objectives between institutions makes the problem very complex Thus, an efficient method which can satisfy real requirements is an urgent need This thesis proposes a memetic-based method in order to solve the jury timetabling problem for master theses which aims to solve three main objectives: minimize the total number of sessions to which lecturers must attend, the total number of unused time slots within allocated sessions and the total number of allocated rooms The proposed method uses genetic operators in the process of generating solutions, and a local search technique for finding effective solutions quickly A method which can find the optimal number of rooms is also proposed The method is applied in the case of that the assignment of jury’s members and time slots have been done Beside, in order to put the proposed method in practice, an application with a userfriendly interface is developed in this project In order to evaluate the proposed method, data sets are generated from the case study of the Faculty of Computer Science and Engineering, Ho Chi Minh City University of Technology (HCMUT-CSE) The proposed method is compared with an exact method based on solving an integer program Computational experiments demonstrates that our method can be able to find feasible solutions within small period of time, and achieve much better objective values than the solver-based method when they perform in the same reasonable time 34 Algorithm Thuật tốn tìm kiếm cục Input: cá thể v Output: cá thể tốt v Repeat vnew ← v; L ← chọn ngẫu nhiên k hội đồng v, k > 1; Forall j ∈ L cố gắng dời thời gian tổ chức hội đồng j sang khung thời gian 5: khác cho cận kề với khung thời gian tổ chức hội đồng khác thành viên j; End v ← Algorithm3(); Tính F(v); If F(vnew ) < F(v) then v ← vnew ; 10: End Until số lần lặp đạt ngưỡng giới hạn return v 35 Hình 3.6: Lưu đồ thuật tốn tìm kiếm cục 36 Chương Kết thực nghiệm 4.1 Kết thực nghiệm 4.1.1 So sánh với giải thuật dựa CBC solver Tất 15 liệu (được ký hiệu từ i1 đến i15, thể bảng 4.1) tạo theo mức độ tăng dần số hội đồng giảng viên tất hội đồng phải tổ chức tuần, giảng viên hướng dẫn bắt buộc phải tham dự hội đồng, buổi chia thành khung thời gian Các tham số đầu vào sau gán giống cho tất trường hợp thực nghiệm: t = 20, z = 20, u = 20, v = 30 Kết thực nghiệm cho thấy giải thuật xác dựa CBC solver (gọi tắt CBC) khơng thể tìm giải pháp tối ưu thời gian chấp nhận cho tất trường hợp thực nghiệm Chẳng hạn CBC chạy liệu i2 thời gian ngày khơng tìm giải pháp tối ưu Vì vậy, thực nghiệm này, CBC quy định chạy thời gian tối đa Sau chương trình chạy hết thời gian quy định, giải pháp khả thi tốt ghi lại Kết thực nghiệm hai giải thuật liệu thể chi tiết bảng 4.1 Từ cho thấy CBC cần thời gian tính tốn trung bình cao khoảng lần so với giải thuật đề xuất (3600 giây 508.33 giây tương ứng cho hai giải thuật), giải thuật đề xuất đạt kết cao hầu hết trường hợp Cụ thể, giải thuật đề xuất đạt giá trị hàm mục tiêu F1 tốt (thấp hơn) CBC cho 80% trường hợp, đạt giá trị hàm F2 tốt CBC cho khoảng 86% trường hợp Ngoài ra, giải thật đề xuất tìm thấy giải pháp khả thi cho tất trường hợp, CBC thất bại việc tìm giải pháp khả thi cho liệu i15 Ngồi ra, chưa biết lời giải tối ưu, việc đánh giá mục tiêu tối thiểu số phòng sử dụng so sánh với cận toán Gọi: 37 CBC Giải thuật đề xuất Bộ Số Số liệu hội đồng giảng viên F1 F2 Thời gian F1 F2 Thời gian i1 10 15 21 13 3600 20 10 60.086 i2 10 15 26 28 3600 21 13 73.326 i3 10 15 22 16 3600 21 13 75.079 i4 15 20 36 33 3600 34 27 133.367 i5 15 20 26 27 3600 30 15 117.097 i6 15 20 43 54 3600 30 15 134.598 i7 20 25 52 56 3600 45 35 149.643 i8 20 25 50 50 3600 41 23 190.144 i9 20 25 53 59 3600 47 41 159.738 i10 40 30 87 61 3600 81 43 1323.17 i11 40 30 89 67 3600 89 67 1022.41 i12 40 30 88 79 3600 97 91 909.447 i13 50 40 129 137 3600 125 125 924.67 i14 50 40 110 80 3600 106 68 1335.95 i15 50 40 X X 3600 117 101 1016.29 Bảng 4.1: So sánh chất lượng nghiệm giải thuật đề xuất với CBC solver 38 s số khung thời gian tối đa có buổi, I tổng số hội đồng cần tổ chức Giả sử hội đồng xếp thời gian tổ chức cách liên tục từ khung thời gian đến khung thời gian thứ I (tức số hội đồng cần tổ chức), không kể ràng buộc thời gian khác Khi đó, phòng tổ chức tối đa s hội đồng Vậy cận (LB) toán lập lịch hội đồng với hàm mục tiêu tối thiểu hóa số phịng sử dụng là: I LB = s Giải pháp tối ưu tìm ln có số phịng sử dụng nhiều với cận trường hợp tương ứng Vì vậy, giải pháp khả thi tìm có giá trị với cận có nghĩa giải pháp tối ưu Bảng 4.2 thể kết thực nghiệm mục tiêu số phịng sử dụng Bài tốn chọn phịng tổ chức hội đồng chứng minh giải cách tối ưu Tuy nhiên, kết thực nghiệm có 53.33% trường hợp đạt giá trị với cận tốn Điều giải thích cận tốn khơng phải lúc lời giải khả thi Một lý quan trọng hơn, việc chọn phịng hồn tồn phụ thuộc vào kết xếp thời điểm tổ chức thực trước Vì lời giải cho toán chọn thời điểm lời giải gần đúng, nên chưa thể tối ưu hóa số phịng sử dụng mong đợi 4.1.2 Sự ảnh hưởng tham số Các thực nghiệm riêng biệt thực để đánh giá ảnh hưởng toán tử di truyền (genetic operators) theo thay đổi tham số đầu vào ảnh hưởng giải thuật tìm cục (local search) lên giải thuật đề xuất 4.1.2.1 Tham số đầu vào Các biểu đồ hình 4.1, 4.2, 4.3, 4.4 thể giá trị hàm mục tiêu đạt giải thuật đề xuất theo thay đổi bốn tham số bao gồm: số hệ t, kích thước quần thể (population size) z, số lần lai cá thể u, số lần đột biến v Mỗi biểu đồ thể thay đổi giá trị hàm mục tiêu tương ứng với thay đổi tham số (các tham số cịn lại khơng thay đổi) Thực nghiệm thực liệu i4 Các biểu đồ cho thấy hiệu giải thuật đề 39 Bộ liệu Số hội đồng Số giảng viên Cận Số phòng sử dụng i1 10 15 4 i2 10 15 4 i3 10 15 4 i4 15 20 i5 15 20 5 i6 15 20 5 i7 20 25 i8 20 25 7 i9 20 25 7 i10 40 30 14 15 i11 40 30 14 14 i12 40 30 14 16 i13 50 40 17 20 i14 50 40 17 19 i15 50 40 17 18 Bảng 4.2: So sánh số phòng cần sử dụng với cận toán 40 xuất tăng cách rõ rệt số lần lai quy định cá thể hay số lần đột biến tăng Chẳng hạn, số lần lai tăng từ đến 75, giá trị hàm mục tiêu giảm (tốt hơn) từ 76 xuống 63, giá trị giảm 20 số lần đột biến tăng từ đến 15 Bên cạnh đó, tăng lên kích thước tổng thể khơng ảnh hưởng nhiều đến giải thuật Điều hiểu kích thước tổng thể lớn hơn, số cá thể có chất lượng thấp tổng thể tăng lên làm cho hiệu giải thuật không tốt Ngoài ra, hiệu giải thuật cải tiến đáng kể số hệ quy định tăng lên Điều lý giải tăng lên số hệ dẫn đến tăng lên hai giá trị u v vốn giúp làm tăng chất lượng giải thuật 4.1.2.2 Sự ảnh hưởng giải thuật tìm cục Biểu đồ hình 4.5 so sánh hiệu giải thuật đề xuất liệu i3 trường hợp sử dụng không sử dụng thuật tốn tìm cục (local search) Có thể thấy từ đồ thị với số hệ quy định, việc thêm giai đoạn tìm cục giúp giải thuật đạt kết tốt hơn, đặc biệt trường hợp số hệ quy định nhỏ Khi số hệ tăng đến mức đó, khác biệt có khơng sử dụng tìm kiếm cục khơng đáng kể Điều hiểu thuật tốn tìm kiếm cục khơng thể tăng đột biến chất lượng nghiệm, mà đẩy nhanh q trình tìm nghiệm có chất lượng tốt khả thuật toán đề xuất Đặc tính thực có ích thực tế việc tăng số hệ quy định giải thuật di truyền địi hỏi nhiều chi phí tính tốn 4.2 Ứng dụng Luận văn việc giải tốn lập lịch hội đồng luận văn, cịn đưa ứng dụng hỗ trợ quy trình thành lập hội đồng thực tế Ứng dụng viết tảng NET Framework ngôn ngữ C#, giao diện thân thiện cho người sử dụng Các chức ứng dụng: • Đọc file liệu đầu vào dạng excel • Thực việc lập lịch hiển thị kết lên hình • Thay đổi thành viên hội đồng theo tùy chỉnh người sử dụng • Thay đổi thời gian tổ chức hội đồng theo tùy chỉnh người sử dụng • In thư mời cho giảng viên tham gia • Ghi file kết dạng excel • Ghi liệu vào database phục vụ việc lưu trữ backup 41 Hình 4.1: Hiệu giải thuật đề xuất theo thay đổi số phép lai Hình 4.2: Hiệu giải thuật đề xuất theo thay đổi số phép đột biến 42 Hình 4.3: Hiệu giải thuật đề xuất theo thay đổi kích thước quần thể Hình 4.4: Hiệu giải thuật đề xuất theo thay đổi số hệ 43 Hình 4.5: Hiệu giải thuật đề xuất trường hợp sử dụng khơng sử dụng giai đoạn tìm kiếm cục Hình 4.6: Giao diện ứng dụng hỗ trợ quy trình thành lập hội đồng luận văn 44 KẾT LUẬN Độ khó tốn lập lịch nói chung lĩnh vực giáo dục, toán lập lịch hội đồng đánh giá luận văn đòi hỏi nỗ lực từ cộng đồng nghiên cứu khoa học Sự gia tăng liệu cần xử lý dẫn đến việc tìm giải pháp tốt nhằm đáp ứng mục tiêu đặt thực tế vấn đề khó khăn Trong luận văn này, phương pháp dựa kỹ thuật memetic đề xuất nhằm tìm giải pháp khả thi có chất lượng tốt khoảng thời gian ngắn Phương pháp đề xuất hướng đến giải ba mục tiêu có ý nghĩa thực tế bao gồm: Giảm thiểu tổng số buổi tham gia giảng viên, giảm thiểu số khung thời gian trống buổi có tổ chức hội đồng, giảm thiểu số phòng cấp phát Ngoài ra, luận văn đề xuất phương pháp tìm số phịng tối ưu ngữ cảnh xếp giảng viên thời gian tổ chức cho hội đồng Kết thực nghiệm cho thấy thuật toán đề xuất đạt giá trị mục tiêu tốt hơn, mà nhanh hẳn solver thông dụng dựa phương pháp nhánh cận chúng so sánh khoảng thời gian giới hạn Ngồi ra, thuật tốn tìm phịng đề xuất luận văn cho thấy tìm số phòng tối ưu gần tối ưu hầu hết trường hợp thực nghiệm Trong phạm vi luận văn này, ảnh hưởng thứ tự giải toán nhỏ (xếp giảng viên, xếp thời gian, xếp phòng) chưa quan tâm Sự thay đổi thứ tự giúp tăng khả tìm nghiệm tốt Ngoài ra, tương lai, giải thuật đề xuất giải cho toán xếp giảng viên xếp thời gian phát triển nhằm giúp tăng khả tìm lời giải tối ưu Bên cạnh đó, nhằm tăng chất lượng nghiệm, thuật tốn địi hỏi thời gian tính tốn nhiều Vì vậy, việc áp dụng mơ hình song song nghiên cứu tiềm 45 Danh mục cơng trình khoa học Hai Chau Khuong, Vinh Le Van, Huynh Tuong Nguyen, Van Hoai Tran: An Iterative Heuristic Algorithm for the Jury Timetabling Problem: A Case Study at HCMUT-CSE Journal of Science and Technology 52(1B), 37-48 (2014) Hai Chau Khuong, Huynh Tuong Nguyen, Van Hoai Tran: An efficient memetic algorithm for the juty timetabling problem Journal of Science and Technology 52(4A), 393-402 (2014) 46 Tài liệu tham khảo [1] Adeli, H., Karim, A.: Construction Scheduling, Cost Optimization and Management CRC Press, ??? (2003) [2] Kwan, R.S.: Bus and train driver scheduling Handbook of scheduling: algorithms, models, and performance analysis, 51–1 (2004) [3] Schaerf, A., Meisels, A.: Solving employee timetabling problems by generalized local search In: AI* IA 99: Advances in Artificial Intelligence, pp 380–389 Springer, ??? (2000) [4] Bellanti, F., Carello, G., Della Croce, F., Tadei, R.: A greedy-based neighborhood search approach to a nurse rostering problem European Journal of Operational Research 153(1), 28–40 (2004) [5] Schăonberger, J., Mattfeld, D.C., Kopfer, H.: Memetic algorithm timetabling for non-commercial sport leagues European Journal of Operational Research 153(1), 102–116 (2004) [6] Abramson, D.: Constructing school timetables using simulated annealing: sequential and parallel algorithms Management science 37(1), 98–113 (1991) [7] Cooper, T.B., Kingston, J.H.: The Complexity of Timetable Construction Problems Springer, ??? (1996) [8] Thi Thanh Binh Huynh, D.D.P Quang Dung Pham: Genetic algorithm for solving the master thesis timetabling problem with multiple objectives Technologies and Applications of Artificial Intelligence (TAAI), 2012 Conference on, 74–79 (2012) [9] Bakır, M.A., Aksop, C.: A 0-1 integer programming approach to a university timetabling problem Hacettepe Journal of Mathematics and Statistics 37(1), 41–55 (2008) [10] Daskalaki, S., Birbas, T., Housos, E.: An integer programming formulation for a case study in university timetabling European Journal of Operational Research 153(1), 117–135 (2004) [11] Burke, E.K., Mareˇcek, J., Parkes, A.J., Rudová, H.: A branch-and-cut procedure for the udine course timetabling problem Annals of Operations Research 194(1), 71–87 (2012) 47 [12] Avella, P., Vasil’Ev, I.: A computational study of a cutting plane algorithm for university course timetabling Journal of Scheduling 8(6), 497–514 (2005) [13] Gunawan, A., Ng, K.M., Poh, K.L.: An improvement heuristic for the timetabling problem International Journal of Computational Science 1(2), 162–178 (2007) [14] Yang, S., Jat, S.N.: Genetic algorithms with guided and local search strategies for university course timetabling Systems, Man, and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on 41(1), 93–106 (2011) [15] Zhang, D., Liu, Y., M’Hallah, R., Leung, S.C.: A simulated annealing with a new neighborhood structure based algorithm for high school timetabling problems European Journal of Operational Research 203(3), 550558 (2010) [16] Lău, Z., Hao, J.-K.: Adaptive tabu search for course timetabling European Journal of Operational Research 200(1), 235–244 (2010) [17] Di Gaspero, L., Schaerf, A.: Tabu search techniques for examination timetabling In: Practice and Theory of Automated Timetabling III, pp 104– 117 Springer, ??? (2001) [18] Abdullah, S., Turabieh, H., McCollum, B., McMullan, P.: A tabu-based memetic approach for examination timetabling problems In: Rough Set and Knowledge Technology, pp 574–581 Springer, ??? (2010) [19] Ayob, M., Jaradat, G.M., Hamdan, A.R., Sarim, H.M., Nazri, M.Z.A.: Solving the viva presentations timetabling problem: A case study at ftsm-ukm In: Electrical Engineering and Informatics (ICEEI), 2011 International Conference On, pp 1–4 (2011) IEEE 48 PHẦN LÝ LỊCH TRÍCH NGANG Họ tên : Khương Hải Châu Ngày, tháng, năm sinh: 18/9/1989 Nơi sinh: Sóc Trăng Địa liên lạc: 32/6/1B đường 9, Linh Xuân, Thủ Đức, TP.HCM QUÁ TRÌNH ĐÀO TẠO 2007-2012: học đại học Đại học Sư Phạm Kỹ Thuật TP.HCM 2012-nay: học cao học Đại học Bách Khoa TP.HCM Q TRÌNH CƠNG TÁC 2013-nay: trợ giảng Đại học Bách Khoa TP.HCM 2014-nay: trợ giảng Đại học Công Nghệ Thông Tin ... giống 1.1 Bài toán thành lập hội đồng luận văn Thành lập hội đồng luận văn toán lập lịch thuộc lĩnh vực giáo dục, áp dụng phạm vi trường đại học Quá trình thành lập hội đồng luận văn bao gồm tác... TÀI: Thuật tốn ứng dụng hỗ trợ quy trình thành lập hội đồng luận văn II.NHIỆM VỤ VÀ NỘI DUNG Nhiệm vụ: Đề xuất giải pháp để giải toán xếp tổ chức hội đồng đánh giá luận văn thạc sĩ đưa ứng dụng hỗ. .. đòi hỏi nhiều chi phí tính tốn 4.2 Ứng dụng Luận văn ngồi việc giải toán lập lịch hội đồng luận văn, đưa ứng dụng hỗ trợ quy trình thành lập hội đồng thực tế Ứng dụng viết tảng NET Framework ngôn