• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.28 no.4
• /
• pp.63-68
• /
• 2005

주어진 시스템에서 정보와 정보흐름에 대한 패턴인식을 하기 위해서는, 정보를 내포하고 있는 문맥이 내용에 따라서 다른 단어나 다른 정보를 추론하여 원래의미를 전달함에 있어 오도할 수 있기 때문에, 문맥의 분해에서 정보 조각의 묶음 형태로 전환하는 작업에서부터 연구는 시작되어야만 한다. 많은 연구자들이 정보의 저장, 재표현, 부호화, 검색 등에 관해 효과적인 방법론을 찾고자 노력해 오고 있다. 유사한 노력의 일환으로 본 논문에서는 군이론과 상황이론을 응용해서 정보 및 정보흐름의 패턴인식에 관한 새로운 모델링 기법을 제안하고자 한다. 정보처리에 관련된 선행연구와 비교해서, 본 연구에서 제안하는 방법은 수학이론인 군이론과 상황이론에서 사용되고 있는 개념과 정의를 사용하였다는 점에서 매우 새로운 접근방법이라 할 수 있다. 본 논문에서는 정보흐름의 패턴인식을 위한 모델링 기법으로 Abelian Pattern Semi-Group을 제시하는데 이러한 접근방법은 최근 중요한 연구 분야가 되고 있는 유비쿼터스 컴퓨팅 환경에서도 활용될 수 있을 것이다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.3
• /
• pp.324-332
• /
• 1999

다중 프로그래밍 환경에서 운영체제는 시스템의 시간 할당량에 따라서 프로세스들에 대하여 문맥교환을 수행한다. 문맥교환은 현재 수행중인 프로세스 문맥의 저장과 다음에 수행되는 프로세스 문맥의 적재라는 비용 뿐만 아니라 캐쉬 메모리의 커다란 영향을 미친다. 특히 블록화 알고리즘은 사용하는 프로그램들은 재사용되기 위하여 캐쉬 메모리에 적재된 블록화 요소가 프로그램들의 문맥 교환사이에 다른 프로그램들에 의하여 손상되는 경우 프로그램의 캐쉬 성능이 크게 떨어진다. 본 논문에서는 하나의 블록화 요소에 대한 계산이 완료될 때까지 운영체제가 문맥 교환을 지연시키는 지연된 선점 스케쥴링 방법을 제안한다. 모의 시험을 통하여 지연된 선점 스케줄링을 사용할 경우 블록화 알고리즘을 사용한 프로그램들은 재사용되기 위하여 캐쉬 메모리에 적재된 블록화 요소가 프로그램들의 문맥 교환 사이에 다른 프로그램들에 의하여 손상되는 경우 프로그램의 캐쉬 성능이 크게 떨어지게 된다. 본 논문에서는 하나의 블록화 요소에 대한 계산이 완료될 때까지 운영체제가 문맥 교환을 지연시키는 지연된 선점 스케쥴링 방법을 제안한다. 모의 시험을 통하여 지연된 선점 스케줄링을 사용할 경우 블록화 알고리즘을 사용한 프로그램은 캐쉬 메모리에 적재된 블록화 요소를 문맥 교환으로부터 보호 받으므로 향상된 캐쉬성능을 나타냄을 보인다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.7
• /
• pp.636-645
• /
• 2006

A tenn with more domain specific information has higher level of term specificity. We propose new specificity calculation methods of terms based on information theoretic measures using compositional and contextual information. Specificity of terms is a kind of necessary conditions in tenn hierarchy construction task. The methods use based on compositional and contextual information of terms. The compositional information includes frequency, $tf{\cdot}idf$, bigram and internal structure of the terms. The contextual information of a tenn includes the probabilistic distribution of modifiers of terms. The proposed methods can be applied to other domains without extra procedures. Experiments showed very promising result with the precision of 82.0% when applied to the terms in MeSH thesaurus.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.4
• /
• pp.443-454
• /
• 1999

최소 여유시간 우선(Least-Laxity-First)스케쥴링 알고리즘은 여유시간이 작은 태스트가 높은 우선순위를 갖는 동적 우선순위 스케줄링 방법으로서 단일프로세서 시스템에서 최적임이 증명되었다. 그러나, 이 알고리즘은 최소 여유시간을 가진 태스크가 여러 개 존재하여 여유시간 충돌이 발생한 경우 이 태스크들 간에 빈번한 문맥교환이 발생하게 되는 문제점이 있어 실용적이지 못하다. 본 논문에서 제한하는 최소 여유시간 우선 기반의 최소선점을 갖는 스케줄링 알고리즘(Least-Laxity-First with Minimum Preemption 또는 LLF/MP)은 여유시간이 충돌했을 때에 문맥교환을 최소화함으로써 최소 여유시간 우선 스케줄링 알고리즘의 단점을 해결하였다. LLF/MP 스케줄링 알고리듬은 불필요한 문맥교환을 줄임으로써 시스템 오버헤드로 인한 시스템의 성능 저하를 방지할 수 있고 보다 많은 시스템 자원을 예측 불가능한 비주기적 태스크에게 할당할수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.901-903
• /
• 2004

어떤 용어가 전문적인 개념을 많이 내포하고 있을 때 전문성(specificity)이 높다고 말한다. 본 논문에서는 정보이론에 기반한 방법으로 전운용어가 내포하는 전문성을 정량적으로 계산하는 방법을 제안한다. 제안한 방법은 전문용어의 구성정보를 이용하는 방법과 문맥정보를 이용하는 방법으로 나눈다. 구성정보를 이용하는 방법에서는 전문용어틀 구성하는 단어의 빈도수, tf.idf 값, 내부 수식구조 등을 이용하고, 문맥정보를 이용하는 방법에서는 전문용어를 수식하는 단어들의 분포를 이용한다. 제안한 방법은 분야에 독립적으로 적용될 수 있고, 전문용어 생성 절차에 대한 특징을 잘 표현할 수 있는 장정이 있다. MeSH 트리에 포함된 질병명을 대상으로 실험한 결과 82.0%의 정확률을 보였다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.2
• /
• pp.68-77
• /
• 2003

The Least-Laxity First(or LLF) scheduling algorithm assigns the highest priority to a task with the least laxity, and has been proved to be optimal for a uni-processor and sub-optimal for a multi-processor. However, this algorithm Is Impractical to implement because laxity tie results in the frequent context switches among tasks. In this paper, a Modified Least-Laxity First on Multiprocessor(or MLLF/MP) scheduling algorithm is proposed to solve this problem, i.e., laxity tie results in the excessive scheduling overheads. The MLLF/MP is based on the LLF, but allows the laxity inversion. MLLF/MP continues executing the current running task as far as other tasks do not miss their deadlines. Consequently, it avoids the frequent context switches. We prove that the MLLF/MP is also sub-optimal in multiprocessor systems. By simulation results, we show that the MLLF/MP has less scheduling overheads than LLF.

• School Mathematics
• /
• v.10 no.4
• /
• pp.537-555
• /
• 2008

The study aims to analyze elementary school students' understanding of the concept of equality sign in contexts, to reflect the types of contexts for equality sign which mathematics textbook series for $1{\sim}4$ grades on natural numbers and its operation provide, and to invetigate the effects of teaching methods of the concept of equality sign suggested in this research. In order to achieve these purposes, the origin, concept, and contexts of equality sign were theoretically reviewed and organized. Also the error types in using equality sign were reflected. Modelling, discussing truth or falsity of equations, identifying relations between numbers and their operation, conjecturing basic properties of numbers and their operations, experiencing diverse contexts for equality sign, and creating contexts for equality sign are set up as teaching methods for better understanding the concept of equality sign. The conclusions are as follows. Firstly, elementary school students' under-standing of the concept of equality sign varied by context and was generally far from satisfactory. In particular, they had difficulties in understanding the concept of the equal sign in contexts with operations on both sides. The most frequently witnessed error was to recognize equality sign as a result of operations. Secondly, student' lack of understanding of the concept of equality sign came from the fact that elementary textbooks failed to provide diverse contexts for equality sign. According to the textbook analysis, contexts with operations on the left side of the equal sign in the form of $a{\pm}b=c$ were provided excessively, with the other contexts hardly seen. Thirdly, teaching methods provided in the study were found to be effective for enhancing understanding the concept of equality sign. In other words, these methods enabled students to focus on relational understanding of concept of equality sign rather than operational one.

• Journal of the Korean School Mathematics Society
• /
• v.7 no.2
• /
• pp.67-79
• /
• 2004

Researchers in education intend and aspire to improve education practice. Researches should provide practical knowledge, instruments, teaching/learning skills which are needed in real educational environments. Research should closely related to practice. Design-experiment researches intend to promote and help education innovation. A variety of design experiment researches are presented with their characteristics, methods, goals, principles, case studies, prospects.

• Journal of the Korean Society for Library and Information Science
• /
• v.19
• /
• pp.243-261
• /
• 1990

계량서지학이 도서관 정보학 분야에 응용된 지 20년이 지난 지금, 이론 및 실무에 남긴 발전적 기여를 고찰함과 동시에, 컴퓨터를 비롯한 정보기술의 발달로 계량서지학의 가치와 중요성은 한층 더 폭넓게 인지되고 있다. 본 연구는 계량서지학의 개념 정리와 그 특성을 분석함으로써 다양한 이론적 근거 및 장$\cdot$단점을 파악하여 향후 연구방향 설정에 기초를 제시함을 그 목적으로 한다. 문헌구조를 분석하는 군집분석(cluster analysis), 동시인용분석(co-citation analysis), 인용문맥분석 (citation context analysis), 다차원축적기법(multidimensional scaling technique) 등에 대한 최근의 연구 동향 및 추이를 분석함으로써 도서관 실무 혹은 정보시스팀에 계량서지학의 실제 응용을 제시하였다. 아울러, 계량서지학의 3대법칙-Lotka's law, Brandford's law, Zipf's law-의 발달 단계, 상관관계 및 응용분야를 연구함으로써 전반적인 도서관 관리와 이론정보학의 연구방향을 설정하고 있다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.9
• /
• pp.1158-1165
• /
• 1999

조건부 분기 명령어(conditional branch instruction)의 잘못된 분기 예측(branch misprediction)은 프로세서의 성능 향상에 심각한 장애 요인이 되고 있다. 특히 시분할(time-sharing) 시스템과 같이 문맥 교환(context switch)이 발생하는 멀티프로그래밍 환경(multiprogramming environment)에서는 더욱 낮은 분기 예측 정확성(branch prediction accuracy)을 보인다. 본 논문에서는 문맥 교환이 발생하는 멀티프로그래밍 환경에서 높은 분기 예측 정확성을 보이는 중첩 분기 예측표 교환(Overlapped Predictor Table Switch, OPTS) 기법을 소개한다. 분기 예측표(predictor table)를 분할하여 각각의 프로세스(process)에 할당하는 OPTS 기법은 문맥 교환의 영향을 최소화함으로써 높은 분기 예측 정확성을 유지하는 분기 예측 방법이다.Abstract There is wide agreement that one of the most important impediments to the performance of current and future pipelined superscalar processors is the presence of conditional branches in the instruction stream. Accurate branch prediction is required to overcome this performance limitation. Many branch predictors have been proposed to help to alleviate this problem, including the two-level adaptive branch predictor, and more recently, hybrid branch predictor. In a less idealized environment, such as a time-sharing system, code of interest involves context switches. Context switches, even at fairly large intervals, can seriously degrade the performance of many of the most accurate branch prediction schemes. In this study, we measure the effect of context switch on the branch prediction accuracy in various situation and show the feasibility of our new mechanism, OPTS(Overlapped Predictor Table Switch), which save and restore branch history table at every context switch.