• 한국수학사학회지
• /
• 제17권4호
• /
• pp.101-122
• /
• 2004

수학 교육에서 수학을 어떻게 가르칠 것인가는 근본적인 문제의 하나이다. 이에 대해 본 논문에서는 수학사를 활용한 수학 교육을 주장한다. 그것은 수학 교육을 위해 수학의 이해가 필요하며, 또한 수학의 이해에는 수학사를 활용하는 것이 효과적이기 때문이다. 특히 여기서는 기하학에 초점을 두었다. 우리는 기하학의 기원에서 20세기 중반의 미분 기하학에 이르기까지 등장하는 중요한 기하학을 세 가지 기준, 즉 내ㆍ외적 배경, 특징(연구 방법, 대상), 현대 수학에의 영향에 따라 비교 연구하였다. 그 수학교육에의 응용으로 역사적 자료를 바탕으로 수학지도의 순서를 결정하는 문제에 대해 고려하였다.

• 한국수소및신에너지학회논문집
• /
• 제34권1호
• /
• pp.17-25
• /
• 2023

The purpose of this study was to propose a design that shows optimal performance by changing the geometry of the internal flow path of the receptacle in order to prevent the decrease in flow rate and differential pressure performance due to the application of the receptacle in the hydrogen charging system. To achieve this, 3D computational fluid dynamics simulation was performed for the receptacle, according to the geometry of the flow path inside the receptacle. The pressure results at the inlet and outlet were measured the same as both of N and H₂ in the experiment, and the flow rate of H₂ was 3.75 times higher than that of N₂. In addition, since the flow performance of the receptacle improved under conditions where the flow path was widened, it was confirmed that reducing the diameter of the poppet and the width of the guide are advantageous for improving performance.

• 제어로봇시스템학회논문지
• /
• 제5권4호
• /
• pp.481-488
• /
• 1999

A thermal model based on the chamber geometry of the industry-standard AST SHS200MA rapid thermal processing system has been developed for the study of thermal uniformity and process repeatability thermal model combines radiation energy transfer directly from the tungsten-halogen lamps and the steady-state thermal conducting equations. Because of the difficulties of solving partial differential equation, calculation of wafer temperature was performed by using finite-difference approximation. The proposed thermal model was verified via titanium silicidation experiments. As a result, we can conclude that the thermal model show good estimation of wafer surface temperature distribution.

• 충청수학회지
• /
• 제27권2호
• /
• pp.211-218
• /
• 2014

In 3-dimensional Euclidean space, the geometric figures of a regular curve are completely determined by the curvature function and the torsion function of the curve, and surfaces are the fundamental curved spaces for pioneering study in modern geometry as well as in classical differential geometry. In this paper, we define parametrizations for surface by using parametric functions whose images are in the normal plane of each point on a given curve, and then obtain some results relating the Gaussian curvature of the surface with curvature and torsion of the given curve. In particular, we find some conditions for the surface to have either nonpositive Gaussian curvature or nonnegative Gaussian curvature.

• International Journal of Aeronautical and Space Sciences
• /
• 제14권2호
• /
• pp.183-192
• /
• 2013

This paper presents formation reconfiguration using impulsive control input for spacecraft formation flying. Spacecraft in a formation should change the formation size and/or geometry according to the mission requirements and space environment. To modify the formation radius and geometry with respect to the leader spacecraft, the follower spacecraft generates additional control inputs; the two impulsive control inputs are general control type of the spacecraft system. For the impulsive control input, Lambert's problem is modified to construct the transfer orbit in relative motion, given two position vectors at the initial and final time. Moreover, the numerical simulation results show the transfer trajectories to resize the formation radius in the radial/along-track plane formation and in the along-track/cross-track plane formation. In addition, the maneuver characteristics are described by comparing the differential orbital elements between the reference orbit and transfer orbit in the radial/along-track plane formation and along-track/cross-track plane formation.

• 대한수학회보
• /
• 제53권4호
• /
• pp.1095-1103
• /
• 2016

B. Y. Chen introduced a series of curvature invariants, known as Chen invariants, and proved sharp estimates for these intrinsic invariants in terms of the main extrinsic invariant, the squared mean curvature, for submanifolds in Riemannian space forms. Special classes of submanifolds in Sasakian manifolds play an important role in contact geometry. F. Defever, I. Mihai and L. Verstraelen [8] established Chen first inequality for C-totally real submanifolds in Sasakian space forms. Also, the differential geometry of slant submanifolds has shown an increasing development since B. Y. Chen defined slant submanifolds in complex manifolds as a generalization of both holomorphic and totally real submanifolds. The slant submanifolds of an almost contact metric manifolds were defined and studied by A. Lotta, J. L. Cabrerizo et al. A Chen first inequality for slant submanifolds in Sasakian space forms was established by A. Carriazo [4]. In this article, we improve this Chen first inequality for special contact slant submanifolds in Sasakian space forms.

• 전력전자학회논문지
• /
• 제7권4호
• /
• pp.384-394
• /
• 2002

본 논문은 기존의 정전력 제어 대신에 용접품질을 향상시키기 위해 새로운 제어기법을 제안하였다. 제안된 방식을 구현하기 위해 미분기하학 이론을 근거로 한 비선형 피드백 선형화 기법을 이용하여 스폿용접 시스템을 선형시스템으로 한 후 진화전략을 이용하여 PI제어기의 최적 이득을 얻는다. 진화전략은 제어파라미터 최적화 문제를 풀기 위한 방법으로 자연진화의 원리를 모방한 알고리즘이다. 시뮬레이션과 실험결과는 진화전략에 의한 가변전력 제어의 성능이 기존의 제어방법보다 훨씬 더 우수하다는 것을 보여준다.

• ETRI Journal
• /
• 제37권3호
• /
• pp.617-625
• /
• 2015

In this paper, a steering control system for the path tracking of autonomous vehicles is described. The steering control system consists of a path tracker and primitive driver. The path tracker generates the desired steering angle by using the look-ahead distance, vehicle heading, and a lateral offset. A method for applying an autonomous vehicle to path tracking is an advanced pure pursuit method that can reduce cutting corners, which is a weakness of the pure pursuit method. The steering controller controls the steering actuator to follow the desired steering angle. A servo motor is installed to control the steering handle, and it can transmit the steering force using a belt and pulley. We designed a steering controller that is applied to a proportional integral differential controller. However, because of a dead band, the path tracking performance and stability of autonomous vehicles are reduced. To overcome the dead band, a dead band compensator was developed. As a result of the compensator, the path tracking performance and stability are improved.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2002년도 봄 학술발표회 논문집
• /
• pp.303-308
• /
• 2002

A governing differential equation (GDE) of PSC flexural member with constant eccentricity considering the long-term losses including concrete creep, shrinkage, and PS steel relaxation is derived based on the two approaches. The first approach utilizes the force and moment equilibrium equations derived based on the geometry of strains of the uniform and curvature strains while the second one utilizes the principle of minimum total potential energy formulation. The identity of the two GDE's is verified by comparing the coefficients consisting of the GDE's. The boundary conditions resulting from the functional analysis of the variational calculus are investigated. Rayleigh-Ritz method provides a way to get the explicit form of the continuous deflection function in which the total potential energy is minimized with respect to the unknown coefficients consisting of the trial functions. As a closure, the analytically calculated results are compared with the experiments and show good agreements.

• Steel and Composite Structures
• /
• 제2권3호
• /
• pp.161-170
• /
• 2002

The problem of the elastic buckling of a cylindrical liquid-storage tank subject to horizontal earthquake loading is considered. An equivalent static loading is used to represent the dynamic effect. A theoretical solution based on the nonlinear Fl$\ddot{u}$gge shell equations is developed, and numerical results are found using the new differential quadrature method. A second solution is obtained using the finite element package ADINA. A major motivation of the study was to show that the new method can serve to verify finite element solutions for cylindrical shell buckling problems. For this purpose the paper concludes with a comparison of buckling results for a number of cases covering a wide range in tank geometry.