• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.531-536
• /
• 1998

It is well known that a Boolean algebra is one of the most important algebra for engineering. A fuzzy algebra, which is referred to also as a Kleen algebra, is obtained from a Boolean algebra by replacing the complementary law in the axioms of a Bloolean algebra with the Kleen's law, where the Kleen's law is a weaker condition than the complementary law. Removal of the Kleen's law from a Kleen algebra gives a De Morgan algebra. In this paper, we generate lattice structures of the above related algebraic systems having finite elements by using a computer. From the result, we could find out a hypothesis that the structure excepting for each element name between a Kleene algebra and a De Morgan algebra is the same from the lattice standpoint.

• Journal of the Korean Mathematical Society
• /
• v.50 no.1
• /
• pp.161-171
• /
• 2013

Given an integer $n{\geq}1$ and a compact group G, we find some restrictions for the probability that two randomly picked elements $x^n$ and $y$ of G commute. In the case $n=1$ this notion was investigated by W. H. Gustafson in 1973 and its influence on the structure of the group has been studied in the researches of several authors in last years.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.225-242
• /
• 2017

A family of $Ap{\acute{e}}ry$-like series involving reciprocals of central binomial coefficients is studied and it is shown that they represent transcendental numbers. The structure of such series is further examined in terms of finite combinations of logarithms and arctangents with arguments and coefficients belonging to a suitable algebraic extension of rationals. Monotonicity of certain quotients of weighted binomial sums which arise in the study of competitive cheap talk models is established with the help of a continuous extension of the discrete model at hand. The monotonic behavior of such quotients turns out to have important applications in game theory.

• Communications of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.359-370
• /
• 2022

The principal aim of this paper is to study the connection between the structure of a quotient ring R/P and the behavior of special additive mappings of R. More precisely, we characterize the commutativity of R/P using derivations (generalized derivations) of R satisfying algebraic identities involving the prime ideal P. Furthermore, we provide examples to show that the various restrictions imposed in the hypothesis of our theorems are not superfluous.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.5
• /
• pp.879-886
• /
• 2006

In this paper, we proposed an advanced authentication structure for reducing the certificate acquisition time which is one of the factors that should be improved in a conventional wireless PKI. A conventional key exchange method simply performs the key exchange setup step based on discrete algebraic subjects. But the mutual-authentication procedure of wireless PKI for reducing authentication time uses an elliptical curve for a key exchange setup step. We simulated and compared the authentication structure proposed by Sufatrio, K. Lam[4] and the our authentication structure in terms of the authentication time. Simulation results show that the proposed method reduces the authentication time comparing to the conventional wireless PKI authentication method.

• Water for future
• /
• v.29 no.2
• /
• pp.221-233
• /
• 1996

To investigate the hydrodynamic characteristics of a two-dimensional buoyant surface jet, the most important factors of the numerical analysis are the evaluation of the free surface and the turbulence transportation under the stratification. In present study, a numeriacal simulation model used with the semi-implicit method for pressure-linked equations (SIMPLE), the non-hydrostatic approximation and the algebraic stress model (ASM) is applied to investigate the vertical structure of internal flow hydrodynamically. The ASM enables to take account of anisotropy of turbulence, the damping effects of the density interface, and the free surface on the turbulence structure accurately. The ASM tested produces better agreement than the $\kappa-\varepsilon$ model with measurements by Nakatsuji (1984) on the flow development and turbulence structure. Applicability of the ASM to a two-dimensional buoyant surface jet is examined through comparison with experimental data.

• School Mathematics
• /
• v.10 no.3
• /
• pp.357-374
• /
• 2008

The complex number system is supposed to introduce first chapter in the first grade of high school. When number system is expanded to complex numbers, the main aim is to understand preservation of algebraic structure with regard to the flow of curriculum and textbook. This research reviewed overall alternative articulation and treatment of textbooks from a logical viewpoint. Two research questions are developed below. First, in the structure of the current curriculum, when we consider student's 'level', how are the alternative articulation and treatment of textbooks in complex unit on a logical point of view? Second, What are more logical alternative articulation and treatment? What alternative articulation and treatment are suitable for a running goal? and what are the improvement which is definitive?

• Journal of Educational Research in Mathematics
• /
• v.26 no.1
• /
• pp.79-101
• /
• 2016

Understanding the equal sign is of great significance to the development of algebraic thinking. Given this importance, this study investigated in what ways a total of 695 students from second to sixth graders understand the equal sign. The results showed that students were successful in solving standard problems whereas they were poor at items demanding high relational thinking. It was noticeable that some of the students were based on computational thinking rather than relational understanding of the equal sign. The students had a difficulty both in understanding the structure of equations and in solving equations in non-standard problem contexts. They also had incomplete understanding of the equal sign. This paper is expected to explore the understanding of the equal sign by elementary school students in multiple problem contexts and to provide implications of how to promote students' understanding of the equal sign.

• The Journal of the Korea Contents Association
• /
• v.13 no.3
• /
• pp.119-130
• /
• 2013

This paper researches the algorithm, whose materiality and expressiveness can be obtained through live coding. Live coding is an improvised genre of music that generates sounds while writing code in real time and projecting it onto a screen. Previous studies of live coding have focused on the development environment to support live coding performance effectively. However, this study examines the aesthetic attitude immanent in the realization of the algorithm through analyzing mostly used languages such as ChucK, Impromtu, and the visualization of live code and cases of "aa-cell" and "slub" performance. The aesthetic attitudes of live coding performance can be divided into algebraic and geometric attitudes. Algebraic attitudes underline the temporal development of concepts; geometric attitudes highlight the materialization of the spatial structure of concepts through image schemas. Such a difference echoes the tension between conception and materiality, which appears in both conceptual and concrete poetry. The linguistic question of whether conception or materiality is more greatly emphasized defines the expressiveness of the algorithm.

• The Mathematical Education
• /
• v.58 no.2
• /
• pp.161-185
• /
• 2019

This study aims to examine pre- and in-service mathematics teachers' reasoning and how they justify their reasoning. For this purpose, we developed a set of mathematical tasks that are based on mathematical contents for middle grade students and conducted the survey to pre- and in-service teachers in Korea. Twenty-five pre-service teachers and 8 in-service teachers participated in the survey. The findings from the data analysis suggested as follows: a) the pre- and in-service mathematics teachers seemed to be very dependent of the manipulation of algebraic expressions so that they attempt to justify only by means of procedures such as known algorithms, rules, facts, etc., rather than trying to find out a mathematical structure in the first instance, b) the proof that teachers produced did not satisfy the generality when they attempted to justify using by other ways than the algebraic manipulation, c) the teachers appeared to rely on using formulas for finding patters and justifying their reasoning, d) a considerable number of the teachers seemed to stay at level 2 in terms of the proof production level, and e) more than 3/4 of the participating teachers appeared to have difficulty in mathematical reasoning and proof production particularly when faced completely new mathematical tasks.