• 산업경영시스템학회지
• /
• 제28권4호
• /
• pp.63-68
• /
• 2005

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

• 한국정보과학회논문지:시스템및이론
• /
• 제26권3호
• /
• pp.324-332
• /
• 1999

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권7호
• /
• pp.636-645
• /
• 2006

어떤 용어가 전문적인 개념을 많이 내포하고 있을 때 전문성이 높다고 말한다. 본 논문에서는 용어의 내부 구성정보와 외부 문맥정보를 이용하여 정보이론에 기반한 방법으로 전문용어가 내포하는 전문성을 정량적으로 계산하는 방법을 제안한다. 용어의 전문성은 용어간 상하위어 관계 설정에서 중요한 필요조건으로 사용될 수 있다. 제안한 방법은 전문용어의 내부 구성정보를 이용하는 방법, 문맥정보를 이용하는 방법 그리고 두 정보를 모두 이용하는 방법으로 나눈다. 구성정보를 이용하는 방법에서는 전문용어를 구성하는 단어의 빈도수, 가중치, 바이그램, 내부 수식구조 둥을 이용하고, 문맥정보를 이용하는 방법에서는 전문용어를 수식하는 단어들의 분포를 이용한다. 본 논문에서 제안한 방법은 분야에 독립적으로 적용될 수 있고, 전문용어 생성 절차에 대한 특정을 잘 반영할 수 있는 장점이 있다. MeSH 트리에 포함된 질병 이름의 전문성 값을 계산한 뒤 상위어의 전문성 값과 비교한 결과 82.0%의 정확률을 보였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권4호
• /
• pp.443-454
• /
• 1999

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.901-903
• /
• 2004

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

• 한국정보과학회논문지:시스템및이론
• /
• 제30권2호
• /
• pp.68-77
• /
• 2003

최소 여유시간 우선(Least-Laxity First, LLF) 스케줄링 알고리즘은 작은 여유시간을 가진 태스크가 높은 우선순위를 갖는 스케줄링 알고리즘으로써 단일 프로세서 시스템에서 최적이고 다중 프로세서 시스템에서 준최적으로 증명되었다. 그러나 이 스케줄링 알고리즘은 여유시간 충돌이 발생하였을 때 태스크 간에 빈번한 문맥교환이 발생하게 되는 문제점이 있어 실용적이지 못하다. 본 논문에서는 과도한 문맥교환을 일으키는 LLF의 문제점을 해결하기 위해 다중 프로세서 시스템을 위한 MLLF/MP(Modified Least-Laxity First on Multiprocessor) 스케줄링 알고리즘을 제안한다. MLLF/MP는 태스크의 여유시간 역전이 발생하더라도 마감시간을 놓치지 않는 범위에서 태스크를 연속적으로 수행시킴으로써 빈번한 문맥교환이 발생하는 것을 방지한다. MLLF/MP 또한 다중 프로세서 시스템에서 준최적임을 증명한다. 모의 실험 결과를 통하여 MLLF/MP는 LLF보다 적은 스케줄링 오버헤드를 가짐을 보인다.

• 대한수학교육학회지:학교수학
• /
• 제10권4호
• /
• pp.537-555
• /
• 2008

본 연구는 학교수학에 매우 중요한 등호 개념과 관련하여 등호 문맥을 중심으로 초등학생들의 등호 개념 이해를 조사하고, 수학 교과서를 분석하며, 등호 개념 이해를 신장하기 위한 지도 방법을 모색하여 그 효과를 분석하는 데 목적이 있다. 이를 위한 이론적 배경으로 등호의 기원, 등호 개념, 등호 문맥, 등호 사용 오류 유형을 고찰하고, 분석을 위한 틀을 마련하였다. 등호 개념 이해를 위한 수업은 모델 만들기, 수식의 참 거짓 판단하기, 수와 연산의 관계 파악하기, 수와 연산의 기본 성질 추측하기, 다양한 등호 문맥 경험하기, 등호 문맥 만들기 활동을 중심으로 이루어졌다. 학생들의 등호 개념 이해는 등호 양쪽에 연산이 있는 문맥에서 매우 부족하며, 이와 관련하여 등호를 결과로 인식하는 오류가 가장 많이 나타났다. 교과서는 등호 왼쪽에 연산이 있는 문맥이 거의 대부분을 차지하는 관계로 이에 대한 제고가 필요하며, 본 연구에서 제시한 수업 방법은 등호 개념의 관계적 이해에 효과가 있는 것으로 나타났다.

• 한국학교수학회논문집
• /
• 제7권2호
• /
• pp.67-79
• /
• 2004

교육/학습의 질이 실질적으로 향상되려면 연구가 교육 현장과 밀접하게 연계되어 실천 가능한 지식, 도구, 기술 등을 제공하여 주어야 한다. 실천적인 활용을 최우선으로 하는 설계-실험 연구의 다양한 연구 방법, 원칙, 주제 , 활동 내용 그리고 주요한 특징, 연구 사례 등을 소개한다.

• 한국문헌정보학회지
• /
• 제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-의 발달 단계, 상관관계 및 응용분야를 연구함으로써 전반적인 도서관 관리와 이론정보학의 연구방향을 설정하고 있다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권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.