• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권1호
• /
• pp.123-143
• /
• 2010

Skeleton Tower 문제는 대수와 기하를 통합하는 교육과정의 한 예로, 산술적인 세기, 정육면체의 개수를 세는 다양한 규칙이나 가능성을 열거하기, 기하학적 그림 그리기, 대수 방정식의 사용과 같은 다양한 방법으로 접근할 수 있으므로, 대수 방정식의 사용 방법만 제외한다면 초등학생에게도 사용 가능한 자료이다. 따라서, 본 연구에서는 J대학교 부설 영재교육원에서 실시한 2010학년도 초등수학반 영재선발시험에 응시한 3, 4학년생들을 대상으로, '4층 Skeleton Tower'를 해결하게 한 후, 이들의 문제해결 실태를 분석하여, 영재교육을 담당하는 교사들을 위한 시사점을 알아보고자 한다.

• 한국항공우주학회지
• /
• 제30권3호
• /
• pp.8-16
• /
• 2002

헬리콥터 비행 시뮬레이션을 위한 로터 운동방정식을 implicit formulation 형태로 유도하였다. 좌표계 사이의 상대운동을 고려한 일반화된 벡터 kinematics 를 유도하고 이를 적용하여 브레이드 임의 위치 에서 관성속도 및 관성가속도를 구하였다. 유도된 속도 및 가속도 벡터를 이용하여 플래핑, 리드래그 및 토오크 방정식 등을 implicit form으로 유도하였다. 브레이드 스팬에 따른 공간 적분 방법을 살펴보고, 다양한 힌지형상 및 힌지배열 순서에 관계없이 응용영역을 확장할 수 있음을 밝혔다. DAE(Differential Algebraic Equation) 형태를 갖는 본 연구의 결과식을 이용하여 동특성 계산을 위한 시간적분법을 검토하였다.

• 제어로봇시스템학회논문지
• /
• 제21권7호
• /
• pp.648-653
• /
• 2015

The kinematics with the instantaneous motion and statics of a manipulator has generally been proven algebraically. The algebraic solutions give very simple and straightforward results but the solutions do not have any meaning in physics or geometry. Therefore it is not easy to extend the algebraic results to design or control a robotic manipulator efficiently. Recently, geometrical approach to define the instantaneous motion or static relation of a manipulator is popularly researched and the results have very strong advantages to have a physical insight in the solution. In this paper, the instantaneous motion and static relation of a planar manipulator are described by geometrical approach, specifically by an axis screw and a line screw. The mass center of a triangle with weight and a perpendicular distance between the two screws are useful geometric measures for geometric analysis. This study provides a geometric interpretation of the kinematics and statics of a planar manipulator, and the method can be applied to design or control procedure from the geometric information in the equations.

• Steel and Composite Structures
• /
• 제45권2호
• /
• pp.249-261
• /
• 2022

This paper presents a numerical study to develop a guideline for estimating the plastic strength of elliptical steel slit damper with reasonable accuracy. The strut width increases from middle to end in elliptical steel slit damper and it is observed from the past studies that variation of the width is not considered for calculating the plastic strength of the damper. It is also noticed that the existing formulas for predicting plastic strength of this kind of damper may not be accurate and further refinement is warranted. Study is then carried on elliptical steel slit damper made of mild steel and having different geometry to find out equivalency of it with oblong steel slit damper having similar plastic strength. A few three-dimensional finite element models of seismic moment connection system with steel slit damper are developed and validated against past experiments for carrying the present study considering both the material nonlinearity as well as geometric nonlinearity. The results of the parametric studies have been compared with energy quantities and presented graphically to better understand the effects of different parameters on the system. Based on the pattern of parametric study results, closed-form semi-empirical algebraic expression of damper plastic strength is developed for elliptical steel slit damper which shows very good agreement with finite element analysis as well as experiments. This developed expression can now be used for elliptical steel slit damper in replacement with any type of damper in the design of moment connection.

• 한국방사선학회논문지
• /
• 제12권1호
• /
• pp.65-70
• /
• 2018

CT 장치는 물체 내부의 단면 영상 획득이 가능하기 때문에 여러 분야에 광범위하게 사용되고 있다. 단면 영상을 획득하는 여러 단계의 에러 요인들로 인해 다양한 아티팩트가 유발되고 있다. 장치에 의해 발생하는 링 아티팩트를 조사하였다. $512{\times}512$ 크기의 수치 팬텀을 구현하고 대수적 재구성 기법으로 링 아티팩트의 특성을 연구하였다. 프로그램은 Visual C++로 작성하였으며 720개의 투영 및 1,280개의 검출기 픽셀을 갖는 상황에서 구현하였다. 링 아티팩트는 검출기 픽셀의 검출 효율이 서로 달라서 발생한다는 것을 확인하였다. Ring Value 값이 증가할수록 Ring Intensity의 값도 증가하였고, 영상의 원점에 가까울수록 링 아티팩트가 강하게 나타났다. 단면 영상에서 링 아티팩트가 발생하는 위치를 파악하고 역으로 검출기 픽셀의 위치를 추적해 검출효율을 보정함으로써 링 아티팩트를 제거할 수 있을 것이다.

• Nuclear Engineering and Technology
• /
• 제24권3호
• /
• pp.319-328
• /
• 1992

일차원 구에서 유한요소법의 Galerkin formulation이 일차형태의 단일 에너지 중성자 수송방정식의 적분법에 적용되었다. 구분적으로 1차 혹은 2차인 Lagrange 다항식들이 선형대수 방정식들의 집합을 만들기 위해 적분법에 있는 각의존 중성자속(angular flux)에 대하여 활용되었다. 수치해석이 균질구에서의 임계문제와 비균질구에서의 scalar flux 분포에 대해서 행해졌다. 공간과 각에 대하여 연속적인 유한요소를 사용한 균질구에서의 임계문제에 대한 유한요소법의 결과들은 이론적인 해들자 비교되었다. 비균질 문제에서는 각자 공간에 대하여 불연속 유한요소를 사용하여 구한 scalar flux 분포는 ANISN code에 의한 계산결과와 잘 일치하였다.

• 한국방사선학회논문지
• /
• 제11권7호
• /
• pp.679-685
• /
• 2017

환자의 병변 진단에 효과적인 CT 검사가 광범위하게 실시되고 있어, 방사선 피폭이 매우 크게 증가하였다. 환자의 피폭 선량을 줄이기 위해 다양한 방법이 강구되고 있고, 영상재구성 측면에서 반복 재구성 기법이 적용되고 있다. 반복 재구성 기법 중 대수적 재구성 기법의 정규화 인자에 대한 재구성된 단면 영상의 품질을 정규화 제곱평균제곱근 오차를 이용하여 조사하였다. 프로그램은 Visual C++로 작성하였으며 평행빔하에서 $512{\times}512$ 크기의 Shepp-Logan 두부 팬텀, 360장의 투영 영상, 1024개의 검출기 픽셀을 적용하였고, 전방투영과 역투영에 Joseph 방법을 사용하였다. 0.09-0.12의 정규화 인자에서 10회 반복으로 최소의 NRMS값 0.108을 얻었고 0.1% 및 0.2%의 잡음에 대해 8회 및 6회에서 최적의 영상을 보였다. 사용하는 팬텀에 따라 최적화된 값의 변동이 관찰되어 ART를 사용할 경우 정규화 인자에 대해서는 case-by-case로 최적의 값을 찾아야 한다는 것을 알 수 있다. 대수적 재구성 기법에서 최적의 정규화 인자를 발견함으로써 단면 영상을 획득하는데 걸리는 시간을 단축할 수 있을 것이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권4호
• /
• pp.412-421
• /
• 2000

수리나 과학 영역의 학습은 원리 이해와 응용을 위주로 함에도 불구하고 기존의 교육용 소프트웨어 제품들은 단순 주입식이나 단답식의 학습을 지원하는 것이 대부분이어서 높은 학습 성과를 기대하기는 어려운 실정이다. 인공 지능 연구에서 지식 표현 체계나 탐색, 추론 기법이 학습기 설계에 도입되어 증명기, 모의 실험기 유형의 학습기 연구에는 상당한 진전을 보아 왔으나 여전히 실용적 수준이라 할 수는 없고 특히 문제 해결을 지원하는 학습기는 설계 모형조차 제시되지 못하고 있다. 본 연구가 설계한 기하 문제 학습기는 학습과 병행하는 동적 추론을 구사한다. 실시간 문제 해결을 지원하기 위한 정보 구성요소로서 명제, 가설 및 연산자에 의해 문제 공간을 정의하고 이들의 생성과 검증을 추론의 주요 대상으로 하는 대화식 문제 학습의 메카니즘을 탐구하였다. 성취한 결과로서 기하 문제 해결에서 필수 불가결한 요소임에도 불구, 기존 시스템이 간과해 왔던 대수 처리를 위한 일련의 추론 전략을 연계적으로 구사함으로서 실용성있는 문제 학습기의 설계 모형을 얻었다. 제안 모형은 물리, 전자 회로 등 타 과학 영역의 문제 학습기 설계에도 적용될 수 있다.

• 한국학교수학회논문집
• /
• 제24권3호
• /
• pp.261-282
• /
• 2021

이 연구는 중학교 수학 영재학생의 수학적 정당화에 대한 의미 인식과 수학적 정당화의 특성을 파악하여 정당화 교육을 위한 시사점을 얻고자 한 것이다. 이를 위해 17명의 중학교 수학 영재학생을 대상으로 설문지와 검사지를 투입하여 분석한 결과, 영재학생들은 수학적 정당화에 대하여 입증, 체계화, 발견, 지적 도전과 같은 다양한 의미로 정당화를 인식하였고, 연역적 정당화의 선호도가 높았다. 실제 정당화 활동의 결과, 대수와 기하 문항 모두에서 연역적 정당화가 많았지만 대수 문항에서는 경험적 정당화도 많은 반면 기하 문항에서는 매우 낮음을 알 수 있었다. 연역적 정당화를 완성한 경우, 자신의 정당화에 만족함을 보였지만 수학적 문자와 기호를 사용하여 명제의 일반성을 연역적으로 정당화를 하지 못한 경우에는 불만족을 보였다. 연구 결과는 영재학생들이 경험적 추론의 유용성과 한계를 깨닫고 연역적 정당화를 할 수 있도록 하며 특히 대수적 번역 능력을 향상시킬 수 있는 정당화 교육이 필요함을 시사한다.

• Journal of applied mathematics & informatics
• /
• 제32권1_2호
• /
• pp.17-26
• /
• 2014

In this paper, we present an algorithm for computing the number of points on the Jacobian varieties of genus 3 hyperelliptic curves of type $y^2=x^7+ax$ over finite prime fields. The problem of determining the group order of the Jacobian varieties of algebraic curves defined over finite fields is important not only arithmetic geometry but also curve-based cryptosystems in order to find a secure curve. Based on this, we provide the explicit formula of the characteristic polynomial of the Frobenius endomorphism of the Jacobian variety of hyperelliptic curve $y^2=x^7+ax$ over a finite field $\mathbb{F}_p$ with $p{\equiv}1$ modulo 12. Moreover, we also introduce some implementation results by using our algorithm.