• IMMUNE NETWORK
• /
• 제11권6호
• /
• pp.406-411
• /
• 2011

Background: Invariant Natural killer T (iNKT) cells, a distinct subset of CD1d-restricted T cells with invariant $V{\alpha}{\beta}$ TCR, functionally bridge innate and adaptive immunity. While iNKT cells share features with conventional T cells in some functional aspects, they simultaneously produce large amount of Th1 and Th2 cytokines upon T-cell receptor (TCR) ligation. However, gene expression pattern in two types of cells has not been well characterized. Methods: we performed comparative microarray analyses of gene expression in murine iNKT cells and conventional $CD4^+CD25^-$ ${\gamma}{\delta}TCR^-$ T cells by using Gene Set Enrichment Analysis (GSEA) method. Results: Here, we describe profound differences in gene expression pattern between iNKT cells and conventional $CD4^+CD25^-$ ${\gamma}{\delta}TCR^-$ T cells. Conclusion: Our results provide new insights into the functional competence of iNKT cells and a better understanding of their various roles during immune responses.

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

A fingerprint verification system based on a set of invariant moment features and a nonlinear Back Propagation Neural Network(BPNN) verifier is proposed. An image-based method with invariant moment features for fingerprint verification is used to overcome the demerits of traditional minutiae-based methods and other image-based methods. The proposed system contains two stages: an off-line stage for template processing and an on-line stage for testing with input fingerprints. The system preprocesses fingerprints and reliably detects a unique reference point to determine a Region-of-Interest(ROI). A total of four sets of seven invariant moment features are extracted from four partitioned sub-images of an ROI. Matching between the feature vectors of a test fingerprint and those of a template fingerprint in the database is evaluated by a nonlinear BPNN and its performance is compared with other methods in terms of absolute distance as a similarity measure. The experimental results show that the proposed method with BPNN matching has a higher matching accuracy, while the method with absolute distance has a faster matching speed. Comparison results with other famous methods also show that the proposed method outperforms them in verification accuracy.

• 대한수학회지
• /
• 제50권1호
• /
• pp.17-39
• /
• 2013

The study of nonlinear discrete-time control dynamical systems with disturbance is an important topic in control theory. In this paper, we concentrate our efforts to multiple valued iterative dynamical systems, which model the nonlinear discrete-time control dynamical systems with disturbance. After establishing the validity of such modeling, we study the invariant set theory of the multiple valued iterative dynamical systems, including the controllability/reachablity problems of the maximal invariant sets.

• 대한수학회논문집
• /
• 제19권4호
• /
• pp.619-637
• /
• 2004

In this paper, a left module over an associative ring with identity is defined to be openly semiprimitive (strongly semiprimitive, respectively) by the zero intersection of all maximal open fully invariant submodules (all maximal open submodules which are fully invariant, respectively) of it. For any projective module, the openly semiprimitivity of the projective module is an equivalent condition of the semiprimitivity of endomorphism ring of the projective module and the strongly semiprimitivity of the projective module is an equivalent condition of the endomorphism ring of the projective module being a sub direct product of a set of subdivisions of division rings.

• 대한수학회보
• /
• 제48권5호
• /
• pp.1015-1021
• /
• 2011

A point of a Riemann surface X is said to be its fixed point if it is a fixed point of one of its nontrivial holomorphic automorphisms. We start this note by proving that the set Fix(X) of fixed points of Riemann surface X of genus g${\geq}$2 has at most 82(g-1) elements and this bound is attained just for X having a Hurwitz group of automorphisms, i.e., a group of order 84(g-1). The set of such points is invariant under the group of holomorphic automorphisms of X and we study the corresponding symmetric representation. We show that its algebraic type is an essential invariant of the topological type of the holomorphic action and we study its kernel, to find in particular some sufficient condition for its faithfulness.

• 대한수학회지
• /
• 제48권2호
• /
• pp.289-300
• /
• 2011

Let T(X) denote the semigroup (under composition) of transformations from X into itself. For a fixed nonempty subset Y of X, let S(X, Y) = {${\alpha}\;{\in}\;T(X)\;:\;Y\;{\alpha}\;{\subseteq}\;Y$}. Then S(X, Y) is a semigroup of total transformations of X which leave a subset Y of X invariant. In this paper, we characterize when S(X, Y) is isomorphic to T(Z) for some set Z and prove that every semigroup A can be embedded in S($A^1$, A). Then we describe Green's relations for S(X, Y) and apply these results to obtain its group H-classes and ideals.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.122-124
• /
• 2005

In this paper, we propose a switching control method for 2nd order nonlinear systems. The main idea behind the method is changing the control law before the trajectory of the solution arrives at the singularities imposed on the denominator of the control law. We show that the control system is asymptotically stable from the fact that the sector consisting of the singular hyperplanes is an invariant set. Illustrative examples are given.

• East Asian mathematical journal
• /
• 제30권5호
• /
• pp.583-597
• /
• 2014

In this paper, we study an area-preserving piecewise linear map with the feature of dangerous border collision bifurcations. Using this map, we study dynamical properties occurred in the invariant set, specially related to the boundary of KAM-tori, and the existence and stabilities of periodic orbits. The result shows that elliptic regions having periodic orbits and chaotic region can be divided by smooth curve, which is an unexpected result occurred in area preserving smooth dynamical systems.

• 제어로봇시스템학회논문지
• /
• 제19권6호
• /
• pp.489-494
• /
• 2013

This paper tackles the problem of designing a dynamic output-feedback control for linear discrete-time norm-bounded uncertain systems with input saturation. By employing a LPV (Linear Parameter Varying) instead of LTI (Linear Time-Invariant) control, the useful information on interpolation parameters appearing in the procedure of representing saturation nonlinearity as a convex polytope is additionally applied in the control design procedure. By solving the addressed problem that can be recast into a convex optimization problem characterized by LMIs (Linear Matrix Inequalities) with one prescribed scalar, the vertices of convex set containing an LPV output-feedback control gain and the associated maximal invariant set of initial states are simultaneously obtained.

• 한국HCI학회논문지
• /
• 제1권2호
• /
• pp.27-33
• /
• 2006

본 논문은 회전 및 천이 불변 이미지 텍스처 검색의 새로운 방식을 소개한다. 주파수 영역의 극 좌표계에서 동일한 공간주파수에서 각도방향으로 투영을 함으로써 각도 투영법을 만들어 냈으며, 제안된 각도 투영법을 이용하여 주파수 영역에서 푸리에 계수의 합과 표준 편차를 특징벡터로 이용하였다. 각도 투영법을 쉽게 구현하기 위하여 극 좌표계에서 라돈변환이 수행된다. 실험 시 MPEG-7 데이터를 이용하였으며 그 결과는 여러 텍스처 이미지를 검 색하는데 있어서 특징을 잘 구별해 내는 결과를 보여준다. 또한 제안된 회전 및 천이불변 특징 추출 알고리듬은 등 방성 텍스처나 국부적인 방향성을 보이는 텍스처 영상 검색에서 효율적인 검색률을 보인다.