• 한국수학교육학회지시리즈A:수학교육
• /
• 제47권1호
• /
• pp.49-59
• /
• 2008

In this paper, we discuss two representations of a curve. One is a static representation as set of points, the other is a dynamic representation using time parameter. And we suggest needs of designing a computer microword where we can represent a curve both statically and dynamically. We also emphasize the importance of translation activity from a static representation to a dynamic representation. For this purpose, we first consider constructionism and 'computers and mathematics education' as a theoretical backgrounds. We focus the curve of a parabola in this paper since this is common in mathematics curriculum and is related to realistic situation such as throwing ball. And we survey the mathematics curriculum about parabola representation. And we introduce JavaMAL microworld that is integrated microworld between LOGO and DGS. In this microworld, we represent a parabola using a dynamic action, and connect this dynamic parabola action to recursive patterns. Finally, we remake a parabola for a realistic situation using this dynamic representation. And we discuss the educational meaning of dynamic representation and its computer microworld.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.212-217
• /
• 1992

In this paper, a two ports machine(TPM) model for discrete event dynamic systems(DEDS) is proposed. The proposed model is a finite state machine which has two inputs and two outputs. Inputs and outputs have two components, events and informations. TPM is different from other state machine models, since TPM has symmetric input and output. This symmetry enables the block diagram representation of the DEDS with TPM blocks, summing points, multiplying points, branch points, and connections. The graphical representation of DEDS is analogous to that of control system theory. TPM has a matrix representation of its transition and information map. This matrix representation simplifies the analysis of the DEDS.

• 대한수학교육학회지:학교수학
• /
• 제13권3호
• /
• pp.447-468
• /
• 2011

고등학교 수학교과과정에서 이차곡선에 관련된 단원의 지도는 다른 어떤 단원보다도 연결성이 고려된 지도가 필요한 단원이다. 다시 말해 대수적 접근 방식과 기하적 접근 방식이 동시에 병렬적으로 지도되어야 한다. 특히 대수적 조작력이 미흡한 하위권 학생들에게는 이차곡선에 대한 성질을 역동적으로 표현하는 시각적 표상을 심어주는 기하적 접근 방식이 더욱 중요하다. 이를 위하여 본 연구는 이차곡선의 지도에 있어서 GeoGebra에 기반한 역동적인 시각적 표상의 중요성을 제안하고자 현행 고등학교 '기하와 벡터' 10종의 교과서와 익힘책의 이차곡선 단원 중 포물선에 관련된 부분을 분석하여 시각적 표상을 극대화할 수 있는 지도 방안을 제안하는 실험적 수업을 진행하고 학생들의 표상의 변화를 분석하였다.

• International Journal of Contents
• /
• 제11권1호
• /
• pp.21-30
• /
• 2015

A simulated realistic virtual environment is inhabited by autonomous cyber-humans who play the roles of agents in events. A key element, which enables this realism, is the historical context formed by time and space. A knowledge-representation scheme, composed of both spatial and temporal aspects needed by the agent to respond to dynamically changing situations, is essential for the design of a realistic virtual agent. In this work, spatial and temporal aspects of dynamic situations in the virtual environment have been formalized as a key component of our knowledge-representation scheme. This scheme provides a mathematical framework to construct realistic virtual situations that change with time, and background knowledge for agents in the simulated environment to deduce new pieces of information and plan against changing situations.

• 전기전자학회논문지
• /
• 제17권4호
• /
• pp.478-483
• /
• 2013

본 논문은 영상 표현의 동적영역 증대를 위한 적응적 Retinex 알고리즘에 대하여 제안한다. 제안 방식은 Retinex 알고리즘을 기반으로 비대칭도를 이용하여 입력 영상에 대한 밝기 정보의 왜곡을 검출하고 왜곡 성분을 국부 통계 특성을 기반으로 적응적으로 처리하였다. 특히 휘도성분에 대하여 새로운 보정함수를 적용시킴으로써 동적영역 확대를 통해 해상도를 개선하였다. 실험을 통해 휘도 성분에 대한 동적 영역 확대 및 색 왜곡 효과를 감소시키는 효과를 확인할 수 있었다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2006년도 정기 학술대회 논문집
• /
• pp.667-674
• /
• 2006

Dynamic analysis of the electrical transmission system including transmission towers and cables is carried out by a general purpose structural analysis computer program for examining the wind-resistance of the system The spectral representation method is introduced to generate dynamic wind loads by using the Kaimal's spectrum and the measured wind velocities from wind tunnel tests, respectively. The numerical simulation results show that the responses in the case of the measured wind velocities is slightly larger than those in the case of the code.

• 한국콘텐츠학회논문지
• /
• 제10권9호
• /
• pp.97-106
• /
• 2010

시계열 데이터를 효율적이고 효과적으로 처리하기 위해 다양한 시계열 표현 방법들이 제안되었다. SAX(Symbolic Aggregate approXimation)는 단편화와 이산화 기법들을 결합한 시계열 표현 방법으로, 시계열 분류 문제에 성공적으로 적용되었다. 그러나 SAX는 시계열의 움직임을 평활하여 시계열의 중요한 동적 패턴들을 정확히 표현하기 위해 세그먼트 수를 크게 해야 한다. 본 논문은 PIPs (Perceptually Important Points)탐지 기법과 Persist 이산화 방법을 결합한 시계열 표현 방법을 제안한다. 제안된 방법은 시계열의 중요한 변곡점들을 나타내는 PIP 들을 탐지하여 고차원 시계열의 동적 움직임을 저차원 공간에서 표현한다. 그리고 시계열의 자기 전이와 주변 확률 분포를 KL 다이버전스에 적용하여 최적의 이산화 영역들을 결정한다. 제안된 방법은 시계열의 차원 축소과정에서 정보 손실을 최소화하여 시계열 분류의 성능을 향상시킨다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 추계학술대회 논문집 학회본부 D
• /
• pp.615-617
• /
• 2000

Temporal Logic Frameworks is convenient to represent temporal relation. It is useful to represent a dynamic properties of Discrete Event Dynamic Systems. Also, it is convenient to express a current and next state of event using logical representation. Because the teachability tree of the Temporal Logic Frameworks is very complexity it is difficult to understand. In this paper, we defined some rules to represent Temporal Logic Frameworks by Petri Net and proposed am method of the representation of them Petri Net for the Temporal Logic Frameworks. An example are used to demonstrate the feasibility of this method.

• 한국언어정보학회지:언어와정보
• /
• 제12권1호
• /
• pp.1-26
• /
• 2008

This paper proposes a dynamic approach to anaphoric resolution in conjunction phrases, in terms of Discourse Representation Theory. Unlike Kamp, van Genabith, and Reyle (forthcomming)'s analysis, it proposes two different types of discourse representation structures for conjunction phrases; one for coordinate phrases such as and conjunction phrases and the other one for subordination conjunction phrases such as when subordination phrases. Following Chung (1992), Chung (2004), every element is processed in the order of occurrence and conjunction operators in a non-sentence-initial position cause the ongoing DR to split in two with the same index. DRS conditions and accessibility are accordingly modified so that DRs for conjunction clauses can be accessible from DRs for main clauses.

• 한국정보처리학회논문지
• /
• 제6권7호
• /
• pp.1962-1969
• /
• 1999

활성 윤곽선은 내부 에너지와 외부에너지에 의해 조절되는 형태 변형이 가능한 에너지 최소화 곡선이다. 내부 에너지는 곡선을 부드럽게 유지하기 위한 제약 조건이고, 외부 지는 곡선을 영상 특징 쪽으로 이끈다. 활성 윤곽선이 제어 점에 의한 B-스플라인 표현은 많은 장점을 갖는다. Mentet[3] 등은 유한 차분 법에 의한 활성 윤곽선이 B-스플라인 표현을 제안하였다. 본 논문에서는 활성 윤곽선을 구간별 3차 B-스플라인으로 표현하고, 이 모델의 에너지를 최소로 하는 제어 점을 찾기 위한 방법으로 동적 프로그래밍을 사용한 방법을 제안한다. 제안된 방법은 유한 차분 법에 의한 B-스플라인 방법에 비해 간단하고 효과적이다.