• 제목/요약/키워드: 정확검정

검색결과 524건 처리시간 0.032초

SWAT 모형을 이용한 저해상도 DEM 사용으로 고해상도 DEM 지형 인자 추출 모듈 개발 (Development of High Resolution DEM Topographic Feature Extraction Module from Low Resolution DEM Using SWAT Model)

  • 김종건;박윤식;김남원;장원석;임경재
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2008년도 학술발표회 논문집
    • /
    • pp.1077-1081
    • /
    • 2008
  • Soil and Water Assessment Tool(SWAT) 모형은 DEM(Digital Elevation Model)을 사용하여 지형인자를 추출하고 이를 바탕으로 수문 및 수질 모의가 이루어진다. 지형인자의 추출시 DEM 격자크기에 따라 상이한 결과를 초래할 수 있다. 그리하여 정확한 수문 및 수질 모델링에 있어 가능한 고해상도의 DEM을 사용하도록 권장하고 있다. 그러나 넓은 유역에서의 적용시 고해상도 DEM 사용에 따른 컴퓨터 처리 용량과 프로그램 실행 시 소요되는 시간상의 문제는 그 효율성에 있어서 문제시될 수 있다. 그리하여 본 연구에서는 소양강댐, 임하댐 유역을 대상으로 SWAT 모형에서 저해상도 DEM 사용으로 고해상도 DEM의 지형인자를 추출하여 자동 입력될 수 있는 모듈을 개발 적용하였다. 본 연구의 결과 소양강댐 유역을 대상으로 격자크기 20m DEM과 100m DEM을 사용하였을 때 연평균 유사량이 83.8%의 큰 차이가 발생한 반면 격자크기의 20m DEM과 본 모듈을 적용하여 20m DEM의 지형인자로 자동 보정된 100m DEM을 사용하였을 때의 연평균 유사량이 4.4%로 차이가 상당히 줄어든 것을 볼 수 있었다. 임하댐 유역의 경우는 격자크기 10m DEM과 100m DEM을 사용하였을 때 연평균 유사량이 43.4% 큰 차이가 발생하였다. 반면 격자크기 10m DEM과 본 모듈을 적용하여 10m DEM의 지형인자로 자동 보정된 100m DEM을 사용하였을 때의 연평균 유사량이 0.3%로 차이가 크게 줄어든 것을 확인 할 수 있었다. 또한 본 모듈의 검정을 위해 소양강댐 유역의 지형 자료와 유사한 충주댐 유역을 대상으로 본 모듈을 적용하여 검정을 실시하였다. 그 결과 연간 평균 유사량이 격자크기 20m와 100m의 DEM을 이용하였을 때 98.7%의 큰 차이가 발생한 반면 격자크기 20m와 본 모듈을 적용하여 보정된 경사도 값의 100m DEM을 사용하였을 때 20.7%로 차이가 크게 줄어든 것을 볼 수 있었다. 그리하여 본 연구의 결과를 통해 SWAT 모형에서의 개선된 지형인자 추출 방식을 사용하여 저해상도의 DEM 사용으로 고해상도 DEM 사용의 효과를 볼 수 있을 것이고 이로 인해 넓은 유역에서 저해상도 DEM 사용으로 컴퓨터 사용용량과 프로그램 지연 시간을 줄일 수 있을 것으로 판단된다. 향후 여러 유역을 대상으로 보정, 검정하여 보다 정확하고 통합적으로 적용될 수 있는 모듈의 개선이 필요할 것으로 사료된다.

  • PDF

ALS와 MBES를 이용한 하천지역 DEM 구축의 정확도 평가 (Accuracy Evaluation of DEM Construction for River Region using ALS & MBES)

  • 권오철;권재현;이지선
    • 한국측량학회지
    • /
    • 제27권4호
    • /
    • pp.421-428
    • /
    • 2009
  • 우리나라는 급경사의 산악지형이 많으며, 계절에 따른 집중호우가 나타나므로 하천유량변동의 정도가 매우 크다. 이러한 자연적 조건은 수자원의 관리에 있어 난점으로 작용하고 있으며, 정확한 하천 지역의 현황 파악에 있어서도 현실적으로 많은 어려움이 있기 때문에 이러한 문제점들을 해결하기 위하여 하천의 현황 파악 및 하천관리의 필요성이 지속적으로 증가되어 왔다. 본 연구에서는 하천의 현황을 파악하고, 관리하는데 적용하기 위하여 ALS와 MBES 측량기술을 이용하여 하천지 역에서 DEM 성과를 취득한 후, 그 성과가 접합되는 지역의 단일 DEM을 구축하였으며, 현장검측을 통하여 중첩지역에 대한 성과 검증을 수행하였다. 현장검측은 대상지역 내에서 검정장 2개 구역을 선정한 후, 토탈스테이션을 이용하여 구역 당 10여점을 측정하고 이를 ALS와 MBES데이터를 이용하여 구축한 TIN과 비교하였다. 비교검증 결과, NO.1 검정장의 RMSE는 0.322m, NO.2 검정장의 RMSE는 0.113m로 산출되었다. 이러한 결과는 ALS와 MBES 자료를 융합하여 하천지역의 DEM 을 구축하여 활용하는 가능성을 보였으며 (NO.2의 경우), NO.1의 경우에서 나타났듯이 향후 보다 나은 융합 방법에 대한 연구가 필요함을 시사하였다.

디지털 카메라를 이용한 사진기준점측량의 정확도 향상에 관한 연구 (A Study on the Accuracy Improvement of Control Point Surveying of Photograph Using Digital Camera)

  • 김계동;박정현;이용욱
    • 한국측량학회지
    • /
    • 제27권2호
    • /
    • pp.203-211
    • /
    • 2009
  • 국내 디지털카메라의 보급으로 항공사진측량에서 디지털 카메라의 비중이 높아지고 있으며, 영상지도 제작이나 수치지형도 제작에 활용이 증가되고 있다. 그러나 사진의 위치정보나 자세정보 등을 포함하지 못하는 경우가 있어, 보다 정확한 사진기준점 성과를 얻기 위해 추가적인 방법이 필요하다. 본 연구에서는 디지털 카메라(DMC)로 촬영된 5개코스 56매의 사진과 35점의 지상기준점 성과를 이용하여 자동접합점 추출에 필요한 사진주점의 위치정보를 지형도에서 얻어 초기치로 입력한 A방법과 4개의 기준점을 이용하여 1번의 블록조정을 거친 외부표정 요소를 초기치로 입력한 B방법에 대해, 독일 INPHO사의 사진기준점측량 소프트웨어인 MATCH-AT를 사용하여 기준점 배치별 성과에 대해 비교분석하였다. 연구결과, B방법에 의한 사진 기준점측량의 정확도가 더 양호하였고, 자가 검정을 더하여 블록조정을 실시함으로 보다 나은 성과를 얻을 수 있었다. 또한 자가검정을 사용하여 지상기준점의 수를 줄일 수 있으므로 측량비용 측면에서도 효과적임을 알 수 있었다.

저가형 UAV 사진측량의 정밀도 및 정확도 분석 실험에 관한 연구 (An Experimental Study on Assessing Precision and Accuracy of Low-cost UAV-based Photogrammetry)

  • 윤성현;이흥규;최웅규;정우철;조언정
    • 한국측량학회지
    • /
    • 제40권3호
    • /
    • pp.207-215
    • /
    • 2022
  • 저가형 UAV기반 사진측량의 정밀도와 정확도를 평가하기 위한 실험을 수행하였다. 높은 정확도의 지상기준점과 검사점의 3차원 좌표를 추정하고자 GNSS정지관측과 기선해석, 망조정을 수행하였고, 신뢰수준 95%에 대하여 정확도가 1cm 이내인 좌표를 확보하였다. 실험 대상지에 대한 항공 사진은 DJI Phantom 4와 이에 탑재된 FC330 카메라로 7회 반복 촬영하였고, 이를 두 가지 소프트웨어로 처리하였다. 10개 검사점에 대한 소프트웨어 자동 추출좌표와 GNSS 추정해를 비교하여 표준편차 및 RMSE를 분석하였다. 두 소프트웨어 처리 결과, 95% 신뢰수준에 대해 표준편차는 남북, 동서, 높이 방향 각각 약 1cm, 2cm, 4cm 이내, RMSE는 수평과 높이 각각 9cm, 8cm 이내였으며, 표준편차가 RMSE에 비해 현저히 작았다. 두 소프트웨어 처리 결과의 통계적 차이를 확인하고자 F-ratio 검정을 수행하였다. 정밀도에 대해서는 모든 좌표 성분에 대해 한쪽꼬리 검정의 귀무가설이 기각되었고, RMSE에 대해서는 수평에 대한 것만 기각되었다. 이에 따라, 동일한 사진 자료를 처리하더라도 소프트웨어에 따라 그 결과에 통계적 차이가 있을 수 있음에 유의할 필요가 있다.

국내항만투자의 효율성 및 적정 투자규모 예측을 위한 모형개발 및 실증적 적용에 관한 연구 (A Study on the Model Development and Empirical Application for Predicting the Efficiency and Optimum Size of Investment in Domestic Seaports)

  • 박노경
    • 한국항만경제학회지
    • /
    • 제26권3호
    • /
    • pp.18-41
    • /
    • 2010
  • 본 논문에서는 Liu(2009)의 슬랙변수모형과 윌콕슨 부호순위 검정방법을 도입하고 새롭게 수퍼효율성모형을 도입한 Tone(2002)의 수퍼SBM모형에 대해서 이론적으로 설명하였다. 또한 1997년부터 2007년까지 국내 20개 항만의 5개의 산출물(항만서비스만족도, 수출입물량, 선박입출항척수, 항만재정수입, 컨테이너화물처리량)과 3개의 투입물(항만투자금액, 접안능력, 하역능력)을 이용하여 국내항만들의 효율성을 측정한 후에, 효율성 순위를 이용하여 윌콕슨의 부호순위검정을 통해서 수퍼SBM모형이 갖고 있는 항만효율성측면의 예측력을 측정하는 방법을 보여 주었다. 또한 개별항만별, 연도별로 적정한 항만투자의 금액을 예측하여 보여 주었다. 실증분석의 주요한 결과는 다음과 같다. 첫째, Wilcoxon의 부호순위 검정통계량에 의거하여 효율성 예측에 대한 가설검정을 해 보면, 제1모형에서는 p값이 평균 97.68% 수준에서 성과예측력을 가지는 것으로 나타났으며, 제2모형에서는 약 76.1%로 나타났다. 둘째, 수퍼SBM모형에 의한 항만별 항만투자의 적정투자규모를 정확하게 제시하였다. 셋, 제2모형에 대한 수퍼SBM모형에 의한 항만별 항만투자의 적정투자규모예측 결과는 다음과 같다. (ㄱ) 항만투자규모가 적정했던 항만들은 인천, 완도, 여수, 서귀포, 부산, 울산, 속초로 나타났다. (ㄴ) 거의 모든 항만들에서 투자금액이 과다한 것으로 나타났으며, 과소한 항만들은 삼천포, 마산, 울산, 삼척, 동해항으로 나타났다. (ㄷ) 차기년도의 항만의 적정투자규모를 예측하여 제시할 수는 있었다. 본 연구의 정책적인 함의는 국내항만관리자들은 항만의 환경이 변하고 있으므로 본 연구에서 제시하고 있는 수퍼SBM모형을 이용하여 항만들의 항만투자의 효율성 측정이나, 경영성과를 예측하는데 도입을 해야만 한다.

통행목적별 수단별 통행시간가치도출 및 유의성 검정 (VOT Derivation for Different Trip Purposes, Travel Modes and Testing of Their Significance)

  • 김현;오세창;최기주
    • 대한교통학회지
    • /
    • 제17권1호
    • /
    • pp.113-129
    • /
    • 1999
  • 통행시간가치가 교통수단의 선택 및 교통계획의 평가에 있어서 중요한 역할을 함에도 불구하고 이를 정확히 판단하는 것은 쉬운 일이 아닌 것으로 되어왔다. 통상, 통행시간가치에 있어서 업무와 비업무통행으로만 구분하여 연구되어진 반면, 본 연구는 다항로짓모형을 적용하는데 있어 통행목적에 따른 모형 구성변수에 있어 통계적신뢰성 및 모형의 적합도, 수정우도비, 교통수단선택의 행태특성을 반영하여 적중율의 동일성이 검정하였고, 또한 통행 목적별 수단별 시간가치 값의 유의적인 차이가 있음을 검정하였다. 한편, 구체적으로 제시된 결과로는, 첫째 교통수단선택의 효용함수를 정산결과 모형 I (통근+통학)의 경우 선정된 11개 변수는 유의수준 5%이내에서 높은 설명력이 나타나, 신뢰구간 95%에서 모형을 구성하는 변수의 통계적 신뢰성이 있음을 검정하였고, 둘째, 모형별 통행시간가치 도출결과 모형 I (통근+통학)의 경우 승용차 8,198원/시, 버스 639원/시, 지하철 1,083원/시이며, 모형II(업무)는 승용차 14,074원/시, 버스 1,219원/시, 지하철 1,062원/시로 산정되었으며, 모형III(통근)의 경우 승용차10.947원/시, 버스 972원/시, 지하철 987원/시로 산정되었다. 모형의 적합도에 있어서는 모형II가 가장 큰 값을 나타냈으며, 다음은 모형III, 모형 I의 순으로 나타났다 셋째, 통행 목적별 각 모형 상호간 적중율차이에 대한 동일성은 유의수준 5%이내에서 인정되어 예측력에 따른 통행시간가치의 변화는 없을 것으로 판단되며, 또한 통행시간 가치값의 도출에 영향을 미치는 통행시간, 승용차비용, 버스요금 지하철요금 등의 매개변수가 유의수준 5%에서 검정결과 유의적인 차이가 인정된 만큼 통행목적 별 수단별 통행시간 가치값은 상호간에 유의적인 차이가 있음을 확인하였다. 본 연구 결과 향후 경제성 평가는 통행목적에 따른 수단별 통행시간가치가 적용될 수 있을 것으로 기대되며, 또한 수단선택모형의 매개변수 정산시에는 통행목적별 시간가치를 비교하여 모형의 타당성을 입증하는 요인으로 적용될 수 있을 것으로 기대된다.

  • PDF

K-WEAP과 Qual2K 연계시스템 개발 (Development of K-WEAP linked Qual2K)

  • 최시중;이동률;문장원;서재승;강성규
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2007년도 학술발표회 논문집
    • /
    • pp.1977-1981
    • /
    • 2007
  • K-WEAP(Korea-Water Evaluation And Planning System)은 한국건설기술연구원과 SEI-US(Stockholm Environment Institute-US Center)가 공동으로 개발하고 있는 통합수자원평가계획모형으로서, 대부분의 기능은 기존의 SEI-US가 개발한 WEAP(Water Evaluation And Planning System)에 기반을 두고 있지만, 국내 실정에 맞도록 수정 보완한 후, 단계적으로 그 기능을 개선해 나가고 있어 향후 수자원계획을 위한 종합적인 도구로서 활용이 기대된다. 현재까지 K-WEAP의 2단계 기능개선 작업을 수행하였다. 주요 개선기능으로는 물수지모형의 개선과 하천수질모형의 개선, 편익산정모형의 개발 등이 있으며, 최근 보다 정확하고 다양한 오염원에 대한 하천수질 모의를 위해 Qual2K와의 연계시스템을 개발하여 수량과 수질을 동시에 모의할 수 있게 하였다. 현재까지 개선된 기능으로는 물수지모형의 개선으로써 수요처 최소수질기준 설정기능을 개발하여 수질이 낮은 수원에서는 물을 공급받을 수 없는 상황을 물수지 분석시 적용할 수 있게 하였다. 하천수질모형의 개선부분에서는 분할 오염부하량 산정기능을 개선하여 수요처 오염부하량 산정시 사회경제지표와 오염원단위를 곱하여 발생량을 계산하는 방법과 직접 수요처 회귀수의 각 오염성분 농도를 입력하는 방법을 추가하였으며 K-WEAP과 Qual2K와의 연계시스템을 개발하여 보다 정확하고 다양한 오염원에 대한 하천수질모의를 가능케 하였다. 또한 모의된 수질결과와 관측치를 비교하기 위해 수질모의결과 검정기능도 추가하였다. 수자원계획 및 평가에 있어서의 편익산정을 하기 위해 경제성분석 모형도 추가하였으며, 사용자 인터페이스 부분에서는 시나리오간 결과를 비교할 수 있는 기능과 지역관리 기능을 개선함으로써 사용자가 보다 편리한 환경에서 수자원계획과 평가를 수행할 수 있게 하였다. 개선된 기능을 통해 보다 정확한 수량-수질 연계 모의가 가능해졌으며 사용자들은 보다 쉽고 정확하게 모의결과를 평가 할 수 있을 것으로 기대된다.

  • PDF

유량계측 정확도 향상을 위한 유로집중과 국제성능기준 전이유량비(Q2/Q1)1.6배수 신뢰성 확보의 상관관계 (Concentration of water flow to improve flowmeter accuracy and International Performance Standards (Q2/Q1) 1.6multiple Correlation of Reliability Securing)

  • 서만제
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2020년도 학술발표회
    • /
    • pp.237-237
    • /
    • 2020
  • 수도계량기(이하 "수량계")는 액체용 적산부피계로 물 사용량을 적산 계량하기 위한 기계기구 또는 장치이며 수량계 검정기준에 의해 검사기준 합격제품을 사용하서 수도요금을 징수합니다. 사실상 국내계량에 관한 법률에 의거하여 전이유량비가 6.3배수(2014년) > 4.0배수(2016년) > 1.6배수(2017년)로 점점 향상되며 2017년 기준으로 국제법정계량기구(OIML)의 성능과 같은 1.6배수까지 향상되어 국내의 수량계 기술기준이 많은 부분 향상되었습니다. 그러나 국제법정계량기구(OIML)는 현재 1.6배수의 80배수까지 검사기준에 합격에 반하여 현제 국내의 검사기준은 1.6배수의 100배수까지만 합격기준을 가지고 있습니다. 이러한 기준은 점차 발전해가고 있는 후발국가에 속하는 자국의 검사기준이 너무 갑작스럽게 국제법정계량기구(OIML)의 기준보다 높은 검사기준을 시행하며 많은 문제가 발생한 것 같습니다. 위와 같은 문제를 해결하기 위하여 여러 복합적인 부품으로 이루어진 수량계의 유량 및 유속에 영향력이 있다고 보여지는 특정 부품 혹은 부위의 개선 및 개발로 해결할 수 있지 않을까 하는 의구심에 연구를 시작되었습니다. 유량 및 유속에 영향을 끼치는 유입부의 스트레이너, 내부 임펠러의 변경으로 성능검사에서 영향을 끼치는지를 유체역학 및 유동해석 등을 통하여 테스트 후 각각 단계 및 상황별 목업금형을 제작하여 현재 국내검사기준으로 진행되는 성능테스트인 기차테스트를 진행하였습니다. 먼저 수량계의 특성상 수량계 내부의 유량을 유체역학 및 유동해석으로 정확히 뽑아내는 것이 불가능하여 유입부 유출부의 유량의 흐름을 기준으로 유체역학 및 유동해석을 진행하였습니다. 테스트 후 그 결과 값으로 유입부의 스트레이너의 삽입 각도를 0°, 90°, 135°, 180°, 270°로 각각 제작하여 테스트를 진행하였으며, 내부 임펠러는 straight, SR, SL, SL R70, SL R60, R75, SR R65 형상으로 각각 제작하여 테스트를 진행하였습니다. 전반적으로 기존의 수량계보다 높은 성능을 보여주었으며, 특정 스트레이너의 삽입각도 및 임펠러의 형상에서는 기존보다 훨씬 유수율이 절감되는 결과값이 나왔습니다. 그로 인해 검사기준에 쉽게 부합할 수 있으며 물 사용량을 보다 정확히 계측하여 정확한 수도요금을 부과하여 국세 낭비로 인한 경제적 손실을 감소할 수 있을 것 같습니다.

  • PDF

지상 레이저 스캐닝과 TS 측량을 이용한 멀티빔 시스템의 검·보정 (Calibration of Hydrographic Survey Multibeam System Using Terrestrial Laser Scanning and TS Surveying)

  • 김진수
    • 한국측량학회지
    • /
    • 제31권3호
    • /
    • pp.199-207
    • /
    • 2013
  • 수로측량에서 멀티빔 시스템에 의해 측량된 자료는 여러 가지 요인들에 의해 다양한 오차들을 포함한다. 이들은 패치 테스트라는 검정 단계를 통해 보정되며, 기존의 방법을 이용한 경우 정확한 시스템 검정을 위해 약 8회 내외의 테스트가 수행되어야한다. 본 연구에서 보다 신속하고 정확한 멀티빔 시스템 검 보정을 위해, 지상 레이저 스캐닝기술과 TS 측량을 이용하여 선박의 정확한 오프셋이 결정되었고, 이러한 자료를 초기 입력값으로 한 패치 테스트가 수행되었다. 그 결과, TS 측량에서 폐합오차가 0.001 m, 스캐닝에서의 후시 관측 오차가 0.005 m 이내였다. 동일한 지역 좌표계로 획득된 모든 측량자료는 선박 기준 좌표계로 변환되었고, 이 과정에서 모든 회전각에 대한 결정계수는 0.99 이상, 표준편차는 0.008 m 이하로 나타났다. 끝으로, 계산된 탑재 센서 오프셋과 모션 센서 오프셋을 이용한 패치 테스트에서 멀티빔 송수파기 오프셋은 단 1회의 보정만으로 수로측량 업무규정을 만족하였다. 이러한 결과에 비춰볼 때, 멀티빔 시스템의 검 보정에서 지상 레이저 스캐닝 및 TS 측량의 활용 가능성이 충분히 있다고 판단된다.

한우의 유전체 육종가의 정확도 추정 (Estimation of the Accuracy of Genomic Breeding Value in Hanwoo (Korean Cattle))

  • 이승수;이승환;최태정;최연호;조광현;최유림;조용민;김내수;이중재
    • Journal of Animal Science and Technology
    • /
    • 제55권1호
    • /
    • pp.13-18
    • /
    • 2013
  • 본 연구는 농협 한우개량사업소 후대검정우 552두의 도체중, 배최장근단면적, 등지방두께 및 근내지방도를 측정한 후 고밀도 SNP 패널(777K)을 사용하여 유전체 혈연 행렬(Genetic Relationship Matrix, GRM)을 추정하고 GBLUP (Genomic Best Linear Unbiased Prediction) 방법으로 GEBV (Genomic Estimated Breeding Value)를 구하여 교차 검증(Cross-validation) 방법으로 그 정확도를 추정함으로써 유전체 선발 기법을 한우 유전평가 체계에 적용하기 위한 기초자료로 이용하고자 수행하였다. 교차 검증 방법으로 각 형질별로 추정된 유전체 육종가의 정확도는 0.915~0.957로 상당히 높게 추정되었다. 대립유전자의 빈도로 계산된 유전체 혈연 행렬을 이용하여 GBLUP 방법으로 추정된 육종가 정확도의 최대 차이는 후대검정우 534두에 대하여 도체중, 배최장근단면적, 등지방 두께 및 근내지방도 순으로 각각 9.56%, 5.78%, 5.78% 및 4.18% 정도의 수준으로 상승했고, 혈통 기록상의 모든 개체 3,674두에 대해서는 형질 별로 최대 13.54%, 6.50%, 6.50% 및 4.31% 정도의 수준으로 증가한 결과가 추정되었다. 이는 한우 보증씨수소의 선발 시스템에서 아직 표현형 자료를 생산할 수 없는 당대검정 후보축 대한 집단을 조성할 때 유전체 정보를 이용한 사전 선발을 활용하면 기존의 상대적으로 낮았던 육종가의 정확도의 상승 효과와 세대 간격의 단축으로 인하여 유전적 개량량을 증대시킬 수 있을 것으로 기대된다. 본 연구에서 genomic breeding value 추정을 위하여 조성된 집단의 경우는 후대 검정우 집단으로서 개체들 간의 혈연관계가 높으며, 이미 전통적인 BLUP 방법으로도 상당히 높은 정확도를 가진 집단을 이용하였다. 그러나, 현재 한우 집단에 대한 유전체 자료 구축 시 이용할 수 있는 정확한 자료는 후대검정우 집단 외에는 참조 집단을 조성할 수 있는 대안이 없으므로, 지속적인 유전체 검정을 위해서는 다양한 유전적 조성이 구축된 참조 집단을 구축해야 할 것으로 사료된다. 또한 유전체 검정을 통한 정확도 상승효과를 기대하기 위해서 지속적으로 참조 집단의 크기를 늘릴 필요성이 있다.