• 제목/요약/키워드: 전송장치

검색결과 1,560건 처리시간 0.03초

ECU간 기기인증을 위한 HB-Family 경량인증기법의 적용 방법 (An Implementation Method of HB-Family Light-weight Authentication for Device Authentication between ECU)

  • 김태수;김효승;우사무엘;이동훈
    • 정보보호학회논문지
    • /
    • 제23권4호
    • /
    • pp.593-607
    • /
    • 2013
  • 현대 차량 내부 네트워크는 ECU라고 불리는 소형 전자제어 장치로 구성되어 있다. 과거에는 주행 중인 차량의 내부 네트워크에는 접근할 수 있는 방법이 없었고, 따라서 차량 내부 네트워크 폐쇄적인 환경으로 인식되었으며 이로 인하여 내부 네트워크를 구성하고 통신하는 기기간의 인증기법이 존재 할 필요가 없었다. 하지만 현재 통신기술이 발전함에 따라 차량 내부 네트워크에 접근할 수 있는 다양한 방법이 등장하였고, 이로 인하여 발생할 수 있는 차량내부 네트워크를 구성하는 ECU간의 기기인증 문제에 대하여 관심이 집중되고 있다. HB-Family 기법은 RFID 환경에서 대표적인 경량인증기법이며, RFID 환경은 차량 내부 네트워크와 비슷한 제약사항을 가지고 있다. 따라서 본 논문에서는 ECU의 약한 연산처리 능력과 CAN 프로토콜의 제한적인 메시지 전송량을 고려하여 효율적인 기기 인증을 수행하기 위해 HB-Family 경량인증기법을 차량 내부 CAN에 적용하는 방법을 제안한다. 제안하는 방법을 적용한 인증기법의 가용성과 효율성을 평가하기 위해 DSP-F28335 Device기반의 성능평가를 수행한 결과 실험 환경에 따라 수행속도를 최소 10%에서 최대 36%의 속도를 향상 시킬 수 있었으며, 이를 차량 내부 네트워크의 다양한 측면에서 분석한다.

비 인두 자기공명 검사 시 최적의 진단영상 장치 선택에 관한 정량, 정성적 평가에 관한 연구 (A Study of the Quantitative, Qualitative Analysis on Optimizing Diagnostic Imaging Device Selection in Nasopharynx MRI)

  • 구은회
    • 한국방사선학회논문지
    • /
    • 제13권7호
    • /
    • pp.1035-1043
    • /
    • 2019
  • 본 연구의 목적은 1.5 T와 3.0 T 비 인두 MRI 검사 후 SNR과 CNR을 평가하여 최적의 Tesla를 알아보고자 하였다. 총 30명의 PACS로 전송된 Nasopharynx MRI검사 환자를 무작위로 선택하여 본 연구에 적용하였다. 데이터 분석에 사용된 장비로는 1.5 T, 3.0 T MRI 장비를 이용하였다. 분석 방법으로 T1 WI과 T1 지방소거 영상에서 각 Tongue, Spinal Cord, Masseter Muscle, Fat, Parotid Gland, Tumor의 조직에 대하여 일정한 관심영역을 설정하고 SNR와 CNR을 평가하였다. 6가지의 조직에 대하여 정량적 분석으로 SNR과 CNR을 평가하였고, 정성적 분석으로 균일한 지방소거, 자화 감수성 인공물에 대한 영상의 질을 4점 척도로 측정하였다. 본 데이터 분석의 통계적 유의성은 독립표본 T검증과 Wilcoxon Signed Ranks사용하였으며, p 값이 0.05이하일 때 유의성을 두었다. 본 실험에 대한 정량적 평가 결과 T1 WI 과 T1 지방소거를 1.5 T와 3.0 T를 비교했을 때 T1 WI에 대한 3.0 T가 평균 SNR(124.75±), CNR(118.91±)로 정량적 분석에서 SNR과 CNR값이 1.5 T평균 SNR(73.15±), CNR(60.59±)에 비해 높게 나타났다. 또한 T1 지방소거에서 3.0 T가 평균 SNR(101.10±), CNR(81.24±)로 1.5 T의 평균 SNR(78.47±), CNR(65.70±)에 비해 높게 나타났다. 정성적 분석으로 균일한 지방소거, 자화 감수성 인공물에 대하여 4등급으로 평가했을 때 1.5 T 장비가 높은 점수를 얻었다(p<0.05). 결론적으로 두 기기에 대한 데이터 분석 결과 정량적 평가부분 에서는 3.0 T 장비가 높게 나타났고 정성적 평가 부분에서는 1.5 T가 높게 나타났다. 따라서 각 장비에 대한 장단점을 고려할 때 상호보완적으로 장비를 선택하여 환자에게 적용한다면 최적의 정보를 제공할 것이라고 사료된다.

방사성동위원소 추적자를 이용한 표사이동 추적실험 (A Study on the Sediment Transport using Radioisotope Tracer)

  • 최병종;정성희;김종범;이종섭
    • 한국해안해양공학회지
    • /
    • 제16권3호
    • /
    • pp.162-170
    • /
    • 2004
  • 산업공정의 가동 중 효율 및 문제점 진단을 위한 방사성동위원소 추적자 이용기술과 기반장비의 연구결과를 바탕으로 연안에서 표사의 거동 추적실험을 수행하였다. 이를 위하여 원자로에서 중성자 조사를 통하여 방사화되는 소량의 iridium을 포함하는 표지모래를 사용하였다. 표지모래는 산화물 제조법으로 제조되었으며, 실험 현지의 자연사(2.65)와 유사한 비중(=2.6)을 갖도록 하였다. 방사화된 표지모래를 운반하고 실험 현장에서 해저에 투입할 수 있도록 전용 용기와 투입된 표지모래로부터 방출되는 방사선을 검출하기 위한 계측장비를 제작하였다. 또한, GPS로부터 수신되는 위치신호와 해저의 계측장비로부터 전송되는 방사선 계측신호를 동시에 수신할 수 있는 데이터 수집장치와 컴퓨터 응용프로그램을 제작하였다. 표지모래의 시간에 따른 공간적 분포변화를 측정하기 위하여 각 투입지점에 대하여 3회씩 추적실험을 실시하였다. 실험 결과데이터는 방사선 계측의 실제 위치를 계산하여 반영하고 방사성추적자의 자연감쇄 효과를 보정한 후 분석에 활용되었다. 방사성 표지모래를 이용한 시범실험으로부터 방사성추적자 기술의 연안환경의 보존과 개발을 위한 중요한 역할의 가능성을 확인하였다.

인터넷을 이용한 트랙터 원격모니터링과 제어 (Remote Monitoring and Control of Tractor on Internet)

  • 김상철;박우풍;이용범;한길수;임동혁;이운용
    • 한국농업기계학회:학술대회논문집
    • /
    • 한국농업기계학회 2005년도 하계 학술대회 논문집
    • /
    • pp.59-63
    • /
    • 2005
  • 가. 자율주행 트랙터가 작업하는 동안 작동상태를 효과적으로 모니터링하고 제어할 수 있도록 하기 위해 인터넷을 통한 자율주행 트랙터의 모니터링과 원격제어 기술에 대하여 시험 하였다. 나. 트랙터를 모니터링하고 제어하는 곳과 경작지가 있는 곳을 인터넷으로 연결하고, 운전자가 탑승하지 않은 트랙터는 인터넷을 통해 전달받은 명령을 수행하도록 액튜에이터를 제어하고 제어되는 상황을 경작지에 위치한 카메라가 촬영하여 인터넷을 통하여 원격지의 운전자 쪽으로 전송하도록 시스템을 구성했다. 다. HST 트랙터 조종장치로서 서보제어가 가능한 액튜에이터를 개발 장착하고 제어성능을 시험하였다. 전자유압제어(EHPS)식 조향액튜에이터는 , 조향가능각 100도의 전범위에 조향 제어가 가능했으며 전조향에 필요한 시간은 약 1.6초 정도 였다. 피스톤 펌프의 사판각을 제어하는 전후진 제어기는 리니어 모터 구동식으로 총 제어 변위 50mm를 이동하는데 제어시간이 약 1.2초 소요되었다. 엔진 회전수를 제어하기위한 스로틀 액튜에이터는 리니어 모터 구동식으로 제어변위 30mm에 대해 제어시간이 0.8초 소요되었다. 3점 링크에 부착된 작업기의 위치를 제어하는 리프트 제어기도 리니어모터로 구동하였으며 제어거리 40mm에 대해 제어시간 0.9초정도가 소요되었다 라. 제작된 HST 무인 트랙터를 인터넷과 무선통신 시스템을 이용하여 원격 모니터링과제어 가능성에 대해 시험 했다. 인터넷을 통한 장거리 원격제어 및 모니터링 시험에서 제어신호의 전달지연은 0.3 ${\sim}$ 0.5초정도로 제어신호의 피이드 백을 확인할 때까지는 약1초정도의 대기 시간이 필요한 것으로 나타나 모니터링 및 제어 시스템의 개발 시 이를 고려할 설계가 필요한 것으로 나타났다.된 표층수온 분포값보다 2005년 2월에 관측된 표층수온 분포값이 상대적으로 낮은 분포 특성을 나타내고 있었다. 따라서 인공위성자료를 이용한 황해의 2004년 해황 분석 결과는 이상수온 상승의 원인이 쿠로시오 해류의 변동과 관련성이 높다고 판단되며 이에 대한 지속적인 연구가 현재 진행중에 있다.에 인산염 처리, 여기에 초음파 처리, 마지막 단계로 3분 끓이면 억제율이 68%까지 억제되었다. 이는 단일처리시 전혀 억제를 못하는 처리를 단계별로 한 단계씩 더해가면 allergy 억제효과가 나타난다고 할 수 있겠다. 초음파 처리도 역시 저 allergy 처리 공정에 이용될 수 있는데 이것은 그 처리로 인해 새로운 알러젠이 생성될 수도 있다. 또한 복합처리로 allergy를 감소시키면 연속적이고 동시적으로 하기 때문에 원가를 절감할 수 있다.환경현안에 대한 정치경제적 접근을 외면하지 말고 교과서 저작의 소재로 삼을 수 있어야 하며, 이는 '환경관리주의'와 '녹색소비'에 머물러 있는 '환경 지식교육'과 실천을 한단계 진전시키는 작업으로 이어질 것이다. 이후 10년의 환경교육은 바로 '생태적 합리성'과 '환경정의'라는 두 '화두'에 터하여 세워져야 한다.배액에서 약해를 보였으나, 25% 야자지방산의 경우 50 ${\sim}$ 100배액 어디에서도 액해를 보이지 않았다. 별도로 적용한 시험에서, 토마토의 경우에도 25% 야자지방산 비누 50 ${\sim}$ 100배액 모두 약해를 발생하지 않았으나, 오이에서는 25% 야자지방산 비누 100배액에도 약해를 나타내었다. 12. 이상의 결과, 천연지방산을 이용하여 유기농업에 허용되는 각종의 살충비누를 제조할 수 있었으며, 방제가 조사결과 진딧물, 응애 등 껍질이 연약한

  • PDF

이동통신형 차량위성단말 시스템 요구사항 분석 (Requirement Analysis of Satellite On-the-Move Transportable Terminal System)

  • 오일혁;송충호;고동국
    • 한국위성정보통신학회논문지
    • /
    • 제3권1호
    • /
    • pp.41-47
    • /
    • 2008
  • 우리 나라의 군 무선통신은 산악지형 등의 원인으로 가시선 통신의 제약이 많다. 군은 가시선 통신의 제약을 극복하기 위해 국방과학연구소 주도로 무궁화5호를 사용하는 아나시스 체계(군 위성통신체계)를 도입하여 운용 중에 있다. 현재 육상에서 운용하는 단말은 이동 후 고정 운용하거나 건물에 설치하여 고정 운용하는 단말이다. 미국 등 선진국의 예를 살펴보면 전세계를 대상으로 신속한 네트워크 중심의 작전을 펼치기 위해 이동 중에도 통신이 가능한 이동형 위성단말을 활발히 연구하고 있다. 본 논문에서는 이동 중 통신이 가능한 단말시스템의 구현을 위해 X대역과 Ka 대역의 링크버짓을 분석하고 서브시스템의 기술적 요구사항들을 분석하였다. 특히, 0.9m 안테나부의 3dB 빔폭을 기준으로, 안테나 추적장치의 구동정확도와 외란을 보상하는 신호처리 방안에 대해서 분석하였다. 또한 이동 중 장애물에 의한 단절을 최소화하기 위해 수신 동기 신호 감시를 통해 링크 단절 시 버스트 신호의 송신을 중단하고 단절이 해제되면 재전송하는 프로토콜에 대해서 분석하였다. 분석된 규격은 시제 제작에 사용되어 양산 배치의 위험요소 분석에 활용될 것이다.

  • PDF

차량용 네트워크 활용을 위한 5GHz WiFi 설계 및 분석 (5GHz Wi-Fi Design and Analysis for Vehicle Network Utilization)

  • 유환신
    • 한국산학기술학회논문지
    • /
    • 제21권8호
    • /
    • pp.18-25
    • /
    • 2020
  • 사물인터넷 기술의 발전에 따라 사물 간 데이터 통신이 확장되고 있는 추세이다. 관련 기술을 차량에 접목하고자 하는 차량간 데이터 통신기술과 관련된 연구가 활발히 진행되고 있다. 이동식 단말의 데이터 통신을 위해서는 데이터 안정성과 신뢰성, 실시간성이 보장되어야 한다. 무선 네트워크의 대역폭과 통신 속도, 무선 포화도에서 유리한 5GHz Wi-Fi 대역을 차량간 데이터 통신 네트워크로 선정하였다. 5GHz Wi-Fi 네트워크를 차량용 네트워크에 설계 및 구현하기 위한 분석을 진행한다. 이동통신 단말장치의 특성을 고려하고 고속데이터 스위칭이 가능하도록 연속적 가변 통신 구조를 제안한다. AP접속 절차를 단순화해 무선 단말 간 접속시간 지연을 줄인다. TCP/IP기반 DHCP 서버 기능을 제한하고 동보전송 프로토콜 방식으로 구현함으로써, 단말장치간의 통신지연을 개선한다. 일반적인 상용 Wi-Fi 통신 방식과 대비하여, 접속 동작 및 반응속도가 5초 이상 향상되었다. 이 방식을 활용하여 차량 간 다양한 이벤트 데이터 통신에 확장 적용이 가능하다. 또한 무선 데이터 기반 지능형 도로망과 자율주행을 위한 체계로 확장이 가능하다.

OSGi 서비스 플랫폼 환경에서 서비스 번들 인증 메커니즘의 검증 및 구현 (Verification and Implementation of a Service Bundle Authentication Mechanism in the OSGi Service Platform Environment)

  • 김영갑;문창주;박대하;백두권
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제31권1_2호
    • /
    • pp.27-40
    • /
    • 2004
  • OSGi 서비스 프레임워크는 다음과 같은 몇 가지 특성을 갖는다. 첫째, 서비스가 번들이라는 자체 설치 가능한 컴포넌트 형태로 제공되어 동적으로 배치된다. 둘째, 서비스가 생명주기에 따라 동적이며 다른 서비스와의 상호 작용이 자주 일어난다. 셋째, 홈 게이트웨이의 시스템 자원이 충분하지 않다. 이러한 특성들로 인하여 네트워크 상에서 인증되지 않은 오퍼레이터에 의해 악의적인 서비스가 배치될 수 있거나 서비스가 변질 될 수 있다. 이러한 변경된 서비스 번들은 서비스 게이트웨이는 물론 사용자에게 보안상의 악영향을 준다. 더불어 현재 OSGi 프레임워크 표준안에는 위의 특성을 고려한 서비스 번들 인증 메커니즘이 제시되어 있지 않다. 따라서 본 논문은 서비스 플랫폼 상에서의 특성을 고려한 서비스 번들 인증 메커니즘을 제안하고자 한다. 본 논문에서는 서비스 번들의 안전한 전송을 위해서 장치를 인식하고 초기설정을 하는 초기화 작업인 부트스트래핑 단계에서 키 공유를 위한 메커니즘을 설계하였고, 이 단계에서 생성된 공유 비밀키를 이용한 MAC 기반 서비스 번들 인증 메커니즘을 제시하였다. 또한 BAN Logic을 이용해 키 공유 메커니즘과 서비스 번들 인증 메커니즘의 안전성을 검증하였다. 이와 같은 서비스 번들 인증 메커니즘은 기존의 PKI 기반의 서비스 번들 인증이나 OSGi에서 권고하고 있는 RSH 프로토콜과 비교해 볼 때 저장 공간이나 연산의 제약된 자원을 가지고 있는 서비스 플랫폼 상에서 더 효율적이다.

IoT 기반 실시간 냉장컨테이너 상태 모니터링 시스템 (Real-time Reefer Container Monitoring System based on IoT)

  • 문영식;정준우;최성필;김태훈;이병하;김재중;최형림
    • 한국정보통신학회논문지
    • /
    • 제19권3호
    • /
    • pp.629-635
    • /
    • 2015
  • 본 논문에서는 냉장컨테이너 내부에 부착되어 냉장컨테이너 내부 온도와 습도를 감지하고, 이를 433MHz RF통신을 이용하여 정보를 전송하는 냉장컨테이너 내부 상태 정보 수집 태그와 냉장컨테이너 외부에 부착되어 냉장컨테이너의 동작 상태 수집 및 GPS를 통해 실시간 위치를 확인하고 WCDMA/GSM 통신을 이용하여 정보를 서버로 전달하는 냉장컨테이너 상태 모니터링 장치로 구성된 IoT 기반 실시간 냉장컨테이너 상태 모니터링 시스템을 소개한다. 또한 소개한 모니터링 시스템을 국내에서 출발하여 싱가포르까지 운송되는 참외, 멜론을 가득 실은 냉장컨테이너에 적용하여 운송 중 실제 냉장컨테이너 내부의 온도, 습도가 어떻게 유지되고 있는지를 확인하였다. 확인 결과 냉장컨테이너 설정온도와 달리 냉장컨테이너 내부 위치에 따라 약 $1.7^{\circ}C$ 내외의 온도 차이가 발생하였으며, 습도는 위치에 관계없이 약 97%로 유지되는 것을 확인하였다. 본 논문에서 소개하는 모니터링 시스템을 신선농산물 유통에 적용하면 농산물 운송 중 신선 농산물의 부패가 언제 발생하는지 확인이 가능하여 이를 토대로 부패가 진행되는 환경을 개선한다면 손실률을 최소화 하면서 냉장컨테이너를 이용한 신선 농산물의 운송이 가능해 질 것으로 기대된다.

통신탑재체와 소프트웨어 위성버스체를 통합한 HITL 시뮬레이터의 설계 및 구현 (DESIGN AND IMPLEMENTATION OF HITL SIMULATOR COUPLEING COMMUNICATIONS PAYLOAD AND SOFTWARE SPACECRAFT BUS)

  • 김인준;최완식
    • Journal of Astronomy and Space Sciences
    • /
    • 제20권4호
    • /
    • pp.339-350
    • /
    • 2003
  • 국가우주개발 중장기 계획의 일환으로 "통신방송위성(CBS: Communications and Broadcasting Satellite) 탑재체 개발 사업"이 한국전자통신연구원을 중심으로 국내산업체와 공동으로 추진되었다. 통신탑재체는 Ku대역 및 Ka대역 통신중계기와 안테나로 구성되며, 2000년 5월부터 2003년 4월까지 3년 동안 기술검증모델 탑재체가 개발되었다. 본 사업에서 통신방송위성을 위한 위성버스체는 개발되지 않으므로 위성을 이루는 통신탑재체와 버스체의 구성이 완벽하지 않았다. 이러한 문제를 해결하기 위해 위성버스체를 대신할 소프트웨어 위성시뮬레이터의 개발이 요구되었다. 개발에 적용된 위성버스체는 무궁화위성 버스체를 그 대상 모델로 가정하였다. 독립적으로 존재하는 하드웨어 통신탑재체와 소프트웨어 위성시뮬레이터의 연동은 통신탑재체의 기능 시험 및 검증을 목적으로 개발된 전기적 지상시험장치(EGSE: Electrical Ground Support Equipment)의 전력, 원격명령 및 원격측정 시스템(PCTS: Power, Command and Telemetry System)을 통해 이루어지도록 설계되었다. 이러한 시스템 개발을 통해 하드웨어 통신탑재체와 실시간으로 연동되는 Hardware-in-the-loop(HITL) 통신방송위성 시뮬레이터(CBSSIM: CBS Simulator)를 구현하였다. CBSSIM의 위성버스체 모델은 모멘텀 바이어스 삼축 안정화 방식의 정지궤도 위성이고, CBSSIM은 PCTS와 TCP/IP로 연결되고, 통신탑재체는 DC하니스 및 MIL-STD-1553B로 PCTS와 연결된다. CBSSIM은 실시간 처리부을 통해 통신탑재체와 위성버스체 모델로 원격명령을 전송하며, 통신중계기로부터 실제 원격측정 자료와 위성버스체 모델로부터 생성된 원격측정 자료를 수집한다. CBSSIM은 다양한 그래픽 사용자 인터페이스(GUI: Graphic User Interface)를 통해 위성의 상태를 감시할 수 있으며, 통신위성의 발사 전후 및 궤도 운용시의 상태를 모사할 수 있다. 본 논문에서는 객체지향 기법에 의해 위성버스체를 모사한 CBSSIM과 통신탑재체 및 통신탑재체와 CBSSIM을 연동시키는 PCTS를 포함한 HITL시뮬레이터의 설계 및 구현 내용에 관해 기술한다.에 관해 기술한다.

저궤도 관측위성 임무계획(Mission Planning)을 위한 기상수치예보 GRIB Data 분석 (Analysis of NWP GRIB Data for LEO Satellite Mission Planning)

  • 서정수;서석배;배희진;김은규
    • 대한원격탐사학회:학술대회논문집
    • /
    • 대한원격탐사학회 2006년도 춘계학술대회 논문집
    • /
    • pp.178-186
    • /
    • 2006
  • 기상 수치예보는 (Numerical Weather Pridiction, NWP)는 바람, 기온, 등과 같은 기상요소의 시간 변화를 나타내는 물리방정식을 컴퓨터로 풀어 미래의 대기 상태를 예상하는 과학적인 방법으로 지구를 상세한 격자 2진부호(GRIdded Binary, 이하 GRIB)로 나누어 그 격자점에서의 값으로 대기 상태를 나타낸다. 지구 각지에서의 각종 관측자료를 기초로 격자점상의 현재값을 구한다. 대용량의 격자데이터는 이진형태이어서 컴퓨터, 서버 저장장치에서 동일형태 데이터로 존재한다. 우리나라 최초의 저궤도 관측 위성인 다목적 실용위성 KOMPSAT-1호(이하, 아리랑 위성1호)는 전자광학카메라(Electro Optical Camera, EOC)를 탑재하여 1999년 12월 21일에 발사된 이후 2006년 1월 현재까지 6여년간 성공적으로 임무를 수행, 7049여회의 영상을 획득하여 국가적으로 귀중한 자료로 활용하고 있다. 아리랑 위성1호는 일일 2-3회 EOC영상을 획득하고 있으며, 임무계획(Mission Planning)은 MP(Mission Planner)가 사용자로부터 자료를 수집하여 임무분석 및 계획 서브시스템(MAPS)에 의해 계산되어진 위성의 제도예측 데이터에 촬영하고자하는 목표지점 좌표를 입력하여 자동명령생성기(KSCG)에 의해 계산된 촬영 경사각도(Tilt)값을 위성에 전송하여 목표지역의 영상을 획득하게 된다. 위성영상 획득에 있어 고가의 위성을 운영하면서 기상의 상태를 정확히 예측하여 실패없이 유효한 영상을 획득하는 것이 무엇보다 중요하다. 본 논문에서는 효율적인 위성임무계획을 위한 기상수치예보 자료를 분석하여 앞으로 발사하게 될 고해상 카메라 탑제위성인 아리랑 위성2호와 3호에 적용하고자 한다. the sufficient excess reactivity to override this poisoning must be inserted, or its concentration is decreased sufficiently when its temporary shutdown is required. As ratter of fact, these have an important influence not only on reactor safety but also on economic aspect in operation. Considering these points in this study, the shutdown process was cptimized using the Pontryagin's maximum principle so that the shutdown mirth[d was improved as to restart the reactor to its fulpower at any time, but the xenon concentration did not excess the constrained allowable value during and after shutdown, at the same time all the control actions were completed within minimum time from beginning of the shutdown.및 12.36%, $101{\sim}200$일의 경우 12.78% 및 12.44%, 201일 이상의 경우 13.17% 및 11.30%로 201일 이상의 유기의 경우에만 대조구와 삭제 구간에 유의적인(p<0.05) 차이를 나타내었다.는 담수(淡水)에서 10%o의 해수(海水)

  • PDF