• 한국정보과학회논문지:시스템및이론
• /
• 제26권2호
• /
• pp.145-154
• /
• 1999

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

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제22권2호
• /
• pp.137-164
• /
• 2008

대수 교육은 전통적으로 중등 교육과정 중심의 기호의 조작 및 방정식의 풀이에 초점이 맞추어져 왔다. 그러나 초등 교육과정 전반에 걸친 수에 관한 광범위한 경험은 대수에서 강조되는 기호 및 구조에 기초가 될 수 있다. 본 연구는 초등학교 4학년을 대상으로 실시한 수업 사례를 바탕으로 학생들이 실제로 대수적 사고를 어떻게 구성해나가는지를 면밀하게 탐색하였다. 분석 결과 학생들은 구체물의 조작이나 그림그리기 등의 활동을 통해 규칙성을 인식하기 시작했고, 주어진 문제 상황을 표현하기 위해 다양한 산술적이고 비형식적인 전략을 사용하였으며, 외형이 다른 두 식의 동치관계를 식의 변형과정이 아닌 주어진 문제 상황과의 관계를 이용하여 이해하는 특징을 보였다. 또한, 문제 상황을 대수식으로 표현하는 과정에서 몇 가지 오류를 범했다. 본 연구는 구체적인 수업 사례를 바탕으로 초등학생들의 대수적 사고를 산술적 사고 및 비형식적 사고와 의미 있게 연결하는 대수 지도 방안에 대한 시사점을 제공한다.

• 대한지하수환경학회지
• /
• 제2권1호
• /
• pp.9-13
• /
• 1995

대수층과 하천이 상호 연결된 시스템에서 분산오염원이 대수층에 유입될 때, 이송·분산 방정식의 Monte Carlo 수치실험을 이용하여 수리전도도 및 분산오염원 농도의 공간변화가 지하수유출 농도의 시간 변화에 미치는 영향을 평가하였다. 그리고 공간 분포모형과 공간 적분모형의 비교·분석을 통하여, 모형구 조가 간단한 공간 적분모형의 분산오염원 문제에 대한 적용 가능성을 검토하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2005년도 학술발표회 논문집
• /
• 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 결합모형을 적용할 수 있도록 기능을 향상시켰다.

• 한국산림과학회지
• /
• 제90권2호
• /
• pp.210-216
• /
• 2001

우리나라에 전국적으로 분포하고 중요한 산림자원인 소나무(Pinus densiflora S. et Z.)의 직경 및 수고 생장함수를 유도하였다. 모형 유도방법은 두 측정간격 $T_1$과 $T_2$를 필요로 하는 대수 차분 방정식을 이용하였고, 데이터 이용의 극대화를 위하여 SAS에서 Lag와 Put 문장을 사용한 프로그램을 이용하여 모든 가능한 생장 측정 기간을 포함하는 데이터를 사용하였다. 적용된 동형 및 다형 차분 방정식 중 Schumacher 다형 방정식이 직경 생장을 추정하는데 적합한 것으로 나타났고, 수고 생장 추정은 Gompertz 다형식이 적합한 것으로 나타났다. 보다 정밀한 추정을 위해서는 이들 식에 생물학적인 변수들을 동반한 연구가 필요할 것으로 판단된다.

• 한국수학사학회지
• /
• 제19권4호
• /
• pp.81-96
• /
• 2006

수학에서 분석(analysis)의 역사는 고대 그리스에서부터 시작되었다. 그리스의 기하적 분석법은 16세기 비에트$(Vi{\`{e}}te)$와 데카르트(Descartes) 이후 방정식을 이용한 문제해결(대수적 분석법)로 확장되었으며, 그 결과 대수는 분석을 위한 기술(art for analysis)로 대변되었다. 그리고 뉴헌(Newton)과 라이프니츠(Leibniz)에 의해 미적 분학이 탄생되면서 분석은 대수에서 한 걸음 더 나아가 오늘날 수학의 한 분야인 해석학으로 발전되었다. 그 동안 수학교육학 연구에서는 분석과 관련된 논의가 파푸스(Pappus)와 데카르트를 중심으로 다루어져 왔으나, 지금까지 라이프니츠의 역할과 그에 대한 연구는 거의 다루어지지 않았다. 본 연구는 라이프니츠의 철학 및 논리학을 바탕으로 그 가운데 분석과 관련된 그의 아이디어를 살펴보고, 이를 통해 그가 생각한 수학에서의 분석의 역할에 대해 논의하였다.

• 대한전자공학회논문지
• /
• 제26권1호
• /
• pp.122-128
• /
• 1989

본 논문에서는 회로해석 중에서 DC및 과도(transient)해석에 필요한 비선형 대수 방정식을 풀기 위한 새로운 방법으로서 Quadratic Newton Raphson Method(QNRM)을 제안한다. QNRM은 Newtok-Raphson method(NRM)에 기본을 두고 있지만, 비선형 대수 방정식의 Taylor 급수 전개에서 2차 미분항을 포함한다. 각 반복 과정에서 미지수에 관한 2차식이 되는데 해를 예측함으로서 선형화 할 수 있다. QNRM의 수렴속도를 올리기 위해서는 이 해의 정확한 예측이 매우 중요하명 그 한 방법을 제시하였다. QNRM을 DC및 과도해석에 적용한 결과 NRM을 사용한 것보다 계산시간 및 반복횟우에 있어서 25% 이상 감소됨을 보여주었다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2010년도 제39회 하계학술대회 초록집
• /
• pp.12-12
• /
• 2010

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

• 대한수학회논문집
• /
• 제15권3호
• /
• pp.391-434
• /
• 2000

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

• 한국윤활학회:학술대회논문집
• /
• 한국윤활학회 1992년도 제16회 학술강연회초록집
• /
• pp.57-62
• /
• 1992

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