http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 위규범 ( Kyubum Wee ) (검색결과 22 건)
- 무료
- 기관 내 무료
- 유료
-
Knuth-Bendix 완전화 절차에서의 규칙 분할과 공정성
위규범(Kyubum Wee) 한국정보과학회 1998 정보과학회논문지 : 시스템 및 이론 Vol.25 No.10
Knuth-Bendix 완전화 절차에서 방향을 줄 수 없는 등식을 두 개의 규칙으로 분할하는 것은 중요한 태크닉이다. 규칙분할은 많은 경우에 완전화 절차가 완전시스템을 생성하는데 도움을 주지만 어떤 경우에는 완전화 과정을 방해하기도 하며 완전화 절차가 종료하지 못하게 하기도 한다. 본 논문에서는 반복적인 규칙 분할이 어떻게 완전화 절차의 공정성을 붕괴시키는지 관찰하고, 공정성을 유지히는 방법을 제시한다. 또한 어떠한 조건하에서 반복적인 규칙분할이 일어나는지 조사한다. 이 결과들은 사용자 개입없이 완전한 rerwrite system을 생성함을 용이하게 한다. Splitting a non-orientable equation into two rules by introducing a new operator is an important technique in the Knuth-Bendix completion procedure. Splitting sometimes helps the Knuth-Bendix procedure generate a complete rewrite system, while other times it hinders the completion process or even leads to divergence. We show how the fairness of the Knuth-Bendix procedure can be disrupted by repeated splitting, and consider how to maintain the fairness. The causes of repeated splitting are also investigated. It is shown that how these results can be used to facilitate the automatic generation of complete rewrite systems.
-
Rewrite System의 Polynomial Ordering의 자동생성
이정미(Jungmi Lee),위규범(Kyubum Wee) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.2Ⅰ
우리는 등식으로 표현된 많은 정보들을 다룬다. 그 중에서 가장 중요하고 근본적인 문제중의 하나는 ‘어떤 주어진 등식이 그 등식체계로부터 연역되어질 수 있나 없나’를 결정하는 것이다. 이러한 논리의 전개는 중요하다. Rewrite system은 이러한 문제를 해결하기 위한 한가지 방법이다. Rewrite system은 Rewrite 규칙의 집합이다. 하나의 Rewrite 규칙은 우변과 좌변으로 이루어진다. 유도는 주어진 항의 rewrite 규칙의 좌변과 일치하는 일부분을 rewrite 규칙의 우변으로 치환하는 일련의 과정이다. Rewrite system이 무한한 유도를 가지지 않을 때, rewrite system을 종료한다고 한다. 주어진 rewrite system이 종료하는 가의 여부를 결정하는 일은 중요하다. 종료여부를 결정하는 방법들 중 하나가 polynomial ordering이다. 이 방법은 rewrite system의 함수기호에 적절한 다항식을 대응시켜주는 방법이다. 그러나, 아직 자동화된 다항식 생성방법이 알려져 있지 않다. 본 논문에서는 유전자 알고리즘을 사용하여, 다항식을 자동으로 생성하는 방법을 찾는다.
-
복합 질환 관련 SNP 상호작용 예측을 위한 국소탐색 알고리즘
홍원표 ( Won-pyo Hong ),위규범 ( Kyubum Wee ) 한국정보처리학회 2010 한국정보처리학회 학술대회논문집 Vol.17 No.2
최근 GWAS(Genome-wide association study)로 인해 수십만 개의 SNP들이 사용 가능하게 되었다. 그러나 SNP 정보의 양이 방대하여 모든 SNP 조합을 검토하는 방식은 계산 비용이 클 뿐 아니라 오버피팅의 위험이 따른다. 본 논문에서는 필터링 기반 알고리즘인 SNPHarvester의 속도를 개선하고 평가함수를 상호정보량으로 대체하여 실험한다. 기존 SNPHarvester와 비교해 속도면에서 50%가 향상되었고 평가함수 면에서는 기존 SNPHarvester와 동일한 성능을 보였다.
-
메쉬형 광통신 네트워크에서의 광경로를 위한 유전자 알고리즘 기반의 라우팅
박용규(YongKyu Park),위규범(Kyubum Wee),홍만표(Manpyo Hong),예홍진(Hongjin Yeh) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.1A
본 논문은 광네트워크(optical network)에서 정보의 송/수신에 필요한 광경로를 설정하기 위한 방법으로 유전자 알고리즘을 이용한 라우팅 전략을 제시하고 있다. 논문에서 제시하는 유전자 알고리즘(genetic algorithms)은 메쉬형(mesh-like) 광 네트워크의 각 링크에 적은 수의 광경로(lightpath)가 통과하도록 하여 네트워크 전체 링크의 사용빈도를 감소시키고 광경로들이 특정 링크로 집중되는 현상을 감소시켜 네트워크의 효율을 증가시키는 라우팅 전략을 제시할 수 있음을 보이고 있다.
-
Passive Star형 광상호연결망에서 광 / 전 변환을 고려한 최적의 전송 스케쥴링
이상수(Sangsoo Lee),위규범(Kyubum Wee),홍만표(Manpyo Hong),예홍진(Hong-Jin Yeh) 한국정보과학회 2001 정보과학회논문지 : 시스템 및 이론 Vol.28 No.7·8
본 논문은 N개의 노드로 구성된 파장분할다중화(Wavelength Division Multiplexing)방식의 Passive Star형 광상호연결망에서 K개의 파장이 사용가능 할 때 패킷 전송 스케쥴링 문제를 다루고 있다. 모든 노드는 파장조율이 가능한 송신기와 특정 파장에 고정된 수신기를 각각 한 개씩 가지고 있으며, 하나의 패킷이 송신기로부터 수신기까지 전송되는 데에 걸리는 시간은 항상 일정하다고 가정한다. 최적의 패킷 전송 스케쥴이란 송신노드 입장에서 임의의 파장에서 다른 파장으로 송신기를 조율하는 데에 따른 지연시간(tuning delay)을 고려하여 같은 시간에 최대한 많은 서로 다른 파장을 사용하도록 함과 동시에, 수신노드의 입장에서 수신된 패킷들의 광/전(光/電)변환에 따른 지연시간(conversion delay)을 고려하여 패킷의 수신간격을 일정하게 유지함으로써 모든 패킷이 최소시간 내에 전송될 수 있도록 언제 어떤 파장을 사용하여 패킷들을 전송할 것인지 결정하는 것을 말한다. 본 논문에서는 파장조율에 따른 지연시간을 δ로 나타낼 때 모든 노드가 자기 자신을 제외한 다른 모든 노드에 주기적으로 전방송(all-to-all broadcast)을 반복하는 경우에 임의로 주어진 N, K, δ의 값에 대하여 최적의 패킷 전송 스케쥴을 구할 수 있는 알고리즘을 제안하고 있다. 또한, N이 K로 나누어 떨어지면 최적의 전방송 주기는 [NK(δ+1) / N²-N-NK+K²+K] (N-1)임을 증명하였다. This paper is concerned with packet transmission scheduling problem when K wavelengths are available between N nodes in WDM optical passive star interconnections. It is assumed that each node has one tunable transmitter and one fixed-tuned receiver respectively, and the duration time of each packet transmission is constant. An optimal schedule is to minimize the whole transmission time for all the packets. In order to find the optimal schedule, we have to consider the tuning delay as well as the optical/electronic conversion delay simultaneously. The former constraint requires that the different wavelengths are used at maximum in the same interval and the latter requires for each node to receive a set of packets in which the time interval is evenly spaced. In this paper, given any values of N, K and the tuning delay denoted by δ, we propose an algorithm to find optimal schedules for all-to-all broadcasts which are repeated periodically, where no node transmits packets to itself. And, it is proved that the optimal cycle length of all-to-all broadcast is [NK(δ+1) / N²-N-NK+K²+K](N-1) when N is divisible by K.
-
시그너쳐 매칭에 기반한 버퍼넘침 공격 탐지의 한계 및 대응
김성수(Sungsu Kim),위규범(Kyubum Wee) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.1A
C언어는 포인터형 변수를 제공하며 배열의 경계를 인식하지 않는다. 이러한 특성에서 기인한 버퍼넘침(buffer overflow)은 널리 알려진 취약점으로서 보안침해 수단으로 널리 악용되고 있다. 이 문제를 해결하기 위한 한 방법으로 오용탐지기술은 버퍼넘침에 공통적으로 사용되는 시그너쳐(Signature)를 가지고 클라이언트(client)가 전송한 패킷을 검사함으로서 고전적인 버퍼넘침을 탐지하고 있다. 본 논문에서는 이러한 탐지 방법을 우회할 수 있는 보다 위협적이고 지능적인 보안침해 가능성을 제시한다.
-
휴리스틱 알고리즘을 이용한 SNP 유전형 자료의 결측치 대치법
정현환(Hyun-hwan Jeong),위규범(Kyubum Wee) 한국정보과학회 2008 한국정보과학회 학술발표논문집 Vol.35 No.2
유전형(genotype) 데이터 상에서 발생하는 결측치(missing value)를 어떤 방식으로 다룰 것인지는 중요한 문제이며, 이 경우 결측치가 발생한 곳에 적당한 값을 채우는 대치법(imputation method)은 결측치를 다루는데 있어서 효율적인 방법이다. 기존에 사용하고 있는 결측치 대치법의 경우 좋은 성능을 보장하는 것으로 알려져 있으나, 많은 정보를 필요로 하거나, 혹은 느린 수행시간을 보여주는 경우가 많다. 본 논문에서는 유전형 데이터와 결측치가 주어졌을 때 상호 정보량(mutual information)과 하디 와인버그 평형(The Hardy-Weinberg Equilibrium)을 데이터의 특성을 나타내는 인자로 사용하고, 휴리스틱 알고리즘의 일종인 시뮬레이티드 어닐링 알고리즘을 통해 결측치를 대치하는 방법을 제시한다. 본 논문 에서는 주형질 대치법과 동일 데이터에 대하며 실험을 실시하였고, 여러 가지 기준을 통하며 성능을 비교 및 분석하였다.
-
언어 압축 알고리즘을 이용한 컴퓨터 바이러스의 행위 패턴 추출
임영환(Younghwan Lim),위규범(Kyubum Wee) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.1A
컴퓨터 사용증가와 함께 컴퓨터 바이러스 또한 증가하고 있다. 바이러스 검사 프로그램은 바이러스의 특정 문자열(signature)을 찾아내는 문자열 검색도구와 프로세스의 행동을 모니터링 하는 감시 도구(general purpose monitor)의 두 가지 형태가 있으며, 각각은 미 발견 바이러스에 대한 취약성과 시스템 오버헤드를 단점으로 가지고 있다. 또한, 최근에 제안된 면역 시스템은 계산 복잡도나 시스템 구성면에서 지나친 부담을 가지고 있다. 본 논문에서는 바이러스들의 행위를 추출할 수 있도록 하기 위하여, 언어 압축 알고리즘을 이용하여 바이러스 행동 패턴을 추출하는 방법을 고안하였고,몇 가지 바이러스를 이용하여 실험해 보았다. 그 결과 실제 학습에 이용한 바이러스가 아니더라도 유사한 동작을 하는 바이러스에 대해서는 면역성을 가질 수 있었다.
-
단일염기다형성 상위성 네트워크를 구성하기 위한 분할표를 생성하는 빠른 알고리즘의 설계
왕세희(Sehee Wang),위규범(Kyubum Wee) 한국컴퓨터정보학회 2016 한국컴퓨터정보학회 학술발표논문집 Vol.24 No.2
전장유전체 연관성 연구에서 상위성 탐색은 많은 단일염기다형성 수로 인해 계산이 어렵기 때문에 네트워크에서의 탐색을 이용한 방법이 사용되고 있다. 그러나 전장유전체 연관성 연구에서 단일염기다형성들의 상위성 네트워크의 구성 역시 큰 계산 비용을 필요로 한다. 본 논문에서는 단일염기다형성과 표현형의 상호정보량을 이용한 네트워크를 구성하는데 드는 시간을 줄이는 알고리즘을 제안한다. 또한 표본 크기별로 계산 시간을 실험해 보았으며, 기존의 방법과 비교해 실행 속도가 향상됨을 보였다.
-
안영준(Youngjun Ahn),위규범(Kyubum Wee) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.2Ⅰ
비정상 행위와 정상행위를 구별하여 침입을 탐지하는 기법 중 오토마타를 이용해 정상 행위를 프로파일링 하는 기법이 연구되어왔다. 최근엔 다중 서열 정합(multiple sequence alignment)방법을 이용하여 오토마타 생성을 자동화 하는 방법이 소개 되었다. 그러나 이 방법은 시스템 콜의 서열을 정열하기 위해 추가적인 상태가 들어가게 때문에 오토마타가 너무 커지는 단점이 있다. 본 논문에서는 유전자 알고리즘을 이용하여 정상 서열을 인식하는 오토마타를 생성하는 방법을 제안한다.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
