• Journal of the Korean Data and Information Science Society
• /
• v.27 no.2
• /
• pp.381-394
• /
• 2016

Graphical model represents conditional dependencies between variables as a graph with nodes and edges. It is widely used in various fields including physics, economics, and biology to describe complex association. Conditional dependencies can be estimated from a inverse covariance matrix, where zero off-diagonal elements denote conditional independence of corresponding variables. This paper proposes a efficient BCDR (block coordinate descent with random permutation) algorithm using graphics processing units and random permutation for the CONCORD (convex correlation selection method) based on the BCD (block coordinate descent) algorithm, which estimates a inverse covariance matrix based on pseudo-likelihood. We conduct numerical studies for two network structures to demonstrate the efficiency of the proposed algorithm for the CONCORD in terms of computation times.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.26 no.1
• /
• pp.85-91
• /
• 2008

When a large sparse matrix is calculated for a horizontal geodetic network adjustment, it needs to go through the process of matrix reordering for the efficiency of time and space. In this study, several reordering methods for sparse matrix were tested, using Sparse Matrix Manipulation System(SMMS) program, total processing time and Fill-in number produced in factorization process were measured and compared. As a result, Minimum Degree(MD) and Mutiple Minimum Degree(MMD), which are based on Minimum Degree are better than Gibbs-Poole-Stockmeyer(GPS) and Reverse Cuthill-Mckee(RCM), which are based on Minimum Bandwidth. However, the method of the best efficiency can be changed dependent on distribution of non-zero elements in a matrix. This finding could be applied to heighten the efficiency of time and storage space for national datum readjustment and other large geodetic network adjustment.

• Journal for History of Mathematics
• /
• v.25 no.4
• /
• pp.101-119
• /
• 2012

The removal of the Go Stones is a game that anyone can play through simple rules. It is not only an interesting game but also a mathematical game that requires comprehensive knowledge of several mathematical theories. Through analyzing the rules and theories of this game, students can get a new mathematical perspective and recognize something that they didn't realize as important before. Furthermore, this game is given to students as a mathematical problem unconsciously. This helps them get a mathematical approach to understanding the actual concept of the problem as well as the basic principle of the problem.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.40 no.3
• /
• pp.99-108
• /
• 2003

This paper is concerned with the problem of designing a guaranteed cost state feedback controller for singular systems with time-varying delays. The sufficient condition for the existence of guaranteed cost controller, the controller design method, and the optimization problem to get the upper bound of guaranteed cost function are proposed by LMI(linear matrix inequality), singular value decomposition, Schur complements, and change of variables. Since the obtained sufficient conditions can be changed to LMI form, all solutions including controller gain and the upper bound of guaranteed cost function can be obtained simultaneously. Moreover, the proposed controller design method can be extended to the problem of robust guaranteed cost controller design method for singular systems with parameter uncertainties and time-varying delays. The validity of the proposed design algorithm is investigated through a numerical example.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.41 no.3
• /
• pp.9-16
• /
• 2004

This paper provides an observer-based Η$\infty$ output feedback controller design method for descriptor systems with time-varying delay by just one LMI(linear matrix inequality) condition. The sufficient condition for the existence of controller and the controller design method are presented by perfect LMI approach which can be solved efficiently by convex optimization. The design procedure involves solving an LMI. Since the obtained condition can be expressed as an LMI form all variables including feedback gain and observer gain can be calculated simultaneously by Schur complement changes of variables, and singular value decomposition. Moreover, The proposed controller design algorithm can be extended to the observer-based robust Η$\infty$ output feedback controller design method for descriptor systems with parameter uncertainty and time delay. An example is given to illustrate the results.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.33 no.6
• /
• pp.2169-2179
• /
• 2013

The compressive strengths of simply supported columns may be significantly increased by reinforcing them with an assemblage of cross-arms and stayed struts connecting both ends of the columns and the cross-arm members. The purpose of the stayed struts and cross-arms is to introduce partial restraints against translation and rotation, thereby decreasing the effective buckling length of the column. In this study, buckling strengths of the assembled column system have been quantitatively evaluated from the theoretical methods based on both the equivalent spring model and the stiffness matrix formulation. And the results were compared with those from elastic/inelastic analysis using a finite element analysis package program, ABAQUS, for verification purpose. Expected compressive strength curves have been proposed for the assembled column system as a function of slenderness ratio of the simply supported column.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.41 no.4
• /
• pp.29-37
• /
• 2004

This paper provides a reliable H$_{\infty}$ state feedback controller design method for delayed singular systems with actuator failures occurred within the prescribed subset. The sufficient condition for the existence of a reliable H$_{\infty}$ controller and the controller design method are presented by linear matrix inequality(LMI), singular value decomposition, Schur complements, and changes of variables. The proposed controller guarantees not only asymptotic stability but also H$_{\infty}$ norm bound in spite of existence of actuator failures. Since the obtained sufficient condition can be expressed as an LMI fen all variables can be calculated simultaneously. Moreover, the controller design method can be extended to the problem of robust reliable H$_{\infty}$ controller design method for singular systems with parameter uncertainties, time-varying delay, and actuator failures. A numerical example is given to illustrate the validity of the result.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.44 no.1
• /
• pp.59-66
• /
• 2007

In this paper, we consider the non-fragile robust guaranteed cost state feedback controllers design method for descriptor systems with parameter uncertainties and static state feedback controller with multiplicative uncertainty. The sufficient condition of controller existence, the design method of non-fragile robust guaranteed cost controller, the measure of non-fragility in controller, the upper bound of guaranteed cost performance measure to minimize the guaranteed cost are presented via LMI(linear matrix inequality) technique. Also, the sufficient condition can be rewritten as LMI form in terms of transformed variables through singular value decomposition, some changes of variables, and Schur complements. Therefore, the obtained non-fragile robust guaranteed cost controller satisfies the asymptotic stability and minimizes the guaranteed cost for the closed loop descriptor systems with parameter uncertainties and controller fragility. Finally, a numerical example is given to illustrate the design method.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.42 no.6
• /
• pp.9-14
• /
• 2005

In this paper, we consider the synthesis of non-fragile $H_{\infty}$ state feedback controllers for singular systems and static state feedback controller with multiplicative uncertainty. The sufficient condition of controller existence, the design method of non-fragile $H_{\infty}$ controller, and the measure of non-fragility in controller are presented via LMI(linear matrix inequality) technique. Also, the sufficient condition can be rewritten as LMI form in terms of transformed variables through singular value decomposition, some changes of variables, and Schur complements. Therefore, the obtained non-fragile $H_{\infty}$ controller guarantees the asymptotic stability and disturbance attenuation of the closed loop singular systems within a prescribed degree. Moreover, the controller design method can be extended to the problem of robust and non-fragile $H_{\infty}$ controller design method for singular systems with parameter uncertainties. Finally, a numerical example is given to illustrate the design method.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.39 no.3
• /
• pp.183-190
• /
• 2002

This paper describes the synthesis of robust and non-fragile H$\infty$ state feedback controllers for linear varying systems with affine parameter uncertainties, and static state feedback controller with structured uncertainty. The sufficient condition of controller existence, the design method of robust and non-fragile H$\infty$ static state feedback controller, and the set of controllers which satisfies non-fragility are presented. The obtained condition can be rewritten as parameterized Linear Matrix Inequalities(PLMls), that is, LMIs whose coefficients are functions of a parameter confined to a compact set. However, in contrast to LMIs, PLMIs feasibility problems involve infinitely many LMIs hence are inherently difficult to solve numerically. Therefore PLMls are transformed into standard LMI problems using relaxation techniques relying on separated convexity concepts. We show that the resulting controller guarantees the asymptotic stability and disturbance attenuation of the closed loop system in spite of controller gain variations within a degree.