• School Mathematics
• /
• v.7 no.4
• /
• pp.353-373
• /
• 2005

The purpose of this paper is to analysis the basic network problem which can be applied to the mathematically gifted students in elementary school. Mainly, we discuss didactic transpositions of the double counting principle, the game of sprouts, Eulerian graph problem, and the minimum connector problem. Here the double counting principle is related to the handshaking lemma; in any graph, the sum of all the vertex-degree is equal to the number of edges. The selection of these subjects are based on the viewpoint; to familiar to graph theory, to raise algorithmic thinking, to apply to the real-world problem. The theoretical background of didactic transpositions of these subjects are based on the Polya's mathematical heuristics and Lakatos's philosophy of mathematics; quasi-empirical, proofs and refutations as a logic of mathematical discovery.

• Proceedings of the KIEE Conference
• /
• 1988.07a
• /
• pp.898-901
• /
• 1988

Up to now, using adaptive control method, Identification deals with system whose entire state variables and prameters are accessible for measurement. In practical situations, all the state variables cannot be measured and it is impossible to directly apply since the parameters of the system are unknown. Therefore, in this paper, using only input-output data, such a model of the system is not available since the parameters of the system are unknown. this leads to the concept of an adptive observer in which both the parameters and the state variable of the system are identified simultaniously. Lyapunov's direct method and Kalman-Yakubovich (K-Y) lemma are employed to ensure the stability of this schemes. The feature is that the signal and adaptive gain which is generated from filter is imposed upon feedback vector and then state variables and the unknown parameters can be identified. To show the usefulness of the proposed schemes, computer simulation result of unknown second-order system shows the effectiveness of the proposed schems.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.53 no.7
• /
• pp.483-490
• /
• 2004

The descriptor system model has a high ability in representing dynamical systems. It can preserve physical parameters in the coefficient matrices, and describe the dynamic part, static part, and even the improper part of the system in the same form. The design of mixed $H_{2}/H_{\infty}$ controllers for linear time-invariant descriptor systems is considered in this paper. Firstly, an $H_2$ and $H_{\infty}$ synthesis problems fur a descriptor system are presented separately in terms of linear matrix inequalities (LMIs) based on the bounded real lemma. Then, we show that the existence of a mixed $H_2/H_{\infty}$ controller by which the $H_2$ norm of the second channel is minimized while keeping the $H_2$ norm bound of the first channel less than ${\gamma}$, is reduced to the linear objective minimization problem. The class of desired controllers that are assumed to have the same structure as the plant is parameterized by using the linearizing change of variables.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.7 no.5
• /
• pp.817-832
• /
• 2015

This paper presents a state feedback based backstepping control algorithm to address the trajectory tracking problem of an underactuated Unmanned Surface Vessel (USV) in the horizontal plane. A nonlinear three Degree of Freedom (DOF) underactuated dynamic model for USV is considered, and trajectory tracking controller that can track both curve trajectory and straight line trajectory with high accuracy is designed as the well known Persistent Exciting (PE) conditions of yaw velocity is completely relaxed in our study. The proposed controller has further been enriched by incorporating an integral action additionally for enhancing the steady state performance and control precision of the USV trajectory tracking control system. Global stability of the overall system is proved by Lyapunov theory and Barbalat's Lemma, and then simulation experiments are carried out to demonstrate the effectiveness of the controller designed.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.51 no.8
• /
• pp.409-416
• /
• 2002

This paper presents a fault location algorithm using direct 3-phase circuit analysis for distribution power networks. The unbalanced feature of distribution networks due to single phase loads or asymmetric operation prohibits us from using the conventional symmetrical component transformation. Even though the symmetrical component transformation provides us with a very easy tool in three phase network analysis, it is limited to balanced systems in utilizing its strong point, which is not suitable for distribution networks. In this paper, a fault location algorithm using direct 3-phase circuit analysis is developed. The algorithm is derived and it Is shown that the proposed method if we use matrix inverse lemma, is not more difficult then the conventional methods using symmetrical component transformation. Since the symmetrical component transformation is not used in the suggested method, unbalanced networks also can be handled with the same difficulty as balanced networks. The case study results show the correctness and effectiveness of the proposed algorithm.

• Genomics & Informatics
• /
• v.12 no.4
• /
• pp.254-260
• /
• 2014

Best linear unbiased prediction (BLUP) has been used to estimate the fixed effects and random effects of complex traits. Traditionally, genomic relationship matrix-based (GRM) and random marker-based BLUP analyses are prevalent to estimate the genetic values of complex traits. We used three methods: GRM-based prediction (G-BLUP), random marker-based prediction using an identity matrix (so-called single-nucleotide polymorphism [SNP]-BLUP), and SNP-SNP variance-covariance matrix (so-called SNP-GBLUP). We used 35,675 SNPs and R package "rrBLUP" for the BLUP analysis. The SNP-SNP relationship matrix was calculated using the GRM and Sherman-Morrison-Woodbury lemma. The SNP-GBLUP result was very similar to G-BLUP in the prediction of genetic values. However, there were many discrepancies between SNP-BLUP and the other two BLUPs. SNP-GBLUP has the merit to be able to predict genetic values through SNP effects.

• Journal of Plant Biology
• /
• v.37 no.1
• /
• pp.53-67
• /
• 1994

The opal phytolith types in Oryza sativa L. were examined with light and scanning electron microscope, and we suggested the standard tenninoligies based on original cells of the phytoliths in situ. The distinctive fonus of opal phytoliths were observed in all plant parts such as leaf blade, leaf sheath, culm, root, glume, lemma, and palea. The phytolith fonus originated from long cell, short cell, and dennal appendages were different from part to part. The opal phytoliths derived from the long cells showed the most various form: twelve types were identified based on side wall shape. The results showed that the leaf blade did include almost all types of opal phytolith observed in the other parts of rice.f rice.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38B no.10
• /
• pp.832-842
• /
• 2013

Cognitive Radio has attracted intensive interests of the researchers, recently. The data rate always increases in the emerging technologies. The increased data rate poses mainly two challenges for spectrum sensing. One is that the state of primary user (PU) is fast and alternatively varying between "on/off" in a spectrum sensing window. The other is that the asynchronicity among the reports in a cooperative spectrum sensing setting becomes more apparent. Both of them would deteriorate the spectrum sensing performance. Thus, we propose an asynchronous cooperative spectrum sensing method to cope with these two challenges. A likelihood ratio test based spectrum sensing is developed for a single cooperator. The likelihood ratio is obtained in the setting of fast varying PU state. The likelihood ratio test is uniformly powerful according to the Neyman-pearson lemma. Furthermore, the asynchronicity among the cooperators are studied. Two sets of fusion weights are discussed for the asynchronous time among cooperators. One is designed based on the condition probability of the PU state variation and the other one is designed based on the queueing theory. The simulation results are provided with different fusion methods. The performance improvements are demonstrated.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.11a
• /
• pp.248-251
• /
• 1999

We extend the sue of the method of least square to develop a recursive algorithm for the design of adaptive transversal filters such that, given the least-square estimate of this vector of the filter at iteration n-1, we may compute the updated estimate of this vector at i(oration n upon the arrival of new data. The RLS algorithm may be viewed as a special case of the Kalman filter. Indeed this special relationship between the RLS algorithm and the Kalman filter is considered. We begin the development of the RLS algorithm by reviewing some basic relations that pertain to the method of least squares. Then, by exploiting a relation in matrix algebra known as the matrix inversion lemma, we develop the RLS algorithm. An important feature of the RLS algorithm is that it utilizes information contained in the input data, extending back to the instant of time when the algorithm is initiated. The resulting rate of convergence is therefore typically an order of magnitude faster than the simple LMS algorithm. This improvement in performance, however, Is achieved at the expensive of a large increase in computational complexity.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.7 no.5
• /
• pp.180-183
• /
• 2008

This research addresses the problem of estimating Origin-Destination (O-D) trip matrices from link volume counts, a set of unobserved link volumes and information of user equilibrium flows in transportation networks. A heuristic algorithm for estimating unobserved link flows is derived, which provides volume estimates that are approximately consistent with both observed flows and an assumption of user equilibrium conditions. These estimated link volumes improve the constraints associated with the synthetic OD estimation model, providing improved solution search procedure. Model performance is tracked in terms of the root mean square errors (RMSE) in predicted travel demands, and where appropriate, predicted linked volumes. These results indicate that the new model substantially outperforms existing approaches to estimating user-equilibrium based synthetic O-D matrices.