• Nonlinear Functional Analysis and Applications
• /
• v.26 no.1
• /
• pp.35-64
• /
• 2021

In this paper, we investigate an initial boundary value problem for a nonlinear pseudoparabolic equation. At first, by applying the Faedo-Galerkin, we prove local existence and uniqueness results. Next, by constructing Lyapunov functional, we establish a sufficient condition to obtain the global existence and exponential decay of weak solutions.

• Nonlinear Functional Analysis and Applications
• /
• v.26 no.3
• /
• pp.611-628
• /
• 2021

In this paper, we propose a new branch-reduction-and-bound algorithm to solve the nonlinear knapsack problems by using general discrete monotonic optimization techniques. The specific properties of the problem are exploited to increase the efficiency of the algorithm. Computational experiments of the algorithm on problems with up to 30 variables and 5 different constraints are reported.

• Nonlinear Functional Analysis and Applications
• /
• v.26 no.4
• /
• pp.649-662
• /
• 2021

Recently the author studied a one-parameter family of divergences and considered the related median minimization problem of finite points over these divergences in general symmetric cones. In this article, to utilize the results practically, we deal with a special symmetric cone called second order cone, which is important in optimization fields. To be more specific, concrete computations of divergences with its gradients and the unique minimizer of the median minimization problem of two points are provided skillfully.

• Nonlinear Functional Analysis and Applications
• /
• v.27 no.4
• /
• pp.701-707
• /
• 2022

In this article, we put forward a new type of variational inclusion problem known as resolvent inclusion. An algorithm is given for approximating its solution. The convergence of the algorithm is explained with the help of an example and plots using Matlab.

• Nonlinear Functional Analysis and Applications
• /
• v.28 no.2
• /
• pp.337-363
• /
• 2023

In this paper, we propose a new subgradient extragradient algorithm for finding a solution of monotone bilevel equilibrium problem in reflexive Banach spaces. The strong convergence of the algorithm is established under monotone assumptions of the cost bifunctions with Bregman Lipschitz-type continuous condition. Finally, a numerical experiments is reported to illustrate the efficiency of the proposed algorithm.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.07a
• /
• pp.83-84
• /
• 2020

Sum Utility를 최적화하는 Convex Optimization Algorithm을 제안한다. 일반적으로, Sum Utility 최적화 문제는 Non Convex Optimization Problem이다. 하지만, '상대간섭'과 '간섭주요화'를 활용하여 Non Convex Optimization Problem이 간섭구간에 따라 Convex Optimization으로 해결할 수 있음을 확인하였다. 특히, 유틸리티 함수는 상대간섭 0.1 이하에서는 오목함수임을 확인하였다. 실험결과 상대간섭이 작아질수록 제안하는 알고리즘에 의한 Sum Utility는 증가함을 확인하였다.

• Annual Conference of KIPS
• /
• 2023.05a
• /
• pp.277-278
• /
• 2023

Smart contract는 Off-chain 데이터를 On-chain에서 조회해보지 못하는 "Blockchain Oracle Problem"을 갖고 있다. Oracle Problem을 적용할 때 실제 사용자 측면에서 어떠한 비용이 발생하는지 연구가 부족하다고 느껴, Chainlink 오라클 아키텍처 기반 시스템의 On-chain 비용을 측정할 수 있는 식을 제안한다. 그 결과 각 아키텍처마다 gas fee, oracle fee, latency의 차이를 확인한다.

• The Journal of Korean Association of Computer Education
• /
• v.20 no.6
• /
• pp.17-25
• /
• 2017

In order to ensure that the 2015 revised curriculum is successfully settled at the field of school, there are 68 national SW schools operated by 2015 and 2016 at national level, and an inspection tool was developed to measure the effectiveness of SW education. The purpose of this study is to present the direction of the computing thinking inspection tool which can verify the effectiveness of the curriculum from 2018 through the analysis of the previously developed computing thinking inspection tool. As a result of the analysis, the validity of the ability factors to measure the problem solving process based on computing thinking was not enough. In the analysis of the item characteristics, the degree of discrimination was good, but difficulty was not enough to accurately measure the competence of students because of the high percentage of easy questions. Based on the results, this study suggested the development of the items considering the problem solving process based on the computing thinking, the application of the students' empirical knowledge, and the constitution that can confirm the flow of the thinking power with materials in the real life.

• Journal of the Korean Society of Safety
• /
• v.35 no.2
• /
• pp.100-110
• /
• 2020

Recently, the frequency of typhoon and torrential rain due to climate change is increasing. In addition, the upsurge in the complexity of urban sewer network and impervious surfaces area aggravates the inland flooding damage. In response to these worsening situations, the central and local governments are conducting R&D tasks related to predict and mitigate the flood risk. Researches on the analysis of inundation in urban areas have been implemented through various ways, and the common features were to evaluate the accuracy and justification of the model by comparing the model results with the actual inundation data. However, the evaluation procesure using available urban flooding data are not consistent, and if there are no quantitative urban inundation data, verification has to be performed by using press releases, public complaints, or photos of inundation occurring through 'CCTV'. Because theses materials are not quantitative, there is a problem of low reliability. Therefore, this study intends to develop a comparative analysis procedure on the quantitative degree and applicability of the verifiable inundation data, and a systematic framework for the performance assessment of urban flood analysis model was proposed. This would contribute to the standardization of the evaluation and verification procedure for urban flooding modelling.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.23 no.3
• /
• pp.501-514
• /
• 2013

A grouping process through the similarity comparison is required to effectively classify and respond a malicious code. When we have a use of the past similarity criteria to be used in the comparison method or properties it happens a increased problem of false negatives and false positives. Therefore, in this paper we apply to choose variety of properties to complement the problem of behavior analysis on the heuristic-based of 2nd step in malicious code auto analysis system, and we suggest a similarity comparison method applying AHP (analytic hierarchy process) for properties weights that reflect the decision-making technique. Through the similarity comparison of malicious code, configured threshold is set to the optimum point between detection rates and false positives rates. As a grouping experiment about unknown malicious it distinguishes each group made by malicious code generator. We expect to apply it as the malicious group information which includes a tracing of hacking types and the origin of malicious codes in the future.