• Journal of Advanced Marine Engineering and Technology
• /
• 제39권2호
• /
• pp.159-165
• /
• 2015

Motion control schemes are generally classified into three categories (point stabilization, trajectory tracking, and path following). This paper deals with the problem which is associated with the initial deployment of a group of Unmanned Surface Vehicle (USVs) and corresponding point stabilization. To keep the formation of a group of USVs, it is necessary to set the relationship between each vehicle. A forcing functions such as potential fields are designed to keep the formation and a graph Laplacian is used to represent the connectivity between vehicle. In case of fixed topology of the graph representing the communication between the vehicles, the graph Laplacian is assumed constant. However the graph topologies are allowed to change as the vehicles move, and the system dynamics become discontinuous in nature because the graph Laplacian changes as time passes. To check the stability in the stage of deployment, the system is modeled with Kronecker algebra notation. Filippov's calculus of differential equations with discontinuous right hand sides is then used to formally characterize the behavior of USVs. The stability of the system is analyzed with Lyapunov's stability theory and LaSalle's invariance principle, and the validity is shown by checking the variation of state norm.

• 대한수학교육학회지:수학교육학연구
• /
• 제15권2호
• /
• pp.215-232
• /
• 2005

컴퓨터 대수 체계(CAS) 계산기는 점차 학교와 대학에서 보편화되어가고 있다 이 계산기는 교사와 학생들에게 꽤 정교한 수학적 기능을 제공하지만, 현재로서는 어떻게 잘 활용될 수 있는지에 대해서 명확하지 않다. 특히 학생들의 학습과 문제 해결의 통합은 문제로 남아있다. 본 논문에서 우리는 TI-89 CAS 계산기를 대학에 입학하려는 학생들에게 도입하는 연구에서 이러한 문제를 제기하고 학생들이 그들의 학습에서 CAS 계산기를 조작하면서 형성하는 협력 관계의 여러 측면을 기술하였다.

• 대한수학교육학회지:학교수학
• /
• 제5권1호
• /
• pp.59-76
• /
• 2003

학교수학에서 학생들이 수학을 학습하고 문제해결을 하는 데에는 기호가 중요한 역할을 한다. 본 연구는 기호학의 분야인 구문론, 의미론, 화용론의 관점에서 수학 7-가 문자와 식 영역의 교과서 내용을 분석하고, 교수학적으로 대수 기호가 도입되고 전개하는 과정을 살펴보았다. 또한 기호학 관점에서 교과서의 대수 기호를 분류하고 문제 구성 분포에 대해서도 조사하였다. 그 결과 교과서의 대수 개념 설명과 문제들은 주로 구문론과 의미론의 관점이 많았으며, 화용론적 관점의 언급은 거의 없었다. 마지막으로, 대수 기호에 의한 학습을 통해 학생들의 문제해결을 예측하기 위하여 회귀 분석을 실시한 결과, 구문론과 화용론의 점수가 대수적 문제해결 점수의 예측 변수였다.

• 대한수학교육학회지:학교수학
• /
• 제1권1호
• /
• pp.135-156
• /
• 1999

The purpose of this study is to discuss about the role of the visualization as an effective method of teaching abstracted mathematics, to analyze visual materials in middle and high school mathematics and to suggest various visualized materials for teaching mathematics effectively. Though formal, symbolic and analytical teaching method is a major characteristic of mathematics, the students should be taught to understand through intuition and insight, and formalize the mathematical concepts progressively. Especially the sight is one of the most important basics of cognition for intuition and insight. Therefore, suggesting mathematical contents through the visual method makes the students understand and formalize the mathematical concepts more easily. In this study, we tried to investigate the meaning and role of visualization in mathematics teaching. And, we discussed about the four roles of visualization in the process of mathematics teaching and learning confirmation and memorization of the mathematical truth, proving theorem and solving problems which is one of the most important purposes of teaching mathematics, According to the roles of visualization, we analyzed visual materials currently taught in middle and high school, and suggested various visual materials useful in teaching mathematics. The investigated fields are algebra where visual materials are little used, and geometry where they are use the most. The paper-made-textbook can't show moving animation vigorously. Hence we suggested visual materials made by GSP and applets in IES .

• 한국수학사학회지
• /
• 제23권1호
• /
• pp.41-52
• /
• 2010

고대의 인도수학은 산스크리트어로 쓰여 있고, 수학의 법칙이나 문제들은 구전되었거나 필사본의 형태로 경전 속에 포함되어 있으며, 학생들이 암기를 쉽게 할 수 있도록 아주 간결하게 정리되어 있다. 고대 인도의 많은 수학자들은 일찍이 십진법, 계산법, 방정식, 대수학, 기하학, 삼각법 등의 연구에 공헌하였다. 이 논문은 고대 인도수학과 다른 문명권의 수학발전을 비교하였다. 고대 그리스 수학이 공리적이고 연역적이라면, 인도수학은 양적이며 계산적이지만 원리를 가지고 문제를 해결하는 특성이 있다. 고대 인도와 타 문명권의 수학을 비교하는 것은 오늘날 수학교육과 수학사 연구에 의미가 있는 것으로 사료된다.

• 대한수학회보
• /
• 제39권3호
• /
• pp.479-484
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m and d = dim A. Then we say that I is a good ideal in A, if I contains a reduction $Q=(a_1,a_2,...,a_d)$ generated by d elements in A and $G(I)=\bigoplus_{n\geq0}I^n/I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1-d, where a(G(I)) denotes the a-invariant of G(I). Let S = A[Q/a$_1$] and P = mS. In this paper, we show that the following conditions are equivalent. (1) $I^2$ = QI and I = Q:I. (2) $I^2S$ = $a_1$IS and IS = $a_1$S：sIS. (3) $I^2$Sp = $a_1$ISp and ISp = $a_1$Sp ：sp ISp. We denote by $X_A(Q)$ the set of good ideals I in $X_A(Q)$ such that I contains Q as a reduction. As a Corollary of this result, we show that $I\inX_A(Q)\Leftrightarrow\IS_P\inX_{SP}(Qp)$.

• 대한수학회논문집
• /
• 제9권4호
• /
• pp.881-889
• /
• 1994

Let ($X, \Beta, \mu$) be a measure space with the $\sigma$-algebra $\Beta$ and the probability measure $\mu$. Throughouth this article set equalities and inclusions are understood as being so modulo measure zero sets. A transformation T defined on a probability space X is said to be measure preserving if $\mu(T^{-1}E) = \mu(E)$ for $E \in B$. It is said to be ergodic if $\mu(E) = 0$ or i whenever $T^{-1}E = E$ for $E \in B$. Consider the sequence ${x, Tx, T^2x,...}$ for $x \in X$. One may ask the following questions: What is the relative frequency of the points $T^nx$ which visit the set E\ulcorner Birkhoff Ergodic Theorem states that for an ergodic transformation T the time average $lim_{n \to \infty}(1/N)\sum^{N-1}_{n=0}{f(T^nx)}$ equals for almost every x the space average $(1/\mu(X)) \int_X f(x)d\mu(x)$. In the special case when f is the characteristic function $\chi E$ of a set E and T is ergodic we have the following formula for the frequency of visits of T-iterates to E : $$ lim_{N \to \infty} \frac{$\mid${n : T^n x \in E, 0 \leq n $\mid$}{N} = \mu(E) $$ for almost all $x \in X$ where $$\mid$\cdot$\mid$$ denotes cardinality of a set. For the details, see [8], [10].

• 대한수학회보
• /
• 제51권4호
• /
• pp.1145-1153
• /
• 2014

Let G be a finite group and X be a union of conjugacy classes of G. Define C(G,X) to be the graph with vertex set X and $x,y{\in}X$ ($x{\neq}y$) joined by an edge whenever they commute. In the case that X = G, this graph is named commuting graph of G, denoted by ${\Delta}(G)$. The aim of this paper is to study the automorphism group of the commuting graph. It is proved that Aut(${\Delta}(G)$) is abelian if and only if ${\mid}G{\mid}{\leq}2$; ${\mid}Aut({\Delta}(G)){\mid}$ is of prime power if and only if ${\mid}G{\mid}{\leq}2$, and ${\mid}Aut({\Delta}(G)){\mid}$ is square-free if and only if ${\mid}G{\mid}{\leq}3$. Some new graphs that are useful in studying the automorphism group of ${\Delta}(G)$ are presented and their main properties are investigated.

• 한국정보통신학회논문지
• /
• 제5권1호
• /
• pp.80-88
• /
• 2001

실시간 스케줄가능성 분석에 대한 기존의 방법들은 프로세스의 모든 상태 공간을 추적하거나 고정 우선 순위 스케줄 방법을 사용하기 때문에 시간 및 공간에 대한 복잡성을 야기한다. 본 논문에서는 프로세스 대수의 전이 규칙을 이용하여 프로세스의 최소 수행 시간, 주기, 마감 시간, 동기화 시간을 고려하여 실시간 프로세스가 마감 시간을 지키는가를 판단하고, GUI 환경을 기반으로 스케줄이 불가능한 프로세스에 대해 스케줄 가능하게 하는 회복 알고리즘을 제안한다. 또한 스케줄이 불가능한 실시간 프로세스에 대해 회복 알고리즘을 적용한 결과를 시각적으로 표시해 주는 스케줄링 상태 분석기를 구현, 평가한다.

• 한국군사과학기술학회지
• /
• 제21권4호
• /
• pp.437-446
• /
• 2018

This paper describes the real-time logic implementation of orthogonal matching pursuit(OMP) algorithm for compressive sensing digital receiver. OMP contains various complex-valued linear algebra operations, such as matrix multiplication and matrix inversion, in an iterative manner. Xilinx Vivado high-level synthesis(HLS) is introduced to design the digital logic more efficiently. The real-time signal processing is realized by applying dataflow architecture allowing functions and loops to execute concurrently. Compared with the prior works, the proposed design requires 2.5 times more DSP resources, but 10 times less signal reconstruction time of $1.024{\mu}s$ with a vector of length 48 with 2 non-zero elements.