• Title/Summary/Keyword: 시공간 영상

검색결과 340건 처리시간 0.023초

Terra MODIS 위성영상과 SEBAL 모형을 이용한 공간증발산량 산정 연구 - 용담댐 유역을 대상으로 - (Estimation of Spatial Evapotranspiration Using Terra MODIS Satellite Image and SEBAL Model - A Case of Yongdam Dam Watershed -)

  • 이용관;김상호;안소라;최민하;임광섭;김성준
    • 한국지리정보학회지
    • /
    • 제18권1호
    • /
    • pp.90-104
    • /
    • 2015
  • 본 연구의 목적은 위성영상을 이용해 시공간 증발산량을 모의할 수 있는 증발산량 산정 모형을 구축하고, 플럭스 타워 실측 증발산량과 비교를 통해 적용성을 평가하는데 있다. 증발산량 산정 모형은 SEBAL(Surface Energy Balance Algorithm for Land)을 구축하였으며, 모형 내 일부 알고리즘을 수정하여 적용하였다. SEBAL 모형의 위성 입력 자료로는 2개년(2012-2013)의 MODIS Normal Distribution Vegetation Index(NDVI), Albedo, Land Surface Temperature(LST) 영상을 500m의 공간해상도로 구축하였으며, 유역주변 기상청 기상관측소(5개 지점)의 풍속, 풍속측정높이, 일사량 자료를 내삽(Interpolation)하여 활용하였다. 모형의 적용성 평가를 위하여 금강유역의 용담댐을 대상으로 공간 증발산량을 산정하여 유역 내에 위치한 덕유산 플럭스 타워의 산림 증발산량과 비교분석하였다. 모형 매개변수 중 Albedo와 NDVI, 지표 거칠기(Surface roughness) 순으로 민감한 것으로 분석되었으며, 모형의 보정을 위해 최종적으로 Albedo와 NDVI는 월별 평균값을 적용하였다. 모의 기간 동안의 결정계수($R^2$)는 0.45이었다. SEBAL 모형은 특히 지형적 특성을 반영하므로 유역내에서 고지대에 비해 저지대에서 증발산량이 높게 산정되는 경향을 보였다.

원격탐사에 의한 동중국해 중규모 와동류의 시공간적 변동 연구 (Temporal and Spatial Variation of the Mesoscale Cold Core Eddy in the East China Sea Using Satellite Remote Sensing)

  • 서영상;장이현;이나경;안유환;윤홍주
    • 대한원격탐사학회지
    • /
    • 제20권4호
    • /
    • pp.245-252
    • /
    • 2004
  • 동계 동중국대륙의 연안수가 발달하여 쿠로시오 난류의 경계역으로 확장된 후 주변의 북상 난류역에 의해 포획됨으로써, 고립되는 현상이 1999년 및 2003년 NOAA 위성영상에 포착되었다. 1999년의 경우 냉핵 와동류(cold core eddy)는 약 2개불간 존재하였고 (5월초~6월 하순), cold core의 중심 수온은 15~2$0^{\circ}C$로 주변보다 2~3$^{\circ}C$ 낮게 나타났다. NOAA 위성수온 영상에 포착된 냉핵 와동류의 주변 가장자리 해역에서 SeaWiFS 위성자료로부터 추정된 클로로필 $\alpha$ 분포는 4.0~6.0 mg/m$^3$으로 냉핵 와동류 중심해역의 농도 1.0~3.0 mg/m$^3$ 보다 2배정도 높게 나타났다. 2003년 경우 2월중순에 냉핵 와동류 중심수온은 9~1$0^{\circ}C$였다. 와동류의 크기는 직경 150km 정도였으며, 냉핵 와동류의 수평 분포양상은 50m 등수심 분포와 유사하게 나타났다. 이어도(Socotra Rock) 해역을 중심으로 동계-춘계에 발생되는 냉핵 와동류의 형성 메카니즘은 중국대륙 연안수와 쿠로시오 난류가 만나는 경계역에서 수괴간의 힘의 균형, 계절풍 조건 및 해저 지형 분포와 밀접한 관계성이 있는 것으로 나타났다.

구글어스엔진 클라우드 컴퓨팅 플랫폼 기반 위성 빅데이터를 활용한 수재해 모니터링 연구 (Research of Water-related Disaster Monitoring Using Satellite Bigdata Based on Google Earth Engine Cloud Computing Platform)

  • 박종수;강기묵
    • 대한원격탐사학회지
    • /
    • 제38권6_3호
    • /
    • pp.1761-1775
    • /
    • 2022
  • 예측하기 힘든 기후변화로 인해 물 관련 재해의 발생 빈도와 피해 규모도 지속적으로 증가하는 추세이다. 재난관리의 측면에서 광범위한 지역의 피해면적을 파악하고, 중·장기적 예측을 위한 모니터링이 필수적이다. 수재해 분야에서 광역적 모니터링을 위해 Synthetic Aperture Radar (SAR) 위성영상을 활용한 원격탐사 기술 연구가 활발히 진행되고 있다. 수재해 모니터링을 위한 시계열 분석에는 방대한 양의 영상수집과 잡음이 많은 레이더 산란 특성을 고려한 복잡한 전처리과정이 필요하며, 이를 위해 상당한 시간이 소요되는 한계가 있다. 최근 클라우드 컴퓨팅 기술의 발전과 함께 위성 빅데이터를 활용한 시·공간 분석이 가능한 많은 플랫폼들이 제안되고 있다. 구글어스엔진(Google Earth Engine, GEE)은 대표적인 플랫폼으로, 600여개의 위성 자료를 무료로 제공하고 있으며 위성영상의 분석준비데이터를 기반으로 준-실시간 시·공간 분석이 가능하다. 이에 본 연구에서는 구글어스엔진을 활용한 즉각적인 수재해 피해 탐지와 중·장기적 시계열 관측 연구를 수행하였다. 변화탐지에 주로 활용되는 Otsu 기법을 통해 '20년 발생한 집중호우를 중심으로 하천 범람으로 인한 하폭의 변화와 피해 면적을 확인하였다. 또한 재난관리 측면에서 모니터링의 중요성이 요구되는 만큼 상습침수지역으로 선정된 연구대상 지역을 중심으로 '18년부터 '22년까지의 시계열 수체의 변화 경향을 확인하였다. 구글어스엔진은 자바스크립트 기반 코딩을 통한 짧은 처리시간, 시공간 분석과 표출의 강점으로 수재해 분야 활용이 가능할 것으로 판단된다. 더불어 향후 다양한 위성 빅데이터와의 연계를 통해 활용 분야가 확대될 것으로 기대된다.

딥러닝 기법을 활용한 위성 관측 해수면 온도 자료의 결측부 복원에 관한 연구 (Restoration of Missing Data in Satellite-Observed Sea Surface Temperature using Deep Learning Techniques)

  • 박원빈;최흥배;한명수;엄호식;송용식
    • 해양환경안전학회지
    • /
    • 제29권6호
    • /
    • pp.536-542
    • /
    • 2023
  • 인공위성은 최첨단 기술로써 시공간적 관측제약이 적어 해양 사고에 효과적 대응과 해양 변동 특성 분석 등으로 각국의 국가기관들이 위성 정보를 활용하고 있다. 하지만 고해상도 위성 관측 기반 해수면 온도 자료(Operational Sea Surface Temperature and Sea Ice Analysis, OSTIA)는 위성의 기기적, 또는 지리적 오류와 구름으로 인해 낮게 관측되거나 공백으로 처리되며 이를 복원하기까지 수 시간이 소요된다. 본 연구는 최신 딥러닝 기반 알고리즘인 LaMa 기법을 활용하여 결측된 OSTIA 자료를 복원하고, 그 성능을 기존에 이용되어 온 세 가지 영상처리 기법들의 성능과 비교하여 평가하였다. 결정계수(R2)와 평균절대오차(MAE) 값을 이용하여 각 기법의 위성 영상 복원 성능을 평가한 결과, LaMa 알고리즘을 적용하였을 때의 R2과 MAE 값이 각각 0.9 이상, 0.5℃ 이하로, 기존에 사용되어 온 쌍 선형보간법, 쌍삼차보간법, DeepFill v1 기법을 적용한 것보다 더 우수한 성능을 보였다. 향후에는 현업 위성 자료 제공 시스템에 LaMa 기법을 적용하여 그 가능성을 평가해 보고자 한다.

InSAR 긴밀도 영상을 이용한 남극 장보고기지 인근 정착해빙의 연간 변화 분석 (Analysis of Annual Variability of Landfast Sea Ice near Jangbogo Antarctic Station Using InSAR Coherence Images)

  • 한향선;김연춘;진효림;이훈열
    • 대한원격탐사학회지
    • /
    • 제31권6호
    • /
    • pp.501-512
    • /
    • 2015
  • 남극 장보고 과학기지가 위치한 동남극 테라노바 만의 정착해빙은 해양 생태계 및 쇄빙선의 운항에 큰 영향을 미치고 있다. 따라서 테라노바 만의 정착해빙에 대한 시공간적 변화 연구가 수행될 필요가 있다. 이 연구에서는 2010년 12월부터 2012년 1월까지 테라노바 만이 촬영된 총 62개의 COSMO-SkyMed 영상 레이더(Synthetic Aperture Radar; SAR) 영상을 이용하여 1-9일의 시간적 기선거리를 가지는 38개의 간섭쌍을 구축하였고, 각각의 간섭쌍에 대한 긴밀도를 분석하였다. 정착해빙은 해안에 고착되어 시간적 위상오차가 작았으며, 최대 9일의 시간적 기선거리를 가지는 간섭쌍에서도 0.3 이상의 높은 긴밀도를 유지하였다. 이와 같이 정착해빙의 작은 시간적 위상오차에 기초하여, 각각의 긴밀도 영상에서 0.5 이상의 긴밀도가 공간적으로 균질하게 관찰되는 영역을 정착해빙으로 정의하였다. 유빙과 바다는 해류와 바람에 의해 유동하여 시간적 위상오차가 크기 때문에 낮은 긴밀도를 보였다. 긴밀도 영상에서 바다와 구분이 어려운 유빙은 SAR 후방산란강도(amplitude) 영상에서 유빙 표면의 균열(crack)을 관찰함으로써 검출하였다. 긴밀도 및 SAR 영상으로부터 검출된 정착해빙과 유빙의 면적을 산출하였고, 시간에 따른 해빙의 면적변화를 분석하였다. 테라노바 만의 정착해빙 면적은 3월 이후 증가하여 7월에 최대 $170.7km^2$을 나타냈고, 10월부터 감소하는 것으로 나타났다. 유빙의 면적은 2-5월에 증가하고, 정착해빙의 면적이 급격히 증가하는 5-7월에 감소하였다. 긴밀도 영상에서 분석된 테라노바 만의 정착해빙 면적을 장보고 과학기지의 자동기상관측기구로 측정된 기온 및 풍속과 비교하였다. 정착해빙 면적은 기온의 증감과 약 2개월의 시간차를 가지는 역의 상관관계를 나타냈다. 반면 풍속과 정착해빙의 면적은 서로 매우 낮은 상관성을 보였다. 이는 테라노바 만의 정착해빙 면적 변화가 풍속보다는 기온에 더 크게 영향을 받는다는 것을 의미한다.

딥러닝을 활용한 위성영상 기반의 강원도 지역의 배추와 무 수확량 예측 (Satellite-Based Cabbage and Radish Yield Prediction Using Deep Learning in Kangwon-do)

  • 박혜빈;이예진;박선영
    • 대한원격탐사학회지
    • /
    • 제39권5_3호
    • /
    • pp.1031-1042
    • /
    • 2023
  • 인공위성은 시공간적으로 연속적인 지구환경 데이터를 제공하므로 위성영상을 이용하여 효율인 작물 수확량 예측이 가능하며, 딥러닝(deep learning)을 활용함으로써 더 높은 수준의 특징과 추상적인 개념 파악을 기대할 수 있다. 본 연구에서는 Landsat 8 위성 영상을 활용하여 다시기 영상 데이터를 이용하여 5대 수급 관리 채소인 배추와 무의 수확량을 예측하기 위한 딥러닝 모델을 개발하였다. 2015년부터 2020년까지 배추와 무의 생장시기인 6~9월 위성영상을 이용하여 강원도를 대상으로 배추와 무의 수확량 예측을 수행하였다. 본 연구에서는 수확량 모델의 입력자료로 Landsat 8 지표면 반사도 자료와 normalized difference vegetation index, enhanced vegetation index, lead area index, land surface temperature를 입력자료로 사용하였다. 본 연구에서는 기존 연구에서 개발된 모델을 기반으로 우리나라 작물과 입력데이터에 맞게 튜닝한 모델을 제안하였다. 위성영상 시계열 데이터를 이용하여 딥러닝 모델인 convolutional neural network (CNN)을 학습하여 수확량 예측을 진행하였다. Landsat 8은 16일 주기로 영상이 제공되지만 구름 등 기상의 영향으로 인해 특히 여름철에는 영상 취득에 어려움이 많다. 따라서 본 연구에서는 6~7월을 1구간, 8~9월을 2구간으로 나누어 수확량 예측을 수행하였다. 기존 머신러닝 모델과 참조 모델을 이용하여 수확량 예측을 수행하였으며, 모델링 성능을 비교했다. 제안한 모델의 경우 다른 모델과 비교했을 때, 높은 수확량 예측 성능을 나타내었다. Random forest (RF)의 경우 배추에서는 제안한 모델보다 좋은 예측 성능을 나타내었다. 이는 기존 연구 결과처럼 RF가 입력데이터의 물리적인 특성을 잘 반영하여 모델링 되었기 때문인 것으로 사료된다. 연도별 교차 검증 및 조기 예측을 통해 모델의 성능과 조기 예측 가능성을 평가하였다. Leave-one-out cross validation을 통해 분석한 결과 참고 모델을 제외하고는 두 모델에서는 유사한 예측 성능을 보여주었다. 2018년 데이터의 경우 모든 모델에서 가장 낮은 성능이 나타났는데, 2018년의 경우 폭염으로 인해 이는 다른 년도 데이터에서 학습되지 못해 수확량 예측에 영향을 준 것으로 생각되었다. 또한, 조기 예측 가능성을 확인한 결과, 무 수확량은 어느 정도 경향성을 나타냈지만 배추의 경우 조기 예측 가능성을 확인하지 못했다. 향후 연구에서는 데이터 형태에 따라 CNN의 구조를 조정해서 조기 예측 모델을 개발한다면 더 개선된 성능을 보일 것으로 생각된다. 본 연구 결과는 우리나라 밭 작물 수확량 예측을 위한 기초 연구로 활용될 수 있을 것으로 기대된다.

KOMPSAT-3A 위성영상과 토지피복도를 활용한 산림식생의 임상 분류법 개발 (Development of a Classification Method for Forest Vegetation on the Stand Level, Using KOMPSAT-3A Imagery and Land Coverage Map)

  • 송지용;정종철;이상훈
    • 한국환경생태학회지
    • /
    • 제32권6호
    • /
    • pp.686-697
    • /
    • 2018
  • 오늘날 원격탐지기술의 발달로 인해, 산림지역과 같이 피복 분류작업이 난해한 지역을 비롯한 광범위한 지역에서의 세밀한 변화탐지를 위한 고해상도 위성영상 취득이 가능해졌다. 하지만, 고해상도 영상에 대한 시계열분석의 과정에서 많은 양의 지상 관측 데이터가 요구된다. 본 연구에서는 토지피복도를 지상 관측데이터로 활용한 위성영상 분류 방법의 가능성을 시험하였다. 연구대상지는 강원도 원주시이며, 산림지역과 시가화지역이 공존하는 공간이다. 연구 자료는 2015년 3월에 촬영된 KOMPSAT-3A 영상과 2017년도 토지피복도를 이용하여 분류를 시도하였다. 서포트벡터머신(SVM)과 랜덤포레스트(RF)의 두 가지 상이한 화소기반 분류기법을 적용하여 대상지에 대한 피복분류의 분류정확도를 비교 분석하였으며, SVM 분석의 경우 다수 분석(Majority analysis)을 후속 진행하였다. 분석대상은 산림식생만 포함한 지역과 연구대상지 전지역으로 구분하였고, 대상 면적이 협소한 습지는 분석과정에서 제외하였다. 분류 결과는 오차 행렬의 전체 정확도가 두 가지 분류대상에 대해 RF 기법이 SVM 기법보다 더 나은 것으로 나타났다. 산림지역만을 대상으로 한 경우, RF 기법이 SVM 기법에 비해 18.3% 높은 값을 나타낸 반면, 전체지역을 대상으로 한 경우는 둘 사이의 간격이 5.5%로 줄어들었다. SVM 기법에 다수 분석 (Majority analysis)을 추가로 실시한 경우, 1% 정도의 정확도 향상이 나타났다. RF 기법은 산림지역의 활엽수를 분석해 내는데 상당히 효과적이었지만, 다른 대상에 대해서는 SVM 기법이 더 나은 결과를 나타내었다. 본 연구는 고해상도 단일시기 영상에 대한 화소 기반의 분류기법을 시험한 것으로, 추후 시계열분석 및 객체기반 분류기법의 추가적인 적용으로 향상된 정확도와 신뢰도를 얻을 수 있을 것으로 판단된다. 이 연구의 방법론은 시공간적으로 고해상도 분석결과를 제공함으로써, 대면적의 토지계획에 유용할 것으로 기대된다.

MODIS 지표면 온도 자료와 지구통계기법을 이용한 지상 기온 추정 (Estimation of Near Surface Air Temperature Using MODIS Land Surface Temperature Data and Geostatistics)

  • 신휴석;장은미;홍성욱
    • Spatial Information Research
    • /
    • 제22권1호
    • /
    • pp.55-63
    • /
    • 2014
  • 수문학, 기상학 및 기후학 등에서 필수적인 자료중의 하나인 지상기온 자료는 최근 보건, 생물, 환경 등의 다양한 분야로까지 활용영역이 확대되고 있어 그 중요성이 커지고 있으나 지상관측을 통한 지상기온자료의 취득은 시공간적인 제약이 크기 때문에 실측된 기온자료는 시공간 해상도가 낮아 높은 해상도가 요구되는 연구 분야에서는 활용성에 큰 제약을 갖게 된다. 이를 극복하기 위한 하나의 대안으로 상대적으로 높은 시공간 해상도를 가지고 있는 위성영상자료에서 얻을 수 있는 지표면온도 자료를 이용하여 지상기온을 추정하는 많은 연구들이 수행되어 왔다. 본 연구는 이러한 연구의 일환으로써 기상청에서 제공하고 있는 AWS(Automatic Weather Station)에서 취득된 2010년 지상 온도 자료(AWS data)를 바탕으로 대표적인 지표면 온도자료인 MODIS Land Surface temperature(LST data:MOD11A1)와 지상기온에 영향을 미칠 수 있는 Land Cover Data, DEM(digital elevation model) 등의 보조 자료와 함께 다양한 지구통계 기법들을 이용하여 남한 지역의 지상기온을 추정하였다. 추정 전 2010년 전체(365일) LST자료와 AWS자료와의 차이에 대한 RMSE(Root Mean Square Error)값의 계절별 피복별 분석결과 계절에 따른 RMSE값의 변동계수는 0.86으로 나타났으나 피복에 따른 변동계수는 0.00746으로 나타나 계절별 차이가 피복별 차이보다 큰 것으로 분석 되었다. 계절별 RMSE 값은 겨울철이 가장 낮은 것으로 나타났으며 AWS자료와 LST자료와 보조자료를 이용한 선형 회귀분석결과에서도 겨울철의 결정 계수가 가장 높은 0.818로 나타났으며, 여름철의 경우에는 0.078로 나타나 계절별 차이가 매우 크게 나타났다. 이러한 결과를 바탕으로 지구통계 기법들의 대표적인 방법론인 크리깅 방법 중 일반적으로 많이 사용되고 있는 정규 크리깅, 일반 크리깅, 공동 크리킹, 회귀 크리깅을 이용하여 지상기온을 추정한 후 모델의 정확도를 판단할 수 있는 교차 검증을 실시한 결과 정규 크리깅과 일반 크리깅에 의한 RMSE 값은 1.71, 공동 크리깅과 회귀 크리깅에 의한 RMSE 값은 각각 1.848, 1.63으로 나타나 회귀 크리깅 방법에 의한 추정의 정확도가 가장 높은 것으로 분석되었다.

KOMPSAT-3/3A 영상 기반 하천의 탁도 산출 연구 (A Study on the Retrieval of River Turbidity Based on KOMPSAT-3/3A Images)

  • 김다희;원유준;한상명;한향선
    • 대한원격탐사학회지
    • /
    • 제38권6_1호
    • /
    • pp.1285-1300
    • /
    • 2022
  • 탁도는 부유물질에 의한 빛의 산란 또는 흡수로 인한 수체의 흐림을 나타내는 수치로 수질 관리 분야에서 중요 지표로 활용되고 있다. 탁도는 소규모의 하천에서 변동성이 심할 수 있으며, 이는 국가하천의 수질에 직접적으로 영향을 준다. 따라서 고해상도의 탁도 공간정보 산출은 매우 중요하다. 이 연구에서는 Korea Multi-Purpose Satellite-3 및 -3A (KOMPSAT-3/3A) 영상으로부터 한강 수계 하천의 고해상도 탁도 매핑을 위한 eXtreme Gradient Boosting (XGBoost) 알고리즘 기반의 탁도 산출 모델을 개발하였다. 이를 위해 총 24장의 KOMPSAT-3/3A 영상과 150장의 Landsat-8 영상으로부터 계산된 대기 상단(Top Of Atmosphere, TOA) 반사율을 활용하였으며, Landsat-8 TOA 반사율은 KOMPSAT-3/3A의 관측 파장 대역에 적합하도록 교차검보정을 수행하였다. 국가수질자동관측망에서 측정된 탁도를 탁도 산출 모델의 참조자료로 사용하였고, 입력 변수로는 탁도가 실측된 위치에서의 TOA 분광반사율과 탁도 분석에 널리 이용되어 온 분광지수인 정규식생지수, 정규수분지수, 정규탁도지수, 그리고 Moderate Resolution Imaging Spectroradiometer (MODIS)의 대기 산출물(에어로졸 광학 두께, 수증기량, 오존)을 사용하였다. 또한 고탁도와 저탁도에 대한 KOMPSAT-3/3A TOA 분광반사율을 분석하여 탁도를 설명할 수 있는 새로운 정규탁도지수(new normalized difference turbidity index, nNDTI)를 제안하였고, 이를 탁도 산출 모델에 입력 변수로 추가하였다. XGBoost 기반 탁도 산출 모델은 현장관측 탁도와 비교하여 2.70 NTU의 평균 제곱근 오차(root mean square error, RMSE) 및 14.70%의 정규화된 RMSE(normalized RMSE)를 가지는 탁도를 예측하여 우수한 성능을 보였으며, 이 연구에서 새롭게 제안한 nNDTI가 탁도 산출에 있어 가장 중요한 변수로 사용되었다. 개발된 탁도 산출 모델을 KOMPSAT-3/3A 영상에 적용하여 하천 탁도를 고해상도로 매핑하였으며, 탁도의 시공간적 변동에 대한 분석이 가능하였다. 이 연구를 통하여 고해상도의 정확한 탁도 공간정보 산출에 KOMPSAT-3/3A 영상이 매우 유용함을 확인할 수 있었다.

인터 프레임의 시공간적 정보를 이용한 MPEG-2 인트라 프레임의 오류 은닉 (Error Concealment of MPEG-2 Intra Frames by Spatiotemporal Information of Inter Frames)

  • 강민정;류철
    • 융합신호처리학회논문지
    • /
    • 제4권2호
    • /
    • pp.31-39
    • /
    • 2003
  • MPEG-2 소스 부호화 알고리즘은 가변장 부호화를 사용하기 때문에 채널 오류에 매우 민감하다. 압축 데이터가 전송되는 동안 비트 오류가 발생하게 되고, 이 오류를 정정 기술로 보정할 수 없는 경우 디코더에서는 오류 은닉 방식을 사용함으로써 영상의 화질 저하를 최소화할 수 있다. 본 논문에서 제안하는 알고리즘은 I 프레임의 연속적인 매크로블록 오류를 은닉하기 위한 방식으로 I 프레임과 시간적으로 가장 가까이 위치한 이전 GOP의 B 프레임의 시간적 정보와 P 프레임의 공간적 정보를 이용한다. 이 방식은 기존의 오류 은닉 방식들이 갖는 시간적 오류에 의한 움직임 왜곡과 공간적 오류에 의한 번짐 현상을 개선할 수 있으며, 전송 오류가 매우 심한 망에서의 심각한 슬라이스 오류를 보다 효과적으로 은닉할 수 있다. 알고리즘은 MPEG-2 비디오 코덱에서 수행되었고 모의 실험을 통하여 다른 방식들에 비하여 I 프레임의 슬라이스 오류를 효율적으로 은닉할 수 있음을 증명한다.

  • PDF