• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제1권1호
• /
• pp.29-33
• /
• 1994

There are various aspects of the solution of boundary-value problems for second-order linear elliptic equations in two independent variables. One useful method of solving such boundary-value problems for Laplace's equation is by means of suitable integral representations of solutions and these representations are obtained most directly in terms of particular singular solutions, termed Green's functions.(omitted)

• East Asian mathematical journal
• /
• 제17권2호
• /
• pp.303-308
• /
• 2001

Let K($z,\gamma$) denote the euclidean curvature of the curve $\gamma$ at the point z. Flinn and Osgood proved that if f is a univalent mapping of the open unit disk D={z:|z|<1} into itself with f(0)=0 and |f'(0)|<1, then $K(0,\gamma){\leq}K(0,f\;o\;\gamma)$ for any $C^2$ curve $\gamma$ on D through the origin with $K(0,\gamma){\geq}4$. In this paper we establish a generalization of the Flinn-Osgood Monotonicity Theorem.

• 대한수학회지
• /
• 제46권5호
• /
• pp.967-977
• /
• 2009

There are three standard weight functions on a linear code viz. Hamming weight, Lee weight, and Euclidean weight. Euclidean weight function is useful in connection with the lattice constructions [2] where the minimum norm of vectors in the lattice is related to the minimum Euclidean weight of the code. In this paper, we obtain an upper bound over the number of parity check digits for Euclidean weight codes detecting and correcting burst errors.

• 대한수학회지
• /
• 제56권5호
• /
• pp.1247-1263
• /
• 2019

In ordered trees, two randomly chosen vertices are said to be dependent if one lies under the other. If not, we say that they are independent. We consider several classes of ordered trees with uniform updegree requirements and find the generating functions for the trees with two marked dependent/independent vertices. As a result, we compute the probability for two vertices being dependent/independent. We also count such trees by the distance between two independent vertices.

• Kyungpook Mathematical Journal
• /
• 제61권2호
• /
• pp.279-308
• /
• 2021

The purpose of this paper is to introduce a class of contractive pairs of mappings satisfying a Zamfirescu-type inequality, but controlled with altering distance functions and with parameters satisfying the so-called Geraghty condition in the framework of b-metric spaces. For this class of mappings we prove the existence of points of coincidence, the convergence and stability of the Jungck, Jungck-Mann and Jungck-Ishikawa iterative processes and the existence and uniqueness of its common fixed points.

• Nonlinear Functional Analysis and Applications
• /
• 제26권3호
• /
• pp.581-600
• /
• 2021

In this paper we obtain a unique common fixed point theorem for four self-maps which are involved in (𝜙, 𝜓)-weak contraction of a partially ordered b-metric space. The necessary condition has been given to a space for the existence of an unique common fixed of the maps. And our work changed conditions and nonlinear contraction, and search for the unique common fixed point of the maps.

• 한국해안·해양공학회논문집
• /
• 제24권5호
• /
• pp.305-318
• /
• 2012

직립 케이슨 방파제에 대한 기존의 성능설계법은 임의의 시간 동안의 평균활동량을 산정하지만 허용활동량을 최초로 초과하는 사건의 발생확률(최초통과확률)은 계산하지 못한다. 설계자는 구조물이 최초로 피해를 입을 확률에 대한 정보를 구조물의 설계 단계뿐 아니라 관리 및 운영에서도 필요로 한다. 따라서 본 연구에서는 케이슨 활동의 최초통과확률을 산정하기 위해 확률과정에 기반한 시간의존 신뢰성 설계법을 개발하였다. 방파제의 활동을 일으키는 폭풍파는 발생 시간과 강도의 임의성의 특징이 있기 때문에 Poisson spike process를 사용하여 케이슨 활동을 정식화할 수 있다. 여기서 방파제의 활동을 일으키는 폭풍파의 발생률은 활동량분포함수와 폭풍파의 평균발생률로 표현된다. 성능설계법으로 모의된 이들은 설계변수들의 다변량 회귀함수로 나타내진다. 결과적으로 활동량분포함수와 폭풍파의 평균발생률은 유의파고, 케이슨 폭, 수심의 함수로 표현되어 케이슨 활동에 대한 최초통과확률을 손쉽게 산정할 수 있다.

• 한국산학기술학회논문지
• /
• 제19권9호
• /
• pp.269-278
• /
• 2018

국내 BIM기술은 건축공사를 중심으로 적용되고 있으나, 최근 정부에서 인프라시설물 BIM적용 의무화를 검토하고 있으므로 토목공사까지 급속히 확대 적용될 것으로 예상된다. 인프라시설물은 광범위한 수평적 공간에서 공정이 진행되므로 BIM기술의 적용은 설계단계의 간섭관리보다는 시공단계의 공정관리 등 사업관리 전반에서 더욱 활용성을 갖게 된다. 4D CAD시스템은 시공단계의 공정관리에 적용되는 대표적인 BIM기술이나 실무적으로 활용할 수 있는 기능의 부족으로 실제 프로젝트에 적용되는 사례는 제한적이다. 본 연구에서는 상용화된 대표적인 4종류의 4D CAD시스템의 기능을 비교분석하여 프로젝트 특성별 선택 기준을 제공하고 실무적 활용성을 갖기 위해 개선되어야 할 기능을 분석하였다. 기능 분석결과로서 시스템별 장단점을 제시하였으며 시스템별 특성 분석으로 사용자의 활용 편리성을 제시하였다. 또한 토목시설물에 적용 가능한 기능 개선을 위하여 선형 4D시뮬레이션 방법론을 개발하여 인프라 시설물의 시공단계 BIM으로 활용성을 높일 수 있는 방안을 제시하였다. 철도 및 도로시설 공사에서 토공, 교량, 터널 등의 대부분 공정들은 수평적 공간에서 거리 축에 따라 작업이 진행된다. 따라서 단순히 기존 Gantt chart 방식의 4D 표현방법보다는 거리 축에 따라 공정이 표현되는 선형 4D 시뮬레이션 방법이 보다 실무적으로 도움이 될 수 있다.

• 한국철도학회논문집
• /
• 제15권1호
• /
• pp.29-36
• /
• 2012

본 연구는 무선통신기반 열차제어시스템의 ATP 기능을 차상장치와 지상장치에 배치하고 이를 검증하기 위한 ATP시뮬레이터 개발과 ATP알고리즘 검증을 포함한다. 무선통신기술을 열차제어에 적용하면 열차제어 시스템을 단순화하고 실시간 열차위치정보를 활용하여 열차운행의 안전성을 높이는 특징이 있다. 특히 ATP 지상장치와 차상장치에서 vital기능을 처리할 수 있다. 이 같은 vital기능을 어디에 배치하는 가에 따라서 인터페이스내용이 상이한 서로 다른 시스템이 구현된다. 따라서 지상과 차상에 vital 기능을 배치하는 것에 따른 특징을 도출하고, 이것에 의해서 영향을 받는 인터페이스 내용을 확인하는 것이 필요하다. 본 논문에서는 ATP 지상장치에 열차이동권한과 열차속도제한 등의 기능을 배치하였고, 전동기를 직접 구동하여 실시간 열차위치정보를 생성하는 ATP시뮬레이터를 개발하였고, 본 시뮬레이터를 사용하여 ATP 알고리즘을 검증하였다. ATP 알고리즘을 검증하기 위한 적절한 모의환경을 확인하였고, ATP 기능에 영향을 주는 주요 인자를 확인하였다.

• 대한교통학회지
• /
• 제29권1호
• /
• pp.125-134
• /
• 2011

보행자-차량 충돌사고 재구성을 위하여 본 논문에서는 사고 현장에서 수집이 용이한 정보들을 활용하여 차량의 충돌 속도를 정확하게 추정할 수 있는 퍼지 도구를 제시한다. 200건이 넘는 국내외 사고 및 실험 자료와 700건의 다중물체 시뮬레이션 결과에 근거하여 퍼지규칙과 소속함수들을 설정하였다. 개발한 퍼지도구는 4개의 소속함수와 2개의 논리적 규칙을 사용하여 보행자 선회 궤도 유형과 차량의 충돌 속도를 추론한다. 보행자 전도거리의 소속함수는 이와 같이 추론된 궤도 유형에 따라 달리 구성하였다. 작성된 퍼지 프로그램은 국내외 실제 사고 및 실험 데이터를 활용하여 그 결과를 검증하였으며 차량의 충돌속도에서 좋은 일치를 보여주었다. 이는 본 연구를 통하여 개발한 퍼지도구의 정확성과 유용성을 입증하는 것이다.