Các ký hiệu nói trên và cân nhắc khác được phản ánh trong
các đặc điểm kỹ thuật cuối cùng của mô hình lập trình số nguyên, được
viết như sau:
min z ¼ C1 Σ
p∈PðaudÞ
Σ
c∈C
XCP þ C2 Σ
p∈NM
Σ
c∈C
YCP þ C3 Σ
t∈T
Σ
r∈R
Zrt
þ C4 Σ
p∈PðextÞ
Σ
c∈C
XCP þ YCP
? ?
-C5Σ
L∈L
Σ
c∈CðlÞ
Σ
p∈PðcÞ
glpxcp DA: 1th
s.t.
Σ
p∈PðcÞ
XCP ¼ 1 ∀c∈C; DA: 2th
Σ
p∈PðcÞ
YCP ¼ 1 ∀c∈ C; DA: thứ 3
Σ
c∈CðlÞ
Σ
p∈Uðc; TTH
XCP ≤1 ∀l∈ L; t∈T; DA: 4
Σ
c∈C
Σ
p∈Qðc; s; TTH
XCP þΣ
c∈C
Σ
p∈Qðc; s; TTH
YCP ≤1 ∀s∈S; t∈T; DA: 5
Σ
p∈Uðc; TTH
XCP þ Σ
p∈Uðc; TTH
YCP ≤1 ∀c∈C; DA: 6
Σ
c∈r
Σ
p∈Uðc; TTH
XCP þΣ
c∈r
Σ
p∈Uðc; TTH
YCP ≤1 þ Zrt ∀t ∈ T; r ∈ R: da: 7
Hàm mục tiêu của mô hình được cho bởi phương trình. (A.1). Năm
điều khoản trong chức năng đại diện cho năm mục tiêu khác nhau. Người đầu tiên
giảm thiểu việc sử dụng các khán phòng trong lịch học. Đối với điều này
mục đích chúng ta định nghĩa các thiết lập P (AUD) để chứa tất cả các mẫu mà
sử dụng một khán phòng như một lớp học. Nhiệm kỳ thứ hai trong chức năng
giảm thiểu sự phân công của hướng dẫn bên ngoài của thời gian ưa thích
khe. Tập hợp các khe không ưu tiên được ký hiệu là NM. Nhiệm kỳ thứ ba
trong các chức năng giảm thiểu số lượng các cuộc xung đột thời gian biểu trong
mỗi nhóm trình r. Nhiệm kỳ thứ tư giảm thiểu việc sử dụng bên ngoài
lớp học. Các thiết lập của tất cả các mô hình gán một lớp bên ngoài là
P biểu thị là (ext). Cuối cùng, nhiệm kỳ thứ năm tăng tối đa số tiền của người hướng dẫn
ưu đãi về thời gian trên tất cả giảng viên Khoa. Các tham số
GLP xác định các ưu tiên thời gian của người hướng dẫn l cho mô hình p và
bộ khóa học được giảng dạy bởi giảng viên l được ký hiệu là C (l). Mỗi mục tiêu
hạn chức năng có một hệ số phản ánh tầm quan trọng của nó so
với các điều khoản khác. Các giá trị của các hệ số này được xác định bởi
Hội đồng Khoa.
Những hạn chế trong EQS. (A.2) và (A.3) tương ứng áp đặt mà cho
mỗi c∈C nhiên, các bài giảng và hướng dẫn được lên kế hoạch sử dụng một đơn
mẫu. Điều này đảm bảo rằng tất cả các khóa học là hoặc sẽ được chỉ định một tập hợp
của các khe thời gian và một lớp học. Tập thứ hai của chế được
thể hiện bằng phương trình. (A.4). Nó cố gắng để tránh những xung đột thời gian hướng dẫn
bằng cách cấm việc chuyển nhượng nhiều hơn một bài giảng để giảng
trong một khoảng thời gian duy nhất. Lưu ý rằng bộ hạn chế này không áp dụng cho
trợ giảng (chịu trách nhiệm hướng dẫn và các lớp học trong phòng thí nghiệm), người đang
không được lựa chọn cho đến khi sau khi lịch trình thời gian biểu thức được tạo ra. Các
tập thứ ba của các ràng buộc được xác định bởi phương trình. (A.5). Vai trò của nó là để ngăn chặn sự
phân công của một lớp học nhiều hơn một lần vào cùng thời điểm. Các
tập các mô hình khả thi cho khóa học c∈C mà gán s∈S lớp học để
khe thời gian t∈T được ký hiệu là Q (c, s, t). Tập thứ tư của các ràng buộc được đưa ra
bởi phương trình. (A.6). Nó áp đặt rằng các bài giảng và hướng dẫn cho trình c∈C
có thể không được chỉ định đến cùng khe t∈T thời gian. Tập hợp các mô hình khả thi
cho khóa học c∈C có chứa khe thời gian t∈T được ký hiệu là U (c, t). Các
bộ thứ năm và cuối cùng của hạn chế được xác định bởi phương trình. (A.7). Nó áp đặt đó
đến mức có thể, các sinh viên các khóa học được yêu cầu để có trong
học kỳ này lại không được lên kế hoạch trong cùng một khe cắm t∈T thời gian. Nếu như
cuộc xung đột không thể tránh được, những hạn Zrt trong hàm mục tiêu được kích hoạt
và bị phạt.
đang được dịch, vui lòng đợi..
