• Title/Summary/Keyword: 실시간 도시침수예측

Search Result 35, Processing Time 0.036 seconds

Development of Urban Inundation Forecasting System in Seoul (서울시 도시침수 예측시스템 개발)

  • Shim, Jea Bum;Kim, Ho Soung;Kim, Kwang Hun;Lee, Byong Ju
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2020.06a
    • /
    • pp.341-341
    • /
    • 2020
  • 서울시는 '10년, '11년, '18년의 기록적인 호우로 인해 막대한 재산피해를 기록하였다. 이로 인해 서울시는 수재해 최소화 대책의 필요성을 인지하여 방재시설물 확충 등의 구조적 대책과 함께 침수지역 예측, 호우 영향 예보와 관련된 비구조적 대책 수립을 위해 노력하고 있다. 그 일환으로 '18년에 『서울시 강한 비구름 유입경로 및 침수위험도 예측 용역』을 수행하였으며 이를 통해 레이더 기반의 비구름 이동경로 추정 기술, 침수시나리오 기반의 침수위험지역 추정기술 등을 적용한 서울시 도시침수 예측시스템을 개발하였다. 그러나 침수피해에 선제적으로 대응하기 위해서는 실시간으로 예측강우정보를 생산하고 이를 통해 침수위험지역을 추정하는 기술이 필요하다. 이에 본 연구를 통해 예측강우정보 생산 기술 적용, 예측강우정보를 이용한 실시간 침수위험지역 추정 기술 개발을 수행하여 서울시 도시침수 예측시스템을 고도화하였다. 예측강우정보의 경우 현재 기상청에서 광역 단위 호우특보 및 읍면동 단위 동네예보를 통해 제공되고 있지만, 풍수해 업무에 적용하기에는 제한적이며, 실시간 침수위험지역 추정의 경우 침수해석모델의 모의시간, 라이센스 등의 문제로 인해 한계를 보이고 있는 실정이다. 따라서 본 연구에서는 레이더 실황강우정보를 활용한 이류모델 기반의 예측강우정보 생산 기술을 적용하여 풍수해 업무 적용이 용이하도록 하였으며, 예측강우정보를 이용한 최적 침수시나리오 추정 기술 개발을 통해 실시간 침수위험지역 추정이 가능하도록 하였다. 서울시 도시침수 예측시스템은 25개 자치구를 대상으로 강우량, 호우이동경로, 침수 정보를 제공하고 있다. 강우정보는 기상청 및 SK-TechX 기반의 10분 및 1시간 단위 AWS 관측정보, 이류모델 기반 10분 단위 레이더 예측정보, 국지예보모델 기반 1시간 단위 LDAPS 예측정보를 제공하며. 호우이동경로는 레이더 실황강우정보와 LDAPS 바람장을 이용하여 서울시 및 수도권 지역의 10분 단위 1시간 예측경로를 제공한다. 침수정보는 실시간으로 레이더 예측강우정보를 이용하여 최적의 침수시나리오를 추정하여 격자 단위 상세 침수정보와 시군구 단위 침수위험지도를 제공한다. 본 시스템을 통해 실시간 침수위험지역 확인이 가능해짐에 따라 서울시의 효율적인 풍수해 업무 지원이 가능할 것으로 판단된다.

  • PDF

Linkage of Numerical Analysis Model and Machine Learning for Real-time Flood Risk Prediction (도시홍수 위험도 실시간 표출을 위한 수치해석 모형과 기계학습의 연계)

  • Kim, Hyun Il;Han, Kun Yeun;Kim, Tae Hyung;Choi, Kyu Hyun;Cho, Hyo Seop
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2021.06a
    • /
    • pp.332-332
    • /
    • 2021
  • 도시화가 상당히 이뤄지고 기습적인 폭우의 발생이 불확실하게 나타나는 시점에서 재산 및 인명피해를 야기할 수 있는 내수침수에 대한 위험도가 증가하고 있다. 내수침수에 대한 예측을 위하여 실측강우 또는 확률강우량 시나리오를 참조하고 연구대상 지역에 대한 1차원 그리고 2차원 수리학적 해석을 실시하는 연구가 오랫동안 진행되어 왔으나, 수치해석 모형의 경우 다양한 수문-지형학적 자료 및 계측 자료를 요구하고 집약적인 계산과정을 통한 단기간 예측에 어려움이 있음이 언급되어 왔다. 본 연구에서는 위와 같은 문제점을 해결하기 위하여 단일 도시 배수분구를 대상으로 관측 강우 자료, 1, 2차원 수치해석 모형, 기계학습 및 딥러닝 기법을 적용한 실시간 홍수위험지도 예측 모형을 개발하였다. 강우자료에 대하여 실시간으로 홍수량을 예측할 수 있도록 LSTM(Long-Short Term Memory) 기법을 적용하였으며, 전국단위 강우에 대한 다양한 1차원 도시유출해석 결과를 학습시킴으로써 예측을 수행하였다. 침수심의 공간적 분포의 경우 로지스틱 회귀를 이용하여, 기준 침수심에 대한 예측을 각각 수행하였다. 홍수위험 등급의 경우 침수심, 유속 그리고 잔해인자를 고려한 홍수위험등급 공식을 적용하여 산정하였으며, 이 결과를 랜덤포레스트(Random Forest)에 학습함으로써 실시간 예측을 수행할 수 있도록 개발하였다. 침수범위 및 홍수위험등급에 대한 예측은 격자 단위로 이뤄졌으며, 검증 자료의 부족으로 침수 흔적도를 통하여 검증된 2차원 침수해석 결과와 비교함으로써 예측력을 평가하였다. 본 기법은 특정 관측강우 또는 예측강우 자료가 입력되었을 때에, 도시 유역 단위로 접근이 불가하여 통제해야 할 구간을 실시간으로 예측하여 관리할 수 있을 것으로 판단된다.

  • PDF

Improvement and Operation of Urban Inundation Forecasting System in Seoul (서울시 도시침수 예측시스템의 개선 및 운영)

  • Shim, Jea Bum;Kim, Ho Soung;Gang, Tae hun;Lee, Byong Ju
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2021.06a
    • /
    • pp.481-481
    • /
    • 2021
  • 서울시는 '10년, '11년, '18년의 기록적인 호우로 인해 막대한 재산피해를 기록하였다. 이로 인해 서울시는 수재해 최소화 대책의 필요성을 인지하여 방재시설물 확충 등의 구조적 대책과 함께 침수지역 예측, 호우 영향 예보와 관련된 비구조적 대책 수립을 위해 노력하고 있다. 그 일환으로 2018~2019년 『서울시 강한 비구름 유입경로 및 침수위험도 예측 용역』 수행을 통해 레이더 실황강우 기반의 강한 비구름 이동경로 추정 기술, 강우시나리오 기반의 침수위험지역추정 기술이 적용된 서울시 도시침수 예측시스템을 개발하였다. 또한, 침수피해에 선제적으로 대응하기 위해 2019~2020년 『서울시 내수침수 위험지역 실시간 예측기술 개발』을 통하여 이류모델 기반의 예측강우정보 추정 기술, 예측강우정보 기반의 실시간 침수위험지역 추정기술을 적용하였다. 현재 서울시 도시침수 예측시스템은 서울시 전역의 강우 및 침수정보를 제공하며, 관로 113,286개(전체 385,768개), 맨홀 106,097개(전체 272,133개), 빗물펌프장 117개소(전체 121개소)가 반영되어 있다. 서울시 도시침수 예측시스템에서는 서울시 25개 자치구를 대상으로 실황 및 예측 강우정보, 강한 비구름에 대한 이동경로정보, 시나리오 및 실시간 침수정보를 제공하고 있다. 강우정보는 10분 및 1시간 단위 AWS 실황정보와 10분 단위 이류모델 기반 예측정보, 1시간 단위 LDAPS 기반 예측정보를 제공한다. 또한, 레이더 실황정보를 통해 판별된 강한 비구름에 대해 10분 단위 1시간 예측경로를 제공한다. 침수정보는 총강우량, 강우지속기간, 빗물받이효율 조건을 반영한 강우시나리오 기반의 6m 고해상도 격자단위 침수시나리오 정보와 자치구별 침수위험정보를 제공한다. 또한, 이류모델 기반의 레이더 예측정보를 이용하여 실시간 침수 예측정보를 제공한다. 향후 서울시 내 모든 수방시설물의 적용, 관로 유출구별 기점수위 반영, 관측자료를 이용한 도시유출 및 도시침수 모델 최적화 등 지속적으로 고도화를 수행하고자 하며, 서울시 도시침수 예측시스템을 통해 서울시 및 자치구 풍수해 담당자가 침수피해를 대비, 대응할 수 있을 것으로 기대된다.

  • PDF

Development of real-time urban inundation prediction system (실시간 도시침수 예측 시스템 개발)

  • Lee, Seung Soo;Park, Kyung Won;Lee, Gi Ha;Ahn, Hyun Uk;Jung, Sung Ho
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2019.05a
    • /
    • pp.62-62
    • /
    • 2019
  • 본 연구에서는 기상청에서 제공하는 인공위성 관측자료와 레이더 자료를 합성하여 예측된 선행시간 2시간의 강수량 예측자료를 이용하여 도시유역의 침수 발생 여부를 확인할 수 있는 시스템을 개발하였다. 대상유역은 부산광역시에 위치하고 있는 유역면적 $54km^2$의 온천천유역으로, $10m{\times}10m$의 해상도로 지표면의 침수예측을 수행한다. 침수예측에 이용되는 모델은 지표면과 하수관망 사이의 상호작용을 효과적으로 고려할 수 있도록 지표면 2차원, 하수관망 1차원 모델을 연계하였으며, 침수예측에 소요되는 시간을 최소화하기 위하여 OpenMP기반의 병렬해석 기법을 적용하였다. 또한 초기조건에 의한 오차를 줄이기 위하여 하천수위 관측소에 관측된 수위자료를 예측모델의 초기조건으로 입력할 수 있도록 시스템을 구성하였으며 유역 하류단에서 경계조건으로 활용되는 예측수위자료는 시계열자료의 예측에 뛰어난 성능을 보여주는 것으로 알려진 LongShort-term Memory(LSTM) 기법을 적용하여 이용하였다. 본 연구에서 개발된 실시간 도시침수 예측 시스템은 집중호우 발생시 침수 발생 위치를 사전에 빠르게 예측하여 도시유역의 인적 물적 자원의 피해를 저감하는데 적극적으로 활용될 수 있을 것으로 기대된다.

  • PDF

Development of Monitoring System for Urban Flooding Management (도시침수 상황관리를 위한 모니터링 시스템 개발)

  • Kang, Hoseon;Choi, Changwon;Bae, Changyeon
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2018.05a
    • /
    • pp.3-3
    • /
    • 2018
  • 최근 기후변화에 의한 강우패턴 변화로 국지성 집중호우가 증가하고 있으며, 이로 인해 서울 강남('12), 부산('13), 울산('16), 인천, 부산('17) 등 대도시 지역에서 침수피해가 증가하고 있다. 도시침수는 하천홍수 피해와는 달리 매우 짧은 시간에 피해가 발생하며, 시설물 파괴보다는 주택, 차량, 상가 침수로 인한 재산 및 인명 피해가 높은 비율을 차지하고 있다. 또한 도시침수는 다양하고 복합적인 원인에 의해 발생되므로, 상황관리에 어려움이 있다. 현재 도시침수 피해저감을 위한 대책으로 구조적인 대책과 복구사업을 중심으로 이루어지고 있다. 그러나 짧은 시간, 높은 강도의 호우에 의해 발생하는 도시침수는 이와 같은 대책으로는 한계가 있으며, 사전 대비 대응을 위해서는 예 경보 시스템 등 비구조적인 대책이 함께 이루어져야 한다. 또한 도시침수의 실시간 분석 및 모니터링 등 상황관리지원을 위한 도시침수 통합 관리 시스템의 도입이 필요하다. 따라서 국립재난안전연구원에서는 도시침수 상황관리를 위한 "도시침수 모니터링 시스템" 개발 연구를 2014~2016년에 걸쳐 수행하였다. 도시침수 모니터링 시스템은 실시간 AWS 및 RADAR 예측강우 기반의 예 경보, 침수예상도 및 침수위험지역 정보제공, 실시간 강우빈도분석, 다양한 기상정보 제공, SNS알림 서비스 등을 제공하여 담당자의 의사결정 지원이 가능하며, 2017년부터는 시범운영을 통한 고도화를 추진하고 있다. 본 연구에서는 시범운영 결과를 통해 시스템의 적용성을 검증하고, 개선사항을 도출하였으며, 향후 도시침수 모니터링 시스템의 전국화 운영을 위해 전국 읍면동단위의 위험기준 추정 방법을 제시하고자 한다.

  • PDF

Storm sewer network simplification technique for improving efficiency of urban flood forecasting (도시침수예측 효율 향상을 위한 관망간소화 기법 제시)

  • Sang Bo Sim;Hyung-Jun Kim
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2023.05a
    • /
    • pp.269-269
    • /
    • 2023
  • 기후 변화로 인한 강우 패턴의 변화는 도심지 방재성능 목표를 상회하는 홍수로 이어져 침수피해를 가중시키고 있다. 이로 인한 도시침수 피해를 저감하기 위하여 도시침수 예측모형 개발이 활발히 이루어지고 있으나, 대규모 관망으로 이루어진 복잡한 도심지 우수관망을 모의하기 때문에 분석속도가 느려 실시간 예측 적용에 한계점이 있다. 도시침수 분석에 가장 많이 활용되는 대표적인 모형인 SWMM(Storm Water Management Model)은 복잡한 관망을 비교적 빠르고 정확히 해석할 수 있어 유용하지만, 이 또한 대도심의 우수관망 모의 시 많은 시간이 소요되며, 관망 정밀도 기준이 정의되어 있지 않아 분석에 어려움이 있다. 이러한 문제점을 해결하기 위하여 본 연구에서는 관망 간소화 기법(유역면적의 밀도, 관거 직경, 관로의 길이 등)을 적용하고, 이에 따른 주요 지선과 간선의 수위 변화와 침수흔적도를 비교하여 분석결과의 정확성을 담보하는 관망 간소화 수준을 파악하고 도시침수 분석 시 적정 간소화 기준과 자동 간소화 방안을 제시하고자 한다. 도시침수 분석 시 우수관망 자동 간소화를 위하여 Python을 활용한 코드를 작성하였으며, SWMM의 .inp 파일을 읽어들여 Dataframe형태로 저장한 후 분석을 위한 데이터 가공, 간소화 기준에 따른 분류, 간소화 대상 수리·수문인자 연산, 인접 간선에 연결, 간소화된 .inp파일 저장의 총 6단계로 구성하였다. 연구 대상지역은 도림천 유역으로 설정하였으며, 초기자료는 맨홀 30,469, 관거 32,443, 소유역 30,586개로 이루어져 있으며, 모의 시간은 약 2시간 30분이 소요되었다. 유역면적 100x100 미만을 대상으로 수행 시 맨홀 9,965, 관거 10,464, 소유역 9,240개로 관거의 복잡도가 약 1/3 감소하였으며, 모의 시간은 약 43분으로 기존대비 약 72% 단축되는 것으로 나타났다. 실제 침수가 발생한 주요지점들을 비교한 결과 R2 0.85 ~ 0.92로 예측모형의 정확도에 큰 영향을 끼치지 않는 것으로 나타났다. 도시침수모형 최적 간소화를 통해 모형의 복잡성을 줄이고, 계산량을 줄여 모형의 수행시간을 단축시킬 수 있으며, 불필요한 우수관망을 제거하거나 병합함으로써, 모형의 예측력 향상과 분석과 해석에 효율적으로 사용될 수 있을 것으로 기대한다.

  • PDF

Prediction of Overflow Hazard Area in Urban Watershed by Applying Data-Driven Model (자료지향형 모형을 이용한 도시유역에서의 월류 위험지역 예측)

  • Kim, Hyun Il;Keum, Ho Jun;Lee, Jae Yeong;Kim, Beom Jin;Han, Kun Yeun
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2018.05a
    • /
    • pp.6-6
    • /
    • 2018
  • 최근 집중 호우로 인한 내수침수 피해가 도시화와 기후변화로 늘어나고 있다. 내수침수 피해로 인한 복구비용과 시간이 증가하고 있으며 향후에는 이보다 더 크게 늘어날 것으로 예상된다. 이러한 문제를 해결하기 위하여 충분한 선행시간을 가지고 내수 침수 구역을 제시할 수 있어야 한다. 기존의 물리적 모델은 정확하고 정교한 결과를 제공하지만, 시뮬레이션을 준비하고 마치는 데에 시간이 많이 소요된다. 그 이유로서는 강우량, 지형적 특성, 배수관망 시스템, 수문학적 매개변수 등의 다양한 데이터도 필요하기 때문이다. 이는 도시유역에 대한 내수침수의 실시간 예측이 어렵게 되었으며, 충분한 선행시간을 확보하지 못하는 원인이 되었다. 본 연구에서는 이 문제에 대한 해결책으로 결정론적 방법과 확률론적 방법을 자료지향형 모형으로 결합하여 해결책을 제시하고자 하며, 특정 강우 조건하에 도시유역에서의 내수침수에 영향을 미치는 맨홀에 대한 정보를 제공하고자 한다. 위와 같은 과정을 수행하기 위하여 입력자료 조합에 대한 비선형 분석을 실시하였으며, 그 결과로 특정 강우 조건에 대하여 각 맨홀에 대한 누적월류량을 예측할 수 있는 비선형 인공신경망을 구축할 수 있었다. 본 연구에서 제시된 방법론은 국내의 강남 배수분구에 대하여 적용이 되었으며, 내수침수 예측결과와 2차원 해석결과를 비교하고자 하였다. 본 연구에서는 위 과정을 통하여 1차원 도시유출해석을 위한 입력 자료를 준비하는 시간을 절약하고, 다양한 강우 조건과 내수침수지도 사이의 연관성을 학습하는 예측 모형을 이용하여 도시유역의 내수침수에 대한 충분한 선행시간을 확보하고자 한다. 결론적으로, 이 연구의 결과는 도시유역에 대한 비구조적 대책 수립에 도움을 줄 것으로 확인이 되며 도시 유역 내에 맨홀 위치들을 고려한 위험지구를 파악하는 데에 유용할 것으로 판단된다.

  • PDF

Development and evaluation of Cellular Automata based urban inundation model CA-Urban : City of Portland case (셀룰러 오토마타 기반 CA-Urban 모형의 개발 및 침수해석 평가: Portland 도심 적용 사례)

  • Songhee Lee;Hyeonjin Choi;Hyuna Woo;Seong Jin Noh;Sang Hyun Kim
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2023.05a
    • /
    • pp.334-334
    • /
    • 2023
  • 도시침수는 사회 기반시설에 파괴적인 영향을 끼치고, 재산 및 인명 피해의 원인이 되므로, 고해상도 고정확도 예측 정보를 활용한 선제적 대응이 중요하다. 하지만, 기후변화로 인한 강수 강도의 증가, 도시의 확장 및 고밀화 등 토지피복 변화, 홍수방어시설의 노후화 등 여러 요인들의 복합적인 영향으로 인해 도시침수의 정확한 재현 및 예측은 여전히 난제로 남아 있다. 천수 방정식(Shallow Water Equations)을 기반으로 하는 물리과정 모형은 신뢰도 높은 예측 결과를 제공할 수 있지만, Courant-Friedrichs-Lewy 조건 등의 제약으로 인해 대규모 도시 지역의 고해상도 실시간 예측에는 적합하지 않은 한계가 있다. 본 연구에서는 상대적으로 간단한 연산 규칙의 중첩을 통해 복잡계 물리 시스템을 모의하는 셀룰러 오토마타(Cellular Automata; CA) 기술에 기반한 도시침수 해석 모형인 CA-Urban을 개발하고, 미국 Oregon 주 북서쪽에 위치한 Portland시의 도심지역에 대해 침수해석의 적용성을 평가한다. 세부적으로는, 기존 셀룰러 오토마타 기반 침수해석알고리즘의 수치 진동(Oscillation) 문제에 대한 원인을 분석하고, 안정성 향상 방법인 셀 간 최대유량 제한, 가중치 적용 기법, 모형의 계산 효율성 향상을 위한 최적 적응 시간 단계 기법(Adaptive time step)의 적용 결과를 소개한다. 또한, 침투 및 증발산 등 물순환 요소 해석 모듈의 개발 성과 및 방향에 대해서 토의한다.

  • PDF

Prediction of Urban Inundation using SIND Model : Application of Nakdong River Basin (SIND Model을 적용한 도시침수 예측 : 낙동강 유역 적용)

  • Kim, Dong Hyun;Lee, Seung Oh
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2019.05a
    • /
    • pp.293-293
    • /
    • 2019
  • 최근 도심지 침수예방을 위해 구조적 비구조적인 대책 등이 수행되어 왔으나, 도심지의 국지성 호우의 발생빈도가 증가함에 따라 단시간의 도심지 침수예측의 중요성이 다시 대두되고 있다. 이에 도심지 침수 예측을 위해서는 수치모의 프로그램을 사용한 연구가 진행되어 왔으나, 국지성 호우에 의한 침수를 막을 만킁의 실시간 위험예측은 아직까지 힘든 실정이다. 한편 해양재난의 침수를 예방하기 위해서 국립재난안전연구원(2017)에서는 과학적 보간법을 적용한 침수예측 모형인 SIND(Scientific Interpolation for Natural Disaster) Model을 개발한 바 있다. 따라서 본 연구에서는 SIND Model을 도심지 침수예측에 적용하여 집중호우와 같은 단기간의 침수를 예방하고자 한다. SIND Model은 기 구축된 침수예상도를 활용하여 모든 시나리오에 대한 침수 위험도 등급을 실시간으로 평가하는 모형이다. 국토부에서 제공하는 국가홍수위험지도와 내수침수지도를 활용하였고, SIND Model은 Comsol Multyphisic를 활용하여 침수예측지도를 생성하였다. 기존에 해양재난 예측을 위해 사용하였던 Risk Grade 방정식에 시간 항(time term)과 도심지의 최초 침수 발생위치에 생성 항(source term)을 추가하여 도심지 침수특성을 반영하였다. 결과를 평가하기 위하여 CRITIC(CRiteria Importance Through Intercriteria Correlation) 방법을 활용한 형상유사도를 산출하였다. 그 결과, 기 구축된 홍수위험지도와 형상유사도는 전체 구역 중 80%의 구역이 0.8 이상의 값을 나타내었다. 20%의 구역에서는 복잡한 도심지의 건물, 구조물 등의 침수특성을 반영하지 못하여 형상유사도가 낮게 평가된 것으로 판단되며, 향후 위험도 예측을 위해 배수시스템 등의 영향인자를 고려한다면 위험도 등급 예측의 정확도를 높일 수 있을 것이라 기대된다.

  • PDF

A Study on Construction of the Flood Damage Assesment System using Multi-Dimensional Scale and Tuflow (Tuflow와 다차원법을 이용한 피해액산정 시스템구축에 대한 연구)

  • Yuk, Gi-moon;Chun, Soo-Bin;Hwang, Hwan-Sung;Moon, Young-Il
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2018.05a
    • /
    • pp.250-250
    • /
    • 2018
  • 최근 기후변화의 영향으로 국지성 폭우 및 태풍 등의 발생횟수가 증가되고 있으며 이로 인하여 홍수피해 및 도시침수 등의 사고가 빈번히 발생하고 있다. 이 중 도시하천 및 중소규모의 하천에서 발생하는 피해는 단시간으로 발생하고 있으며 빠른 시간안에 침수면적 및 침수피해액을 산정하는 것이 어렵다. 따라서 본 연구에서는 Tuflow와 다차원법을 이용하여 침수피해액 산정 시스템을 개발하였으며 강우 및 지속시간에 대한 침수Database와 침수피해액 Database를 구축하였고 이를 이용하여 실제 발생하는 강우 및 레이더 예측강우를 이용하여 실시간으로 침수면적 및 피해액을 추정하였다. 본 연구를 통하여 실시간으로 발생하는 강우에 대하여 침수피해면적 및 피해액을 나타낼 수 있었으며 실시간 홍수부분에 활용성이 높을 것이라 판단된다.

  • PDF