• Journal of Environmental Science International
• /
• v.17 no.4
• /
• pp.451-459
• /
• 2008

This study was carried out forecasting of pollution inflow of the Small Mountainous Catchment, namely; Seolma-cheon experimental catchment. Pollutographs of DO, BOD, T-N, Conductivity, T-p, pH. COD, SS from this catchment were obtained from in-situ data of total ten events using QUAL2E-PULS model. From the analysis results, between up stream(Sabang-bridge) and down stream (Memorial-bridge, outlet) obtained relation formula of water quality component. Determination coefficient of relation formula, Conductivity, COD, BOD, DO, pH, T-N, T-P, and SS showed high relation of $0.87{\sim}0.99$. The increases of DO, BOD, COD, and pH concentration of Memorial-bridge were associated with pollution inflow by road building far 2.25km from Sabang-bridge to down stream. The analysis results of QUAL2E-PULS simulation and up/down stream relation formula, pollution amounts of DO, BOD, COD and pH increased at Memorial-bridge and pollution source site. Therefore, pollution inflow can be forecasted exactly by up/down stream relation formula at pollution source site.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.617-622
• /
• 2005

In this paper, using Gauss multiplication formula, a recurrence relation for Bernoulli numbers, generalizing Namias' results, is given.

• Kyungpook Mathematical Journal
• /
• v.48 no.2
• /
• pp.255-280
• /
• 2008

We derive a formula for the colored Jones polynomial of 2-bridge knots. For a twist knot, a more explicit formula is given and it leads to a relation between the degree of the colored Jones polynomial and the crossing number.

• Herbal Formula Science
• /
• v.30 no.3
• /
• pp.183-189
• /
• 2022

Objective : This study aims to analyze the current use of body part terminology in Korean medicine formula data by comparing with ICD-11 body part terminology as a criteria. Methods : Body part terminology was extracted from the main treatment data within the Korean Medicine formula ontology and was analyzed in comparison with the ICD-11 body part terminology. Results : Out of 113 body part terminologies in Korean medicine, 92 were corresponded with ICD in a one-to-one, one-to-multi, or multi-to-one relation. Also, most body part terminologies were corresponded to superordinate concepts of ICD while 21 terminologies were not able to be corresponded to ICD. Conclusion : A majority of body part terminology in formula data could be corresponded to ICD but mostly refered to superordinate concepts. Results showed various types of corresponding relation which requires further study for precise and detailed correspondence. Also, study showed some terminologies were not applicable for correspondence which were mostly a unique body part concept of Korean medicine which requires further study to present Korean Medicine knowledge accurately in the language of ICD.

• Journal of Ocean Engineering and Technology
• /
• v.17 no.6
• /
• pp.91-95
• /
• 2003

Yacht design is significantly affected by the hull geometrical characteristics. Therefore, it is necessary to closely examine the relation between hull and performance, before considering characteristics of sea condition. In this study, Genetic Programming is used to derive a formula the relationship between hull geometric characteristics and performance. Using the formula, a new guideline is proposed to determine performance of a yacht.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.6
• /
• pp.1909-1920
• /
• 2018

In the paper, the authors find a common solution to three series of differential equations related to the generating function of the Bernoulli numbers of the second kind and present a recurrence relation, an explicit formula in terms of the Stirling numbers of the first kind, and a determinantal expression for the Bernoulli numbers of the second kind.

• Journal of the Chungcheong Mathematical Society
• /
• v.25 no.2
• /
• pp.299-312
• /
• 2012

In 1970s, B. C. Berndt proved a transformation formula for a large class of functions that includes the classical Dedekind eta function. From this formula, he evaluated several classes of infinite series and found a lot of interesting infinite series identities. In this paper, using his formula, we find new infinite series identities.

• Honam Mathematical Journal
• /
• v.26 no.1
• /
• pp.133-136
• /
• 2004

By elementry manipulation of series together with summations of Gauss and $Saalsch\ddot{u}tz$, Exton deduced a new two term relation for the hypergeometric function $_3F_2(1)$. The aim of this paper is to derive Exton's result from Thomae's formula, together with two known integral formulas and the Euler's transformation for $_2F_1$.

• Journal of Korean Medical classics
• /
• v.22 no.3
• /
• pp.97-105
• /
• 2009

We in this paper have constructed herb and formula ontologies. Herb instances and formula instances can be distinguished by nature, used part, effect, disease pattern, symptom, and formula and constituent herb, dosage, effect, disease pattern, symptom, and medical book, respectively. The knowledge for herbs and formulas in ontology is formalized with the distinguishable elements and their relations. Based on the herb and formula ontologies, we propose the three reasoning rules as follows: In herb ontology, the relation between herb and disease can be reasoned if there are the relation between herb and effect, and effect and disease. In formula ontology, there are two reasoning rules. First, if each constituent herb, dosage, effect, disease pattern, and symptom of two formulas is same, it can be reasoned that two formulas are same though the medical books of the formulas are different. Second, if each constituent herb and dosage is same in two formula, it can be reasoned that each formula has all of effects, disease patterns, and symptoms of formulas. In future study, we study other ontologies such as disease ontology with respect to Korean Medicine and define the reasoning rules about the ontologies.

• Kyungpook Mathematical Journal
• /
• v.47 no.4
• /
• pp.529-548
• /
• 2007

The purpose of this article is to find a relation between the finite difference method and the boundary element method, and propose a new approach deriving a discrete approximation formula as like that of the finite difference method for harmonic functions. We develop a discrete approximation formula on a uniform grid based on the boundary integral formulations. We consider three different boundary integral formulations and derive one discrete approximation formula on the uniform grid for the harmonic function. We show that the proposed discrete approximation formula has the same computational molecules with that of the finite difference formula for the Laplace operator ${\nabla}^2$.