• The Bulletin of The Korean Astronomical Society
• /
• v.39 no.2
• /
• pp.119.2-119.2
• /
• 2014

Many astrophysical phenomena involve processes of magnetohydrodynamics (MHD) and relativistic magnetohydrodynamics (RMHD). A number of numerical schemes have been developed to solve the equations of ideal MHD and RMHD. Recent codes are based on upwind schemes which solve hyperbolic systems of equations following the characteristics of the systems. Upwind schemes stand out by their robustness, clarity of the underlying physical model, and ability of achieving high resolution. We present MHD and RMHD codes based on the total variation diminishing (TVD) and weighted essentially non-oscillatory (WENO) schemes, which are second and higher order accurate extensions of upwind schemes. We demonstrate the ability and limitation of codes based on upwind schemes through a series of tests.

• Journal of Information Technology Applications and Management
• /
• v.15 no.3
• /
• pp.243-259
• /
• 2008

To support business services interoperation, the BSD (Business Service Document), which is an extension of the Web Service Description Language (WSDL) the web service specification of the World Wide Web Consortium (W3C) was designed. The WSDL presents comprehensive standards for the interoperability of software components and W3C delegates extensions of WSDL to the users for their own purposes and objectives. In this article, BSD Creator, which can generate well-formed and valid BSDs, was designed and implemented. Also, the BSD Operation Pilot System where service providers can publish BSD specification documents and service users can search for services, was implemented and presented. BSD Creator and the BSD Operation Pilot System, which are the outcomes of this study, were assessed for their quality and usefulness using ISO/IEC 9126. The outcomes of this paper will be the basis on which industry groups can construct a Business Services Interoperation System, and are expected to contribute to the revitalization of business service interoperation.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.2
• /
• pp.125-129
• /
• 2004

There are several kinds of fuzzy set extensions in the fuzzy set theory. Among them, this paper is concerned with interval-valued fuzzy sets, intuitionistic fuzzy sets, and bipolar-valued fuzzy sets. In interval-valued fuzzy sets, membership degrees are represented by an interval value that reflects the uncertainty in assigning membership degrees. In intuitionistic fuzzy sets, membership degrees are described with a pair of a membership degree and a nonmembership degree. In bipolar-valued fuzzy sets, membership degrees are specified by the satisfaction degrees to a constraint and its counter-constraint. This paper investigates the similarities and differences among these fuzzy set representations.

• Proceedings of the KIEE Conference
• /
• 1984.07a
• /
• pp.84-85
• /
• 1984

The accurate description of many physical processes leads to high number of different equations which are very difficult to handle for simulation or control purposes. The reduction of high-order, linear, time-invariant systems to lower-order ones has been investigated by many researchers. In this paper, a model technique among these methods is used. This technique has been developed here as if it were extensions of Davison's original method (1), its modification having been made to provide, among other things, steady state agreement between the original large-scale and reduced-order model. The advantage of the modal analysis approach is that only matrix operations have to be executed. Here, it is very simple to obtain a reduced model. An example of illustration is shown using the model method.

• Proceedings of the IEEK Conference
• /
• 2009.05a
• /
• pp.31-33
• /
• 2009

Face detection using AdaBoost algorithm is capable of processing images rapidly while having high detection rates. It seemed to be the fastest and the most robust and it is still today. Many improvements or extensions of this method have been proposed. However, previous approaches only deal with upright faces. They suffer from limited discriminant capability for rotated faces as these methods apply the same features for both upright and rotated faces. To solve this problem, it is necessary that we rotate input images or make independently trained detectors. However, this can be slow and can require a lot of training data, since each classifier requires the computation of many different image features. This paper proposes a robust algorithm for finding rotated faces within an image. It reduces the computational and sample complexity, by finding common features that can be shared across the classes. And it will be able to apply with multi-class object detection.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.2 no.1
• /
• pp.65-69
• /
• 2002

The main drawback of “classical”fuzzy systems is the inability to design and maintain their database. To overcome this disadvantage many types of extensions adding the adaptivity property to those systems were designed. This paper deals with one of them a new hybrid adaptation structure, called gradient-incremental adaptive fuzzy controller connecting gradient-descent methods with the so-called self-organizing fuzzy logic controller designed by Procyk and Mamdani. The aim is to incorporate the advantages of both Principles. This controller was implemented and tested on the system of LEGO robots. The results and comparison to a ‘classical’(non-adaptive) fuzzy controller designed by a human operator are also shown here.

• 제어로봇시스템학회:학술대회논문집
• /
• 1989.10a
• /
• pp.461-466
• /
• 1989

This paper describes some properties of a discrete algebraic Riccati equation and its application to $H^{\infty}$ control design. The conditions, under which an input weighting matrix can be found for a negative output weighting matrix in order that a solution P for a discrete algebraic equation may exist, are suggested in case of a stable A. This result is applied to a $H^{\infty}$ controller design for the special case of nonsingular B. It is based on a state feedback control law whose objective is to reduce the effect of input disterbances below a prespecified level. This law requires the solution of a modified algebraic Riccati equation, which provides an method for the $H^{\infty}$ optimization control problem approximately.ly.

• Honam Mathematical Journal
• /
• v.21 no.1
• /
• pp.157-169
• /
• 1999

For a k-connected inverse system $({\scr{X}},\;*)=((X_{\lambda},\;*),p_{{\lambda}{{\lambda}}^{\prime}},\;{\Lambda})$ of pointed topological spaces and pointed preserving weak fibrations, inducting epimorphic chain maps, over a directed set, we show that the homotopy group ${\pi}_k(lim{\scr{X}},\;*)$ of the inverse limit is isomorphic to the integral homology group $$H_k(lim{\scr{X}};\mathbb{Z})$. Using the result of S. $Marde{\check{s}}i{\acute{c}}$, we prove that the group of pure extension $Pext(colimH^n({\scr{X}},\;A)$ is isomorphic to the group of extension $Ext({\Delta}({\lambda}),\;Hom(H^n({\scr{X}}),\;A))$.

• Honam Mathematical Journal
• /
• v.36 no.2
• /
• pp.417-424
• /
• 2014

Let A be an abelian variety defined over a number field K and p be a prime. Define ${\varphi}_i=(x^{p^i}-1)/(x^{p^{i-1}}-1)$. Let $A_{{\varphi}i}$ be the abelian variety defined over K associated to the polynomial ${\varphi}i$ and let Ш($A_{{\varphi}i}$) denote the Tate-Shafarevich groups of $A_{{\varphi}i}$ over K. In this paper assuming Ш(A/F) is finite, we compute [Ш($A_{{\varphi}1}$)][Ш($A_{{\varphi}2}$)]/[Ш($A_{{\varphi}1{\varphi}2}$)] in terms of K-rational points of $A_{{\varphi}i}$, $A_{{\varphi}1{\varphi}2}$ and their dual varieties, where [X] is the order of a finite abelian group X.

• ALGAE
• /
• v.22 no.1
• /
• pp.11-15
• /
• 2007

A new genus and species of marine dinoflagellate from the open western equatorial Pacific Ocean, Gynogonadinium aequatoriale gen. et nov. sp., is described from light and scanning electron micrographs. This laterally compressed unarmoured taxon had a triangular cell body in lateral view with two different elongate extensions. The end of the apical extension was spherical with a groove that arises from the epicone in the ventral side of the cell. The antapical extension was longer. The dorsal part of the cingulum showed undulated lists in each margin. The nucleus was ellipsoidal and perpendicularly crossed the cingulum. Dimensions of cells were 90-110 μm long and 43-55 μm wide in lateral view at the level of the cingulum. Gynogonadinium is placed in the order Gymnodiniales, family uncertain.