• Title/Summary/Keyword: 조건기반모형

Search Result 471, Processing Time 0.036 seconds

Hierarchical Software Quality Model(H-SQM) of Developer's View (개발자 관점의 계층적 소프트웨어 품질 모형(H-SQM))

  • Lee, Seon-A;Choe, Byeong-Ju
    • Journal of KIISE:Software and Applications
    • /
    • v.26 no.12
    • /
    • pp.1455-1467
    • /
    • 1999
  • 소프트웨어 품질을 정의하기 위한 여러 가지 소프트웨어 품질 모형(SQM : Software Quality Model)이 개발되어 왔다. 이 모형들은 두 가지 목적을 가진다. 한 가지는 소프트웨어 품질 측정이고, 또 다른 목적은 개발 프로세스에서의 소프트웨어 품질 제어이다. 국제 표준인 ISO/IEC 9126은 소프트웨어 측정을 위한 소프트웨어 품질 모형을 제시하였다. ISO/IEC 9126의 품질 모형은 사용 관점에서 소프트웨어 품질을 정의한 모형이다. 이 모형은 개발 프로세스에서의 품질 제어를 하는 측면에서는 불완전한 모형이다. 소프트웨어의 품질이 프로세스 내에서 어떻게 만들어지는지 볼 수 없는 모형이기 때문이다. 따라서, 개발 관점에서의 소프트웨어 품질 모형이 필요하다.본 논문에서는 사용 관점인 ISO/IEC 9126 품질 모형을 기반으로 하여 개발 관점에서의 소프트웨어 품질 모형을 제안한다. 이 모형은 ISO/IEC 9126과 같이 하위 품질 요소가 중복되지 않는 계층적 품질 모형이면서, 개발 프로세스 내에서 제어 가능한 제품 특성에 기반을 둔 개발 관점의 소프트웨어 품질 모형이다. 본 논문에서는 소프트웨어 품질 모형 구축 시, 품질 속성간의 선후조건관계를 설정하여 품질 속성간 중복되었던 제품 특성을 한 품질 속성 내 귀속시킨다. 품질 속성 별 제품 특성을 기반으로, 프로세스 내에서 제품 특성을 측정하는 메트릭스를 제안한다. 본 논문에서 제안한 품질 모형과 ISO/IEC 9126을 비롯한 기존 품질 모형과 비교 분석한다.Abstract Several SQMs(Software Quality Models) have been developed to define a software quality. These models have two goals. One is to measure a software quality, the other is to control a software quality. The SQM of ISO/IEC 9126 is defined from the user's viewpoint. This model is an incomplete model in controlling a software quality in the development process. Since this model cannot show how to build a high quality software, the SQM of the developer's view is needed.We suggest the SQM of the developer's view. This model is a completely hierarchical model and is based on product properties. For this model, we define implicative relations among quality attributes for 1:m relations of quality attributes and product properties. So, we solve the problem of a quality attribute overlapping with other quality attributes. We suggest metrics based on our SQMs. Further, we evaluate our SQM by comparing our SQM with other SQMs.

Study on numerical analysis of driftwood generation and behavior by tsunami flow (쓰나미에 의한 유목의 발생과 거동의 수치해석적 연구)

  • Kang, Tae Un;Jang, Chang-Lae
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2021.06a
    • /
    • pp.66-66
    • /
    • 2021
  • 2011년에 일본 도호쿠 지방 태평양 해역에서 규모 9.0의 지진이 발생하여 거대한 쓰나미가 일본 본토 해안을 침수시켰다. 이로 인해, 정확한 피해규모가 파악되기 어려울 정도로 막대한 인명과 재산피해를 입게 되었다. 센다이지역의 경우 쓰나미로 인해 해안에 위치한 약 3.8 평방킬로미터의 방풍림이 모두 전복되었고 일부는 유목이 되어 쓰나미와 함께 내륙으로 흘러들어가 곳곳에 퇴적되어 농지를 훼손하고 가옥에 피해를 주었다. 따라서, 본 연구는 유목의 발생과 흐름에 따른 거동을 수치적으로 분석하여, 폭우나 쓰나미와 같은 거대흐름과 산지와 방풍림 등에서 발생하는 유목의 발생과 거동과정을 예측하고, 흐름과 유목 거동에 따른 피해지역을 선별할 수 있는 방법을 구축하기 위한 초기단계로서, 이를 위해 유목의 발생과정의 역학적 모델링을 수치모듈에 적용하였고 이를 활용하여 수치모의를 수행하였다. 흐름분석을 위해 쓰인 모형은 홍수범람 모형인 Nays2D Flood 이며 천수방정식을 기본으로 한다. 쓰나미의 흐름은 해안가의 방풍림지역을 상류단 경계조건으로 하여 발생 당시 관측된 수심변화를 본 모형의 상류단 경계조건으로 입력하였다. 상류단 경계조건에서 쓰나미의 유속은 수심에 따른 파속으로 계산하였다. 본 연구에서는 또한 유목의 발생과 흐름거동을 기존에 개발된 입자법 기반의 유목동역학모형을 활용하여 수치적으로 모델링 하였다. 유목은 유연성이 없는 원주형 강체로 가정하였고 초기설정으로는, 방풍림지역에 30만개의 유목이 하상의 수직방향으로 배치되어있는 것으로 가정하였다. 여기서, 본 연구에서는 쓰나미가 발생하면 흐름에 따른 항력으로 인해 수직방향으로 배치된 유목이 부러지며, 흐름과 함께 흘러가는 현상을 모델링하였다. 본 연구는 폭우나 쓰나미와 같은 거대흐름으로 인해 발생할 수 있는 유송잡물과 유목의 거동을 예측분석하는 기초연구자료로 활용될 수 있으며, 더 나아가 유목의 발생과정까지 수치적으로 재현하는 모델링을 수행하였기 추후에, 산지와 하천에서 발생할 수 있는 유송잡물의 발생과 연행 과정을 보다 세부적으로 예측할 수 있는 기초방법론으로 쓰일 수 있을 것으로 판단된다.

  • 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

Development of a method for constructing hydrological time series input data for deep learning analysis (딥러닝 분석을 위한 수문시계열 입력자료 구성 기법 개발)

  • Yuk, Gi-moon;Cho, He-rin;Park, Chan-ho;Moon, Soo-jin;Moon, Yong-il
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2021.06a
    • /
    • pp.349-349
    • /
    • 2021
  • 일반적인 도시홍수모형은 수리-수문모형을 기반으로 한 홍수위 모형을 사용하고 있으나 강우사상이나 물리적 조건에 따라 모의시간의 변화가 있으며 경우에 따라서는 긴 모의시간이 소요된다. 알파고 이후 큰 관심을 갖게된 딥러닝을 이용한 데이터기반의 모의를 통해 수자원 부분에 적용하여 수위 예측을 진행하였다. 본 연구에서는 딥러닝을 이용하여 관측자료기반의 수위예측 연구를 수행하였다. 대상유역은 중랑천 유역으로 선정하였으며 2015년 ~ 2020년 사이의 10분단위 강우, 수위자료를 이용하였다. 지방자치단체에서 제공하는 강우, 수위자료의 경우 결측자료 또는 이상자료에 대한 보정이 미흡하여 기계학습을 통합 분석자료로 활용하는데 어려움이 있다. 이에, 결측 및 이상자료가 포함된 자료로부터 인위적으로 교란된 데이터 및 결측구간을 삭제한 데이터를 생성하여 자료의 시계열성을 제거하고, 딥러닝을 통한 수위 예측 결과를 정상 데이터를 적용한 결과와 비교하였다. 사용된 딥러닝 모형은 시계열 데이터 예측에 우수한성능을 보이는 LSTM모형과 GRU모형을 이용하였으며 RMSE, NSE를 이용하여 평가하였다. 본 연구에서는 결측자료 및 이상자료가 포함된 수문자료를 자료의 시계열성 제거를 통해 딥러닝 분석 입력자료 구성하기 위한 방안을 제시하였다.

  • PDF

Development of Streamtube Routing Model for Analysis of Two-Dimensional Pollutant Mixing in Rivers (하천 오염물질의 2차원 혼합 해석을 위한 유관추적모형의 개발 및 적용)

  • Baek, Donghae;Seo, Il Won
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2020.06a
    • /
    • pp.88-88
    • /
    • 2020
  • 수심평균 2차원 혼합모형은 하천환경에서 다양한 용존성 오염물질의 혼합현상을 모의하기 위해 널리 활용되어왔다. 2차원 혼합모형에서 분산계수는 하천의 전단 흐름에 의해 야기되는 오염물질의 퍼짐 현상을 표현하는 중요한 인자로서 작용하기 때문에 정교한 오염물질 혼합거동을 모의하기 위해서는 적합한 분산계수를 산정하는 것이 필수적이다. 분산계수를 실험적으로 산정하는 방법으로는 크게 모멘트법과 추적법으로 나뉘며, 비정상상태의 혼합거동에 대해 종방향 및 횡방향 분산계수를 동시에 산정할 수 있는 방법은 추적법 계열의 2차원 유관추적법(2D STRP)이 유일하다. 본 연구에서는 하천에 유입된 오염물질의 2차원 혼합해석을 위한 수치모형을 개발하였으며, 개발된 모형의 수치해를 바탕으로 다양한 Peclet 수의 범위에 대해 기존연구에서 제시된 2D STRP의 적용범위 및 성능을 정량적으로 분석하였다. 분석된 정보를 바탕으로 기존 2D STRP의 한계를 극복하기 위한 개선된 2차원 유관추적법(2D STRP-i)을 개발하고, 사행하천을 모형화한 실규모 하천실험시설에서 검증하였다. 기존 2D STRP의 성능평가 결과, Peclet 수가 낮은 조건일수록 농도분포의 예측 정확도가 감소하는 경향을 보였으며, 하안 경계에 도달하는 농도가 증가할수록 부정확한 결과를 초래하는 것으로 나타났다. 본 연구에서는 기존 2D STRP의 한계를 보완하여 더욱 정확한 분산계수를 산정하고자 하안 경계면 조건을 고려한 2차원 유관추적법(2D STRP-i)을 개발하였다. 2D STRP-i는 직교-곡선좌표계 기반의 2차원 이송-분산 방정식을 바탕으로 횡방향 유속분포 및 하안 경계조건을 고려할 수 있도록 개선되었다. 2D STRP-i는 공간적으로 상이한 이송효과 및 하안경계 조건을 적절히 반영함으로써 농도분포의 예측 정확도를 개선 시키는 것으로 평가되었으며, 하안경계면에서 농도가 증가하는 구간에서 기존 2D STRP의 결과와 비교하여 더욱 정확한 농도분포 및 분산계수를 제공하는 것으로 밝혀졌다.

  • PDF

Development of machine learning framework to inverse-track a contaminant source of hazardous chemicals in rivers (하천에 유입된 유해화학물질의 역추적을 위한 기계학습 프레임워크 개발)

  • Kwon, Siyoon;Seo, Il Won
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2020.06a
    • /
    • pp.112-112
    • /
    • 2020
  • 하천에서 유해화학물질 유입 사고 발생 시 수환경 피해를 최소화하기 위해 신속한 초기 대응이 필요하다. 따라서, 본 연구에서는 수환경 화학사고 대응 시스템 구축을 위해 하천 실시간 모니터링 지점에서 관측된 유해화학물질의 농도 자료를 이용하여 발생원의 유입 지점과 유입량을 역추적하는 프레임워크를 개발하였다. 본 연구에서 제시하는 프레임워크는 첫 번째로 하천 저장대 모형(Transient Storage Zone Model; TSM)과 HEC-RAS 모형을 이용하여 다양한 유량의 수리 조건에서 화학사고 시나리오를 생성하는 단계, 두번째로 생성된 시나리오의 유입 지점과 유입량에 대한 시간-농도 곡선 (BreakThrough Curve; BTC)을 21개의 곡선특징 (BTC feature)으로 추출하는 단계, 최종적으로 재귀적 특징 선택법(Recursive Feature Elimination; RFE)을 이용하여 의사결정나무 모형, 랜덤포레스트 모형, Xgboost 모형, 선형 서포트 벡터 머신, 커널 서포트 벡터 머신 그리고 Ridge 모형에 대한 모형별 주요 특징을 학습하고 성능을 비교하여 각각 유입 위치와 유입 질량 예측에 대한 최적 모형 및 특징 조합을 제시하는 단계로 구축하였다. 또한, 현장 적용성 제고를 위해 시간-농도 곡선을 2가지 경우 (Whole BTC와 Fractured BTC)로 가정하여 기계학습 모형을 학습시켜 모의결과를 비교하였다. 제시된 프레임워크의 검증을 위해서 낙동강 지류인 감천에 적용하여 모형을 구축하고 시나리오 자료 기반 검증과 Rhodamine WT를 이용한 추적자 실험자료를 이용한 검증을 수행하였다. 기계학습 모형들의 비교 검증 결과, 각 모형은 가중항 기반과 불순도 감소량 기반 특징 중요도 산출 방식에 따라 주요 특징이 상이하게 산출되었으며, 전체 시간-농도 곡선 (WBTC)과 부분 시간-농도 곡선 (FBTC)별 최적 모형도 다르게 산출되었다. 유입 위치 정확도 및 유입 질량 예측에 대한 R2는 대부분의 모형이 90% 이상의 우수한 결과를 나타냈다.

  • PDF

Real-time Optimal Pump Operation for Water Transmission Network (송·배수시스템의 실시간 최적 펌프운영)

  • Kim, Kyung Wan;Choi, Jeong Wook;Kang, Doosun;Kim, Byug Seop;Kang, Min Gu
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2015.05a
    • /
    • pp.158-158
    • /
    • 2015
  • 대부분의 대규모 배수지는 고지대에 위치함으로써 자연유하를 통해 배, 급수지역으로 용수를 공급한다. 이를 위해 배수지 전단에는 가압장이 위치하여 정수장에서 처리된 용수를 고지대에 위치한 배수지로 송수한다. 이때 가압장에서 발생하는 전력소비량이 매우 높은 것으로 알려져 있으며, 효율적인 펌프운영을 통해 상당한 전력비용 절감이 가능할 것으로 판단된다. 일반적인 가압장의 운영은 시스템 운영자의 경험을 토대로 해당 가압장에 연결된 배수지의 수위에 따라 펌프의 작동여부를 결정하는 방법이 주로 사용되고 있다. 이러한 운영방법은 용수공급의 안전성을 우선시함으로써 배수지의 수위를 일정하게 유지하고자 빈번하게 펌프를 작동하게 되고 따라서 가압장에서 소모되는 전력량이 커서 운영효율 측면에서는 바람직하지 않다고 할 수 있다. 또한 빈번한 펌프의 작동으로 인해 펌프의 수명이 단축될 뿐만 아니라, 배수지내 용수의 수질저하 문제도 발생할 수 있다. 본 연구에서는 효율적인 펌프장 운영을 위해 급수지역의 24시간 용수사용량을 예측하고, 그에 따른 펌프장의 가압 유량 및 양정을 파악하여 적정용량의 펌프를 선정하고 운영함으로써 펌프의 운영비용의 최소화 및 안정적인 용수공급을 동시에 달성하고자 한다. 이를 위해, 실시간 최적화 모형을 개발하였다. 개발된 최적화 모형은 상수관망해석 프로그램(EPAENT)을 연계하여 수요절점의 수압조건 및 운영상황을 모의하였다. 최적화 기법으로는 유전자알고리즘을 사용하였으며, 실제 시스템의 운영상황를 반영하기 위한 다양한 제약조건(operational constraints)을 적용하였다. 개발된 모형은 정속펌프(혹은 On/Off 펌프) 뿐만 아니라, 최근 실무에서 널리 사용되고 있는 변속펌프(variable speed pump)를 추가적으로 고려하였다. 개발된 모형은 국내에서 실제 운영되고 있는 송, 배수 시스템에 적용하여 모형의 실무 적용가능성을 검증하였다.

  • PDF

Parameter Estimation of Vflo$^{TM}$ Distributed Rainfall-Runoff Model by Areal Average Rainfall Calculation Methods - For Dongchon Watershed of Geumho River - (유역 평균 강우량 산정방법에 따른 Vflo$^{TM}$ 분포형 강우-유출 모형의 매개변수 평가 - 금호강 동촌 유역을 대상으로 -)

  • Kim, Si-Soo;Park, Jong-Yoon;Kim, Seong-Joon;Kim, Chi-Young;Jung, Sung-Won
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2012.05a
    • /
    • pp.879-879
    • /
    • 2012
  • 강우현상의 공간적 변동성에 대한 해석은 수자원 계획 및 관리를 위해 중요한 관심사가 되고 있다. 일반적으로 우리가 얻을 수 있는 강우자료는 한 지점에 설치되어 있는 우량계에 의한 관측된 지점강우량자료이다. 기존의 집중형 수문모형이 유출과정의 공간적인 분포 및 변화를 유역단위로 평균화해서 취급하는 개념기반의 모형임에 반해서 분포형 수문모형은 유역을 수문학적으로 균일한 매개변수를 갖는 소유역 또는 격자망으로 구분하여 적용하는 것으로, 도시화 등 토지이용의 변화나 기타 유역내의 물리적인 특성의 변화가 수문과정에 미치는 영향을 잘 모의할 수 있다. 따라서 본 연구에서는 Vflo$^{TM}$ 분포형 강우-유출 모형과 IDW, Ordinary Kriging, Thiessen 등의 강우 분포 기법을 이용하여 낙동강 제 1지류인 금호강의 동촌 수위관측소 유역($1,544km^2$)을 출구로 하여 강우-유출모의를 하였다. 이를 위하여 강우-유출에 영향을 주는 매개변수를 선정하고 동촌 수위관측소의 실측 유량자료를 바탕으로 하여 IDW, Kriging, Thiessen 등의 면적강우량 산정방법별로 모형의 보정(2007, 2009) 및 검증(2010)을 실시하였다. 모의 된 유출량과 실측유량의 상관성은 결정계수 $R^2$에서 IDW 과 Kriging의 경우 0.95 ~ 0.99의 상관성을 나타냈으며 Thiessen 의 경우 0.94 ~ 0.99의 값을 나타냈다. Nash-Sutcliffe 모형효율은 IDW의 경우 0.95 ~ 0.98, Kriging의 경우 0.94 ~ 0.99를 나타냈으며 Thiessen의 경우는 0.90 ~ 0.98의 모형효율을 나타내었다. 이때 포화투수계수와 조도계수가 전체 유량과 첨두시간에 영향을 주었다. 호우사상을 선정하여 검보정을 실시 한 결과, 유역의 유출 모의를 수행하였을 때 선행강우량에 따라서 토양의 침투능에 영향을 많이 주고 있기 때문에, 선행 토양함수조건(Antecedent Moisture Condition: AMC)으로 분류한 뒤에 AMC 조건에 따라서 유출-모의를 수행하는 것이 타당하다고 판단된다.

  • PDF

Development of a Maryblyt-based Forecasting Model for Kiwifruit Bacterial Blossom Blight (Maryblyt 기반 참다래 꽃썩음병 예측모형 개발)

  • Kim, Kwang-Hyung;Koh, Young Jin
    • Research in Plant Disease
    • /
    • v.21 no.2
    • /
    • pp.67-73
    • /
    • 2015
  • Bacterial blossom blight of kiwifruit (Actinidia deliciosa) caused by Pseudomonas syringae pv. syringae is known to be largely affected by weather conditions during the blooming period. While there have been many studies that investigated scientific relations between weather conditions and the epidemics of bacterial blossom blight of kiwifruit, no forecasting models have been developed thus far. In this study, we collected all the relevant information on the epidemiology of the blossom blight in relation to weather variables, and developed the Pss-KBB Risk Model that is based on the Maryblyt model for the fire blight of apple and pear. Subsequent model validation was conducted using 10 years of ground truth data from kiwifruit orchards in Haenam, Korea. As a result, it was shown that the Pss-KBB Risk Model resulted in better performance in estimating the disease severity compared with other two simple models using either temperature or precipitation information only. Overall, we concluded that by utilizing the Pss-KBB Risk Model and weather forecast information, potential infection risk of the bacterial blossom blight of kiwifruit can be accurately predicted, which will eventually lead kiwifruit growers to utilize the best practices related to spraying chemicals at the most effective time.

Prediction of cyanobacteria population based on Poisson regression based on hydro-meteorological condition (수문기상 조건을 고려한 Poisson regression 기반의 Cyanobacteria 개체수 예측)

  • Cho, Hemie;Huong, Nguyen Thi;Moon, Jangwon;Kwon, Hyun-Han
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2020.06a
    • /
    • pp.208-208
    • /
    • 2020
  • 지구온난화와 하천환경의 변화로 수질 오염이 심각해지고 녹조 현상 등의 피해가 증가하고 있다. 특히, 기후변화로 인해 온도와 강우량의 변동성이 동시에 증가하고 있어 하천의 수환경 관리측면에서 어려움이 증가하고 있다. 최근 하천 개발 사업으로 인한 인공 구조물 축조로 하천의 오염도 변화는 중요한 논점으로 대두되었으며, 그에 따라 정확한 수질 전망이 요구되고 있다. 녹조평가에 있어 주요 대리변수(proxy variable)로 chlorophyll-a(Chl-a)가 사용되고 있지만, Chl-a는 규조류와 남조류(cyanobacteria) 모두에서 발견되는 지표로서, 녹조의 유해성을 Chl-a 수질 지표만을 사용하여 판단하기에는 한계가 있다. Chl-a뿐만 아니라 수질에 대한 유량, 온도, 영양염류 등의 영향 또한 기존 연구에서 밝혀진 바 있다. 하지만 기존의 물리기반의 결정론적모형은 수질의 추계학적(stochastic) 특성을 반영하는데 제한적이며, 다양한 수문기상학적 조건을 고려한 시나리오 기반의 분석을 수행하는데 한계가 있다. 따라서 본 연구에서는 특정 지점의 보 건설 이후 수문기상 자료를 이용하여 유해 남조류 개체수와 관계있는 수문기상학적 요인을 평가하고 최종적으로 Bayesian Poisson Regression 기반의 중·장기 녹조 예측 모형을 개발하였으며, 해설결과에 대한 불확실성 정보도 제공할 수 있도록 하였다.

  • PDF