• Journal of Integrative Natural Science
• /
• v.1 no.2
• /
• pp.149-159
• /
• 2008

We develop two algorithms that nd a minimal polynomial of a finite sequence. One uses Euclid's algorithm, and the other is in essence a minimal polynomial version of the Berlekamp-Massey algorithm. They are formulated naturally and proved algebraically using polynomial arithmetic. They connects up seamlessly with decoding procedure of alternant codes.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.4
• /
• pp.448-456
• /
• 2000

As the system complexity increases, it is important to develop high-level verification techniques for fast and efficient design verifications. In this research, fast verification techniques for hardware and software co-design systems have been developed by using logic emulation and algorithm-level simulation. For faster and superior functional verification, we partition the system being designed into hardware and software parts, and implement the divided parts by using interface modules. We also propose several hardware design techniques for efficient hardware emulation. Experimental results, obtained by using a Reed-Solomon decoder system, show that our new verification methodology is more than 12,000 times faster than a commercial simulation tool for the modified Euclid's algorithm block and the overall verification time is reduced by more than 50%.

• Journal for History of Mathematics
• /
• v.19 no.1
• /
• pp.79-90
• /
• 2006

The purpose of this paper is to derive the ratios of trigonometric special angles from Euclid's by constructing regular pentagon and decagon. The intention of this paper is started from recognizing that teaching of the special angles in secondary math classroom excessively depends on algebraic approaches rather geometric approaches which are the origin of the trigonometric ratios. In this paper the method of constructing regular pentagon and decagon is reviewed and the geometric relationship between this construction and trigonometric special angles is derived. Through such geometric approach the meaning of trigonometric special angles is analyzed from a geometric perspective and pedagogical ideas of teaching these trigonometric ratios is suggested using history of mathematics.

• Journal of Educational Research in Mathematics
• /
• v.25 no.3
• /
• pp.367-379
• /
• 2015

The existence of mathematical objects was considered through diorism which was used in ancient Greece as conditions for the existence of the solution of the problem. Proposition I-22 of Euclid Elements has diorism for the existence of triangle. By discussing the diorism in Elements, ancient Greek mathematician proved the existence of defined object by postulates or theorems. Therefore, the existence of mathematical object is verifiability in the axiom system. From this perspective, construction is the main method to guarantee the existence in the Elements. Furthermore, we suggest some implications about the existence of mathematical objects in school mathematics.

• Journal for History of Mathematics
• /
• v.31 no.2
• /
• pp.55-72
• /
• 2018

Matteo Ricci and Xu Gwangqi translated the first six Books of Euclid's Elements and published it with the title Jihe Yuanben, or Giha Wonbon in Korean in 1607. It was brought into Joseon as a part of Tianxue Chuhan in the late 17th century. Recognizing that Jihe Yuanben deals with universal statements under deductive reasoning, Jo Tae-gu completed his Juseo Gwan-gyeon to associate the traditional mathematics and the deductive inferences in Jihe Yuanben. Since Jo served as a minister of Hojo and head of Gwansang-gam, Jo had a comprehensive understanding of Song-Yuan mathematics, and hence he could successfully achieve his objective, although it is the first treatise of Jihe Yuanben in Joseon. We also show that he extended the results of Jihe Yuanben with his algebraic and geometric reasoning.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.2
• /
• pp.10-17
• /
• 1989

The Berlekamp-Massey algorithm, the method of using the Euclid algorithm, and Fourier transforms over a finite field can be used for the decoding of Reed-Solomon codes (called RS codes). RS codes can also be decoded by the algorithm that was developed by Peterson and refined by the Gorenstein and Zierler. However, the decoding of RS codes using the Peterson-Gorenstein-Zieler algorithm offers sometimes computational or implementation advantages. The decoding procedure of the double-error correcting (31,27) Rs code over the symbol field GF ($2^5$) will be analyized in this paper. The complete analysis, gate array design, and implementation for encoder/decoder pair of (31.27)RS code are performed with a strong theoretical justification.

• Communications of Mathematical Education
• /
• v.32 no.2
• /
• pp.207-223
• /
• 2018

In this study, we studied Bumwoo KIM Chi Young's cogitation on mathematics, and analyzed his typical 3 essays on mathematics by KoNLP. Approximately 80% of Bumwoo's sentences consist of less than 30. His writing became clearer over the years. It is verified from the mean and standard deviation of the number of words in a sentence are decreasing. Bumwoo emphasized the structure in mathematics, and he was a strong advocate of importancy on axiom, topolized and category as the characteristics of modern mathematics. In particular, it can be seen that the relations between 'mathematics', 'axiom', 'structure', 'Euclid', 'axiomatic system' and 'set' were his main topic.

• Journal of Educational Research in Mathematics
• /
• v.20 no.4
• /
• pp.529-546
• /
• 2010

This study aims to analyze and criticize the definition of the similarity concept in mathematical texts by investigating mathematical history. At first, we analyzed the definition of Pythagoras, the definition of Euclid's ${\ll}$Elements${\gg}$, the definition of Clairaut's ${\ll}$Elements of geometry${\gg}$, the postulate of Brkhoff's postulates for plane geometry, the definition of Birkhoff & Beatly의 ${\ll}$Basic Geometry${\gg}$. the definition of SMSG ${\ll}$Geometry${\gg}$. and the definition of the similarity concept in current mathematics texts. Then we criticized the definition of the similarity concept in current mathematics texts based on mathematical history. We critically discussed three issues and gave three suggestions.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.6
• /
• pp.1575-1582
• /
• 1998

Reed-Solomon(RS) code which is especially effective against burst error is studied as a forward error correction technique in this ppaer. The circuits of RS encoder and decoder for ASIC implementation are designed and presented employing modified Euclid's algorithm. The functionalities of the designed circuits are verified though C programs which simulates the circuits over the various errors and erasures. The pipelined circuits using systolic arrays are designed for ASIC realization in VHDL, and verified through the logic simulations. Finally the circuit synthesis of RS encoder and decoder can be achieved.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.10a
• /
• pp.648-651
• /
• 2001

This paper describes the 8-error-correction (204, 188) Reed-Solomon Decode. over GF(2$^{8}$ ) for a satellite communication. It is synthsized using a CMOS library. Decoding algorithm of Reed-Solomon codes consists of four steps which are to compute syndromes, to find error-location polynomial, to decide error-location, and to slove error-values. The decoder is designed using Modified Euclid algorithm in this paper. First of all, The functionalities of the circuit are verified through C++ programs, and then it is designed in Verilog HDL. It is verified through the logic simulations of each blocks. Finally, The Reed-Solomon Decoder is synthesized with Synopsys Tool.