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

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

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

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.45-48
• /
• 2011

본 논문에서는 다양한 타입의 위치기반 데이터들을 하나의 R-tree로 통합합 $R^m$-tree의 구조와 이 $R^m$-tree를 이용하여 질의 포인트로부터 각 타입에서 k개의 가까운 위치기반 데이터를 찾는 mkNN(multi-type k nearest neighbor) 질의 처리기법을 제안하였다. 특히, 다양한 타입의 위치기반 데이터들을 각 타입별로 독립된 R-tree로 유지하지 않고, 하나의 $R^m$-tree로 통합하여 관리함으로써 mkNN 질의 처리시 같은 레벨의 공간의 반복탐색을 줄일 수 있도록 고안하였다. 그리고 각 타입 t에 대한 위치데이터를 관리하는 부가적인 타입정보 자료구조로서 위치정보를 담은 TMBR, 데이터 개수정보를 담은 $I_t$-entry를 새로이 고안하여 mkNN질의 처리시 효율적인 휠터링(filtering)과 검색과정이 이루어지도록 하였다.

• 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
• /
• 2004.11a
• /
• pp.437-440
• /
• 2004

자바 바이트 로드 명령어는 타입에 관한 정보를 포함하고 있다. 그러나 기본적으로 스택 기반으로 동작이 수행되기 때문에 지역 변수를 위한 명시적인 타입을 가지지 않는다. 하지만 프로그램의 최적화나 역컴파일을 위해서는 지역 변수의 타입을 아는 것이 중요하다. 본 논문은 스택을 사용하지 않는 3-주소 코드에서 지역 변수를 위한 정적 타입 추론을 구현한다. 이를 위해 본 논문에서는 SSA와 방향성 그래프를 적용한다.

• 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 타입 정의 문서를 이용한다.

• 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].

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

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.993-996
• /
• 2004

사람들 사이에는 DNA 서열의 변이로 인한 유전적 차이가 있으며, 가끔 이러한 차이가 유전 질병의 원인이 되기도 한다. 일반적으로 DNA에서 가장 잘 알려진 변이가 바로 SNP(Single Nucleotide Polymorphism : 스닙)이다. SNP는 보통 블록단위로 유전되어지며 한쪽 부모로부터 유전되어진 SNP 블록을 SNP 하플로타입이라고 부른다. 생물학 실험을 통하여 추출되어진 결과물은 부모로부터 유전되어진 대립 유전자가 혼합되어진 지노타입(genotype)의 정보이다. 지노타입은 직관적으로 정확한 SNP 하플로타입을 추정하기가 힘들고, 생물학 실험을 통하여 하플로타입(haplotype)을 분석하는데 많은 비용이 들기때문에, 이를 컴퓨터 계산을 통하여 추론하는 연구가 Clark[1]에 의해서 제안되어진 이후 활발하게 진행되고 있다. 본 논문에서는 하플로타입을 효과적으로 추론하기 위해 유전자 알고리즘을 이용한 새로운 방법을 설명하고, 실험 결과를 기존의 연구 결과와 비교 분석한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.12-14
• /
• 2000

실제품과 동일한 물리적 특성과 기능적 특성을 갖는 디지털 모델을 만드는 가상 프로토타입핑 기술은 내장형 시스템이 복잡해질수록 더욱 중요시되는 기술이다. 가상 프로토타입핑 요소기술중 정형 명세언어인 Statechart는 제품의 기능적 특성을 나타낸다. 그러나 기존 가상 프로토타입핑에서 사용되고 있는 Statechart에서의 재사용은 단지 복사하여 붙이는 방법만 있어서 재사용시 시스템 설계자의 세밀한 분석이 요구된다. 본 논문에서 구현한 가상 프로토타입핑을 위한 Statechart 도구는 제품의 생명주기를 줄이고, 제품의 시장적기진입을 위해 컴포넌트 기법을 이용하여 보다 빠른 시스템의 설계를 지원한다.