• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.436-438
• /
• 1999

객체지향 프로그래밍에서 다형성이란 객체가 하나 이상의 객체 타입을 가질 수 있다는 것을 말한다. 이처럼 객체가 하나 이상의 타입을 가지게 되면 다양한 문맥에서 객체를 사용할 수 있게 되어 재사용성을 달성 할 수 있게 된다. 그러나 이러한 객체의 다형성은 정적인 타입 검사를 어렵게 하여 실행시 타입 오류를 유발할 가능성을 높이는 원인으로 작용한다. 본 논문에서는 객체 타입을 기술하기 위한 문맥에서 당일 타입만을 기술했던 것이 제약에서 벗어나 여러 타입의 조합으로 다형적 타입을 기술할 수 있게 함으로써 문맥에 맞는 객체 타입을 기술할 수 있도록 하는 메커니즘을 제안한다. 그리고 이 메커니즘이 어떻게 사용될 수 있는가에 대한 예제들도 함께 소개한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2000.05a
• /
• pp.220-223
• /
• 2000

타입-2 퍼지집합을 이용하여 퍼지논리시스템(Fuzzy Logic System : FLS)을 구현하기 위한 연구들이 R. I John, N. Karnik, J. Mendel 등에 의해 현재 진행되고 있다. 타입-2 집합을 이용한 타입-2 FLS은 기존의 타입-1 FLS보다 제어규칙이나 소속함순가 가지고 있는 불확실성을 표현하는데 있어서 더 효과적이다. 그러나, 타입-2 FLS 역시 타입-1 FLS이 가지고 있는 문제점인 설계시 전문가에게 의존하여 시간과 비용이 많이 소요되고, 제어기의 구성요소들을 효율적으로 생성하기가 어렵다는 문제점을 더욱 심각하게 가지고 있다. 또한, 그 문제점을 해결하기 위한 연구들도 아직 미진한 상태이다. 본 논문에서는 타입-2 FLS의 설계를 위해 유전자 알고리즘을 사용하는 방법을 제안한다. 타입-2 FLS를 설계하기 위해서는 소속함수와 제어규칙을 생성하여야 한다. 본 논문에서는 유전자 알고리즘을 사용하여 타입-2 퍼지제어규칙과 소속함수를 설계하는 방법을 제안한다. 먼저, 유전자 알고리즘에서 사용할 수 있는 유전자의 형태로 타입-2 퍼지제어규칙과 소속함수를 표현하기 위한 인코딩방법을 제안하고, 각각의 염색체를 진화시키기 위한 교차 연산자와 돌연변이 연산자를 정의한다. 그리고, 제안된 방법을 함수근사문제에 적용하여 유효성과 성능을 평가, 검증한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1547-1550
• /
• 2012

소프트웨어 제품라인의 핵심 자산을 개발할 때 제품라인에 포함된 휘처 사이의 관계를 고려하여 핵심 자산을 개발하지 않으면, 한 휘처의 변화가 핵심 자산의 많은 부분에 영향을 미칠 수가 있고, 미처 고려하지 못한 휘처 관계에 의해 제품이 동작중에 의도치 않은 문제가 발생할 수 있다. 휘처 사이의 존재할 수 휘처 관계 타입을 미리 알고 있다면, 실제 휘처 관계를 분석할 때 도움이 되고, 각 타입별로 어떻게 핵심 자산을 개발해야 하는지 가이드라인을 제시할 수 있다. 기존에 많은 연구자들이 휘처 관계 타입을 제시하였지만 아직까지 제안된 휘처 관계 타입들을 비교하고 분석하는 연구가 이루어지지 않았다. 이에 본 논문에서는 지금까지 제안된 휘처 관계 타입들을 살펴보고, 제안된 관계 타입들을 비교 및 논의하고자 한다. 또한 기존에 제안된 휘처 관계 타입 중 위쳐 사이의 관계로 보기 어렵거나 중복이 되는 타입을 제외하여 휘처 관계 타입 리스트를 정리 및 제안하였다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.335-342
• /
• 1999

논리 프로그램의 타입 및 모드 분석은 실행 시간에 변수가 갖는 텀의 집합에 대한근사값을 구하는데 보통 요약 해석을 기반으로 하여 설계되고 개발되어 왔다. 이 논문에서는 타입 및 모드 분석을 위해서 설계된 다양한 요약 도메인을 고려하여 그들간의 계층 관계를 Galois insertion을 기준으로 밝힌다. 이 논문에서는 요약 도메인으로써 타입 그래프, 깊이-k 타입 , 깊이-k 모드, 순환모드, 그리고 모드를 고려할 것이다. 특히 깊이-k 모드는 타입 및 모드 분석을 통합하기 위한 도메인으로써 깊이-k 타입을 확장하여 제안하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.13-16
• /
• 2017

인간 유전자의 SNP 서열 정보를 통해 하플로타입을 추정하는 하플로타입 페이징은 생명공학분야에서 중요한 연구분야이다. 최근에는 SNP 데이터가 많아짐에 따라 많은 하플로타입 페이징 알고리즘들이 제시되었다. 본 논문에서는 SNP 데이터의 오류로 인한 하플로타입 페이징의 한계점과 이를 해결하기 위한 품질정보의 사용에 관한 문제점을 언급한 후 이와 관련된 실험을 통해 품질정보가 하플로타입 페이징의 결과에 미치는 영향을 알아본다. 실험은 기존의 하플로타입 페이징 알고리즘을 사용하여 품질정보의 사용 유무에 따라 하플로타입 페이징 결과를 비교하는 과정으로 진행되었다. 실험 결과 하플로타입 페이징에 과정에서 품질정보를 사용하는 것은 품질정보를 사용하지 않았을 때 보다 좋은 결과를 보여주었다.

• Journal of KIISE
• /
• v.43 no.12
• /
• pp.1342-1350
• /
• 2016

Induction and coinduction are well-established proof principles, which are widely used in mathematics and computer science. In particular, induction is taught in most undergraduate programs and well understood in the field of computer science. In contrast, coinduction is not as widespread or well understood as induction. In this paper, we introduce coinduction by defining a subtype system for recursive and union types and proving the transitivity property of the system. This paper will help to promote familiarity with coinduction and provides a basis for a subtype system for recursive types with other advanced type constructors and connectives.

• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.6
• /
• pp.316-325
• /
• 2006

In diploid organisms like human, each chromosome consists of two copies. A haplotype is a SNP(single nucleotide polymorphism) sequence information from each copy. Finding the complete map of haplotypes in human population is one of the important issues in human genome. To obtain haplotypes via experimental methods is both time-consuming and expensive. Therefore, inference methods have been used to infer haplotyes from the genotype samples. In this paper, we propose a new approach using genetic algorithm to infer haplotypes, which is based on the model of finding the minimum number of haplotypes that explain the genotype samples. We show that by doing a computational experiment, our algorithm has the correctness similar to HAPAR[1] which is known to produce good results while the execution time of our algorithm is less than that of HAPAR as the input size is increased. The experimental result is also compared with the result by the recent method PTG[2].

• Journal of the Korean Institute of Intelligent Systems
• /
• v.12 no.4
• /
• pp.341-346
• /
• 2002

Type-1 fuzzy set is used to show the uncertainty in a given value. But there are many situations where it needs to be extended to type-2 fuzzy set because it can be also difficult to determine the crisp membership function itself. Type-2 fuzzy systems have the advantage that they are more expressive and powerful than type-1 fuzzy systems, but they require many operations defined for type-1 fuzzy sets need to be extended in the domain of type-2 fuzzy sets. In this paper, comparison and ranking methods for type-2 fuzzy sets are proposed. It is based on the satisfaction function that produces the comparison results considering the actual values of the given type-2 fuzzy sets with their possibilities. Some properties of the proposed method are also analyzed.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.31-33
• /
• 2003

문서를 표현하는 여러 가지 기법 중에서 XML(eXtensible Markup Language)은 확장성과 범용성 때문에 데이타의 교환과 표현에 대한 표준으로 자리잡고 있다. 이에 XML로 데이타를 저장하기 위한 다양한 방법들이 제시되고 있다. 본 논문에서는 관계형 데이타베이스에 XML 데이타를 저장하기 위해 XML 데이터의 타입을 관계형 데이타베이스의 타입으로 매칭해 주는 서브시스템인 타입 처리기를 구현한다. 타입 처리기에서는 eXDM이 내장형 시스템이라는 제한사항을 고려하고, XQuery 형태의 질의문을 지원하기 위해 XML-스키마를 변형한 형태의 XML 타입 정의 문서를 이용한다.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 2007.05a
• /
• pp.172-175
• /
• 2007

본 연구는 인터페이스 연구에 이용되는 가상 프로토타입에 대한 인터페이스가 실제크기모형(mockup)과 가까운 실제 프로토타입(real prototype)에 대한 인터페이스와 차이를 분석하고자 하였다. 휴대폰 중심으로 프로토타입을 가상의 그래픽을 구축하고 임베디드 시스템(embedded system)을 이용한 실제 프로토타입(real prototype)을 구축하였다. 휴대품에 대한 감성 평가 모델을 구축하여 두 프로토타입에 대한 평가를 실시하였다. 두 프로토타입의 인터페이스 면에서의 차이는 인터페이스 디자인에 적용되는 제품 평가에 가이드라인을 제시할 것이다.