• Proceedings of the Korea Water Resources Association Conference
• /
• 2017.05a
• /
• pp.184-184
• /
• 2017

A nation-wide water-energy-food (WEF) nexus simulation model has been developed by the authors and successfully applied to South Korea to predict the sustainability of those three resources in the next 30 years. The model was also capable of simulating future scenarios of resources allocation based on priority rules aiming to maximize resources sustainability. However, the process was still relying on several assumptions and trial-and-error approach, which sometimes resulted in non-optimal solutions of resources allocation. In this study, an optimization module was introduced to enhance the model in generating optimal resources management rules. The objective of the optimization was to maximize the reliability index of resources by determining the resources' allocation and/or priority rules for each demand type that accordingly reflect the resources management policies. Implementation of the optimization module would result in balanced allocation and management of limited resources and assist the stakeholders in deciding resources' management plans, either by fulfilling the domestic production or by global trading.

• Journal of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.703-722
• /
• 2021

Let G = (V, E) be a connected locally finite and weighted graph, ∆_p be the p-th graph Laplacian. Consider the p-th nonlinear equation -∆_pu + h|u|^p-2u = f(x, u) on G, where p > 2, h, f satisfy certain assumptions. Grigor'yan-Lin-Yang [24] proved the existence of the solution to the above nonlinear equation in a bounded domain Ω ⊂ V. In this paper, we show that there exists a strictly positive solution on the infinite set V to the above nonlinear equation by modifying some conditions in [24]. To the m-order differential operator 𝓛_m,p, we also prove the existence of the nontrivial solution to the analogous nonlinear equation.

• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.239-263
• /
• 2019

The $Calder{\acute{o}}n$-Zygmund type estimate is proved for elliptic obstacle problems in bounded non-smooth domains. The problems are related to divergence form nonlinear elliptic equation with measurable nonlinearities. Precisely, nonlinearity $a({\xi},x_1,x^{\prime})$ is assumed to be only measurable in one spatial variable $x_1$ and has locally small BMO semi-norm in the other spatial variables x', uniformly in ${\xi}$ variable. Regarding non-smooth domains, we assume that the boundaries are locally flat in the sense of Reifenberg. We also investigate global regularity in the settings of weighted Orlicz spaces for the weak solutions to the problems considered here.

• Honam Mathematical Journal
• /
• v.45 no.1
• /
• pp.54-70
• /
• 2023

In this article, we state and prove several new retarded nonlinear integral and integro-differential inequalities of Gronwall-Bellman-Pachpatte type. These inequalities generalize some former famous inequalities and can be used in examining the existence, uniqueness, boundedness, stability, asymptotic behaviour, quantitative and qualitative properties of solutions of nonlinear differential and integral equations. Applications are provided to demonstrate the strength of our inequalities in estimating the boundedness and global existence of the solution to initial value problem for nonlinear integro-differential equation and Volterra type retarded nonlinear equation. This research work will ensure to open the new opportunities for studying of nonlinear dynamic inequalities on time scale structure of varying nature.

• Nonlinear Functional Analysis and Applications
• /
• v.28 no.2
• /
• pp.473-495
• /
• 2023

The use of mathematical modelling in the study of epidemiological disorders continues to grow substantially. In order to better support global policy initiatives and explain the possible consequence of an outbreak, mathematical models were constructed to forecast how epidemic illnesses spread. In this paper, fractional derivatives and (${\varpi}$ - F_𝓒)-contractions are used to explore the existence and uniqueness solutions of the novel coronavirus-19 model.

• Electronics and Telecommunications Trends
• /
• v.38 no.3
• /
• pp.11-19
• /
• 2023

Drones, which were early operated by remote control, have evolved to enable autonomous flight by combining various sensors and software tools. In particular, autonomous flight of drones was possible since the application of GNSS-RTK (global navigation satellite system with real-time kinematic positioning), a precision satellite navigation technology. For instance, unmanned drone delivery based on GNSS-RTK data was demonstrated for pizza delivery in Korea for the first time in 2021. However, the vulnerabilities of GNSS-RTK should be overcome for delivery drones to be commercialized. In particular, jamming in the navigation system and low positioning accuracy in urban areas should be addressed. Solving these two problems can lead to stable flight, takeoff, and landing of drones in urban areas, and the corresponding solutions are expected to establish a hybrid positioning technology. We discuss current trends in hybrid positioning technology that can either replace or complement GNSS-RTK for stable drone autonomous flight.

• Journal of Positioning, Navigation, and Timing
• /
• v.12 no.4
• /
• pp.369-377
• /
• 2023

This paper presents the analysis results of navigation performance of Korea Augmentation Satellite System (KASS) test signals. Performance analysis was performed with Global Positioning System (GPS) and Satellite Based Augmentation System (SBAS) signals received from 7 KASS reference stations. And the performances were analyzed in terms of the signal strength, statistics for each SBAS message, coverage of ionospheric correction, accuracy, integrity, continuity, and availability. In addition, the navigation solutions provided by commercial receiver was analyzed and the performance experienced by general users was presented. Lastly, directions for further improvement of the KASS system were addressed. These performance analysis results can be used to confirm the feasibility of utilizing KASS in user applications.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.11a
• /
• pp.524-525
• /
• 2023

설명 가능한 심층 강화 학습 지식 증류 방법(ERL-KD)이 제안하였다. 이 방법은 모든 하위 에이전트로부터 점수를 수집하며, 메인 에이전트는 주 교사 네트워크 역할을 하고 하위 에이전트는 보조 교사 네트워크 역할을 한다. 글로벌 최적 솔루션은 샤플리 값과 같은 해석 가능한 방법을 통해 얻어진다. 또한 유사도 제약이라는 개념을 도입하여 교사 네트워크와 학생 네트워크 간의 유사도를 조정함으로써 학생 네트워크가 자유롭게 탐색할 수 있도록 유도한다. 실험 결과, 학생 네트워크는 아타리 2600 환경에서 대규모 교사 네트워크와 비슷한 성능을 달성하는 것으로 나타났다.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.31 no.3
• /
• pp.172-177
• /
• 2023

The main purpose of the research was to review the global trends of airport's smart security technologies. Moreover, using the case studies of airport using smart security, this paper tried to propose the implication how the findings through the case studies may be important for airport policy and will impact the future research of airport operation. It is expected in the future the aviation security technology with biometric information evolves from single identification to multiple identification technology which has combined application of iris, vein and others. Facing post COVID-19 era, the number of passengers traveling through airports continues increase dramatically and the risks as well, the role of AI becomes even more crucial. With AI based automated security robotics airport operators could effectively handle the growing passenger and cargo volume and address the associated issues Smart CCTV analysis with A.I. and IoT applying solutions could also provide significant support for airport security.

• Journal of the FoodService Safety
• /
• v.4 no.2
• /
• pp.42-47
• /
• 2023

The FoodTech industry has been developed with the rise of start-up by using AI, big data, robotics, biotechnology. In addition, sustainable development is more important with the trend of population growth, aging, and climate change. We investigated the impact of FoodTech on the foodservice industry with the cases of the global and domestic companies. The technology of AI, IoT, blockchain, robotics, automation systems are widely used to improve food safety and hygiene while as the use of diagnostic biomarkers such as blood or DNA, digital platform and app, and AI-based solutions are used in the field of personalized nutrition. With the expand of FoodTech in foodservice industry, the competencies that the managers need to develop include understanding technology, resource management, self-development, work ethics, problem-solving, and communication, therefore the support of the related education and training is required.