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 5 Documents
Search
Journal : Automata

 1 
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.
PEMBAGIAN WARISAN MENURUT SYARIAT ISLAM DENGAN BASIS PENGETAHUAN MENGGUNAKAN PROLOG Raditia Fadillah Akbar; Taufiq Hidayat
AUTOMATA Vol. 2 No. 2 (2021)
Publisher : AUTOMATA

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

Abstract

Dalam Islam pembagian harta warisan merupakan hal yang sensitive. Hal ini menimbulkan kemaslahatan kepada setiap ahli waris baik dalam segi perhitungan ataupun keadilan dalam pembagian waris. Di era dewasa ini umat Muslim lebih suka membagikan hartanya dengan menggunakan cara dibagi rata. Dikarenakan kebanyakan umat muslim tidak mengerti tentang tata cara pembagian waris sesuai hukum islam. Tujuan diadakanya penelitian ini adalah untuk membangun sebuah expert system untuk pembagian harta warisan sesuai dengan hukum Islam. Forward Chaining digunakan sebagai medote yang akan digunakan di dalam basis pengetahuan. Dalam expert system terdapat sebuah metode yang dinamakan metode Forward chaining. “Forward Chaining”akan menelusuri fakta-fakta yang tersedia dalam basis pengetahuan terlebih dahulu, lalu dilanjutkan dengan menelusuri aturan-aturan yang dibuat dalam basis pengetahuan. Harta yang didapatkan untuk setiap ahli waris merupakan tujuan dari penelitian ini. Dengan adanya sistem pakar ini, diharapkan umat Muslim dapat menjalankan syariat yang sudah ditentukan dan dapat dengan mudah membagikan hartanya
Analisis Pola Nilai Mahasiswa Informatika Kurikulum 2016 dengan Menggunakan Formal Concept Analysis Rizal Dewangga; Taufiq Hidayat
AUTOMATA Vol. 3 No. 1 (2022)
Publisher : AUTOMATA

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

Abstract

Jurusan Informatika Universitas Islam Indonesia (UII) mewajibkan mahasiswanya untuk mengambil penjaluran pada tahun keempat setelah mahasiswanya selesai mengambil mata kuliah wajib. Pada tahun keempat terdapat berbagai macam penjaluran, diantaranya: penelitian, perintisan bisnis, magang, pengabdian masyarakat, dan studi luar negeri. elama ini banyak mahasiswa merasa bingung menentukan penjaluran untuk tugas akhir. Hal ini menyebabkan mahasiswa memilih jalur dengan tergesa-gesa atau kadang asal memilih penjaluran. Maka dari itu, untuk memberikan arahan kepada mahasiswa yang ingin mengambil penjaluran di tahun keempat penelitian ini dilakukan. Penelitian ini memberikan beberapa daftar mahasiswa yang telah lulus yang kemudian akan akan di proses menggunakan metode Formal Concept Analysis (FCA). Hasil dari penelitian ini yaitu mengetahui pola mahasiswa yang tepat dalam memilih jalur.
Penerapan Metode Algoritma Genetika Dalam Penyelesaian Boolean Satisfiability Problem Menggunakan Java Alfeno Muhaydein Nur; Taufiq Hidayat
AUTOMATA Vol. 3 No. 1 (2022)
Publisher : AUTOMATA

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

Abstract

Boolean Satisfiability Problem (SAT Problem) merupakan salah satu konsep logika matematika untuk menentukan apakah suatu formula bisa disebut formula yang satisfiable atau unsatisfiable dengan memberi nilai dari setiap simbol bilangan proposisi. Dalam penelitian ini dilakukan implementasi Algoritma Genetika untuk menyelesaikan SAT Problem menggunakan bahasa pemrograman JAVA. Setelah dilakukan pengujian, hasil yang didapatkan adalah sistem dengan penerapan Algoritma Genetika ini mampu menyelesaikan SAT Problem dalam bentuk CNF file 50 Variabel dan 80 klausa dengan waktu yang singkat dalam hitungan detik.
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