Claim Missing Document
Check
Articles

Found 4 Documents
Search

Evaluasi Kemampuan ChatGPT dalam Mengonversi Kebutuhan Sistem Berbasis BPMN Menjadi Formula Linear Temporal Logic (LTL) Anjany, Fillah; Al Kaamil, Syifa Fikroh; Ainul Yaqin, Muhammad
Jurnal Pustaka Data (Pusat Akses Kajian Database, Analisa Teknologi, dan Arsitektur Komputer) Vol 5 No 1 (2025): Jurnal Pustaka Data (Pusat Akses Kajian Database, Analisa Teknologi, dan Arsitekt
Publisher : Pustaka Galeri Mandiri

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.55382/jurnalpustakadata.v5i1.1000

Abstract

Perumusan spesifikasi formal dalam pengembangan perangkat lunak berbasis model merupakan tantangan yang signifikan karena kompleksitas logika formal. Linear Temporal Logic (LTL) merupakan pendekatan yang umum digunakan untuk merepresentasikan perilaku sistem dalam domain waktu. Namun, proses transformasi kebutuhan berbasis teks (tekstual requirement) menjadi ekspresi LTL secara manual membutuhkan waktu dan keahlian khusus. Penelitian ini mengeksplorasi kemampuan Large Language Model (LLM), khususnya ChatGPT, dalam mengotomatisasi konversi tekstual requirement ke dalam LTL. Tiga skenario Business Process Model and Notation (BPMN)—Login System, Make Cash Inflow, dan Display Mandatory Savings—digunakan sebagai studi kasus. Hasil generasi LTL oleh LLM dibandingkan dengan hasil manual oleh pakar logika formal. Evaluasi dilakukan berdasarkan kesamaan semantik dan sintaksis, dengan skor rata-rata akurasi mencapai 91,6%. Studi ini menunjukkan bahwa LLM berpotensi mempercepat dan menyederhanakan proses penyusunan spesifikasi formal, dengan tetap mempertahankan akurasi yang tinggi.
Hubungan Antara Ukuran Kuantum (Quantum Size) dan Kinerja Algoritma Round-Robin (Studi Kasus Penjadwalan CPU) Anjany, Fillah; Fikroh Al Kaamil, Syifa; Ainul Yaqin, Muhammad
Jurnal Pustaka Data (Pusat Akses Kajian Database, Analisa Teknologi, dan Arsitektur Komputer) Vol 5 No 2 (2025): Jurnal Pustaka Data (Pusat Akses Kajian Database, Analisa Teknologi, dan Arsitekt
Publisher : Pustaka Galeri Mandiri

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.55382/jurnalpustakadata.v5i2.1395

Abstract

Penjadwalan CPU merupakan salah satu fungsi penting dalam sistem operasi yang menentukan efisiensi dan keadilan penggunaan prosesor. Algoritma Round Robin (RR) dikenal karena kesederhanaannya dan kemampuannya mendistribusikan waktu CPU secara adil kepada setiap proses. Namun, performa algoritma ini sangat dipengaruhi oleh besar kecilnya nilai time quantum. Penelitian ini bertujuan untuk menganalisis hubungan antara ukuran quantum dan kinerja algoritma Round Robin berdasarkan metrik turnaround time (TAT), waiting time (WT), throughput, dan context switch (CS). Simulasi dilakukan pada beberapa skenario dengan variasi quantum (2–100 ms) dan pola kedatangan proses yang berbeda. Hasil menunjukkan bahwa peningkatan nilai quantum menurunkan jumlah context switch secara signifikan hingga titik optimal pada kisaran 10–20 ms, di mana sistem mencapai keseimbangan antara efisiensi dan responsivitas. Analisis regresi menunjukkan hubungan positif antara context switch dan turnaround time dengan koefisien determinasi (R²) mencapai 0,84–0,87. Temuan ini menegaskan bahwa pemilihan time quantum yang tepat sangat krusial dalam menjaga performa sistem operasi time-sharing, dan nilai quantum 10–20 ms dapat dianggap sebagai rentang optimal untuk beban kerja umum.
Pemberdayaan Masyarakat Desa melalui Pemanfaatan Teknologi Informasi untuk Administrasi dan Layanan Publik Anjany, Fillah; Muakhoh, Sayidatul Wuslatul; Farikhah, Salwa Rizka Lailatul; Nengkaton, Wahyu; Pranata, Aryan; Hariyanto, Wahyu
Jurnal Pustaka Mitra (Pusat Akses Kajian Mengabdi Terhadap Masyarakat) Vol 6 No 1 (2026): Jurnal Pustaka Mitra (Pusat Akses Kajian Mengabdi Terhadap Masyarakat)
Publisher : Pustaka Galeri Mandiri

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.55382/jurnalpustakamitra.v6i1.1625

Abstract

Pengabdian kepada masyarakat ini bertujuan untuk memperkuat peran pendidikan sebagai pilar pembangunan sumber daya manusia melalui kegiatan pendampingan dan penguatan kapasitas masyarakat desa. Sasaran pengabdian adalah aparatur desa dan masyarakat Desa Desa argosari kecamatan jabung yang menghadapi keterbatasan pemahaman mengenai peran strategis pendidikan dalam peningkatan kualitas sumber daya manusia. Metode pengabdian yang digunakan meliputi sosialisasi, pendampingan, diskusi partisipatif, dan perumusan rekomendasi berbasis kebutuhan mitra. Kegiatan diawali dengan identifikasi permasalahan, dilanjutkan dengan penyampaian materi, serta pendampingan dalam menyusun kerangka penguatan pendidikan di tingkat desa. Hasil pengabdian menunjukkan adanya peningkatan pemahaman mitra mengenai fungsi pendidikan, tumbuhnya kesadaran kolektif akan pentingnya investasi pendidikan, serta tersusunnya rekomendasi strategis penguatan pendidikan berbasis potensi lokal. Kegiatan ini diharapkan dapat menjadi model awal pemberdayaan masyarakat desa dalam mendukung pembangunan sumber daya manusia secara berkelanjutan.
Pemberdayaan Masyarakat Peternak Sapi Perah melalui Optimalisasi Teknik Pemerahan Susu di Dusun Bendrong Anjany, Fillah; Aziza, Visca; Vatikasari, Yunita Bima; Putri, Aissya Meidina; Aqil, Bima Labibul; Umam, Maulid Hotibul; Hariyanto, Wahyu
Jurnal Pustaka Mitra (Pusat Akses Kajian Mengabdi Terhadap Masyarakat) Vol 6 No 1 (2026): Jurnal Pustaka Mitra (Pusat Akses Kajian Mengabdi Terhadap Masyarakat)
Publisher : Pustaka Galeri Mandiri

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.55382/jurnalpustakamitra.v6i1.1643

Abstract

Peternakan sapi perah telah lama menjadi bagian penting dari mata pencaharian masyarakat pedesaan di Dusun Bendrong, di mana produksi susu umumnya dilakukan dalam skala kecil hingga menengah dengan teknik pemerahan manual tradisional. Praktik ini diwariskan secara turun-temurun tanpa prosedur teknis yang terstandarisasi, sehingga menyebabkan hasil produksi susu yang tidak stabil serta pendapatan peternak yang fluktuatif. Program pengabdian kepada masyarakat ini bertujuan untuk memberdayakan peternak sapi perah lokal melalui optimalisasi teknik pemerahan susu berbasis praktik lapangan secara langsung. Kegiatan ini dilaksanakan oleh Kelompok KKM 54 dengan pendekatan partisipatif yang melibatkan observasi langsung, praktik lapangan, serta pertukaran pengetahuan dengan peternak di tiga lokasi peternakan sapi perah milik warga setempat. Metode pelaksanaan kegiatan terdiri dari tiga tahapan, yaitu pra-pelaksanaan, pelaksanaan, dan pasca-pelaksanaan. Pada tahap pelaksanaan, peternak memperagakan praktik pemerahan susu yang biasa dilakukan, kemudian mahasiswa terlibat langsung dalam proses pemerahan di bawah bimbingan peternak. Evaluasi hasil kegiatan dilakukan secara kualitatif berdasarkan tingkat partisipasi, keterlaksanaan kegiatan, serta interaksi antara peternak dan mahasiswa. Hasil kegiatan menunjukkan bahwa 100% peternak sasaran berpartisipasi aktif pada seluruh tahapan kegiatan dan bersedia berbagi pengetahuan serta melibatkan mahasiswa dalam praktik lapangan. Tidak ditemukan kendala berarti selama pelaksanaan kegiatan, sehingga program dapat berjalan dengan baik. Meskipun belum dilakukan pengukuran kuantitatif terhadap peningkatan produksi susu, kegiatan ini berhasil meningkatkan pemahaman bersama mengenai praktik pemerahan tradisional serta mengidentifikasi peluang untuk meningkatkan efisiensi pemerahan. Program ini menunjukkan bahwa pengabdian kepada masyarakat berbasis praktik dapat menjadi langkah awal yang efektif dalam upaya optimalisasi usaha peternakan sapi perah di wilayah pedesaan.