• Communications of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.585-602
• /
• 2019

We characterize Gelfand-continuous functions from a Tychonoff space X into an Arens-Michael algebra A. Then we define several algebras of such functions, and investigate them as topological algebras. Finally, we provide a class of examples of (metrizable) commutative unital complete Arens-Michael algebras A and locally compact spaces X for which all these algebras differ from each other.

• Bulletin of the Korean Chemical Society
• /
• v.6 no.4
• /
• pp.183-186
• /
• 1985

The lattice vibrational calculation of orthorhombic hydrogen chloride is performed using physically realistic potential function which can reproduce the X-ray structure and heat of sublimation of the low temperature phase. The polar coordinates representation is introduced in order to describe the intermolecular interactions in a molecular crystal. The splitting in internal modes is calculated as 49 $cm^{-1}$ and the other modes are in good agreement with experimental results.

• Honam Mathematical Journal
• /
• v.43 no.1
• /
• pp.141-151
• /
• 2021

The main object of the present paper is to introduce the generalized Laguerre matrix polynomials for two variables. We prove that these matrix polynomials are characterized by the generalized hypergeometric matrix function. An explicit representation, generating functions and some recurrence relations are obtained here. Moreover, these matrix polynomials appear as solution of a differential equation.

• East Asian mathematical journal
• /
• v.39 no.1
• /
• pp.11-21
• /
• 2023

Non-trivial automorphisms of the unit disc in the complex plane can be classified by three classes; elliptic, parabolic and hyperbolic automorphisms. This classification is due to a representation in the projective special linear group of the real field, or in terms of fixed points on the closure of the unit disc. In this paper, we will characterize this classification by the distance function of the Poincaré metric on the interior of the unit disc.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.237-255
• /
• 2023

In this article, we find bases for the spaces of modular forms $M_2({\Gamma}_0(88),\;({\frac{d}{\cdot}}))$ for d = 1, 8, 44 and 88. We then derive formulas for the number of representations of a positive integer by the diagonal quaternary quadratic forms with coefficients 1, 2, 11 and 22.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.11a
• /
• pp.276-279
• /
• 2005

A review of how the functions of two or more independent variables can be approximated by using fuzzy systems is provided in this paper. We start with an exact represention of a linear interpolation function of two independent variables by using a fuzzy system. Next, we describe how this function can be approximated by another fuzzy system with a lesser number or with a desired number of output fuzzy sets. Thus, a reduction of the storage needed is achieved by storing the fuzzy rules or equivalently the output fuzzy set numbers instead of storing the whole discrete function values. A description on how the cubic spl me interpolation function can be represented exactly by using the fuzzy system method is provided, along with a few examples where fuzzy rule tables with a size of 7$\times$7 provide a representation of the functions with relative errors of the order of $10^{2}$ or less.

• Journal of Forest and Environmental Science
• /
• v.21 no.1
• /
• pp.1-15
• /
• 2005

To be a sustainable forest management, Korea took a Montreal process in many processes. This study applied seven criterias, twenty-seven indicators that are applicable indicators to the forest function type. Forest function type choose representation, suitability, possibility criterias and indicators that forest conditions are thought a great deal of wegit on the forest by a goal. And we can't estimate many forest with same criteria and indicators every time, to apply them need correct data and knowledge about forest.

• Journal of Ocean Engineering and Technology
• /
• v.27 no.5
• /
• pp.28-35
• /
• 2013

In this paper, a research on the composition of the nesting algorithm fitness function is carried out by performing various numerical experiments to inspect how it affects the scrap efficiency, allocation characteristics, and time consumption, targeting the nesting results of ship parts. This paper specifically concentrates on a method to minimize the scrap ratio and efficiently use the well-defined remnants of a raw plate after the nesting process for the remnant nesting. Therefore, experiments for various ship parts are carried out with the weighting factor method, one of the multi-objective optimum design methods. Using various weighting factor sets, the nesting results are evaluated in accordance with the above purposes and compared with each set for each ship part groups. Consequently, it is suggested that the nesting algorithm fitness function should be constructed differently depending on the characteristics of the parts and the needs of the users.

• Journal of Korean Elementary Science Education
• /
• v.37 no.4
• /
• pp.416-429
• /
• 2018

In social constructivist teaching, knowledge construction is achieved through learners' collective social interaction. Vygotsky argued that this process is mediated with language use, and the development of higher order thinking is realized through the transition from inter-personal psychological functions to intra-personal psychological functions. In so doing scientific concepts are internalized to learners. This study examined the third grade elementary students' inter/intra-personal psychological functions and their internalization processes during social constructivist teaching plan about strata and fossils. The lessons were designed along with Wells' dialogic inquiry and Leach and Scott's social constructivist teaching-learning sequences. Results showed that a teacher's utterances of talking with questioning to switch attention, creating cognitive disequilibrium, and expanding the width of students' opinions could make effective inter-personal psychological function. In addition, a learner's inner speech expressed into social discourse through talking about personal experiences, comparing epistemic idea with visual representation, or applying to different situation showed his/her intra-personal psychological function. Some cases of learners' internalization through language use could be at the stage of knowledge building and understanding of the spiral of knowing, but not all. Thus it is argued that a teacher's deeper insight into Vygotskian social constructivist teaching can make elementary science classroom teaching more effective in their inter/intra-psychological functions.

• Journal of Internet Computing and Services
• /
• v.16 no.2
• /
• pp.117-125
• /
• 2015

The information about protein structure gives the clues for the function of protein. It is needed for the improvement for the efficacy and fast development of protein drugs. So, the studies visualizing the structure of protein effectively increase. Most studies of visualization focus on the structural prediction for protein or the improvement on the rendering speed. However, studies of information delivery depending on the form of protein visualization are very limited. The major objective of this study is to analyze the information representation goodness-of-fit for the patterns of the hybrid visualization with primary and secondary structures of protein. Those hybrid visualizations included the patterns which updated current representative visualization services, Chimera, PDB and Cn3D. Information factor to analyze information representation goodness-of-fit is assorted by protein primary structure, secondary protein structure, the location of amino acid and ratio information about protein secondary structure, based on the result of subject-analysis. Subject is the group of experts who are involved in protein drug development over 5 years. The result of this study shows the meaningful difference in the information representation goodness-of-fit by the patterns of hybrid visualization and proves the difference in the information by the pattern of visualization.