• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제15권
• /
• pp.141-146
• /
• 2003

중학교 기하교육의 목적은 학생들의 수학적인 상황을 보는 기하학적인 직관과 논리적 추론능력의 향상이다. 그러나 이 두 가지 모두 만족스럽지 못한 실정이다. 본 고에서는 중학교 기하교육의 문제를 직관기하와 형식기하의 단절이라는 보고, 직관기하에서 증명의 학습요소를 미리 학습하여 직관기하와 형식기하를 연결하자는 대안을 제시한다. 이를 위해 7-나 교과서의 증명요소를 분석하고자 하였다. 관련문헌을 검토하여 7가지 증명의 학습요소를 선정한 후, 교과서를 분석하였다. 분석 결과, 기호화를 제외한 다른 증명의 학습요소는 매우 빈약한 것으로 나타났다. 직관기하 영역에 대한 교과서 구성이 개선될 필요가 있음을 알 수 있다.

• 대한수학교육학회지:수학교육학연구
• /
• 제16권4호
• /
• pp.327-344
• /
• 2006

본 연구는 경기도의 A, S시 교육청 과학영재교육원에서 교육을 받고 있는 초등학교 6학년 학생들이 기하 영역의 특정 과제를 해결하는 과정에서 보여주는 증명의 수준과 증명의 구성 요소에 대한 이해 정도를 확인하는 것이다. 이를 위해 동일한 시기에 선발되어 함께 교육프로그램에 참여하고 있는 20명 중 표현력이 우수한 3명의 학생을 담임교수로부터 추천 받아 질적 연구 방법을 통해 분석하였다. 각 학생들에게 Clairaut의 기하 과제 중 하나인 '두 직사각형의 넓이를 합한 것과 동일한 넓이를 갖는 하나의 직사각형을 작도하시오'라는 과제를 제시하고, 그것을 해결하는 과정에서 나타나는 증명의 수준과 증명의 구성 요소에 대한 이해와 관련하여 초등 수학영재들이 보여주는 사고의 특징을 분석하였다. 자료 분석은 Waring(2000)이 제시한 증명 수준과 Galbraith(1981), Dreyfus & Hadas(1987), 서동엽(1999) 등이 제시한 증명의 구성 요소에 기초하여 이루어졌다. 그 결과, 4가지의 의미 있는 결과를 도출하였고 이를 바탕으로 수학영재교육에 주는 시사점을 논의하였다.

• 대한수학교육학회지:학교수학
• /
• 제14권4호
• /
• pp.469-493
• /
• 2012

본 연구는 증명을 성공적으로 구성하는 학생들은 수학적 개념을 어떻게 이해하고 있으며, 증명을 어떻게 구성하는 지를 살펴보고 이를 통해 증명을 구성하는 다양한 방식과 개념 이해의 관련성을 분석하는 데 목적이 있다. 증명 구성에 도움이 되는 수학 학습에 제언을 얻기 위해서는 증명을 구성하는 과정과 그 과정에서 개념이 어떻게 반영되고 이용되는 지를 살펴볼 필요가 있다. 이를 위하여 4명의 수학교육과 학생들을 대상으로 사례연구를 실시하였다. 그 결과 구문론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있을 뿐만 아니라 그 개념이 담겨있는 명제는 어떠한 방식으로 증명하는 지 그 방법까지 알고 있었다. 실제 증명에서도 평소 증명 경험을 통하여 학습한 증명 전개 방법을 이용하여 증명하는 것을 볼 수 있었으며, 이로부터 증명 방법에 대한 절차적 지식이 구문론적 증명에는 중요한 요소라는 결론을 얻을 수 있었다. 의미론적 증명을 하는 학생들은 형식적 개념의 내용을 정확하게 알고 있고 그 내용과 의미를 본인만의 언어나 그림으로 표현한 개념 이미지를 가지고 있었다. 구문론적 증명을 하는 학생들의 개념 이미지와 비교해보았을 때, 의미론적 증명을 하는 학생들의 개념 이미지는 구문론적 증명을 하는 학생들의 개념 이미지보다 형식적 개념의 내용을 잘 반영하고 있었다. 이러한 개념 이미지는 개념 이미지를 활용하여 증명의 아이디어를 생각하고, 생각한 아이디어를 증명의 형식에 맞게 표현하는 데 사용된다는 점에서 의미론적 증명에 필요한 요소라는 것을 발견할 수 있었다.

• 대한수학교육학회지:학교수학
• /
• 제14권3호
• /
• pp.297-313
• /
• 2012

학생들에게 증명을 보다 이해하기 쉽게 전개하는 대안으로, 내러티브의 잠재력과 그 효과를 함수의 평행 이동이라는 사례에서 논의한다. 내러티브의 구성 요소를 고려하여, 평행 이동한 함수의 식을 유도하는 증명을 내러티브로 구성하였다. 두 집단의 학생들에게 내러티브와 형식적 증명을 각각 제시하고, 내러티브가 증명을 제시하는 것보다 함수의 평행 이동에 대한 도구적 및 관계적 이해라는 측면에서 유의미한 효과가 있는지를 살펴보았다. 실험집단과 비교집단에서 사후 도구적 및 관계적 이해 검사 결과의 차이가 통계적으로 유의하지는 않았으므로, 내러티브로 제시하는 것이 증명을 제시하는 것보다 함수의 평행 이동에 대한 도구적 및 관계적 이해의 측면에서 더 효과적이라는 결론을 내릴 수는 없었다. 그러나 학생들의 관계적 이해 반응과 수업 평가에 대한 질적 분석에서는 비교집단과 실험 집단사이에서 몇 가지 다른 양상을 발견할 수 있었으며, 형식적 증명을 보완할 수 있는 내러티브의 가능성을 찾아볼 수 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.144-147
• /
• 2011

최근 소프트웨어 개발에 리팩토링이 활성화되고 있다. 리팩토링에 대한 관심이 높아지면서 요소 리팩토링을 정의해서 이들의 조립을 통해 새로운 복합 리팩토링을 정의하려는 연구들이 많이 진행되고 있다. 그러나 이러한 연구들에서는 복합 리팩토링을 구성하고 있는 조립된 리팩토링의 종류가 요소 리팩토링으로 제한되어 있고, 조립 방법도 대부분 요소 리팩토링들의 순차적인 결합으로 되어 있는 경우에만 처리되고 있다. 이에 본 연구에서는 조립할 수 있는 리팩토링의 구성 요소를 요소 리팩토링뿐만 아니라 이미 정의되어 있는 복합 리팩토링도 가능하게 하고, 조건처리와 반복 등 다양한 방법으로 리팩토링들을 조립할 수 있는 메커니즘을 제안한다. 그리고 무순서반복 조립의 적용 가능성에 대한 증명 방법을 제안한다. 이를 통해 리팩토링들의 재사용성과 확장성을 향상시킬 수 있을 것이다.

• 한국게임학회 논문지
• /
• 제9권6호
• /
• pp.45-56
• /
• 2009

재미학(funology)을 기반으로 재미학, 프로이드의 쾌감이론, 칙센트미하이의 몰입(Flow)이론, 윌리엄 글라써 욕망이론, 아브라함 매슬로우 욕구이론, 로제카이와의 놀이 분류 이론 을 통해 쾌감요소를 추출하였다. 이렇게 추출된 쾌감 요소를 게임에 직접적으로 대입하여 온라인 1인칭 슈팅(First-Person Shooter, FPS) 게임에서 1차적으로 필요한 쾌감요소로 재 추출하였다. 그리고 온라인 FPS게임 전문가 인터뷰를 통해 쾌감의 구성 요소를 2차로 정리 하였고 3차로 유명 국내 온라인 4개(서든 어택, 카운터스트라이크, 아바, 팀 포트리스2)에 대해 전문가의 인터뷰를 실시하여 빈도 분석을 통해 쾌감의 구성 요소를 압축 하여 추출 하였다. 이 데이터를 기반으로 게임 조작적 정리 방법을 사용하여 가설을 세웠고, 그 가설을 증명하기 위해 설문 조사를 실시해서 얻은 데이터를 SAS라는 통계 패키지를 이용해서 쾌감요인들인 종속변수와 선호도인 독립변수인 회귀 분석 식을 사용하여 쾌감의 구성요소와 게임선호도의 상관관계를 증명하였다. 이상 결과를 종합하여 보면, 온라인 FPS게임에서 쾌감 요소는 게임을 더욱 몰입하게 만들고 오래 지속적으로 게임을 즐기게 만드는 요소로써 상관관계가 있다는 것을 논리적으로 파악 할 수 있는데, 온라인 FPS게임에 대해서 고유한 특징 구조 및 인간의 쾌감에 대해서 이론적으로, 경험적으로 심층 분석 한 요소 정리가 부족한 현실에서 본 연구는 게임 연구나 개발에 중요한 근거를 제시 할 수 있을 것으로 기대한다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2021년도 추계학술대회
• /
• pp.185-186
• /
• 2021

해양사고 분석을 위한 해양사고 재결서는 중요한 정보제공의 원천이며 재발방지를 위한 개선사항을 제시한 자료이다. 하지만 이는 보고서 형태로 구성되어 수량화 하여 데이터로 활용하기에는 한계가 있다. 본 연구에서는 이러한 해양사고 재결서를 원인요소와 결과요소로 구분하여 계층화작업을 시행하였다. 이를 통해 충돌사고에서 선박조우상황과 충돌부위와의 상관관꼐를 증명하기 위한 기초자료로 사용하고자 한다. .

• 한국전산구조공학회논문집
• /
• 제22권6호
• /
• pp.579-585
• /
• 2009

본 연구에서는 분사식 섬유보강 코팅층(sprayed fiber reinforced polymer, SFRP)으로 보강된 RC보의 성능평가를 위하여 유한요소해석을 수행하였다. 이를 위하여 미세역학을 기반으로 한 구성모델(micromechanical constitutive model)(Lee, 2001)과 손상모델(Damage models)(Lee 등, 2000; 2005)을 결합시킨 손상구성모델(damage constitutive model)을 유한요소 프로그램인 ABAQUS에 적용하였다. 유한요소해석 결과를 실험값(Ha, 2007; Ha 등, 2009)과 비교하여 손상구성모델의 정확성을 증명하고자 하였다. 비교분석 결과, 손상구성모델을 유한요소 프로그램에 적용한 해석은 실험결과(Ha, 2007; Ha 등, 2009)를 비교적 잘 예측하고 있음을 보여주었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.329-331
• /
• 2003

프로그램에 취약성이 없다는 것을 증명하는 것은 거의 불가능하다. 또한 현재 보안을 위해서는 인증과 접근제어, 암호화를 이용하지만 이러한 단순한 보안 기술은 버퍼오버 플로우와 같은 프로그램의 취약성을 이용한 공격에 대해 적절한 방어 대응을 할 수 없다. 그러므로 현재 위협적인 공격으로부터 중요한 기능을 지속적으로 제공하여 시스템 방어능력의 향상을 위한 생존성에 대한 연구가 필요하다. 동적협동은 이러한 생존성 연구의 일부분으로 생존성 기능을 가진 각 프로그램들이 동적환경에서 협동할 수 있는 환경을 제공해주는 기술에 대한 연구이다. 본 논문에서는 동적협동에 대한 분석을 통해 동적협동의 아키텍처와 각 구성요소의 기능에 대해 제시한다.

• 한국정보관리학회:학술대회논문집
• /
• 한국정보관리학회 2017년도 제24회 학술대회 논문집
• /
• pp.39-42
• /
• 2017

이 연구는 기록정보 리터러시의 대상과 범주를 공문서 리터러시와 연결시키고 각 리터러시 간 구성요소간의 관계를 증명하여 기록의 접근성과 활용성을 공공의 영역으로 확장하는 이론적 근거를 마련하기 위해 연구문제와 연구모형을 제시하고자 한다.