Câu hỏi:
Nghe nói lệnh kiểm tra dữ liệu
TKB - Verify có nhiều cải tiến. Công ty có thể giải thích rõ hơn
không?
Trả lời:
Kiểm tra dữ liệu
(Verify) Thời khóa biểu là một trong những chức năng mới rất
đặc biệt của phiên bản TKB 4.0. Mục đích của việc kiểm tra
dữ liệu Thời khóa biểu là phát hiện các mâu thuẫn logic nội
tại giữa các ràng buộc, tính chất của các đối tượng của
thời khóa biểu. Việc phát hiện các mâu thuẫn này sẽ giúp người
xếp Thời khóa biểu điều chỉnh lại hợp lý hơn các ràng
buộc và có quyết sách cho việc giải quyết các ràng buộc của
Thời khóa biểu. Trong phiên bản TKB 4.0 chúng tôi đã viết lại
mới hoàn toàn 4 lệnh kiểm tra TKB sau:
1- Kiểm tra dữ liệu
bảng PCGD
2- Kiểm tra dữ liệu
Thời khóa biểu ở qui mô Toàn trường
3- Kiểm tra dữ liệu
Thời khóa biểu của từng lớp
4- Kiểm tra dữ liệu
Thời khóa biểu của từng giáo viên
Kiểm tra dữ liệu PCGD
Lệnh Kiểm tra bảng
PCGD tiến hành các công việc kiểm tra sau:
- Chỉ ra các môn học
chưa được phân công giảng dạy cho các lớp.
- Chỉ ra các lớp cùng
khối lớp (từ 1 đến 12) nhưng có PCGD khác với tiêu chuẩn
chung của Bộ GD&DT.
- Chỉ ra các giáo viên
có tổng số tiết được phân công cao trong tuần.
Kiểm tra dữ liệu Toàn
trường
Lệnh Kiểm tra dữ
liệu Toàn trường tiến hành các công việc sau:
- Kiểm tra bảng PCGD (đã
nói ở trên)
- Kiểm tra tính mâu
thuẫn của ràng buộc môn học đối với Toàn trường và đối
với các Nhóm Lớp.
- Kiểm tra tính mâu
thuẫn của các điều kiện nghỉ của Giáo viên ở qui mô toàn
trường. Cụ thể kiểm tra: (1) Tại một vị trí trên TKB, số các
giáo viên rỗi có thể dạy được nhỏ hơn số lớp học tại
thời điểm này và (2) Tại một buổi học, số giáo viên xin
nghỉ dạy của buổi đó nhỏ hơn số lớp học của buổi đó.
- Chỉ ra các Lớp có mâu
thuẫn ràng buộc TKB
- Chỉ ra các Giáo viên
có mâu thuẫn ràng buộc TKB
Kiểm tra dữ liệu TKB của từng
Lớp
Việc kiểm tra dữ
liệu TKB của từng lớp được tiến hành theo 8 tiêu chí (cách)
sau:
1 - PCGD: Kiểm tra bảng
PCGD của lớp
Chỉ ra các môn chưa
được phân công dạy tại lớp hiện thời.
2 - TSG: Kiểm tra mâu
thuẫn của tổng số giờ dạy của lớp
Chức năng này kiểm tra
tính mâu thuẫn giữa số giờ dạy được phân công của lớp
học so với điều kiện KHONG HOC đăng ký của lớp. Ví dụ nếu
Tổng số tiết cần xếp của lớp là 28, trong khi đó tại TKB
lớp có đăng ký 3 tiết là KHONG HOC thì sẽ phát sinh mâu thuẫn
TSG: số tiết cho phép dạy chỉ là 27 so với 28 tiết cần xếp.
3 - Mon: Kiểm tra các môn
học có ràng buộc mâu thuẫn
Kiểm tra tính mâu
thuẫn của các tính chất (ràng buộc) của các môn học tại
lớp hiện thời. Ví dụ một môn học lại có đồng thời hai tính
chất "Chỉ học tiết 1" và "Chỉ học tiết 5"
sẽ tự bị mâu thuẫn ràng buộc tại lớp hiện thời và không
thể xếp tự động được.
4 - SGMon: Kiểm tra mâu
thuẫn của số giờ theo ràng buộc môn
Kiểm tra sự mâu thuẫn
giữa số tiết được phân công của từng môn học trong lớp so
với ràng buộc (tính chất) của chính môn học đó trong lớp này.
Ví dụ môn Ngoại ngữ được phân công học tại lớp là 4
tiết / tuần. Tuy nhiên các tính chất của môn này là "Học
1 tiết 1 ngày" và "Học cách 2 ngày". Như vậy nếu
thỏa mãn đầy đủ tất cả các tính chất của môn học này thì
trong tuần chỉ xếp được maximum 2 tiết và do đó mâu thuẫn
với số tiết được phân công. Chức năng này sẽ liệt kê
tất cả các kiểu mâu thuẫn như vậy.
5 - SGGV:
Kiểm tra mâu thuẫn theo số giờ dạy của giáo viên
Tính năng này kiểm tra
sự mâu thuẫn giữa số tiết được phân công của giáo viên
tại một lớp học với các ràng buộc của chính giáo viên này.
Ví dụ tại một lớp, giáo viên được phân công dạy 16
tiết, tuy nhiên giáo viên này lại yêu cầu nghỉ 3 ngày trong
tuần, do đó số tiết cho phép theo ràng buộc chỉ là 15, mâu
thuẫn với số tiết được phân dạy.
6 - TKBCell: Kiểm tra mâu
thuẫn về số lượng Giáo viên tại 1 vị trí TKB
Kiểm tra số lượng giáo
viên rỗi tại một vị trí thời gian trên Thời khóa biểu. Thông
báo lỗi nếu tại một thời điểm nào đó tất cả giáo viên
dạy lớp này đều xin nghỉ dạy.
7 - GV:
Kiểm tra các giáo viên có mâu thuẫn TKB
Thông báo danh sách các
giáo viên có mâu thuẫn ràng buộc Thời khóa biểu.
8 - MonGV: Kiểm tra mâu
thuẫn giữa tính chất môn học và ràng buộc giáo viên
Chức năng này kiểm tra
tính mâu thuẫn giữa tính chất môn học của một lớp học
với ràng buộc của giáo viên dạy môn này. Ví dụ môn học này
yêu cầu học vào đầu tuần nhưng giáo viên lại xin nghỉ vào các
ngày đầu tuần.
Kiểm tra dữ liệu TKB của từng Giáo
viên
Với mỗi giáo viên, các
tiêu chí sau được kiểm tra:
1 - TSG-GV: Kiểm tra mâu
thuẫn theo Tổng số giờ dạy với ràng buộc giáo viên
Kiểm tra sự mâu thuẫn
giữa tổng số tiết được phân công dạy của giáo viên với
số tiết cho phép theo ràng buộc của giáo viên này. Chức năng này
tương tự như tiêu chí 5 - SGGV của Kiểm tra TKB Lớp.
2 - TSG-Mon: Kiểm tra mâu
thuẫn theo Tổng số giờ dạy với ràng buộc môn học
Kiểm tra mâu thuẫn
giữa số tiết mà giáo viên được phân công dạy với số
tiết cho phép theo ràng buộc các môn học mà giáo viên này dạy.
3 - Mon-GV: Kiểm tra mâu
thuẫn trực tiếp giữa ràng buộc giáo viên với ràng buộc môn
học
Đây chính là chức năng
kiểm tra theo tiêu chí 8 - MonGV của Kiểm tra TKB Lớp.
Trên đây là toàn bộ các
thông tin về các lệnh kiểm tra dữ liệu của phiên bản TKB
mới.
Câu hỏi