Các đặc điểm , đặc trưng:Thuật giải di truyền làm việc với một bộ mãhóa của tập hợp tham số chứ không phải là một tham số.. Thuật giải di truyền tìm từ quần thể các điểmchứ không phải mộ
Trang 1Báo Cáo Luận Văn Tốt Nghiệp
Đề tài
XÂU DỰNG PHẦN MỀM
QUẢN LÝ NHÂN SỰ
GVHD: DƯƠNG THIÊN TỨ
Trường Đại Học DL Kỹ Thuật Công Nghệ TPHCM
Trang 2NÔI DUNG BÁO CÁO
Mô tả sơ lược về quản lý nhân sự Phân tích và thiết kế CSDL
Xây dựng phần mềm ứng dụng
Chạy DEMO chương trình.
Tổng kết
Trang 3Mô tả sơ lược về quản lý nhân sự
Quản lý nhân viên
1 Hồ sơ - Lý lịch nhân viên
2 Các hợp đồng lao động
3 Quá trình công tác
4 Khen thưởng – Kỷ luật
5 BHYT - XH
Quản lý giờ công (Chấm công)
1 Thiết lập công thức tính công
Trang 4Các đặc điểm , đặc trưng:
Thuật giải di truyền làm việc với một bộ mãhóa của tập hợp tham số chứ không phải là
một tham số
Thuật giải di truyền tìm từ quần thể các điểmchứ không phải một điểm
Thuật giải di truyền đánh giá thông tin với
hàm mục tiêu, không đưa vào đạo hàm hay tri thức bổ sung khác
Thuật giải di truyền sử dụng các luật biến đổitheo xác suất, không sử dụng luật quyết định
Trang 5Các bước thực hiện thuật giải
Khởi tạo quần thể ban đầu
Xác định độ thích nghi, chọn cá thể
Toán tử lai ghép, đột biến
Điều kiện kết thúc.
Trang 6Thö vieän GALib
Trang 7Giới thiệu bài toán Xếp thời khóa
biểu trường đại học
Trang 8Dữ liệu bài toánCở sở
Trang 9Các ràng buộc
Ràng buộc đối tượng:
Trang 10Xây dựng thuật giải di truyền
Giai đoạn 1:
Xếp lịch học các lớp
Giải quyết các ràng buộc liên quan đến
lịch lớp
Giai đoạn 2:
Xếp lịch toàn cơ sở
Giải quyết các ràng buộc liên quan đến cơsở và lớp học
Trang 11Giai đoạn 1
Chọn cá thể là một lịch học của lớp
Chọn nhiễm sắc thể là môn học với các tiếthọc làm giá trị
Ví dụ:
18 13
0 3
Môn 4 Môn 3
Môn 2 Môn 1
Mô hình cá thể lịch lớp học.
Trang 12Giai đoạn 2
Chọn cá thể là một lịch học các lớp
trong toàn cơ sở.
Chọn nhiễm sắc thể là lớp học với các lịch học làm giá trị
Ví dụ:
180 102
99 1000
Lớp D Lớp C
Lớp B Lớp A
Mô hình cá thể lịch cơ sở.
Trang 13Khởi tạo quần thể
Quần thể lịch lớp học.
Quần thể lịch cơ sở.
Trang 14Đánh giá độ thích nghi
Trang 15Tạo cá thể mới
Lai ghép Đột biến
Trang 16Chọn cá thể
Dựa vào độ thích nghi của cá thể
Tùy theo cách đánh giá mà có kiểu chọn :
Tính theo điểm xấu.
Tính theo điểm tốt.
Loại ra các cá thể xấu, và lấy đủ số cá thểtrong quần thể (được sắp xếp theo độ thíchnghi)
Trang 17Kiểm tra điều kiện dừng
Có nhiều cách để dừng thuật toán:
Dừng theo kết quả thích nghi.
Dừng theo số thế hệ.
Tổ hợp cả hai cách trên.
Phương án chọn điều kiện dừng cho bài toánxếp thời khóa biểu là “kiểm tra theo độ thíchnghi”
Trang 18Xây dựng phần mềm thử nghiệm
Mô hình phân tích.
Áp dụng thư viện GAlib.
Trang 19Mô hình đối tượng
Môn học
Phòng học
Lịch lớp học
Lịch cơ sở
Trang 20Sơ đồ logic
Lịch Phòng
B uổi H ọc
Trang 21Áp dụng thư viện GAlib
Bài toán sử dụng thư viện GAlib
Nhắc lại đặc điểm thư viện:
Xây dựng sẵn các bước thuật giải di truyền.
Chọn nhiều kiểu giải thuật cho bài toán
Trang 22Tổng kết
Các kết quả đạt được
Hướng phát triển.
Trang 23Các kết quả đạt được
Tìm hiểu khái quát giải thuật di truyền Kế thừa và mở rộng thư viện GAlib.
Xây dựng được mô hình GA thành công cho bài toán xếp thời khóa biểu với một số phạm vi giới hạn nhất định.
Trang 24Hướng phát triển
Xét tham số tài nguyên dùng chung như phòng lab, phòng thực hành, phòng thí nghiệm,…