Claim Missing Document
Check
Articles

Found 3 Documents
Search

Desain Model Matematika Deterministic Finite Automata (DFA) untuk Validasi Keamanan Alur Transaksi Finansial pada Mesin Anjungan Tunai Mandiri (ATM) Perbankan Zulfahmi Indra; Christian Nicholas Sinaga; Lastri Putri Silaban; Jatmiko Althaf Aziz; Callysa Elistia; Azis Kurniadi; Zevan Irfandi Surbakti
KRESNA: Jurnal Riset dan Pengabdian Masyarakat Vol 6 No 1 (2026): Jurnal KRESNA Mei 2026
Publisher : DRPM Universitas Budi Luhur

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.36080/kresna.v6i1.314

Abstract

Perkembangan layanan perbankan digital meningkatkan pentingnya keamanan pada sistem transaksi Automatic Teller Machine (ATM). Penelitian ini bertujuan merancang model matematika berbasis Deterministic Finite Automata (DFA) untuk memvalidasi urutan proses transaksi ATM serta mencegah terjadinya penyimpangan alur transaksi. Model yang diusulkan merepresentasikan setiap tahapan transaksi sebagai state dan setiap aksi pengguna sebagai transisi yang bersifat deterministik. Metode penelitian meliputi pengumpulan data melalui studi literatur dan dokumentasi teknis, analisis kebutuhan menggunakan pendekatan 5W1H, pemodelan formal DFA, implementasi menggunakan bahasa pemrograman Python, serta pengujian logika melalui berbagai skenario transaksi. Model DFA dibangun menggunakan struktur 5-tuple dan dilengkapi dengan error state untuk menangani input yang tidak sesuai dengan aturan sistem. Hasil pengujian menunjukkan bahwa model mampu membedakan alur transaksi yang valid dan tidak valid secara efektif. Skenario transaksi normal berhasil diterima hingga mencapai final state, sedangkan percobaan bypass dan penyimpangan urutan transaksi berhasil ditolak melalui mekanisme trap state. Model yang dikembangkan memiliki keunggulan berupa kepastian logika, kemampuan validasi alur transaksi, dan efisiensi komputasi yang tinggi, meskipun masih memiliki keterbatasan pada aspek fleksibilitas dan validasi berbasis waktu.
Pengembangan Sistem Peringatan Dini Anomali Cuaca Berbasis Geospasial dan Asisten Virtual Yehezkiel Haganta Tarigan; Yohanes Gerardus Haga Zai; Callysa Elistia
CESS (Journal of Computer Engineering, System and Science) Vol. 11 No. 2 (2026): Juli 2026
Publisher : Universitas Negeri Medan

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.24114/cess.v11i2.73665

Abstract

Sistem peringatan dini cuaca konvensional saat ini masih memiliki keterbatasan akibat penyampaian informasi satu arah yang statis dan tingginya beban kognitif masyarakat dalam memahami data meteorologis mentah. Penelitian ini bertujuan mengembangkan WAMApp (Weather Anomaly Mitigation App), sebuah sistem peringatan dini berbasis seluler yang menyinergikan pemetaan geospasial dinamis dengan agen kecerdasan buatan interaktif. Pengembangan aplikasi menerapkan model Agile dan arsitektur microservices, mengintegrasikan data cuaca resolusi tinggi ERA5 dari Open-Meteo dengan asisten virtual berbasis Retrieval-Augmented Generation (RAG). Untuk mengoptimalkan efisiensi daya perangkat seluler, sistem mengimplementasikan algoritma pelacakan lokasi latar belakang dengan ambang batas pergerakan 500 meter dan memanfaatkan komputasi tepi nirserver (serverless edge computing) untuk distribusi notifikasi bahaya. Hasil pengujian fungsionalitas Black Box membuktikan bahwa seluruh modul berjalan optimal tanpa kendala teknis. Integrasi RAG pada asisten virtual WAMChat memungkinkan penyajian instruksi mitigasi yang lebih interaktif dan kontekstual berdasarkan kondisi cuaca pengguna. Hasil evaluasi melalui User Acceptance Testing (UAT) terhadap 102 responden menunjukkan tingkat kepuasan pengguna sebesar 4,60 dari skala 5. Temuan ini mengindikasikan bahwa kombinasi visualisasi geospasial dan asisten virtual generatif memiliki potensi untuk mendukung penyampaian informasi mitigasi cuaca secara lebih adaptif dan mudah dipahami.
Pengembangan Visualisasi Interaktif untuk Analisis Komparatif Binary Search dan Jump Search Yohanes Gerardus Haga Zai; Callysa Elistia; Yehezkiel Haganta Tarigan; Adidtya Perdana
Jurnal Riset Informatika dan Inovasi Vol 3 No 12 (2026): JRIIN : Jurnal Riset Informatika dan Inovasi (INPRESS)
Publisher : shofanah Media Berkah

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

Abstract

Penelitian ini berfokus pada pengembangan perangkat lunak visualisasi interaktif menggunakan bahasa pemrograman Python dan pustaka Pygame untuk menganalisis kinerja algoritma Binary Search dan Jump Search secara empiris. Meskipun teori asimtotik konvensional telah menetapkan kompleksitas waktu masing-masing algoritma, representasi kognitif murni melalui teks sering kali tidak memadai untuk memahami realitas eksekusi mekanis pada perangkat keras. Sistem visualisasi ini dirancang untuk mengeksekusi kedua algoritma secara konkuren (simultan) pada representasi spasial yang sama guna menyingkirkan bias kecepatan perangkat keras keras dalam proses pengujian. Pengujian dilakukan melalui simulasi variasi ukuran himpunan data berskala masif dengan kalkulasi batas langkah maksimum eksak pada kondisi terburuk. Hasil simulasi secara mutlak memvalidasi bahwa strategi pembagian ruang secara eksponensial pada Binary Search dengan kompleksitas memiliki tingkat skalabilitas yang jauh lebih superior dibandingkan Jump Search dengan kompleksitas . Meskipun Jump Search telah dieksekusi menggunakan parameter ukuran lompatan matematis yang paling optimal yaitu , algoritma tersebut terbukti tetap tidak mampu mengungguli efisiensi waktu eksekusi Binary Search seiring bertambahnya jumlah elemen data.