Agung Bahariyanto Irhasni
Universitas Islam Indonesia

Published : 2 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 2 Documents
Search

SAT Solver dengan DPLL dalam Pemrograman Deklaratif Taufiq Hidayat; Agung Bahariyanto Irhasni
Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2018
Publisher : Jurusan Teknik Informatika, Fakultas Teknologi Industri, Universitas Islam Indonesia

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

SAT Solver adalah perangkat lunak untuk menyelesaikan SAT Problem. Penelitian ini bertujuan membangun SAT Solver dengan konsep pemrograman deklaratif dan bahasa pemrograman Prolog dengan menggunakan Algoritma DPLL. Penelitian ini merupakan bagian dari penelitian tentang sistem eksplorasi Formal Context dengan constraint. Setelah pengujian, dapat disimpulkan bahwa SAT Solver dari penelitian ini dapat menyelesaikan SAT Problem. Salah satu problem yang diujikan adalah problem Sudoku, yang dinyatakan dalam SAT Problem dengan 729 variabel dan paling sedikit 8829 klausa.
Pengembangan Loker Cerdas Berbasis IOT Agung Bahariyanto Irhasni; Hendrik - -
AUTOMATA Vol. 1 No. 1 (2020)
Publisher : AUTOMATA

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Abstract—Manajemen yang baik adalah manajemen yang memberikan tingkat efektivitas dan efisiensi yang tinggi baik dari segi alokasi penggunaan waktu maupun ketercapaian tujuan dalam sebuah proses bisnis. Pendistribusian barang melalui media loker masih digunakan di lingkungan kampus Universitas Islam Indonesia. Beragam permasalahan dialami dalam sistem manajemen loker yang ada. Terutama pada konteks waktu barang terdistribusi dari pengirim ke penerima. Secara fungsionalitas, penggunaan loker semacam ini erat kaitannya dengan sistem pemantauan jarak jauh yang biasa dikenal dengan istilah Internet Of Things (IOT). Makalah ini memiliki fokus bahasan terkait beragam metode yang digunakan dalam pengembangan loker cerdas berbasis IOT. Analisis tentang penggunaan sensor dilakukan dalam rangka mengetahui kinerja masing-masing perangkat sensor sehingga solusi terbaik dapat dihasilkan melalui penelitian ini. Raspberry PI, merupakan mini PC yang bertindak sebagai microcontroller dan dilangkapi dengan GPIO(general purpose input/output). Istilah perangkat Raspberry PI tentunya sudah tidak asing dalam pengembangan sistem berbasis IOT sehingga dalam makalah ini ditemukan beberapa penelitian yang membahas kegunaan Raspberry PI dalam berbagai aspek dan terimplementasi  dengan penggunaan ragam sensor. Metode pengembagan sistem dilakukan dengan desain penelitian yaitu; 1) Anaisis Kebutuhan yang dilakukan dengan wawancara dan observasi 2) Studi Literatur 3)Perancangan Prototype 4) Pembuatan Prototype  5) Pengujian usabilitas serta pengujian validitas hasil. Dari penelitian yang sudah dilakukan, didapatkan hasil perancangan desain prototype manajemen loker menggunakan Raspberry PI didukung dengan sensor berat HX711 dengan mode pengiriman data monitor melalui WhatsApp.