Article Per Year (5 Year)
p-Index From 2020 - 2025
1.152
P-Index
This Author published in this journals
All Journal Media Informatika Seminar Nasional Aplikasi Teknologi Informasi (SNATI) Jurnal Teknologi Informasi dan Terapan (J-TIT) Automata
TAUFIQ HIDAYAT
Universitas Islam Indonesia
Computer Science & IT Electrical & Electronics Engineering

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

Found 15 Documents
Search
Journal : Seminar Nasional Aplikasi Teknologi Informasi (SNATI)

 1   2 
Perancangan Host-Based Intrusion Detection System Berbasis Artificial Neural Network Bondan Himawan; Taufiq Hidayat
Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2007
Publisher : Jurusan Teknik Informatika, Fakultas Teknologi Industri, Universitas Islam Indonesia

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

Abstract

Algoritma genetika merupakan salah satu metode penyelesaian optimasi yang dikenal mampumenghasilkan nilai optimum. Makalah ini menerapkan perancangan algoritma genetika pada kasus ShortestPath Problem, dimana jalur terpendek dapat dilalui tanpa harus kembali ke titik awal seperti halnya kasusTravelling Salesman Problem Dengan menggunakan contoh data jarak antar kota yang telah diketahui danrepresentasi graf, algoritma genetika dapat memberi jalur optimum sesuai dengan yang diharapkan..Kata kunci: Algoritma Genetika, Shortest Path Problem, Jalur Terpendek
Pencarian Jalur Terpendek Menggunakan Algoritma Semut I'ing Mutakhiroh; Indrato Indrato; Taufiq Hidayat
Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2007
Publisher : Jurusan Teknik Informatika, Fakultas Teknologi Industri, Universitas Islam Indonesia

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

Abstract

Secara umum, pencarian jalur terpendek dapat dibagi menjadi dua metode, yaitu metode konvensionaldan metode heuristik. Metode konvensional cenderung lebih mudah dipahami daripada metode heuristik, tetapijika dibandingkan dari hasil yang diperoleh, metode heuristik lebih variatif dan waktu perhitungan yangdiperlukan lebih singkat. Pada metode heuristik terdapat beberapa algoritm,salah satunya algoritma semut.Algoritma semut adalah algoritma yang diadopsi dari perilaku koloni semut. Secara alamiah kolonisemut mampu menemukan rute terpendek dalam perjalanan dari sarang ke tempat-tempat sumber makanan.Koloni semut dapat menemukan rute terpendek antara sarang dan sumber makanan berdasarkan jejak kakipada lintasan yang telah dilewatii. Semakin banyak semut yang melewati suatu lintasan, maka akan semakinjelas bekas jejak kakinya. Algoritma Semut sangat tepat digunakan untuk diterapkan dalam penyelesaianmasalah optimasi, salah satunya adalah untuk menentukan jalur terpendek.Kata kunci: Pencarian jalur terpendek, Heuristik, Algoritma Semut
Sistem Pendukung Keputusan Penanganan Kesehatan Balita Menggunakan Penalaran Fuzzy Mamdani Ika Kurnianti Ayuningtiyas; Fajar Saptono; Taufiq Hidayat
Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2007
Publisher : Jurusan Teknik Informatika, Fakultas Teknologi Industri, Universitas Islam Indonesia

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

Abstract

Penanganan kesehatan balita merupakan salah satu hal yang patut dijadikan perhatian lebih, sehinggadapat mengurangi resiko tidak optimalnya penanganan kesehatan balita pada instansi yang terkait. SistemPendukung Keputusan Penanganan Kesehatan Balita sangat tepat diterapkan untuk penanganan masalah yangmembutuhkan penyelesaian mandiri dari komputer untuk pemrosesan data balita dengan perhitungan yangcepat dan akurat. Dengan menggunakan penalaran Logika FuzzyMamdani dalam pemrosesan data input danoutput, serta informasi pendukung berupa grafik sangat mendukung dalam pengambilan keputusan penanganankesehatan balita di suatu wilayah.Kata kunci: Sistem Pendukung Keputusan,Kesehatan Balita, Logika Fuzzy, Mamdani
Aplikasi Konversi Ekuivalensi Logis Formula Proposisi dengan Pohon Biner Taufiq Hidayat; Muh. Nizomuddin Fauza Sidiq
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

Makalah ini mempresentasikan hasil penelitian tentang pembuatan aplikasi yang dapat melakukan konversi formula proposisi ke formula lain yang ekuivalen secara logis. Konversi dilakukan dengan menggunakan hukum-hukum ekuivalensi dan dilakukan secara bertahap. Setiap tahap, aplikasi akan menentukan hukum-hukum yang bisa diterapkan pada formula yang diperoleh pada tahapan ini serta subformula yang akan dikenai hukum tersebut. Selain itu, aplikasi ini juga dapat mengecek apakah sebuah formula sudah dalam bentuk CNF. Dalam implementasinya, aplikasi ini menggunakan tipe data abstrak pohon biner untuk merepresentasikan sebuah formula proposisi.
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.
Co-Authors . Istikhomah Agung Bahariyanto Irhasni Agus Qomaruddin Munir Alexander Ramadhan Suratinoyo Alfeno Muhaydein Nur Bondan Himawan Brima Aribowo Djalu Ranadhi Dwira Maulana Fajar Saptono Fauzi Fauzi Gigih Istiawan Harry Kurniawan I'ing Mutakhiroh Ika Kurnianti Ayuningtiyas Indrato Indrato Irving Vitra Paputungan Izzati Muhimmah Luna Bunga Karolina Muh. Nizomuddin Fauza Sidiq Muhammad Erwin Ashari Haryono Oktavianto, Hardian Raditia Fadillah Akbar Raihanah Azahari Riza Noplaily Rizal Dewangga Rizqi Bagaskoro Sandy Kurniawan Sugiarto Sugiarto Sulistyohati, Aprilia Suria Sri Atmodjo Teduh Dirgahayu Vivi Amelia Wawan Indarto