• International Journal of Control, Automation, and Systems
• /
• 제4권6호
• /
• pp.769-774
• /
• 2006

In this paper, we discuss the problem of non-mutual detectability using the invariant zero. We propose a representation method for excess spaces by linear equation based on the Rosenbrock system matrix. As an alternative to the system enlargement method proposed by White[1], we propose an appropriate form of an enlarged system to make a set of faults mutually detectable by assigning sufficient geometric multiplicity of invariant zeros. We show the equivalence between the two methods and a necessary condition for the system enlargement in terms of the geometric and algebraic multiplicities of invariant zeros.

• 한국농공학회지
• /
• 제37권3_4호
• /
• pp.34-47
• /
• 1995

It is experienced fact as a regular annual event that the structure to he designed on unreasonable flood for the agricultural structures including reservoirs have been brought not only loss of lives, but also enormous property damage. For the solution of this problem at issue, this study was conducted to develop an optimal runoff hydrograph model by comparison of the peak flows and time to peak between observed and simulated flows derived by linear time-invariant and linear time-variant models under the condition of having a short duration of heavy rainfall with uniform rainfall intensity at nine small watersheds which are within the range of 55.9 to 140.7 square kilometers in area in Han, Geum, Nagdong and Yeongsan Rivers. The results obtained through this study can be summarized as follows. 1. Storage constants and Gamma function arguments were calculated within the range of 1.2 to 6.42 and of 1.28 to 8.05 respectively by the moment method as the parameters for the analysis of runoff hydrograph based on linear time-invariant model. 2. Parameters for both linear time-invariant and linear time-variant models were calibrated with nine gaged watershed data, using a trial and error method. The resulting parameters including Gamma function argument, N and storage constant, K for linear time-invariant model were related statistically to watershed characteristic variables such as area, slope, length of main stream and the centroid length of the basin. 3. Average relative errors of the simulated peak discharge of calibrated runoff hydrographs by using linear time-variant and linear time-invariant models were shown to be 0.75 and 5.42 percent respectively to the peak of observed runoff hydrographs. Correlation coefficients for the statistical analysis in the same condition were shown to be 0.999 and 0.978 with a high significance respectively. Therefore, it can be concluded that the accuracy of a linear time-variant model is approaching more closely to the observed runoff hydrograph than that of a linear time-invariant model in the applied watersheds. 4. Average relative errors of the time to peak of calibrated runoff hydrographs by using linear time-variant and linear time-invariant models were shown to be 16.44 and 19.89 percent respectively to the time to peak of observed runoff hydrographs. Correlation coefficients in the same condition were also shown to be 0.999 and 0.886 with a high significance respectively. 5. It can be seen that the shape of simulated hydrograph based on a linear time- variant model is getting closer to the observed runoff hydrograph than that of a linear time-invariant model in the applied watersheds. 6. Two different models were verified with different rainfall-runoff events from data for the calibration by relative error and correlation analysis. Consequently, it can be generally concluded that verification results for the peak discharge and time to peak of simulated runoff hydrographs were in good agreement with those of calibrated runoff hydrographs.

• 대한수학회보
• /
• 제46권2호
• /
• pp.255-261
• /
• 2009

In this paper, we shall prove several results concerning Ricci curvature of a Riemannian manifold (M, g) := (SU(2), g) with an arbitrary given left invariant metric g. First of all, we obtain the maximum (resp. minimum) of {r(X) := Ric(X,X) | ${||X||}_g$ = 1,X ${\in}$ X(M)}, where Ric is the Ricci tensor field on (M, g), and then get a necessary and sufficient condition for the Levi-Civita connection ${\nabla}$ on the manifold (M, g) to be projectively flat. Furthermore, we obtain a necessary and sufficient condition for the Ricci curvature r(X) to be always positive (resp. negative), independently of the choice of unit vector field X.

• International Journal of Control, Automation, and Systems
• /
• 제6권6호
• /
• pp.960-967
• /
• 2008

This paper shows that design of a robustly stable repetitive control system is equivalent to that of a feedback control system for an uncertain linear time-invariant system satisfying the well-known robust performance condition. Once a feedback controller is designed to satisfy the robust performance condition, the feedback controller and the repetitive controller using the performance weighting function robustly stabilizes the repetitive control system. It is also shown that we can obtain a steady-state tracking error described in a simple form without time-delay element if the robust stability condition is satisfied for the repetitive control system. Moreover, using this result, a sufficient condition is provided, which ensures that the least upper bound of the steady-state tracking error generated by the repetitive control system is less than or equal to the least upper bound of the steady-state tracking error only by the feedback system.

• 충청수학회지
• /
• 제24권3호
• /
• pp.503-515
• /
• 2011

Let G be a compact connected semisimple Lie group, B the Killing form of the algebra g of G, and g the invariant metric induced by B. Then, we obtain a necessary and sufficient condition for a left invariant linear connection D with a Weyl structure ($D,\;g,\;{\omega}$) on (G, g) to be projectively flat (resp. Einstein-Weyl). And, we also get that if a left invariant linear connection D with a Weyl structure ($D,\;g,\;{\omega}$) on (G, g) which has symmetric Ricci tensor $Ric^D$ is projectively flat, then the connection D is Einstein-Weyl; but the converse is not true. Moreover, we show that if a left invariant connection D with Weyl structure ($D,\;g,\;{\omega}$) on (G, g) is projectively flat (resp. Einstein-Weyl), then D is a Yang-Mills connection.

• Nonlinear Functional Analysis and Applications
• /
• 제26권5호
• /
• pp.985-994
• /
• 2021

The object of this paper is to study non-invariant hypersurface of a (𝜖, 𝛿)-trans Sasakian manifolds equipped with (f, g, u, v, λ)-structure. Some properties obeyed by this structure are obtained. The necessary and sufficient conditions also have been obtained for totally umbilical non-invariant hypersurface with (f, g, u, v, λ)-structure of a (𝜖, 𝛿)-trans Sasakian manifolds to be totally geodesic. The second fundamental form of a non-invariant hypersurface of a (𝜖, 𝛿)-trans Sasakian manifolds with (f, g, u, v, λ)-structure has been traced under the condition when f is parallel.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권8호
• /
• pp.999-1007
• /
• 1999

이 논문은 재귀원형군 G(2^m , 2^k )를 그래프 이론적 관점에서 고찰하고 정점이 서로소인 사이클과 그래프 invariant에 관한 위상 특성을 제시한다. 재귀원형군은 1 에서 제안된 다중 컴퓨터의 연결망 구조이다. 재귀원형군 {{{{G(2^m , 2^k )가 길이 사이클을 가질 필요 충분 조건을 구하고, 이 조건하에서 G(2^m , 2^k )는 가능한 최대 개수의 정점이 서로소이고 길이가l`인 사이클을 가짐을 보인다. 그리고 정점 및 에지 채색, 최대 클릭, 독립 집합 및 정점 커버에 대한 그래프 invariant를 분석한다.Abstract In this paper, we investigate recursive circulant G(2^m , 2^k ) from the graph theory point of view and present topological properties of G(2^m , 2^k ) concerned with vertex-disjoint cycles and graph invariants. Recursive circulant is an interconnection structure for multicomputer networks proposed in 1 . A necessary and sufficient condition for recursive circulant {{{{G(2^m , 2^k ) to have a cycle of lengthl` is derived. Under the condition, we show that G(2^m , 2^k ) has the maximum possible number of vertex-disjoint cycles of length l`. We analyze graph invariants on vertex and edge coloring, maximum clique, independent set and vertex cover.

• Kyungpook Mathematical Journal
• /
• 제56권4호
• /
• pp.1247-1257
• /
• 2016

In this paper, we discuss the crossing change operation along exchangeable double curves of a surface-knot diagram. We show that under certain condition, a finite sequence of Roseman moves preserves the property of those exchangeable double curves. As an application for this result, we also define a numerical invariant for a set of surface-knots called du-exchangeable set.

• 대한수학회보
• /
• 제50권3호
• /
• pp.951-962
• /
• 2013

We introduce semi-slant submersions from almost Hermitian manifolds onto Riemannian manifolds as a generalization of slant submersions, semi-invariant submersions, anti-invariant submersions, etc. We obtain characterizations, investigate the integrability of distributions and the geometry of foliations, etc. We also find a condition for such submersions to be harmonic. Moreover, we give lots of examples.

• 한국시뮬레이션학회논문지
• /
• 제10권1호
• /
• pp.13-24
• /
• 2001

We propose a divide-conquer method of Petri nets under the condition of one-boundedness for all the Petri nets. We introduce the P-invariant transitive matrix of Petri nets and relationship between them. The feature of the P-invariant transitive matrix is that each element stands for the transitive relationship between input place and output place through the firing of the enable transition.