• 한국수학교육학회지시리즈A:수학교육
• /
• 제53권1호
• /
• pp.25-40
• /
• 2014

Mathematical concept exists in the structural form, not in the independent form. The purpose of this study is to consider the network which students actually have for the mathematical concept structure related to the properties of derivatives. First, we analyzed the properties of derivatives in 'Mathematics II' and showed the mathematical concept structure of the relations among derivatives, functions, and primitive functions as a network. Also, we investigated the understanding of high school students for the mathematical concept structure between derivatives and functions, and the structure between functions and second order derivatives when the functional formula is not given, and only the graph is given. The results showed that students mainly focus on the relation of 'function-derivatives', the thinking process for direction of derivative and the thinking style for algebra. On this basis, we suggest the educational implication that is necessary for students to build the network properly.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제50권2호
• /
• pp.135-148
• /
• 2011

We can say that the history of mathematics is the history on the development of the number system. The number starts from Natural number and is constructed to Integer number and Rational number. The Rational number is not the complete number analytically so that Real number is completed by the idea of the nested interval method. Real number is completed analytically, however, is not by algebra, so the algebraically completed type of the rational number, through the way that similar to the process of completing real number, is Complex number. The purpose of this study is to show the most appropriate way for the development of the human being thinking about the teaching and leaning of Complex number. To do this, We have to consider the proof of the existence of Complex number, the background of the introduction of Complex number and the background knowledge that the teachers to teach Complex number should have. Also, this study analyzes the knowledge to be taught of Complex number based on the anthropological theory of didactics and finally presents the teaching method of Complex number based on this theory.

• 한국측량학회지
• /
• 제17권2호
• /
• pp.177-187
• /
• 1999

현재까지 GSIS를 이용하는 많은 응용분야에서 각종 공간자료의 추출 및 분석을 위해 벡터형 공간중첩(spatial overay)이나 격자형 공간연산(spatial algebra)기능이 주로 사용되었다. 하지만 이런 방법에 내재하고 있는 개념은 전통적인 보통집합이론에 근거하고 있기 때문에 많은 종류의 공간자료들이 구간설정에 있어서 예리한 경계로 분할되는 것으로 다루어지고 있다. 이것은 현실 세계에 존재하는 실제 자료들의 공간분포패턴과 일치하지 않는다. 즉, 공간상에 일정영역이나 실체들이 오직 한가지 속성으로 한정되는(one-entity-one-value)오류를 그대로 포함하고 있다. 본 연구는 이러한 보통집합의 개념하에서 공간자료를 다루어 왔던 종래의 방식을 개선하기 위해서 공간자료가 지니는 모호함 내지 경계의 애매성을 잘 표현할 수 있는 퍼지집합의 개념을 두 가지 방법을 통해 공간중첩과정에 도입하였다. 첫 번째 방법은 공간적으로 연속성을 갖는 자료에 대해서 퍼지부분집합에 의한 퍼지구간분할법이며, 두 번째 방법은 범주형 자료에 대해서 적용한 퍼지경계집합법이다. 사례연구로서 신시가지 개발입지선정을 위한 적지분석을 수행을 함으로서 기존의 부울분석방법과 퍼지 공간 중첩법의 결과를 비교하였으며 그 결과, 퍼지공간중첩법에 의한 적합도면이 신시가지 개발입지에 대한 보다 타당성 있는 정보를 제공하며, 더불어 정보표현측면에서도 더욱 적절한 형태임을 알 수 있었다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제28권3호
• /
• pp.353-366
• /
• 2014

본 원고는 대학에서 배우는 수학적 지식이 사회가 필요로 하는 인력이 갖추어야 할 지식 및 능력과 어떤 관계가 있는지를 구체적으로 확인해 주는 대학 수학교육 논문이다. 최근 3D 프린팅의 상용화가 가속화되면서, 각 분야에 적용할 수 있는 3D 프린팅의 고급 기술개발이 중요한 과제로 떠오르고 있다. 이 과정에서, 수학적 지식의 적절한 활용은 필수적이다. 따라서 본 연구는 대학에서 배우는 수학적 지식을 바탕으로, 시간과 장소에 구애받지 않고 누구나 무료로 3D 프린팅 기술을 활용할 수 있도록 하는 클라우드 컴퓨팅 환경을 제공하고, 그를 활용하여 얻은 성과를 공유하는데 그 목적이 있다. 이러한 목적을 달성하기 위하여 한국에 맞게 자체적으로 개선한 오픈소스 소프트웨어 "Sage" 기반의 서버를 이용하여, 3D 프린팅에 필요한 STL 도면 파일을 생성하는 프로그램과 웹(Web) 도구를 개발하였다. 본 논문에서는 새롭고 혁신적인 3D 프린팅 환경을 바탕으로, 수학적 모델링의 기초지식인 미적분학과 선형대수학을 중심으로 우리가 형상화한 다양한 3D 객체(Object)들의 개발 과정을 공유하며, 이 과정을 같이 경험하는 수학전공자들이 대학에서 배운 전문 지식을 활용하여 3D 프린팅의 다양한 관련 분야로 진출하여 그 역량을 발휘 할 수 있는 비전을 제시한다. 특히 수학을 전공한 인력이 3D프린터를 보다 창의적이고 혁신적으로 활용할 수 있는 인력, 그리고 이들을 교육하는 인력으로 성장할 수 있다는 것을 확인한다.

• 전자공학회논문지D
• /
• 제36D권3호
• /
• pp.48-58
• /
• 1999

본 연구에서는 3차원 반도체 공정 시뮬레이션의 효율성과 성능을 향상시키기 위하여, 병렬 유한요소법 수치해석에 사용이 적합한 디라우니 병렬 메쉬 생성기 및 표면 전진 메쉬 생성기를 개발하였고, 이를 위하여 개선된 성능을 보이는 수정된 하부구조법 병렬 유한요소법 수치해석기를 개발하였다. 또한, 행렬 계산 알고리즘의 병렬화를 확산 및 산화 시뮬레이터에 적용하여, 직렬 계산 시 3시간이 소요되는 확산 시뮬레이션과 비평탄 구조를 지니는 R-LOCOS 등의 연산을 8개의 프로세서를 병렬로 사용하여 15분만에 계산하였다. 과다한 계산 시간을 요하는 몬테카를로 수치해석 방법의 효율성을 높이고자, 병렬 연산 알고리즘을 몬테카를로 연산에 적용하였다. 또한, 스퍼터링 증착장치 시스템의 타켓 입자 분포 특성을 병렬 연산 몬테카를로 방식으로 계산하였다. 3000개의 이온을 주입하였을 겨우 단일 프로세서에서 13,000초의 계산시간이 소요되었으나, 30개의 프로세서를 병렬로 사용하였을 때 520초의 시간을 소비하여,25 이상의 스피드업 특성을 얻었다. 또한, 몬테카를로 계산의 최적화 연구를 통해서 3차원 스퍼터링 증착장치에서 연쇄 충돌 계산 수행시의 최적이온의 개수는 30,000임을 확인하였다.

• 한국정보처리학회논문지
• /
• 제4권4호
• /
• pp.1013-1024
• /
• 1997

기존에 제안된 객체 모델링 방법론에서 정적 측면의 모델링은 시멘틱 모델 등의 풍부한 시멘틱을 제공하여 모델과 모델링의 많은 부분들을 정형화할 수 있다 그러나 대부분의 방법론들은 동적 모델과 모델링의 정형화가 미흡하다. 또한 기존의 동적 모델은 실시간과 멀티미디어 시스템에서 매우 중요한 특성인 객체간의 상호적용 관계 및 시간적 제약성을 정확하게 표현할 수 없다. 본 논문에서는 이러한 문제들을 해결 하기 위해서 행위를 기반으로한 정형적인 동적 모델과 모델링 절차를 제안한다. 이 모델은 대수구조 개념을 도입하여 객체의 상태 영역을 정의하고, 객체의 행위를 하나의 함수로 정의한다. 또한 이 모델은 시제논리와 정의된 행위함수를 사용하여 객체의 라이프사이클과 행성을 정형화한다. finig rule들을 사용하여 객체간의 행위적 종속성을 표현하므로써 기존의 객체 중심의 동적 모델에서 표현할 수 없는 시스템 관점의 행위도 일부 표현할 수 있다. 제안된 정형화된 모델을 기반으로 문제를 분 석할 수 있는 모델링 도구와 절차를 정형화 한다.

• 대한수학교육학회지:수학교육학연구
• /
• 제24권4호
• /
• pp.607-622
• /
• 2014

이 논문의 목적은 삼각함수 개념의 역사적 발달과정을 분석하고, 이를 바탕으로 하여 교육적 함의를 논의하는데 있다. 역사적 분석의 결과는 다음의 두 가지이다. 첫째, 삼각함수 개념은 역사적으로 비를 측정하는 선분(호의 삼각선)에서, 비를 나타내는 수치(각의 함수)로 발달하였으며, 이 과정에서 기하, 산술, 대수, 해석이 통합되었다. 둘째, 실제적 계산에서 이론적 함수로 발달한 결과, 주기성으로 형식화되었으나 '삼각법'이 간과되었다. 그리고 교육적 함의는 다음의 두 가지이다. 첫째, 실제적 계산에서 간과된 삼각법을 닮음의 원리에 의해 관계적 구조적으로 다루어야 한다. 둘째, 삼각함수로의 개념적인 일반화는 인식론적 장애로 인정되어야 하며, 역사에서 드러난 통합을 강조하는 방향으로 개선되어야 한다. 이러한 연구결과는 학습 지도에 있어 유용한 시사점을 제공한다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제50권3호
• /
• pp.285-308
• /
• 2011

The objective of this study is to review how researches on mathematics education are being conducted currently in Korea and overseas and to examine the current state of domestic researches on mathematics education from a broader view. Although many efforts have been made to understand trends in researches on mathematics education, there have been few in depth studies on research trends in overseas or for comparison between domestic and overseas trends. Thus, this study classified and analyzed 181 domestic articles between 2005 and 2009 in the journals and and 201 overseas articles in the journals and according to year, research area, research contents, school level, research method, and key words using the PME classification system with some modification. Through these analysis, we examined research trends on secondary mathematics education in Korea and overseas. The research findings are as follows. First, 'teaching learning process' was a spotlight area both at home and overseas, and 'realistic mathematics' and 'social cultural subjects' were not covered much either at home or overseas. 'Mathematical communication' occupied a very small portion in Korea but was a highly interesting area in overseas research. Second, research contents of interest were different between Korea and overseas. Research on general area was the mainstream. But geometry and statistics were mainly studied in Korea and algebra and analysis in overseas. Third, research related to middle school was twice more than that related to high school in Korea, But, research related to middle school was the same as high school in overseas. Fourth, qualitative research was the absolute majority both at home and overseas, and philosophical didactical analysis was used only in Korea. Fifth, the order of key words were problem solving - teacher - curriculum - creativity - textbook in Korea, but teacher - teaching - semiotic - affective factor - proo f- problem solving - technology in overseas.

• 한국안전학회지
• /
• 제31권5호
• /
• pp.187-194
• /
• 2016

A single fire event within a fire area can cause multiple initiating events considered in internal events probabilistic safety assessment (PSA). For an example, a fire event in turbine building fire area can cause a loss of the main feed-water and loss of off-site power initiating events. This fire initiating event could result in special plant responses beyond the scope of the internal events PSA model. One approach to address a fire initiating event is to develop a specific fire event tree. However, the development of a specific fire event tree is difficult since the number of fire event trees may be several hundreds or more. Thus, internal fire events PSA model has been generally constructed by modifications of the pre-developed internal events PSA model. New accident sequence logics not covered in the internal events PSA model are separately developed to incorporate them into the fire PSA model. Recently, many fire PSA models have fire induced initiating event fault trees not shown in an internal event PSA model. Up to now, there has been no analytical comparative study on the constructions of fire events PSA model using internal events PSA model with and without fault trees of initiating events. In this study, the changing process of internal events PSA model to fire events PSA model is analytically presented and discussed.

• 한국정보처리학회논문지
• /
• 제6권8호
• /
• pp.2204-2212
• /
• 1999

본 논문에서는 허위 경로 문제를 해결하고 지연 시간 정보를 추출해내는 지연 시간 부울법을 이용하여 조합 회로에서 증가적 지연 시간 검사를 수행할 수 있는 방법을 제시한다. 내부 출력단에서 대치되는 내부 입력단의 히스토리를 작성하고 외부 출력단의 활성화 경로를 검사하여 최대 지연 시간을 구한다. 이때 외부 출력단의 히스토리를 참조하여 변형된 지연 시간을 적용시켜 다시 외부 출력단의 최대 지연 시간을 구할 수 있다. 이 방법으로 일단 외부 출력단의 근지연항의 합을 구하면 내부 회로의 지연 시간이 변하더라도 이미 구해 놓은 외부 출력단의 근지연항의 합으로써 빠르고 효율적으로 최대 지연 시간과 입력값을 추출해 낼 수 있다. 회로의 구조가 변경되었을 때 전체 회로를 다시 계산해야 할 필요는 없다. 전체 회로를 검사하여 변경된 구조의 영향을 받아서 다시 계산해야 할 필요가 있는 게이트를 선택하고 이 선택된 게이트만을 계산하여 부분적인 지연 시간 분석을 행할 수 있다. 이러한 증가적 지연 시간 분석은 회로의 지연 시간의 변화 뿐만 아니라 회로 구조의 변화를 고려하였고, 기존의 지연 시간 분석에 비해 회로 설계시 성능 시험 단계에서 생기는 시행 착오의 비용을 줄일 수 있다.