• Proceedings of the Korea Contents Association Conference
• /
• 2003.11a
• /
• pp.486-489
• /
• 2003

This paper surveies the harmful sites on Internet. Also political and technical methods for blocking Internet harmful sites are described. Finally, we discuss the synthetic necessary actions for blocking Internet harmful sites

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.883-886
• /
• 1998

We introduce a high level synthesis methodlogoy for automatic synthesis of asynchronous circuits form a language based on CSP. The input language is a high level concurrent algorithmic specification that can model complex concurrent control flow, logical and arithmetic computation and communications between them. This specification is translated into petri net which has actions. These actions are refined to synthesize the controllers and to allocate the data resources. We use the automatic synthesis through signal transition graphs (STGs) that allows to take advantage of logic synthsis methods to optimize the circuit.

• Proceedings of the KIEE Conference
• /
• 1992.07a
• /
• pp.169-171
• /
• 1992

In an automated power distribution systems, the fault situation is controlled from the control center through remotely-controlled sectionalizing switches. In this paper, the service restoration strategy which can yield the minimal switching actions and constraint checking is proposed and an expert system which generates the appropriate switching actions is described.

• Natural Product Sciences
• /
• v.5 no.1
• /
• pp.7-11
• /
• 1999

A mixture of several bacterial metabolites $(Sterodin{\circledR})$ was used to study its effect on major immunocytes, in vivo and in vitro. This mixture of bacterial metabolites increased number of macrophages and neutrophils and their phagocytic activity in experimental animals for a transient period. BSA induced antibody production was found to be higher in the drug treated group. These results indicated that the bacterial metabolites probably acted through non-specific defence mechanism against invading organisms and the chance of reinfection was reduced.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10b
• /
• pp.30-35
• /
• 1992

Conflicting or inconsistent rules sometimes help us to represent the control actions of an expert more freely. Also, uncertainties about the control actions of the expert may render rules with conclusions whore membership functions have different width in their shapes. Conventional inference methods for FLC may not effectively handle such inconsistencies and/or rules containing such conclusions. In this paper, an effective inference method dealing with such If-Then rules is proposed.

• Journal of the Chungcheong Mathematical Society
• /
• v.30 no.1
• /
• pp.61-66
• /
• 2017

In this paper, we introduce the notion of persistent actions of finitely generated groups on compact metric spaces and give a necessary condition for a persistent dynamical system to be topologically stable.

• Journal of Yeungnam Medical Science
• /
• v.27 no.1
• /
• pp.1-7
• /
• 2010

Having an understanding of the properties of cytokines is essential for the immunologist, the researcher and the medical practitioner who need to understand immunologic diseases and immunological therapeutic approaches. Cytokines are redundant in their actions on target cells and promiscuous in their receptor reactions. (ED note: That is some cool use of English!) Moreover, many cells concomitantly produce several cytokines that have overlapping actions. Here this review provides conceptual framework to understand the intriguing aspects of the cytokine system.

• Journal of the Korean Mathematical Society
• /
• v.40 no.3
• /
• pp.563-575
• /
• 2003

We show that if a connected Stein manifold M of dimension n has the holomorphic automorphism group Aut(M) isomorphic to $Aut(C^k {\times}(C^*)^{n - k})$ as topological groups, then M itself is biholomorphically equivalent to C^k{\times}(C^*)^{n - k}$. Besides, a new approach to the study of U(n)-actions on complex manifolds of dimension n is given.

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

Let X be a smooth, closed, connected spin 4-manifold with $b_1(X)=0$ and signature ${\sigma}-(X)$. In this paper we use Seiberg-Witten theory to prove that if X admits a spin alternating $A_4$ action, then $b^+_2(X)$ ${\geq}$ |${\sigma}{(X)}$|/8+3 under some non-degeneracy conditions.

• Journal of the Korean Mathematical Society
• /
• v.40 no.2
• /
• pp.273-286
• /
• 2003

Let $F^{\alpha}$G be a twisted group algebra. A subalgebra of $F^{\alpha}$G generated by all class sums of partition P of G is called a projective class algebra in $F^{alpha}$G associated with partition P. In this paper we study various partitions of G determined by actions of certain operator groups on G and construct projective class algebras depending on the actions. With regard to projective class algebras, we investigate structures of associated skew group algebras and fixed group algebras.