• 한국수학교육학회지시리즈A:수학교육
• /
• 제44권4호
• /
• pp.535-546
• /
• 2005

We study on intuitive verification and rigor proof which are in geometry of Korean and Russian $7\~8$ grade's mathematics textbooks. We compare contents of mathematics textbooks of Korea and Russia laying stress on geometry. We extract 4 proposition explained in Korean mathematics textbooks by intuitive verification, analyze these verification method, and compare these with rigor proof in Russian mathematics textbooks.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2009년도 춘계 종합학술대회 논문집
• /
• pp.973-977
• /
• 2009

본 논문은 중국의 '화(和)' 문화사상에서 '화(和)' 라는 자형의 변천으로부터, 기하학 도형으로서의 '화(和)', 동음어의 문화속의 '화(和)', 설화속의 '화(和)' 라는 틀을 통해 '화(和)' 문화사상에 내재된 그 역사적 의미와 내포된 뜻을 알아본다. 또한 전통예술 속에서의 '화(和)' 문화의 표현방식과 2008년 북경 올림픽개막식 속에 나타난 '화(和)' 문화가 현대 중국의 사회문화적 이해의 주요 키워드로 사용되고 있음을 개막식 공연의 다양한 '화(和)' 의 시각적 이미지의 분석을 통해 알아본다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 신호처리소사이어티 추계학술대회 논문집
• /
• pp.237-240
• /
• 2003

We implement a system for 3D structure reconstruction from multiple 2D images. It uses geometric primitives such as box, wedge, pyramid, etc, each having translation, rotation, and scale parameters. Primitives are marked on input images with GUI (Graphic User Interface). Lines made by projection of primitives onto an image correspond to marked line segments of the image. Error function is defined by disparity between them and is minimized by downhill simplex method. By assigning relationship between models, the number of parameters to solve can be decreased and the resultant models become more accurate To share variables among other models also reduces computational complexity. Experiments using real images have shown that the proposed method successfully reconstructs 3D structure.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제12권
• /
• pp.155-170
• /
• 2001

중등학교 수학교육 분야에서 기하 영역과 관련된 많은 연구들을 볼 수 있는데, 이들 중에서 도형에 관련된 다양한 개념 자체에 대한 심도 있는 논의는 많이 이루어지지 않았다. 예를 들어, 우리에게 가장 친숙한 개념들 중의 하나가 넓이임에도 불구하고, 왜 한 변의 길이가 a인 정사각형의 넓이가 a$^2$인가? 와 같은 물음은 그리 쉽지 않은 질문이 될 것이다. 그리고, 다각형의 넓이 자체는 다양한 수학 문제의 해결을 위한 중요한 도구이지만, 넓이를 활용한 다양한 문제해결의 경험을 제공하지 못하고 있다. 본 연구에서는 다양한 다각형들의 넓이를 규정하는 공식들을 유도하고, 유도된 넓이의 공식들을 활용한 다양한 문제해결의 아이디어를 제시하고, 이를 통해, 다각형의 넓이를 활용한 효율적인 수학 교수-학습을 위한 접근을 모색할 것이다.

• 한국안전학회지
• /
• 제10권4호
• /
• pp.109-117
• /
• 1995

본 논문은 야간 운전자들의 안전을 위한 교통안전제어 시설체계인 주행안내 반사체시스템(Retroreflector)에 있어서 기하도형각과 명확도 사이에 성량 변형이 등가적인 새로운 이론적 설계에 의한 다체형 회전체의 전환 모형에 관한 연구이다. 야간운전자의 주행안내 반사체 성능과 운전자 환경을 고려하여 이론적으로 동질적인 다섯가지 모형을 검증한다. 이 모형은 주행안내 반사체 교통체계를 설계하는데 좀더 나은 운전성과, 안전, 그리고 경제성 등을 고려하여 평가할 수 있을 것이다.

• 한국학교수학회논문집
• /
• 제14권2호
• /
• pp.227-239
• /
• 2011

삼각형의 외심은 중학교 2학년에 처음 도입되는 논증기하의 부분에서 다루어진다. 증명을 통해 도형의 성질을 다루는 과정에 본질적으로 상당한 어려움이 내포되어 있긴 하나, 학생들 은 교과서에서 다루는 외심과 관련한 명제의 증명을 학습하는데 특히 많은 어려움을 겪는다. 따라서 본 연구에서는 우리나라 교과서에서 다루는 외심의 정의와 증명을 오랜기간 논증기 하의 교과서로 사용된 유클리드 원론 및 현행 미국 교과서의 방식과 비교함으로써 삼각형의 외심 지도에 관한 시사점을 끌어내고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.532-534
• /
• 2001

본 논문에서는 다양한 배경을 가지는 얼굴 영상에서 눈의 위치를 추출하고 누의 개폐 상태를 인식하는 방법에 대하여 제시한다. 얼굴 요소 중에서 눈은 얼굴 인식 분야에 있어서 주요한 특징을 나타내는 주 요소이며, 눈의 개폐 상태 인식은 인간의 물리적, 생체적 신호 감지 및 표정인식에도 유용하게 사용될 수 있다. 본 논문에서는 후부영역을 강조하기 위한 전처리 과정을 수행하고 템플릿 매칭 방법을 사용하여 후부 영역을 추출한다. 추출된 1차 후부 영역들은 설정된 병합식을 사용하여 병합되며, 기하학적 사전지식과 Matching Value를 기반으로 최종 눈후보 영역을 추출한다. 검출된 눈 후보 영역은 검출영역 전처리와 특징점 산출 과정을 거쳐 최종적으로 개폐 판별식을 통해 눈의 개폐상태를 인식하게 된다. 제안한 방법은 눈위치 추출과 개폐인식에서 모두 높은 인식률을 보였으며 향후 운전자의 졸음인식 및 환자 감시장치 등 여러 응용에서 사용될 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.247-250
• /
• 2000

본 논문에서는 다양한 배경을 가지는 연속적인 얼굴 영상에서 실시간으로 눈의 위치를 자동적으로 추출하는 방법에 대하여 제시한다. 얼굴 요소 중에서 눈은 얼굴 인식 분야에 있어서 중요한 특징을 나타내는 주 요소로써 주로 히스토그램 분석과 색상 정보를 이용하여 눈 영역의 윤곽을 추출하는 방법이 제기되고 있다. 본 논문에서는 명암의 변화에도 비교적 적응력이 강한 이진화 기법을 사용하여 원영상을 이진화하고, 가변 템플릿(Deformable Template)방법을 사용하여 후보 영역을 추출한다. 이러한 후보영역들은 ART2 신경회로망을 이용하여 병합되며, 병합된 후보 영역들은 얼굴 요소의 기하학적 사전지식을 기반으로 검증되어, 시간에 따라 모양변화가 급변하는 눈 영역에 대한 실시간 추출을 가능하게 한다. 이상의 연구 결과는 교통사고 방지를 위한 눈의 졸림감지 등의 응용 시스템에 이용될 수 있다.

• 한국CDE학회논문집
• /
• 제7권4호
• /
• pp.269-279
• /
• 2002

Geometric shape morphing is an interesting geometric operation that interpolates two geometric shapes to generate in-betweens. It is well known that Minkowski operations can be used to test and build collision-free motion paths and to modify shapes in digital image processing. In this paper, we present a new geometric modeling technique to control the morphing on geometric shapes based on Minkowski sum. The basic idea develops from the linear interpolation on two geometric shapes where the traditional algebraic sum is replaced by Minkowski sum. We extend this scheme into a Bezier-like control structure with multiple control shapes, which enables the interactive control over the intermediate shapes during the morphing sequence as in the traditional CAGD curve/surface editing. Moreover, we apply the theory of blossoming to our control structure, whereby our control structure becomes even more flexible and general. In this paper, we present mathematical models of control structure, their properties, and computational issues with examples.

• 한국정보처리학회논문지
• /
• 제5권12호
• /
• pp.3244-3256
• /
• 1998

집적회로가 고집적화 그리고 고성능화 되어지면서 설계된 레이아웃의 전기적 연결 관계와 회로 성능을 검증할 필요성이 더욱 강조되고 있다. 본 논문에서는 레이아웃으로부터 소자의 기하학적인 모델 파라미터와 기생 저항과 커패시턴스 등을 포함하는 회로 정보를 추출하기 위하여 레이아웃 내의 모든 배선에 대한 도형을 방향성 변을 사용하여 독립된 다각형 블록의 집합으로 기술하고, 이 블록과 소자의 인접여부에 의해 MOS 트랜지스터와 전기적 연결 관계를 찾아서 회로를 추출할 수 있는 새로운 알고리즘을 제안한다.