• Communications of Mathematical Education
• /
• v.22 no.3
• /
• pp.337-347
• /
• 2008

'Slope' is an invariant of a straight line and 'Linear Equation' is an algebraic representation of a straight line in the cartesian plane. The concept 'slope' is necessary for algebraically representing a geometrical figure, line. In this article, we investigate how those concepts are dealt with in school mathematics and suggest some improvement methods.

• Proceedings of the Korea Contents Association Conference
• /
• 2012.05a
• /
• pp.287-288
• /
• 2012

프로그램의 정적 검증을 위한 명세는 1차 술어 논리(First Order Logic)가 주로 사용된다. 하지만 1차 술어 논리가 모든 정보를 표현할 수가 없기에 이를 보완하기위해 양상논리(Modal Logic)를 사용할 수가 있다. 정적 프로그램 검증을 위해 양상 논리를 이용하여 확장된 BML(Bytecode Modeling Language)은 BIRS로 변환 되어야 한다. 본 논문에서는 확장된 BML을 중간 표현 언어인 BIRS(Bytecode Intermediate Representation Specification)로 표현하기 위하여 BIRS 문법을 확장한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.576-577
• /
• 1998

오늘날 소프트웨어 및 시스템의 분석, 설계, 개발은 기존의 구조적 기법에 의존하던 방식에서 탈피하여 새로운 객체지향 방법으로 이루어지고 있다. 그 중 Booch, Jacobson, Rumbaugh에 의해 제안된 UML(Unfied Modeling Language)은 시스템을 분석하고 모델링하는데 새로운 패러다임을 제시하고 있다. UML은 시스템을 기능적 측면, 정적인 측면, 그리고 동적인 측면으로 분석하고 설계하여 보다 명확하고 쉽게 시스템을 개발할 수 있는 장점을 제공하는 반면, 논리적 특성을 표현한 모형과 물리적 특성을 표현한 모형간의 연계성을 명확히 표현하기 어렵고, 분산시스템 개발을 위한 프로세스적인 측면의 지원이 부족하며, 클라이언트/서버 환경의 시스템 개발을 충분히 지원하지 못하는 단점이 있다. 본 논문에서는 이들 중 클라이언트/서버 시스템 개발을 위한 효과적 UML 프로세스를 정의한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.238-239
• /
• 1998

하이퍼 프리젠테이션은 다양한 멀티미디어 객체를 표현하는 기술로 교육, 광고, 엔터테인먼트, 잡지, 협동작업 등의 응용분야에서 적용될 수 있다. 이를 위한 하이퍼 프리젠테이션 엔진은 프리젠테이션 시나리오에 포함된 멀티미디어 객체들 간의 시간적관계 및 사용자와의 상호작용을 처리해야 한다. 이 논문은 프리젠테이션 시나리오 기술 언어인 SMIL(Synchronized Multimedia Integration Language)로 표현된 하이퍼 프리젠테이션 시나리오를 브라우징하는 비라우저 엔진에 적용하기 위한 트리거 모델을 제시한다. SMIL로 표현된 객체들 간의 시간관계를 고려하여 시간 동기화를 처리하기 위한 이벤트와 사용자 행위나 브라우저로부터의 이벤트 등을 정의하였고 이를 수행하기 위한 트리거 실행모델을 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.253-255
• /
• 1998

멀티미디어 정보 검색 응용에 있어서 관련성 있는 멀티미디어 문서를 검색하기 위해 이미지에 대한 내용-본위 검색이 필수적이다. 이를 위하여 이미지를 몇 개의 인식 가능한 심볼 즉, 아이콘으로 표현하고, 주어진 문서를 대표하는 값으로 받아들여 색인을 한다. 사용자가 이미지에 대한 내용-본위 검색을 요구하면, 질의에 있는 이미지를 아이콘으로 변환한 후, 접근 기법을 통하여 원하는 이미지를 검색한다. 이를 위해 많은 아이코닉 표현 기법이 제안되었다. 본 논문에서는 SRR과 기존의 9DLT방법 및 SMR 방법과 검색효율 면에서 성능 비교를 수행한다. 마지막으로 성능 실험을 통하여 제안한 방법이 기존의 9DLT 및 SMR 방법에 비해 정확률 측면에서 약 0.1 재현율 측면에서 약 0.2 만큼 우수함을 보인다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.6 no.2
• /
• pp.57-71
• /
• 1996

차량 모델 비선형성의 주된 요인중 하나는 타이어의 비선형성이라고 할 수 있다. 타이어 모델도 간편화하기 위해 선형화된 타이어 모델을 적용할 경우에 저속 주행 또는 고속 주행이라고도 조향각이 적을 때는 문제가 없지만, 급격한 가감속과 과도한 조향각을 주었을 때는 타이어 미끄럼 각(Tire Slip Angle)이 급격히 변화되므로 선형화 된 타이어 모텔을 적용하지 못하게 된다. 그러므로 타이어와 지면 사이의 물리적 현상을 자세히 표현할 수 있는 비선형 타이어 모델을 적용하지 못하게 된다. 그러므로 타이어와 지면 사이의 물리적 현상을 자세히 표현할 수 있는 비선형 타이어 모델이 요구되어진다. 실험적 모델은 실제 차량의 실험 데이터를 바탕으로 커브 피팅(Curve Fitting)하여 타이어의 동특성을 표현하도록 모델링 하므로서 모델의 정확도를 높일 수 있는 반면 요구하는 계수들이 많아지게 되어 계산량이 증가되는 단점이 있다. 기존의 타이어 모델 연구 결과에 대해 분석하고, 관측 자료들을 바탕으로 FMFNN(Fuzzy Membership Function based Neural Network)을 이용한 함수 근사화로서 타이어 횡축력과 종축력의 모델링 방법을 제안하였다.

• Electronics and Telecommunications Trends
• /
• v.27 no.6
• /
• pp.49-56
• /
• 2012

본고는 3DTV, UHDTV(Ultra High Definition Television)와 같은 실감방송 환경에서 실감 오디오 서비스를 제공하기 위한 초다채널 오디오 기술의 최근 연구 및 개발 동향을 소개한다. 스테레오와 5.1 채널로 대표되는 기존의 오디오 기술은 2차원 평면상에서만 음장을 형성할 수 있다는 표현의 한계를 가지고 있다. 3D 영화의 성공과 UHDTV로 대표되는 초고화질 비디오와 부합하기 위해서는 오디오도 3차원 공간상에서 표현되어야 하며 이를 위해서는 필연적으로 출력채널 수가 증가하여야 한다. 이러한 초다채널 오디오는 22.2 채널과 같은 대용량의 오디오 데이터를 압축하는 기술뿐만 아니라 다양한 오디오 출력 환경에 적응적으로 오디오 콘텐츠를 표현하는 기술에 대한 연구/개발이 필요하다.

• 한국정보교육학회:학술대회논문집
• /
• 2008.01a
• /
• pp.269-274
• /
• 2008

초등 음악에서 전통 국악이 차지하는 비중이 점차 커지고 있다. 하지만 정간보라는 대표적인 국악보가 있지만 제재곡의 대부분을 서양 악보인 오선보로 표기하고 있다. 제7차교육과정에서 단소 연주를 위한 한글 율명의 가로 정간보를 도입하였지만 오션보로 표기된 제재곡과는 별개로 등장하여 연관성이 부족하다. XML은 고정되지 않은 마크업 언어이며 확장성이 높고 재사용하기가 쉬운 보편적인 포맷으로 차세대 인터넷 표준 언어라고 불린다. 이에 본 논문에서는 단순히 그래픽 형식의 오선보와 정간보를 동시에 제시하는 것이 아니라 초등 국악보의 공통된 정보를 찾아내어 연관성을 제시하고 XML을 이용하여 표준화된 초등 국악보 정보를 제공하고 플래시 스크립트를 활용하여 웹으로 표현하는 시스템을 설계하고자 한다. 이런 표준화된 정보로 국악교육에서 오선보와 정간보가 일관성 있게 사용이 될 것을 기대하며 나아가 동일한 표준정보를 활용하여 세로 한자 정간보의 표현 등으로 확장될 것을 기대한다.

• Journal of the Korean Institute of Telematics and Electronics T
• /
• v.35T no.1
• /
• pp.33-39
• /
• 1998

This paper discusses approximation modelling of discrete-time linear time-varying system(LTVS). The wavelet transform is considered as a tool for representing and approximating a LTVS. The joint time-frequency properties of wave analysis are appropriate for describing the LTVS. Simulation results is included to illustrate the potential application of the technique.

• Journal of the Korea Computer Graphics Society
• /
• v.11 no.1
• /
• pp.50-54
• /
• 2005

본 논문은 관상동맥의 구조와 그 움직임을 사실적으로 표현하기 위한 매개변수적 모델링기법을 제안한다. 매개변수적 기법으로 생성된 모델은 메쉬 정점의 인덱스만으로 모델간 매칭을 위한 대응점을 찾을 수 있으므로, 시간대별로 달라지는 정점의 위치를 쉽게 추적함으로써 모델의 움직임을 표현할 수 있다. 그러나 이러한 기법으로 생성된 모델은 분리, 접합 등의 변형 조작이 어렵고, 트리형태 객체에 적용하기 힘든 단점이 있다. 본 논문에서는 이를 극복하기 위해 분할된 혈관영역의 골격데이타에서 찾아낸 분기점을 중심으로 Generalized Cylinder를 이용하여 실린더 형태의 각 혈관세그먼트를 모델링 한 후, 분기영역을 3 개의 하프파이프(half pipe)와 2 개의 삼각형 패치로 연결하여 모델링하였다. 완성된 모델은 다시점 관상동맥데이터에 적용하였고, 각 시점에서 구해진 정점의 위치를 선형보간함으로써 부드러운 혈관의 움직임을 나타내었다.