• Communications of the Korean Mathematical Society
• /
• v.19 no.2
• /
• pp.355-373
• /
• 2004

An extended directed triple system of order v, denoted by EDTS(v), is a pair (V, (equation omitted)) where V is a v-set and (equation omitted) is a set of transitive triples of elements of V such that every ordered pair of elements of V is contained in exactly one member of (equation omitted). We obtain a necessary and sufficient condition for the existence of cyclic EDTS(v)s, and when k=1 or 2, we also obtain a necessary and sufficient condition for the existence of k-rotational EDTS(v)s.

• Journal of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.283-312
• /
• 2020

A sufficient condition for an Artinian complete intersection quotient S = 𝕜[x, y]/(x^m, yⁿ), where 𝕜 is an algebraically closed field of a prime characteristic, to have the strong Lefschetz property (SLP) was proved by S. B. Glasby, C. E. Praezer, and B. Xia in [3]. In contrast, we find a necessary and sufficient condition on m, n satisfying 3 ≤ m ≤ n and p > 2m-3 for S to fail to have the SLP. Moreover we find the Jordan types for S failing to have SLP for m ≤ n and m = 3, 4.

• Journal of the Korean Mathematical Society
• /
• v.43 no.6
• /
• pp.1357-1369
• /
• 2006

It is known that if C is an [24m + 2l, 12m + l, d] selfdual binary linear code with $0{\leq}l<11,\;then\;d{\leq}4m+4$. We present a sufficient condition for the nonexistence of extremal selfdual binary linear codes with d=4m+4,l=1,2,3,5. From the sufficient condition, we calculate m's which correspond to the nonexistence of some extremal self-dual binary linear codes. In particular, we prove that there are infinitely many such m's. We also give similar results for additive self-dual codes over GF(4) of length n=6m+1.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1777-1795
• /
• 2015

In this paper, we establish sufficient conditions for the solution set of parametric generalized vector mixed quasivariational inequality problem to have the semicontinuities such as the inner-openness, lower semicontinuity and Hausdorff lower semicontinuity. Moreover, a key assumption is introduced by virtue of a parametric gap function by using a nonlinear scalarization function. Then, by using the key assumption, we establish condition ($H_h$(${\gamma}_0$, ${\lambda}_0$, ${\mu}_0$)) is a sufficient and necessary condition for the Hausdorff lower semicontinuity, continuity and Hausdorff continuity of the solution set for this problem in Hausdorff topological vector spaces with the objective space being infinite dimensional. The results presented in this paper are different and extend from some main results in the literature.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.271-271
• /
• 2000

This paper considers guaranteed cost output feedback controller for the uncertain time-varying delay systems with delays in state and control input. The uncertainty in the system is assumed to be norm-bounded and time-varying. The sufficient condition for the existence of controller and the guaranteed cost output feedback controller design method are presented. Also, using some changes of variables and Schur complements, the obtained sufficient condition can be reformulated as LMI forms in terms of transformed variables. Using the obtained LMI variables, we derive guaranteed cost controller gain and guaranteed cost.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.286-286
• /
• 2000

We consider a negative unity feedback control system in which Che PIO, PI, PD or P controller and a transfer function having only poles are in cascade, We define the notion of the structural polynomial which means that there exists a subdomain of the coefficient space in which the polynomial is Hurwitz (left half plane stable) polynomial. We obtain the necessary and sufficient condition of the structure of the transfer function of which the characteristic polynomial is a structural polynomial, In addition, this paper present another necessary and sufficient condition for the existence of a constant gain controller with which the characteristic polynomial is structurally stable, For the structurally stabilizable P controller, it is allowed that the transfer function may not to all pole plants.

• Journal of Welding and Joining
• /
• v.15 no.6
• /
• pp.32-40
• /
• 1997

Solid state diffusion bonding is the joining process performed by creep and diffusion, which is accelerated by heating below melting temperature and proper pressing, in vacuum or shielding gas atmosphere. By this process we can obtain sufficient joint which can't be expected from the fusion welding. For Ti-6Al-4V alloy, the optimum solid state diffusion bonding condition and mechanical properties of the joint were found, and micro void morphology at bond interface was observed by SEM. The results of tensile test showed sufficient joint, whose mechanical properties are similar to that of base metal. 850$^{\circ}$C, 3MPa is considered as the optimum bonding condition. Void morphology at interface is long and flat at the initial stage. As the percentage of bonded area increases, however, small and round voids are found. Variation of void shape can be explained as follows. As for the void shrinkage mechanism, at the initial stage, power law creep is the dominant, but diffusion mechanism is dominant when the percentage of bonded area is increased.

• Journal of Electrical Engineering and information Science
• /
• v.3 no.2
• /
• pp.163-169
• /
• 1998

In this paper, we consider the problem of designing H$\infty$ state feedback controller for the generalized time systems with delayed states and control inputs in continuous and discrete time cases, respectively. The generalized time delay system problems are solved on the basis of LMI(linear matrix inequality) technique considering time delays. The sufficient condition for the existence of controller and H$\infty$ state feedback controller design methods are presented. Also, using some changes of variables and Schur complements, the obtained sufficient condition can be rewritten as a LMI form in terms of transformed variables. The propose controller design method can be extended into the problem of robust H$\infty$ state feedback controller design method easily.

• Proceedings of the KIEE Conference
• /
• 1998.11b
• /
• pp.413-416
• /
• 1998

We investigate the Hurwitz stability condition using the coefficient diagram. The coefficient diagram consists of a plot of logarithmic values of the coefficients of the characteristic polynomial versus the degree of the coresponding coefficients. The logarithmic value of the coefficient of the characteristic polynomials are plotted in the descending order. Using the Bhattacharyya, Chapellat and Keel's algorithm, the sufficient and necessary condition for Hurwitz stability are reconstructed using the coefficient diagram. With the coefficient diagram we also present some necessary or sufficient conditions for Hurwitz stability of polynomials. In addition we obtain a lower bound for the Manabe parameter $\tau$.

• Journal of applied mathematics & informatics
• /
• v.23 no.1_2
• /
• pp.353-359
• /
• 2007

A necessary and sufficient condition for Demyanov difference and Minkowski difference of compact convex subsets in $R^2$ being equal is given in this paper. Several examples are computed by Matlab to test our result. The necessary and sufficient condition makes us to compute Clarke subdifferential by quasidifferential for a special of Lipschitz functions.