• Journal of Applied and Pure Mathematics
• /
• 제4권5_6호
• /
• pp.287-297
• /
• 2022

In this paper, we consider a risk-minimization hedging problem for a special European contingent claims. The existence and uniqueness of strategy are given constructively. Firstly, a non-standard European contingent is demonstrated as stochastic payment streams. Then the existence of the risk minimization strategy and also the uniqueness are proved under two kinds market information by using Galtchouk-Kunita-Watanabe decomposition and constructing a 0-achieving strategy risk-minimizing strategies in full information. And further, we have proven risk-minimizing strategies exists and is unique under restrict information by constructing a weakly mean-selffinancing strategy.

• 대한수학회보
• /
• 제47권2호
• /
• pp.251-261
• /
• 2010

This paper deals with a predator-prey model with Holling type III response function and cross-diffusion subject to the homogeneous Neumann boundary condition. We first give a priori estimates (positive upper and lower bounds) of positive steady states. Then the non-existence and existence results of non-constant positive steady states are given as the cross-diffusion coefficient is varied, which means that stationary patterns arise from cross-diffusion.

• Nonlinear Functional Analysis and Applications
• /
• 제26권1호
• /
• pp.83-92
• /
• 2021

This paper studies approximate solutions for a class of nonlinear diffusion population models. Our methods are to use the fundamental solution of heat equations to construct integral forms of the models and the well-known Banach compression map theorem to prove the existence of positive solutions of integral equations. Non-steady-state local approximate solutions for suitable harvest functions are obtained by utilizing the approximation theorem of multivariate continuous functions.

• 대한수학회지
• /
• 제42권5호
• /
• pp.1057-1069
• /
• 2005

In this article, we prove the existence of two embedded minimal annuli in a slab which are all bounded by a Jordan convex curve and a straight line.

• 대한수학회논문집
• /
• 제20권3호
• /
• pp.511-520
• /
• 2005

In this article, we prove the existence of a minimal annulus bounded by a Jordan curve and a straight line.

• 대한수학회논문집
• /
• 제31권3호
• /
• pp.519-532
• /
• 2016

We consider the first initial boundary value problem for the 2D non-autonomous g-Navier-Stokes equations with infinite delays. We prove the existence of a pullback $\mathcal{D}$-attractor for the continuous process associated to the problem with respect to a large class of non-autonomous forcing terms.

• 정보처리학회논문지A
• /
• 제17A권1호
• /
• pp.9-18
• /
• 2010

OpenMP와 같은 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 탐지되어야한다. 이러한 경합의 존재를 수행 중에 검증하는 기존의 기법들은 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 가능하다. 하지만 이 조건을 만족하지 못한다면 경합검증을 위해서 각 임계구역마다 적어도 N! 만큼의 프로그램 수행이 필요하다. 여기서 N은 탐지 대상 프로그램이 가진 최대 병렬성을 의미한다. 본 논문에서는 프로그램 슬라이싱을 이용하여 내부적 비결정성을 가진 프로그램에 존재하는 비결정적 접근사건을 정적으로 분석하고, 이 정보를 이용하여 한번의 수행으로 실제 경합뿐만 아니라 잠재적 경합까지 탐지할 수 있는 경합 전처리기를 제안한다. 제안된 도구는 OpenMP 병렬 프로그램에서 발생할 수 있는 비결정적 접근사건들에 대해서 항상 결정적으로 감시할 수 있으므로 임계구역 가진 프로그램 모델에 적용할 수 있는 어떠한 경합탐지 프로토콜을 사용하더라도 경합 검증이 가능하다. 본 도구의 실험적 증명을 위해서 비결정성이 포함된 합성 프로그램, 공인된 벤치마크 프로그램인 OpenMP Microbenchmark, NAS Parallel Benchmark, 그리고 OpenMP 응용 프로그램을 이용하여 제안된 도구의 정확성을 보인다.

• 한국컴퓨터정보학회논문지
• /
• 제23권3호
• /
• pp.25-31
• /
• 2018

In this paper, we consider the game theoretic approach to investigate the transmit power optimization problem where D2D users share the uplink of the cellular system. Especially, we formulate the transmit power optimization problem as a non cooperative power control game. In the user wide sense, each user may try to select its transmit power level so as to maximize its utility in a selfish way. In the system wide, the transmit power levels of all users eventually converge to the unique point, called Nash Equilibrium. We first formulate the transmit power optimization problem as a non cooperative power control game. Next, we examine the existence of Nash Equilibrium. Finally, we present the numerical example that shows the convergence to the unique transmit power level.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제44권2호
• /
• pp.297-306
• /
• 2005

In this paper, we propose a computer environment class for student's mental representations about non-Euclidean geometry. Through the software Cinderella, students construct knowledge about non-Euclidean geometry and recognize differentness between Euclidean and non-Euclidean geometry. Also they recognize an existence of non-Euclidean geometry newly and its mental representations with images represented in Cinderella. In geometry class, we make students can use many representations systematically and can figure a visual internal image by emphasizing a transform process. And then students can reason about non-Euclidean geometry.

• 기록학연구
• /
• 제46호
• /
• pp.153-187
• /
• 2015

본 연구는 정보부존재 관련 실증연구가 거의 전무한 상황에서 정보부존재의 유형과 내용을 분석, 문제점을 도출하고 개선 방안을 제시하고자 하였다. 이를 위한 이론 연구로서 정보부존재의 정의와 판단기준을 살피고, 정보부존재의 법적, 통계적 연혁을 분석하였다. 또한 중앙행정기관의 정보부존재 현황과 문제점을 파악하기 위하여, 비공개 사유에서 정보부존재가 제외된 2012년부터 2014년까지 41개 중앙행정기관의 정보공개처리대장에 나타난 정보부존재 통지 내용을 분석하였다. 기관별 분석 결과, 3년간의 조사대상 기관 부존재처리 현황은 총 4421건으로 해마다 지속적인 증가 추이를 보이는 것으로 나타났다. 3년 동안 집계된 정보부존재 건수가 비공개 건수와 같거나 큰 기관이 조사대상 중 약 40%에 달해 비공개 사유에서의 정보부존재 제외가 다수 기관의 정보공개율과 비공개율에 큰 영향을 주었음을 반증하고 있었다. 정보부존재 사유의 유형 분석에서는 '공공기관이 청구된 정보를 생산, 접수하지 않는 경우'가 75% 이상을 차지하여 가장 많았고, 그 다음으로 '취합, 가공해야 하는 경우'와 '사유가 명시 되지 않은 경우'가 각각 7~10%를 차지하였다. 정보부존재 통지내용을 분석하여 도출한 운영상의 문제점으로는 1) 정보부존재에 사유에 대한 구체적 설명 미비, 2) 취합 및 가공의 범주 문제, 3) 이송처리의 문제, 4) 기록관리의 문제 등이었다. 이에 대해 본 연구는 정보부존재에 대한 관점과 기술적, 절차적 측면으로 개선 방안을 제시하였다. 구체적으로는 첫째, 정보부존재를 포함한 정보공개 문제가 기록관리 문제의 연장선상에서 이해되어야 한다는 점, 둘째, 앞선 이해를 바탕으로 정보공개 서비스 전반이 개선되어야 한다는 점, 셋째, 정보부존재 처리 절차가 개선되어야 한다는 점, 넷째, 정보부존재 처리 절차에 대한 구체적 지침이 마련되어야 할 것이다.