• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.590-606
• /
• 2009

We present a static analyzer that detects memory leaks in C programs. It achieves relatively high accuracy at a relatively low cost on SPEC2000 benchmarks and several open-source software packages, demonstrating its practicality and competitive edge against other reported analyzers: for a set of benchmarks totaling 1,777 KLOCs, it found 332 bugs with 47 additional false positives (a 12.4% false-positive ratio), and the average analysis speed was 720 LOC/sec. We separately analyze each procedure's memory behavior into a summary that is used in analyzing its call sites. Each procedural summary is parameterized by the procedure's call context so that it can be instantiated at different call sites. What information to capture in each procedural summary has been carefully tuned so that the summary should not lose any common memory-leak-related behaviors in real-world C program. Because each procedure is summarized by conventional fixpoint iteration over the abstract semantics ('a la abstract interpretation), the analyzer naturally handles arbitrary call cycles from direct or indirect recursive calls.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.9
• /
• pp.38-48
• /
• 1998

Generating test patterns for asynchronous sequential circuits remains to be a very difficult problem. There are few algorithms for this problem, and previous works cut feedback loops, and insert synchronous flip-flops in the feedback loops during ATPG. The conventional algorithms are similar to the algorithms for synchronous sequential circuits. This means that the conventional algorithms generate test patterns by modeling asynchronous sequential circuits as synchronous sequential circuits. So, test patterns generated by those algorithms nay not detect target faults when the test patterns are applied to the asynchronous sequential circuit under test. In this paper an algorithm is presented to generate test patterns for asynchronous sequential circuits. Test patterns generated by the algorithm can detect target faults for asynchronous sequential circuits with the minimal possibility of critical race problem and oscillation. And it is guaranteed that the test patterns generated by the algorithm will detect target faults.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.42 no.6
• /
• pp.99-110
• /
• 2005

These days, many image processing techniques have been studied for effective image compression. Among those, The 2D image filtering is widely used for 2D image processing. The 2D image filtering can be implemented by performing the 1D linear filter separately in the horizontal and vertical direction. Efficiency of image compression depends on what filtering method is used. Generally, circular convolution is widely used in 2D image filtering for image processing. However it doesn't consider correlations at the boundary region of image, therefore effective filtering can not be performed. To solve this problem. I proposed new convolution technique using loop convolution which satisfies the 'alias-free' and 'error-free' requirement in the reconstructed image. This method could provide more effective compression performance than former methods because it used highly-correlated data when performed at the boundary region. In this paper, Sub-band Coding(SBC) was adopted to analyze efficiency of proposed filtering technique, and the simulator developed by Java-based language was used to examine the performance of proposed method.

• Korean Chemical Engineering Research
• /
• v.43 no.3
• /
• pp.360-365
• /
• 2005

SMB (simulated moving bed) is a continuous chromatographic process by shifting periodically port position. Binary of mixture, Blue dextran and Orange G, was separated by SMB. These components have unique color individually, that is, Blue dextran is blue and Orange G is orange. It is easy to understand SMB process by observing the shift of color changes in SMB. These components was not adsorbed to stationary phase and isolated by difference of size exclusion factor. Mass transfer coefficient was determined by single pulse test under several flow rate conditions. Operation condition was obtained by standing wave theory and optimized for high purities in extract and raffinate streams. Experiment was performed in open loop 4 zone (2-2-2-2) SMB. There are several advantages in open loop SMB, where extract is product for high purity. It is also easy to control flow rate and monitor experimental state during operation. Experimental, extract and raffinate history is well fitted with simulation results, however, column concentration profile is a little different from simulation results. Purities were 99.5％ for extract and 98.9％ for raffinate and extract and raffinate yields were obtained as 98.9％ and 99.4％ respectively.

• Journal of the Korean Institute of Gas
• /
• v.11 no.3
• /
• pp.44-48
• /
• 2007

The cooling heat transfer characteristics of supercritical $CO_2$ in a helical coil gas cooler on the change of coil diameters are experimentally investigated. The main components of the refrigerant loop are a receiver, a variable speed pump, a mass flow-meter, a pre-heater and a helical coil gas cooler (test section). The test sections are made of a copper tube which the inner diameter is 4.55 mm and the helical coil diameters are done of 26.75 mm and 41.35 mm. The mass fluxes of refrigerant are varied from 200 to 800 [$kg/m^2s$] and the inlet pressures of gas cooler are 7.5 to 10.0 (MPa). A gas cooler with helical coil diameter of 26.75 mm has larger heat transfer coefficient than that of 41.35 mm. Also, when compared with experimental data and published correlations avaliable, most of correlations are under-predicted, but Pitla published correlations avaliable, most of correlations are under-predicted, but Pitla et al.'s correlation shows a relatively good coincidence with the experimental data except the region of pseudo critical temperature.

• Journal of the Korean Institute of Gas
• /
• v.11 no.3
• /
• pp.1-6
• /
• 2007

The heat transfer coefficient and pressure drop during gas cooling process of $CO_2$ (R-744) in inclined helical coil copper tubes were investigated experimentally. The main components of the refrigerant loop are a receiver, a variable-speed pump, a mass flow meter, a pre-heater and a inclined helical coil type gas cooler (test section). The test section consists of a smooth copper tube, which is specified as the inner diameter of 4.55 mm. The refrigerant mass fluxes were varied from 200 to $600kg/m^2s$ and the inlet pressures of gas cooler were done 7.5 to 10.0 (MPa). The heat transfer coefficients of $CO_2$ in the inclined helical coil tubes increase with the increase of mass flux and gas cooling pressure of $CO_2$. The pressure drop of $CO_2$ in the gas cooler shows relatively good coincidence with those predicted by Ito's correlation developed for single-phase in a helical coil tube. The local heat transfer coefficient of $CO_2$ is well coincident with the correlation by Pitla et al. However, at the region near pseudo-critical temperature, the experiments indicate higher values than the Pitla et al. correlation.

• Journal of the Korean Institute of Gas
• /
• v.12 no.3
• /
• pp.43-49
• /
• 2008

The evaporation heat transfer coefficient and pressure drop of R-22 and R-407C in horizontal copper tubes were investigated experimentally. The main components of therefrigerant loop are a receiver, a compressor, a mass flow meter, a condenser and a double pipe type evaporator (test section). The test section consists of a smooth copper tube of 4.3 mm and 6.4 mm inner diameter. The refrigerant mass fluxes were varied from 100 to $300[kg/m^2s]$ and the saturation temperature of evaporator were 5 [$^{\circ}C$]. The evaporation heat transfer coefficients of R-22 and R-407C rise with the increase in mass flux and vapor quality. The evaporation heat transfer coefficient of R-22 for inner diameter tube of 4.3 mm and 6.4 mm is about $7.3{\sim}47.1%$ and $5.68{\sim}46.6%$ higher than that of R-407C, respectively.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.12 no.1
• /
• pp.78-84
• /
• 1998

The fluid system such as, the quantity control of raw water, chemicals control in the purification, the waste water system as well as in the feed water or circulation system of the power plant and the ventilation system is controlled with the valve and moter pump. The system's performance and the energy saving of the fluid systems depend on control of method and delicacy. Until, PI controller use in these system but it cannot control delicately because of the coupling in the system loop. In this paper we configure a single flow system to the multi variable system and suggest the application of 2-DOF PID controller and the tuning methods by the neural network to the electrical power of the flow control system. the 2-DOF controller follows to a setpoint has a robustness against the disturbance in the results of simulation. Keywords Title, Intelligent control, Neuro control, Flow control, 2 - DOF control., 2 - DOF control.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.6
• /
• pp.403-410
• /
• 2020

This paper focuses on the design of a 12-kW small-scale supercritical CO₂ test loop. A theoretical study, stabilization, and optimization of carbon dioxide were carried out with the application of a solar heat source based on solar thermal data in Pohang. The thermodynamic cycle of the test facility is a Rankine cycle (transcritical cycle), which contains liquid, gas, and supercritical CO₂. The system is designed to achieve 6.98% efficiency at a maximum pressure of 12 MPa and a maximum temperature of 70℃. In addition, the optimum turbine inlet temperature and pressure were calculated to increase the cycle efficiency, and the application of an internal heat exchanger (IHX) was simulated. It was found that the maximum efficiency increases to 18.75%. The simulation confirmed that the efficiency of the cycle is 6.7% in May and 6.26% in June.

• Journal of the Korea Concrete Institute
• /
• v.18 no.1 s.91
• /
• pp.109-116
• /
• 2006

An incremental approach to predict the time dependent flexural behavior of composite girder is presented in the framework of incremental finite element method. Age dependent nature of creep, shrinkage, and maturing of elastic modulus of concrete is prescribed in the incremental tangent description of constitutive relation derived based on the first order Taylor series expansion applying to the total from of stress-strain relation. The loop phenomenon in which age dependent nature of concrete causes stress redistribution and it causes creep in turn is taken into account in the formulation through the incremental representation of constitutive relation. The developed algorithm predicts the time dependent deflections of 4.8m long two span double composite box girder subjected to shrinkage, maturing of elastic modulus, and creep initially induced by self weight. Comparison shows a good agreement between the predicted and measured results.