• 인터넷정보학회논문지
• /
• 제16권3호
• /
• pp.43-57
• /
• 2015

본 논문에서는 개념망을 이용한 효율적인 정보검색을 위한 방법을 제안한다. 본 논문은 일반적인 개념망을 기반으로 시스템을 설계하였기 때문에 온톨로지와 접근 방식은 같지만 사용자가 보다 효율적으로 정보검색을 하고자 하는 객체와 개념사이의 협업 관계를 구축하여 사용할 수 있도록 개념망을 제안한다. 제안한 시스템은 다음과 같다. 첫 번째, 입력 키워드 중심의 키워드 개념망과 전문가 그룹이 추천한 전문가 개념망 그리고 테마 개념망 이러한 세 종류의 개념을 이용하여 협업적 검색을 하며, 이를 기반으로 사용자가 원하는 정보를 검색할 수 있는 효율적인 검색 시스템을 제안한다. 그리고 전문가 개념과 키워드 개념이 결합되어 키워드의 빈도 및 카테고리의 빈도를 제공함으로써, 사용자가 입력한 검색어와 관련된 키워드를 추천하는 역할을 할 수 있다. 그리고 테마 개념망을 이용하여 사용자의 관심 테마에서 사용되는 키워드 또는 카테고리를 알려주는 기능도 제공한다. 두 번째, 사용자가 입력한 키워드가 없을 경우 2차 검색을 통해 입력 키워드와 관련 있는 키워드를 제공해줌으로써 관련키워드를 이용하여 검색의 목적달성이 가능하다. 세 번째, 이러한 정보들은 대부분 분산되어 관리되고 있기 때문에 이렇게 분산되어 관리되는 정보는 표현방식이 다를 뿐만 아니라 시간에 따라 정보가 변하게 된다. 따라서 분산된 정보의 효율적 데이터 접근 및 통합을 위해 XMDR(eXtended Mata-Data Registry)을 이용하였고, 본 논문에서는 분산된 데이터를 통합하기 위한 기법 및 검색 시스템을 제시한다.

• Kyungpook Mathematical Journal
• /
• 제45권1호
• /
• pp.21-31
• /
• 2005

We introduce the notions of nilpotent element, quasi-regular element in a semiring which is a distributive lattice of rings. The concept of Jacobson radical is introduced for this kind of semirings.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제10권3호
• /
• pp.247-252
• /
• 2010

In this paper, we investigate the relations among formal concepts, attribute oriented concept and object oriented concepts on a complete residuated lattice.

• Journal of applied mathematics & informatics
• /
• 제9권1호
• /
• pp.359-370
• /
• 2002

The purpose of this paper is to introduce and discuss the concept of $\beta$-compactness for L-fuzzy topological spaces.

• Journal of applied mathematics & informatics
• /
• 제40권1_2호
• /
• pp.317-325
• /
• 2022

The concept of hom-set in an implicative algebra as an implicative algebra is introduced. The idea of sub implicative algebra in hom-set, 1-commutative algebra of hom-set are investigated. Different characterization theorems are proved.

• Journal of Information Processing Systems
• /
• 제6권2호
• /
• pp.197-208
• /
• 2010

Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.

• 대한전자공학회논문지TC
• /
• 제43권10호
• /
• pp.1-7
• /
• 2006

다중 송수신 안테나 시스템에서 비트 오류 확률 성능면에서 최적의 기법으로 알려진 ML(Maximum-Likelihood) 복호기를 구현하기 위해 격자 복호 기법이 제안되었다. 그러한 격자 복호 기법에 기반한 복호기에는 구 복호기, K-best 복호기 등이 있으며, K-best 검출 기법은 격자 복호 기법의 실제 구현에 가장 적합하지만 오차 전달 현상에 의한 성능 저하라는 단점이 있다. 본 논문에서는 이러한 K-best 검출 기법의 단점을 보완해 비트 오류 확률 성능을 개선하고 평균 연산량을 낮춘 적응 K-best 기법을 제안하였다.

• Computational Structural Engineering : An International Journal
• /
• 제1권2호
• /
• pp.107-116
• /
• 2001

The present paper investigates the nonlinear behavior of reinforced concrete shear walls with a crank based on a finite element analysis. The loading type is a horizontal cyclic one such as earthquake loads. Experiments of the shear walls with and without cranks, performed previously to see flow the behavior changes depending on the crank, are compared with the results obtained from the finite element analysis. The finite element analysis is based on an isoparametric degenerated shell formulation. The nonlinear constitutive equations fur concrete are modeled adopting the formulation based on a concept of Ring Typed-Lattice Model. The experiments indicate that the shear walls with a crank have low stiffness and relatively low carrying capacity compared with an ordinary plane shear wall without cranks and that they are more ductile, and the tendency is a1so confirmed based on the finite element analysis. Moreover, a good agreement between the experiments and analyses is obtained, accordingly, it is confined that the present numerical analysis scheme based on the Lattice Model is a powerful one to evaluate the behavior of reinforced concrete shear walls with cranks and without cranks.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 춘계학술대회
• /
• pp.923-928
• /
• 2003

This paper presents the motion control of a mobile robot with arc sensor for lattice type welding. Its dynamic equation and motion control method for welding speed and seam tracking are described. The motion control is realized in the view of keeping constant welding speed and precise target line even though the robot is driven along a straight line or comer. The mobile robot is modeled based on Lagrange equation under nonholonomic constraints and the model is represented in state space form. The motion control of the mobile robot is separated into three driving motions of straight locomotion, turning locomotion and torch slider controls. For the torch slider control, the proportional integral derivative (PID) control method is used. For the straight locomotion, a concept of decoupling method between input and output is adopted and for the turning locomotion, the turning speed is controlled according to the angular velocity value at each point of the comer with range of $90^{\circ}$ constrained to the welding speed. The proposed control methods are proved through simulation results and the results have proved that the mobile robot has enough ability to apply the lattice type welding line.

• Journal of Mechanical Science and Technology
• /
• 제16권1호
• /
• pp.83-93
• /
• 2002

This paper presents a motion control method and its simulation results of a mobile robot for a lattice type welding. Its dynamic equation and motion control methods for welding speed and seam tracking are described. The motion control is realized in the view of keeping constant welding speed and precise target line even though the robot is driven for following straight line or curve. The mobile robot is modeled based on Lagrange equation under nonholonomic constraints and the model is represented in state space form. The motion control of the mobile robot is separated into three driving motions of straight locomotion, turning locomotion and torch slider control. For the torch slider control, the proportional-integral-derivative (PID) control method is used. For the straight locomotion, a concept of decoupling method between input and output is adopted and for the turning locomotion, the turning speed is controlled according to the angular velocity value at each point of the corner with range of 90$^{\circ}$ constrained to the welding speed. The proposed control methods are proved through simulation results and these results have proved that the mobile robot has enough ability to apply the lattice type welding line.