• Journal of Communications and Networks
• /
• v.5 no.4
• /
• pp.328-343
• /
• 2003

Orthogonal pulse-shape modulation using Hermite pulses for ultra-wideband communications is reviewed. Closedform expressions of cross-correlations among Hermite pulses and their corresponding transmit and receive waveforms are provided. These show that the pulses lose orthogonality at the receiver in the presence of differentiating antennas. Using these expressions, an algebraic model is established based on the projections of distorted receive waveforms onto the orthonormal basis given by the set of normalized orthogonal Hermite pulses. Using this new matrix model, a number of pulse-shape modulation schemes are analyzed and a novel orthogonal design is proposed. In the proposed orthogonal design, transmit waveforms are constructed as combinations of elementary Hermites with weighting coefficients derived by employing the Gram-Schmidt (QR) factorization of the differentiating distortion model’s matrix. The design ensures orthogonality of the vectors at the output of the receiver bank of correlators, without requiring compensation for the distortion introduced by the antennas. In addition, a new set of elementary Hermite Pulses is proposed which further enhances the performance of the new design while enabling a simplified hardware implementation.

• Journal of the Optical Society of Korea
• /
• v.7 no.4
• /
• pp.258-263
• /
• 2003

Simple algebraic expressions are derived to approximate the optimal input RMS pulse width and the resulting output RMS pulse width in single-mode fibers. The results are compared with the previously published methods and with numerical results by the split-step Fourier method. In addition, for a transform-limited Gaussian input pulse, it is shown that there is no optimum input pulse width to minimize the output spectrum width. Finally, with fiber nonlinearity, it is shown mathematically that there is not an optimum input pulse width to minimize the product,${\sigma}_t{\sigma}_{\omega}$, which is inversely proportional to the transmission capacity of WDM systems.

• Journal for History of Mathematics
• /
• v.11 no.1
• /
• pp.36-41
• /
• 1998

In the Chosun Dynasty Nam, Byung-Gil(another name is Nam, Sang-Gil alias Won-Sang; 1820-1869) made a research comparing Chinese traditional mathematics with western mathematics, which missionaries who came to China at the end of Ming Dynasty introduced. He particularly studied fundamental differences between Chinese and western methods to solve algebraic equations. He wrote an article "Moo-Ee-Hae", in which he insisted that the two methods are eventually same though they are different in the고 expressions. His article has big significance as the first mathematic paper in the history of Korean mathematics.thematics.

• Journal of the Korean School Mathematics Society
• /
• v.16 no.3
• /
• pp.539-560
• /
• 2013

The purpose of this study was to investigate characteristics of mathematically gifted high school students' thinking in design activities using GrafEq. Eight mathematically gifted high school students, who already learned graphs of functions and inequalities necessary for design activities, were selected to work in pairs in our experiment. Results indicate that logical thinking and mathematical abstraction, intuitive and structural insights, flexible thinking, divergent thinking and originality, generalization and inductive reasoning emerged in the design activities. Nonetheless, fine-grained analysis of their mathematical activities also implies that teachers for gifted students need to emphasize both geometric and algebraic aspects of mathematical subjects, especially, algebraic expressions, and the tasks for the students are to be rich enough to provide a variety of ways to simplify the expressions.

• Communications of Mathematical Education
• /
• v.31 no.3
• /
• pp.279-290
• /
• 2017

This study proposes a self learning material for understanding the key contents of Galois theory. This material is for teachers who have learned algebraic structures like group, field, and vector space which are related with Galois theory but do not clearly understand how algebraic structures are related with the solvability of polynomials and school mathematics. This material is likely to help them to overcome such difficulties. Even though proposed material is used mainly for self learning, the teachers may be helped once or twice by some professionals. In this article, two expressions 'solvability of polynomial' and 'solvability of equation' have the same meaning and 'teacher' means in-service mathematics teacher.

• The Mathematical Education
• /
• v.51 no.1
• /
• pp.47-61
• /
• 2012

Students can infer mathematical principles in a very natural way by connecting mutual relations between mathematical fields. These process can be revealed by taking tasks that can derive mathematical connections. The task of this study is to make expression and design it and derive mathematical principles from the design. This study classifies the mathematical field of expression for design and analyzes mathematical thinking process by connecting mathematical fields. To complete this study, 40 gifted students from 5 to 8 grade were divided into two classes and given 4 hours of instruction. This study analyzes their personal worksheets and e-mail interview. The students make expressions using a functional formula, remainder and figure. While investing mathematical principles, they generalized design by mathematical guesses, generalized principles by inference and accurized concept and design rules. This study proposes the class that can give the chance to infer mathematical principles by connecting mathematical fields by designing.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.2
• /
• pp.264-276
• /
• 1995

In this paper, a technique for eliminating conditional branches in the compilers for superscalar processors is presented. The technique consists of three major steps. The first step transforms conditional branches into equivalent expressions using algebraic laws. The second step searches all possible instruction sequences for those expressions using GSO of Granlund/Kenner. Finally an optimal sequence that has the least dynamic count for the target superscalar processor is selected from the GSO output. Experiment result shows that for each conditional branch is the input program matched by one of the optimization patterns, the proposed technique outperforms more than 25% speedup of execution time over the original code when the GNU C compiler and the SuperSPARC processor are used.

• Journal of the Korea Society for Simulation
• /
• v.24 no.2
• /
• pp.11-17
• /
• 2015

Although systems with finite capacities have been the topic of much study, there are as of yet no analytic expressions for (higher) moment and tail probability of stationary waiting times in systems with even constant processing times. The normal queueing theory cannot properly handle such systems due to the difficulties caused by finite capacity. In this study, for a DBR (Drum-Buffer-Rope) line production system with constant processing times, we introduce analytic expressions by using previous results obtained using a max-plus algebraic approach.

• Journal of the Korea Society for Simulation
• /
• v.28 no.2
• /
• pp.119-129
• /
• 2019

Although line production systems with finite buffers have been studied over several decades, except for some special cases there are no explicit expressions for system performances such as waiting times(or response time) and blocking probability. Recently, a max-plus algebraic approach for buffer-sharing systems with constant processing times was introduced and it can lead to analytic expressions for (higher) moment and tail probability of stationary waiting. Theoretically this approach can be applied to general processing times, but it cannot give a proper way for computing performance measures. To this end, in this study we developed simulation models using @RISK software and the expressions derived from max-plus algebra, and computed and compared blocking probability, waiting time (or response time) with respect to two blocking policies: communication(BBS: Blocking Before Service) and production(BAS: Blocking After Service). Moreover, an optimization problem which determines the minimum shared-buffer capacity satisfying a predetermined QoS(quality of service) is also considered.

• Journal of applied mathematics & informatics
• /
• v.31 no.1_2
• /
• pp.299-309
• /
• 2013

In this paper, we introduce a new numerical technique which we call fractional Chebyshev finite difference method (FChFD). The algorithm is based on a combination of the useful properties of Chebyshev polynomials approximation and finite difference method. We tested this technique to solve numerically fractional BVPs. The proposed technique is based on using matrix operator expressions which applies to the differential terms. The operational matrix method is derived in our approach in order to approximate the fractional derivatives. This operational matrix method can be regarded as a non-uniform finite difference scheme. The error bound for the fractional derivatives is introduced. The fractional derivatives are presented in terms of Caputo sense. The application of the method to fractional BVPs leads to algebraic systems which can be solved by an appropriate method. Several numerical examples are provided to confirm the accuracy and the effectiveness of the proposed method.