• Kyungpook Mathematical Journal
• /
• v.61 no.3
• /
• pp.613-629
• /
• 2021

In this paper, we present and prove new existence and uniqueness fixed point theorems for vector operators having a mixed monotone property in partially ordered product Banach spaces. Our results extend and improve existing works on τ-φ-concave operators in the scalar case. As an application, we study the existence and uniqueness of positive solutions for systems of nonlinear Neumann boundary value problems.

• The Pure and Applied Mathematics
• /
• v.29 no.3
• /
• pp.231-244
• /
• 2022

In this paper, we introduce the notion of rational g-h-ϕ-weak contractions in tripled metric-like spaces and demonstrate common fixed point results for each mappings in 0-σ complete tripled metric-like spaces and some examples and application are given.

• Journal of applied mathematics & informatics
• /
• v.40 no.5_6
• /
• pp.1053-1071
• /
• 2022

The purpose of this article is to establish some fixed point theorems, a common fixed point theorem and a coincidence point theorem via contractive type condition in the framework of complete partial metric spaces and give some examples in support of our results. As an application to the results, we give some fixed point theorems for integral type contractive conditions. The results presented in this paper extend and generalize several results from the existing literature.

• Journal of Information Technology Services
• /
• v.16 no.2
• /
• pp.45-60
• /
• 2017

The study suggests a contract model of application operation through case study of A bank's IT outsourcing application contract based on workload. The IT outsourcing order form has a problem in that the scope of work is ambiguous due to the integration of operation and maintenance. In this study, application operation and maintenance were separated by referring to application operation history provided in ISO/IEC15504-5 standard. The scope of the IT outsourcing service was clarified by organizing the definition and detail activities of the application operation business. Application operation contract method has generally applied estimation method by the number of input manpower and period by agreement between buyer and client. As there is no activity to calculate the number of input manpower based on the operational work history and based on the standard workload per activity. In this case is not guaranteed due to the simple agreement between the contractors. In this paper, we propose an application operating cost estimation model that measures the size of the operating software using function point analysis that is the basis of application operation tasks. In order to verify the validity of the application operation cost model, we verified the correlation between the application size and the labor cost through regression analysis using SPSS.

• The Pure and Applied Mathematics
• /
• v.26 no.3
• /
• pp.111-131
• /
• 2019

We introduce (CLRg) property for hybrid pair $F:X{\times}X{\rightarrow}2^X$ and $g:X{\rightarrow}X$. We also introduce joint common limit range (JCLR) property for two hybrid pairs $F,G:X{\times}X{\rightarrow}2^X$ and $f,g:X{\rightarrow}X$. We also establish some common coupled fixed point theorems for hybrid pair of mappings under generalized (${\psi},{\theta},{\varphi}$)-contraction on a noncomplete metric space, which is not partially ordered. It is to be noted that to find coupled coincidence point, we do not employ the condition of continuity of any mapping involved therein. As an application, we study the existence and uniqueness of the solution to an integral equation. We also give an example to demonstrate the degree of validity of our hypothesis. The results we obtain generalize, extend and improve several recent results in the existing literature.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2022.07a
• /
• pp.563-566
• /
• 2022

본 논문에서는 증강현실에서 객체 증강 시, 특징점과 GPS를 이용하여 증강 위치를 효율적으로 보간할 수 있는 ICP(Iterative closest point) 매칭 기법을 제안한다. 다양한 환경에서 제한받지 않고 객체를 증강하기 위해 일반적으로 마커리스(Markerless) 방식을 사용하며, 대표적으로 평면 검출과 페이스 검출을 사용한다. 이는 현실과 자연스러운 동기화를 위한 것으로 계산은 작지만, 인식의 범위가 넓기 때문에 증강 위치에 대한 오차가 존재한다. 이러한 작은 오차는 특정 산업에서는 치명적일 수 있으며, 특히 건설이나 의료시설에서 발생하면 큰 사고로 이어진다. 객체를 증강 시킬 때 해당 환경에 대한 점 구름(Point cloud)을 수집하여 데이터베이스에 저장한다. 본 논문에서는 관측되는 점 구름과의 오차를 줄이기 위해 ICP 매칭 기법을 사용하며, 실린더 기반의 각도 보간을 이용하여 계산량을 줄인다. 결과적으로 특징점과 GPS를 이용하여 ICP 매칭 기법을 통해 효율적으로 처리함으로써, 증강 위치에 대한 정확도가 개선된 증강 방식을 보여준다.

• Journal of Pharmacopuncture
• /
• v.11 no.1
• /
• pp.189-199
• /
• 2008

In $\ulcorner$Yingshu(靈樞)$\lrcorner$, $\ulcorner$Sumun(素問)$\lrcorner$ and $\ulcorner$Najing(難經)$\lrcorner$, there are differences in viewing FiveSu-point(五輸穴) and its practical application in treatment. The following conclusions are induced from these different point of views. 1. Fundamental features of FiveSu-point are shown in$\ulcorner$Yingshu(靈樞)$\lrcorner$ 2. In $\ulcorner$Internal classic(內經)$\lrcorner$ and $\ulcorner$Najing(難經)$\lrcorner$, it seems attachment that FiveSu-point is identical to the Five Elements, but there are differences in using the Five Elements sangsyang-sangguk in treatment. 3. There are clear differences between $\ulcorner$Internal classic(內經)$\lrcorner$ and $\ulcorner$Najing(難經)$\lrcorner$ in attachment of FiveSu-point and Fourseasons. Differences are shown in each chapter of $\ulcorner$Yingshu(靈樞)$\lrcorner$. 4. Different application of FiveSu-point's various cases is shown in $\ulcorner$Yingshu(靈樞)$\lrcorner$, $\ulcorner$Sumun(素問)$\lrcorner$ and $\ulcorner$Najing(難經)$\lrcorner$. 5. Different application of FiveSu-point in $\ulcorner$Yingshu(靈樞)$\lrcorner$, $\ulcorner$Sumun(素問)$\lrcorner$ and $\ulcorner$Najing(難經)$\lrcorner$ is due to different historical background.

• Journal of the Korean Mathematical Society
• /
• v.45 no.6
• /
• pp.1725-1740
• /
• 2008

In this paper, we introduce a fixed point index of weakly inward 1-set-contraction mappings. With the aid of the new index, we obtain some new fixed point theorems, nonzero fixed point theorems and multiple positive fixed points for this class of mappings. As an application of nonzero fixed point theorems, we discuss an eigenvalue problem.

• Water Engineering Research
• /
• v.3 no.2
• /
• pp.85-92
• /
• 2002

There has been continuous efforts to manage water resources for the required water quality criterion at river channel in Korea. However, we could obtain the partial improvement only for the point sources such as, waste waters from urban and factory site through the water quality management. Therefore, it is strongly needed that the best management practice throughout the river basin fur water quality management including non-point sources pollutant loads. This problem should be resolved by recognizing the non-point sources pollutant loads from the upstream river basin to the outlet of the basin depends on the landuse and soil type characteristics of the river basin using the computer simulation by a distributed model based on the detailed investigation and application of Geographic Information System (GIS). The purpose of this study is consisted of the three major distributions, which are the investigation of spread non-point sources pollutants throughout the river basin, development of the base maps to represent and interpret the input and outputs of the distributed simulation model, and prediction of non-point sources pollutant loads at the outlet of a up-stream river basin using Agricultural Non-Point Sources Model (AGNPS). For the validation purpose, the Seom-Jin River basin was selected with two flood events in 1998. The results of this application showed that the use of combined a distributed model and an application of GIS was very effective fur the best water resources and quality management practice throughout the river basin

• East Asian mathematical journal
• /
• v.24 no.2
• /
• pp.169-176
• /
• 2008

The aim of this paper is to prove a common fixed point theorem in normed linear spaces for noncompatible, discontinuous mappings without assuming completeness of the space. We also give an application of our theorem to best approximation theory.