• 대한수학회지
• /
• 제46권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
• /
• 제27권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.

• 정보보호학회논문지
• /
• 제28권6호
• /
• pp.1463-1474
• /
• 2018

퍼징이란 유효하지 않은 값이나 임의의 값을 소프트웨어 프로그램에 입력하여, 보안상의 결함을 찾아내는 소프트웨어 테스팅 기법 중 하나로 이러한 퍼징의 효율성을 높이기 위한 여러 방법들이 제시되어 왔다. 본 논문에서는 필드를 기반으로 퍼징을 수행하면서 커버리지, 소프트웨어 크래쉬와 연관성이 높은 필드가 존재한다는 것에 착안하여, 해당 필드 부분을 집중적으로 퍼징하는 새로운 방식을 제안한다. 이 때, Variational Autoencoder(VAE)라는 딥 러닝 모델을 사용하여 커버리지가 높게 측정된 입력 값들의 특징을 학습하고, 이를 통해 단순 변이보다 학습된 모델을 통해 재생성한 파일들의 커버리지가 균일하게 높다는 것을 보인다. 또한 크래쉬가 발생한 파일들의 특징을 학습하고 재생성 시 드롭아웃을 적용하여 변이를 줌으로써 새로운 크래쉬를 발견할 수 있음을 보인다. 실험 결과 커버리지가 퍼징 도구인 AFL의 큐의 파일들보다 약 10% 정도 높은 것을 확인할 수 있었고 Hwpviewer 바이너리에서 초기 퍼징 단계 시 발생한 두 가지의 크래쉬를 사용하여 새로운 크래쉬 두 가지를 더 발견할 수 있었다.

• Korean Journal of Mathematics
• /
• 제24권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.

• 대한전자공학회논문지SP
• /
• 제48권5호
• /
• pp.10-15
• /
• 2011

히스토그램 평활화 방법은 영상의 대조비를 개선시키는 효과적인 방법이다. 하지만 이 방법은 과도한 대조비 향상이나 잡음을 증폭시키는 것과 같은 의도하지 않은 결함을 발생시킬 수 있다. 이러한 결함은 히스토그램 평활화 방법에서 사용되는 명암도 변환 함수를 조절함으로써 감소시킬 수 있다. 본 논문에서는 명암도 변환 함수를 조절하는 문제를 변분법을 사용하여 접근하였다. 이를 위하여 범함수를 정의하고 그 범함수를 최소화하여 명암도 변환 함수를 계산한다. 제안하는 방법을 적용하여 얻은 명암도 변환 함수를 사용하면 눈에 보이는 결함 없이 영상의 대조비를 개선시킬 수 있음을 실험결과로부터 확인할 수 있다.

• 전자공학회논문지B
• /
• 제30B권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
• /
• 제5권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
• /
• 제27권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
• /
• 제37권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.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2000년도 추계학술대회논문집A
• /
• 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.