• Bulletin of the Korean Mathematical Society
• /
• v.50 no.1
• /
• pp.83-96
• /
• 2013

Let K be a number field and fix a prime number $p$. For any set S of primes of K, we here say that an elliptic curve E over K has S-reduction if E has bad reduction only at the primes of S. There exists the set $B_{K,p}$ of primes of K satisfying that any elliptic curve over K with $B_{K,p}$-reduction has no $p$-torsion points under certain conditions. The first aim of this paper is to construct elliptic curves over K with $B_{K,p}$-reduction and a $p$-torsion point. The action of the absolute Galois group on the $p$-torsion subgroup of E gives its associated Galois representation $\bar{\rho}_{E,p}$ modulo $p$. We also study the irreducibility and surjectivity of $\bar{\rho}_{E,p}$ for semistable elliptic curves with $B_{K,p}$-reduction.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.1
• /
• pp.33-37
• /
• 2008

Let G be a compact abelian Lie group, and M an odd-dimensional closed smooth G-manifold. If the fixed point set $M^G\neq\emptyset$ and dim $M^G=0$, then G has a subgroup H with $G/H{\cong}\mathbb{Z}_2$, the cyclic group of order 2. The tangential representation $\tau_x$(M) of G at $x{\in}M^G$ is also regarded as a representation of H by restricted action. We show that the number of fixed points is even, and that the tangential representations at fixed points are pairwise isomorphic as representations of H.

• Journal of Internet Computing and Services
• /
• v.16 no.3
• /
• pp.21-32
• /
• 2015

Since spatio-temporal local features for video representation have become an important issue of modeless bottom-up approaches in action recognition, various methods for feature extraction and description have been proposed in many papers. In particular, BoF(bag of features) has been promised coherent recognition results. The most important part for BoF is how to represent dynamic information of actions in videos. Most of existing BoF methods consider the video as a spatio-temporal volume and describe neighboring 3D interest points as complex volumetric patches. To simplify these complex 3D methods, this paper proposes a novel method that builds BoF representation as a way to learn 2D interest points directly from video data. The basic idea of proposed method is to gather feature points not only from 2D xy spatial planes of traditional frames, but from the 2D time axis called spatio-temporal frame as well. Such spatial-temporal features are able to capture dynamic information from the action videos and are well-suited to recognize human actions without need of 3D extensions for the feature descriptors. The spatio-temporal BoF approach using SIFT and SURF feature descriptors obtains good recognition rates on a well-known actions recognition dataset. Compared with more sophisticated scheme of 3D based HoG/HoF descriptors, proposed method is easier to compute and simpler to understand.

• Journal of Information Technology Applications and Management
• /
• v.10 no.1
• /
• pp.111-125
• /
• 2003

This paper proposes a product data model that can express and enforce integrity constraints on product structure during engineering changes (ECs). The model adopts and extends an active object-oriented database model in order to Integrate IC data and their integrity constraints. Tightly integrated with product structure, It will enable designers to maintain and exchange consistent EC data throughout the product life cycle. In order to properly support operations for ECs, the model provides the data, operations, and Event-Condition-Action rules for nested ECs and simultaneous EC applications to multiple options. in addition, the EC objects proposed In the model integrate the data and Integrity constraints into a unified repository. This repository enables designers to access all EC data and integrity constraints through the product structure and relationships between EC objects. This paper also describes a prototype product data management system based on the proposed model In order to demonstrate its effectiveness.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06c
• /
• pp.433-436
• /
• 2010

가상 세계에서 가상 에이전트가 가져야 할 가장 기본적인 기능 중 하나가 이동을 위한 움직임이라 할 수 있다. 본 논문에서는 가상 세계의 Human의 움직임을 모델링하기 위해 객체들의 속성과 Action등을 나타내주는 지식베이스인 온톨로지를 사용하고, 이를 통해서 계층 관계를 구성하고 상속성을 적용한 모델링을 하고자 한다. 그리고 이를 바탕으로 가상 에이전트의 특성을 파악하고 특성에 따라 에이전트가 고유의 패턴을 가지고 동작을 생성하는 방법에 대해 제안한다. 또한 가상의 에이전트가 주변의 정성적 변화에 적응하여 동작을 변화하는 방법을 제시한다. 이렇게 제시된 방법들을 Human의 실제 움직임들 즉, walk, run, creep 등의 동작에 적용해 본다.

• Journal of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.371-386
• /
• 1998

Let G be a compact Lie group and M a semialgebraic G space in some orthogonal representation space of G. We prove that if G is finite then M has an equivariant semialgebraic triangulation. Moreover this triangulation is unique. When G is not finite we show that M has a semialgebraic G CW complex structure, and this structure is unique. As a consequence compact semialgebraic G space has an equivariant simple homotopy type.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.34 no.1
• /
• pp.29-37
• /
• 1985

During Severe emergencies which result in the case of outage of large generator units, an automatic underfrequency protection scheme can prevent the system frequency from decaying and improve the system stability. This paper presents methods and results of a study on the optimum load shedding scheme which covering as follows. 1) Detail representation of governor model 2) Determination of optimum load shedding amount 3) Selection of action time settings of UFR 4) Comparsson of load shedding programs By this study, the optimum system operating method was recommended for reliable operation of power system.

• Journal of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.97-107
• /
• 1999

Given a C-dynamical system (A, G, $\alpha$) with a locally compact group G, two kinds of C-algebras are made from it, called the full C-crossed product and the reduced C-crossed product. In this paper, we extend the theory of the classical C-crossed product to the C-dynamical system (A, G, $\alpha$) with a left-cancellative semigroup M with unit. We construct a new C-algebra A $\alpha$rM, the reduced crossed product of A by the semigroup M under the action $\alpha$ and investigate some properties of A $\alpha$rM.

• Proceedings of the Korea Contents Association Conference
• /
• 2010.05a
• /
• pp.431-433
• /
• 2010

기존의 연구는 동작의 사실성에 비해 다양한 에이전트들의 각기 다른 동작 패턴과 환경 변화에 의한 다양한 움직임의 변화를 표현하는 데에는 한계가 있다. 실제 현실과 논리적으로 부합하는 Agents를 설계하기 위해서는 가상 환경에 대하여 능동적으로 반응하고, 그들과 상호작용하면서 스스로 능동적으로 변화함으로써 다양한 동작들을 수행할 수 있는 Agent가 필요하다. 본 논문에서는 가상 세계에서 일어날 수 있는 다양한 상황들을 제시하고, 이에 따른 다양한 가상 에이전트의 행동 변화를 위한 모델링을 제시하고자 한다.