• International Journal of Control, Automation, and Systems
• /
• v.4 no.3
• /
• pp.293-301
• /
• 2006

A new discretization method for calculating a sampled-data representation of a nonlinear continuous-time system is proposed. The proposed method is based on the well-known Taylor series expansion and zero-order hold (ZOH) assumption. The mathematical structure of the new discretization method is analyzed. On the basis of this structure, a sampled-data representation of a nonlinear system with a time-delayed input is derived. This method is applied to obtain a sampled-data representation of a non-affine nonlinear system, with a constant input time delay. In particular, the effect of the time discretization method on key properties of nonlinear control systems, such as equilibrium properties and asymptotic stability, is examined. 'Hybrid' discretization schemes that result from a combination of the 'scaling and squaring' technique with the Taylor method are also proposed, especially under conditions of very low sampling rates. Practical issues associated with the selection of the method parameters to meet CPU time and accuracy requirements are examined as well. The performance of the proposed method is evaluated using a nonlinear system with a time-delayed non-affine input.

• Journal of Korea Entertainment Industry Association
• /
• v.4 no.3
• /
• pp.62-69
• /
• 2010

As the information services are reachable by various terminals almost anytime, anywhere, much effort has been made to endow the users with context-aware services by utilizing available information. The increase in leisure time and wealth has made people pay more attention to hobby, entertainment, health, well-being, and so on. In these fields, the information services, if provided in a context-aware way, could largely enhance the user satisfaction. This paper identifies the essential components of context-aware entertainment service provision and proposes a service development framework. It also presents how to represent data, how to describe service selection knowledge for context-aware services, and how to conduct inference under the representation scheme.

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

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.327-332
• /
• 2003

A new discretization method for nonlinear system with time-delay is proposed. It is based on the well-known Taylor series expansion and the zero-order hold (ZOH) assumption. We know that a discretization of linear system can be obtained with the ZOH assumption and within the sampling interval. A similar line of thinking is available in nonlinear case. The mathematical structure of the new discretization method is explored and under the structure, the sampled-data representation of nonlinear system including time-delay is computed. Provided that the discrete form of the single input nonlinear system with time-delay is derived, this result is easily extended to nonlinear system with multi-input time-delay. For simplicity two inputs are considered in this study. It is enough to generalize that of multiple inputs. Finally, the time-discretization of non-affine nonlinear system with time-delay is investigated for apply all nonlinear system

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.557-570
• /
• 2015

Let $\mathbb{G}$ be a von Neumann algebraic locally compact quantum group, in the sense of Kustermans and Vaes. In this paper, as a consequence of a notion of amenability for actions of Lau algebras, we show that $\hat{\mathbb{G}}$, the dual of $\mathbb{G}$, is co-amenable if and only if there is a state $m{\in}L^{\infty}(\hat{\mathbb{G}})^*$ which is invariant under a left module action of $L^1(\mathbb{G})$ on $L^{\infty}(\hat{\mathbb{G}})^*$. This is the quantum group version of a result by Stokke [17]. We also characterize amenable action of Lau algebras by several properties such as fixed point property. This yields in particular, a fixed point characterization of amenable groups and H-amenable representation of groups.

• Korean Institute of Interior Design Journal
• /
• no.1
• /
• pp.72-75
• /
• 1992

Lighting made interior space visible and to recognize space itself. Sp9ace and form are established not themselves , but lighting. and dextrous treatment of natural light accomplished poeteic space. Inflowing of lighting in interior space is main factor to decide space character and image . That was recognized in interior space through many centries. At this point, this study was described for that present inflowing of lighting adapting space character and right method in lighting program. The present study is to present the planning method of the most appropriate and the most rational natural lighting in planing for lighting. Under this premise the followings are made ; I. An introduction , the purpose, the sphere, and the method of this study are stated. II, The present writer studied the general characteristics of natural lighting. III. this author studied the factor of decision on control and representation skill of lighting along the following. IV. Analyzing interior space in which the natural lighting is introduced through some literature and case studies. Physics, psychology, structure, equipment, material. V. The last, the author rearranged the results of this study.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06a
• /
• pp.55-59
• /
• 2008

In the field of software reuse, several methods for storage and retrieval of assets abound. However, these methods often find their limits; they fail to turn up the suitable reusable assets that satisfy the needs of a particular software system under development. Two problems are the root cause of this situation. One is the lack of accurate semantics for describing software assets. The other is the ignorance of the user query context. In such a context, this paper presents an XML-based asset representation model for describing all kinds of software asset that can be reused within software development process. The proposed model provides semantic metadata for describing assets oriented user context in order to build the foundation for semantic reasoning in the retrieval process.

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

• Communications of the Korean Mathematical Society
• /
• v.29 no.4
• /
• pp.527-538
• /
• 2014

Let K be a compact Hausdorff space, $\mathfrak{A}$ a commutative complex Banach algebra with identity and $\mathfrak{C}(\mathfrak{A})$ the set of characters of $\mathfrak{A}$. In this note, we study the class of functions $f:K{\rightarrow}\mathfrak{A}$ such that ${\Omega}_{\mathfrak{A}}{\circ}f$ is continuous, where ${\Omega}_{\mathfrak{A}}$ denotes the Gelfand representation of $\mathfrak{A}$. The inclusion relations between this class, the class of continuous functions, the class of bounded functions and the class of weakly continuous functions relative to the weak topology ${\sigma}(\mathfrak{A},\mathfrak{C}(\mathfrak{A}))$, are discussed. We also provide some results on its completeness under the norm defined by ${\mid}{\parallel}f{\parallel}{\mid}={\parallel}{\Omega}_{\mathfrak{A}}{\circ}f{\parallel}_{\infty}$.

• Journal of information and communication convergence engineering
• /
• v.9 no.2
• /
• pp.207-211
• /
• 2011

This paper presents a method for facial feature representation and recognition from the Covariance Matrices of the Gabor-filtered images. Gabor filters are a very powerful tool for processing images that respond to different local orientations and wave numbers around points of interest, especially on the local features on the face. This is a very unique attribute needed to extract special features around the facial components like eyebrows, eyes, mouth and nose. The Covariance matrices computed on Gabor filtered faces are adopted as the feature representation for face recognition. Geodesic distance measure is used as a matching measure and is preferred for its global consistency over other methods. Geodesic measure takes into consideration the position of the data points in addition to the geometric structure of given face images. The proposed method is invariant and robust under rotation, pose, or boundary distortion. Tests run on random images and also on publicly available JAFFE and FRAV3D face recognition databases provide impressively high percentage of recognition.