• Journal of applied mathematics & informatics
• /
• 제30권1_2호
• /
• pp.1-14
• /
• 2012

In this paper, the problem of determining the optimal car-deriving strategy has been examined. In order to find the optimal driving strategy, we have modified a method based on measure theory. Further, we demonstrate that the modified method is an efficient and practical algorithm for dealing with optimal control problems in a canonical formulation.

• East Asian mathematical journal
• /
• 제26권1호
• /
• pp.75-79
• /
• 2010

Let G be a compact connected semisimple Lie group, g the Lie algebra of G, g the canonical metric (the biinvariant Riemannian metric which is induced from the Killing form of g), and $\nabla$ be the Levi-Civita connection for the metric g. Then, we get the fact that the Levi-Civita connection $\nabla$ in the tangent bundle TG over (G, g) is a Yang-Mills connection.

• Journal of the Korean Data and Information Science Society
• /
• 제18권3호
• /
• pp.767-772
• /
• 2007

A kernel machine is proposed as an estimating procedure for the linear and nonlinear Poisson regression, which is based on the penalized negative log-likelihood. The proposed kernel machine provides the estimate of the mean function of the response variable, where the canonical parameter is related to the input vector in a nonlinear form. The generalized cross validation(GCV) function of MSE-type is introduced to determine hyperparameters which affect the performance of the machine. Experimental results are then presented which indicate the performance of the proposed machine.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.537-542
• /
• 1998

Logic functions such as fuzzy switching functions and multiple-valued Kleenean functions, that are models of Kleene algebra have been studied as foundation of fuzzy logic. This paper deals with a new kinds of functions-fuzzy switching functions with constants-which have features of both the above two kinds of functions . In this paper, we propose new canonical forms for enumerating them. They are much useful to estimate simply the number of fuzzy switching functions with constants.

• 대한수학회지
• /
• 제36권5호
• /
• pp.959-1008
• /
• 1999

This paper considers foundational issues related to connections in the tangent bundle of a manifold. The approach makes use of second order tangent vectors, i.e., vectors tangent to the tangent bundle. The resulting second order tangent bundle has certain properties, above and beyond those of a typical tangent bundle. In particular, it has a natural secondary vector bundle structure and a canonical involution that interchanges the two structures. The involution provides a nice way to understand the torsion of a connection. The latter parts of the paper deal with the Levi-Civita connection of a Riemannian manifold. The idea is to get at the connection by first finding its.spary. This is a second order vector field that encodes the second order differential equation for geodesics. The paper also develops some machinery involving lifts of vector fields form a manifold to its tangent bundle and uses a variational approach to produce the Riemannian spray.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 추계종합학술대회
• /
• pp.504-507
• /
• 2003

오늘날 XML이 전자 상거래 시장에 널리 수용하여 사용되고 있다. 하지만 XML 문서는 논리적으로 동일한 의미를 물리적으로 여러 다른 형태로 나타낼 수 있는 표현의 자율성이 존재하기 때문에 XML 전자서명과 같은 물리적 형태로써 유효성을 판단하는 응용프로그램에서는 문제가 발생할 수 있다. 따라서 이런 문제점을 해결하기 위하여 W3C에서는 논리적으로 동일한 의미의 XML 문서를 물리적으로 동일하게 변환시키도록 XML 정규화 알고리즘을 제안하여 사용하도록 권고하고 있다. 이에 본 논문에서는 W3C에서 권고한 XML 정규화 알고리즘을 수행하는 시스템을 설계 및 구현함으로써, 좀 더 정교하고 정규화된 문서로 변형하여 W3C 표준을 따르는 다른 응용 시스템과의 상호운용이 가능하다. 또한 웹 서비스를 위한 전자서명 시스템에서의 사용이 용이하며 웹 서비스 상호 운용성을 위한 XML 문서 교환 시 물리적 동일성이 요구되는 여러 시스템에서 다양한 방면으로 사용될 것으로 사료된다. 뿐만 아니라 국제적 인코딩 스킴과 국내 인코딩 스킴인 EUC-KR과의 변환기능을 추가함으로써 국내 실정에 맞는 XML 정규화 알고리즘이 될 것이며, 이는 국제적 상호 운용성 확보의 기반 기술이 될 것이다.

• 전자공학회논문지B
• /
• 제32B권6호
• /
• pp.868-875
• /
• 1995

This paper presents a method of constructing the multiple-valued combinational logic systems(MVCLS) by decision diagram. The switching function truth table of MVCLS is transformed into canonical normal form of sum-of-products(SOP) with literals at first. Next, the canonical normal form of SOP is transfered into multiple-valued logic decision diagram(MVLDD). The selecting of variable ordering is very important in this stage. The MVLDDs are quite different from each other according to the variable ordering. Sometimes the inadequate variable ordering produces a very large size of MVLDD means the large size of circuit implementation. An algorithm for generating the proper variable ordering produce minimal MVLDD and an example shows the verity of the algorithm. The circuits are realized with T-gate acceording to the minimal MVLDD.

• Earthquakes and Structures
• /
• 제10권1호
• /
• pp.25-51
• /
• 2016

In this study, graph product rules are applied to the dynamic analysis of regular skeletal structures. Graph product rules have recently been utilized in structural mechanics as a powerful tool for eigensolution of symmetric and regular skeletal structures. A structure is called regular if its model is a graph product. In the first part of this paper, the formulation of time history dynamic analysis of regular structures under seismic excitation is derived using graph product rules. This formulation can generally be utilized for efficient linear elastic dynamic analysis using vibration modes. The second part comprises of random vibration analysis of regular skeletal structures via canonical forms and closed-form eigensolution of matrices containing special patterns for symmetric structures. In this part, the formulations are developed for dynamic analysis of structures subjected to random seismic excitation in frequency domain. In all the proposed methods, eigensolution of the problems is achieved with less computational effort due to incorporating graph product rules and canonical forms for symmetric and cyclically symmetric structures.

• 한국정보과학회논문지:데이타베이스
• /
• 제30권4호
• /
• pp.408-419
• /
• 2003

데이타웨어하우스는 의사결정시스템의 질의처리에 사용되는데, 통상적으로 의사결정질의의 응답 속도는 OLTP 질의 응답속도에 비해 수십 배 이상 오래 걸린다. 의사결정은 대부분 빠른 시간 안에 이루어지는 것이 필수적이므로 의사결정질의 응답 속도를 단축시키는 기술은 중요하다. 본 논문에서는 기존의 질의결과를 캐싱하여 주어진 질의처리에 이용하는 기법을 제시한다. 이를 위해 먼저 의사결정시스템이 이 기법에 적합한 환경을 가지고 있는지 살펴본다. 그 다음, 임의 형태의 모든 질의를 처리한다는 것은 불가능하므로 우리가 다루는 질의 형태인 정규화형태를 정의한다. 질의가 정규화형태를 따르지 않으면 단순 스트링 매칭을 하고, 정규화된 경우라면 질의스플릿이란 질의 변환 과정과 질의종속그래프를 통해 캐시된 질의결과를 찾은 후 그 결과 위에서 질의를 수행한다. 캐시 관리자는 질의응답시간을 최소화하도록 캐시를 유지해야한다. 이를 위해 질의 수행비용, 질의결과의 크기, 레퍼런스비율, 베이스 테이블의 업데이트비율 및 그에 따른 질의결과 유지비용 등을 고려하여 캐싱하는 동적 캐시효환기법을 제안한다. 제안된 기법은 실험을 통해 그 성능을 검증하였다.

• 충청수학회지
• /
• 제28권2호
• /
• pp.307-310
• /
• 2015

Let H be a color Poisson bialgebra. Here we find a canonical nondegenerate bilinear form $\mathfrak{g}(H){\times}\mathfrak{m/m^2}$, where $\mathfrak{g}(H)$ and $\mathfrak{m/m^2}$ are certain color Lie algebras induced by H.