• The Mathematical Education
• /
• v.44 no.2 s.109
• /
• pp.297-306
• /
• 2005

In this paper, we propose a computer environment class for student's mental representations about non-Euclidean geometry. Through the software Cinderella, students construct knowledge about non-Euclidean geometry and recognize differentness between Euclidean and non-Euclidean geometry. Also they recognize an existence of non-Euclidean geometry newly and its mental representations with images represented in Cinderella. In geometry class, we make students can use many representations systematically and can figure a visual internal image by emphasizing a transform process. And then students can reason about non-Euclidean geometry.

• Journal of the Korean School Mathematics Society
• /
• v.6 no.2
• /
• pp.39-53
• /
• 2003

We study the dynamic geometry software suitable for the Internet Environment. First, we look into the necessity of dynamic geometry software and compare the functions and the features of commercial softwares, GSP, Cabri and Cinderella. Secondly, we introduce the process of development and the structure of the new software DRC(Digital Ruler and Compass) designed by authors and discuss the learning program with DRC and Internet, and view the upgrade of the software in the future.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.217-219
• /
• 2003

최근 반도체 설계 및 생산 공정의 급속한 발달로 내장형 시스템이 대중화되는 추세이고 비용이나 제품 출시 기간에 있어서 내장형 소프트웨어는 중요한 하나의 요소로 대두되고 있다. 내장형 시스템은 일반 PC와는 다르게 메모리 크기. 전력 소비, 신뢰성, 사이즈. 비용 등과 같은 제약사항들을 내포하기 때문에 제한된 자원의 효율적인 이용과 소프트웨어의 최적화를 위해 소프트웨어의 성능을 분석하기 위한 필요성이 대두된다. 본 논문에서는 소프트웨어 성능분석 도구인 'Cinderella'를 확장하기 위하여 현재 가장 널리 사용되고 있는 이진 실행 파일인 ELF파일에서 성능을 측정하기 위한 기본 요소로서 Control flow graph를 추출하기 위한 알고리즘을 제안한다. 본 논문에서 제안한 알고리즘은 향후 ARM기반의 머신에서 ELF파일의 내장형 소프트웨어의 시간분석에 필요한 요소이다.