• 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.

• Physical Therapy Korea
• /
• v.4 no.3
• /
• pp.84-96
• /
• 1997

This paper reviews the developmental plan of industry in the industrial present condition of Korean Assistive Technology (Rehabilitation Engineering). The discussion includes the important role that go ahead the research of present condition about the enterprise of Assistive Technology (Rehabilitaton Engineering), reinforce the standard of equipment, the enterprise requesting the enlargement of facilities must lease a low late by the bank financing, give a necessary funds to a excellent minor enterprise, support a variety custom reduce method to buy a machine parts and machinery. The education master plan for rehabilitation engineer must be necessary the national medical engineer by establishing over one department at one big city and one province Further more research studies are required to realize on the developmental plan of Assistive Technology (Rehabilitation Engineering).

• Journal of Electrical Engineering and Technology
• /
• v.6 no.5
• /
• pp.706-712
• /
• 2011

Necessary and sufficient conditions for the existence of diagonal, block-diagonal, and triangular decoupling controllers in linear multivariable systems for the most general setting are presented. The plant model in this study is sufficiently general to accommodate non-square plant and non-unity feedback cases with one-degree-of-freedom (1DOF) or two-degree-of-freedom (2DOF) controller configuration. The existence condition is described in terms of rank conditions on the coefficient matrices in partial fraction expansions.

• Journal of Korean Institute of Fire Investigation
• /
• v.8 no.1
• /
• pp.41-48
• /
• 2006

The purpose of this study is to identify the fire danger of the electric radiant heating system and check the way how to use it and the problems that could be possible through a actual case. We carry out an experiment to identify the possibility of the fire in the similar condition of the actual fire case. The results of this study are as follows. It is a possible condition to fire if the air blast of the electric radiant heating system is blocked by some combustible materials such as plastic bags continuously. A temperature sensor and a residual current device are necessary to disconnect the power source. It is also necessary to attach a notice in front of the electric radiant hearing system that shows users the fire danger to forbid the possible fire. Fires could be happened by internal defects of the electronic products. However, we can also find many external reasons to happen fires. Therefore, we need to check all reasons to make fires in the scene of a fire.

• Proceedings of the KIEE Conference
• /
• 2001.07d
• /
• pp.2045-2047
• /
• 2001

In this paper, we proposed the representation method of specification and the control rules fork FMS by TPL. To increase productivity and resource utilization, it is desirable to have more active jobs in the system, but the more active jobs there are, the more easily deadlock occur. Therefore, it is very important that the real-time deadlock control to disable deadlock. In this paper, we performed the system modeling by the CROPN(Colored Resource -Oriented Petri Net) and the necessary -sufficient condition check to disable deadlock. We proposed the supervisory control system that can be the real-time monitoring for deadlock free through a necessary-sufficient condition by CROPN modelling, and designed the logic controller of the extended process using TPL.

• Journal of the Korean Statistical Society
• /
• v.32 no.3
• /
• pp.245-259
• /
• 2003

The 2-way balanced one-level rotation design has been discussed (Park et al., 2001), where the 2-way balancing is done on interview time in monthly sample and rotation group. We extend it to 3-way balanced multi-level design to obtain more information of the same sample unit for one or more previous months. The 3-way balancing is accomplished not only on interview time in monthly sample and rotation group but also on recall time as well. The 3-way balancing eliminates or reduces any bias arising from unbalanced interview time, rotation group and recall time, and all rotation groups are equally represented in the monthly sample. We present the rule and rotation algorithm which guarantee the 3-way balancing. In particular, we specify the necessary and sufficient condition for the 3-way balanced multi-level rotation design.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.1-7
• /
• 1993

Vector optimization problems consist of two or more objective functions and constraints. Optimization entails obtaining efficient solutions. Geoffrion [3] introduced the definition of the properly efficient solution in order to eliminate efficient solutions causing unbounded trade-offs between objective functions. In 1974, Isermann [7] obtained a necessary and sufficient condition for an efficient solution of a linear vector optimization problem with linear constraints and showed that every efficient solution is a properly efficient solution. Since then, many authors [1, 2, 4, 5, 6] have extended the Isermann's results. In particular, Gulati and Islam [4] derived a necessary and sufficient condition for an efficient solution of a linear vector optimization problem with nonlinear constraints, under certain assumptions. In this paper, we consider the following nonlinear vector optimization problem (NVOP): (Fig.) where for each i, f$_{i}$ is a differentiable function from R$^{n}$ into R and g is a differentiable function from R$^{n}$ into R$^{m}$ .

• Communications of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.321-331
• /
• 2019

The present paper deals with a study of infinitesimal CL-transformations on Kenmotsu manifolds, whose metric is Yamabe soliton and obtained sufficient conditions for such solitons to be expanding, steady and shrinking. Among others, we find a necessary and sufficient condition of a Yamabe soliton on Kenmotsu manifold with respect to CL-connection to be Yamabe soliton on Kenmotsu manifold with respect to Levi-Civita connection. We found the necessary and sufficient condition for the Yamabe soliton structure to be invariant under Schouten-Van Kampen connection. Finally, we constructed an example of steady Yamabe soliton on 3-dimensional Kenmotsu manifolds with respect to Schouten-Van Kampen connection.

• Communications of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.361-375
• /
• 2021

The object of the present paper is to deduce some important results on generic submanifolds and also generic product of LP-Sasakian manifolds with concurrent vector fields. Also, we provide a necessary and sufficient condition for which the invariant distribution D and anti-invariant distribution D^⊥ of M are Einstein. Also, we deduce an interesting necessary and sufficient condition for submanifolds of LP-Sasakian manifolds to be totally umbilical submanifolds. Especially we deal with the generic submanifolds admitting a Ricci soliton in LP-Sasakian manifolds endowed with concurrent vector fields.

• Communications of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.479-492
• /
• 2024

In this paper, we study Riemannian submersions whose total manifold admits h-almost Ricci-Yamabe soliton. We characterize the fibers of the submersion and see under what conditions the fibers form h-almost Ricci-Yamabe soliton. Moreover, we find the necessary condition for the base manifold to be an h-almost Ricci-Yamabe soliton and Einstein manifold. Later, we compute scalar curvature of the total manifold and using this we find the necessary condition for h-almost Yamabe solition to be shrinking, expanding and steady. At the end, we give a non-trivial example.