• 호남수학학술지
• /
• 제29권4호
• /
• pp.569-576
• /
• 2007

Let $\cal{H}$ be a separable, infinite dimensional, complex Hilbert space. We call "an operator $\cal{T}$ acting on $\cal{H}$ has a star moment sequence supported on a set K" when there exist nonzero vectors u and v in $\cal{H}$ and a positive Borel measure ${\mu}$ such that <$T^{*j}T^ku$, v> = ${^\int\limits_{K}}\;{{\bar{z}}^j}\;{{\bar{z}}^k}\;d\mu$ for all j, $k\;\geq\;0$. We obtain a characterization to find a representing star moment measure and discuss some related properties.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.947-952
• /
• 1993

A simplified pole-placement design method is developed by analysing dynamic characteristics of the switching dynamics. Unlike the design procedure of conventional pole-placement, in the proposed method, overall state-space is directly decomposed into two invariant subspaces by the projection operator which is defined in the equivalent system, and then the closed-loop poles are assigned to each subspace independently. Hence, computations for state-feedback gain matrix are easy and simple.

• Journal of applied mathematics & informatics
• /
• 제38권3_4호
• /
• pp.261-269
• /
• 2020

For any Banach spaces X and Y, let L(X, Y) denote the set of all bounded linear operators from X to Y. Let A ∈ L(X, Y) and B, C ∈ L(Y, X) satisfying operator equation ABA = ACA. In this paper, we prove that AC and BA share the local spectral properties such as a finite ascent, a finite descent, property (K), localizable spectrum and invariant subspace.

• Journal of applied mathematics & informatics
• /
• 제28권3_4호
• /
• pp.723-737
• /
• 2010

In this paper, we investigate the sampling theorem for frame in multiwavelet subspaces. By the frame satisfying some special conditions, we obtain its dual frame with explicit expression. Then, we give an equivalent condition for the sampling theorem to hold in multiwavelet subspaces. Finally, a sufficient condition under which the sampling theorem holds is established. Some typical examples illustrate our results.

• Korean Journal of Mathematics
• /
• 제5권1호
• /
• pp.9-16
• /
• 1997

In this paper, we construct new classes from the idea of [6, Theorem 2.1] and show that the property of operators belonging to the classes is inherited by certain dilations. And we also prove that the existence of common noncyclic vectors for certain families is equivalent to the existence of infinite dimensional common semi-invariant subspace of operators.

• 대한수학회논문집
• /
• 제13권1호
• /
• pp.85-94
• /
• 1998

The purpose of this paper is to give sample characterizations of n-dimensional CR-submanifolds of (n-1) CR-semifolds of (n-1) CR-dimension immersed in a complex projective space $CP^{(n+p)/2}$ with Fubini-Study metric and we study an n-dimensional compact, orientable, minimal CR-submanifold of (n-1) CR-dimension in $CP^{(n+p)/2}$.

• International Journal of Aeronautical and Space Sciences
• /
• 제17권2호
• /
• pp.184-194
• /
• 2016

In existing identification methods for on-orbit spacecraft, such as eigensystem realization algorithm (ERA) and subspace method identification (SMI), singular value decomposition (SVD) is used frequently to estimate the modal parameters. However, these identification methods are often used to process the linear time-invariant system, and there is a lower computation efficiency using the SVD when the system order of spacecraft is high. In this study, to improve the computational efficiency in identifying time-varying modal parameters of large spacecraft, a faster recursive algorithm called fast approximated power iteration (FAPI) is employed. This approach avoids the SVD and can be provided as an alternative spacecraft identification method, and the latest modal parameters obtained can be applied for updating the controller parameters timely (e.g. the self-adaptive control problem). In numerical simulations, two large flexible spacecraft models, the Engineering Test Satellite-VIII (ETS-VIII) and Soil Moisture Active/Passive (SMAP) satellite, are established. The identification results show that this recursive algorithm can obtain the time-varying modal parameters, and the computation time is reduced significantly.

• Structural Engineering and Mechanics
• /
• 제52권5호
• /
• pp.903-918
• /
• 2014

Large space structures may have resonant low eigenvalues and often these appear with closely-spaced natural frequencies. Owing to the coupling among modes with closely-spaced natural frequencies, each eigenvector corresponding to closely-spaced eigenvalues is ill-conditioned that may cause structural instability. The subspace to an invariant subspace corresponding to closely-spaced eigenvalues is well-conditioned, so a method is presented to design the feedback control law of intelligent structures with closely-spaced eigenvalues in this paper. The main steps are as follows: firstly, the system with closely-spaced eigenvalues is transformed into that with repeated eigenvalues by the spectral decomposition method; secondly, the computation for the linear combination of eigenvectors corresponding to repeated eigenvalues is obtained; thirdly, the feedback control law is designed on the basis of the system with repeated eigenvalues; fourthly, the system with closely-spaced eigenvalues is regarded as perturbed system on the basis of the system with repeated eigenvalues; finally, the feedback control law is applied to the original system, the first order perturbations of eigenvalues are discussed when the parameter modifications of the system are introduced. Numerical examples are given to demonstrate the application of the present method.

• 정보보호학회논문지
• /
• 제30권3호
• /
• pp.325-336
• /
• 2020

비선형 불변 공격은 비교적 간단한 구조의 키 스케줄을 갖는 경량 블록암호에서 필수적으로 고려되어야 할 공격이다. 간단한 구조의 키 스케줄을 갖는 경량 블록암호가 비선형 불변 공격에 저항성을 보이는 방법으로 가장 잘 알려진 것은 라운드 키 간의 차분 중 알려진 것들의 집합에서 선형계층에 대해 불변인 최소의 선형공간의 크기가 블록 크기와 같은지를 확인하는 것이다. 본 논문에서는 다음과 같은 연구 결과를 제시한다. 설계자 관점에서 비트 순열을 선형계층으로 사용하는 SPN 구조 경량 블록암호는 라운드 키 간의 차분의 종류가 한가지여도 비선형 불변 공격에 안전할 수 있음을 증명하고, 그러한 비트 순열의 형태와 개수를 제안한다. 또한, PRESENT 구조 블록암호는 비선형 불변 공격에 저항성을 갖기 위해 적어도 두 종류의 라운드 키 간의 차분이 필요함을 전수조사를 통해 보이며, 두 종류의 라운드 키 간의 차분을 필요로 하는 비트 순열을 사용해도 차분 공격에 대한 저항성이 오히려 증가할 수 있음을 보인다. 마지막으로 GIFT의 S-box를 사용하면서 BOGI 설계 논리를 유지하는 모든 비트 순열의 불변 성분 분포를 통해, 변형된 GIFT 구조 블록암호는 비선형 불변 공격에 저항성을 갖기 위해 적어도 8종류의 라운드 키 간의 차분이 필요함을 보인다.

• Korean Journal of Mathematics
• /
• 제22권1호
• /
• pp.85-89
• /
• 2014

A bounded linear Hilbert space operator T is said to be k-quasi-class A operator if it satisfy the operator inequality $T^{*k}{\mid}T^2{\mid}T^k{\geq}T^{*k}{\mid}T{\mid}^2T^k$ for a non-negative integer k. It is proved that if T is a k-quasi-class A contraction, then either T has a nontrivial invariant subspace or T is a proper contraction and the nonnegative operator $D=T^{*k}({\mid}T^2{\mid}-{\mid}T{\mid}^2)T^k$ is strongly stable.