• 영재교육연구
• /
• 제21권2호
• /
• pp.269-286
• /
• 2011

유추는 수학을 탐구하는 중요한 방법 중의 하나로 이전 경험 또는 지식에 대한 반성적 사고를 통해 새로운 지식을 구성하는 도구이며, 낯설고 새로운 영역을 유사한 친숙한 영역을 바탕으로 추론해서 이해하는 과정이다. 본 연구는 수학영재학생들이 유추를 실제 수학문제에 적용해 보는 활동으로 이차곡선(포물선, 타원, 쌍곡선)에서 유추를 통해 이차곡면을 탐구해 보고, 그 과정에서 나타나는 어려움과 이를 극복하는데 Cabri 3D가 미치는 영향을 살펴보고자 한다.

• East Asian mathematical journal
• /
• 제37권1호
• /
• pp.87-95
• /
• 2021

Let K be an imaginary quadratic field with ��K its ring of integers. For a positive integer N, let K(N) be the ray class field of K modulo N��K, and let ��N be the field of meromorphic modular functions of level N whose Fourier coefficients lie in the Nth cyclotomic field. For each h ∈ ��N, we construct a ray class invariant as its special value in terms of the extended form class group, and show that the invariant satisfies the natural transformation formula via the Artin map in the sense of Siegel and Stark. Finally, we establish an isomorphism between the extended form class group and Gal(K(N)/K) without any restriction on K.

• Structural Engineering and Mechanics
• /
• 제61권6호
• /
• pp.765-773
• /
• 2017

The quadratic B-spline finite element method yields mass and stiffness matrices which are half the size of matrices obtained by the conventional finite element method. We solve the free vibration problem of a rotating Rayleigh beam using the quadratic B-spline finite element method. Rayleigh beam theory includes the rotary inertia effects in addition to the Euler-Bernoulli theory assumptions and presents a good mathematical model for rotating beams. Galerkin's approach is used to obtain the weak form which yields a system of symmetric matrices. Results obtained for the natural frequencies at different rotating speeds show an accurate match with the published results. A comparison with Euler-Bernoulli beam is done to decipher the variations in higher modes of the Rayleigh beam due to the slenderness ratio. The results are obtained for different values of non-uniform parameter ($\bar{n}$).

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제22권1호
• /
• pp.25-34
• /
• 2015

In this paper we characterize the isogonal and isotomic conjugates of conic. Every conic can be expressed by a quadratic rational B$\acute{e}$zier curve having control polygon $b_0b_1b_2$ with weight w > 0. We show that the isotomic conjugate of parabola and hyperbola with respect to ${\Delta}b_0b_1b_2$ is ellipse, and that the isotomic conjugate of ellipse with the weight $w={\frac{1}{2}}$ is identical. We also find all cases of the isogonal conjugate of conic with respect to ${\Delta}b_0b_1b_2$. Our characterizations are derived easily due to the expression of conic by the quadratic rational B$\acute{e}$ezier curve in standard form.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제61권3호
• /
• pp.441-456
• /
• 2022

본 연구의 목적은 학생들의 단위 조정과 학교 수학과의 관계를 이해하기 위한 목적으로 수행되고 있는 프로젝트의 일부 결과를 보고하는 것이다. 구체적으로 단위 조정 단계와 그에 따른 수준이 다른 학생들이 y = ax² 형태인 이차함수 문제를 해결하는데 있어 비례 지식이 어떻게 사용되고, 단위 조정 수준별 가용한 지식은 무엇인지 세밀하게 분석하는 것이다. 이를 위해 자연수 맥락에서는 3수준 단위를 주어진 자원으로 사용하여 동화할 수 있는 단위 조정 3단계 학생이지만, 복잡한 분수 곱셈 과제에서는 서로 다른 단위 조정 단계를 보여준 중학교 1학년 세 학생에 초점을 두었다. 나아가 비례 문제 해결 과정과 비례 관계가 포함된 이차함수 관련 문제에 대한 임상 면담 자료를 분석하였다. 분석 결과, 단위 조정 단계에 따라 비례 문제를 해결하는 과정에서 학생들의 지식은 다르게 나타났으며, 이러한 차이는 이차함수를 이해하고 식으로 표현하는 과정에서 결과적 차이를 보였다. 이러한 분석 결과를 통해 결론에서는 단위 조정 이론, 비례 지식, 그리고 이차함수 지식과의 관련성에 대해 논의 후 시사점을 제시하였다.

• 응용통계연구
• /
• 제26권1호
• /
• pp.141-149
• /
• 2013

로지스틱회귀모형에서 두 설명변수의 조건부 분포가 모두 이변량 정규분포라고 할 수 있다면 설명변수들의 함수로 표현되는 로그-밀도비를 통해 모형에 포함시켜야하는 항을 알 수 있다. 두개의 이변량 정규분포에서 분산-공분산행렬이 같은 경우에는 이차항과 교차항 없이 일차항만으로 충분하다. 상관계수가 모두 0이면 교차항은 설명변수의 분산과 관계없이 필요하지 않다. 또한 로지스틱회귀모형에서 로그-밀도비를 통해 이차항과 교차항이 필요하지 않게 되는 다른 조건들도 알아본다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.1901-1904
• /
• 2003

MPC or model predictive control is representative of control methods which are able to handle physical constraints. Closed-loop stability can therefore be ensured only locally in the presence of constraints of this type. However, if the system is neutrally stable, and if the constraints are imposed only on the input, global aymptotic stability can be obtained; until recently, use of infinite horizons was thought to be inevitable in this case. A globally stabilizing finite-horizon MPC has lately been suggested for neutrally stable continuous-time systems using a non-quadratic terminal cost which consists of cubic as well as quadratic functions of the state. The idea originates from the so-called small gain control, where the global stability is proven using a non-quadratic Lyapunov function. The newly developed finite-horizon MPC employs the same form of Lyapunov function as the terminal cost, thereby leading to global asymptotic stability. A discrete-time version of this finite-horizon MPC is presented here. The proposed MPC algorithm is also coded using an SQP (Sequential Quadratic Programming) algorithm, and simulation results are given to show the effectiveness of the method.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2003년도 춘계학술대회 논문집
• /
• pp.37-42
• /
• 2003

Fundamental Study for optimizing ship hull form using SQP(sequential quadratic programming) method in a resistance point of view is presented. The Wigley hull is used as an initial hull and numerical calculations are carried out according to various froude numbers. To obtain the ship resistance the wave resistance is evaluated by a Rankine source panel method with nonlinear free surface conditions and the ITTC 1957 friction line is used to predict the frictional resistance coefficient. The geometry of a hull surface is represented and modified by B-spline surface patch. The displacement and the waterplane transverse 2nd moment of inertia of the hull is fixed during the optimization process. And the shp design program called EzHULL is used to draw the lines of the optimized hull form to perform the model test.

• 전기학회논문지
• /
• 제67권5호
• /
• pp.651-655
• /
• 2018

In this paper, based on an augmented Lyapunov-Krasovskii functional(LKF) with time-delay product quadratic terms, the stability result in the form of linear matrix inequality(LMI) is proposed. In getting an LMI result, the free matrix based integral inequality is used. Finally, two well-known numerical examples are given to demonstrate the usefulness of the proposed result.

• Journal of the Korean Statistical Society
• /
• 제22권1호
• /
• pp.55-69
• /
• 1993

Consider the problem of estimating an arbitrary continuous vector function under a weighted quadratic loss in the multiparameter exponential family with the density of the natural form. We first provide, using Blyth's (1951) method, a set of sufficient conditions for the admisibility of (possibly generalized Bayes) estimators and then treat some examples for normal, Poisson, and gamma distributions as applications of the main result.