• East Asian mathematical journal
• /
• v.14 no.2
• /
• pp.321-327
• /
• 1998

There have been various proofs of the Legendre duplication formula for the Gamma function. Another proof of the formula is given here and a brief history of the Gamma function is also provided.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1539-1553
• /
• 2023

We show the asymptotics of the volume density function in the class of central harmonic manifolds can be specified arbitrarily and do not determine the geometry.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.3
• /
• pp.441-450
• /
• 1999

In this paper we first evaluate the conditional Wiener integral of certain functionals using a Park and Skoug's formula. and we also evaluate the conditional wiener integral E(F│$X_\alpha$) of functional F on C[0, T] given by $F(x)=exp\{{\int_0}^T s^kx(s)ds\}$ for a general conditioning function $X_\alpha$ on C[0,T].

• Journal of the Korean Society of Environmental Restoration Technology
• /
• v.21 no.5
• /
• pp.39-60
• /
• 2018

National parks are designated for the purpose of maintenance, conservation and utilization of different habitats. Therefore, it is necessary to select habitats of a high value as a protected area in order to balance conservation and development. However, the existing national park boundary adjustment and new designation criteria only focused on the endangered species and protected area, without proper evaluation of the habitat value of actual species. Therefore, this study aims to quantitatively evaluate habitat function in terms of biodiversity and habitat value, so that it can be referred to for the designation and boundary adjustment of national parks. We assessed species diversity and habitat values for each of the habitat types, for mammals only, as they are able to choose preferred habitats. In order to evaluate biodiversity, we used Maxent to derive species richness map and used InVEST's Habitat quality model to evaluate habitat value. As a result of evaluation, species richness was high in the national park boundary area. Also, even if the same edge is adjacent to the development area depending on the land cover, the species richness is low. Compared with Wolaksan and Sobaeksan National Park, the species richness and habitat value of the northern area, which is connected with other forests, were higher than those of the southern area where roads were developed. Therefore, it is expected that the use of the result of this study for the national park boundary adjustment and management will enhance the function of the national park as a habitat.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.33 no.5
• /
• pp.761-773
• /
• 2023

This paper proposes a method to increase the power-analysis resistance of the neural network model's feedforward process by replacing the exponential-based activation function, used in the deep-learning field, with an approximated function especially at the multi-layer perceptron model. Due to its nature, the feedforward process of neural networks calculates secret weight and bias, which already trained, so it has risk of exposure of internal information by side-channel attacks. However, various functions are used as the activation function in neural network, so it's difficult to apply conventional side-channel countermeasure techniques, such as masking, to activation function(especially, to exponential-based activation functions). Therefore, this paper shows that even if an exponential-based activation function is replaced with approximated function of simple form, there is no fatal performance degradation of the model, and than suggests a power-analysis resistant feedforward neural network with exponential-based activation function, by masking approximated function and whole network.

• The Journal of Internal Korean Medicine
• /
• v.22 no.4
• /
• pp.547-555
• /
• 2001

Objectives: Obesity is regarded as the aggregation of needless risk factors, for instance, cardiovascular disease, joint disease, induce cancer. We studied on interrelation between abnormal liver function and obesity. Methods: We analyzed liver function, T.Cholesterol, Triglyceride before and after lose weight treatment. The collateral condition is over 6 weeks period on obesity treatment, no liver injury and no complicated another disease on personal past history and found out abnormal impression on biochemical liver function blood test. Results: The improvement rate of LFT, compare with before treatment is 10.6% in T.Bilirubin, 11.1% in ALP, 21% in AST, 38% in ALT, 37.3% in r-GTP, 9.2% in LDH and decreased 2.7% in T.Protein, increased 2.3% in Albumin. Hyperlipidemia is 19.4% in T.Cholesterol, 42.5% in Triglyceride. Conclusions: LFT and Hyperlipidemia of abnormal liver function patients, caused by obesity, is improved to normal limit in proportion to reduce patient's weight.

• The Journal of Korean Academy of Orthopedic Manual Physical Therapy
• /
• v.22 no.2
• /
• pp.65-69
• /
• 2016

Background: The purpose of this study was to determine whether place running exercise that combines thoracic mobility exercise program increases pulmonary function of the 20s subjects. Method: Thirty subjects in their 20s were randomly assigned to on experimental group (n=15) or control group (n=15). Over the course of four weeks, the experimental group participated in place running exercise that combines thoracic mobility exercise program for 30 minutes three times per week and the control group participated in place running exercise and thoracoabdominal stretching exercise for 30 minutes three times per week. Subjects were assessed pre-test and post-test by measurement of pulmonary function Results: Our findings show that the experimental group had significant difference in expiratory reserve volume and vital capacity and maximal voluntary capacity (p<.05). In the comparison of the two groups, the experimental group had higher vital capacity and maximal voluntary capacity than the control group. Conclusion: In this study, the experimental group showed greater improvement in pulmonary function than the control group, which indicates that the place running exercise that combines thoracic mobility exercise program exercise is effective at increasing the pulmonary function.

• Proceeding of EDISON Challenge
• /
• 2015.03a
• /
• pp.138-146
• /
• 2015

액체 상태의 물질이 매우 급속하게 냉각되면 일반적으로 과냉각액체(supercooled liquid) 상태에 도달한다. 과냉각액체는 더 낮은 온도에서 유리상(glass phase)으로 상전이를 일으킨다고 알려져 있는데, 이때 나타나는 동역학적 불균일성(dynamic heterogeneity)은 상전이를 기술하는데 중요한 역할을 한다. 그러나 일반적인 액체의 상전이를 연구할 때 주로 사용되던 상관함수(correlation function)으로는 이러한 불균일성을 정량적으로 표현하기 어렵기 때문에 동역학적 민감도(dynamic susceptibility)나 multi-time correlation function 등 동역학적 성질(dynamic property)로부터 특징적인 시간 개념 및 거리 개념을 도출하려는 연구가 많이 진행되어 왔다. 본 논문에서는 일반적으로 특징적인 거리 개념을 도출해 내는데 사용되는 4점 밀도 상관함수(four-point density correlation function)인 dynamic susceptibility(${\chi}^4$)가 입자 밀도의 요동(fluctuation)의 상관관계(correlation)가 지속되는 특징적인 시간 개념에 대한 정보 또한 포함하고 있다는 점에 주목하였다. 이에 따라 ${\chi}^4$의 시간에 대한 적분인 ${\tau}_4$를 새롭게 도입하였으며 그 결과로 ${\tau}_4$는 three-time density correlation function으로부터 도출한 ${\tau}_{Dh}$와 같은 축척(scaling)을 가지는 것을 확인하였다. 과냉각액체에 대한 장난감 모형(toy model)의 일종인 "Lennard-Jones potential 하에서 운동하는 서로 다른 두 종류의 입자들"을 연구에 사용하였다.

• International Journal of Reliability and Applications
• /
• v.6 no.2
• /
• pp.87-99
• /
• 2005

Coverage-based software reliability growth models (SRGMs) have been developed and successfully applied in practice. Performance of a coverage-based SRG M depends on the coverage function employed by the SRGM. When the coverage function represents the coverage growth behavior well irrespective of type of the testing profile the corresponding coverage-based SRGM is expected to be widely applicable. This paper first conducts a study of selecting the most representative coverage functions among the available coverage functions. Then their performances are empirically evaluated and compared. The result provides a foundation for developing widely applicable coverage-based SRGMs and monitoring the progress of a testing process.

• Proceedings of the KIEE Conference
• /
• 1998.07b
• /
• pp.772-774
• /
• 1998

MMIS System of KNGR is composed of systems by using of digital equipment in general, and also interface function among systems is completed by a network. According to this, KNGR PCS also got rid of many kinds of interface cards which have been used for hardwired interface to outside system, and most of function in these cards is to be programmed by PLC. This paper defines the function and method which is to be programmed to PLC. And this paper presents new function which is to be added for operator's interface by using network. It is expected that PCS logic cabinet will be more simplified, satisfy KNGR design concept, and operation convenience will be increased.