TAUFIQ HIDAYAT
Universitas Islam Indonesia

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

Found 24 Documents
Search

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.
Requirements Analysis and Functional Documentation for UIITA System Development Using Business Process Management Alifah Kusuma Ramadhini; Taufiq Hidayat
Jurnal Teknologi Informatika dan Komputer Vol. 12 No. 2 (2026): Jurnal Teknologi Informatika dan Komputer
Publisher : Universitas Mohammad Husni Thamrin

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.37012/jtik.v12i2.3973

Abstract

Thesis administration at Universitas Islam Indonesia is handled through different mechanisms across study programs, including separate systems and manual procedures. UIITA was developed to integrate these services as a menu in UII Gateway. This article discusses requirements analysis, functional documentation, and testing in the UIITA project, which was continued by the Alpha Team based on Enterprise Architecture planning. The project activities included artifact review, process and authority mapping, BPMN and use case development, requirements specification in a Functional Specification Document (FSD), interface alignment, and test case development and execution. The outputs map six actor groups and a service cycle from thesis submission to report and grade management. The FSD documents 67 functional requirements in nine groups, consisting of 27 Thesis functions, 18 Thesis Examination functions, and 22 Configuration functions. Test cases were organized by menu and authority to examine available functions, record findings, and support retesting. Traceability across artifacts helps maintain requirements consistency throughout the iterative development of UIITA.