• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.47 no.11
• /
• pp.1-6
• /
• 2010

In Sensor Networks, the problem of finding the optimal routing path dynamically, which passes through all terminals or nodes once per each, may come up. Providing a generalized scheme of approximations that can be applied to the kind of problems, and formulating the bounds of the run time and the results of the algorithm made from the scheme, one may evaluate mathematically the routing path formed in a given network. This paper, dealing with Euclidean TSP(Euclidean Travelling Sales Person) that represents such problems, provides the scheme for constructing the approximated Euclidean TSP by parallel computing, and the ground for determining the difference between the approximated Euclidean TSP produced from the scheme and the optimal Euclidean TSP.

• Journal of Communications and Networks
• /
• v.15 no.2
• /
• pp.217-221
• /
• 2013

Quantum low-density parity-check (LDPC) codes based on the Calderbank-Shor-Steane construction have low encoding and decoding complexity. The sum-product algorithm(SPA) can be used to decode quantum LDPC codes; however, the decoding performance may be significantly decreased by the many four-cycles required by this type of quantum codes. All four-cycles can be eliminated using the entanglement-assisted formalism with maximally entangled states (ebits). The proposed entanglement-assisted quantum error-correcting code based on Euclidean geometry outperform differently structured quantum codes. However, the large number of ebits required to construct the entanglement-assisted formalism is a substantial obstacle to practical application. In this paper, we propose a novel class of entanglement-assisted quantum LDPC codes constructed using classical Euclidean geometry LDPC codes. Notably, the new codes require one copy of the ebit. Furthermore, we propose a construction scheme for a corresponding zigzag matrix and show that the algebraic structure of the codes could easily be expanded. A large class of quantum codes with various code lengths and code rates can be constructed. Our methods significantly improve the possibility of practical implementation of quantum error-correcting codes. Simulation results show that the entanglement-assisted quantum LDPC codes described in this study perform very well over a depolarizing channel with iterative decoding based on the SPA and that these codes outperform other quantum codes based on Euclidean geometries.

• The Mathematical Education
• /
• v.49 no.1
• /
• pp.53-65
• /
• 2010

The congruent conditions of triangles' plays an important role to connect intuitive geometry with deductive geometry in school mathematics. It is induced by 'three determining conditions of triangles' which is justified by classical geometric construction. In this paper, we analyze the essential meaning and geometric position of 'congruent conditions of triangles in Euclidean Geometry and investigate introducing processes for them in the Elements of Euclid, Hilbert congruent axioms, Russian textbook and Korean textbook, respectively. Also, we give justifications of construction methods for triangle having three segments with fixed lengths and angle equivalent to given angle suggested in Korean textbooks, are discussed, which can be directly applicable to teaching geometric construction meaningfully.

• Journal of information and communication convergence engineering
• /
• v.17 no.4
• /
• pp.246-254
• /
• 2019

This paper proposes a solution to the problem of finding a subgraph for a given instance of many terminals on a Euclidean plane. The subgraph is a tree, whose nodes represent the chosen terminals from the problem instance, and whose edges are line segments that connect two corresponding terminals. The tree is required to have the maximum number of nodes while the length is limited and is not sufficient to interconnect all the given terminals. The problem is shown to be NP-hard, and therefore a genetic algorithm is designed as an efficient practical approach. The method is suitable to various probable applications in layout optimization in areas such as communication network construction, industrial construction, and a variety of machine and electronics design problems. The proposed heuristic can be used as a general-purpose practical solver to reduce industrial costs by determining feasible interconnections among many types of components over different types of physical planes.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.47 no.11
• /
• pp.36-42
• /
• 2010

This paper presents a hybrid approach to the construction of quasi-cyclic (QC) low-density parity-check (LDPC) codes based on parallel bundles in Euclidean geometries and circulant permutation matrices. Codes constructed by this method are shown to be regular with large girth and low density. Simulation results show that these codes perform very well with iterative decoding and achieve reasonably large coding gains over uncoded system.

• Journal of Communications and Networks
• /
• v.16 no.3
• /
• pp.249-257
• /
• 2014

This paper presents methods to the construction of regular and irregular low-density parity-check (LDPC) codes based on Euclidean geometries over the Galois field. Codes constructed by these methods have quasi-cyclic (QC) structure and large girth. By decomposing hyperplanes in Euclidean geometry, the proposed irregular LDPC codes have flexible column/row weights. Therefore, the degree distributions of proposed irregular LDPC codes can be optimized by technologies like the curve fitting in the extrinsic information transfer (EXIT) charts. Simulation results show that the proposed codes perform very well with an iterative decoding over the AWGN channel.

• Journal of Communications and Networks
• /
• v.13 no.3
• /
• pp.205-210
• /
• 2011

This paper presents an approach to the construction of multiple-rate quasi-cyclic low-density parity-check (LDPC) codes. Parity-check matrices of the proposed codes consist of $q{\times}q$ square submatrices. The block rows and block columns of the parity-check matrix correspond to the hyperplanes (${\mu}$-fiats) and points in Euclidean geometries, respectively. By decomposing the ${\mu}$-fiats, we obtain LDPC codes of different code rates and a constant code length. The code performance is investigated in term of the bit error rate and compared with those of LDPC codes given in IEEE standards. Simulation results show that our codes perform very well and have low error floors over the additive white Gaussian noise channel.

• Journal for History of Mathematics
• /
• v.13 no.2
• /
• pp.133-144
• /
• 2000

We study on a Mohr-Mascheroni theorem, which is the followings: If a construction problem is solved by euclidean tools(compass and ruler), then it can be solved using only compass. Though it is known that Mohr-Mascheroni theorem was proved by Mascheroni, but we have not any materials concerned with Mascheroni's work. In order to investigate Mohr-Mascheroni theorem, we analyze Euclid's Elements, and we draw some construction problems, which are essential for proving Mohr-Mascheroni theorem. We solve these problems using only compass. Though we don't solve all construction problems of Euclid's Elements, we can regard that Mohr-Mascheroni theorem is proved.

• Journal of Educational Research in Mathematics
• /
• v.23 no.1
• /
• pp.53-74
• /
• 2013

The purpose of this paper is to analyze how mathematically gifted middle school students find out the necessary and sufficient condition for a certain hyperbolic line to be parallel to a given hyperbolic line in Non-Euclidean disc model (Poincar$\acute{e}$ disc model) using the Geometer's Sketchpad. We also investigated their characteristic of mathematical thinking and analyze how they express what they had observed while they did mental experiments in the Poincar$\acute{e}$ disc using computer-aided construction tools, measurement tools and inductive reasoning.

• Journal of Communications and Networks
• /
• v.15 no.1
• /
• pp.71-76
• /
• 2013

A new class of quantum low-density parity-check (LDPC) codes whose parity-check matrices are dual-containing matrices constructed based on lines of Euclidean geometries (EGs) is presented. The parity-check matrices of our quantum codes contain one and only one 4-cycle in every two rows and have better distance properties. However, the classical parity-check matrix constructed from EGs does not satisfy the condition of dual-containing. In some parameter conditions, parts of the rows in the matrix maybe have not any nonzero element in common. Notably, we propose four families of fascinating structure according to changes in all the parameters, and the parity-check matrices are adopted to satisfy the requirement of dual-containing. Series of matrix properties are proved. Construction methods of the parity-check matrices with dual-containing property are given. The simulation results show that the quantum LDPC codes constructed by this method perform very well over the depolarizing channel when decoded with iterative decoding based on the sum-product algorithm. Also, the quantum codes constructed in this paper outperform other quantum codes based on EGs.