• Journal of applied mathematics & informatics
• /
• v.28 no.5_6
• /
• pp.1379-1393
• /
• 2010

In this paper, a stage-structured predator prey model (stage structure on prey) with two discrete time delays has been discussed. The two discrete time delays occur due to maturation delay and gestation delay. Linear stability analysis for both non-delay as well as with delays reveals that certain thresholds have to be maintained for coexistence. Numerical simulation shows that the system exhibits Hopf bifurcation, resulting in a stable limit cycle.

• Journal of the Korea Society for Simulation
• /
• v.6 no.1
• /
• pp.1-13
• /
• 1997

In this paper, we present a partitioning algorithm for distributed simulation of DEVS (Discrete Event System Specification) models. To preserve concurrency inherent in models, the proposed algorithm utilizes the structural information of models. Through benchmark simulation experiments, we show that the proposed algorithm can generate good partitions.

• Water for future
• /
• v.24 no.3
• /
• pp.61-70
• /
• 1991

the relationships between rainfall and runoff are analyzed statistically and modelled using discrete linear transfer function, which can be shown with the relations between input and output in hydrologic system. The procedures of identification, estimation and diagnostic checking of model are proposed, and the suitabilith of assume model is determined by the statistics used in time series analysis.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.977-992
• /
• 2019

Mittag-Leffler stability of nonlinear fractional nabla difference systems is defined and the Lyapunov direct method is employed to provide sufficient conditions for Mittag-Leffler stability of, and in some cases the stability of, the zero solution of a system nonlinear fractional nabla difference equations. For this purpose, we obtain several properties of the exponential and one parameter Mittag-Leffler functions of fractional nabla calculus. Two examples are provided to illustrate the applicability of established results.

• Journal of Korea Society of Industrial Information Systems
• /
• v.29 no.2
• /
• pp.69-80
• /
• 2024

In this paper, we studied a discrete-time queuing system that operates under a mixed situation of D-policy and T-policy, one of the representative server control policies in queuing theory. A single server serves customers arriving by Bernoulli arrival process on a first-in, first-out basis(FIFO). If there are no customers to serve in the system, the server goes on vacation and returns, until the total service time (i.e., total amount of workload) of waiting customers exceeds predetermined workload threshold D. The operation of the system covered in this study can be used to model the efficient resource utilization of mobile devices using secondary batteries. In addition, it is significant in that the steady state waiting time and system sojourn time of the queuing system under a flexible mixed control policy were derived within a unified framework.

• Proceedings of the KIPE Conference
• /
• 2013.11a
• /
• pp.63-64
• /
• 2013

Induction motors' faults detection is almost a popular topic among researchers. Monitoring the output of motors is a key factor in detecting these faults. (Short-time) Fourier, (continuous, discrete) wavelet, and extended Park vector transformations are among the methods for fault detection. One major deficiency of these methods is not being able to detect the severity of faults that carry low energy information, e.g. in ball bearing system failure, there is absolutely no way to detect the severity of fault using Fourier or wavelet transformations. In this paper, the authors have applied the Discrete Wavelet Transform (DWT) frequency-domain analysis to detect bearing faults in an induction motor. In other words, in discrete transform which the output signal is decomposed in several steps and frequency resolution increases considerably, the frequency-band analysis is performed and it will be verified that first of all, fault sidebands become more recognizable for detection in higher levels of decomposition, and secondly, the inner race bearing faults turn out easier in these levels; and all these matter because of eliminating the not-required high energy components in lower levels of decomposing.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.487-494
• /
• 2013

Medical image watermarking has received extensive attention as wide security services in the healthcare information system. This paper proposes a blind medical image watermarking approach on the segmented gray-matter (GM) images by utilizing discrete wavelet transform (DWT) and discrete cosine transform (DCT) along with enhanced suppressed fuzzy C-means (EnSFCM) for the optimal selection of sub-blocks position to insert a watermark. Experimental results show that the proposed approach outperforms other methods in terms of peak signal to noise ratio (PSNR) and M-SVD. In addition, the proposed approach shows better robustness than other methods in normalized correlation (NC) values against several attacks, such as noise addition, filtering, JPEG compression, blurring, histogram equalization, and cropping.

• Journal of Advanced Navigation Technology
• /
• v.13 no.5
• /
• pp.756-762
• /
• 2009

As nonlinear friction, stick-slip friction in hydraulic actuators are a problem for accuracy and repeatability. Therefore friction compensation has been approached through various control algorithms. A Adaptive discrete time sliding mode tracking controller has been applied in order to compensate the nonlinear friction characteristics in a hydraulic Actuator. Based on the diophantine equation, a new discrete time sliding function is defined and utilized for the control law which includes a friction and modeling error. Robustness is increased by using both a projection algorithm and a sliding function-based nonlinear feedforward. From the results of simulation and experiment good tracking performance is achieved.

• Journal of KSNVE
• /
• v.8 no.4
• /
• pp.632-642
• /
• 1998

A method based on finite element discretization is developed for optimizing the polarization profile of PVDF film to create the modal transducer for specific modes. Using this concept, one can design the modal transducer in two-dimensional structure having arbitrary geometry and boundary conditions. As a practical means for implementing this polarization profile without repoling the PVDF film the polarization profile is approximated by optimizing electrode patterns, lamination angles, and poling directions of the multi-layered PVDF transducer. This corresponds to the approximation of a continuous function using discrete values. The electrode pattern of each PVDF layer is optimized by deciding the electrode of each finite element to be used or not. Genetic algorithm, suitable for discrete problems, is used as an optimization scheme. For the optimization of each layers lamination angle, the continuous lamination angle is encoded into discrete value using binary 5 bit string. For the experimental demonstration, a modal sensor for first and second modes of cantilevered composite plate is designed using two layers of PVDF films. The actuator is designed based on the criterion of minimizing the system energy in the control modes under a given initial condition. Experimental results show that the signals from residual modes are successfully reduced using the optimized multi-layered PVDF sensor. Using discrete LQG control law, the modal peaks of first and second modes are reduced in the amount of 12 dB and 4 dB, resepctively.

• Journal of the korean society of oceanography
• /
• v.38 no.4
• /
• pp.166-172
• /
• 2003

Multi­Sensor Core Logger (MSCL) is a useful system for logging the physical properties (compressional wave velocity, wet bulk density, fractional porosity, magnetic susceptibility and/or natural gamma radiation) of marine sediments through scanning of whole cores in a nondestructive fashion. But MSCL has a number of problems that can lead to spurious results depending on the various factors such as core slumping, gas expansion, mechanical stretching, and the thickness variation of core liner and sediment. For the verification of MSCL data, compressional wave velocity, wet bulk density, and porosity were measured on discrete samples by Hamilton Frame and Gravimetric method, respectively. Acoustic impedance was also calculated. Physical property data (velocity, wet bulk density, and impedance) logged by MSCL were slightly larger than those of discrete sample, and porosity is reverse. Average difference between MSCL and discrete sample at both sites is relatively small such as 22­24 m/s in velocity, $0.02­-0.08\;g/\textrm{cm}^3$ in wet bulk density, and 2.5­2.7% in porosity. The values also show systematic variation with sediment depth. A variety of factors are probably responsible for the differences including instrument error, various measurement method, sediment disturbance, and accuracy of calibration. Therefore, MSCL can be effectively used to collect physical property data with high resolution and quality, if the calibration is accurately completed.