• Journal of the Korean Mathematical Society
• /
• v.46 no.6
• /
• pp.1319-1338
• /
• 2009

In this paper, using proximal-point mappings technique of Raccretive mappings and the property of the fixed point set of set-valued contractive mappings, we study the behavior and sensitivity analysis of the solution set of the system of parametric generalized quasi-variational inclusions involving R-accretive mappings in real uniformly smooth Banach space. Further under suitable conditions, we discuss the Lipschitz continuity of the solution set with respect to parameters. The technique and results presented in this paper can be viewed as extension of the techniques and corresponding results given in [3, 23, 24, 32, 33, 34].

• Nonlinear Functional Analysis and Applications
• /
• v.27 no.1
• /
• pp.121-140
• /
• 2022

In this paper, we study the strong convergence of new methods for solving classical variational inequalities problems involving semistrictly quasimonotone and Lipschitz-continuous operators in a real Hilbert space. Three proposed methods are based on Tseng's extragradient method and use a simple self-adaptive step size rule that is independent of the Lipschitz constant. The step size rule is built around two techniques: the monotone and the non-monotone step size rule. We establish strong convergence theorems for the proposed methods that do not require any additional projections or knowledge of an involved operator's Lipschitz constant. Finally, we present some numerical experiments that demonstrate the efficiency and advantages of the proposed methods.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.6
• /
• pp.1463-1474
• /
• 2018

Fuzzing is one of the software testing techniques that find security flaws by inputting invalid values or arbitrary values into the program and various methods have been suggested to increase the efficiency of such fuzzing. In this paper, focusing on the existence of field with high relevance to coverage and software crash, we propose a new method for intensively fuzzing corresponding field part while performing field based fuzzing. In this case, we use a deep learning model called Variational Autoencoder(VAE) to learn the statistical characteristic of input values measured in high coverage and it showed that the coverage of the regenerated files are uniformly higher than that of simple variation. It also showed that new crash could be found by learning the statistical characteristic of the files in which the crash occurred and applying the dropout during the regeneration. Experimental results showed that the coverage is about 10% higher than the files in the queue of the AFL fuzzing tool and in the Hwpviewer binary, we found two new crashes using two crashes that found at the initial fuzzing phase.

• Korean Journal of Mathematics
• /
• v.24 no.1
• /
• pp.51-63
• /
• 2016

In this works, we consider a class of regularized equilibrium problems in Banach spaces. By using the auxiliary principle techniques to suggest some iterative schemes for regularized equilibrium problems and proved the convergence of these iterative methods required either pseudoaccretivity or partially relaxed strongly accretivity.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.48 no.5
• /
• pp.10-15
• /
• 2011

Histogram equalization is an effective method to enhance the contrast of the image. However, it can result in unwanted artifacts such as excessive contrast enhancement and noise amplification. These artifacts can be reduced by modifying an intensity mapping function which is generated by histogram equalization. In this paper, we present a variational approach to the modification of the intensity mapping function. We define a functional whose minimization produces a modified intensity mapping function. Experimental results show that the intensity mapping function obtained by the proposed method can enhance the contrast of the image without visual artifacts.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.30B no.2
• /
• pp.69-77
• /
• 1993

Automatic image recognition system is essential for a better man-to machine interaction. Because of the noise and deformation due to the sensor operation, it is not simple to build an image recognition system even for the fixed images. In this paper neural network which has been reported to be adequate for pattern recognition task is applied to the fixed and variational(rotation, size, position variation for the fixed image)recognition with a hope that the problems of conventional pattern recognition techniques are overcome. At fixed image recognition system. ART model is trained with face images obtained by camera. When recognizing an matching score. In the test when wigilance level 0.6 - 0.8 the system has achievel 100% correct face recognition rate. In the variational image recognition system, 65 invariant moment features sets are taken from thirteen persons. 39 data are taken to train multi-layer perceptron and other 26 data used for testing. The result shows 92.5% recognition rate.

• Journal of Information Processing Systems
• /
• v.5 no.1
• /
• pp.1-4
• /
• 2009

Level set methods are the numerical techniques for tracking interfaces and shapes. They have been successfully used in image segmentation. A new variational level set evolving algorithm without re-initialization is presented in this paper. It consists of an internal energy term that penalizes deviations of the level set function from a signed distance function, and an external energy term that drives the motion of the zero level set toward the desired image feature. This algorithm can be easily implemented using a simple finite difference scheme. Meanwhile, not only can the initial contour can be shown anywhere in the image, but the interior contours can also be automatically detected.

• Nonlinear Functional Analysis and Applications
• /
• v.27 no.1
• /
• pp.189-201
• /
• 2022

The aim of the current work is to investigate the numerical study of a nonlinear Volterra-Fredholm integro-differential equation with initial conditions. Our approximation techniques modified adomian decomposition method (MADM) and variational iteration method (VIM) are based on the product integration methods in conjunction with iterative schemes. The convergence of the proposed methods have been proved. We conclude the paper with numerical examples to illustrate the effectiveness of our methods.

• Wind and Structures
• /
• v.37 no.6
• /
• pp.445-460
• /
• 2023

Accurate estimation of modal parameters (i.e., natural frequency, damping ratio) of tall buildings is of great importance to their structural design, structural health monitoring, vibration control, and state assessment. Based on the combination of variational mode decomposition, smoothed discrete energy separation algorithm-1, and Half-cycle energy operator (VMD-SH), this paper presents a method for structural modal parameter estimation. The variational mode decomposition is proved to be effective and reliable for decomposing the mixed-signal with low frequencies and damping ratios, and the validity of both smoothed discrete energy separation algorithm-1 and Half-cycle energy operator in the modal identification of a single modal system is verified. By incorporating these techniques, the VMD-SH method is able to accurately identify and extract the various modes present in a signal, providing improved insights into its underlying structure and behavior. Subsequently, a numerical study of a four-story frame structure is conducted using the Newmark-β method, and it is found that the relative errors of natural frequency and damping ratio estimated by the presented method are much smaller than those by traditional methods, validating the effectiveness and accuracy of the combined method for the modal identification of the multi-modal system. Furthermore, the presented method is employed to estimate modal parameters of a full-scale tall building utilizing acceleration responses. The identified results verify the applicability and accuracy of the presented VMD-SH method in field measurements. The study demonstrates the effectiveness and robustness of the proposed VMD-SH method in accurately estimating modal parameters of tall buildings from acceleration response data.

• Proceedings of the KSME Conference
• /
• 2000.11a
• /
• pp.426-431
• /
• 2000

A decoupled thermo-piezoelectric-mechanical model of composite laminates with surface bonded piezoelectric actuators, subjected to externally applied load, temperature change load, electric field load is developed. The governing differential equations are obtained by applying the principle of free energy and variational techniques. A higher order zigzag theory displacement field is employed to accurately capture the transverse shear and normal effects in laminated composite plates of arbitrary thickness.