Claim Missing Document
Check
Articles

Found 34 Documents
Search

TRANSFORMASI CHANNEL SYSTEM KE LABELLED TRANSITION SYSTEM Siti Mutmainah; Reza Pulungan
Kaunia: Integration and Interconnection Islam and Science Vol. 8 No. 1 (2012)
Publisher : Fakultas Sains dan Teknologi UIN Sunan Kalijaga

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.14421/kaunia.1040

Abstract

A parallel system must be developed with extra precision to achieve a high level of dependability to produce error-free software. Therefore, we need an appropriate and formal model of the system. The model is necessary for verification software in model checking. A model that is often used in model checking is Labelled Transition System (LTS). An LTS can be generated from Program Graphs (PG), which  are representations  of  programs  in  any  programming  language.  However,  in modeling a parallel system we need to describe the communications(model of interactivity) between the Program Graphs. For this purpose, we need and use Channel Systems (CS). Therefore, we often need to transform CS to LTS. The aim of this research is to developa transformation algorithm to generate an LTS from a given CS. Through the concept of parallelism, the algorithm is constructed by exploiting the so-called Structured Operational Semantic (SOS) of the CS. The transformation algorithm is implemented by developing a prototype tool designed with 3 essential components:input, process and output. Input is a text file that contains a model of a parallel system in the form of a CS. The model will be processed by using thetransformation algorithm that generates an LTS as output text file. Functionally, the algorithm can handle models of parallel systems written ina CS that consists of several PGs containing both looping and branching. Moreover, it has ability to satisfy various parallelism models such as interleaving, synchronous and asynchronous.
E-Referral System Modeling Using Fuzzy Multiple-Criteria Decision Making Gandung Triyono; Sri Hartati; Reza Pulungan; Lutfan Lazuardi
Indonesian Journal of Electrical Engineering and Computer Science Vol 11, No 2: August 2018
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.11591/ijeecs.v11.i2.pp475-486

Abstract

Currently, the quality of health services in Indonesia is getting better. However, the referral system still has some problems. The first is the difficulty in determining the referral hospital by the condition of the patient. The second is the different parameters used to determine the referral hospitals between countries. Based on those problems, it is necessary to improve the ability of the current referral system. This study developed a reference system model for assessing the suitability of the patient's background with the referral hospital. Some of the methods used are restful on web service technologies for information exchange between primary health care doctors and referral hospitals, Fuzzy Multiple-Criteria Decision Making (FMCDM) to determine the ranking of referral hospitals that fit the patient's background. The result of this study is an intelligent system model to get the referral hospital that fit the patient's background.
PREDIKSI PENGGUNAAN BANDWIDTH MENGGUNAKAN ELMAN RECURRENT NEURAL NETWORK Radjabaycolle, Jefri; Pulungan, Reza
BAREKENG: Jurnal Ilmu Matematika dan Terapan Vol 10 No 2 (2016): BAREKENG: Jurnal Ilmu Matematika dan Terapan
Publisher : PATTIMURA UNIVERSITY

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (709.443 KB) | DOI: 10.30598/barekengvol10iss2pp127-135

Abstract

Jaringan Syaraf Tiruan (JST) sering dipakai dalam menyelesaikan permasalahan tertentu seperti prediksi, klasifikasi, dan pengolahan data. Berdasarkan hal tersebut, dalam penelitian ini mencoba menerapkan JST untuk menangani permasalahan dalam prediksi penggunaan bandwidth. Sistem yang dikembangkan dapat digunakan untuk memprediksi pengunaan bandwidth dengan menerapkan Elman Recurrent Neural Network (ERNN). Struktur Elman dipilih karena dapat membuat iterasi jauh lebih cepat sehingga memudahkan proses konvergensi.. Vektor input yang digunakan menggunakan windows size. Hasil penelitian dengan menggunakan target error sebesar 0.001 menunjukkan nilai MSE terkecil yaitu pada windows size 11 dengan nilai 0.002833. Kemudian dengan menggunakan 13 neuron pada hidden layer diperoleh nilai error paling optimal (minimum error) sebesar 0.003725.
Temporal Action Segmentation in Sign Language System for Bahasa Indonesia (SIBI) Videos Using Optical Flow-Based Approach I Dewa Made Bayu Atmaja Darmawan; Linawati; Sukadarmika, Gede; Wirastuti, Ni Made Ary Esta Dewi; Pulungan, Reza
Jurnal Ilmu Komputer dan Informasi Vol. 17 No. 2 (2024): Jurnal Ilmu Komputer dan Informasi (Journal of Computer Science and Informatio
Publisher : Faculty of Computer Science - Universitas Indonesia

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.21609/jiki.v17i2.1284

Abstract

Sign language (SL) is vital in fostering communication for the deaf and hard-of-hearing communities. Continuous Sign Language Translation (CSLT) is a work that translates sign language into spoken language. CSLT translation is done by changing continuous forms into isolated signs. Segmenting morpheme signs from phrase signs has several challenges, such as the availability of annotated datasets and the complexity of continuous gesture movements. The Indonesian Sign Language (SIBI) system follows Indonesian grammatical norms, including word formation, in contrast to other sign languages with rules derived from their spoken language. In SIBI, a word can consist of a root word and an affix word. Therefore, temporal action segmentation in SIBI is important to reconstruct the results of translating each sign into spoken Indonesian sentences. This research uses an optical flow approach to segment temporal actions in SIBI videos. Optical flow methods that calculate changes in intensity between adjacent frames can be used to determine the occurrence of sign movement or vice versa to determine the delay between sign movements. The absence of intensity differences between the two frames indicates the boundary between sign gestures. This study tested the use of dense optical flow on videos containing SIBI sentences taken from 3 signers. Evaluation is done on several parameters in the dense optical flow algorithm, such as threshold size, PyrScale, and WinSize, to obtain the best accuracy. This paper shows that the optical flow algorithm successfully performs segmentation, as measured by Perf and F1r. The experimental results showed that the highest Perf and F1r yields were 0.8298 and 0.8524, respectively.