• 지구물리와물리탐사
• /
• 제25권4호
• /
• pp.242-251
• /
• 2022

자동 미분은 컴퓨터를 이용한 미분 계산시 함수의 전방향 연산만 정의하면 연쇄법칙을 이용해 함수의 미분을 자동으로 계산해주는 기능이다. 최근 자동 미분을 지원하는 계산 라이브러리들의 발달에 따라 지구 물리 역산 문제에 자동 미분 기술을 도입하는 사례가 증가하고 있다. 본 연구에서는 탄성파 탐사 전파형 역산 목적함수의 그래디언트 계산시 자동 미분을 도입하였을 때의 장단점과 성능을 분석하였다. 목적함수의 그래디언트 계산은 연쇄법칙을 이용해 매개변수 미분, 파동장 미분과 목적함수 미분의 곱으로 나타낼 수 있다. 수치 예제를 통해 매개변수 미분과 목적함수 미분 계산은 자동 미분으로 수행하고 파동장 미분은 해석적 방법으로 수행함으로써 해석적 미분의 장점인 빠른 성능과 자동 미분의 장점인 복잡한 그래디언트 계산의 편리성을 함께 얻을 수 있음을 보였다.

• 주택과사람들
• /
• 통권222호
• /
• pp.66-69
• /
• 2008

경기 침체와 미분양 급증으로 유동성 위기에 처한 건설 업체들이 늘면서 미분양 아파트 '땡처리' 시장이 확대되고 있다. 지난해 10월부터 시장 회복을 위해 주택공사가 미분양 아파트를 매입 중이지만, 매입을 완료했거나 올해까지 매입할 미분양 분량은 총 5000가구(약 1조 원)에 달한다. 게다가 미분양 아파트 펀드를 준비 중인 부동산 자산 운용사에 매입 의뢰가 들어온 미분양 물량 규모만 해도 2조 원에 이른다. 결국 3조원대 상당의 아파트 땡처리 시장이 열린 셈이다.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2009년도 춘계학술대회 논문집
• /
• pp.852-855
• /
• 2009

고압 미분탄 공급 기술은 건식 석탄가스화기 시스템의 안정적인 연속운전을 위한 핵심이 되는 기술로서, 본 연구에서는 스크류피더 방식 및 기류수송 방식의 pilot급 고압 미분탄 공급장치를 이용한 미분탄 공급량 제어 기술 개발을 진행하였다. 그리고, 일반적으로 dense phase 형태로 다량의 미분탄을 공급하는 기류수송 방식 고압 미분탄 공급장치에서 가스화기로 공급되는 미분탄의 공급량을 감소시키기 위하여 다공 chamber를 통하여 가압 질소를 공급할 경우, 차압이 증가함에 따라 미분탄의 공급량이 증가하기는 하지만 lean 또는 medium phase 형태로 미분탄 공급량 제어가 가능함을 확인할 수 있었다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제6권
• /
• pp.383-407
• /
• 1997

가환다원환의 대수적 미분에 관한 성질들은 많은 연구의 대상이 되어 왔다. 본 논문은 가환 다원환에서 정의된 대수적 미분의 일반화로써 가환일 필요가 없는 일반다원환의 대수적 미분의 성질을 연구한 것이다. 비가환다원환의 미분정의를 바탕으로 하여 가환다원환에서 연구되어 온 보편적 미분가군의 성질을 일반다원환 의 미분가군에 적용하려고 노력하였다. 이 논문에서 사용한 정리의 증명과정이나 기본개념은 가환다원환의 미분개념에서 나타난 성질들을 바탕으로 하였다.

• 한국항공우주학회지
• /
• 제36권7호
• /
• pp.634-641
• /
• 2008

자동 미분은 기울기나 Jacobian과 같은 민감도를 자동으로 생성해주는 도구이다. 자동 미분은 수학적으로 정확한 민감도를 계산해준다. 본 논문에서는 자동 미분의 공학 계산에 대한 적용에 대해 살펴보았다. 자동 미분을 이용해 구조 해석 코드와 유동장 해석 코드의 미분 코드를 생성하였다. 본 논문은 자동 미분의 적용에 대해 기술하였으며 자동 미분의 정확성 검증을 위해 유한 차분과 비교하였다. 미분 코드의 결과는 유한 차분과 잘 일치하였으나 계산 시간이 증가하였다. 생성된 미분 코드의 추가적인 수정을 통해 계산의 단축이 가능함을 확인하였다.

• 대한수학회논문집
• /
• 제20권3호
• /
• pp.411-426
• /
• 2005

본 논문에서는 상미분방정식, 지연미분방정식, 중립형 지연미분방정식, 그리고 차분방정식 의 안정성에 관한 연구방법과 최근의 연구동향들을 간략하게 소개하였다.

• 주택과사람들
• /
• 통권210호
• /
• pp.20-23
• /
• 2007

미분양 아파트가 정부 통계9만 가구 이상이고, 시장 분위기는 20만 가구가 넘어선 가운데 정부는 미분양 아파트를 임대 주택으로 활용하는 방안을 발표했으나 시장은 냉담하기만 하다. 지방의 미분양 아파트는 적체된 지 오래고, 남양주 진접지구 등 수도권 지역도 미분양에서 더 이상 자유롭지 못하다. 각 지역별 미분양 현황을 살펴보고, 부동산 경기 활성화를 위한 대책에 대해 알아본다

• 한국학교수학회논문집
• /
• 제15권2호
• /
• pp.331-348
• /
• 2012

최근 미적분학에 관한 수학 교육연구가 점차 많아지고 있다. 많은 미적분 개념 중 미분은 학생들이 이해하기 어려운 개념으로 알려져 있다. 본 논문은 영어나 한국어로 출판된 연구들중 학생의 미분에 대한 이해를 다룬 연구들의 결과를 요약, 정리 하고 있다. 연구들은 학생들의 미분에 관한 이해는 학생들이 어떻게 미분에 관련된 다른 개념들, 즉 극한, 함수, 변화율, 접선, 그리고 여러 가지 미분을 표현하는 방법을 이해하는 가와 관련이 있음을 보여주고 있다. 또한 최근 연구들은 학생이 어떠한 환경에서 미분을 학습하였는지가 학생의 미분에 관한 이해와 밀접한 관련이 있음도 보여 주고 있다. 예를 들면, 미분의 개념은 다른 전공에서 다르게 이용 된다. 현존하는 연구에서 다루어지지 않은 주제로 미분계수와 도함수가 다른 언어에서 어떻게 다르게 표현하는 지와 학생들이 가지고 있는 미분의 개념의 연계성을 들 수 있으며, 이 주제에 관한 후행 연구는 이런 언어 차이와 학생들이 함수로서의 미분을 어떻게 이해하는 지에 관한 우리의 이해를 증진 시킬 수 있을 것이다.

• 한국소음진동공학회논문집
• /
• 제17권2호
• /
• pp.185-193
• /
• 2007

이 논문은 곡선부재의 구조해석에서 수치미분의 적용에 관한 연구이다. 구조물 선형식의 미분은 구조물의 거동해석에서 반드시 필요한 수학적 계산 중의 하나이다. 구조물의 선형이 곡선인 경우에 미분식의 산출은 많은 노력과 시간을 필요로 한다. 이 연구에서는 곡선부재의 구조해석에서 미분구적(DQ)을 이용한 수치미분의 적용성을 검증하기 위하여 아치의 자유진동 문제를 택하였다. 미분구적을 이용하여 아치 곡률항의 미분값을 계산하고 이를 대수적으로 구한 정학한 값과 비교하였다. 이 연구에서 얻어진 곡률항을 이용하여 최종적으로 산출한 아치의 고유진동수는 문헌해와 매우 우수하게 근접하였다. 이러한 결과로부터 구조해석에서 미분구적을 이용한 수치미분의 적용성을 입증할 수 있었다.

• 한국정보통신학회논문지
• /
• 제25권4호
• /
• pp.501-507
• /
• 2021

신경망은 미분가능한 활성화 함수를 사용하는 경우에는 입력변수에 대하여 미분가능하다. 본 연구에서는 신경망의 근사 능력을 향상시키기 위하여 신경망의 그래디언트와 헤시안이 블랙-숄즈 미분방정식을 만족하도록 한다. 본 논문은 확률 미분방정식과 블랙-숄즈 편미분 방정식이 옵션 가격과 기초자산의 미분관계를 표현하는 옵션 가격결정에 제안한 방법을 사용한다. 이는 옵션 가격의 일차와 이차미분은 금융공학에서 중요한 역할을 하므로 미분 값을 쉽게 얻을 수 있는 제안한 방법을 적용할 수 있기 때문이다. 제안한 신경망은 (1) 확률 미분방정식이 생성하는 옵션가격의 샘플 경로와 (2) 각 시간과 기초자산 가격에서 블랙-숄즈 방정식을 만족하도록 학습한다. 실험을 통하여 제안한 방법이 옵션가격과 일차와 이차 미분 값을 정확히 예측함을 보인다.