• 제목/요약/키워드: Hybrid System Simulation

검색결과 920건 처리시간 0.027초

설비공학 분야의 최근 연구 동향 : 2013년 학회지 논문에 대한 종합적 고찰 (Recent Progress in Air-Conditioning and Refrigeration Research : A Review of Papers Published in the Korean Journal of Air-Conditioning and Refrigeration Engineering in 2013)

  • 이대영;김사량;김현정;김동선;박준석;임병찬
    • 설비공학논문집
    • /
    • 제26권12호
    • /
    • pp.605-619
    • /
    • 2014
  • This article reviews the papers published in the Korean Journal of Air-Conditioning and Refrigeration Engineering during 2013. It is intended to understand the status of current research in the areas of heating, cooling, ventilation, sanitation, and indoor environments of buildings and plant facilities. Conclusions are as follows. (1) The research works on the thermal and fluid engineering have been reviewed as groups of fluid machinery, pipes and relative parts including orifices, dampers and ducts, fuel cells and power plants, cooling and air-conditioning, heat and mass transfer, two phase flow, and the flow around buildings and structures. Research issues dealing with home appliances, flows around buildings, nuclear power plant, and manufacturing processes are newly added in thermal and fluid engineering research area. (2) Research works on heat transfer area have been reviewed in the categories of heat transfer characteristics, pool boiling and condensing heat transfer and industrial heat exchangers. Researches on heat transfer characteristics included the results for general analytical model for desiccant wheels, the effects of water absorption on the thermal conductivity of insulation materials, thermal properties of Octadecane/xGnP shape-stabilized phase change materials and $CO_2$ and $CO_2$-Hydrate mixture, effect of ground source heat pump system, the heat flux meter location for the performance test of a refrigerator vacuum insulation panel, a parallel flow evaporator for a heat pump dryer, the condensation risk assessment of vacuum multi-layer glass and triple glass, optimization of a forced convection type PCM refrigeration module, surface temperature sensor using fluorescent nanoporous thin film. In the area of pool boiling and condensing heat transfer, researches on ammonia inside horizontal smooth small tube, R1234yf on various enhanced surfaces, HFC32/HFC152a on a plain surface, spray cooling up to critical heat flux on a low-fin enhanced surface were actively carried out. In the area of industrial heat exchangers, researches on a fin tube type adsorber, the mass-transfer kinetics of a fin-tube-type adsorption bed, fin-and-tube heat exchangers having sine wave fins and oval tubes, louvered fin heat exchanger were performed. (3) In the field of refrigeration, studies are categorized into three groups namely refrigeration cycle, refrigerant and modeling and control. In the category of refrigeration cycle, studies were focused on the enhancement or optimization of experimental or commercial systems including a R410a VRF(Various Refrigerant Flow) heat pump, a R134a 2-stage screw heat pump and a R134a double-heat source automotive air-conditioner system. In the category of refrigerant, studies were carried out for the application of alternative refrigerants or refrigeration technologies including $CO_2$ water heaters, a R1234yf automotive air-conditioner, a R436b water cooler and a thermoelectric refrigerator. In the category of modeling and control, theoretical and experimental studies were carried out to predict the performance of various thermal and control systems including the long-term energy analysis of a geo-thermal heat pump system coupled to cast-in-place energy piles, the dynamic simulation of a water heater-coupled hybrid heat pump and the numerical simulation of an integral optimum regulating controller for a system heat pump. (4) In building mechanical system research fields, twenty one studies were conducted to achieve effective design of the mechanical systems, and also to maximize the energy efficiency of buildings. The topics of the studies included heating and cooling, HVAC system, ventilation, and renewable energies in the buildings. Proposed designs, performance tests using numerical methods and experiments provide useful information and key data which can improve the energy efficiency of the buildings. (5) The field of architectural environment is mostly focused on indoor environment and building energy. The main researches of indoor environment are related to infiltration, ventilation, leak flow and airtightness performance in residential building. The subjects of building energy are worked on energy saving, operation method and optimum operation of building energy systems. The remained studies are related to the special facility such as cleanroom, internet data center and biosafety laboratory. water supply and drain system, defining standard input variables of BIM (Building Information Modeling) for facility management system, estimating capability and providing operation guidelines of subway station as shelter for refuge and evaluation of pollutant emissions from furniture-like products.

양방향 비대칭 채널에서 네트워크 부호화를 위한 변조 방식 (Modulation Scheme for Network-coded Bi-directional Relaying over an Asymmetric Channel)

  • 류현석;강충구
    • 한국통신학회논문지
    • /
    • 제37권2B호
    • /
    • pp.97-109
    • /
    • 2012
  • 본 논문에서는 기지국(base station: BS)과 릴레이(relay station: RS), 그리고 단말(mobile station: MS) 사이의 릴레이 채널과 액세스 채널의 품질이 서로 다른 양방향 비대칭 채널에서 네트워크 부호화 기법을 위한 변조 방식을 제안한다. 제안하는 변조 방식은 이중 성상도를 기반으로 하고 있으며, RS는 네트워크 부호화된 심볼을 연속된 두 심볼 구간 동안 서로 다른 성상도를 이용하여 BS와 MS로 방송한다. 레일리 페이딩 채널에서 제안하는 변조 방식의 비트 오류율 성능에 대한 상한 식을 수학적으로 유도하고, 기존에 양방향 비대칭 채널에서 네트워크 부호화 기반의 양방향 통신 기법을 위해 제안되었던 혼합 성상도 기반의 변조 방식과 성능을 비교 분석한다. 또한 제안하는 변조 방식을 사용하는 네트워크 부호화 기반의 양방향 통신 기법과 기존의 양방향 통신 기법들의 총 채널 사용 횟수를 비교 분석한다. 모의실험을 통해 제안하는 변조 방식이 양방향 비대칭 채널에서 기존 기법들과 동일한 대역 효율성을 유지하면서도 목표 비트 오류율 $10^{-2}$에서 3.5~4dB의 $E_b/N_0$ 이득이 있음을 보인다.

Study of Localized Surface Plasmon Polariton Effect on Radiative Decay Rate of InGaN/GaN Pyramid Structures

  • Gong, Su-Hyun;Ko, Young-Ho;Kim, Je-Hyung;Jin, Li-Hua;Kim, Joo-Sung;Kim, Taek;Cho, Yong-Hoon
    • 한국진공학회:학술대회논문집
    • /
    • 한국진공학회 2012년도 제43회 하계 정기 학술대회 초록집
    • /
    • pp.184-184
    • /
    • 2012
  • Recently, InGaN/GaN multi-quantum well grown on GaN pyramid structures have attracted much attention due to their hybrid characteristics of quantum well, quantum wire, and quantum dot. This gives us broad band emission which will be useful for phosphor-free white light emitting diode. On the other hand, by using quantum dot emission on top of the pyramid, site selective single photon source could be realized. However, these structures still have several limitations for the single photon source. For instance, the quantum efficiency of quantum dot emission should be improved further. As detection systems have limited numerical aperture, collection efficiency is also important issue. It has been known that micro-cavities can be utilized to modify the radiative decay rate and to control the radiation pattern of quantum dot. Researchers have also been interested in nano-cavities using localized surface plasmon. Although the plasmonic cavities have small quality factor due to high loss of metal, it could have small mode volume because plasmonic wavelength is much smaller than the wavelength in the dielectric cavities. In this work, we used localized surface plasmon to improve efficiency of InGaN qunatum dot as a single photon emitter. We could easily get the localized surface plasmon mode after deposit the metal thin film because lnGaN/GaN multi quantum well has the pyramidal geometry. With numerical simulation (i.e., Finite Difference Time Domain method), we observed highly enhanced decay rate and modified radiation pattern. To confirm these localized surface plasmon effect experimentally, we deposited metal thin films on InGaN/GaN pyramid structures using e-beam deposition. Then, photoluminescence and time-resolved photoluminescence were carried out to measure the improvement of radiative decay rate (Purcell factor). By carrying out cathodoluminescence (CL) experiments, spatial-resolved CL images could also be obtained. As we mentioned before, collection efficiency is also important issue to make an efficient single photon emitter. To confirm the radiation pattern of quantum dot, Fourier optics system was used to capture the angular property of emission. We believe that highly focused localized surface plasmon around site-selective InGaN quantum dot could be a feasible single photon emitter.

  • PDF

협력 P2P 환경에서 VCR 기능을 위한 멀티캐스트 전송 기법 (A Multicast Delivery Technique for VCR-like Interactions in Collaborative P2P Environment)

  • 김종경;김진혁;박승규
    • 한국통신학회논문지
    • /
    • 제31권7B호
    • /
    • pp.679-689
    • /
    • 2006
  • 멀티캐스트 기법은 큰 규모의 VOD 서비스에서 비용을 줄이기 위한 방법 중에 하나다. 그러나 멀티캐스트 전송 시스템에서 사용자의 편의를 위한 VCR 기능(VCR-like Interaction)을 구현하는 것은 복잡한 문제들을 내포하고 있어 이에 대한 해법이 필요하다. 따라서 본 연구는 P2P 개념과 패칭(Patching)을 혼합 적용한 P2Patching 기법을 제안한다. P2Patching 은 VCR 기능 수행 주기 동안에 빈번한 멀티 캐스트 트리의 이탈(Departure)과 참여(Join) 행위에 대한 문제를 개선하기 위하여 다수의 피어(Peer)들이 협력적으로 VCR 기능 스트림을 VCR 기능을 수행하는 클라이언트에게 전송하고 VCR 기능 수행 후에는 이 클라이언트가 원하는 위치의 멀티 캐스트 세션으로 점프를 허용하는 CISS(Collaborative Interaction Streaming Scheme) 알고리즘으로 네트워크의 트래픽을 분산시키고 컨트롤 오버헤드와 지연 (Latency) 을 줄일 수 있다. 그리고 제안 기법의 성능 평가를 위하여 P2Cast[10] 그리고 DSL[11]에 대하여 스트림 전송 토플러지 성능과 컨트롤 오버헤드 그리고 스트리밍 질 (Streaming Quality)을 실험하여 제안한 방법과 비교하였다. 이 실험에서 VCR 기능 수행 시에 DSL 보다 P2Patching이 컨트롤 오버헤드는 약 30% 정도 감소시켰으며 스트리밍의 질은 $25{\sim}30%$ 정도를 향상시켰다.

분류규칙과 강화 역전파 신경망을 이용한 이종 인공유기체의 공진화 (A Coevolution of Artificial-Organism Using Classification Rule And Enhanced Backpropagation Neural Network)

  • 조남덕;김기태
    • 정보처리학회논문지B
    • /
    • 제12B권3호
    • /
    • pp.349-356
    • /
    • 2005
  • 동적이고 비정형적인 환경에서 작업을 수행하기 위해 인공유기체를 이용하는 응용 분야가 빠른 속도로 확대되고 있다. 이러한 분야에서 인공유기체의 행동 지식 표현법으로 일반적인 프로그래밍 또는 전통적인 인공지능 방법을 사용하면, 예측치 못한 상황으로 인한 빈번한 변경과 나쁜 응답성의 문제가 발생한다. 이들 문제들을 기계학습적으로 해결하기 위한 방법으로는 유전자 프로그래밍과 진화 신경망이 대표적이다. 그러나 아직까지도 인공유기체의 학습방법이 문제가 되고 있으며, 같은 환경 속에 서식하는 인공유기체의 종이 같아서 여러생명체를 대표할수 없는 문제점이 있다. 본 논문에서는 학습의 속도와 질을 향상시키기 위해 강화역전파 신경망과 분류규칙을 이용하였으며, 한 환경속에 서식하는 인공유기체의 종을 달리하였다. 제안된 모델을 평가하기 위해서 이종간 인공유기체 집단이 한 가상환경속에서 서로 경쟁하면서 생활하는 시뮬레이터를 설계 및 구현하였고, 그들의 행동진화를 수행결과로 보여주었으며, 타시스템과의 비교분석을 하였다. 결과적으로, 학습의 속도와 질적인 면에서 제안된 모델이 모두 우수한 것을 확인하였다. 본 모델의 특징으로는, 유전자 알고리즘에 의해서 염색체에 표현된 분류 규칙들과 신경망의 학습이 동시에 수행되며, 분류 규칙과 강화역전파 신경망의 2단계의 처리 과정으로 인하여 학습 능력이 강화된다는 점이다.

버스 노선망 설계 문제(BTRNDP)의 고찰 (Reviews of Bus Transit Route Network Design Problem)

  • 한종학;이승재;임성수;김종형
    • 대한교통학회지
    • /
    • 제23권3호
    • /
    • pp.35-47
    • /
    • 2005
  • 버스 대중교통은 정해진 노선, 운행시간표에 의해 정류장을 경유하여 운행하므로 버스 노선망 설계 문제(BTRNDP: Bus Transit Route Network Design Problem)는 승용차위주의 가로망 설계 문제와 다른 접근방법이 요구된다. 버스 노선망 설계 문제의 적용모형은 설계방법의 역사적발전과정에 따라 매뉴얼 및 지침, 시장분석기법, 시스템해석모형, 휴리스틱모형, 하이브리드모형, 경험기반모형, 시뮬레이션모형, 수리최적화모형 등 크게 8가지 분류할 수 있다. BTRNDP는 이용자비용과 운영자비용의 조합인 총비용을 최소화하는 목적함수를 획득하기 위한 일련의 현실적 제약조건하에서 버스노선집합과 배차횟수를 결정하는 문제이다. BTRNDP는 조합최적화문제로 일반적 수리최적화문제로 가능해 공간을 정의하는 것이 어렵기 때문에 모든 가능해로 구성된 큰 탐색공간으로부터 최적해를 탐색해야하는 NP-Hard라는 특성을 가진다. BTRNDP의 목적함수는 이용자와 운영자관점을 모두 고려한 다목적함수(Multi-Objective Function)를 이용하며 수요는 고정수요를 이용하였으나 최근에는 가변수요를 고려한 방법론이 연구되고 있다. 해알고리즘으로 최적 버스 노선망을 구성하게 될 모든 가능한 후보노선집합(Candidate Route Set)을 생성하고 노선집합의 최적조합을 찾는 메타휴리스틱(Meta-heuristic) 알고리즘을 이용하여 전역최적 노선집합을 찾는 방법이 적용되고 있다. 최적 버스 노선망의 배차횟수를 결정하기 위해서 대중교통 통행배분모형이 필요한데 BTRNDP에 적용되는 통행배분모형은 다중경로 통행배분모형이 주로 활용되었다. 국내외 BTRNDP를 고찰한 결과 주요 시사점으로는 BTRNDP에서 가장 중요한 고려사항은 세분화된 버스정류장 기반 기종점통행량 구축, 버스 노선망 평가 모형 및 대중교통 통행 배분모형의 개발, 탐색 해알고리즘의 개발 등의 향후 연구내용이 포함될 수 있다.

Simulation study on effects of loading rate on uniaxial compression failure of composite rock-coal layer

  • Chen, Shao J.;Yin, Da W.;Jiang, N.;Wang, F.;Guo, Wei J.
    • Geomechanics and Engineering
    • /
    • 제17권4호
    • /
    • pp.333-342
    • /
    • 2019
  • Geological dynamic hazards during coal mining can be caused by the failure of a composite system consisting of roof rock and coal layers, subject to different loading rates due to different advancing velocities in the working face. In this paper, the uniaxial compression test simulations on the composite rock-coal layers were performed using $PFC^{2D}$ software and especially the effects of loading rate on the stress-strain behavior, strength characteristics and crack nucleation, propagation and coalescence in a composite layer were analyzed. In addition, considering the composite layer, the mechanisms for the advanced bore decompression in coal to prevent the geological dynamic hazards at a rapid advancing velocity of working face were explored. The uniaxial compressive strength and peak strain are found to increase with the increase of loading rate. After post-peak point, the stress-strain curve shows a steep stepped drop at a low loading rate, while the stress-strain curve exhibits a slowly progressive decrease at a high loading rate. The cracking mainly occurs within coal, and no apparent cracking is observed for rock. While at a high loading rate, the rock near the bedding plane is damaged by rapid crack propagation in coal. The cracking pattern is not a single shear zone, but exhibits as two simultaneously propagating shear zones in a "X" shape. Following this, the coal breaks into many pieces and the fragment size and number increase with loading rate. Whereas a low loading rate promotes the development of tensile crack, the failure pattern shows a V-shaped hybrid shear and tensile failure. The shear failure becomes dominant with an increasing loading rate. Meanwhile, with the increase of loading rate, the width of the main shear failure zone increases. Moreover, the advanced bore decompression changes the physical property and energy accumulation conditions of the composite layer, which increases the strain energy dissipation, and the occurrence possibility of geological dynamic hazards is reduced at a rapid advancing velocity of working face.

고차모드를 고려한 수중날개 와류기인 진동특성 연구 (A Study on Vortex-Induced Vibration Characteristics of Hydrofoils considering High-order Modes)

  • 최현규;홍석윤;송지훈;장원석;최원석
    • 해양환경안전학회지
    • /
    • 제28권2호
    • /
    • pp.377-384
    • /
    • 2022
  • 선박, 잠수함이 추진하면 수중구조물 후류에 와류가 발생하고 이에 따른 와류기인 구조진동이 유발된다. 최근 선박, 잠수함의 고속화 및 대형화 추세에 따라 고차모드에서 유발되는 와류기인 진동 및 피로파괴에 대한 중요성이 강조되고 있다. 고속 유속환경의 와류는 저속 유속환경 대비 큰 진동을 유발하므로 이에 관한 연구가 필요하다. 본 연구에서는 수중날개 고차모드에서 유발되는 와류기인 진동을 예측하기 위한 하이브리드 유체구조연성 해석 방법론을 제시하였다. 고차모드를 고려한 하이브리드 유체구조연성 해석을 수행하여 와류기인 진동을 도출하고 실험결과와 비교함으로써 방법론을 검증하였다. 최종적으로 와류기인 진동으로부터 도출된 최대 von Mises 응력을 노르웨이 선급에서 제시한 S-N 선도에 적용함으로써 고차모드 유체구조연성 해석의 효용성을 확인하였다. 고차모드를 고려하여 와류기인 진동응답을 도출할 경우 유체구조연성에 의한 락인(Lock-in) 특성을 확인하였으며 고려하지 않은 경우 대비 진동응답과 최대 von Mises 응력에서 10배 이상의 차이를 보였다. 향후에는 외팔보 경계조건 및 형상에 대한 확장연구가 필요하다.

실시간 신호제어를 위한 신경망 적용 지체최소화 주기길이 설계모형 개발 (Development of Neural Network Based Cycle Length Design Model Minimizing Delay for Traffic Responsive Control)

  • 이정윤;김진태;장명순
    • 대한교통학회지
    • /
    • 제22권3호
    • /
    • pp.145-157
    • /
    • 2004
  • 국내 실시간 신호제어시스템은 주요교차로의 검지체계에서 산출되는 포화도 정보 및 실시간 신호운영자료를 토대로 차기 주기길이를 설계하고 있다. 이러한 국내 실시간 신호제어시스템의 주기길이 설계모형에 의해 설계되는 차기주기길이는 교통량이 증가하면 주기길이도 증가한다는 주기길이 결정 기본원리를 따르고 있으나 해당 주기길이 설계모형으로 결정되는 주기길이가 과연 지체최소화 주기인지 검토가 요구된다. 또한 국내 실시간 신호제어시스템의 주기길이 설계모형에는 운영자 결정 변수가 있어 차기 주기길이 설계가 비효율적일 수 있으므로 운영자 결정 변수를 제외한 주기길이 설계모형 개발이 필요하다. 이에 본 연구에서는 (1)국내 실시간 신호제어시스템의 주기길이 설계모형을 검토하고, (2)운영자 결정변수를 제외한 주기길이 설계모형을 개발한다. 국내 실시간신호제어시스템의 주기길이 설계모형을 검토한 결과 (1)교차로의 운영상태가 비포화일 경우 지체최소화 주기보다 큰 주기길이를 설계하는 것으로 검토되었고, (2)교차로의 현재 신호주기가 90초 이상일 경우 목적 운영포화도(Target operational volume-to-capacity ratio)가 0.90을 유지하는 반면 신호주기가 90초 미만일 경우 목적운영포화도가 0.90보다 작아지는 것으로 검토되었다. 본 연구는 이러한 점을 고려, 신경망을 이용하여 운영자 결정변수를 제외한 국내 실시간 신호제어시스템을 위한 지체 최소화 주기길이 설계 모형을 개발하였다. 모형 검증결과 본 연구에서 개발된 신경망 모형은 국내 실시간 신호 제어시스템과는 달리 지체최소화 주기길이와 유사한 패턴으로 주기길이를 설계한다는 결과를 도출하였다.택배서비스시장도 성장한 것으로 나타났다. 특히 정부주도에 의한 정보화추진이 전자상거래를 촉진시켜 택배서비스시장에 영향을 미친 것으로 분석되었다.수 있는 Load Balancing System을 제안한다.할 때 가장 효과적인 라우팅 프로토콜이라고 할 수 있다.iRNA 상의 의존관계를 분석할 수 있었다.수안보 등 지역에서 나타난다 이러한 이상대 주변에는 대개 온천이 발달되어 있었거나 새로 개발되어 있는 곳이다. 온천에 이용하고 있는 시추공의 자료는 배제하였으나 온천이응으로 직접적으로 영향을 받지 않은 시추공의 자료는 사용하였다 이러한 온천 주변 지역이라 하더라도 실제는 온천의 pumping 으로 인한 대류현상으로 주변 일대의 온도를 올려놓았기 때문에 비교적 높은 지열류량 값을 보인다. 한편 한반도 남동부 일대는 이번 추가된 자료에 의해 새로운 지열류량 분포 변화가 나타났다 강원 북부 오색온천지역 부근에서 높은 지열류량 분포를 보이며 또한 우리나라 대단층 중의 하나인 양산단층과 같은 방향으로 발달한 밀양단층, 모량단층, 동래단층 등 주변부로 NNE-SSW 방향의 지열류량 이상대가 발달한다. 이것으로 볼 때 지열류량은 지질구조와 무관하지 않음을 파악할 수 있다. 특히 이러한 단층대 주변은 지열수의 순환이 깊은 심도까지 가능하므로 이러한 대류현상으로 지표부근까지 높은 지온 전달이 되어 나타나는 것으로 판단된다.의 안정된 방사성표지효율을 보였다. $^{99m}Tc$-transferrin을 이용한 감염영상을 성공적으로 얻을 수 있었으며, $^{67}Ga$-citrate 영상과 비교하여 더 빠른 시간 안에 우수한 영상을 얻을 수

사례기반 추론기법과 인공신경망을 이용한 서비스 수요예측 프레임워크 (A Hybrid Forecasting Framework based on Case-based Reasoning and Artificial Neural Network)

  • 황유섭
    • 지능정보연구
    • /
    • 제18권4호
    • /
    • pp.43-57
    • /
    • 2012
  • 제조업에 있어서 판매 후 서비스 건수와 내용 등은 향후 서비스 제공을 위한 자원배분의 효율성 증진과 서비스 품질 향상을 위해서도 매우 중요한 정보이다. 따라서 기업들은 향후 발생하는 판매 후 서비스에 대해 정확히 예측하고 그에 따라 적절히 대처하는 능력을 확보할 필요성이 제조업을 중심으로 증가하고 있다. 그러나 실제로 이들 기업들이 활용하고 있는 서비스 수요예측 방법들은 전통적인 통계적인 예측기법이거나, 시뮬레이션을 기반한 기법들이다. 예를 들면, 전통적인 통계적인 예측기법으로는 회귀분석(regression analysis)의 경우, 다양한 제품모델에 대한 판매 후 서비스 발생 패턴이 선형적인 관계가 매우 적음에도 불구하고 선형으로 가정하여 추정한다는 점과 적정한 회귀식을 가정하여야 되며, 이러한 가정이 실제 경영환경에서는 매우 어렵다는 점 등이 기존의 예측기법들의 한계점으로 지적되고 있다. 본 연구에서는 디지털 TV 모델을 생산 판매 하는 A사의 사례연구를 통하여 최근 인공지능연구에서 각광을 받고 있는 사례기반추론(case-based reasoning; CBR) 기법을 활용한 서비스 수요예측 프레임워크를 제안하고자 한다. 또한, 사례기반추론에서 핵심적인 역할 중 하나인 유사 사례추출 방법에 있어서 가장 일반적인 nearest-neighbor 방법 이외의 유사 사례추출 방법을 제안하고자 한다. 특히, 본 연구에서 제안하는 유사 사례추출 방법은 인공신경망(artificial neural network)을 활용한 자기조직화지도(Self-Organizing Maps : SOM) 군집화 기법을 활용한 유사 사례추출 방식으로 이를 활용한 서비스 수요예측 프레임워크에 구현하고, 실제 기업의 판매 후 서비스 데이터를 활용하여 본 연구에서 제안하는 서비스 수요 예측 프레임워크의 유효성을 실증적으로 검증하고자 한다.