• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.2
• /
• pp.145-154
• /
• 1999

본 논문에서는 주어진 문제의 루프 알고리즘으로부터 시스톨릭 어레이 구현이 용이한 정규 순환 방정식으로의 자동적 유도를 위한 대수적인 방법과 조건을 제시하였다. 이를 위하여 계산점 집합과 순차 정렬 벡터를 구하고, 행렬의 커널을 이용하여 자료 흐름 벡터를 찾았으며, 정규 파이프라이닝 가능성 조건을 제시하였다 그리고 각 계산점에 대한 배열 원소의 초기 입력 위치를 구하였다. 본 논문에서 제시된 방법을 사용하면 주어진 루프 알고리즘을 정규 순환방정식으로 자동적으로 유도 할 수 있으며, 주어진 알고리즘이 정규 순환 방정식으로 유도될 수 있는지를 검사할 수 있다.

• Communications of Mathematical Education
• /
• v.22 no.2
• /
• pp.137-164
• /
• 2008

Given the importance of early experience in algebraic thinking, we designed six consecutive lessons in which $4^{th}$ graders were encouraged to recognize patterns in the process of finding the relationships between two quantities and to represent a given problem with various mathematical models. The results showed that students were able to recognize patterns through concrete activities with manipulative materials and employ various mathematical models to represent a given problem situation. While students were able to represent a problem situation with algebraic expressions, they had difficulties in using the equal sign and letters for the unknown value while they attempted to generalize a pattern. This paper concludes with some implications on how to connect algebraic thinking with students' arithmetic or informal thinking in a meaningful way, and how to approach algebra at the elementary school level.

• Journal of the Korean Society of Groundwater Environment
• /
• v.2 no.1
• /
• pp.9-13
• /
• 1995

In the stream-aquifer setting, this study evaluated the effects of spatial variability in nonpoint sources and hydraulic conductivity on groundwater outflow concentration history. Monte Carlo experiments based on the advection-dispersion equation were used to determine the statistical moments of groundwater outflow concentration history. The comparison between a spatially distributed model and spatially integrated model (SID) was made in order to examine the possibility of applying SID to the problems of nonpoint source groundwater pollution.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.743-748
• /
• 2005

김남원 등(2004a, b)에 의해 개발된 SWAT-MODFLOW 모형은 SWAT 모형과 MODFLOW 모형의 Recharge Package와 River Package를 직렬로 연결한 모형이다. 그러나 MODFLOW 모형에는 지하수 흐름방정식의 해석에 관련된 Package를 제외하더라도 Well, Drain, Evapotranspiration 등의 Package가 더 있어 대수층으로부터의 우물의 함양과 배출, 배수관을 통한 지하수의 배출, 지하수의 증발산으로 인한 손실 등을 수행할 수 있다. MODFLOW 모형의 Well Package는 SWAT 모형에서 대수층의 물이동, Drain Package는 SWAT 모형의 토관배수, Evapotranspiration Package는 SWAT 모형의 얕은 대수층에서의 증발산과 밀접한 관계가 있다. 본 연구에서는 이들 세 개의 Package를 SWAT 모형과 완전 연동시킴으로써 사용자가 좀 더 다양한 조건에 대하여 SWAT-MODFLOW 결합모형을 적용할 수 있도록 기능을 향상시켰다.

• Journal of Korean Society of Forest Science
• /
• v.90 no.2
• /
• pp.210-216
• /
• 2001

Pinus densiflora S. et Z. has widely been distributed, and is one of the important main foret resources in Korea. Diameter and height growth patterns were estimated using non-linear algebraic difference equation, which requires two-measurement times $T_1$ and $T_2$. To maximize data use, all possible measurement interval data were derived using Lag and Put statements in the SAS. In results, of the algebraic difference equations applied, the Schumacher and the Gompertz polymorphic equations for diameter and height, respectively showed the higher precision of the fitting. In order to allow more precise estimation of growth than those of the basic Schumacher and the Gompertz, further refinement that combine biological realism as input into the equation would be necessary.

• Journal for History of Mathematics
• /
• v.19 no.4
• /
• pp.81-96
• /
• 2006

This paper aims to review Leibniz's analytic ideas in his philosophy, logics, and mathematics. History of analysis in mathematics ascend its origin to Greek period. Analysis was used to prove geometrical theorems since Pythagoras. Pappus took foundation in analysis more systematically. Descartes tried to find the value of analysis as a heuristics and found analytic geometry. And Descartes and Leibniz thought that analysis was played most important role in investigating studies and inventing new truths including mathematics. Among these discussions about analysis, this paper investigate Leibniz's analysis focusing to his ideas over the whole of his studies.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.1
• /
• pp.122-128
• /
• 1989

In this paper we propose a new method for solving a set of nonlinear algebraic equations encountered in the DC and transient analyses of electronic circuits. This method will be called Quadratic Newton-Raphson Method (QNRM), since it is based on the Newton-Raphson Method (NRM) but effectively takes into accoujnt the second order derivative terms in the Taylor series expansion of the nonlinear algebraic equations. The second order terms are approximated by linear terms using a carefully estimated solution at each iteration. Preliminary simulation results show that the QNRM saves the overall computational time significantly in the DC and transient analysis, compared with the conventional NRM.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2010.08a
• /
• pp.12-12
• /
• 2010

첨단 공정이 필요한 반도체와 LCD, PDP, LED 등의 디스플레이 및 IT 부품을 제조하는데 필요한 장비의 고성능화와 작업환경의 고청정화에 따른 초고진공펌프의 수요 확대와 앞으로 전개될 한-미 FTA에 따른 시장 확대로 인해 크라이오펌프의 국산화가 시급한 실정이다. 고성능 크라이오펌프를 만들기 위해서는 냉각판을 극저온으로 냉각하기 위한 극저온 냉동기 개발도 중요하지만 냉각판(cryoarray)에 최대한 많은 분자를 포획시키는 것 또한 최우선적으로 고려되어야 할 사항 중 하나이다. 이에 본 논문은 크라이오펌프용 냉각판의 분자포획능력에 대하여 연구하였다. 해석에 이용한 냉각판은 현재 상용화된 모델들 중 원형 중앙판에 $45^{\circ}$ 하향 skirt가 달린 형태이며 8장의 냉각판이 일정한 간격을 두고 아래쪽으로 적층되어 있다. 냉각판의 분자포획능력의 해석은 형상계 수법(view factor method)을 이용해 수행하였다. 형상계수법은 크라이오펌프를 n개의 미소면적으로 구성된 밀폐된 공간으로 가정하고 각 미소면적요소의 온도와 흡착계수, 표면조건 그리고 분자유속이 일정하다는 조건을 이용해 분자유속에 관해 n개의 대수연립방정식을 얻고 이 대수연립방정식을 풀어 냉각판의 분자포획능력을 구한다. 해석에 이용한 냉각판의 기체분자포획능력이 구속된 형상에서 얼마나 우수한 가를 알아보기 위해 중앙판의 직경, 입구와 냉각판 사이의 거리, 그리고 각 냉각판 사이의 거리를 변화시켜가며 해석을 수행하고 그 결과를 비교, 분석하였다.

• Communications of the Korean Mathematical Society
• /
• v.15 no.3
• /
• pp.391-434
• /
• 2000

심플렉틱 구조는 국소적으로는 모두 같기 때문에 심플렉틱 다양체 연구는 대역적으로 연구해야한다. 그로모브가 복소해석학적 곡선을 원소를 하는 모률라이 공간의 연구가 심플렉틱 다양체를 연구하는 물고를 텃다. 특이점이 없는 복소곡선의 개수를 세는 그로모브 불변량은 도넬슨의 비선형 게이지 이론의 간략화라 할 수 있는 아벨리안게이지 이론에서 사이버그-위튼 불변량과 같음을 타우브스가 발견하였다. 또한 사이버그-위튼 불변량은 심플렉틱 다양체의 불변량으로 심플렉틱 구조연구에 큰 이바지하고 있다. 그로모브의 모듈라이 공간의 컴펙트하는 과정에서 자연스럽게 마크점과 특이점을 갖는 곡선의 그로모브-위튼 모듈라이 공간이 켐펙트가 되고 여기소 그로모브-위튼 불변량이 얻어진다. 이 그로모브-위튼 불변량은 대수기하와 이론 물리학의 끈이론에서 찾는 대수곡선의 개수를 나타내고, 코호몰로지의 컵곱의 일반화라 할 수 있는 퀸텀곱을 유도하고, 그로모브-위튼 포텐셜함수의 계수를 결정한다. 퀸텀곱의 결합법칙은 포텐셜함수의 WDVV-방정식과 동치를 나타나며 이는 프로베니우스 구조가 평탄함을 나타낸다. 그로모브-위튼 불변량은 앞으로 활발히 연구되고 수학에 광범하게 이바지 할 것이다.

• Proceedings of the Korean Society of Tribologists and Lubrication Engineers Conference
• /
• 1992.11a
• /
• pp.57-62
• /
• 1992

탄성 유체 윤활은 윤활 표면의 탄성변형이 중요하게 다뤄지는 윤활의 형태로, 주로 로울러 베어링이나 기어와 같이 선접촉 집중하중을 받는 기계요소와 관련이 많다고 할 수 있다. 역사적으로 볼때 탄성 유체 윤활은 20 세기에 들어서 윤활 분야에서 획기적인 발전을 해온 것 중의 하나라고 볼 수 있으며, 윤활상태의 폭넓은 해석 뿐만아니라 전에는 고려하지 못했던 큰하중을 받는 기계요소들에 대한 윤활상태를 규명하는데 지대한 역할을 할 수 있음을 시사하고 있다. 한편 오래전 부터 실험적으로 탄성유체윤활을 해석함에 있어서 우선 고전적인 Reynolds 윤활 방정식에 윤활제의 유성특성인 고압하에서의 점성의 압력 의존성이 대단히 큰 피에조 점성효과를 고려하지 않으면 안된다. 나아가 등점도 조건하에서 재료의 탄성 변형을 함께 고려하여 연립 방정식의 형태로 구성해서 피에조 효과에서 발생하는 강한 비선형성을 갖는 대수 방정식의 해를 구하는 방안을 강구해야 한다.