Đồ Án Ứng dụng ngôn ngữ lập trình ràng buộc comet vào bài toán lập thời khóa biểu

TÓM TẮT KHÓA LUẬN






Lập Thời khóa biểu là công việc cần thiết và quan trọng mà tất cả các tổ chức giáo dục phải thực hiện nhằm đưa ra biểu đồ kế hoạch năm học, lịch giảng dạy và học tập cho giáo viên, học sinh. Trước đây, khi CNTT chưa được phát triển mạnh mẽ và ứng dụng rộng rãi thì công việc này thường được thực hiện một cách thủ công trên giấy, tiêu tốn nhiều chi phí, thời gian và công sức.


Bài toán lập Thời khóa biểu tronng trường học là một một trường hợp riêng của bài toán lập lịch được xếp vào hàng các bài toán khó chưa có giải thuật tối ưu nhất. Có rất nhiều thuật toán, phương pháp tiếp cận khác nhau được các nhà khoa học trên thế giới đưa ra nhằm giải quyết bài toán này. Song, một phương pháp tiếp cận khá là mới và được cho là giải pháp tối ưu cho các bài toán lập lịch đó là ứng dụng ngôn ngữ lập trình ràng buộc vào giải quyết các bài toán tổ hợp.


Với mục tiêu xây dựng một chương trình lập thời khóa biểu hoạt động hiệu quả, khóa luận xin trình bày về ngôn ngữ lập trình ràng buộc Comet và ứng dụng Comet để giải quyết bài toán lập thời khóa biểu. Comet là ngôn ngữ lập trình ràng buộc mới được phát triển và ứng dụng. Đây là ngôn ngữ lập trình điển hình nhất cho việc giải quyết các bài toán tổ hợp như lập lịch, lập kế hoạch Đây cũng là một ngôn ngữ lập trình hướng đối tượng, dễ sử dụng và cấu trúc câu lệnh tương đối giống với ngôn ngữ lập trình C++.



MỤC LỤC






LỜI CẢM ƠN .1


TÓM TẮT KHÓA LUẬN .2


MỤC LỤC 3


BẢNG CÁC KÝ HIỆU VIẾT TẮT .5


BẢNG CÁC THUẬT NGỮ CHUYÊN NGÀNH 5


DANH SÁCH CÁC HÌNH VẼ ĐƯỢC SỬ DỤNG .6


CHƯƠNG 1: MỞ ĐẦU 7


1.1. Ý nghĩa ứng dụng Comet vào giải quyết các vấ đề tối ưu hóa tổ hợp .7


1.2. Cấu trúc khóa luận .10


CHƯƠNG 2: LẬP TRÌNH RÀNG BUỘC 11


2.1. Lập trình ràng buộc là gì? 11


2.2. Nguồn gốc lập trình ràng buộc .11


2.3. Mô hình lập trình ràng buộc 12


2.4. Ứng dụng của ngôn ngữ lập trình ràng buộc (CP) 14


CHƯƠNG 3: NGÔN NGỮ LẬP TRÌNH COMET 16


3.1. COMET là gì? .16


3.2. Lập trình Comet .17


3.2.1. Mô hình lập trình Comet 17


3.2.2. Ví dụ 20


3.3. Ưu điểm của Comet .23



CHƯƠNG 4: ỨNG DỤNG COMET VÀO BÀI TOÁN LẬP THỜI KHÓA BIỂU
26


4.1. Đặt vấn đề xây dựng bài toán .26


4.2. Giải quyết bài toán .28


4.3. Thực nghiệm 30


4.3.1. Các chức năng quản lý giảng viên, môn học, phòng học, khoa
31


4.3.2. Chức năng phân công giảng dạy .36


4.3.3. Chức năng xếp Thời khóa biểu .37


4.3.4. Chức năng xem thời khóa biểu theo tên lớp, tên giảng viên, tên phòng học 38


CHƯƠNG 5: KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN .40


TÀI LIỆU THAM KHẢO .41