• Journal of the Korean School Mathematics Society
• /
• v.17 no.4
• /
• pp.437-464
• /
• 2014

Curriculum for mathematic sis the system that selects and organizes the contents which have to be taught in school. Ultimately it can be the whole plan of school mathematical education. The study about curriculum for mathematics is the basic study field of the mathematical education, so curriculum-related studies have been continuously promoted in terms of character, organization and implement of the curriculum, learning contents contained by the curriculum, the connection between school levels, and comparison and analysis of domestic and foreign curricula. Thus, this paper investigated the 2009 Revised Curriculum for Mathematics, which is the curriculum of Korea and the CCSSM which is the curriculum of the U.S. Both have been adopted in schools recently. The purpose of this study is to understand the curricula for mathematics in elementary school of Korea and the U.S. in depth and obtain the implication for the further curriculum revision, by comparing and analyzing the curricula of two countries.

• Computational Structural Engineering
• /
• v.9 no.2
• /
• pp.16-22
• /
• 1996

스페이스 프레임의 설계과정에서 컴퓨터의 급진적인 진보와 많은 연구노력의 결과로 전체 설계과정이 통합자동화 방향으로 진행되고 있으며, 특히 구조해석과 구조설계분야에서 중요한 진보가 이루어져 왔다. 본문에서는 스페이스 프레임의 설계과정을 시스템화함에 있어서 자동화 방법론의 개괄적인 내용과 스페이스 프레임의 3차원적인 복잡한 형태를 표현하기 위한 Formex 대수학 (FORMEX ALGEBRA)의 적용사례에 대한 설명 및 후처리단계에서 해석결과치를 가지고 코드검토에 대한 규준식의 소개와 프로그램에 대한 내용을 설명한다.

• Communications of Mathematical Education
• /
• v.10
• /
• pp.303-324
• /
• 2000

수학 교육에서 새로운 정보기술의 교육적 사용의 범위는 커지고 교육 모형은 다양해지고 있다. 특히 중등 수학교육에서의 변화에 대한 기대도 커지고 있다. 본 논문은 미국 및 한국의 수학 교육계의 폭넓은 지지를 받는 NCTM의 컴퓨터 및 정보기술 활용에 관한 규준들의 교육적 의미, 방법, 효용 등을 정리하였다. 이어서 컴퓨터과학 교과과정에 포함된 수학 분야에 대한 컴퓨터과학자 Hamming의 견해를 소개하였다. 본 논문은 한국의 중등 교육에도 컴퓨터과학 교과가 시행될 것을 예정하면서 수학 교사들이 미리 컴퓨터과학을 교과과정을 이해함으로 통합 교과적 요소, 특성 그리고 역할 관계를 알아보았다.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.13 no.4
• /
• pp.417-425
• /
• 2000

This paper describes the application of discretized continuum-type optimality criteria(DCOC) and the development of optimum design program for the reinforced concrete continuous beams with rectangular cross-section. The cost of construction as objective function which includes the costs of concrete, reinforcing steel and formwork is minimized. The design constraints include limits on the maximum deflection, flexural and shear strengths, in addition to ductility requirements, and upper and lower bounds on design variables as stipulated by the design Code. Based on Kuhn-Tucker necessary conditions, the optimality criteria are explicitly derived in terms of the design variables-effective depth, and steel ratio. The self-weight of the beam is included in the equilibrium equation of the real system. An iterative procedure and computer program for updating the design variables are developed. Two numerical examples of reinforced concrete continuous beams are presented to show the applicability and efficiency of the DCOC-based technique.

• Computational Structural Engineering
• /
• v.10 no.4
• /
• pp.315-325
• /
• 1997

This paper describes the application of discretized continuum-type optimality criteria (DCOC) and the development of optimum design program for the multispan partially prestressed concrete beams. The cost of construction as objective function which includes the costs of concrete, prestressing steel, non-prestressing steel and formwork is minimized. The design constraints include limits on the maximum deflection, flexural and shear strengths, in addition to ductility requirements, and upper and lower bounds on design variables as stipulated by the design Code. Based on Kuhn-Tucker necessary conditions, the optimality criteria are explicitly derived in terms of the design variables-effective depth, eccentricity of prestressing steel and non-prestressing steel ratio. The prestressing profile is prescribed by parabolic functions. The self-weight of the structure is included in the equilibrium equation of the real system, as is the secondary effect resulting from the prestressing force. An iterative procedure and computer program for updating the design variables are developed. Two numerical examples of multispan PPC beams with rectangular cross-section are solved to show the applicability and efficiency of the DCOC-based technique.

• Computational Structural Engineering
• /
• v.9 no.2
• /
• pp.121-131
• /
• 1996

This work proposes an optimality criteria applicable to the optimum design of plane frames subject to multiple behavioral constraints on member stresses and lateral displacements of nodes and also to side constraints on design variables. The method makes use of a first order approximation for both deflection and stress constraints instead of the zero order approximation based on the concept of FSD (fully stressed design). A redesign algorithm is derived from a mathematically rigorous method which uses the Newton-Raphson method to solve the system of nonlinear constraint equations and reduces the design space whenever minimum size restrictions become active. When applied to worked examples it proved more accurate and efficient, and it is often found that optimum designs are not fully stressed designs. This fact suggests that this rigorous method is worth what it claims for complicated computing and thus had better replace the crude stress ratio algorithm adopted by the majority of optimality criteria approaches. This is particularly true as long as we enjoy ever-increasing computing power at negligible costs.

• East Asian mathematical journal
• /
• v.27 no.4
• /
• pp.471-483
• /
• 2011

The purpose of this study is to introduce the Common Core State Standards (CCSS) for mathematics which is released on June 2, 2010 in the U.S.A. The common core state standards are aligned with college and work expectations, and include rigorous content and application of knowledge through high-order skills. The most distinguishable differences between the CCSS standards and the NCTM standards are that the CCSS standards considers the mathematical modeling as one of the mathematical content domains such as algebra, geometry, ets, and the standards are designed by working together with school leaders of all states.

• Communications of Mathematical Education
• /
• v.12
• /
• pp.331-347
• /
• 2001

수학교육 개혁에서 강조되고 있는 교실 문화의 변화는 교사가 그 개혁 방향을 이해하고 자신들이 지향하는 가치와 우선 순위를 수업에 어떻게 적용하느냐에 달려 있다고 볼 수 있다. 이와 관련하여, 본 논문에서는 문헌을 통하여 교수 방법에 영향을 미치는 교사 변인 (교사의 학습 및 교수 경험, 지식, 신념, 개별인성특징) 및 사회문화적 변인 (문화적 ${\cdot}$ 교육적 규준, 교육과정 개발과 운영, 교사교육, 전문적 모델과 교사공동체)을 찾아내고 이를 기초로 하여 수학 교사의 교수 방법에 영향을 미치는 요소를 질적으로 분석하기 위한 구체적인 개발면담 질문을 제시한다.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.05a
• /
• pp.61-67
• /
• 2000

본고는 텍스트로 제시된 한국어 문장의 형태통사론적 오류와 의미적 논항결합시 하위범주화요건을 위배하는 논항선택 오류의 인식 및 판단에 따른 ERP(Event-Related Potential)를 검출하여, 이에 대한 문장이해과정의 시간추이적 양상을 연구의 대상으로 하였다. 참여한 피험자로부터 각각의 유형에 대한 통계분석 결과, 통사적 오류 추출에서 의미적 오류 추출에 이르기까지 기존의 연구에서 제시된 오류패턴 요소들(ELAN, N400, P600)을 확인하였으며, 아울러 한국어 문장이해과정의 특이성을 관찰할 수 있었다. 이를 통해 문장묵독시 일어나는 여러 종류의 문법오류에 대한 개별적 성격규명과 함께, 이들의 문법틀 내에서의 상호관계에 대한 일련의 가설설정이 이루어질 수 있으며, 또한 문장이해 메커니즘의 신경적 기전의 특성 규명으로 부수될 인간지능 모사가능성에 생리학적 토대가 더해 질 것으로 추정되는 바, 언어이해와 대뇌기전지형을 결정짓는 또 다른 규준이 될 것이다.

• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.349-352
• /
• 2001

본 논문은 수중방사소음을 이용한 선박 클래스 식별을 위하여 비선형매핑법을 제안한다. 수중방사소음으로부터의 특성벡터 추출과정은 신호의 주파수영역 변환, 규준화, 및 특성추출 과정들을 포함하며, 비선형매핑법은 이러한 과정을 통하여 추출된 특성벡터를 입력으로 선박의 클래스를 분류한다. 제안된 비선형매핑법은 인공적으로 생성한 데이터들을 이용한 시뮬레이션을 통해 검증되고, 실제 데이터를 이용한 테스트 결과들은 본 논문에서 제시한 방법이 식별을 위해 사용될 수 있음을 보여준다.