• 대한수학회보
• /
• 제58권1호
• /
• pp.163-170
• /
• 2021

We present a concise proof of the conjecture of Mazur-Rubin-Stein on the distribution of modular symbols.

• 제어로봇시스템학회논문지
• /
• 제18권9호
• /
• pp.806-811
• /
• 2012

In this paper Hartley functions are used to approximate the solutions of continuous time linear dynamical system. The Hartley function and its integral operational matrix are first presented, an efficient algorithm to solve the Stein equation is proposed. The algorithm is based on the compound matrix and the inverse of sum of matrices. Using the structure of the Hartley's integral operational matrix, the full order Stein equation should be solved in terms of the solutions of pure algebraic matrix equations, which reduces the computation time remarkably. Finally a numerical example is illustrated to demonstrate the validity of the proposed algorithm.

• 제어로봇시스템학회논문지
• /
• 제14권10호
• /
• pp.977-982
• /
• 2008

In this paper Haar functions are developed to approximate the solutions of continuous time linear system. Properties of Haar functions are first presented, and an explicit expression for the inverse of the Haar operational matrix is presented. Using the inverse of the Haar operational matrix the full order Stein equation should be solved in terms of the solutions of pure algebraic matrix equations, which reduces the computation time remarkably. Finally a numerical example is illustrated to demonstrate the validity of the proposed algorithm.

• 전기학회논문지
• /
• 제57권8호
• /
• pp.1434-1439
• /
• 2008

Numerical methods for solving the state feedback control problem of linear time invariant system are presented in this paper. The methods are based on Haar wavelet approximation. The properties of Haar wavelet are first presented. The operational matrix of integration and its inverse matrix are then utilized to reduce the state feedback control problem to the solution of algebraic matrix equations. The proposed methods reduce the computation time remarkably. Finally a numerical example is illustrated to demonstrate the validity and applicability of the proposed methods.