• Journal of Advanced Navigation Technology
• /
• v.15 no.5
• /
• pp.781-788
• /
• 2011

A sphere-packing problem is to find an arrangement of the spheres to fill as large area of the given space as possible, and covering problems are optimization problems which are dual problems to the packing problems. We generalize the concepts of the weight and the Hamming distance for a binary code to those of Boolean algebra. In this paper, we define a weight and a distance on a Boolean algebra and research some properties of the weight and the distance. Also, we prove the notions of the sphere-packing bound and the Gilbert-Varshamov bound on Boolean algebra.

• The Journal of Engineering Geology
• /
• v.12 no.3
• /
• pp.285-294
• /
• 2002

The origin of nitrate in confined groundwater was studied using oxygen ($\delta$180), hydrogen ($\delta$D), and nitrogen ($\delta$15N) stable isotopes, along with chemical data of NO3-N. We analyzed groundwaters from more than sixty manufactories producing natural mineral waters around the country During the period of 1998-2001, an average value of nitrate was fair]y low (0.95 mg/$\ell$), however, groundwaters from six sites showed more than 2 mg/$\ell$ of nitrate. The stable isotope data of the groundwaters are -8.3~-11 $\textperthousand$ $\delta$8O, -60~-75 $\textperthousand$ $\delta$D, which lies in an average range of the groundwaters. The nitrogen isotope data with -11.8~-5.1$\textperthousand$ $\delta$15N suggest that manure, organic nitrate, and fertilizers can not be the origin of nitrate in the goundwaters.

• The Journal of the Korea Contents Association
• /
• v.6 no.5
• /
• pp.29-34
• /
• 2006

For the almost certainly convergent series $S_n=\sum_{i=1}^nV-i$ of independent random elements in Banach spaces, by investigating tail series laws of large numbers, the rate of convergence of the series $S_n$ to a random variable s is studied in this paper. More specifically, by studying the duality between the limiting behavior of the tail series $T_n=S-S_{n-1}=\sum_{i=n}^{\infty}V-i$ of random variables and that of Banach space valued random elements, an alternative way of proving a result of the previous work, which establishes the equivalence between the tail series weak law of large numbers and a limit law, is provided in a Banach space setting.

• Korean Journal of Logic
• /
• v.16 no.1
• /
• pp.1-15
• /
• 2013

Yang [12] investigated weakening-free fuzzy logics expanded by the delta connective $\Delta$, which can be interpreted as Baaz's projection and its generalizations. In this paper, we keep investigating such logics with an alternative delta connective $\Delta$, which can be regarded as a variant of the Baaz projection. The main difference is that although our new $\Delta$ satisfies many properties of Baaz projection, it can nether be interpreted as Baaz's projection itself nor its generalizations. For this, we first introduce several weakening-free fuzzy logics with the alternative connective $\Delta$. The algebraic structures corresponding to the systems are then defined, and their algebraic completeness is proved.

• School Mathematics
• /
• v.13 no.3
• /
• pp.447-468
• /
• 2011

For the instruction of units dealing with the conic section, the most important factor that we need to consider is the connections. In other words, the algebraic approach and the geometric approach should be instructed in parallel at the same time. In particular, for the students of low proficiency who are not good at algebraic operation, the geometric approach that employs visual representation, expressing the conic section's characteristic in a dynamic manner, is an important and effective method. For this, during this research, to suggest the importance of dynamic visual representation based on GeoGebra in teaching Quadratic Curve, we taught an experimental class that suggests the instruction method which maximizes the visual representation and analyzed changes in the representation of students by analyzing the part related to the unit of a parabola from units dealing with a conic section in the "Geometry and Vector" textbook and activity book.

• Communications of Mathematical Education
• /
• v.13 no.2
• /
• pp.457-475
• /
• 2002

수학사를 통해 볼 때 눈금 없는 자와 컴퍼스를 이용한 작도 가능성의 문제는 여러 면에서 의미가 있었다. 종이 접기는 수학과는 무관하게 나름대로 많은 흥미를 끌어 왔다. 그러나 종이 접기가 기하학적 작도와 흥미 있는 관련이 있음이 알려지면서 수학적으로도 연구되었고 더 나아가 수학 학습에의 유의미한 활용 가능성이 제안되었다. 본 글에서는 종이 접기에서 괄목할 만한 수학적 성질을 고전적인 작도 가능성의 문제와 다항식의 거듭 제곱근에 의한 가해성 등과 관련하여 고찰한다. 또, 초 ${\cdot}$ 중등 학교에서 활용 가능한 가상의 수업 프로토콜도 제시한다.

• Journal for History of Mathematics
• /
• v.17 no.3
• /
• pp.93-108
• /
• 2004

In this article we study on various proofs of the Steiner-Lehmus theorem(any triangle that has two equal angle bisectors is isosceles). We suggest 6 geometric proofs and 3 algebraic proofs of the theorem in detail, analyze these proofs, extract related theorems, proof ideas.

• Journal for History of Mathematics
• /
• v.23 no.4
• /
• pp.101-122
• /
• 2010

Chinese Taipei won the first place at the mathematics achievement of TIMSS 2007. Especially, there was a significant difference in the percentage of correct answers between Chinese Taipei and Korea, and Chinese Taipei' percentage of correct answers was higher than Korea. This study compared the education system, mathematics instruction environment, and instructional activities of two countries. And for algebra, curriculum and textbooks were compared between two countries based on TIMSS 2007 framework. It was found that Chinese Taipei emphasized homework and test, and MCFL of that was low. Their textbook was formal, and induced the hasty abstraction, Also, some themes were introduced earlier than Korea and repeated across different grades.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.12 no.2
• /
• pp.11-17
• /
• 1975

The paper examined the character structure as a basic study for the recognition of Korean characters. In view of concave structure, line structure and node relationship of character graph, the algebraic structure of the basic Korean characters is are analized. Also, the degree of complexities in their character structure is discussed and classififed. Futhermore, by describing the fact that some equivalence relations are existed between the 10 vowels of rotational transformation group by Affine transformation of one element into another, it could be pointed out that the geometrical properting in addition to the topological properties are very important for the recognition of Korean characters.

• Journal of the Korean School Mathematics Society
• /
• v.19 no.4
• /
• pp.373-394
• /
• 2016

The "Figure Equation" chapter of current high school curriculum prevents students from relating the concept with what they studied in middle school Euclidean geometry. Woo(1998) concerns that the curriculum introduces the concept merely in algebraic ways without providing students with opportunities to relate it with their prior understanding of geometry, which is based on Euclidean one. In the present study, a sequence of GeoGebra-embedded-geometry lessons was designed so that students could be introduced to and solve problems of the Analytic Geometry by triggering their prior understanding of the Euclidean Geometry which they had learnt in middle school. The study contributes to the field of mathematics education by suggesting a sequence of geometry lessons where students could introduce to the coordinate geometry meaningfully and conceptually in high school.