• The Pure and Applied Mathematics
• /
• v.1 no.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
• /
• v.17 no.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.

• Journal of the Korean Mathematical Society
• /
• v.46 no.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.

• Journal of the Korean Mathematical Society
• /
• v.56 no.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
• /
• v.61 no.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
• /
• v.26 no.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.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.24 no.5
• /
• pp.305-318
• /
• 2012

Although the existing performance-based design method for the vertical breakwater evaluates an average sliding distance during an arbitrary time, it does not calculate the probability of the first occurrence of an event exceeding an allowable sliding distance(i.e. the first-passage probability). Designers need information about the probability that the structure is damaged for the first time for not only design but also maintenance and operation of the structure. Therefore, in this study, a time-dependent reliability design method based on a stochastic process is developed to evaluate the first-passage probability of caisson sliding. Caisson sliding can be formulated by the Poisson spike process because both occurrence time and intensity of severe waves causing caisson sliding are random processes. The occurrence rate of severe waves is expressed as a function of the distribution function of sliding distance and mean occurrence rate of severe waves. These values simulated by a performance-based design method are expressed as multivariate regression functions of design variables. As a result, because the distribution function of sliding distance and the mean occurrence rate of severe waves are expressed as functions of significant wave height, caisson width, and water depth, the first-passage probability of caisson sliding can be easily evaluated.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.9
• /
• pp.269-278
• /
• 2018

In Korea, BIM technology is applied mainly to building construction projects, but is expected to be applied rapidly to civil engineering projects because the government is currently considering the mandatory application of BIM for infrastructure facilities. Because the infrastructure project is processed in a horizontal work area, the application of BIM technology is more useful in the schedule management of the construction phase than the interference management of the design phase. The 4D CAD system is a typical BIM technology applied to the schedule management in the construction phase, but the application to the actual project is limited due to the lack of practical functions. This study examined the functions of four representative 4D CAD systems commercialized so that the selection criterion can be provided according to the characteristics of the project, and suggests that the functions that should be improved to have practicability. As a result of functional analysis, the application characteristics of each system were analyzed and the user convenience was suggested. In addition, a linear 4D simulation methodology was developed to improve the functions applicable to civil engineering projects, and ways to improve the utilization of the infrastructure projects as the construction phase BIM were suggested. In railway and road construction projects, most activities, such as earthwork, bridges, and tunnels proceed along the distance axis in a horizontal space. Therefore, a linear 4D simulation method, in which an activity is expressed along a distance axis, can be more practically useful rather than a simple 4D simulation method with a Gantt chart.

• Journal of the Korean Society for Railway
• /
• v.15 no.1
• /
• pp.29-36
• /
• 2012

This paper includes ATP(Automatic Train Protection) simulator development and ATP algorithm verification to allocate wayside and train-borne and verify ATP functions of communications based train control system. The train control system has some characteristics such as simple structure and high safety when wireless communication technology is applied to the train control system. Especially, vital functions can be performed with in wayside and train-borne ATP. However, different system can be realized because I/F contents vary in accordance with vital functional allocation of ATP. Drawing characteristics in accordance with wayside and train-borne functional allocation and drawing I/F details affected by such characteristics are needed accordingly. This paper includes ATP simulator development creating train location information by direct activation of an electric motor, verifies train safety distance control algorithm of ATP by functional allocation such as train movement authority and train speed limit to ATP, and draws any supplementation needed. Appropriate simulated environment for verify ATP algorithm and main factors that affect to the ATP function were confirmed.

• Journal of Korean Society of Transportation
• /
• v.29 no.1
• /
• pp.125-134
• /
• 2011

In order to reconstruct vehicle-pedestrian collision accidents, this paper presents a fuzzy tool to estimate accurately the impact velocity of the vehicle using parameters which could be easily collectable at the accident scene. The fuzzy rules and membership functions were set up using number of over 200 domestic and foreign data from accidents and empirical tests and 700 data from multibody simulation experiments. The developed fuzzy tool deduces the category of pedestrian trajectory and impact speed of the vehicle using 4 membership functions and 2 logic rules. The membership function of throw distance was differently set according to the deduced category of trajectories. The implemented fuzzy program was validated through comparing with the domestic and foreign empirical data. The output results agree very well in impact velocities of vehicle resulting the accuracy and usefulness of the developed tool in the reconstruction analysis of vehicle-pedestrian collision accidents.