• Bulletin of the Korean Mathematical Society
• /
• v.8 no.1
• /
• pp.9-15
• /
• 1971

The purpose of this note is to use primitive recursive functions and predicates similar to those presented by Davis [2] to show the well-known result first proved by Godel in [3] that the well-formed formulas of a pure functional calculus form a recursive set. The technique shown in this paper immediately suggests a unique approach to Theorem proving using a computer.

• Korean Journal of Plant Resources
• /
• v.21 no.1
• /
• pp.103-109
• /
• 2008

Nelumbo nucifera root(NNR) is used to clear summerheat(暑熱), bear Yang(陽) upwards and stop bleeding as mentioned in traditional Korean medicine. Also, it has been known that NNR is effective for lowering blood pressure and hyperlipidemia. The rhizome is considered to be nutritive, demulcent, diuretic and cholagogue and is used to treat piles, dyspepsia and diarrhea. An increasingly growing market for nutraceuticals and functional foods has triggered the study on natural sources for nutraceuticals, health foods and functional foods. But rhizome was inconvenient to formulate liquid dosage form(extract) by way of hot water because of its limited storage. Also the majority of the consumers have a complaint against the dosage. The purpose of this study was to develop the functional materials from NNR without side effects. We formulated the solid dosage form viz tablet and granule from the lotus root. Sensory evaluation was performed in terms of smell, taste, color and overall of lotus root and all colored forms(brown, dark brown, light green and yellow) of tablet and granule to evaluate the acceptability of the formulated tablets and granules. In sensory evaluation, among the formulated tablets and granules, light green granules obtained best score overall and yellow tablets showed the overall improved acceptability. In conclusion, lotus rhizome could be recommended as functional food. Further studies to clarify bioactive functions of Nelumbo nucifera in experimental animal model on atopic dermatitis are in progress.

• International Journal of Highway Engineering
• /
• v.14 no.5
• /
• pp.189-199
• /
• 2012

PURPOSES: The purpose of this study is to propose a new methodology for developing statistical collision models and to show the validation results of the methodology. METHODS: A new modeling method of introducing variables into the model one by one in a multiplicative form is suggested. A method for choosing explanatory variables to be introduced into the model is explained. A method for determining functional forms for each explanatory variable is introduced as well as a parameter estimating procedure. A model selection method is also dealt with. Finally, the validation results is provided to demonstrate the efficacy of the final models developed using the method suggested in this study. RESULTS: According to the results of the validation for the total and injury collisions, the predictive powers of the models developed using the method suggested in this study were better than those of generalized linear models for the same data. CONCLUSIONS: Using the methodology suggested in this study, we could develop better statistical collision models having better predictive powers. This was because the methodology enabled us to find the relationships between dependant variable and each explanatory variable individually and to find the functional forms for the relationships which can be more likely non-linear.

• Bulletin of the Korean Chemical Society
• /
• v.30 no.1
• /
• pp.177-182
• /
• 2009

We present the geminate rebinding kinetics measurements of CO to 2-methylimidazole (2-MeIm) bound ferrous protoporphyrin- IX (FePPIX) in alkaline glycerol/water mixtures at 293 K after photolysis. The kinetics was probed by monitoring the CO stretching mode using femtosecond vibrational spectroscopy. When 2-MeIm is used in excess, heme dimers that typically form in low viscosity solutions disappear as the viscosity of the solvent increases. Heme aggregates formed in low viscosity solutions turn monomeric as more 2-MeIm is added, suggesting that 6-coordinated heme, including a strong proximal histidine tends to be in the monomeric form. The vibrational band of CO in the 2-MeIM-FePPIX-CO is well described by a single Gaussian function centered at 1958 $cm^-1$ and 28 $cm^-1$ full width at half maximum. The efficiency and rate of the geminate rebinding of CO to the heme increase with viscosity of the solvent, suggesting that retention of the dissociated CO near the heme, for a longer period by the viscous solvent media, accelerates rebinding.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.3
• /
• pp.411-424
• /
• 2010

In this paper we consider a generalized form of quadratic functional equations and establish new theorems about the generalized Hyers-Ulam stability of the generalized form of quadratic equations in fuzzy normed spaces.

• Journal of the Chungcheong Mathematical Society
• /
• v.27 no.1
• /
• pp.123-132
• /
• 2014

In this paper, we investigate the following form of a certain class of quadratic functional equations and its fuzzy stability. $$f(kx+y)+f(kx-y)=f(x+y)+f(x-y)-2(1-k^2)f(x)$$ where k is a fixed rational number with $k{\neq}1$, -1, 0.

• Proceedings of the Korea Association of Crystal Growth Conference
• /
• 1999.12a
• /
• pp.93-99
• /
• 1999

It is definite trend that the functional devices are to be integrated by miniaturizing of individual components. Bulk crystals turn into wafer form, while thin film of the functional materials is being fabricated for single and multi-layer devices. In addition, single crystals with multi-function performance would be desirable for further miniaturization. crystal growers have the responsibility for synthesis single crystals work to meet ever increasing requirement of future devices.

• Communications for Statistical Applications and Methods
• /
• v.12 no.1
• /
• pp.117-123
• /
• 2005

A functional central limit theorem is obtained for a stationary linear process of the form $X_{t}= \sum\limits_{j=0}^\infty{a_{j}x_{t-j}}$, where {x_t} is a strictly stationary sequence of negatively associated random variables with suitable conditions and {a_j} is a sequence of real numbers with $\sum\limits_{j=0}^\infty|a_{j}|<\infty$.

• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.429-445
• /
• 2004

In this paper we investigate the generalized Hyers-Ulam-Rassias stability for a functional equation of the form $f(\varphi(x,y)){\;}={\;}\phi(x,y)f(x,y)$, where x, y lie in the set S. As a consequence we obtain stability in the sense of Hyers, Ulam, Rassias, Gavruta, for some well-known equations such as the gamma, beta and G-function type equations.

• Communications of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.321-338
• /
• 2005

In this paper we investigate a generalization of the Hyers-Ulam-Rassias stability for a functional equation of the form $f(\varphi(X))\;=\;\phi(X)f(X)$, where X lie in n-variables. As a consequence, we obtain a stability result in the sense of Hyers, Ulam, Rassias, and Gavruta for many other equations such as the gamma, beta, Schroder, iterative, and G-function type's equations.