• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.3_4
• /
• pp.145-151
• /
• 2004

We present an efficient data structure to obtain the range minima in an away in constant time. Recently, suffix ways are extensively used to search DNA sequences fast in bioinformatics. In constructing suffix arrays, solving the range minima problem is necessary When we construct suffix arrays, we should solve the range minima problem not only in a time-efficient way but also in a space-efficient way. The reason is that DNA sequences consist of millions or billions of bases. Until now, the most efficient data structure to find the range minima in an way in constant time is based on the method that converts the range minima problem in an array into the LCA (Lowest Common Ancestor) problem in a Cartesian tree and then converts the LCA problem into the range minima problem in a specific array. This data structure occupies O( n) space and is constructed in O(n) time. However since this data structure includes intermediate data structures required to convert the range minima problem in an array into other problems, it requires large space (=13n) and much time. Our data structure is based on the method that directly solves the range minima problem. Thus, our data structure requires small space (=5n) and less time in practice. As a matter of course, our data structure requires O(n) time and space theoretically.

• Journal of The Korean Association For Science Education
• /
• v.33 no.2
• /
• pp.522-537
• /
• 2013

This study analyzed the relationship among the construct level of analogical reasoning, prediction and uncertainty, and the construction of an explanatory model that were produced during small group discussions for scientific problem solving. This study was participated in by 8 students of K University divided into 2 teams conducting scientific problem solving. The participants took part in discussions in groups after achieving scientific problem solving individually. Through individual interviews afterwards, changes in their thinking through discussion activities were looked into. The results are as follows: The analogy at the Entities/Attributes level was used to make people clearly understand the characteristics of certain objects or entities in the discussions. The analogy at the Configuration/Motion level that was produced during the discussions ensured other participants to predict the results of problem solving. The analogy at the Mechanism/Causation level changed the structure of problem situations either to help other participants to reconstruct the explanatory model or to come up with a new situation that was never been through before to justify the created mechanism and through this, the case of creating Thought Experiments during the discussions were observed. if looking into the changes of analogies, each individual's analogic paradigm during the discussions were shown as production paradigm, reception-production paradigm, production-reception paradigm, and reception paradigm. The construction and reconstruction of the explanatory model were shown in analogic production paradigm, and in the reception paradigm of an analogy, participants changed their predictions or their certainty.

• Journal of Gifted/Talented Education
• /
• v.23 no.6
• /
• pp.1099-1115
• /
• 2013

Collective intelligence has been focused because it plays an important role for creating knowledge. In order to solve a problem with collective intelligence, collaborative works sharing information are required. In this study, we have investigated what informations are shared while 4 science gifted students are asked for scientific explanation to the problem which is cognitive conflict. They have shared presupposition and problem in stage of problem finding, aims and means of problem solving in stage of setting up hypotheses, and constraints for evaluation and results of evaluation in stage of hypotheses evaluation. Our research tells that group can create knowledge through sharing information and make a change of their concepts. Our foundation of these spontaneous conceptual change gives an implication for gifted education.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.205-208
• /
• 2003

암호 시스템의 안전성 및 신뢰성은 키의 안전성에 기반을 두기 때문에, 암호 시스템의 설계 및 구현 시 키를 안전하게 생성하는 것은 매우 중요한 일이다. 키 생성은 암호학적인 안전성을 만족하는 키를 생성하는 절차를 의미하며, 키를 생성하기 위해서는 지금까지 알려진 여러 가지 공격 방법들에 대한 안전성을 확보할 수 있는 파라미터를 사용해야 한다. 본 논문에서는 암호 시스템의 설계 및 구현 시 공개키 암호방식의 키 생성 단계에서 이산대수 문제와 소인수분해 문제를 푸는 알고리즘들을 이용한 공격으로부터 안전성을 갖기 위한 요구사항을 분석한다. 또한 이러한 결과를 바탕으로 키 생성 단계의 안전성 확보를 위한 요구사항 명세서를 작성한다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2003.05a
• /
• pp.429-434
• /
• 2003

본 논문은 작업일정계획에서 부하평준화 문제를 효율적으로 해결하기 위하여 tabu 탐색을 적용함에 있어서 확률적 선별에 기반하여 이웃해를 생성하는 방법을 제시한다. 이웃해 생성은 부하평준화를 위해 일정을 조정할 대상 작업을 선택하는 단계와 선택된 작업에 대해 일정 조정의 방향을 결정하는 단계로 구분된다. 확률적 선별에 기반한 이웃해 생성은 우선 무작위로 추출된 작업에 대해서 탐색의 질을 개선시킬 수 있는 가능성에 대한 추정치에 따라 확률을 부여하고, 이 확률에 기반하여 선택여부를 결정함으로써 이웃해를 선별하는 방법이다. 실제 현장의 부하평준화 문제를 대상으로 이웃해 생성 방법으로 무작위 방법, 그리디(greedy) 방법과의 비교 실험을 통해 확률적 선별에 기반한 이웃해 생성 방법의 성능을 검증하였다.

• The KIPS Transactions:PartA
• /
• v.15A no.2
• /
• pp.125-134
• /
• 2008

We implemented a system being able to suggest example sentences for multiple choice tests, considering the level of students. To build the system, we designed an automatic method for sentence generation, which made it possible to control the difficulty degree of questions. For the proper evaluation in the multiple choice tests, proper size of question pools is required. To satisfy this requirement, a system which can generate various and numerous questions and their example sentences in a fast way should be used. In this paper, we designed an automatic generation method using a linguistic resource called WordNet. For the automatic generation, firstly, we extracted keywords from the existing sentences with the morphological analysis and candidate terms with similar meaning to the keywords in Korean WordNet space are suggested. When suggesting candidate terms, we transformed the existing Korean WordNet scheme into a new scheme to construct the concept similarity matrix. The similarity degree between concepts can be ranged from 0, representing synonyms relationships, to 9, representing non-connected relationships. By using the degree, we can control the difficulty degree of newly generated questions. We used two methods for evaluating semantic similarity between two concepts. The first one is considering only the distance between two concepts and the second one additionally considers positions of two concepts in the Korean Wordnet space. With these methods, we can build a system which can help the instructors generate new questions and their example sentences with various contents and difficulty degree from existing sentences more easily.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.11b
• /
• pp.478-481
• /
• 2002

가상환경을 이용한 다양한 응용분야에서는 체감에 의한 실재감을 처리하는 것이 요구되고 있다. 체감의 효과를 표현하기 위한 일반적인 형태는, PhanTom에서 사용 가능한 햅틱 라이브러리를 사용하지만, 고비공과 처리 속도 문제 때문에 그 사용의 한계를 가진다. 본 논문에서는 햅틱 렌더링의 근본적인 문제인 실시간 렌더링 문제를 극복하기 위한 비선형 보간에 의한 근사 방법을 제안한다. 제안하는 방법은 하이브리드 접근 방식으로, 캐릭터에 작용하는 동역학적 움직임을 햅틱 효과 생성을 위하여 기하학적으로 재구성함으로써 체감효과 생성에 필요한 시간을 최소화 할 수 있다. 본 논문의 결과로는 캐릭터의 빈번한 제어에서 발생되는 체감 효과를 빠르게 생성할 수 있음을 보이며, 안정적이면서 그럴 듯한 효과를 생성할 수 있음을 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11a
• /
• pp.809-812
• /
• 2002

가상 현실이나 게임 제작 분야에서는 체감에 의한 실재감을 실시간으로 처리하는 것이 요구되고 있다. 체감 효과를 표현하기 위한 일반직인 형태는 PhanTom에서 사용 가능한 햅틱 라이브러리를 사용하지만, 처리 속도의 문제 때문에 대화형 시스템(interactive system)에는 그 사용의 한계를 가진다. 본 논문에서는 햅틱 렌더링의 근본적인 문제인 실시간 렌더링 문제를 극복하기 위한 비선형 보간에 의한 근사 방법을 제안한다. 제안하는 방법은 하이브리드 접근 방식으로, 캐릭터에 작용하는 동역학적 움직임을 햅틱 효과 생성을 위하여 기하학적으로 재구성함으로써 체감효과 생성에 필요한 시간을 최소화 할 수 있다. 본 논문의 결과로는 캐릭터의 빈번한 제어에서 발생되는 체감 효과를 빠르게 생성할 수 있음을 보이며, 안정적이면서 그럴 듯한 효과를 생성할 수 있음을 보인다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2022.07a
• /
• pp.557-558
• /
• 2022

본 논문에서는 인공신경망을 통해 화면에 투영된 거품입자를 효율적으로 생성할 수 있는 기법에 대해 소개한다. 유체 시뮬레이션 기반으로 바다거품을 계산하기 위해서는 유체역학과 수치해석학에 대한 이해가 필요하며, 유속의 유기물, 풍속 등 다양한 물리적 요소를 고려해야하기 때문에 복잡하고 계산양이 커진다. 오일러리안(Eulerian)접근법에서는 격자의 해상도가 커지게 되고, 라그랑지안(Lagrangian)접근법에서는 입자의 개수가 많아지기 때문에 이 문제를 다루기 쉽지 않은 문제이다. 이러한 문제를 완화하기 위해 본 논문에서는 인공신경망을 이용한 분류 모델 학습을 통해 3차원 유체 시뮬레이션으로부터 투영된 2차원 스크린 이미지로부터 거품이 생성될 위치를 예측한다. 결과적으로 물의 스크린에 투영된 물 입자의 깊이와 가속도로부터 거품의 생성 위치를 예측함으로서 복잡한 수치해석학 없이 학습을 통해 효율적으로 거품을 표현하는 결과를 보여준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11a
• /
• pp.307-310
• /
• 2002

인공지능 로봇 계획 문제는 초기상태, 동작, 목적상태로 구성되며, 초기상태를 목적상태로 변화시키는 일련의 동작을 찾는 문제로서, 지수 복잡도 문제이다. 이러한 문제에 대한 접근 방법으로 인공지능 탐색이 널리 쓰인다. 본 논문에서는 아일랜드 탐색을 사용하는 방법을 소개한다. 아일랜드 탐색을 적용하려면 초기상태에서 목적상태로 변환하는 도중 꼭 거쳐야 하는 아일랜드를 제공해야 한다. 그러나 그러한 아일랜드를 찾는 것은 불가능한 일이다. 그러므로, 본 논문에서는 선취관계를 이용하여 적당한 아일랜드를 생성하여 사용한다. 로봇 계획 문제의 목적 상태를 구성하는 부분목적 사이에 어떤 부분 목적이 반드시 다른 어떤 부분 목적 보다 먼저 성취되어져야 하는 관계를 선취관계라 한다. 아일랜드를 프로세서 수만큼 생성하여, 각 프로세서에 하나의 아일랜드를 원래의 계획 문제와 함께 할당한다. 각 프로세서는 초기상태에서 아일랜드까지 가는 문제를 휴리스틱 방법으로 풀고, 아일랜드에서 목적 상태로 도달하는 문제를 또한 휴리스틱 방법으로 풀어 결합함으로써 원래의 문제에 대한 해를 구하여 주 프로세서에게 되돌려 준다. 주 프로세서는 되돌아 온 해 중에서 가장 효율적인 해를 선택하여 최적해를 찾는다.