과제 상세정보
목록선형대수학과 해석학에서의 정확한 연속체 연산에 대한 연구
작성자
관리자
조회수
62
등록일
2024-05-21
사업 정보
| 내역사업 | 전략과제(산업수학) |
|---|
과제 기본정보
| 과제명 | 선형대수학과 해석학에서의 정확한 연속체 연산에 대한 연구 | ||||
|---|---|---|---|---|---|
| 과제고유번호 | 1711110185 | ||||
| 부처명 | 과학기술정보통신부 | ||||
| 시행계획 내 사업명 | |||||
| 시행계획 내 사업유형 | 예산출처지역 | 대전광역시 | 사업수행지역 | 대전광역시 | |
| 계속/신규 과제구분 | 계속과제 | 이전연도 과제번호 | 1711088655 | ||
| 과제수행연도 | 2020 | 총연구기간 | 2017-09-01 ~ 2021-08-31 | 당해연도 연구기간 | 2020-03-01 ~ 2021-02-28 |
요약 정보
| 연구목표 | 본 연구의 목적은 정수, 그래프 등 이산적 대상에 대해 정립된 계산이론을 실수, 수열, 함수 등 연속적인 대상에 대한 계산이론으로 확장하는 것이다. 또한 이를 구현함으로써 이론과 실제의 상호 보완 및 검증을 통해 실용 가능성이 있는 결과물을 도출하여 완성된 실제적 이론을 추구한다. 이에 따라 본 연구에서는 다음의 세 개의 목표를 이루고자 한다. 첫째, 계산... | ||
|---|---|---|---|
| 연구내용 | 현대 과학기술에서 연속적인 데이터에 대한 연산은 필수적이다. 본 연구는 정수, 그래프 등의 이산적 데이터에 대해 정립되어 있는 계산 가능성 이론 및 계산 복잡도 이론을 실수, 수열, 함수, 연산자 등의 연속적인 데이터에 대한 연산에서의 계산 이론으로 확장한다. 상미분방정식, 편미분방정식과 같은 초월적인 문제에 대한 계산부터 해석학에서의 수학적 상수들을 계산... | ||
| 기대효과 | 본 연구는 크게 세 분야에 영향을 미칠 것이다. 첫째, 기존의 계산이론적 문제를 해결하는 새로운 관점을 제시한다. 예컨대, P-NP 문제는 함수의 최댓값을 다항 시간 내에 계산하는 문제로 환원될 수 있다. 이와 같이, 연속적인 대상에 대한 계산이론의 정립을 통해 기존 문제의 새로운 접근방법을 제시한다. 둘째, 공학적, 물리적인 문제의 해법을 위한 검증된 도... | ||
| 키워드 | 계산이론 ,계산복잡도이론,근사알고리즘 ,전산논리학,재귀적 해석학 | ||
위탁/공동여부 정보
| 단독연구 | 기업 | 대학 | 국공립(연)/출연(연) | 외국연구기관 | 기타 |
|---|---|---|---|---|---|
|
기술 정보
| 연구개발단계 | 기초연구 | 산업기술분류 | |
|---|---|---|---|
| 미래유망신기술(6T) | IT(정보기술) | 기술수명주기 | |
| 연구수행주체 | 학 | 과학기술표준분류 | 자연 > 수학 > 응용수학 > 계산수학 |
| 주력산업분류 | 적용분야 | 지식의 진보(비목적연구) | |
| 중점과학기술분류 | 과제유형 |
과제수행기관(업) 정보
| 과제수행기관(업) 정보 | 과제수행기관(업)명 | 한국과학기술원 | 사업자등록번호 | |
|---|---|---|---|---|
| 연구책임자 | 소속기관명 | 한국과학기술원 | 사업자등록번호 | |
| 최종학위 | 박사 | 최종학력전공 | 공학 |
사업비
| 국비 | 120,000,000 | 지방비(현금+현물) | 0 |
|---|---|---|---|
| 비고 | |||