• Journal of applied mathematics & informatics
• /
• 제2권1호
• /
• pp.17-24
• /
• 1995

In this paper we shall prove a new fuzzy continuous selec-tion theorem in a compact convex set and next a fixed point theorem for fuzzy mappings is established.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2002년도 ICCAS
• /
• pp.37.3-37
• /
• 2002

$\textbullet$ Mobile robots $\textbullet$ Sensor-based motion planning $\textbullet$ Potential field $\textbullet$ Local minimum-free motion $\textbullet$ Virtual target point $\textbullet$ Set of linked line segments $\textbullet$ We build a sensor-based motion planning using virtual target point for free of local minimum

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제7권1호
• /
• pp.33-45
• /
• 2003

In this paper we establish a set of sufficient conditions for the boundary controllability of nonlinear integrodifferential systems and Sobolev type integrodifferential systems in Banach spaces by using fixed point theorems.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제7권2호
• /
• pp.23-34
• /
• 2003

In this paper we establish a set of sufficient conditions for the controllability of perturbed integrodifferential systems with prescribed controls by using the Schaefer fixed point theorem.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.425-429
• /
• 1992

Point sets in the Euclidean and digital planes are discussed. The local necessary and sufficient conditions are suggested for pointed lattice extraction from these sets are presented. A number of theorems and corollaries are given. The regular and "almost" regular point sets are studied. The results can be used in automatic control of textured textile images by both general and multiprocessing systems.g systems.

• 정보처리학회논문지D
• /
• 제11D권7호
• /
• pp.1349-1356
• /
• 2004

데이터 마이닝을 요구하는 전자상거래, 전자정부와 관련된 문서 처리 시스템 등에서 XML 문서의 버전 관리에 대한 관심이 높아지고 있다. 본 논문에서는 대량의 XML 문서를 장기적으로 유지하면서 XML 문서의 이력 정보를 효율적으로 관리하기 위하여, XML 버전을 생성하는 변경 집합을 정의하고 변경 집합을 이용한 XML 문서의 저장 방법을 제안한다. 변경 집합은 변경 연산집합과 시간지원 차원을 포함하고 있으며, 변경 연산 집합은 스키마 변경 연산과 데이터 변경 연산으로 구성된다. 변경 집합을 이용한 세가지 XML 문서의 저장 방법을 제안한다. 세가지 저장 방법은, (1) 변경 집합을 모두 저장하는 방법, (2)변경 집합과 버전을 주기적으로 저장 방법, 그리고 (3) 저장 적합 시점에 변경 집합 모음과 버전을 저장하는 방법이 있다. 또한, 기존의 저장 방법과 제안한 저장 방법들 사이에 성능을 비교한다. 성능 평가를 통하여 저장 적합 시점에 변경 집합모음과 버전을 저장하는 방법의 성능이 다른 저장 방법보다 우수함을 보인다.

• 한국국방경영분석학회지
• /
• 제8권2호
• /
• pp.57-68
• /
• 1982

Bimatrix games are the two-person non-zero-sum non-cooperative games. These games were studied by Mills, Lemke, Howson, Millham, Winkels, and others. This paper is a systematic and synthetic survey relevant to bimatrix games. Among the many aspects of researches on bimatrix games, emphasis in this paper is placed on the relation of the equilibrium set to Nash subsets. Topics discussed are as follows: Properties of equilibrium point; The structure of equilibrium set; Relation of Nash subsets to equilibrium set; Algorithm for finding the equilibrium points; Concepts of solutions on bimatrix games.

• 대한수학회지
• /
• 제38권3호
• /
• pp.669-681
• /
• 2001

This paper introduces the notions of essential and inessential map for countably $textsc{k}$-set contractive maps. These ideas enable us to establish a Krasnoselskii-Petryshyn compression and expansion theorem in a cone for countably $textsc{k}$-set contractive maps.

• Genomics & Informatics
• /
• 제18권1호
• /
• pp.2.1-2.11
• /
• 2020

In this paper, we propose a new approach to detecting outliers in a set of segmented genomes of the flu virus, a data set with a heterogeneous set of sequences. The approach has the following computational phases: feature extraction, which is a mapping into feature space, alignment-free distance measure to measure the distance between any two segmented genomes, and a mapping into distance space to analyze a quantum of distance values. The approach is implemented using supervised and unsupervised learning modes. The experiments show robustness in detecting outliers of the segmented genome of the flu virus.

• Journal of applied mathematics & informatics
• /
• 제27권1_2호
• /
• pp.161-173
• /
• 2009

In this paper, we introduce an iterative scheme for finding a common element of the set of fixed points of a nonexpansive mapping, the set of solutions of the variational inequality for an inverse-strongly monotone mapping and the set of solutions of an equilibrium problem in a Hilbert space. We show that the iterative sequence converges strongly to a common element of the three sets. The results of this paper extend and improve the corresponding results announced by many others.