Triết lý chung của Omniscol

Trước khi nói đến các tính năng, có vài nguyên tắc định hình trải nghiệm Omniscol và giải thích vì sao phần mềm chọn cách xử lý này chứ không phải cách khác.

Bối cảnh nghiệp vụ

Thời khóa biểu không phải là một bảng biểu chỉ cần điền vào. Đó là một bài toán tối ưu hóa có ràng buộc:

• ràng buộc rất nhiều và thường không được nói ra;
• các ràng buộc đôi khi mâu thuẫn với nhau;
• áp lực vận hành rất lớn: ngày khai giảng, học kỳ hay giai đoạn đó bắt buộc phải chạy được.

Omniscol được thiết kế như một trợ lý xếp lịch có ràng buộc: phần mềm làm công việc nhanh hơn, báo hiệu những điều bất khả thi và để quyết định nghiệp vụ lại cho người dùng.

Omniscol và các phần mềm khác của nhà trường

Omniscol tập trung vào thời khóa biểu và, với mọi phần việc khác, hợp tác với các nhà cung cấp phần mềm chuyên biệt, thường là đối tác địa phương. Phần mềm kết nối với hệ thống của họ qua nhập và xuất dữ liệu, iCal, API REST có tài liệu, OIDC / SSO tùy theo hợp đồng hoặc đồng bộ hóa với các hệ thống bên ngoài. Nhà trường giữ dữ liệu của mình luôn truy cập được và được bảo vệ, nhờ khả năng xuất dữ liệu đầy đủ, token truy cập có thể thu hồi và quyền theo vai trò. Xem thêm integrations.partners.

Năm nguyên tắc nền tảng

1. Dữ liệu trước, tính toán sau

Không thể tạo ra một thời khóa biểu đáng tin cậy nếu dữ liệu chưa lành mạnh: cơ sở, phòng học, giáo viên, lớp, nhóm, môn học, khối lượng giờ, thời gian rảnh và các ràng buộc.

2. Tách bạch việc xây dựng cấu trúc và việc vận hành hằng ngày

Xây dựng một thời khóa biểu và sống cùng một thời khóa biểu đã công bố là hai công việc khác nhau. Việc thứ nhất chủ yếu diễn ra trong Quản lý thời khóa biểu, việc thứ hai trong Thời khóa biểu, Quản lý vắng mặt và Trang tổng quan.

3. Ràng buộc cứng và ràng buộc tối ưu hóa

Một số ràng buộc làm cho thời khóa biểu trở nên không hợp lệ và được xử lý như những ràng buộc nghiêm ngặt: một giáo viên chỉ ở một nơi tại cùng một thời điểm, một lớp không bị chồng chéo trừ các nhóm nằm trong một phân vùng, một phòng học thông thường chỉ được phân cho một tiết học, các khoảng không rảnh, sức chứa, tài nguyên vật chất và việc di chuyển giữa các cơ sở.

Những ràng buộc khác dùng để cải thiện lời giải: khung giờ không mong muốn, giờ trống, sự cân đối giữa các ngày, thứ tự sư phạm giữa các môn học, số giờ tối đa hoặc tối thiểu, số ngày có mặt. Chúng được tính thành điểm trừ mà công cụ tạo tự động tìm cách giảm bớt.

4. Bản nháp và các phiên bản

Một thời khóa biểu chưa công bố không ảnh hưởng gì đến những gì người dùng nhìn thấy. Bạn có thể nhân bản, thử nghiệm, so sánh, khóa một số tiết học, chạy lại một lượt tạo tự động và chỉ công bố khi kết quả đã ưng ý.

Các điểm sao lưu, khi được kích hoạt, tạo thêm một lưới an toàn để quay lại trạng thái trước hoặc khôi phục một phần dữ liệu.

5. Người dùng vẫn làm chủ dữ liệu

Omniscol cho phép xuất toàn bộ dữ liệu dạng JSON, xuất theo nghiệp vụ tùy từng màn hình và luôn giữ đường quay lại. Các cơ chế tự động không thay thế quyết định của con người.

Lỗi tương thích là một thông tin, không phải một sai sót

Khi bạn tự xếp bằng tay, Omniscol báo hiệu các lỗi tương thích nhưng để bạn tự quyết định. Điều này hữu ích cho những trường hợp đặc thù có thật: phòng riêng dành cho học sinh được kéo dài thời gian làm bài, việc cố ý vượt sức chứa lý thuyết, việc phân một phòng học ngoài chuyên ngành của nó vì một lý do tại chỗ.

Công cụ tạo tự động, ngược lại, không cố ý tạo ra chồng chéo lớn. Nếu không tìm được lời giải trọn vẹn, nó giữ lại thời khóa biểu tốt nhất tính được và để những tiết học không xếp nổi trong danh sách thẻ post-it chưa được xếp.

Việc khóa một tiết học cho phép neo giữ một vị trí bạn muốn: lượt tạo tự động tiếp theo sẽ điều chỉnh những tiết học khác xung quanh chỗ đã khóa đó.

Nhiều thời khóa biểu như một nguyên tắc mô hình hóa

Omniscol hỗ trợ nhiều thời khóa biểu ngay từ gốc. Nhiều thời khóa biểu có thể cùng tồn tại trong một trường:

• các năm học khác nhau;
• các học kỳ hoặc các giai đoạn;
• việc phân tách về mặt logic theo cơ sở, theo khoa hoặc theo bậc đào tạo;
• sự kết hợp nhiều kiểu khác nhau, ví dụ kiểu hằng tuần lặp lại và kiểu lịch theo ngày.

Với Premium, nhiều thời khóa biểu có thể được công bố song song — việc kích hoạt riêng cũng khả thi trên một số tài khoản Standard. Một trường có thể có giai đoạn đại cương với hai thời khóa biểu hằng tuần, mỗi học kỳ một cái, giai đoạn chuyên ngành theo lịch không lặp lại, và đồng thời một chương trình ExecMBA kéo dài 18 tháng, bắt đầu và kết thúc lệch so với các kế hoạch khác và so với năm học. Với Omniscol, bạn tạo từng thời khóa biểu riêng biệt mà vẫn được kiểm tra lỗi tương thích chéo trong lúc xếp lịch, rồi công bố tất cả song song, cùng lúc, để kết quả cuối cùng là một khung nhìn hợp nhất, trong suốt đối với người dùng cuối.

AI tối ưu hóa và các tác nhân bên ngoài

Công cụ tạo tự động là một AI tối ưu hóa theo hướng siêu heuristic Monte-Carlo nơ-ron – ký hiệu. Bộ máy này thử các cách xếp dưới ràng buộc, tìm một lời giải hợp lệ rồi tối ưu hóa các điểm trừ, với tốc độ rất ấn tượng (ví dụ: dưới một phút cho một trường trung học cơ sở 16 lớp). Nếu không tìm được lời giải hợp lệ, một cơ chế nới lỏng sẽ hy sinh các tiết học một cách thông minh, và vẫn tiếp tục tối ưu hóa kết quả. Omniscol là một công ty AI-first, ra đời từ một giai đoạn R&D “deeptech” kéo dài.

Omniscol còn có những thuật toán khác thuộc dạng AI ký hiệu, dùng để kiểm tra lỗi tương thích, phát hiện điểm thiếu nhất quán trong thiết lập, đưa ra đề xuất cải thiện hoặc cảnh báo cấu hình, lọc trước lời giải tốt nhất trong một danh sách đề xuất, hay tự động phân một tập hợp con các phòng học cho một tập hợp con các tiết học — tất cả ngay trong trình duyệt, tức thì.

Omniscol cũng mở các công cụ API cho những tác nhân tương thích qua MCP khi tùy chọn này và quyền tương ứng được bật. Nhờ đó bạn có thể trao đổi với Omniscol bằng ngôn ngữ tự nhiên, mở rộng những gì giao diện đồ họa cho phép, bằng cách lấy thẳng dữ liệu cần thiết từ máy chủ Omniscol. Các tác nhân này chỉ hoạt động trong giới hạn của mã thông báo được cấp; những cách dùng chỉ để tra cứu là an toàn nhất, và mọi thao tác ghi đều phải được người dùng kiểm chứng. Hiện tại, tác nhân AI tốt nhất để làm việc với Omniscol là Claude, bản Desktop.