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 23 Documents
Search

 1   2   3 
Aplikasi Pencarian Kata dalam Blok Huruf Acak Gigih Istiawan; Irving Vitra Paputungan; Teduh Dirgahayu; Taufiq Hidayat
Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2006
Publisher : Jurusan Teknik Informatika, Fakultas Teknologi Industri, Universitas Islam Indonesia

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

Abstract

Makalah ini akan menjelaskan bagaimana aplikasi pencarian kata dalam blok acak. Kata-kata yang dicari terletak di dalam blok huruf yang merupakan matrik yang terdiri dari kumpulan huruf acak. Dalam pencariannya program menggunakan teknik pencarian berurut (sequential searching) untuk mencari kata yang dicari. Hasil pencarian berupa koordinat tiap huruf pembentuk kata yang dicari di dalam blok huruf.Kata kunci: matrik, pencarian, pencarian berurut
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

Host-Based Intrusion Detection System (HIDS) adalah sistem yang mampu mendeteksi danmengidentifikasikan ancaman yang terjadi dalam sistem komputer, dengan cara mengenali setiap pola seranganyang dilakukan oleh intruder. Untuk mendeteksi setiap gejala ancaman tersebut, sistem menggunakanpendekatan anomaly-based intrusion detection, yaitu pengenalan pola berdasarkan pada urutan system callyang menyusun sebuah proses dalam sistem komputer. Artificial Neural Network digunakan untuk mengenalipola-pola dari system call yang dimasukkan ke HIDS, sehingga pola-pola serangan baru dapat dideteksi,walaupun tidak dideklarasikan sebelumnya. Metode yang digunakan untuk mengenali pola adalah metode MultiLayer Perceptron (MLP) dan Self Organizing Map (SOM).Kata kunci: intrusion detection, neural netwrok, monitoring system
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.
SEGMENTASI AREA GIGI MENGGUNAKAN FUZZY C-MEANS Hardian Oktavianto; Izzati Muhimmah; Taufiq Hidayat
Jurnal Teknologi Informasi dan Terapan Vol 4 No 2 (2017)
Publisher : Jurusan Teknologi Informasi Politeknik Negeri Jember

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.25047/jtit.v4i2.63

Abstract

Researches with early detection of caries using x-ray topic has been widely developed, generally before doing object detection, the early step is segmentation. Image segmentation is one of the digital image processing steps used to segregate an area or object observed with other areas or objects. Segmentation has an important role as the initial determination of the desired area or object so that it can be continued to the identification stage. FCM (fuzzy c-means) algorithm is one of object segmentation technique or object grouping in the field of digital image processing study. The basic concept of FCM is to determine the centroid and members of each group adaptively, in principle FCM uses a fuzzy grouping model so that a data or element becomes a member of all the clusters that are formed. Segmentation of the dental area using FCM with 4 clusters aims to segment the enamel, dentin, pulp, and backround areas. The result of segmentation using FCM is influenced by the condition of the dataset used. The background area of the entire dataset can be well segmented. FCM is also capable of segmenting the enamel area but in some datasets, the enamel segmentation results are still mixed with other teeth areas. For the dentin and pulp areas, the segmentation result of these two areas is not optimal yet; most of the dentin and or pulp areas are still segmented with the other teeth’s area.
Penentuan Solusi Satisfiability (SAT) Problem Dengan Metode Kohonen Self-Organizing Map (KSOM) Alexander Ramadhan Suratinoyo; Taufiq Hidayat
AUTOMATA Vol. 1 No. 2 (2020)
Publisher : AUTOMATA

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

Abstract

SAT Problem merupakan salah satu permasalahan NP-Complete  yang sangat sulit untuk dipecahkan dengan cara konvensional. Sudah banyak aplikasi (SAT Solver) untuk menyelesaikan nya. Tujuan dari penelitian ini untuk melakukan pemodelan SAT Solver menggunakan salah satu Jaringan Syarat Tiruan, Kohonen Self Organizing Map
Solusi Pendekatan SAT Problem dengan Jaringan Syarf Tiruan Model Learning Vector Quantization Luna Bunga Karolina; Taufiq Hidayat
AUTOMATA Vol. 2 No. 2 (2021)
Publisher : AUTOMATA

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

Abstract

Boolean Satisfiability Probelm atau yang sering disingkat dengan SAT Problem merupakan suatu masalah yang menentukan sebuah formula matematika bernilai satisfiable atau unsatisfiable. Sebuah perangkat lunak bagi solusi untuk permasalah SAT disebut dengan SAT Solver. Banyak ilmuan yang mencoba membuat SAT Solver ini menggunakan bermacam-macam metode, salah satunya yaitu, Jaringan Syaraf Tiruan (JST). Sejak dikenalkan pada tahun 1991, JST terus mengalami perkembangan setiap waktu. JST ini memiliki banyak model, namum pada tulisan ini menggunakan JST model Learning Vector Quantization (LVQ). Masukan dari sistem yang akan dibangun ini berupa formula matematika dengan format Conjunctive Normal Form (CNF), kemudian luarannya berupa sebuah kata satisfiable atau unsatisfiable.  Bahasa pemograman Python yang merupakan bahasa pemograman tingkat tinggi akan digunakan untuk membangun sistem.
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