과제 상세정보
목록정확한 실수 연산에서의 편미분방정식
작성자
관리자
조회수
146
등록일
2024-05-22
사업 정보
| 내역사업 | 해외우수과학자유치사업(BP)유형2 |
|---|
과제 기본정보
| 과제명 | 정확한 실수 연산에서의 편미분방정식 | ||||
|---|---|---|---|---|---|
| 과제고유번호 | 1711147571 | ||||
| 부처명 | 과학기술정보통신부 | ||||
| 시행계획 내 사업명 | |||||
| 시행계획 내 사업유형 | 예산출처지역 | 대전광역시 | 사업수행지역 | 대전광역시 | |
| 계속/신규 과제구분 | 신규과제 | ||||
| 과제수행연도 | 2021 | 총연구기간 | 2019-09-01 ~ 2021-12-31 | 당해연도 연구기간 | 2021-01-01 ~ 2021-12-31 |
요약 정보
| 연구목표 | 자연과학에서 공학에 이르기까지, 수많은 중요한 현상들은 미분방정식으로 설명 가능하다. 그리고 이러한 방정식들은 정확히 혹은 근사적으로 풀어야 한다. 하지만 현재의 미분방정식을 푸는 방법은 굉장히 제한적인데, 이는 여전히 미분방정식을 푸는 알고리즘을 설계하고 분석하기 위한 이론적인 틀과 표준적인 방법이 없기 때문이다. 좀 더 구체적으로, 다음과 같은 문제들을... | ||
|---|---|---|---|
| 연구내용 | 특히, 우리는 목표들을 달성하기 위해 우리는 다음의 세 단계적인 목표를 달성하려 한다:1. 편미분방정식을 계산해석학과 고전적인 계산복잡도 이론에 의한 엄밀한 틀 위에서 계산복잡도에 따라 분류할 것이다.2. 이러한 근본적인 결과를 기반으로 수리물리학의 중요한 편미분방정식들을 포함하는 넓은 범위의 편미분방정식들을 푸는 새로운 정확하고 효율적인 알고리즘들을 개발... | ||
| 기대효과 | 1. 넓은 범위의 편미분방정식들을 푸는 정확한 실수 연산 기반의 엄밀한 알고리즘들. 예를 들어 다양한 정의역의 타당한 경계값 문제 또는 초기값 문제 등이 있다.2. 이러한 알고리즘들과 그에 대응되는 편미분방정식들의 계산복잡도 한계 (편미분방정식의 계산복잡도는 그것의 “고유한 특성”으로 해석 가능하다). 또한 이를 통한 미분방정식 문제들의 해를 찾고 분석하기... | ||
| 키워드 | 편미분방정식,계산복잡도,정확한 실수 연산 | ||
위탁/공동여부 정보
| 단독연구 | 기업 | 대학 | 국공립(연)/출연(연) | 외국연구기관 | 기타 |
|---|---|---|---|---|---|
|
기술 정보
| 연구개발단계 | 기초연구 | 산업기술분류 | |
|---|---|---|---|
| 미래유망신기술(6T) | IT(정보기술) | 기술수명주기 | |
| 연구수행주체 | 학 | 과학기술표준분류 | 자연 > 수학 > 해석학 > 편미분방정식 |
| 주력산업분류 | 적용분야 | 지식의 진보(비목적연구) | |
| 중점과학기술분류 | 과제유형 |
과제수행기관(업) 정보
| 과제수행기관(업) 정보 | 과제수행기관(업)명 | 한국과학기술원 | 사업자등록번호 | |
|---|---|---|---|---|
| 연구책임자 | 소속기관명 | 한국과학기술원 | 사업자등록번호 | |
| 최종학위 | 박사 | 최종학력전공 | 공학 |
사업비
| 국비 | 83,300,000 | 지방비(현금+현물) | 0 |
|---|---|---|---|
| 비고 | |||