• Journal of the Korea Society of Computer and Information
• /
• v.20 no.1
• /
• pp.85-92
• /
• 2015

As computer game maps get more elaborate, path-finding by using $A^*$ algorithm in grid-based game maps becomes bottlenecks of the overall game performance. It is because the search space becomes large as the number of nodes increases with detailed representation in cells. In this paper we propose an efficient pathfinding method in which the computer game maps in a regular grid is converted into the polygon-based representation of the list of vertices and then the visibility information about vertices of polygons can be utilized. The conversion to the polygon-based map does not give any effect to the real-time query process because it is preprocessed offline. The number of visited nodes during search can be reduced dramatically by designing heuristics using visibility information of vertices that make the accuracy of the estimation enhanced. Through simulations, we show that the proposed methods reduce the search space and the search time effectively while maintaining the advantages of the grid-based method.

• The KIPS Transactions:PartA
• /
• v.19A no.1
• /
• pp.69-72
• /
• 2012

Logic programming based on classical or linear logic has traditionally lacked devices for expressing sequential tasks and sequential iterative tasks. Expressing sequential goal tasks has been addressed by a recent proposal of sequential goals of the form $G_1{\cap}G_2$ which is based on the game semantics of Japaridze. This paper proposes sequential iterative goal formulas of the form ${\cap}_x^LG$ where $G$ is a goal, $x$ is a variable, and $L$ is a list. ${\cap}_x^L$ is called a sequential bounded quantier. These goals allow us to specify the following task: sequentially iterate $G$ with $x$ ranging over all the elements of $L$.

• Journal of the Korean Society of Floral Art and Design
• /
• no.43
• /
• pp.123-138
• /
• 2020

This study found Flower Jewelry works in the monthly magazine specializing in flower decoration for nine years from 2011 to 2019. Based on the analysis of the type of expression, method of expression, type and number of plant materials used, and the type and number of non-plant materials used for the flower jewelry found, it was conducted to find out the trend of flower jewelry in Korea. By expression type, a total of 96 works were analyzed as 20.83% for headdresses, 57.29% for necklaces, 5.21% for earrings, 6.25% for lists, and 10.42% for other works(χ²=94.833, p<.001). According to the analysis of the frequency of use of expression techniques, headdresses, necklaces, and lists for each work were produced using five to six different expression techniques and earrings were produced using two to four expression techniques. Material coupling techniques 34.43%, flower and leaf utilization 30.17%, visual techniques 16.63%, collectivization techniques 14.12%, technical highlighting techniques 4.26%, and other 0.39% (χ²=455.222, p<.001). The most frequently used techniques were framing techniques 16.63% and knotting techniques 16.44%. Plant materials used in flower jewelry were found to be 22.61% for Phalaenopsis spp., 13.48% for Gomphrena globosa, 9.57% for Gloriosa rothschildiana, 7.39% for Epidendrum cinnabarinum, 6.96% for Chamelaucium uncinatum and 4.78% for Craspedia globosa (χ²=718.104, p<.001). In the case of branch, the most common was used with 70.00% of the Cornus walteri, and 10.00% of Actinidia arguta, Celastrus orbiculatus, and Salix pseudolasiogyne were used respectively (χ²=10.800, p=.013). In the case of foliage, 24.65% Aspidistra elatior, 24.62% Asparagus asparagoides, 11.54% Senecio rowleyanus, and 6.15% Ceropegia woodii (χ²=269.385, p<.001). In the case of berries, 44.44% of the fruits of the Smilax china, 33.33% of the Hypericum patulum, and 11.11% of the Phytolacca americana were found (χ²=11.444, p =.022). Non-planting materials used in the manufacture of flower jewelry were found to be 47.34% of 2mm aluminium wire, 33.73% of copper wire and 10.06% of 1mm aluminum wire (χ²=186.704, p<.001). The figure was 53.57% for pearls, 12.50% for ribbons, and 4.14% for spangles and feathers.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10b
• /
• pp.1303-1306
• /
• 2001

이 논문에서는 네트워크 모니터링을 위해 기존의 기법들과는 달리 네트워크 토폴로지를 기반으로 한 접근 방법을 통해 보다 효율적으로 폴링 트래픽에 대한 오버헤드를 제어하는 동적 폴링 기법을 제시하였다. 제안된 기법에서는 폴링트래픽에 대한 오버헤드를 제어하기 위해 관리 도메인의 네트워크 토폴로지 정보를 이용한다. 네트워크 토폴로지 정보를 이용하여 폴링을 위한 노드 리스트에서 각 노드들 간의 연결 관계를 표현한다면 토폴로지 순서에 의해 빠르고 정확하게 실시간 네트워크 정보를 파악할 수 있다. 따라서 이러한 방법을 통해 기존의 제안된 기법들 보다 폴링 처리율을 높임으로써 보다 효율적인 동적 폴링 기법을 제안하였으며, 다른 기법들과의 비교를 통해 제안된 기법의 효율성을 증명하였다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2008.02a
• /
• pp.77-80
• /
• 2008

속성 기반의 키 교환 방법은 사용자의 아이디가 다수의 속성들로 표현되고, 사용자가 지정한 정책을 만족하는 속성들을 소유한 두 사용자간에 안전한 키 교환이 가능한 방법이다. 속성 기반 키 교환은 기존의 아이디 기반 키 교환 (Identity-Based Key Agreement) 방법과 달리 키 교환을 수행할 상대방을 미리 결정할 필요가 없다. 즉, 사용자는 단지 키 교환을 맺고자 하는 상대 사용자가 어떠한 속성을 가지기를 지정한 정책을 지정하고 이 정책을 만족하는 임의의 사용자와 키 교환을 수행하게 된다. 속성 기반 키 교환은 사용자를 자신이 수행하는 역할들의 리스트로 기술하여 접근 통제를 가능하게 하는 역할 기반 접근 통제 (Role-Based Access Control) 시스템에 적용이 가능하다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.571-574
• /
• 2006

Dependent type은 유리수, 리스트 함수, 행렬 곱 등 여러 가지 타입들의 제약 사항들을 충실히 표현하는 데에 필수적이기 때문에 이를 지원하는 타입 시스템을 탑재한 언어를 새로 개발하거나 기존 언어의 다른 특성들을 활용하여 이를 모의(simulate)하려는 시도가 다각도로 진행되고있으며, Haskell 타입 레벨 프로그래밍도 이런 모의 기법 중 하나다. 기존 타입 레벨 프로그래밍은 변별력의 손실이 없는 대신 이로 인해 관련 함수들의 타입이 복잡해지거나 확정하기 어려워지는 경우가 많아서 잘못된 프로그램을 작성할 위험 부담이 커진다. 실제로 dependent type이 필요한 경우들 중에는 매우 간단한 변별력만을 요구하는 경우가 많으므로, 귀납적 자료형을 이진 추상화하여 일부 변별력을 포기하는 대신 상대적으로 간단하게 dependent type과 관련 함수들의 타입을 확정하는 간소화된 타입 레벨 프로그래밍 기법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.11a
• /
• pp.299-301
• /
• 2017

현대사회에서는 사이버 해킹 공격이 많이 일어나고 있다. 공격이 증가함에 따라 이를 다양한 방법으로 방어하고 탐지하는 연구가 많이 이루어지고 있다. 본 논문은 OpenIOC, STIX, MMDEF 등과 같은 공격자의 방법론 또는 증거를 식별하는 기술 특성 설명을 수집해 놓은 표현들을 기반을 머신러닝과 logstash라는 로그 수집기를 결합하는 새로운 시스템을 제안한다. 시스템은 pc에 공격이 가해졌을 때 로그 수집기를 사용하여 로그를 수집한 후에 로그의 속성 값들의 리스트를 가지고 머신러닝 알고리즘을 통해 학습시켜 분석을 진행한다. 향후에는 제안된 시스템을 실시간 처리 머신러닝 알고리즘을 사용하여 필요로그정보의 구성을 해주면 자동으로 로그정보를 수집하고 필터와 출력을 거쳐 학습을 시켜 자동 침입탐지시스템으로 발전할 수 있을 것이라 예상된다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.7A
• /
• pp.1162-1169
• /
• 2001

유연 패턴은 시간 축으로 확장 및 수축할 수 있는 요소들의 순서화된 리스트이다. 유연 패턴은 서로 다른 샘플링 비율을 갖는 데이터 시퀀스들로부터 규칙들을 찾아내는데 유용하게 사용된다. 본 연구에서는 헤드(head: 규칙의 왼쪽 부분)와 바디(body: 규칙의 오른쪽 부분)가 모두 유연 패턴으로 구성된 규칙들을 신속하게 찾도록 하기 위하여 데이터 시퀀스로부터 서픽스 트리(suffix tree)를 구성한다. 이 서픽스 트리는 유연 규칙들의 압축된 표현이며, 타깃 헤드 시퀀스와 매치되는 규칙을 찾기 위한 인덱스 구조로서 사용된다. 만일, 매치되는 규칙을 찾을 수 없는 경우에는 규칙 완화(rule relaxation)의 개념을 이용한다. 클러스터 계층(cluster hierarchy)과 완화 오차(relaxation error)를 사용하여 타깃 헤드 시퀀스의 고유한 정보를 대부분 포함하고 있는 최소한으로 완화된 규칙을 찾는다. 다양한 실험을 통한 성능 평가를 통하여 제안한 기법의 우수성을 검증한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06c
• /
• pp.51-53
• /
• 2012

데이터 마이닝의 문서분류 기술에서 발전된 오피니언 마이닝은 이제 국외뿐만 아니라 국내의 학계 및 기업에서 중요한 관심분야로 자리잡아가고 있다. 오피니언 마이닝의 핵심은 문서에서 감정 단어를 추출하여 긍정/부정 여부를 얼마나 정확하게 자동적으로 판별하느냐를 평가하는 것이다. 국내에서도 이에 관련된 많은 연구가 이루어 졌으나 아직 실용적으로 적용할 만큼의 정확한 분류 정확도 보이지 않고 있다. 그 이유는 한국어의 경우 비문법적 표현, 감정단어의 다양성 등으로 인해 문서의 극성을 판별하기가 쉽지 않기 때문이다. 본 논문에서는 문법적 요소를 최대한 배제하고 단어 패턴의 빈도만을 고려한 영화평 분류기법을 제안한다. 제안된 방법에서는 문서를 단어들의 리스트로 추상화하여 패턴들의 빈도로 학습한 후 적절한 스코어 함수를 적용하여 문서의 극성을 판별한다. 또한 실험을 통해 제안된 기법의 정확도를 평가한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04a
• /
• pp.57-60
• /
• 2001

본 논문에서는 유연 패턴(elastic pattern)을 갖는 규칙(rule)을 탐사하고 매칭하는 기법에 대해 논의한다. 유연 패턴은 시간 축으로 확장 및 수축할 수 있는 요소들의 순서화된 리스트이다. 유연 패턴은 서로 다른 샘플링 비율을 갖는 데이터 시퀀스들로부터 규칙들을 찾아내는데 유용하게 사용된다. 본 연구에서는 헤드(head: 규칙의 왼쪽 부분)와 바디(body: 규칙의 오른쪽 부분)가 모두 유연 패턴으로 구성된 규칙들을 신속하게 찾도록 하기 위하여 데이터 시퀀스로부터 서픽스 트리(suffix tree)를 구성한다. 이 서픽스 트리는 유연 규칙들의 압축된 표현이며, 타깃 헤드 시퀀스와 매치되는 규칙을 찾기 위한 인덱스 구조로서 사용된다. 만일, 매치되는 규칙을 찾을 수 없는 경우에는 규칙 완화(rule relaxation)의 개념을 이용한다. 클러스터 계층(cluster hierarchy)과 완화 오차(relaxation error)를 사용하여 타깃 헤드 시퀀스의 고유한 정보를 대부분 포함하고 있는 최소한으로 완화된 규칙을 찾는다. 다양한 실험을 통한 성능 평가를 통하여 제안한 기법의 우수성을 검증한다.