• 대한수학회보
• /
• 제55권2호
• /
• pp.431-448
• /
• 2018

This paper is concerned with the positive definite solutions of the nonlinear matrix equation $X-A^*{\bar{X}}^{-1}A=Q$, where A, Q are given complex matrices with Q positive definite. We show that such a matrix equation always has a unique positive definite solution and if A is nonsingular, it also has a unique negative definite solution. Moreover, based on Sherman-Morrison-Woodbury formula, we derive elegant relationships between solutions of $X-A^*{\bar{X}}^{-1}A=I$ and the well-studied standard nonlinear matrix equation $Y+B^*Y^{-1}B=Q$, where B, Q are uniquely determined by A. Then several effective numerical algorithms for the unique positive definite solution of $X-A^*{\bar{X}}^{-1}A=Q$ with linear or quadratic convergence rate such as inverse-free fixed-point iteration, structure-preserving doubling algorithm, Newton algorithm are proposed. Numerical examples are presented to illustrate the effectiveness of all the theoretical results and the behavior of the considered algorithms.

• 정보보호학회논문지
• /
• 제31권3호
• /
• pp.527-532
• /
• 2021

본 논문에서는 미국 NIST PQC 표준화 Final List 알고리즘 중 유일한 다변수이차방정식(multivariate quadratic equation) 기반의 전자 서명인 Rainbow 알고리즘에서의 효율적인 유한체 연산 방법을 제안한다. Chou 등은 최근 Rainbow를 Cortex-M4에서 구현하기 위한 새로운 효율적 구현 방법을 제시하였다. 본 논문은 Chou 등이 제안한 방법을 개선하여 기존 대비 XOR 연산의 숫자를 13.7% 이상 감소할 수 있는 새로운 곱셈 방법을 제안한다. 또한, 테이블 룩업(Table Lookup)으로 수행되던 상에서의 역원 연산을 4x4 행렬 역원으로 치환하여 연산하는 방법을 제시한다. 또한, 새로운 구현을 RaspberryPI 3B+상에서 구현하여 성능을 측정하였다.

• 대한수학회보
• /
• 제46권1호
• /
• pp.71-78
• /
• 2009

An element of a ring R with identity is called strongly clean if it is the sum of an idempotent and a unit that commute, and R is called strongly clean if every element of R is strongly clean. Let R be a noncommutative local ring, a criterion in terms of solvability of a simple quadratic equation in R is obtained for $M_2$(R) to be strongly clean.

• 전자공학회논문지 IE
• /
• 제44권4호
• /
• pp.26-29
• /
• 2007

본 논문에서는 섭동 시스템 행렬을 가지는 선형 시스템에 대하여 Lyapunov 방정식과 함수를 고려하여 섭동 유계를 유도한다. 그리고 Lyapunov 함수의 도함수가 음의 정의로 보장되는 가장 큰 섭동 구간을 허락하는 Lyapunov 함수의 선택에 대하여 고려한다. 행렬 계수를 가지는 행렬 리카티 방정식의 해 존재에 대하여 살펴보며, 예를 통하여 검증한다.

• 한국정밀공학회지
• /
• 제22권8호
• /
• pp.34-41
• /
• 2005

Generally, it is not easy to get a suitable controller for multi variable systems. If the modeling equation of the system can be found, it is possible to get LQR control as an optimal solution. This paper suggests an LQR learning method to design LQR controller without the modeling equation. The proposed algorithm uses the same cost function with error and input energy as LQR is used, and the LQR controller is trained to reduce the function. In this training process, the Jacobian matrix that informs the converging direction of the controller Is used. Jacobian means the relationship of output variations for input variations and can be approximately found by the simple experiments. In the simulations of a hydrofoil catamaran with multi variables, it can be confirmed that the training of LQR controller is possible by using the approximate Jacobian matrix instead of the modeling equation and this controller is not worse than the traditional LQR controller.

• 제어로봇시스템학회논문지
• /
• 제4권5호
• /
• pp.561-566
• /
• 1998

This paper presents an algebraic approach to optimal control for time invariant continuous system using STWS(single term Walsh series). In optimal control, it is well known that the design problem with quadratic performance criteria often involves the determination of time-varying feedback gain matrix by solving the matrix nonlinear Riccati equation and of command signal by solving the integral equation, which makes design procedure quite difficult. Therefore, in order to resolve this problem, this paper is introduced to STWS. In this paper, the time-varying feedback gains and command signals are determined by piecewise constant gains which can be easily obtained from algebraic equation using STWS.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 하계학술대회 논문집 B
• /
• pp.584-586
• /
• 1997

The orthogonal polynomials have been widely employed to solve control problems, but the LQG(linear quadratic gaussian) problem remains unsolved. In this paper, we obtained the solutions of Riccati equation and covariance matrix Riccati equation by two point boundary problem and matrix fraction method using BPF(Block Pulse Function), respectively. This solutions are solved the problem of the LQG controller design.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2007년도 하계종합학술대회 논문집
• /
• pp.485-486
• /
• 2007

In this paper, we use Lyapunov equations and functions to consider the linear systems with perturbed system matrices. And we consider that what choice of Lyapunov function V would allow the largest perturbation and still guarantee that V is negative definite. We find that this is determined by testing for the existence of solutions to a related quadratic equation with matrix coefficients and unknowns the so-called matrix Riccati equation.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1995년도 Proceedings of the Korea Automation Control Conference, 10th (KACC); Seoul, Korea; 23-25 Oct. 1995
• /
• pp.10-13
• /
• 1995

This paper considers the linear-quadratic optimal regulator problem for nonstandard singularly perturbed systems making use of the recursive technique. We first derive a generalized Riccati differential equation by the Hamilton-Jacobi equation. In order to obtain the feedback gain, we must solve the generalized algebraic Riccati equation. Using the recursive technique, we show that the solution of the generalized algebraic Riccati equation converges with the rate of convergence of O(.epsilon.). The existence of a bounded solution of error term can be proved by the implicit function theorem. It is enough to show that the corresponding Jacobian matrix is nonsingular at .epsilon. = 0. As a result, the solution of optimal regulator problem for nonstandard singularly perturbed systems can be obtained with an accuracy of O(.epsilon.$^{k}$ ). The proposed technique represents a significant improvement since the existing method for the standard singularly perturbed systems can not be applied to the nonstandard singularly perturbed systems.

• 대한기계학회논문집
• /
• 제19권7호
• /
• pp.1665-1674
• /
• 1995

An optimum design has been performed to maximize specific energy (SED) of composite flywheel rotor for energy storage system. The flywheel rotor is assumed to be an axisymmetric thick laminated shell with a plane strain state for structural analysis. For the structural analysis the centrifugal force is considered and the stiffness matrix equation was derived for each ring considering the interferences between the rings. The global stiffness matrix was derived by integrating the local stiffness matrix satisfying the conditions of force and displacement compatibilities. Displacements are then calculated from the global stiffness matrix and the stresses in each ring are also calculated. 3-D intra-laminar quadratic Tsai-Wu criterion is then used for the strength analysis. An optimum procedure is also developed to find the optimal interferences and lay up angle to maximize SED using the sensitivity analysis.