• Title/Summary/Keyword: 저수지 운영 모형

Search Result 278, Processing Time 0.042 seconds

A Study on Numerical Analysis of Selective Withdrawal from Reservoir (저수지 선택취수에 관한 수치해석 연구)

  • Kim, Young-Do;Kim, Tae-Won;Yi, Yong-Kon;Kim, Woo-Gu
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2007.05a
    • /
    • pp.1302-1306
    • /
    • 2007
  • 여름철의 강우시 저수지에 주로 유입되는 고탁수층은 저수지내의 수체에 대하여 밀도차와 유속차를 가지며, 난류혼합을 일으키면서 주변수를 유입하며 하류방향으로 이송 확산되어 간다. 임하댐과 같은 대형 저수지는 수심이 30 m가 넘는 관계로 여름철에 2개의 수온약층이 존재한다. 따라서 댐체에 도달한 고탁수층은 저수지내의 밀도성층으로 인하여 주로 중층에 분포하게 되며, 가을철에 발생하는 수평확산과 전도현상으로 인해 저수지 전역에 분포하게 되어 탁질입자의 분포에 따라 탁수현상의 장기화를 유발하기도 한다. 이와 같은 탁수문제의 저수지내 대책으로는 홍수기에 고탁수층을 우선적으로 취수하는 방법이 있다. 고탁수층은 이와같이 수온약층과 밀접한 관계를 가지며, 취수탑 주변의 선택취수 결과에 영향을 받는다. 형성된 탁수층을 효율적으로 선택배제하기 위해서는 취수시설에 접근하는 성층흐름을 정확하게 이해해야 한다. 본 연구에서는 3차원 CFD를 사용하여 밀도성층에 따른 취수탑 주변의 접근흐름을 수치해석하여 방류수심, 방류유속 및 밀도성층구조의 선택배제에 대한 영향을 분석하였다. 임하댐 취수설비에 적용한 결과에 의하면 상층, 중층, 하층에서 취수탑 문비를 개도하였을 경우, 취수탑 주변에서만 유속이 증가하였을 뿐 저수지 내에서는 유속이 크게 증가되지 않은 것으로 나타났다. 하지만 문비 개도구간의 변화에 따라 수심별 유속분포는 크게 변화하는 것을 확인할 수 있다. 따라서 문비를 조절하는 것은 저수지 전체의 유동을 깨뜨리지 않으면서 취수탑 인근에서 선택취수가 가능하다는 것을 확인할 수 있었다. 또한 본 연구에서는 정밀한 현장조사를 수행하여 저수지와 방류수의 탁도변화를 모니터링하였으며, 취수탑 개구부 주변의 연직 유속분포를 측정하였다. 3차원 수치모의 결과와 현장에서 관측한 유속장을 비교함으로써 본 연구에서 제시한 실제 탁수배제능력을 검증하였다.를 구축하였다는데 의의가 있다.로와 접하는 건물의 경우 모서리부 광고 효과가 지배적이며 대부분 곡선돌출형이 사용되고 있었다. 그러므로 모서리 저층부를 필로티로 계획하여 보행흐름을 원활하게 하고 대신 입면을 투명하게 하여 간접광고(내부전시) 효과를 유도하는 것이 좋다. 특히 원형모서리는 건물 특화 성격이 강하므로 불가피할 경우 소형 액센트 광고 위치를 미리 벽면으로 할애하는 것이 경관 및 입면계획에 유리한 것으로 분석되었다. 불확실도 해석모형 등의 새로운 기능을 추가하여 제시하였다. 모든 입출력자료는 프로젝트 단위별로 운영되어 data의 관리가 손쉽도록 하였으며 결과를 DB에 저장하여 다른 모형에서도 적용할 수 있도록 하였다. 그리고 HyGIS-HMS 및 HyGIS-RAS 모형에서 강우-유출-하도 수리해석-범람해석 등이 일괄되게 하나의 시스템 내에서 구현될 수 있도록 하였다. 따라서 HyGIS와 통합된 수리, 수문모형은 국내 하천 및 유역에 적합한 시스템으로서 향후 HydroInformatics 구현을 염두에 둔 특화된 국내 수자원 분야 소프트웨어의 개발에 기본 토대를 제공할 것으로 판단된다.았다. 또한 저자들의 임상병리학적 연구결과가 다른 문헌에서 보고된 소아 신증후군의 연구결과와 큰 차이를 보이지 않음을 알 수 있었다. 자극에 차이가 있지 않나 추측되며 이에 관한 추후 연구가 요망된다. 총대장통과시간의 단축은 결장 분절 모두에서 줄어들어 나타났으나 좌측결장 통과시간의 감소 및 이로 인한 이 부위의 통과시간 비율의 저하가 가장 주요하였다. 이러한 결과는 차가운 생수 섭취가 주로 결장 근위부를 자극하는 효과를 발휘하는 것이 아닌가 해석된다. 이와 같은 연구결과를 통해 생다시마를 주원료로 개발된 생다시마차와 생다시마 음료가 만성 기능성 변비 증세를 개선하는 효능이 잠재적으로 있음을 확인하였다. 그러나 생약제재의 변비약 수준으로

  • PDF

Estimation of Reservoir Sediment Deposition Using Two Dimensional Model (2차원 모형을 이용한 저수지 퇴사량 예측)

  • Lee, Wonho;Kim, Jingeuk
    • Journal of the Korean GEO-environmental Society
    • /
    • v.9 no.5
    • /
    • pp.21-27
    • /
    • 2008
  • The Sediment deposits in rivers and reservoirs are major components interfering with the useful function of the reservoirs, and clogging the inlet port at water intakes in rivers and erosion of pump impellers. Therefore, an accurate estimation method of sediment deposition is requisite to the efficient water resources investigation, planning and management. The objective of this paper is to forecast of reservoir sediment deposition using two dimensional model (SMS) to UnMun reservoir in GyeongSangBukDo. The RUSLE model showed that reservoirs volume was decreased $2,084.09{\times}10^6m^3$ after 50 years and $2,196.65{\times}10^6m^3$ after 100 years, which is plan flood level elevation (EL.152.12 m) reservoir. The two dimensional model showed that reservoirs volume was decreased $2,227.41{\times}10^6m^3$ after 50 years and $2,121.47{\times}10^6m^3$ after 100 years, which is plan flood level elevation (EL.152.12 m) reservoir. The results of this application showed that the use of two dimensional model was very effective for the estimation sediment deposits throughout the reservoir.

  • PDF

Operating Guidelines for a Multi-reservoir System using a Neural Network Model (신경망 모형을 활용한 댐 군 연계 운영 기준)

  • Na, Mi-Suk;Kim, Jae-Hee;Kim, Sheung-Kown
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2008.05a
    • /
    • pp.1447-1451
    • /
    • 2008
  • 저수지 군 연계 운영을 위한 각 댐에서의 방류량을 결정하기 위해서는 대개 각 댐의 초기 저수량, 유역 상 하류 댐의 총 저수량, 수요량, 기간별 발전 목표 달성 정도, 그리고 예상되는 미래유입량 등이 추정되어야 한다. 본 연구에서는 댐 군 연계운영을 위한 일별 최적화 모형인 CoMOM(Coordinated Multi-reservoir Operating Model, 4.2)의 상위 단계의 더 큰 단위 기간에 활용될 댐 군 연계 운영 기본 가이드라인을 신경망 기법을 활용하여 도출할 수 있을 지를 실험해 보고자 한다. 이 방법은 기본적으로 CoMOM이 제시하는 일별 운영 계획의 결과가 최선의 정책일것이라는 가정에 근거하고 있다. 즉, 주어진 상황에서 일별 CoMOM이 제시하는 결과를 교사 신호로 하여 신경망 학습을 수행하고, 이 결과를 통해 규칙(Rule)을 생성하는 과정으로 요약할 수 있다. 신경망 분석은 CoMOM이 이수기 모형인 점을 고려하여 이수기만을 대상으로 실험하였으며, 단위 분석기간을 10일로 택하여 미래 10일간의 방류량을 결정하는 것을 목표로 하였다. 신경망 모형의 입력요소로는 각 댐의 초기 유효 저수량, 유역 상 하류 댐의 총 저수량, 10일간의 수요량, 그리고 향후 한달 동안의 예상 유입량을 적용하였고, 출력요소로는 CoMOM에서 제시한 방류량 결과를 사용하였다. 모형의 유효성을 검증하기 위해 한강수계의 이수기를 대상으로 과거의 유입량 자료가 재현된다고 가정하고, 모의운영을 통하여 적합성을 분석하였다. 이를 위해 매일 단위의 실제 댐 군 연계 운영의 상황을 모의할 수 있는 실시간 시뮬레이션을 적용하였으며, 신경망 모형의 운영 기준에 의해 결정된 향후 10일 동안의 총 방류량이 해당기간 동안 동일한 양으로 나누어 방류된다는 가정 하에 모의 운영하였다. 그리고 도출된 운영 결과는 최종적으로 실적과의 평균저수량, 발전량, 여수로 방류량 비교를 통해 평가하였다.

  • PDF

Flood Estimation for Hydropower Reservoir Operation in North Han River (홍수기 북한강 발전용댐 운영을 위한 유입량 예측)

  • Ji, Jungwon;Lee, Eunkyung;Yi, Jaeeung
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2017.05a
    • /
    • pp.31-31
    • /
    • 2017
  • 북한강은 한강의 제 1 지류로 지리적 이점과 풍부한 유량으로 많은 댐들이 건설 되었다. 북한강 본류에는 6개의 크고 작은 댐이 있는데 이들 중 4개가 홍수조절 능력이 없는 발전용댐이다. 이 댐들은 발전효율 향상과 범람으로 인한 저수지 붕괴에 대비하기 위하여 수위를 일정하게 유지하는 방식으로 운영되고 있다. 그러나 최근에 발생하는 집중호우와 게릴라성 폭우는 이러한 목표를 달성하기 힘들게 하고 있다. 지금까지 댐 운영을 위한 유입량 예측에 관련된 연구는 많이 있었지만 대부분 예측 단위가 1시간 이상이었다. 본 연구의 대상이 된 북한강 발전용댐은 저수용량이 작아 적은 양의 유입에도 수위가 급변하는 특징이 있기 때문에 1시간 단위로 유입량을 예측하는 모형은 실제 운영에 적용하기 어렵다. 본 연구에서는 댐의 운영자가 수문 개도 의사결정에 참고할 수 있는 유입량 자료를 생성하기 위하여 10분 단위 유입량을 예측하였다. 또한 댐들이 직렬로 배치된 유역의 특징을 고려하여 상류에 댐이 있는 경우에는 상류 댐의 방류량을 고려하였다. 본 연구는 뉴로 퍼지 기법을 사용하였으며 2004~2016년까지 발생한 호우 사상을 이용하여 모형을 구성하고 검증하였다.

  • PDF

Examination Reservoir water sensitivity by measurement inflow (실측유입량에 의한 저수용량 민감도 검토)

  • HwangBo, Jong-Gu;Shin, In Jong;Jo, Dae Hyeong
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2022.05a
    • /
    • pp.266-266
    • /
    • 2022
  • 효율적인 댐 운영은 정확한 수문자료가 필수이다. 많은 댐 운영자들은 실측자료, 수문모형 등을 이용하여 정확한 유입량과 유출량을 산정하지만 댐 저수용량은 상대적으로 정확하게 계산하지 않는 측면이 있다. 하지만 발전용수, 농업용수, 생활용수 등 실질적으로 이용되는 물은 댐저수지의 물이며 이를 정확하게 산정하는 것은 효율적인 댐 운영에 있어서 대단히 중요하다. 국내 대부분의 댐은 시간에 따른 수위 변화량을 이용하여 저수량을 산정하고 있으며 이는 실질적인 저수용량을 파악하기에 다소 어려움이 따른다. 더군다나 우리나라 댐 저수지는 대부분 저수지 내에 한 개의 수위를 관측하여 저수용량을 산정하고 있으며 이는 수km에서 수십km에 이르는 저수지 크기를 고려하면 큰 오차가 발생할 수도 있다. 본 연구에서는 북한강 유역의 화천댐, 춘천댐, 의암댐, 청평댐과 달천 괴산댐에서 실측유입량에 따른 댐 저수위 반응을 살펴보고 저수용량을 정확하게 산정하는 방안을 모색하고자 하였다. 각 댐별로 저수위 0.01m 변화에 따른 저수용량 변화를 검토하였으며 갈수기라고 할 수 있는 11월과 홍수기에 해당하는 7월의 실측 유입량에 따른 댐 저수용량 변화를 검토하였다. 이를 기존의 방법인 저수위 변화로 계산된 유입량과 실측자료에 산정된 유입량을 비교하여 그 차이를 확인하였다. 실측자료와 저수위 변화를 이용한 유입량을 비교·검토한 결과 차이를 보였으며 실측유입량이 저수지 수위를 0.01m 변화시키기 위해서는 최소 30분에서 최대 120분 가량 소요되는 것으로 나타났다. 즉 유입되는 물에 비해 저수위 변화는 미미하여 현재의 계측 시스템으로는 저수량을 실시간으로 산정하기에 무리가 있다. 결국 실시간으로 댐 저수량 변화를 모니터링하기 위해서는 저수위 계측 분해능을 현 0.01m에서 0.001m로 향상시키고, 저수지 구간을 설정하여 구간별로 수위를 계측하고 저수량을 산정하는 방안이 필요한 것으로 생각된다.

  • PDF

A Study on Physical Characteristics and Mixing Behavior of Turbid Water from Imha Reservoir (임하호 탁수의 물리적 특성 및 혼합거동 연구)

  • Kim, Young-Do;Lee, Nam-Joo;Heo, Seong-Nam;Shin, Chan-Ki
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2006.05a
    • /
    • pp.441-446
    • /
    • 2006
  • 유역에서 발생한 고탁수가 저수지내에서 장기화하는 현상에 관한 대책은 장기간이 소요되는 유역관리 대책과 탁수저감일수를 최소화하는 선택취수 개념의 우선 방류기법 등이 있다. 하류하천으로의 탁수 우선배제를 실시하기 위해서는 댐 방류탁수가 하류에 미치는 영향을 정확히 예측할 수 있는 하천탁도 예측 및 관리시스템 구축이 필요하다. 최근 고탁수현상을 경험한 낙동강 수계에서는 본류의 탁도 관리를 위해 임하댐 및 안동댐의 연직 탁도 분포 변화에 따라 댐 방류탁수에 의한 영향을 최소 또는 기준치 이하로 할 수 있는 댐 연계운영에 관한 조건 도출이 필요하다. 선택취수에 관한 수치모의 결과를 이용하여 저수지내 온도 및 탁도 분포 변화와 취수탑의 수문운영에 따른 방류수의 온도 및 탁도를 예측할 수 있다. 본 연구에서는 이와 같은 결과를 이용하여 안동댐과 임하댐의 방류조건에 대한 하류하천 합류부에서의 2차원 이송 확산 수치모의를 수행하고자 하였다. 이와 같은 연구를 성공적으로 수행하기 위해서는 지속적인 현장조사를 통한 지점별 탁도-SS 상관관계 도출, 비정상 흐름 및 수질모의 검 보정, 탁도예측 결과 검증이 필요하다. 평면 2차원 흐름 및 수질 모의 결과에 의하면, 임하댐 방류 탁도로 인한 반변천의 고탁수는 안동댐 방류 수에 지배를 받는 낙동강 본류와 합류되는 지점에서부터 약 5 km 떨어진 지점에서 횡방향 완전혼합이 이루어지는 것으로 나타났다. 이와 같은 모의결과는 완전혼합을 가정하는 1차원 수질모델링의 초기 입력자료에 사용됨으로써 1차원 탁도 모의결과의 정확성을 높이는 데 사용될 수 있다. 이를 이용하여 낙동강 수계 댐 연계운영에 따른 낙동강 탁도 예측모의를 수행하고, 이 결과를 이용하여 낙동강 탁도 예경보 시스템을 구축해야 할 것이다. 또한 선택취수 등을 통해 저수지 관리를 효과적으로 수행하기 위해서는 저수지 내부의 탁도 거동을 정확히 예측할 수 있어야 한다. 따라서 추후 동수역학 및 열역학에 기초한 3차원 수치모형 연구와 성층흐름에 정밀한 밀도류 실험연구 및 이에 대한 적용이 필요할 것으로 판단된다.

  • PDF

Predictive analysis of minimum inflow using synthetic inflow in reservoir management: a case study of Seomjingang Dam (자료 발생 기법을 활용한 저수지 최소유입량 예측 기법 개발 : 섬진강댐을 대상으로)

  • Lee, Chulhee;Lee, Seonmi;Lee, Eunkyung;Ji, Jungwon;Yoon, Jeongin;Yi, Jaeeung
    • Journal of Korea Water Resources Association
    • /
    • v.57 no.5
    • /
    • pp.311-320
    • /
    • 2024
  • Climate change has been intensifying drought frequency and severity. Such prolonged droughts reduce reservoir levels, thereby exacerbating drought impacts. While previous studies have focused on optimizing reservoir operations using historical data to mitigate these impacts, their scope is limited to analyzing past events, highlighting the need for predictive methods for future droughts. This research introduces a novel approach for predicting minimum inflow at the Seomjingang dam which has experienced significant droughts. This study utilized the Stochastic Analysis Modeling and Simulation (SAMS) 2007 to generate inflow sequences for the same period of observed inflow. Then we simulate reservoir operations to assess firm yield and predict minimum inflow through synthetic inflow analysis. Minimum inflow is defined as the inflow where firm yield is less than 95% of the synthetic inflow in many sequences during periods matching observed inflow. The results for each case indicated the firm yield for the minimum inflow is on average 9.44 m3/s, approximately 1.07 m3/s lower than the observed inflow's firm yield of 10.51 m3/s. The minimum inflow estimation can inform reservoir operation standards, facilitate multi-reservoir system reviews, and assess supplementary capabilities. Estimating minimum inflow emerges as an effective strategy for enhancing water supply reliability and mitigating shortages.

A Study of Optimal Operation Policy using Risk Evaluation Criteria(I) (for the Daechung Multi-purpose Reservoir) (위험도 평가기준을 적용한 저수지 최적운영방안 연구(I) (대청댐을 중심으로))

  • Park, Myeong-Gi;Kim, Jae-Han;Jeong, Gwan-Su
    • Journal of Korea Water Resources Association
    • /
    • v.35 no.1
    • /
    • pp.37-49
    • /
    • 2002
  • The application of conventional method for optimizing firm water supply and hydro-electric power generation has some limitation during abnormal or extreme drought periods. Hashimoto et al. (1982) suggested there risk evaluation criteria such as reliability, resilience, and vulnerability. These three criteria have been incorporated into a mixed-integer programming model for evaluating the possible performance of water- supply reservoir (Moy et al., 1986; Srinivasan et al., 1999). However, till now, these kind of researches have been conducted only for water-supply reservoir. Therefore there have been no other study for multi-purpose dam including hydro-electric power generation. This study presents an improved formulation of the previous model for evaluating a multi-purpose reservoir system operation considering water supply and hydro-electric power generation. The modified model was applied to the Daechung multi-purpose reservoir system in the Keum river basin to demonstrate the efficiency of the improved formulation.

Development of direct inflow calculation method using distributed runoff analysis model - Focused on the Choongju dam basin (분포형 유출해석 모형을 활용한 댐 유입량 직접측정방식 개발 - 충주댐 유역을 중심으로)

  • Yeom, Woongsun;Park, Dong-Hyeok;Lee, Dong Kyu;Kim, Tae-Woong
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2022.05a
    • /
    • pp.419-419
    • /
    • 2022
  • 최근 전 지구적 기후변화의 발생으로 수문현상의 규모와 빈도가 예측하기 어려운 수준으로 변화되고 있다. 이에 따라 정밀한 데이터를 활용한 수공구조물 운영 및 관리의 중요성이 대두되고 있다. 이 중에서도 다목적댐은 이·치수 측면에서 모두 활용되기 때문에 정밀한 댐 운영을 위한 댐 유입량 자료의 수집 및 관리가 필요하지만 현실적 한계로 인해 간접적으로 측정되고 있다. 현재 국내 다목적댐 저수지의 유입량은 댐시설 유지관리 기준(MW, 1994)에서 제시한 저수지 수위 변동량과 댐 방류량의 추정치로부터 계산하는 간접측정방법을 통해 산정되고 있다. 그러나 이와 같은 방법은 태풍이나 집중호우 등 대규모 홍수 발생 시 저수지 수위의 불균일성으로 인한 오차가 나타나며, 음유입량 및 톱니바퀴 형태의 자료가 발생하는 등 정확도 측면에서 한계가 있다. 따라서 본 연구에서는 한국건설기술연구원에서 2008년 개발한 물리적 기반의 분포형 유출해석 모형인 GRM(Grid based Rainfall-Runoff Model)을 활용하여 상류 유량관측소(옥동교 관측소, 영춘 관측소) 관측유량과 충주댐 지점 모의유량간의 경험공식을 도출하였으며, 이를 통해 상류 유량 관측소의 유량자료를 활용한 댐 유입량 직접산정이 가능하도록 하였다. 또한 다중 관측소 활용 시 댐 유입량 모의 성능이 개선되는지 여부를 확인하기 위해 3가지 경우(옥동교 관측소 단일, 영춘 관측소 단일, 옥동교·영춘 관측소 다중)로 구분하고 각 공식의 성능을 비교 평가하였다. 분석 결과 상류 관측소 관측유량과 댐 본체 지점의 모의유량이 비교적 높은 상관관계(0.79~0.96)를 보였으며, 단일 관측소를 활용한 공식 대비 다중 관측소를 활용한 공식이 더 높은 결정계수를 보였다.

  • PDF

Development of big data-based water supply and demand analysis technique for digital new deal (디지털 뉴딜을 위한 빅데이터 기반 물수급 분석 기법 개발)

  • Kim, Jang-Gyeong;Moon, Soo-Jin;Nam, Woo-Sung;Kang, Shin-Uk;Kwon, Hyun-Han
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2021.06a
    • /
    • pp.76-76
    • /
    • 2021
  • 물정보 중 가뭄 정보가 상대적으로 부족한 원인은 무엇을 가뭄으로 볼 것인지 정의하기 어렵기 때문이다. 특히 우리나라와 같이 댐 및 저수지, 광역상수도 등 수자원시스템 네트워크를 기반으로 물공급이 이루어지는 경우, 개별 요소만을 고려한 기존 가뭄모니터링 및 전망은 현실적이지 못하며, 가뭄 위험도 관리 측면에서도 부족한 부분이 있다. 가뭄 현상의 경우 기상학적 영향인 강수의 부족이 가장 큰 요소로 기여하지만 실질적으로 국민에 필요한 양보다 적은 양의 물이 공급될 때 국민들은 가뭄을 체감한다. 이러한 점을 보완하기 위하여 지역별로 사용하는 수원 및 물수급 시설 등을 세분화하고, 실적기반 분석을 통해 분석대상 지역의 가뭄을 정확히 판단하기 위한 합리적인 물수급 분석 모형 개발이 필요하다. 즉, 공간분석단위를 표준유역 단위 이하의 취방류 시설물을 기준으로 구성하고, 이들 시설물의 운영정보와 수문기상 빅데이터를 연계한 물순환 모형을 구현함으로써 댐, 저수지, 하천 등 다양한 수원을 가지는 유역 내 가용 수자원량을 준실시간 개념으로 평가하는 시스템의 개발이 필요하다. 본 연구에서는 하천을 중심으로 물수급 관련 수요·공급 시설의 위치를 절점으로 부여하고 연결하는 물수급 네트워크 알고리즘을 통해 빅데이터 기반 물수급 분석 모형을 개발하였다. 주요 모니터링 지점 및 모든 이수 시설의 위치를 유역분석 기법을 통하여 점(point), 선(line), 면(shape)으로 구성된 지형공간정보의 위상(topology) 관계를 설정하여 물수급 분석의 계산순서를 선정하고, 시계열 DB를 입력하여 지점별 물수급 분석 결과를 도출하였다. 권역별 주요 수위-유량관측소 1:1 Nash 계수를 검증한 결과 저유량에서 0.8 이상의 높은 재현 성능을 보이는 것으로 나타났다. 이에 따라 본 연구에서 개발된 물수급 분석 모형은 향후 물관련 이슈 지역의 용수공급능력 평가 및 수자원장기종합계획 등 다양한 수자원 정책평가에 활용될 것으로 기대된다.

  • PDF