• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1995.10b
• /
• pp.285-292
• /
• 1995

최근 규칙베이스 추론과 사례베이스 추론의 통합화에 의한 추론이 다양하게 시도되 고 있다. 본 논문에서는 규칙과 사례를 동일한 형태로 표현하고, 규칙베이스와 사례베이스를 통합한 새로운 통합 추론 방법을 제안한다. 지식은 논리의 기하학적 모델을 이용하여 정보 를 논리적으로 해석하며, 동일한 형태로 표현된 규칙과 사례를 Boole 함수의 미분 및 전개 방법을 이용하여 추론하는 방법을 제안하고 응용예를 통하여 확인하다.

• The Journal of Korean Association of Computer Education
• /
• v.11 no.4
• /
• pp.85-93
• /
• 2008

This paper proposes a method for generating low-level geometric models with retaining salient features during decimation. Our method employs feature extraction technique for extracting feature lines defined via curvature derivatives on the model (we divide features into ridges and valleys). We add the extraction method to simplification technique (Feature Quadric Error Metric) for making coarse model with features. This paper clearly shows that experimental results have better quality and smaller geometric error than previous methods.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.26 no.1
• /
• pp.29-38
• /
• 2013

This paper deals with geometrical non-linear analyses of the tapered cantilever column subjected to the sub-tangential follower force at the free end. Cross-sections of the column whose flexural rigidities are functionally varied with the axial coordinate. The differential equations governing the elastica of such column are derived on the basis of the large deformation theory. These differential equations have three unknown parameters of the vertical and horizontal deflections and rotation at the free end. These differential equations are numerically solved by the iteration technique for obtaining three unknowns and elastica of the deformed column. For validating theories developed herein, laboratory scaled experiments are conducted.

• Journal for History of Mathematics
• /
• v.21 no.2
• /
• pp.81-90
• /
• 2008

It has been noticed the greater importance of mathematical education, particularly of multi-variable calculus in the undergraduate level with remarkable progress of all sorts of sciences requiring mathematical analysis. However, there was lack of variety of introducing the definition of differentiation of multi-variable functions - in fact, all of them basically rely on the chain rules. Here we will introduce a way of defining the geometrical differentiation of the multi-variable functions based upon our teaching experience. One of its merits is that it provides the geometric explanation of the differentiation of the multi-variable functions, so that it conveys the meaning of the differentiation better compared with the known methods.

• Journal of Digital Contents Society
• /
• v.5 no.4
• /
• pp.289-294
• /
• 2004

For the purpose of image analysis, we usually take the application method relying on the various mathematical theories. On the respect of image as two variable function one may uses the gradient vector or several type of energy functions induced by the conventional (partial) derivative. We also have used the tangent plane or curvature vector from the concept of differential geometry {**]. However, these mathematical tools my assume that the given function should be sufficiently smoothing enough to depict every local variation continuously. But the real application of these mathematical methods to the natural images or phenomena may occur the ill-posed problem. In this paper, we have defined the weak derivative as a loose form of the derivative so that it my applied to the irregular case with less ill-posed problem.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.33 no.1
• /
• pp.13-22
• /
• 2013

This paper deals with a novel method for numerical analyses of the tapered geometrical non-linear beam with three unknown parameters, subjected a floating point load. The beams with hinged-movable end constraint are chosen as the objective beam. Cross sections of the beam whose flexural rigidities are functionally varied with the axial coordinate. The first order simultaneous differential equations governing the elastica of such beam are derived on the basis of the Bernoulli-Euler beam theory. A novel numerical method for solving these equations is developed by using the iteration technique. The processes of the solution method are extensively discussed through a typical numerical example. For validating theories developed herein, laboratory scaled experiments are conducted.

• Journal for History of Mathematics
• /
• v.18 no.2
• /
• pp.31-42
• /
• 2005

Renaissance is revival of the ancient Greek and Roman cultures. So, in Renaissance period, the artists began to study Euclidean geometry and then their mind was a spirit of experience and observation. These spirits is namely modernism. In other words, Renaissance was a dawn of modern times. In this paper, we notice modern spirits and ones social backgrounds. Differential and integral calculus was created by these modern spirits. And in art field, 'painter of light', 'artist of moment' appeared. Because in the 17th and 18th centuries, the intelligentsia researched for motions, speeds and lights.

• Proceedings of the KIEE Conference
• /
• 2002.11d
• /
• pp.103-105
• /
• 2002

전기-기계 결합시스템에서의 동특성을 정확히 해석하기 위해서는 해석모델의 전기회로 방정식과 운동방정식이 함께 고려되어야 한다. 이때 시스템의 다양한 입력과 기하학적인 구조 등에 대한 등가회로 상수는 시스템의 전반적인 특성에 매우 민감하게 작용하므로 중요하게 고려 되어야한다. 본 논문에서는 전자기시스템의 회로상수를 미리 계산한 다음 이를 기계 역학시스템에 적용하여 다양한 전기적 입력과 외부 부하특성에 대하여 어떻게 동작하는지를 알아보았다. 전자기시스템의 회로상수 추출을 위해 전자장해석은 유한요소법을 이용하였으며 전기회로 방정식과 운동방정식이 함께 고려된 상태 미분방정식은 4차 Runge-Kutta 미분방정식 해법을 이용하여 운동특성을 해석하였다. 계산된 결과는 수학적으로 검증된 미분방정식과 비교하여 검증하였다.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.23-35
• /
• 2011

The sphere theorem is one of the main streams in modern Riemannian geometry. In this article, we survey developments of pinching theorems from the classical one to the recent differentiable pinching theorem. Also we include sphere theorems of metric invariants such as diameter and radius with historical view point.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2022.05a
• /
• pp.665-666
• /
• 2022

Differential evolution is an efficient algorithm for continuous optimization problems. However, applying differential evolution to solve large-scale optimization problems quickly degrades performance and exponentially increases runtime. To overcome this problem, a new cooperative coevolution differential evolution based on Spark (referred to as SparkDECC) is proposed. The divide-and-conquer strategy is used in SparkDECC.