|
Visual DEDUC
SISTEM ZA GENERISANJE RASPOREDA ČASOVA
Programski sistem DEDUC integriše naučne rezultate sa praktičnim
potrebama generisanja kombinatornih rasporeda. Rad na razvoju sistema počeo je
1991. godine. Za 17 godina dobijen je moćan sistem.
Teorijska osnova sistema uključuje rezolucijski dokazivač
teorema i heuristički pristup razvoju veštačke inteligencije. Praktično
usmerenje sistema je na generisanje rasporeda časova pod realnim restriktivnim
uslovima.
Princip funkcionisanja sistema je iterativno prožimanje dva
procesa: smeštanje podataka i optimizacije praznina u rasporedu. Oba procesa
odvijaju se pod kontrolom dokazivača kako se ne bi narušili postavljeni
zahtevi. U slučaju zadrške u odvijanju procesa omogućeno je prelivanje u neki
drugi tok ka povoljnijem rasporedu.
Mogućnosti sistema:
* automatsko ili interaktivno generisanje rasporeda na osnovu
zadatih podataka i uslova;
* zadavanje i ažuriranje podataka i zahteva pomoću interfejsa
prilagođenog korisniku;
* zadavanje različitih uslova, uključujući podele odeljenja na
grupe, spajanje grupa i odeljenja, rad u blok-časovima, ograničenje u
korišćenju kabineta i učionica; zahteve nastavnika i druge pedagoške obavezne
ili poželjne zahteve;
* rad u više smena;
* ekranske preglede i štampanje opšteg rasporeda, odeljenjskih i
nastavničkih rasporeda;
* dobijanje različitih verzija rasporeda za iste podatke i uslove;
* ažuriranje arhiviranih verzija rasporeda, podataka i uslova.
Praktična efikasnost i ograničenja sistema sagledavaju se kako
na složenim tako i na sasvim jednostavnim primerima. Dobijanje prihvatljive
verzije rasporeda bitno zavisi od strukture postavljenih zahteva i njihove veze
sa podacima, dok uticaj broja zahteva nije izražen. Postojanje skrivene
protivrečnosti u zahtevima onemogućuje generisanje takvog rasporeda. Zato je u
procesu generisanja omogućeno redukovanje zahteva kako bi se došlo do
prihvatljivog rasporeda. Iskustva na realnim praktičnim primerima upućuju na
zaključak da se pomoću sistema DEDUC pod restriktivnim uslovima mogu generisati
rasporedi koji su kvalitetniji od ručno kreiranih. Vreme potrebno za dobijanje
traženog rasporeda zavisi od broja podataka i strukture uslova kao i od
performansi računara, a kreće se od par minuta do nekoliko sati.
Saradnici za DEDUC kažu da je “CAR” a ja mu banaćanski tepam:
“’Ajde pile moje da napravimo još jedan raspored...”!
|