• Title/Summary/Keyword: 흐름유도

Search Result 489, Processing Time 0.031 seconds

Runtime-Guard Coverage Guided Fuzzer Avoiding Deoptimization for Optimized Javascript Functions (최적화 컴파일된 자바스크립트 함수에 대한 최적화 해제 회피를 이용하는 런타임 가드 커버리지 유도 퍼저)

  • Kim, Hong-Kyo;Moon, Jong-sub
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.30 no.3
    • /
    • pp.443-454
    • /
    • 2020
  • The JavaScript engine is a module that receives JavaScript code as input and processes it, among many functions that are loaded into web browsers and display web pages. Many fuzzing test studies have been conducted as vulnerabilities in JavaScript engines could threaten the system security of end-users running JavaScript through browsers. Some of them have increased fuzzing efficiency by guiding test coverage in JavaScript engines, but no coverage guided fuzzing of optimized, dynamically generated machine code was attempted. Optimized JavaScript codes are difficult to perform sufficient iterative testing through fuzzing due to the function of runtime guards to free the code in the event of exceptional control flow. To solve these problems, this paper proposes a method of performing fuzzing tests on optimized machine code by avoiding deoptimization. In addition, we propose a method to measure the coverage of runtime-guards by the dynamic binary instrumentation and to guide increment of runtime-guard coverage. In our experiment, our method has outperformed the existing method at two measures: runtime coverage and iteration by time.

Structural Analysis for Constructing a Balloon Type Extracoporeal Membrane Oxygenator using CFD Analysis (CFD 해석을 이용한 Balloon형 인공심폐기 설계를 위한 구조적 해석)

  • Park, Young-Ran;Shim, Jeong-Yeon;Kim, Gi-Beum;Kim, Shang-Jin;Kang, Hyung-Sub;Kim, Jin-Shang;Kim, Min-Ho;Hong, Chul-Un;Kim, Seong-Jong
    • Korean Chemical Engineering Research
    • /
    • v.49 no.2
    • /
    • pp.238-243
    • /
    • 2011
  • In this study, we attempted a structural analysis in order to design a balloon type extracorporeal membrane oxygenator that can induce blood flow without using blood pumps for the purpose of complementing the weakness in the existing extracorporeal membrane oxygenator. To analyze the flow characteristic of the blood flow within the virtual model of extracorporeal membrane oxygenator, computational fluid dynamics(CFD) modeling method was used. The operating principle of this system is to make the surface of the extracorporeal membrane oxygenator keep contracting and dilating regularly by applying pressure load using a balloon, and the 'ime Function Value'that changes according to the time was applied by calculating a half cycle of sine waveform and a cycle of sine.waveform Under the assumption that the uni-directional blood flow could be induced if the balloon type extracorporeal membrane oxygenator was designed as per the method described above, we conducted a structural analysis accordingly. We measured and analyzed the velocity and pressure of blood flow at both inlet and outlet of the extracorporeal membrane oxygenator through CFD simulation. As a result of the modeling, it was confirmed that there was a flow in accord with the direction of the blood by the contraction/dilation. With CFD simulation, the characteristics of blood flow can be predicted in advance, so it is judged that this will be able to provide the most optimized design in producing an extracorporeal membrane oxygenator.

백색 LED증착용 MOCVD 유도가열 장치에서 가스 inlet위치에 따른 기판의 온도 균일도 측정

  • Hong, Gwang-Gi;Yang, Won-Gyun;Ju, Jeong-Hun
    • Proceedings of the Korean Vacuum Society Conference
    • /
    • 2010.08a
    • /
    • pp.115-115
    • /
    • 2010
  • 고휘도 고효율 백색 LED (lighting emitting diode)가 차세대 조명광원으로 급부상하고 있다. 백색 LED를 생산하기 위한 공정에서 MOCVD (유기금속화학증착)장비를 이용한 에피웨이퍼공정은 에피층과 기판의 격자상수 차이와 열팽창계수차이로 인하여 생성되는 에피결함의 문제로 기판과 GaN 박막층 사이에 완충작용을 해줄 수 있는 버퍼층 (Buffer layer)을 만든다. 그 위에 InGaN/GaN MQW (Multi Quantum Well)공정을 하여 고휘도 고효율 백색 LED를 구현 할 수 있다. 이 공정에서 기판의 온도가 불균일해지면 wafer 파장 균일도가 나빠지므로 백색 LED의 yield가 떨어진다. 균일한 기판 온도를 갖기 위한 조건으로 기판과 induction heater의 간격, 가스의 흐름, 기판의 회전, 유도가열코일의 디자인 등이 장비의 설계 요소이다. 본 연구에서는 유도가열방식의 유도가열히터를 이용하여 기판과 히터의 간격에 차이에 따른 기판 균일도 측정했고, 회전에 의한 기판의 온도분포와 자기장분포의 실험적 결과를 상용화 유체역학 코드인 CFD-ACE+의 모델링 결과와 비교 했다. 또한 가스의 inlet위치에 따른 기판의 온도 균일도를 측정하였다. 본 연구에서 사용된 가열원은 유도가열히터 (Viewtong, VT-180C2)를 사용했고, 가열된 흑연판 표면의 온도를 2차원적으로 평가하기 위하여 적외선 열화상 카메라 (Fluke, Ti-10)를 이용하여 온도를 측정했다. 와전류에 의한 흑연판의 가열 현상을 누출 전계의 분포로 확인하기 위하여 Tektronix사의 A6302 probe와 TM502A amplifier를 사용했다. 흑연판 위에 1 cm2 간격으로 211곳에서 유도 전류를 측정했다. 유도전류는 벡터양이므로 $E{\theta}$를 측정했으며, 이때의 측정 방향은 흑연판의 원주방향이다. 또한 자기장에 의한 유도전류의 분포를 확인하기 위하여 KANETEC사의 TM-501을 이용하여 흑연판 중심으로부터 10 mm 간격으로 자기장을 측정 했다. 저항 가열 히터를 통하여 대류에 의한 온도 균일도를 평가한 결과 gap이 3 mm일때, 평균 온도 $166.5^{\circ}C$에서 불균일도 6.5%를 얻었으며, 회전에 의한 온도 균일도 측정 결과는 2.5 RPM일 때 평균온도 $163^{\circ}C$에서 5.5%의 불균일도를 확인했다. 또한 CFD-ACE+를 이용한 모델링 결과 자기장의 분포는 중심이 높은 분포를 나타냄을 확인했고, 기판의 온도분포는 중심으로부터 55 mm되는 곳에서 300 W/m3로 가장 높은 분포를 나타냈다. 가스 inlet 위치를 흑연판 중심으로 수직, 수평 방향으로 흘려주었을 때의 불균일도는 각각 10.5%, 8.0%로 수평 방향으로 가스를 흘려주었을 때 2.5% 온도 균일도 향상을 확인했다.

  • PDF

Design and Implementation of Supporting System of a Self-Directed Learning using Virtual Document Concept (가상문서를 개념을 활용한자기 주도적 학습지원 시스템의 설계 및 구현)

  • Noh, Jin-Soon;Lee, Yong-Bae;Myaeng, Sung-Hyon
    • Journal of The Korean Association of Information Education
    • /
    • v.6 no.2
    • /
    • pp.234-245
    • /
    • 2002
  • A new era has come where high quality educational materials can be acquired easily through the World Wide Web. These materials, however, need to be refined and streamlined to maximize their effect on education. In order to provide such a streamlined flow, we need to be able to re-organize documents, which exist independent of each other on the Web, in a way that maintains their appropriate order in the right context to satisfy educational purposes. In addition, we should be able to provide supplementary explanations or missing information to the organized materials for smooth connections among them. In order to meet the requirements, we employed the virtual document concept that allows us to reuse existing documents for educational purposes. By providing a retrieval engine for virtual documents, we attempt to induce self-directed learning based on document retrieval, suitable for the level and purpose of students.

  • PDF

Investigation on the Stage-Discharge Relation in Inclined Spiral Intake for the Various Inclination (유입구 경사 변화에 따른 나선식 종경사형 유입구 수위-유량 관계 검토)

  • Rhee, Dong-Sop;Kim, Chang-Wan
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2009.05a
    • /
    • pp.1903-1907
    • /
    • 2009
  • 최근 도입 필요성이 계속하여 높아지고 있는 지하방수로 유입구로는 유입구 효율과 성능으로 인하여 와류식 유입구가 많이 적용되고 있다. 그 중 나선식 유입구(spiral intake)는 가장 일반적으로 사용되는 형식으로 초기에 활용되었던 원형 유입구(circular intake)를 대신하여 사용되는 형식이다. 형태적인 복잡성에 도 불구하고 형식상의 특성으로 인하여 와류(vortex)를 안정적으로 형성시키기 때문에 많이 사용되고 있다. 나선식 지하방수로 유입구가 사용되는 가장 큰 이유는 유입구 내부에서도 수위가 안정적으로 유지되며, 유입 유량에 따른 수위의 변화가 다른 유입구 형식에 비하여 비교적 안정적으로 예측 가능하기 때문이며, 만약 지하방수로 유입구 내부에서 수위가 안정적으로 유지되지 못하고 도수 현상 등에 의한 수위 상승 현상 등이 발생하는 경우 지하방수로 내부로 안정적으로 유량을 배제하는 것이 어려워지고, 또한 도수 현상이 발생하는 동안 과도한 유량이 유입될 경우 다시 본류로 흐름이 역류할 가능성도 생각할 수 있다. 따라서 유입구 형상에 따른 수위의 변화를 정확히 예측하는 것이 매우 중요해 진다. 본 연구에서 검토될 나선식 종경사형 유입구(inclined spiral intake)는 일정한 바닥 경사를 도입하여 사류 흐름을 보다 안정적으로 가속시켜 유입구 내부에서의 도수 현상을 방지하는 형식으로 유입구 바닥의 외측 또는 중앙선을 따라서 일정한 경사를 주어 사류 유입 흐름을 안정적으로 유도함으로서 유량 배제 효율을 높인 형태라 할 수 있다. 본 연구에서는 유입구 외측을 기준으로 일정한 경사(5.0 %, 7.5 %, 10.0%, 12.5%)를 가진 나선식 종경사형 유입구 모형을 제작하여 유입 유량 변화에 따른 유입구 내부에서 수위-유량관계를 확인하였다

  • PDF

Flow Characteristics Induced by Shift and Modification of Submerged Weir at Han River Estuary (수중보 이설 및 변형에 따른 한강 하구 흐름 특성)

  • Baek, Kyong Oh;Yim, Dong Hee
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.31 no.2B
    • /
    • pp.109-119
    • /
    • 2011
  • In this study, the flow characteristics of Han River Estuary were investigated by using a two-dimensional numerical model according to the assumption of shift and modification of the Shingok submerged weir. The two-dimensional analysis has contributed to our understanding of the hydraulic effects induced by shift of the weir on the topography, especially wetlands. The tide and flow discharge of 2007 were adopted as an input data for the simulation. The tidal data contained both spring and neap tide, and the flow discharge condition was divided into monsoon and normal seasons. The boundaries of this study were Hangang Bridge, Tongil Bridge, and Yu island. The simulation results showed that influence area of seawater changed depending on the weir shift, and the water level at particular station fluctuated according to the condition of tide and flow discharge.

Development of Soil Moisture Monitoring System for Effective Soil Moisture Measurement for Hillslope Using Flow Distribution Algorithm and TDR (산지사면의 효과적인 토양수분 측정을 위한 흐름분배 알고리즘과 TDR을 이용한 토양수분 측정망의 구성)

  • Kang, Chang-Yong;Kim, Sang-Hyun;Jung, Sung-Won;Kim, Won
    • Journal of Korea Water Resources Association
    • /
    • v.37 no.1
    • /
    • pp.31-41
    • /
    • 2004
  • A soil moisture measuring method of hillslope for Korean watershed is developed to configure spatial-temporal distribution of soil moisture. Intensive surveying of topography had been performed to make a digital elevation model(DEM). Flow distribution algorithms were applied and a measurement system was established to maximize representative features of spatial variation. Soil moisture contribution mechanisms of rainfall-runoff process have been derived. Measurements were performed at the right side hillslope of Buprunsa located at the Sulmachun watershed. A Multiplex system has been operated and spatial-temporal soil moisture data have been acquired. Relatively high correlation relationship between flow distribution algorithm and measurement data can be found on the condition of high humidity.

Development and application of cohesive sediment transport model (점착성 유사의 이동 모형화 및 적용)

  • Son, Min-Woo;Lee, Guan-Hong
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2011.05a
    • /
    • pp.331-335
    • /
    • 2011
  • 흔히 진흙으로 불리는 점착성 유사는 모래 등의 비점착성 유사와는 다른 특성을 보인다. 가장 큰 특징은 점착력에 의해 서로 엉겨 붙어 큰 덩어리(플럭)를 형성하고 다시 큰 플럭이 파괴되는 과정인 응집현상(Flocculation Process)을 보인다는 것이다. 이 응집현상의 과정을 통해 플럭은 크기 및 밀도를 지속적으로 변화시킨다. 크기 및 밀도의 변화는 플럭의 침강속도를 변화시켜 점착성 유사의 부유, 퇴적, 이송, 확산의 과정에 직접적인 영향을 미친다. 응집현상은 플럭의 침강속도 뿐 아니라 부피농도와 질량농도 사이의 비선형적 관계를 야기하여 흐름 운동량 방정식 유도, 난류의 모형화 등에서도 비점착성 유사와 다른 방향으로 진행된다. 점착성 유사가 우세한 지역의 또 다른 특성은 자기하중에 의한 압밀현상에 따라 발생하는 가변적인 한계소류력이다. 따라서 점착성 유사의 이동을 모형화 하는 과정에서는 가변적인 침식율의 가정 등을 통해 이에 대한 고려가 반드시 이루어져야 한다. 흐름의 운동량 방정식 및 난류 모형에서는 플럭의 부피 농도와 질량농도가 각 항의 물리적 의미에 부합하도록 개별적으로 선택 및 적용되어야 질량보존의 문제 등으로 발생할 수 있는 계산상의 오류를 배제할 수 있다. 적용 결과, 점착성 유사가 우세한 지역에서 나타나는 높은 부유 및 흐름정체기에서의 부유사 존재 등의 특성이 점착성 유사 이동을 위한 모형에서 보다 합리적으로 계산된다는 사실이 확인되었다. 그리고 비점착성 유사에 적합한 이동 모형이 점착성이 우세한 지역에 적용될 경우, 상황에 따라 유사량을 과대 및 과소 산정할 수 있다는 결론이 도출되었다. 조류의 영향이 존재하는 하구부의 경우에는 조류의 형태와 비대칭성에 따라 유사량의 차이가 큰 것으로 나타났다. 조류의 형태는 주로 하구부의 지형에 의해 결정되므로 준설, 매립, 확폭 등과 같은 하구부에서의 사업이 진행되는 경우, 유사량 변화에 대한 고려가 반드시 이루어져야 할 것으로 판단된다.

  • PDF

The Development of Continuous Flow Method Through Microwave Oven for the Analysis of Metal Oxides in Water by ICP-AES (ICP-AES에 의한 수중의 금속 산화물 직접분석을 위한 연속흐름 Microwave 용해장치 개발 연구)

  • Kim, Yeon Du;Lee, Gye Ho;Kim, Hyeong Seung;Kim, Dong Su;Park, Gwang Gyu
    • Journal of the Korean Chemical Society
    • /
    • v.38 no.8
    • /
    • pp.576-584
    • /
    • 1994
  • The method described offers rapid and efficient sample preparation using on-line microwave digestion of metal oxides in water sample with direct elemental detection by ICP-AES. The open tubing digestion system(OTD) and the restraint tubing digestion system(RTD) for flow injection(FI) were designed and tested to find the optimum conditions. Comparison of OTD and RTD indicated that RTD was 3 times faster on the digestion time, and 10 times higher on sample mass. Finally, the results of RTD agree well with those by conventional microwave open vessel in all cases and show good precision; Fe and Cu show good with about 5% of RSD, while Zn and Co more or less than 10% RSD.

  • PDF

Determination of the Optimal Location of Baffle Blocks in the Sluice Gate (하단방류형 가동보 감세블록의 최적 위치 선정)

  • Cho, Sung Yoon;Jang, Dong Woo;Park, Hyo Seon
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2015.05a
    • /
    • pp.361-361
    • /
    • 2015
  • 감세블록(baffle block)은 고속의 흐름에서 도수를 유도함으로써 과도한 에너지를 감세시키는 역할을 하는 구조물이며 구조물의 크기, 형태, 위치, 조합 등의 변수로 도수가 형성되는 조건을 조절하여 흐름에 영향을 줄 수 있다. 하단방류형 가동보에서 고속으로 방류되는 흐름의 Froude 수가 2.5에서 4.5 사이일 경우 발생하는 불규칙한 주기의 진동이 중첩 보강되면 감세하기 어려운 파동을 형성하여 수 Km 동안 지속될 수 있어 추가적인 조치가 필요하다(Peterka, 1984). 이 연구에서는 총 연장 11m, 폭 0.5m의 구형수로에 하단방류형 가동보와 감세블럭을 설치하여 감세블록의 위치가 에너지의 감세에 미치는 영향을 분석하고, 감세블록의 최적 위치를 제안하였다. 감세블럭은 높이 2cm, 폭 5cm의 구형단면으로 제작하여 일정한 간격으로 치형 배열하였으며, 가동보로 부터 5.5~8.5cm 지점에서 1cm간격으로 총 5가지 조건으로 수리실험을 수행하였다. 또한, 수문 하단에서의 Froude 수가 3.8~3.9를 만족하는 강한 도수가 발생할 수 있도록 유량을 조절 하였고, 유속과 수심은 3차원 유속계와 피에조미터를 이용하여 가동보로부터 0.2m간격으로 하류단 2m 지점까지 측정하였다. 실험 결과, 가동보로부터 도수가 발생하여 수위가 안정되는 지점까지의 도수길이는 감세블록을 설치한 경우, 설치하기 전의 1.1m와 비교하여 최소 27.3%에서 최대 81.8%만큼 짧아졌으며 감세블록 보에 가깝게 설치될수록 도수길이는 단축되는 것으로 나타났다. 가동보 하류부에서 도수가 발생한 이후 수심이 안정화되는 1m 지점에서, 도수 전후의 비에너지비로 정의되는 도수효율은 감세블록 미설치 시 74.9%이고, 감세블록이 설치된 조건에서는 54.9~60.6%로 감세블록에 의한 에너지 감소효과가 큰 것으로 나타났다. 에너지 감세 효과가 가장 큰 감세블록 위치는 가동보로부터 6.5cm 떨어진 곳으로 하류단 수심의 약 80%에 해당하는 지점이 감세블록의 최적 위치인 것으로 판단된다.

  • PDF