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

A new model of generalized thermoelasticity equations for isotropic media with temperature-dependent mechanical properties is established. The modulus of elasticity is taken as a linear function of reference temperature. The present model is described both generalizations, Lord Shulman (L-S) theory with one relaxation time and Green-Lindsay (G-L) with two relaxation times, as well as the coupled theory, instantaneously. The method of the matrix exponential, which constitutes the basis of the state space approach of modern control theory, applied to two-dimensional equations. Laplace and Fourier integral transforms are used. The resulting formulation is applied to a problem of a thick plate subject to heating on parts of the upper and lower surfaces of the plate that varies exponentially with time. Numerical results are given and illustrated graphically for the problem considered. A comparison was made with the results obtained in case of temperature-independent modulus of elasticity in each theory.

• Korean Journal of Logic
• /
• v.14 no.2
• /
• pp.39-76
• /
• 2011

We explain some basic elements of Martin-L$\ddot{o}$f's type theory and examine the distinction between propositions and judgments. In section 1, we introduce the problem. In section 2, we explain the concept of proposition in the intuitionistic type theory as a development of the intuitionistic conception of proposition. In section 3, we explain the concept of judgment in the intuitionistic type theory. In section 4, we explain some basic inference rules and examine a particular derivation in the theory. In section 5, we examine one route from the Fregean distinction between propositions and judgments to the distinction between them in the intuitionistic type theory, paying attention to the alleged necessity for introducing different forms of judgments.

• Journal of the Korean Mathematical Society
• /
• v.31 no.3
• /
• pp.375-391
• /
• 1994

In 1968k Cameron and Storvick introduced the analytic and the sequential operator-valued function space integral [2]. Since then, the theo교 of the analytic operator-valued function space integral has been investigated by many mathematicians - Cameron, Storvick, Johnson, Skoug, Lapidus, Chang and author etc. But there are not that many papers related to the theory of the sequential operator-valued function space integral. In this paper, we establish the existence of the sequential operator-valued function space integral as an operator from $L_p$ to $L_p'(1 and investigated the integral equation related to this integral.

• Journal for History of Mathematics
• /
• v.24 no.4
• /
• pp.1-6
• /
• 2011

We investigate a method to find the least common multiples of numbers in the mathematics book GuIlJib(구일집(九一集), 1724) written by the greatest mathematician Hong Jung Ha(홍정하(洪正夏), 1684~?) in Chosun dynasty and then show his achievement on Number Theory. He first noticed that for the greatest common divisor d and the least common multiple l of two natural numbers a, b, l = $a\frac{b}{d}$ = $b\frac{a}{d}$ and $\frac{a}{d}$, $\frac{b}{d}$ are relatively prime and then obtained that for natural numbers $a_1,\;a_2,{\ldots},a_n$, their greatest common divisor D and least common multiple L, $\frac{ai}{D}$($1{\leq}i{\leq}n$) are relatively prime and there are relatively prime numbers $c_i(1{\leq}i{\leq}n)$ with L = $a_ic_i(1{\leq}i{\leq}n)$. The result is one of the most prominent mathematical results Number Theory in Chosun dynasty. The purpose of this paper is to show a process for Hong Jung Ha to capture and reveal a mathematical structure in the theory.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.42 no.3
• /
• pp.503-515
• /
• 2018

In this research, the three-dimensional structural and colorimetrical modeling of yarn-dyed woven fabrics was conducted based on the Kubelka-Munk theory (K-M theory) for their accurate color predictions. In the K-M theory for textile color formulation, the absorption and scattering coefficients, denoted K and S, respectively, of a colored fabric are represented using those of the individual colorants or color components used. One-hundred forty woven fabric samples were produced in a wide range of structures and colors using red, yellow, green, and blue yarns. Through the optimization of previous two-dimensional color prediction models by considering the key three-dimensional structural parameters of woven fabrics, three three-dimensional K/S-based color prediction models, that is, linear K/S, linear log K/S, and exponential K/S models, were developed. To evaluate the performance of the three-dimensional color prediction models, the color differences, ${\Delta}L^*$, ${\Delta}C^*$, ${\Delta}h^{\circ}$, and ${\Delta}E_{CMC(2:1)}$, between the predicted and the measured colors of the samples were calculated as error values and then compared with those of previous two-dimensional models. As a result, three-dimensional models have proved to be of substantially higher predictive accuracy than two-dimensional models in all lightness, chroma, and hue predictions with much lower ${\Delta}L^*$, ${\Delta}C^*$, ${\Delta}h^{\circ}$, and the resultant ${\Delta}E_{CMC(2:1)}$ values.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.29 no.4
• /
• pp.281-288
• /
• 2015

This paper researches the features of blood stasis theory of Wangqingren, who wrote 『Yilingaicuo』 that greatly contributed in the development of blood stasis theory at Qing dynasty period. And the disease cause, disease mechanism of blood stasis and scope of modern diseases related with blood stasis are studied by research on clinical papers which used 33 prescriptions in 『Yilingaicuo』 in modern times. Research on the features of blood stasis theory of Wangqingren is proceeded by referring to the annotations of 『Yilingaicuopingyi』 and the papers which related with blood stasis from Korea and China. And clinical papers are searched in China Academic Journals(CAJ) of China National Knowledge Infrastructure(CNKI) to analyse the scope of modern diseases related with blood stasis. The features of blood stasis theory in 『Yilingaicuo』 expanded the range of existing theory. Wangqingren thought that chronic disease, weird disease, the disease of no effect from normal treatments were related with blood stasis. And he attached great importance to qi and blood and thought that the main pathogenesis of blood stasis was qi deficiency. And a lot of Astragalus membranaceus Bunge were combined in many prescriptions to reinforce qi. He also used different herbs according to the location of the disease. Musk and Allium fistulosum were used for the disease located at head or upper part of the patient's trunk. Bupleurum falcatum L., Aurantii Fructus Pericarpium and Platycodon grandiflorum A. De Candolle were used for the disease located at thorax. Cyperus rotundus L., Linderae Radix and Aurantii Fructus Pericarpium were used for the disease located at the stomach or below the costal angle. Foeniculi Fructus and Corydalis remota were used for the disease located at belly or lower part of the patient's trunk. Trogopterorum Faeces, myrrha, Cyperus rotundus L. and Cnidium officinale were used for the disease located at extremity or joint.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.15 no.4
• /
• pp.3-11
• /
• 2009

As de-schooling students (students who leave schools) have been produced and increased in middle and high schools every year since 1990s, urban alternative schools have founded with Seoul as the center. The objects of such urban alternative schools are de-schooling teenagers, and their educational goal is to make the students to discover their own values and grow as members of the community by accomplishing their healing and growth. Most of students in alternative schools have excessive self-centered feeling than ordinary people, and since they don't have exchanges with others, they have to receive holistic healing along with education. Here, 'healing' is a method of approaching to health through environmental, psychological, social and cultural supports unlike 'treatment' used for medical means. Therefore, holistic healing for alternative schools' students has to accomplish self-knowledge, self-control, and self-healing without repulsion through spaces of healing environments instead of heavy-handed exchanges. This study has integrated a theory of Max $L{\ddot{u}}scher$ who suggested a psychological healing theory in terms of internal character and a theory of Rudolf Steiner who suggested it in terms of practical and holistic sense and analyzed Sungmisan School, one of urban alternative schools in Seoul through the integrated theory. The analysis of the integrated theory are intended to emphasize the importance of healing environments and suggest methods in creating healing environments for urban alternative schools in the future.

• Communications of the Korean Mathematical Society
• /
• v.15 no.4
• /
• pp.675-681
• /
• 2000

Let f : M longrightarrow M be a homotopically periodic self-map of a closed surface M. Except for M = $S^2$, the Nielsen number N(f) and the Lefschetz number L(f) of the self-map f are the same. This is a generalization of Kwasik and Lee's result to 2-dimensional case. On the 2-sphere $S^2$, N(f) = 1 and L(f) = deg(f) + 1 for any self-map f : $S^2$longrightarrow$S^2$.

• Kyungpook Mathematical Journal
• /
• v.63 no.3
• /
• pp.425-435
• /
• 2023

The classical Hardy Theorem on R states that a function f and its Fourier transform cannot be simultaneously very small; this fact was generalized by Miyachi in terms of L¹ + L^∞ and log⁺-functions. In this paper, we consider the k-Hankel transform, which is a deformation of the Hankel transform by a parameter k > 0 arising from Dunkl's theory. We study Miyachi's theorem for the k-Hankel transform on ℝ^d.

• Journal of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.999-1018
• /
• 1998

In this paper, we prove stability theorems for the operator-valued Feynman integral of certain functionals involving some Borel measures on (0, t) as a bounded linear operator from L$_1$(R) to $C_{0}$(R).