• Journal of applied mathematics & informatics
• /
• v.26 no.5_6
• /
• pp.1215-1219
• /
• 2008

We find a necessary and sufficient condition that the prime factors of $A^m+1$ and $A^n+1$ coincide for odd positive integers $n>m{\geq}1$. Moreover, we also find a necessary and sufficient condition that the set of all prime factors of $A^m+1$ is a subset of those of $A^n+1$ for $n>m{\geq}1$.

• East Asian mathematical journal
• /
• v.32 no.5
• /
• pp.717-728
• /
• 2016

In this paper, we give a necessary and sufficient condition for an essential simple loop on a 2-bridge sphere in an even Heckoid orbifold for the trivial knot to be null-homotopic, peripheral or torsion in the orbifold. We also give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in an even Heckoid orbifold for the trivial knot to be homotopic in the orbifold.

• 전기의세계
• /
• v.49 no.9
• /
• pp.17-24
• /
• 2000

This paper presents sufficient conditions7 for monotonicity of the saddle point value for receding-horizon H$\infty$ control(RHHC). The resulting monotonicity is used to prove the stability of the closed-loop. Under these sufficient conditions the well-known terminal equality condition is handled as a special case and the condition on the state weighting matrix is weakened so as to include even the zero matrix. The whole procedure is much simpler than the previous results and thus is expected to be easily extended for constrained delayed and/or nonlinear systems with the RHHC.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.43 no.4
• /
• pp.648-657
• /
• 1994

This paper presents a solution of the H$\infty$ control problem for a linear singularly perturbed system. A sufficient condition for a linear singularly perturbed system to achieve the prescribed disturbance attenuation level is obtained. Based upon this sufficient condition, an H$\infty$ controller design method which involves the solutions of two generalized algebraic Riccati equations(GRE) is developed.

• Proceedings of the IEEK Conference
• /
• 2001.06e
• /
• pp.29-32
• /
• 2001

This paper presents matrix inequality conditions for H$_2$optimal control of linear time-invariant descriptor systems in continuous and discrete time cases, respectively. First, the necessary and sufficient condition for H$_2$control and H$_2$controller design method are expressed in terms of LMls(linear matrix inequalities) with no equality constraints in continuous time case. Next, the sufficient condition for H$_2$control and H$_2$controller design method are proposed by matrix inequality approach in discrete time case. A numerical example is given in each case.

• Honam Mathematical Journal
• /
• v.45 no.2
• /
• pp.248-268
• /
• 2023

As a generalization of conformal semi-invariant submersion, conformal slant submersion and conformal semi-slant submersion, in this paper we study conformal hemi-slant submersion from Kenmotsu manifold onto a Riemannian manifold. The necessary and sufficient conditions for the integrability and totally geodesicness of distributions are discussed. Moreover, we have obtained sufficient condition for a conformal hemi-slant submersion to be a homothetic map. The condition for a total manifold of the submersion to be twisted product is studied, followed by other decomposition theorems.

• Journal of Institute of Control, Robotics and Systems
• /
• v.10 no.5
• /
• pp.395-401
• /
• 2004

We present an AILC(Adaptive Iterative Learning Control) scheme and a sufficient condition for system parameter identification for uncertain robotic systems that perform the same tasks repetitively. It is guaranteed that the joint velocity and position asymptotically converge to the reference joint velocity and position, respectively. In addition, it is proved that a sufficient condition for parameter identification is the PE(Persistent Excitation) condition on the regressor matrix evaluated at the reference trajectory during the operation period. Since the regressor matrix on the reference trajectory can be easily computed prior to the real robot operation, the proposed algorithm provides a useful method to verify whether the parameter error converges to zero or not.

• Journal of Power System Engineering
• /
• v.3 no.2
• /
• pp.84-88
• /
• 1999

In this paper, systems described by state-space models are considered. For these systems, author studies the decoupling of linear systems and gives a sufficient condition for a system to be made feedback decouplable. Especially, the condition is given by LMI(Linear Matrix Inequality) form. Based on this condition, it is guaranteed that the system decoupling problem is achieved and the $H_{\infty}$ constraint is satisfied simultaneously. This result can be easily extended to the robust decoupling control system design problems.

• Journal for History of Mathematics
• /
• v.28 no.4
• /
• pp.191-204
• /
• 2015

The reason of the confusion of learners about the logic concepts such as implication, necessary condition and sufficient condition can be analyzed from the point of view of history of logic, discrepancy between ordinary language and formal logic, and reification which occurs in the process of cognition of discursive object and also indicates the necessity of a research. This study analysed the difficulties related to study and implication concept and attempted to the reflection of textbook and curriculum. Not that ordinary language makes the introduction of formal language easier, but that this study discussed the possibilities ordinary language intervenes the learning of formal language. This study additionally intended to understand learning difficulties of concrete subjects, abstract subjects and the gap between primary object and discursive object by understanding the process of sagging, encapsulating and reifying.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.953-955
• /
• 1993

In this paper we propose a new stability theorem and a robust stability condition for linguistic fuzzy model systems in state space. First we define a stability in linear sense. After representing the fuzzy model by a system with disturbances, A necessary and sufficient condition for the stability is derived. This condition is proved to be a sufficient condition of the fuzzy model. The Q in the Lyapunov equation is iteratively adjusted by an gradient-based algorithm to improve its stability test. Finally, stability robustness bounds of a system having modeling error is derived. An example is also included to show that the stability test is powerful.