• Journal of KIISE:Databases
• /
• v.41 no.4
• /
• pp.256-261
• /
• 2014

The problem of top-${\kappa}$ set similarity joins finds the top-${\kappa}$ pairs of records ranked by their similarities between two sets of input records. We propose an efficient algorithm to return top-${\kappa}$ similarity join pairs using a sampling technique. From a sample of the input records, we construct a histogram of set similarity joins, and then compute an estimated similarity threshold in the histogram for top-${\kappa}$ join pairs within the error bound of 95% confidence level based on statistical inference. Finally, the estimated threshold is applied to the traditional similarity join algorithm which uses the min-heap structure to get top-${\kappa}$ similarity joins. The experimental results show the good performance of the proposed algorithm on large real datasets.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.531-533
• /
• 2003

본 논문에서는 형태소 수준의 결합범주문법을 이용하여 형태소 분석을 포함한 자연언어처리의 여러 단계를 한 단계의 유도과정으로 처리하고 형태소 분석 단계에서 증가하는 애매성과 복잡도를 상위 분석 단계의 정보를 사용하여 줄이는 방법에 대해서 논한다. 한국어에서 나타나는 복잡한 언어 현상 중에 하나인 용언의 불규칙 활용을 확률 정보뿐만 아니라 음운정보를 포함만 통사 정보나 의미 정보 등의 상위 정보를 사용하여 처리하여보고 일반적인 형태소 분석기로서의 발전 가능성에 대해서 알아본다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.47 no.2
• /
• pp.106-114
• /
• 2010

We proposed an unified design methodology and verification platform for giga-scale System on Chip (SoC). According to the growth of VLSI integration, the existing RTL design methodology has a limitation of a production gap because a design complexity increases. A verification methodology need an evolution to overcome a verification gap. The proposed platform includes a high level synthesis, and we develop a power-aware verification platform for low power design and verification automation using it's results. We developed a verification automation and power-aware verification methodology based on control and data flow graph (CDFG) and an abstract level language and RTL. The verification platform includes self-checking and the coverage driven verification methodology. Especially, the number of the random vector decreases minimum 5.75 times with the constrained random vector algorithm which is developed for the power-aware verification. This platform can verify a low power design with a general logic simulator using a power and power cell modeling method. This unified design and verification platform allow automatically to verify, design and synthesis the giga-scale design from the system level to RTL level in the whole design flow.

• The Journal of the Convergence on Culture Technology
• /
• v.10 no.2
• /
• pp.237-244
• /
• 2024

We studied the effects on their academic achievement of chemistry II and advanced chemistry subjects of science high school students according to the type of class (face-to-face and non-face-to-face). The subjects of this study were 195 first-year students of G Science High School located in Gyeongnam. The average scores of Chemistry II and Advanced Chemistry in non-face-to-face classes in 2020 and face-to-face classes in 2021 were compared and analyzed. As a result of comparing and analyzing the academic achievement according to the class type, students' grades in Chemistry II and Advanced Chemistry were higher in non-face-to-face classes. In the comparison of academic achievement by level according to class type, Chemistry II showed higher average grades in non-face-to-face classes as the lower level were, and in advanced chemistry, the higher the upper grades in non-face-to-face classes. In addition, in terms of the effect of changes in class form on the upper and lower 10% levels of academic achievement of Chemistry II, the upper 10% showed high grades in face-to-face classes and the lower 10% in non-face-to-face classes. On the other hand, in advanced chemistry, the average grade of non-face-to-face classes was higher than that of face-to-face classes in the top 10%, and the average grade of face-to-face classes was higher than that of non-face-to-face classes in the bottom 10%. Through these results, it was found that in the teaching-learning of science high school students, instructors need to design and treat teaching-learning appropriate to the level of academic achievement.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.19-21
• /
• 2002

우리는 저전력 소모를 위한 상위 수준(high-level)에서의 효과적인 바인딩(binding) 알고리즘을 제안한다. 이전 연구들에 의해서 저전력 소모를 위한 몇몇의 바인딩 알고리즘들은 멀티-코모도티 플로우(multi-commodity flow) 문제로 모델링 될 수 있음이 밝혀졌다. 그러나 멀티-코모도티 플로우 문제는 NP-hard이기 때문에 진은 크기의 설계에만 적용될 수 있다. 이러한 제약을 극복하기 위해 우리는 네트워크 상의 플로우를 잘 이용해서 효과적으로 빠른 시간 안에 최적에 가까운 결과를 낼 수 있는 방법을 제안하여 크기가 큰 설계에도 적용할 수 있도록 한다. 이를 위해 우리는 첫번째 단계에서는 네트워크에서 최소 비용의 최대 플로우 (maximum f1ow -minimum cost)를 구하는 방법을 부분적으로 이용해서 유효한 결과를 구하고 두 번째 단계에서는 이를 반복적으로 개선시켜나가는 2 단계의 알고리즘을 제안한다. 벤치마크를 이용한 실험 결과는 제안된 알고리즘이 실제적인 설계에 적용되었을때, 충분히 빠른 시간 안에 최적에 가까운 결과를 생성함을 보여준다.

• Annual Conference on Human and Language Technology
• /
• 2001.10d
• /
• pp.63-69
• /
• 2001

정보 검색 결과의 정확성을 높이기 위해서는 상위수준의 색인 정보를 이용한 검색 기법이 요구된다. 상위수준의 색인을 하기 위해서는 구문 분석을 이용할 필요가 있지만 웹 페이지를 이용하는 웹 검색에서는 웹 폐이지 자체의 오류 때문에 구문 분석을 할 때 실패할 확률이 높으므로 견고한 구문 분석이 요구된다. 본 논문은 구, 문장에 기반한 색인 기법 및 기존 색인 방법을 병행해서 사용하는 시스템에 대하여 소개한다. 본 논문에서 소개하는 시스템은 5가지 방법의 색인 기법을 사용한다. 각 색인 기법은 적용될 분야 또는 범위에 따라 선택적으로 사용될 수 있다. 색인 기법은 1)명사 색인 2)명사+용언 색인 3)명사+용언+문장정보 색인 4)명사구 색인 5)중심어-종속어(Head-Modifier) 색인으로 나누어진다. 색인 기법 중 4와 5의 경우, 구문 분석된 결과를 사용하여 특정 명사구 및 중심어-종속어 관계를 고려함으로써 문서의 특성을 잘 나타내는 색인어를 추출할 수 있고 그러므로 정보검색의 성능을 향상시키는 기반 기술로 사용될 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.34-36
• /
• 2001

상위 수준 합성 과정에서 스케줄링은 하드웨어 동작을 표현한 연산들이 주어진 제약 조건을 만족하며 최적의 제어단계에 배정되도록 하는 과정이며 스케줄 결과는 목적 하드웨어의 면적과 실행속도에 많은 영향을 준다. 파이프 라인은 순차적인 데이터 입력을 중첩 수행하여 실행 속도와 자원 이용률을 동시에 증가시키는 방법이다. 상위 수준에서 파이프라인 데이터 패스를 합성하기 위한 기존의 스케줄링 알고리즘들은 고정된 데이터 입력 간 격열을 기반으로 제안된 것이 대부분이며, 가변 데이터 입력 간격을 지원하는 스케줄링 알고리즘으로는 시간 제약 하의 자원최소화 알고리즘[5]이 제안되었다. 본 논문에서는 가변데이터 입력 간격을 지원하는 자원 제약하의 실행 시간 최소화 알고리즘을 제안한다. 이를 위해 연산의 스테이지 인덱스가 초기에 고정되는 시간제약하의 스케줄링 알고리즘[5]을 응용하여 자원제약하의 스케줄 진행과정에서 증가되는 제어단계에 따라 스테이지 인덱스가 변경 될 수 있도록 하고 점진적인 모빌리티 축소에 의해 스케줄한다. 제안된 스케줄링 알고리즘의 실험 결과는 다양한 자원제약과 입력 간격렬에 대하여 제약조건을 만족하는 효과적인 스케줄 결과를 유도한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.04a
• /
• pp.349-352
• /
• 2005

이 논문에서는 분산된 생물학의 대사 네트워크들이 있을 때, 이를 통합하지 않은 상태에서 경로검색을 하는 분산 알고리즘을 제안한다. 대사 네트워크는 여러 데이터베이스에 존재하며 서로 중복되는 데이터를 가지고 있다. 제안한 방법은 네트워크 사이의 중첩이 있는 부분을 하이퍼 노드로 하고, 네트워크 자체는 하이퍼 에지로 하는 추상 하이퍼 그래프를 만들어서, 이를 이용한 상위수준의 경로를 구축한다. 각 네트워크내의 중첩된 영역간의 경로를 미리 계산해 둔 다음, 상위수준의 경로에 기반하여 분산된 대사네트워크 간에 존재하는 경로를 검색한다. 추상 하이퍼 그래프는 데이터베이스를 하이퍼 노드로 하는 것에 대한 경로탐색을 한 다음, 그 경로에 따라 데이터베이스 내에 존재하는 대사경로를 탐색한다. 이때 존재하는 대사경로가 많기 때문에 각각의 대사경로를 하이퍼 노드로 하는 추상 하이퍼 그래프를 만들어 경로를 탐색하고 나서 그 하위 노드에 대해 경로탐색을 한다. 이는 분산된 네트워크를 통합할 저장 공간 및 탐색시간을 줄일 수 있다는 장점이 있다.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.4 no.2
• /
• pp.83-87
• /
• 2011

Clock selection has a significant impact on the performance and quality of designs in high-level synthesis. Almost systems require that the clock length is required prior to scheduling, the best value of the clock can be found only after evaluating different schedules. In this study, we presents a scheduling method that works simultaneously with synthesis by selecting a clock from a chainable operation set. Our scheduling algorithm is based on list scheduling and executes chaining considering bit level delays based on selected clock period. Experimental results show that our method improves the performance by 18 percent.

• KOREAN JOURNAL OF CROP SCIENCE
• /
• v.33 no.4
• /
• pp.329-335
• /
• 1988

[n order to find out the effects of nitrogen fertilizer and planting density on the leaf characteristics of high yielding cultivars of rice, Dongjin (Japonica type) and Samkang (Tongil type) were .grown under two nitrogen levels (150 and 250 kg N/ha) and three planting densities (30 ${\times}$ 15 cm, 30 ${\times}$ 12 cm, 30 ${\times}$ 9 cm. Leaf blade, sheath and dry weight of individual leaf. the number of green leaves after flowering were measured. Samkang was characterized as longer and wider leaf blade and sheath than Dongjin, less sensitive to nitrogen fertilizer and planting density, and higher proportions of green leaves after flowering. These morphological characteristics of Samkang caused an increase of grain yield by 30 per cent.