• 한국항행학회논문지
• /
• 제11권4호
• /
• pp.447-453
• /
• 2007

논문에서 우리는 이산무기억통신로 (Discrete Memoryless Channel)에 대한 갈라거 랜덤 코딩 바운드를 개념적으로 이해하기 어려운 랜덤코딩 방법론을 따르지 않고 순전히 대수부등식들만을 이용함으로써 유도해 낸다. 갈라거 랜덤코딩바운드는 결정영역(Decision Region)을 알수 없는 경우에도 적용될 뿐만아니라 채널코딩정리까지 유도할 수 있는 매우 강력한 바운드로서 정보 및 부호이론 연구에 있어서 매우 중요한 도구이다. 그동안 개념적으로 이해하기 어려웠던 갈라거 랜덤코딩바운드를 대수적으로 차근차근 유도해 봄으로써 다양한 문제에 쉽게 적용할 수 있는 이론적 바탕을 마련해 보고자 한다.

• 대한수학교육학회지:수학교육학연구
• /
• 제26권1호
• /
• pp.103-119
• /
• 2016

교육과 문화의 여러 방면에서 융합과 통섭이 중시되고 있다. 이러한 흐름에 따라 2015 개정 교육과정은 인문학적 상상력과 과학기술 창조력을 갖춘 창의융합형 인재의 양성을 표방하였다. 그러나 인문학적 상상을 비롯한 '상상'에 대한 수학교육적 관점의 연구가 이루어지지 않아 상상을 도입한 창의융합적 수학교육에 대한 구체적인 논의가 어려운 상황이다. 이 논문에서는 고대부터 현대에 이르는 여러 학자들의 견해를 통해 상상의 개념을 구체화하고, 이러한 의미에서의 상상이 수학의 실제에 관여하는 양상을 살펴보았다. 이를 바탕으로 상상을 동원한 수학 교수학습의 모습과 가능성 및 그 인문 사회적 의미 등을 논의하였다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2016년도 제50회 동계 정기학술대회 초록집
• /
• pp.202-202
• /
• 2016

홀 플라즈마 엔진은 인공위성의 궤도유지 및 자세제어 등의 임무수행이나 우주선의 심우주 활용에 있어 필수적인 핵심 우주 부품이다. 홀추력기 연구개발의 최근 큰 관심사는 추력기의 장시간 운전성 확보 및 방전효율 향상이다. 최근 고리형 홀추력기에서 방전 영역 내 플라즈마와 유전체 벽 간의 충돌을 줄임으로써 전극 손상 및 전자온도 손실을 감소시키기 위한 연구가 활발히 진행되고 있다. 특히 전자석 코일을 활용해 방전 채널 벽면과 평행한 방향의 자기장을 형성하여 플라즈마와 유전체 벽 간의 상호작용을 감소시키는 연구들이 소개되고 있으며, 이러한 방법을 자기차폐(magnetic shielding)라 한다. 본 연구에서는 자기차폐 개념이 적용된 방전 소모전력 500 W급 고리형 홀추력기의 방전 및 추력 발생 특성을 연구하였다. 자기장구조 제어를 통해 유전체 벽과 플라즈마 간 상호작용을 감소시킨 결과, 500 V 수준의 방전 전압에서도 유전체 벽에서의 이차전자 발생에 의한 방전전류의 급격한 증가없이 안정적인 방전이 가능하였으며, 이러한 방전 형태는 기존의 자기차폐 개념이 적용되지 않은 일반 고리형 홀 추력기에서 구현하기 어려운 방전 상태이다. 추력기의 자기장 구조 최적화 조건에서 제논 가스 방전을 통해 얻은 최대 추력은 $22{\pm}1mN$, 비추력 $2200{\pm}70s$, 양극효율 $51{\pm}2%$로 매우 우수한 성능을 보여 주었다

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2007년도 한국지능정보시스템학회
• /
• pp.297-306
• /
• 2007

지능정보시스템 구축에 있어서 자동화가 어려운 단계중의 하나인 규칙 습득을 위해 활용되는 방법중의 하나가 제한된 언어집합 기법을 이용하는 것이다. 그러나 제한된 언어집합 기법을 이용해 규칙을 생성하기 위해서는 규칙을 구성하는 변수와 그 값들에 대한 정보가 사전에 정의되어 있어야 하는데, 유동성이 큰 웹 환경에서 예상 가능한 모든 변수와 그 값을 사전에 정의하는 것이 매우 어렵다. 이에 본 연구에서는 이러한 한계를 극복하기 위해 제한된 언어집합 기법과 온톨로지를 이용한 규칙 생성 방법론을 제시하였다. 이를 위해 지식의 습득 대상이 되는 특정 문장은 문법구조 분석기를 이용해 파싱을 수행하며, 파싱된 단어들을 이용해 규칙의 구성 요소인 변수와 그 값을 식별한다. 그러나 규칙을 내포한 자연어 문장의 불완전성으로 인해 변수가 명확하지 않거나 완전히 빠져 있는 경우가 흔히 발생하며, 이로 인해 온전한 형식의 규칙 생성이 어렵게 된다. 이 문제는 도메인 온톨로지의 생성을 통해 해결하였다. 이 온톨로지는 특정 도메인을 구성하고 있는 개념들간의 관계를 포함하고 있다는 점에서는 기존의 온톨로지와 유사하지만, 규칙을 완성하는 과정에서 사용된 개념들의 사용빈도를 기반으로 온톨로지의 구조를 변경하고, 결과적으로 더 정확한 규칙의 생성을 지원한다는 점에서 기존의 온톨로지와 차별화된다. 이상의 과정을 통해 식별된 규칙의 구성요소들은 제한된 언어집합 기법을 이용해 구체화된다. 본 연구에서 제안하는 방법론을 설명하기 위해 임의의 인터넷 쇼핑몰에서 수행되는 배송관련 웹 페이지를 선정하였다. 본 방법론은 XRML에서의 지식 습득 과정의 효율성 제고에 기여할 수 있을 것으로 기대된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권2호
• /
• pp.153-160
• /
• 2009

온톨로지의 크기가 대형화됨에 따라, 온톨로지 내부 구조는 점점 복잡해지고 있다. 따라서 온톨로지 구축과정에서 발생하는 여러 가지 논리적 오류를 찾아내어 수정하는 것은 매우 어려운 작업이 되고 있다. Minerva[1]는 OWL로 작성한 온톨로지 중 논리적 오류를 갖는 개념들을 자동으로 탐지하고, 개념간의 계층 관계를 추론하기 위해 개발된 온톨로지 추론 엔진이다. Minerva를 포함한 대부분의 서술 논리 기반의 온톨로지 추론 엔진은 태블로 알고리즘(Tableau Algorithm)을 기반으로 동작한다. 태블로 알고리즘을 그대로 적용할 경우 시간 및 공간 복잡도가 상당히 높아지기 때문에 다양한 최적화 기법이 필요하다. 본 논문에서는 태블로 알고리즘을 사용하는 온톨로지 추론 엔진의 속도를 향상시키는 최적화 기법들을 제안한다. 제안한 기법들은 선행 연구로서 이미 개발된 온톨로지 추론엔진 Minerva에 적용되어 성능향상을 이끌어 내었다.

• 컴퓨터교육학회논문지
• /
• 제3권2호
• /
• pp.21-30
• /
• 2000

교육개혁위원회의 제안에서 출발하여 현 교육청에서 시행되고 있는 교원정보소양인증제는 많은 연구와 노력이 있어왔음에도 불구하고 그 시행과정상에서 몇가지 문제점으로 인하여 본래의 의도를 실현하기 어려운 과도기적 위기를 맞고 있다. 본 연구에서는 본래 취지에 부합하는 교원정보소양인증제의 올바른 정착을 위하여 첫째, 교원에게 있어서 적합한 기준안설정을 위한 정보소양인증의 개념을 탐구하고, 둘째, 개념을 바탕으로 기존 교원정보소양인증제 관련 연구를 분석하며, 셋째, 교원정보소양인증제 실시현황과 그 내용을 살펴보고, 마지막으로 탐구 과정에서 도출되는 문제점과 그에 따른 대웅 방안을 제시하였다.

• 한국전산구조공학회논문집
• /
• 제24권5호
• /
• pp.481-489
• /
• 2011

본 논문에서는 트러스 구조 해석에 있어서 기존의 하중법을 특이값 분해로 정식화 한 새로운 하중법을 제안하였다. 하중법은 유한요소법을 이용한 트러스 구조 해석법과 달리 접근 방법이 쉬우며 어려운 구조적 개념이 필요하지 않아 일반적인 트러스 구조 해석에서 주로 사용된다. 또한 트러스 및 핀-조인트 골조와 같은 골조 시스템의 구조 해석에도 적용할 수 있어 매우 효과적인 방법이다. 하지만 하중법은 많은 수식을 통해 구조 해석을 수행하여야 하므로 이로 인해 수치상의 오류가 발생할 수 있다. 따라서 본 연구에서는 이러한 문제점을 보완하기 위하여 기존의 하중법에서 사용하던 수식을 특이값 분해로 정식화 한 새로운 하중법을 제안하였다. 이 방법을 사용하여 트러스 구조물을 해석할 경우 기존의 하중법의 기본개념을 그대로 이용하면서도 복잡한 수식을 사용하지 않고 해석을 수행할 수 있으므로 매우 효율적인 방법이다.

• 컴퓨터교육학회논문지
• /
• 제10권1호
• /
• pp.97-105
• /
• 2007

본 논문에서는 디지털 신호처리 및 영상처리 분야 등에서의 기본 연산이라고 할 수 있는 컨벌루션(convolution) 연산 과정을 웹을 위한 벡터 그래픽인 SVG(scalable vector graphics)를 이용하여 시각화하였다. 그런데, 컨벌루션 연산의 개념과 연산 과정은 주로 수학적인 표현에 의존하므로 그 개념을 직관적으로 이해하기는 다소 어려운 점이 있다. 본 논문에서는 SVG를 이용하여 컨벌루션의 연산 과정을 시각화하고 그에 대한 활용 예를 제시함으로써 학습자가 컨벌루션 연산을 보다 직관적으로 이해할 수 있도록 하였다. 본 논문에서 제시한 컨벌루션 연산의 시각화를 학습자들에게 적용한 결과를 면담을 통하여 분석한 결과, 학습자들이 컨벌루션 연산을 흥미를 가지고 학습에 임할 뿐만 아니라, 직관적으로 컨벌루션 연산을 이해할 수 있는 가능성을 볼 수 있었다.

• 컴퓨터교육학회논문지
• /
• 제11권4호
• /
• pp.23-36
• /
• 2008

알고리즘은 효과적인 프로그래밍 기법을 익히는데 가장 핵심이 되는 과목이나 학생들이 개념 이해에 어려움을 느끼며 흥미도 낮은 것으로 나타났다. 특히, 알고리즘 관련 주제들 중 동적 프로그래밍 방법은 컴퓨터과학을 전공하는 학생들이 반드시 학습해야 하는 중요한 프로그래밍 기법임에도 불구하고 학부 과정에 있는 학생들이 어려워하는 부분으로 수업에서도 잘 다루어지지 않고 있다. 동적 프로그래밍은 추상적인 알고리즘 지식과 더불어 문제 해결 절차와 저장 공간에 대한 이해가 필요한 방법으로, 다른 개념 보다 이해하기 어려운 주제이다. 이에 본 논문에서는 동적 프로그래밍 기법에 대해 학습자가 이해하기 쉽고 흥미를 가지고 학습할 수 있도록 지원하는 시각화 시뮬레이터를 개발하였다. 본 학습 시뮬레이터는 학습자가 직접 동적 프로그래밍의 수행 단계를 진행하며 문제 해결 절차를 학습하고 저장 공간 및 프로그램의 진행 과정을 시각적으로 확인할 수 있도록 설계 및 구현되었다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 1993년도 수공학연구발표회논문집
• /
• pp.327-334
• /
• 1993

일유출량을 모의하는 수문모형이 많이 개발되었지만 그 이용에 있어서는 입력자료와 매개변수가 다양하고 매개변수의 산정에 경험을 필요로 하는 경우가 많기 때문에 수문실무자들이 사용하기에는 다소 어려운 점이 있다. 본 연구에는 최소의 입력자료(강우량, 증발량)와 매개변수로 일자연유량을 모의할 수 있는 집중형 확정론적 모형을 개발하였는데, 관측된 수문곡선으로부터 입력매개변수를 도출할 수 있으며 그 종류가 작기때문에 실무에서 쉽게 이용할 수 있도록 하였다. 개발된 모형의 기본 개념은 강우-유출에 질량불변의 법칙을 적용하고, 선형저수지와 유사한 다중 감수 과정에 따른 수문곡선에 근거한다. 제안된 수문곡선은 차단을 제외한 강우량에 기인한 유량의 시간분포를 나타내며 기저유출과 장래에 손실될 증발산량을 포함한다. 제안된 수문곡선은 2개의 상승부와 3개의 감수부로 구성되며 수문곡선의 우측부는 개방되어 있다. 수문곡선의 상승부에는 감수계수의 개념을 역으로 적용하였으며, 계산을 단순화 하기 위하여 각 상승부 및 감수부의 구간은 정수값만을 갖는다고 가정하였다. 개발된 모형을 한강유역의 인도교지점(1918-1974), 영산강유역의 나주지점(1906-1990)의 일유출량을 모의하기 위하여 적용하였다. 모형의 적용결과 모의 기간중에 매개변수의 조정없이 전 기간에 걸쳐서 양호한 장기간의 일유출량 모의 결과를 얻을 수 있었다.