• Journal of Korea Society of Digital Industry and Information Management
• /
• v.5 no.3
• /
• pp.87-98
• /
• 2009

This paper discuss secure information flow analysis and its visualization. Information leak is defined as existence of information flow from variables which have user's private informations to variables that anyone can access. Secure information flow analysis has been made to decide of whether the information leak is or not. There are many researches for secure information flow analysis concerning high level programming languages. But actually, programs that user executes don't have program source code represented in high level programming language. Thus there is need for analysis of program represented in low level language. More to analysis, visualization of analysis is very important. So, this paper discuss visualization of secure information flow analysis. In this paper, Mini x86 Assembly Language which is subset of x86 assembly language is defined and secure information flow analysis of program is proposed. In addition, this paper defines transfer function that is used for analysis and shows how to visualize control flow graph.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.11a
• /
• pp.403-408
• /
• 1996

The subchannel analysis was performed to verify the behavior of hot channel characteristics and obtain the information to support the core thermal-hydraulic behavior at post-trip steam line break with low flow condition. During this postulated accident, buoyancy-induced cross flow occurs, and the coupled nuclear and thermal-hydraulic interactions become important. The code predictions with TORC are in good agreement with the test data. Under such conditions, the mass flow increase in the hot channel by buoyancy-induced cross flow depends on the parameter $GR^{*}\;/\;Re^2$, and buoyancy effect becomes more noticeable as $GR^{*}\;/\;Re^2$ increases.

• Journal of Industrial Technology
• /
• v.15
• /
• pp.153-168
• /
• 1995

The purpose of this study is to develop a method for predicting the aerodynamic performance of the subsonic airfoils in the 2-dimensional, steady and viscous flow. For this study, the airfoil geometry is specified by adopting the longest chord line system and by considering local surface curvature. In case of the inviscid-incompressible flow, the analysis is accomplished by the linearly varying strength vortex panel method and the Karman-Tsien correction law is applied for the inviscid-compressible flow analysis. The Goradia's integral method and the Truckenbrodt integral method are adopted for the boundary layer analysis of the laminar flow and the turbulent flow respectively. Viscous and inviscid solutions are converged by the Lockheed iterative calculating method using the equivalent airfoil geometry. And the analysis of the seperated flow is performed using the Dvorak and Maskew's method as the basic method. The wake effect is also considered and its geometry expressed by the formula of Summey & Smith when no seperation occurs. A computational efficiency is verified by the comparison of the computational results with experimental data and by the shorter execution time.

• Proceedings of the KSME Conference
• /
• 2003.04a
• /
• pp.2076-2082
• /
• 2003

A cross-flow fan is widely used on many industrial fields: mining industry, automobile and home appliances, etc. The design point of the cross-flow fan is generally based on the region within low static pressure and high flow rate. It relatively makes high dynamic pressure at low speed because a working fluid passes through an impeller blade twice. However, it has low static pressure efficiency between 30% and 40% because of relative high impact loss. Recently, in the air-conditioning systems, the operating behaviors at the off-design points are highly regarded to broaden the application area for various air-cooling loads. Especially, at the lower flow rate, there exists a rapid pressure head reduction, a noise increase and an irregular flow field against a rearguider as a scroll of centrifugal fan. Numerical analyses are carried out for investigating the flow characteristics in a cross-flow fan including the impeller, the rearguider and the stabilizer. Especially, various types of rearguiders are estimated by numerical and experimental methods to insure the stable operation in the region of lower flow rate. Numerical domains are discretized by hexahedral cells. Three-dimensional, unsteady governing equations are solved using FVM, PISO algorithm, sliding grid system and standard ${\kappa}-{\varepsilon}$ turbulence model. ASHRAE standard fan tester is also used to estimate the performance of the modeled crossflow fan.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.21 no.12
• /
• pp.1586-1594
• /
• 1997

Performance characteristics of a small propeller fan are numerically investigated solving the continuity and Reynolds-averaged Navier-Stokes equations. The Reynolds stresses for turbulent transport are modelled using a k-.epsilon. turbulence model. The present numerical procedure is constructed using the Finite Volume Method with the SIMPLE algorithms. The performance parameters obtained from the calculations are compared with the measured values for the various flow rates. A performance test of the fan shows different characteristics between a radial type at small flow rates and an axial type at large flow rates. Comparisons between the predictions and the measurements show that the predicted results are in good agreement with the measured values and reasonably reproduce the sharp variations of the power and head coefficient around a flow coefficient .PHI.=0.3. These comparisons indicate that the present numerical method is capable of resolving the performance characteristics with reasonable accuracy. At low flow rates, it is found that the flow enters the fan in an axial direction and is discharged radially outward at the tip which happens in the centrifugal fan. The centrifugal effect makes a significant difference in the characteristics of a fan at the low and high values of flow coefficient.

• The Journal of Engineering Geology
• /
• v.32 no.4
• /
• pp.547-558
• /
• 2022

In August 2020, a debris flow occurred in Gokseon, Jeollanam-do, that resulted in the death of five residents. In this study area, high-resolution 0.03 m topographic information was generated through photogrammetry, and the amount of soil movement/loss was measured. In addition, sensitivity analysis was performed for flow depth, flow velocity, and debris flow area with the program Flo-2D using the difference in simulation parameter that discharge and topographic information. Wth increasing debris flow input discharge, increases were seen in flow depth, flow velocity, and debris flow area, as ell as in the gap in results from high-resolution topographic information and low-resolution topographic information. Also, when high-resolution topographic information was used, the results were similar to the actual (measured) flow direction of the debris flow. Therefore, the application of high-resolution topographic information increases the accuracy of the debris flow analysis results compared with low-resolution information. Results could be further imporved in the future by considering geological information such as yield stress and viscosity.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2000.06a
• /
• pp.1429-1436
• /
• 2000

Suction muffler is one of the important component of a compressor for low noise level and high efficiency. The suction muffler which has the complicated flow path gives the higher transmission loss of sound, but lower efficiency of compressor results from the superheating effect and flow loss in suction flow path. It is shown that the computational analysis of fluid dynamics are very popular methods for designing of high performance and low noise suction muffler. To reduce the thermodynamic and flow loss in suction process, the flow path of suction muffler was estimated by FVM(Finite Volume Method) and verified by experiments. And to enlarge the transmission loss of sound, the acoustic properties inside the suction muffler was analyzed by FEM(Finite Element Method) and experiments. The smart muffler which gives a good efficiency and low noise character was developed by using those methods, and the effect was evaluated in compressor by experiment.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.21 no.6
• /
• pp.544-551
• /
• 2008

We have studied the dielectric characteristics of low-k interlayer dielectric materials fabricated by PECVD for various precursor's flow rates. BTMSM precursor was introduced with the flow rates from 42 sccm to 60 sccm by 2 sccm step in the constant flow rate of 60 sccm $O_2$. The absorption intensities of Si-O-$CH_x$ bonding group and Si-$CH_x$ bonding group changed synchronously for the variation of precursor flow rate, but the intensity of Si-O-Si(C) responded asynchronously with the $CH_x$ combined bonds. The heat treatment reduced the FTIR absorption intensity of Si-O-$CH_x$ bonding group and Si-$CH_x$ bonding group but increased the intensity of Si-O-Si(C). The nanopore and free space formed by the increasement of caged link mode and cross link mode of Si-O-Si(C) group implied the origin of low-k SiOCH films.

• Journal of computational fluids engineering
• /
• v.14 no.1
• /
• pp.78-85
• /
• 2009

A combined theoretical and numerical study is conducted to design a slit nozzle for large-area liquid coating. The objectives are to guarantee the uniformity in the injected flow and to provide the capability of explicit control of flow rate. The woking fluid is a dilute aqueous solution containing single-walled carbon nanotubes and its low viscosity and the presence of dispersed materials pose technical hurdles. A theoretical analysis leads to a guideline for the geometric design of a slit nozzle. The CFD-based numerical experiment is employed as a verification tool. A new flow passage unit, connected to the nozzle chamber, is proposed to permit the control of flow rate by using the commodity pressurizer. The numerical results confirm the feasibility of this idea. The optimal geometry of internal structure of the nozzle has been searched for numerically and the related issues are discussed.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.13 no.12
• /
• pp.1196-1204
• /
• 2001

The rivulet is a narrow stream of liquid flowing down a solid surface. When the rivulet\`s flow rate exceeds a certain limit, it tends to meander exhibiting the instability of its interface. This analysis performs a perturbation analysis of this meandering rivulet assuming an inviscid flow possessing contact angle hysteresis at the contact line. The analysis reveals that the contact angle hysteresis as well as the velocity difference across the inter-face, strongly induces the instability of the liquid interface. Moreover, when the rivulet veto-city is low, it is predicted that the axisymmetric disturbance amplifies more rapidly than the anti-axisymmetric disturbance, which explains the emergence of the droplet flow at the low velocity regime.