• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.339-352
• /
• 2009

유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.

• 한국콘텐츠학회논문지
• /
• 제6권11호
• /
• pp.202-216
• /
• 2006

프로세스 대수는 다음과 같은 이유 때문에 실시간 항해 및 배송 시스템에 적용하기에는 부적당하다: 1) 특정한 지정학적 공간 내에서의 프로세스들의 분산성에 대한 표기가 부족하고, 2) 그 공간 내에서의 프로세스들의 이동성이 분산성으로부터 확연히 구분하여 표기되지 않는다. 이 대수들이 이런 시스템에 적합하기 위해서는 이런 분산성에 적용되는 공간정보의 표기와 이 공간 내에서의 이동성에 대한 표기를 구분해야할 필요성이 있다. 본 논문에서는 이러한 목적, 즉 공간정보와 이동정보를 구분하기 위하여 새로운 정형기법, 즉 CARDMI (Calculus of Abstract Real-Time Distribution, Mobility and Interaction)를 제안한다. CARDMI에서는 이동체 간의 동일성을 검증하기 위하여 공간 및 상호작용에 관한 연역규칙과 공간추상화에 기반한 동일성을 정의한다. 특히 이 동일성은 공간적 추상화를 반영한 계층적 동일성을 가능하게 하며 이를 통해 다수의 추상화 단계에서의 동일성을 검증하게 한다. CARDMI는 물리적인 배송 시스템뿐만 아니라 콘텐츠를 실시간으로 배달하는 사이버 시스템에도 적용할 수 있다.

• 한국초등수학교육학회지
• /
• 제19권3호
• /
• pp.251-266
• /
• 2015

'수학 수업을 더 들을수록 더 나은 수학 교사가 될 것이다.'라는 주장은 정당하게 들린다. 하지만 대학 수준의 수학, 예를 들어, 추상 대수나 해석학 같은 수학을 듣는 것이 어느 정도 초등 수학을 잘 가르치는데 영향을 미칠까 하는 데에는 의문이 생긴다는 주장이 일고 있다. 수학자가 초등 수학을 가르치도록 교육 받은 사람보다 나은 초등교사일 수 있는가? 이 논문은 대학 수준의 수학을 배우는 것과 학교 수준의 수학을 배우는 것이 예비 초등 교사들의 수학 교수를 위한 내용지식에 미치는 영향에 대하여 연구하였다. 이 연구에는 Teacher Education and Development Study in Mathematics에서 제공하는 데이터베이스를 다중회귀 분석방법을 사용하여 분석하였다. 초등 전 과목을 다 가르치도록 교육받은 예비 초등 교사들이 연구의 대상이며 교사교육을 이미 다 받은 시점에서 데이터가 수집되었다. 데이터 분석 결과는 예비 초등 교사들이 그들이 앞으로 가르치게 될 초등 수학을 다시 한 번 접해 볼 기회를 갖는 것이 수학 교수를 위한 내용 지식에 도움이 될 것이라는 것을 보여준다.

• 한국학교수학회논문집
• /
• 제20권2호
• /
• pp.119-139
• /
• 2017

고대 그리스 시대 작도는 현 교육에서의 작도 이상의 의미를 지닌 것이었다. 본 연구는 이러한 사실에 입각하여 현 교과서의 작도 의미를 살펴보고, 이와 대비되는 에서의 작도 의미를 추출해 보았다. 더불어 에서의 작도 의미를 현 교육에 반영하였을 때 나타나는 이점을 숙고해 보고, 그 이점을 활용하는 방안을 제안하였다. 그 결과 현 교과서의 작도는 삼각형의 합동 조건 도입과 이해를 위한 수단임을 확인할 수 있었다. 반면, 에서 작도는 4가지 의미를 지니고 있었다. 공준으로 타당성을 확보한 추상적 활동, 도형의 존재성 입증 및 논증에서 보조선 도입의 타당성 확보 수단, 보조선 도입 이외의 논증 개입 자제, 수와 대수를 다루는 수단이 곧 작도였다. 이로부터 논증에 보조선 도입의 타당성 확보 수단으로서의 작도 활용의 이점을 논의하였다. 아울러 Euclid 도구로 작도 불가능한 보조선에 대하여 가상적 도구의 개입에 의한 작도 관점을 제시하였다.

• 한국학교수학회논문집
• /
• 제11권1호
• /
• pp.97-115
• /
• 2008

고등학교 수학 수업에서는 실수 전체의 집합에서 뺄셈은 빼는 수의 덧셈의 역원을 더하고 나눗셈은 나누는 수의 곱셈의 역원을 곱하는 형식적인 관점으로 다룬다. 본 논문에서는 정수의 사칙계산 지도에 있어서 중학교 수학 수업에서 사용되는 직관적 모델(수직선 모델, 셈돌 모델)과 고등학교 수학 수업에서 제시되는 형식적 관점과의 연계에 대하여 논의하고자 한다. 직관적 모델을 이용하여 정수의 뺄셈을 덧셈을 이용하여 나타내는 방법의 의미를 재조명하고 이를 바탕으로 (음수)${\times}$(음수)가 양수임을 지도하는 새로운 방안을 제안하고자 한다. 직관적 모델의 일관성 있는 활용에 바탕을 두고 Treffers(1986)와 Freudenthal(1991)이 제안한 수평적 수학화(horizontal mathematization)의 과정을 통하여 정수의 사칙계산을 지도하는 이 방법은 중학교와 고등학교에서 정수의 사칙계산 수업에 참여하는 교사와 학생들 모두에게 나타날 수 있는 단절(박임숙, 2001)을 제거할 수 있는 방안이 될 것이다. 또 이것은 중 고등학교에서 다루는 수 체계들이 대학과정 대수학에서 다루는 추상적인 수 체계(group, ring, field)와 계통성을 가진 하나의 개념구조를 형성한다는 사실을 학생들이 인지할 수 있는 밑바탕이 될 것이다.