Home
Login.
Artikelilmiahs
30397
Update
IHSANUL ILHAM AKBAR
NIM
Judul Artikel
PENJADWALAN KELAS BERBASIS SMT(SATISFIABILITY MODULO THEORIES) TANPA PARTISI DATA MASUKAN DI FAKULTAS TEKNIK UNSOED
Abstrak (Bhs. Indonesia)
Bersamaan dengan perkembangan zaman, teknologi otomatisasi juga semakin berkembang dan sangat dibutuhkan. Selain itu masalah penjadwalan mata kuliah yang ada pada Fakultas Teknik seperti jadwal yang bertabrakan dan juga pembagian kelas untuk mata kuliah yang kurang merata. Pada penelitian ini peneliti ingin mengembangkan teknologi otomatisasi tersebut sebagai alat untuk mempermudah pembuatan jadwal yang dalam hal ini peneliti menggunakan library PySMT yang menggunakan bahasa pemrograman Python. Penelitian ini memiliki beberapa tahapan yaitu: tahap persiapan, tahap pengumpulan data, tahap encoding data, tahap pengembangan aplikasi, tahap pengujian aplikasi, dan tahap analisis hasil. Data yang digunakan pada penelitian ini yaitu: data mata kuliah Fakultas Teknik Universitas Jenderal Soedirman, Jadwal Dosen, constraint, jadwal khusus yang diminta dosen, ruangan dan kapasitas kelas. PySMT dapat memudahkan proses pembuatan jadwal mata kuliah di Fakultas Teknik Universitas Jenderal Soedirman. Faktor-faktor yang memengaruhi kecepatan dan keefektifan dari jadwal yang terbentuk oleh program diantarannya: kuantitas dari input data, domains, dan constraint yang diberikan.
Abtrak (Bhs. Inggris)
Along with the times, automation technology is also growing and is very much needed. In addition, the problem of scheduling courses at the Faculty of Engineering, such as conflicting schedules and also class division for courses, is not evenly distributed. In this study, the researcher wants to develop the automation technology as a tool to facilitate scheduling, in this case the researcher uses the PySMT library which uses the Python programming language. This research has several stages, namely: the preparation stage, the data collection stage, the data encoding stage, the application development stage, the application testing stage, and the results analysis stage. The data used in this study are: data on the Faculty of Engineering, Jenderal Soedirman University, lecturer schedules, constraints, special schedules requested by lecturers, room and class capacity. PySMT can facilitate the process of making course schedules at the Faculty of Engineering, Jenderal Soedirman University. The factors that affect the speed and effectiveness of the schedule formed by the program include: the quantity of input data, domains, and the constraints given.
Kata kunci
Pembimbing 1
Pembimbing 2
Pembimbing 3
Tahun
Jumlah Halaman
Save