• Title/Summary/Keyword: control flow reconstruction

Search Result 22, Processing Time 0.026 seconds

Tomographic Reconstruction of a Three-Dimensional Flow Field with Limited Interferometric Data

  • Cha, Dong-Jin
    • International Journal of Air-Conditioning and Refrigeration
    • /
    • v.8 no.2
    • /
    • pp.11-22
    • /
    • 2000
  • Holographic interferometric tomography can provide reconstruction of instantaneous three-dimensional gross flow fields. The technique however confronts ill-posed reconstruction problems in practical applications. Experimental data are usually limited in projection and angular scanning when a field is captured instantaneously or under the obstruction of test models and test section enclosures. An algorithm, based on a series expansion method, has been developed to improve the reconstruction under the ill-posed conditions. A three-dimensional natural convection flow around two interacting isothermal cubes is experimentally investigated. The flow can provide a challenging reconstruction problem and lend itself to accurate numerical solution for comparison. The refractive index fields at two horizontal sections of the thermal plume with and without an opaque object are reconstructed at a limited view angle of 80$\circ$. The experimental reconstructions are then compared with those from numerical calculation and thermocouple thermometry. It confirms that the technique is applicable to reconstruction of reasonably complex, three-dimensional flow fields.

  • PDF

Reduced Order Modeling of Backward-Facing-Step Flow Field (후향계단 유동장 축약모델링 기법)

  • Lee, Jin-Ik;Lee, Eun-Seok
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.40 no.10
    • /
    • pp.833-839
    • /
    • 2012
  • In this paper, we analyze the reconstruction error in the modeling of flow field on BFS(Backward Facing Step). In order for the mathematical modelling of a density on the field, the spatial and temporal modes are extracted by POD(Proper Orthogonal Decomposition) method. After formulating the modeling error, we summarize the relationship between the energy strength and the reconstruction errors. Moreover the allowable modeling error limits in the flow control point of view are confined by analysing in the frequency domain as well as time domain of the reconstructed data.

Control Flow Reconstruction from Virtualization-Obfuscated Binaries (가상화를 이용하여 난독화된 바이너리의 제어 흐름 재건)

  • Hwang, Joonhyung;Han, Taisook
    • Journal of KIISE
    • /
    • v.42 no.1
    • /
    • pp.44-53
    • /
    • 2015
  • Control flow information is useful in the analysis and comparison of programs. Virtualization-obfuscation hides control structures of the original program by transforming machine instructions into bytecode. Direct examination of the resulting binary reveals only the structure of the interpreter. Recovery of the original instructions requires knowledge of the virtual machine architecture, which is randomly generated and hidden. In this paper, we propose a method to reconstruct original control flow using only traces generated from the obfuscated binary. We consider traces as strings and find an automaton that represents the strings. State transitions in the automaton correspond to the control transfers in the original program. We have shown the effectiveness of our method with commercial obfuscators.

EFFICIENT COMPUTATION OF COMPRESSIBLE FLOW BY HIGHER-ORDER METHOD ACCELERATED USING GPU (고차 정확도 수치기법의 GPU 계산을 통한 효율적인 압축성 유동 해석)

  • Chang, T.K.;Park, J.S.;Kim, C.
    • Journal of computational fluids engineering
    • /
    • v.19 no.3
    • /
    • pp.52-61
    • /
    • 2014
  • The present paper deals with the efficient computation of higher-order CFD methods for compressible flow using graphics processing units (GPU). The higher-order CFD methods, such as discontinuous Galerkin (DG) methods and correction procedure via reconstruction (CPR) methods, can realize arbitrary higher-order accuracy with compact stencil on unstructured mesh. However, they require much more computational costs compared to the widely used finite volume methods (FVM). Graphics processing unit, consisting of hundreds or thousands small cores, is apt to massive parallel computations of compressible flow based on the higher-order CFD methods and can reduce computational time greatly. Higher-order multi-dimensional limiting process (MLP) is applied for the robust control of numerical oscillations around shock discontinuity and implemented efficiently on GPU. The program is written and optimized in CUDA library offered from NVIDIA. The whole algorithms are implemented to guarantee accurate and efficient computations for parallel programming on shared-memory model of GPU. The extensive numerical experiments validates that the GPU successfully accelerates computing compressible flow using higher-order method.

A Study of the Analysis of Characteristics of Nonlinear Dynamic System on Blood-Flow of Peripheral Blood-Vessel between Diabetic Patients and Control Subjects (당뇨병환자와 정상인의 말초혈관혈류의 비선형적 운동계 분석에 대한 연구)

  • Kim, D.H.;Choi, J.Y.;Yi, S.H.;Go, H.W.;Nam, S.H.
    • Proceedings of the KOSOMBE Conference
    • /
    • v.1996 no.11
    • /
    • pp.363-367
    • /
    • 1996
  • In general, the physiological systems have shown nonlinear complex phenomena. This study analyzes nonlinear characteristics of the flow of peripheral blood vessel dynamics in physiological systems using chaos theory. We performed this study by means of several quantity methods and power spectrum. The quantity methods are a phase space reconstruction and a poincare's map. And the power spectrum method is a conventional linear analysis. Experimental data have been acquired from examining 10 diabetic patients, and 10 control subjects in initial stable state. In acquisition experminetal data, we anlysized the differences of nonlinear characteristics between diabetic group and control group. The results of quality analysis methods showed the flow of peripheral blood vessel had the nonlinear and chaotic characteristics, screening a strange attractor on reconstructed phase space. In conclusion, the flow dynamics of peripheral blood vessel had a chaotic behavior of nonlinear dynamic systems, dynamic system, and differences of characteristic of nonlinear dynamic system.

  • PDF

A study of extended processor trace decoder structure for malicious code detection (악성코드 검출을 위한 확장된 프로세서 트레이스 디코더 구조 연구)

  • Kang, Seungae;Kim, Youngsoo;Kim, Jonghyun;Kim, Hyuncheol
    • Convergence Security Journal
    • /
    • v.18 no.5_1
    • /
    • pp.19-24
    • /
    • 2018
  • For a long time now, general-purpose processors have provided dedicated hardware / software tracing modules to provide developers with tools to fix bugs. A hardware tracer generates its enormous data into a log that is used for both performance analysis and debugging. Processor Trace (PT) is a new hardware-based tracing feature for Intel CPUs that traces branches executing on the CPU, which allows the reconstruction of the control flow of all executed code with minimal labor. Hardware tracer has been integrated into the operating system, which allows tight integration with its profiling and debugging mechanisms. However, in the Windows environment, existing studies related to PT focused on decoding only one flow in sequence. In this paper, we propose an extended PT decoder structure that provides basic data for real-time trace and malicious code detection using the functions provided by PT in Windows environment.

  • PDF

Analysis of traffic volume for control during an existing tunnel enlargement (발파에 의한 터널확대 굴착 시 교통처리를 위한 교통량 분석)

  • Kim, Woong-Ku;Baek, Ki-Hyun;Seo, Kyoung-Won
    • Proceedings of the Korean Geotechical Society Conference
    • /
    • 2010.09a
    • /
    • pp.1328-1332
    • /
    • 2010
  • The enlargement of existing tunnels is required to cope with problems related to traffic congestion. Sometimes, the tunnel traffic must be maintained through existing tunnels during their reconstruction due to non-availability of detours. And excavation by drill and blasting is desired for widening a hard rock tunnel. In this case, the road must be closed for some period for blasting through analyzing of traffic volume. In this paper, a case study on some traffic countermeasures for tunnel enlargement by blasting was performed. And the traffic flow characteristics of some tunnels in domestic main city were analyzed.

  • PDF

EXTENSION OF MULTI-DIMENSIONAL LIMITING PROCESS ONTO THREE-DIMENSIONAL UNSTRUCTURED GRIDS (다차원 공간 제한 기법의 3차원 비정렬 격자계로 확장)

  • Park, J.S.;Kim, C.
    • 한국전산유체공학회:학술대회논문집
    • /
    • 2010.05a
    • /
    • pp.404-411
    • /
    • 2010
  • The present paper deals with the continuous work of extending multi-dimensional limiting process (MLP), which has been quite successfully proposed on two- and three-dimensional structured grids, onto the unstructured grids. The basic idea of the present limiting strategy is to control the distribution of both cell-centered and cell-vertex physical properties to mimic a multi-dimensional nature of flow physics, which can be formulated as so called the MLP condition. The MLP condition can guarantee a high-order spatial accuracy without yielding spurious oscillations. Recently, MLP slope limiter was proposed based on the MUSCL-type reconstruction in two-dimensional case and it can be readily extended to three-dimensional case. Through various numerical analyses and extensive computations, it is observed that the proposed limiters are quite effective in controlling numerical oscillations and very accurate in capturing both discontinuous and continuous multi-dimensional flow features on 3-D tetrahedral grids.

  • PDF

FLOW PHYSICS ANALYSES USING HIGHER-ORDER DISCONTINUOUS GALERKIN-MLP METHODS ON UNSTRUCTURED GRIDS (비정렬 격자계에서 고차 정확도 불연속 갤러킨-다차원 공간 제한 기법을 이용한 유동 물리 해석)

  • Park, J.S.;Kim, C.
    • 한국전산유체공학회:학술대회논문집
    • /
    • 2011.05a
    • /
    • pp.311-317
    • /
    • 2011
  • The present paper deals with the continuous works of extending the multi-dimensional limiting process (MLP) for compressible flows, which has been quite successful in finite volume methods, into discontinuous Galerkin (DG) methods. From the series of the previous, it was observed that the MLP shows several superior characteristics, such as an efficient controlling of multi-dimensional oscillations and accurate capturing of both discontinuous and continuous flow features. Mathematically, fundamental mechanism of oscillation-control in multiple dimensions has been established by satisfaction of the maximum principle. The MLP limiting strategy is extended into DG framework, which takes advantage of higher-order reconstruction within compact stencil, to capture detailed flow structures very accurately. At the present, it is observed that the proposed approach yields outstanding performances in resolving non-compressive as well as compressive flaw features. In the presentation, further numerical analyses and results are going to be presented to validate that the newly developed DG-MLP methods provide quite desirable performances in controlling numerical oscillations as well as capturing key flow features.

  • PDF

A New Refinement Method for Structure from Stereo Motion (스테레오 연속 영상을 이용한 구조 복원의 정제)

  • 박성기;권인소
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.8 no.11
    • /
    • pp.935-940
    • /
    • 2002
  • For robot navigation and visual reconstruction, structure from motion (SFM) is an active issue in computer vision community and its properties arc also becoming well understood. In this paper, when using stereo image sequence and direct method as a tool for SFM, we present a new method for overcoming bas-relief ambiguity. We first show that the direct methods, based on optical flow constraint equation, are also intrinsically exposed to such ambiguity although they introduce robust methods. Therefore, regarding the motion and depth estimation by the robust and direct method as approximated ones. we suggest a method that refines both stereo displacement and motion displacement with sub-pixel accuracy, which is the central process f3r improving its ambiguity. Experiments with real image sequences have been executed and we show that the proposed algorithm has improved the estimation accuracy.