Article Per Year (5 Year)
p-Index From 2021 - 2026
1.884
P-Index
This Author published in this journals
All Journal International Journal of Electrical and Computer Engineering IAES International Journal of Artificial Intelligence (IJ-AI) Jurnal Sains dan Seni ITS KADIKMA Bulletin of Electrical Engineering and Informatics Bulletin of Electrical Engineering and Informatics UNEJ e-Proceeding Bulletin of Electrical Engineering and Informatics Jurnal Teknik Industri: Jurnal Keilmuan dan Aplikasi Teknik Industri BAREKENG: Jurnal Ilmu Matematika dan Terapan JTAM (Jurnal Teori dan Aplikasi Matematika) Limits: Journal of Mathematics and Its Applications Square : Journal of Mathematics and Mathematics Education Contemporary Mathematics and Applications (ConMathA) Science Nature International Journal of Computing Science and Applied Mathematics-IJCSAM
Dieky Adzkiya
Departemen Matematika Institut Teknologi Sepuluh Nopember
Arts Humanities Computer Science & IT Control & Systems Engineering Economics, Econometrics & Finance Education Electrical & Electronics Engineering Energy Engineering Industrial & Manufacturing Engineering Materials Science & Nanotechnology Mathematics Mechanical Engineering Physics Transportation

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

Found 22 Documents
Search

 1   2   3 
The Reduced Rank of Ensemble Kalman Filter to Estimate the Temperature of Non Isothermal Continue Stirred Tank Reactor Erna Apriliani; Dieky Adzkiya; Arief Baihaqi
Jurnal Teknik Industri: Jurnal Keilmuan dan Aplikasi Teknik Industri Vol. 13 No. 2 (2011): DECEMBER 2011
Publisher : Institute of Research and Community Outreach - Petra Christian University

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (296.561 KB) | DOI: 10.9744/jti.13.2.107-112

Abstract

Kalman filter is an algorithm to estimate the state variable of dynamical stochastic system. The square root ensemble Kalman filter is an modification of Kalman filter. The square root ensemble Kalman filter is proposed to keep the computational stability and reduce the computational time. In this paper we study the efficiency of the reduced rank ensemble Kalman filter. We apply this algorithm to the non isothermal continue stirred tank reactor problem. We decompose the covariance of the ensemble estimation by using the singular value decomposition (the SVD), and then we reduced the rank of the diagonal matrix of those singular values. We make a simulation by using Matlab program. We took some the number of ensemble such as 100, 200 and 500. We compared the computational time and the accuracy between the square root ensemble Kalman filter and the ensemble Kalman filter. The reduced rank ensemble Kalman filter can’t be applied in this problem because the dimension of state variable is too less.
Profil Mikrorotasi dan Temperatur Aliran Magnetohidrodinamik Fluida Mikrokutub pada Bola Bermagnet Mufatin Fauziyah; Basuki Widodo; Dieky Adzkiya
Square : Journal of Mathematics and Mathematics Education Vol 4, No 1 (2022)
Publisher : UIN Walisongo Semarang

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.21580/square.2022.4.1.9480

Abstract

Fluida mikrokutub adalah fluida dengan struktur mikro, yang terdiri dari partikel kaku yang berorientasi secara acak pada media kental yang memiliki kemampuan mikrorotasi. Penelitian ini difokuskan pada profil mikrorotasi dan temperatur aliran magnetohidrodinamik fluida mikrokutub pada bola bermagnet. Model dari permasalahan dibangun persamaan dimensional yang terdiri dari persamaan kontinuitas, persamaan momentum, persamaan momentum angular, dan persamaan energi. Model berdimensi tersebut ditransformasikan ke model tak berdimensi menggunakan variabel tak berdimensi. Selanjutnya model tak berdimensi diubah menjadi persamaan similaritas dengan menggunakan variabel similaritas. Persamaan similaritas diselesaikan secara numerik menggunakan metode beda hingga dengan skema implisit Euler. Hasil simulasi menunjukkan temperatur fluida naik seiring dengan meningkatnya parameter bahan mikrokutub. Sebaliknya, temperatur semakin turun dengan bertambahnya bilangan Prandtl. Profil mikrorotasi turun saat parameter bahan mikrokutub lebih besar sampai titik tertentu, kemudian berbalik semakin naik. Profil mikrorotasi semakin meningkat seiring dengan bertambahnya bilangan Prandtl.
MAGNETOHIDRODINAMIKA FLUIDA MIKROPOLAR PADA LAPISAN BATAS MELEWATI PELAT DATAR YANG DIPENGARUHI KONVEKSI CAMPURAN Jason Otniel Dharmanta; Basuki Widodo; Dieky Adzkiya; Chairul Imron
UNEJ e-Proceeding 2022: E-Prosiding Seminar Nasional Matematika, Geometri, Statistika, dan Komputasi (SeNa-MaGeStiK)
Publisher : UPT Penerbitan Universitas Jember

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

Abstract

This study considers about the magnetohydrodynamics of micropolar fluids in the boundary layer passing through a flat plate which is affected by mixed convection. The governing equations are obtained from the continuity, momentum, energy equations, and Maxwell’s equation. The micropolar fluid passes through the flat plate, flowing from the below. The obtained dimensional equations are then transformed into non-dimensional equations using non-dimensional variables, then transformed into similarity equations. The similarity equations can be introduced using stream functions, that produce non-linear partial differential equations. The equations are then solved by Keller-Box method. The numerical results obtained are in the form of temperature and fluid velocity profiles with variations in magnetic parameters, micropolar parameters, porosity parameters and Prandtl numbers. The numerical simulation results show that the greater the magnetic parameter (), the micropolar parameter () and the porosity parameter (), respectively, then the speed decreases but the temperature increases. However, the variation of the Prandtl numbers () does not affect the speed. The greater the Prandtl number, the lower the temperature. Keywords: Flat plate, Keller-Box, magnetohydrodynamics, micropolar fluid
Estimation of water momentum and propeller velocity in bow thruster model of autonomous surface vehicle using modified Kalman filter Hendro Nurhadi; Mayga Kiki; Dieky Adzkiya; Teguh Herlambang
International Journal of Electrical and Computer Engineering (IJECE) Vol 12, No 6: December 2022
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.11591/ijece.v12i6.pp5988-5997

Abstract

Autonomous surface vehicle (ASV) is a vehicle in the form of an unmanned on-water surface vessel that can move automatically. As such, an automatic control system is essentially required. The bow thruster system functions as a propulsion control device in its operations. In this research, the water momentum and propeller velocity were estimated based on the dynamic bow thruster model. The estimation methods used is the Kalman filter (KF) and ensemble Kalman filter (EnKF). There are two scenarios: tunnel thruster condition and open-bladed thruster condition. The estimation results in the tunnel thruster condition showed that the root mean square error (RMSE) by the EnKF method was relatively smaller, that is, 0.7920 and 0.1352, while the estimation results in the open-bladed thruster condition showed that the RMSE by the KF method was relatively smaller, that is, 1.9957 and 2.0609.
Desain dan Implementasi Perangkat Lunak Untuk Abstraksi Berhingga Sistem Max-Plus-Linear dengan Tree Tanpa Fungsi Rekursif Muhammadun; Dieky Adzkiya; Imam Mukhlash
Contemporary Mathematics and Applications (ConMathA) Vol. 5 No. 1 (2023)
Publisher : Universitas Airlangga

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.20473/conmatha.v5i1.44274

Abstract

Sistem Max-Plus-Linear (MPL) adalah suatu kelas sistem event diskrit dengan ruang keadaan kontinu mengkarakterisasi sekuensial kejadian diskrit yang mendasari. Di literatur, ada pendekatan untuk analisis yang didasarkan pada abstraksi berhingga model MPL yang autonomous. Prosedur ini telah diimplementasikan dalam MATLAB dengan struktur data list/matriks/vektor. Kekurangan dari implementasi ini, operasi membuat transisinya membutuhkan waktu komputasi yang lama. Kemudian dilakukan perbaikan terhadap implementasi sebelumnya dalam JAVA dengan struktur data tree. Implementasi ini berhasil mempercepat waktu komputasinya tetapi membutuhkan alokasi memori yang lebih besar karena fungsi-fungsinya bersifat rekursif. Penelitian ini membahas implementasi prosedur abstraksi berhingga model MPL autonomous dalam C++ dengan menggunakan struktur data tree tanpa fungsi rekursif. Dari beberapa percobaan yang dilakukan, implementasi pada penelitian ini berhasil mempercepat waktu komputasi VeriSiMPL 2.0 secara signifikan
PENERAPAN MODEL PREDICTIVE CONTROL (MPC) PADA FLOW LINE SISTEM PRODUKSI MENGGUNAKAN ALJABAR MAX-PLUS Fauzi, Imam; Adzkiya, Dieky
Kadikma Vol 13 No 1 (2022): April 2022
Publisher : Department of Mathematics Education , University of Jember

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.19184/kdma.v13i1.31309

Abstract

Model Predictive Control (MPC) is a controller design method is popularly used in the industrial world. This research will be presented at the MPC application of flow line production system modeled using max-plus linear systems. The main advantage of the MPC is its ability to provide certain constraints or limits on the control signal input and output. Flow line of production systems is a diagram illustrating the process sequence in the production system, ranging from the input, processing and output. Of flow line production system, be applicable MPC as time optimization control of the production process. Furthermore, the results of the input and output MPC construction of a flow line production system can be obtained by using matlab program
Timed concurrent system modeling and verification of home care plan Taryana, Acep; Adzkiya, Dieky; Mufid, Muhammad Syifa'ul; Mukhlash, Imam
International Journal of Electrical and Computer Engineering (IJECE) Vol 15, No 1: February 2025
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.11591/ijece.v15i1.pp870-882

Abstract

A home care plan (HCP) can be integrated with an electronic medical records (EMR) system, serving as an example of a real-time system with concurrent processes. To ensure effective operation, HCPs must be free of software bugs. In this paper, we explore the modeling and verification of HCPs from the perspective of scheduling data operationalization. Specifically, we investigate how patients can obtain home services while preventing scheduling conflicts in the context of limited resources. Our goal is to develop and verify robust models for this purpose. We employ formalism to construct and validate the model, following these steps: i) develop requirements and specifications; ii) create a model with concurrent processes using timed automata; and iii) verify the model using UPPAAL tools. Our study focuses on HCP implementation at a regional general hospital in Banyumas District, Central Java, Indonesia. The results include models and specifications based on timed automata and timed computation tree logic (TCTL). We successfully verified a concurrent model that utilizes synchronized counter variables and a sender-receiver approach to analyze collision constraints arising from the synchronization of patient and resource plans.
MAGNETOHYDRODYNAMICS NANOFERRO FLUID FLOWS PASSING THROUGH A MAGNETIC POROUS SPHERE UNDER THERMAL RADIATION EFFECT Widodo, Basuki; Pamela, Eirene Juwita Ningtyas; Adzkiya, Dieky; Imron, Chairul; Rahayuningsih, Tri
BAREKENG: Jurnal Ilmu Matematika dan Terapan Vol 16 No 4 (2022): BAREKENG: Journal of Mathematics and Its Applications
Publisher : PATTIMURA UNIVERSITY

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (456.749 KB) | DOI: 10.30598/barekengvol16iss4pp1303-1312

Abstract

In the application of thermonuclear reactor cooling, temperature regulation relies on experiments based on practical experience. Therefore, the accuracy of this temperature setting is operator-dependent. So it is necessary to develop a mathematical model to solve these problems. The dimensional mathematical model therefore is generated using the conservation laws of mass, momentum, and energy. The dimensional mathematical model is further transformed into non-dimensional mathematical model by using non-dimensional variables. The non-dimensional mathematical model is simplified using the similarity equation by utilizing the stream function. The model obtained is a system of nonlinear ordinary differential equations. This system of equations is then solved using an implicit numerical method using Keller-Box scheme. This Keller-Box method has high accuracy and is more efficient. The numerical simulation results show that the velocity profile and temperature profile decrease as the magnetic parameter, porosity parameter, and the Prandtl number increases, respectively. Meanwhile, when the radiation parameter increases, the temperature profile also increases, but the radiation parameter does not affect the velocity profile.
COVID-19 Predictions Using Regression Growth Model in Ireland and Israel Raza, Wasim; Adzkiya, Dieky; Subchan, Subchan; Mehmood, Saba
JTAM (Jurnal Teori dan Aplikasi Matematika) Vol 6, No 4 (2022): October
Publisher : Universitas Muhammadiyah Mataram

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.31764/jtam.v6i4.10944

Abstract

The World Health Organization (WHO) asserted the recently discovered severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), also known as COVID-19, a pandemic on March 11, 2020. Since the genesis and growth mechanisms of this virus are unclear and impossible to detect, there are still many uncertainties concerning it and no vaccination or effective treatment. The main goal is to halt its global spread. This paper employed a regression growth model with an extended Weibull function on the dynamics of COVID-19 to make predictions about its spread. Our findings demonstrate the viability of using this model to forecast the spread of the virus. Using a logistic growth regression model, the note tabulates the COVID-19-related final epidemic sizes for a few sites, including Ireland and Israel.
Safety Verification of Uncertain Max-Plus-Linear Systems Aditya Putra Pratama; Subchan Subchan; Dieky Adzkiya
(IJCSAM) International Journal of Computing Science and Applied Mathematics Vol. 4 No. 2 (2018)
Publisher : LPPM Institut Teknologi Sepuluh Nopember

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

Abstract

In this work, we discussed the verification of autonomous uncertain Max-Plus-Linear (uncertain MPL) systems with respect to safety property by using the reachability analysis approach. More precisely, given an uncertain MPL system, a nonempty set of initial conditions, a time horizon and an unsafe set, we want to determine whether the state can reach the unsafe set within the given time horizon. If the unsafe set is reachable, then the system is not safe. Otherwise, the system is safe. Our approach uses the piecewise affine representation of MPL systems to compute the reachable sets exactly.
Co-Authors Acep Taryana, Acep Aditya Putra Pratama Aditya Putra Pratama Arief Baihaqi Arief Baihaqi Asmudik Asmudik Asmudik, Asmudik Basuki Widodo Chairul Imron, Chairul Dennis V. Madrigal Dinita Rahmalia, Dinita Erna Apriliani Fajar Annas Susanto Guisheng Zhai Hariyanto Hariyanto Hariyanto, Hariyanto Helisyah Nur Fadhilah Hendro Nurhadi Imam Fauzi Imam Mukhlash Jason Otniel Dharmanta Mardianto, Lutfi Mardlijah - Mayga Kiki Mehmood, Saba Mochamad Satria Dharma Utama Mohamad Yusak Anshori Mufatin Fauziyah Mufid, Muhammad Syifa'ul Muhammadun Muhammadun Muhammadun Muhammadun Muhammadun Norasia, Yolanda Pamela, Eirene Juwita Ningtyas Raza, Wasim Riyanarto Sarno Sanjaya, Bandung Arry Subchan Subchan Subchan, Subchan Teay Shawyun Teguh Herlambang Tri Rahayuningsih Widya Nilam Rumana