• Journal of KIISE:Software and Applications
• /
• v.37 no.12
• /
• pp.942-945
• /
• 2010

In order to reduce the efforts to inspect the reported alarms from a static buffer overflow analyzer, we present an effective method to filter out redundant alarms. In the static analysis, a sequence of multiple alarms are frequently found due to the same cause in the code. In such a case, it is sufficient and reasonable for programmers to examine the first alarm instead of the entire alarms in the same sequence. Based on this observation, we devise a buffer overflow analysis that filters out redundant alarms with our context refinement technique. Our experiment with several open source programs shows that our method reduces the reported alarms by 23% on average.

• Journal of Advanced Navigation Technology
• /
• v.16 no.5
• /
• pp.831-838
• /
• 2012

In the transmission system, the transmission efficiency can be increased by applying the proper character coding method. This paper is to show the character coding rule in computer and information equipment etc to improve the transmission efficiency in datacommunications. The character coding rule showing in this paper was suggested by considering the two view points. First one is FLAG bits in HDLC and PPP protocol on datalink layer in OSI 7 layer. Second one is one of the scrambling method, HDB-3, on physical layer in OSI 7 layer. The former is to prevent the sequence of over 5bits of "1" in the character codes. The latter is to prevent the sequence of over 4bits of "0" in the character codes.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.10
• /
• pp.831-835
• /
• 2020

By automatically generating HDL codes from C/C++ source codes, HLS makes it possible to shorten FPGA system developing period through easy timing control and structure change. We designed LDPC encoder for telemetry standard 106-17 with Xilinx Vivado HLS and showed hardware structure can be easily adapted for different purposes through minor C code modification. Synthesis results targeting Spartan-7 xc7s100 device are presented for throughput and hardware complexity comparison.

• Journal of computational fluids engineering
• /
• v.14 no.1
• /
• pp.9-17
• /
• 2009

In this study we investigated the characteristics of fluid flow and heat transfer within a coolant passage in the cylinder head assembly of an internal combustion engine by using a commercial CFD code, CFX The complex coolant passage of the cylinder head assembly was modelled by suitable choice of a grid system and careful attention was paid in the construction of meshes near the walls where significant cooling occurs. To treat the simultaneous heating and cooling of the combustion walls we invented a methodology allowing a heat source within the solid wall and the convective cooling at the interface between the solid and the fluid. We managed to reproduce the experimental results by adjusting parameters appropriately. We have found that high temperature was concentrated at the surface of the cylinder jacket. It turned out that the effect of oil cooling from the piston head was unexpectedly significant. On the other hand the effect of cooling from the ambient air is almost negligible. The CFD method proposed in this study is believed to be useful in the early stage of the design of the engine-cooling system.

• Journal of computational fluids engineering
• /
• v.18 no.1
• /
• pp.43-48
• /
• 2013

The feasibility of a unique greenhouse, named as Gradient Biome, is now being examined extensively in the University of Tokyo. It is a large chamber (length:200m, width:50m, height:40m) in which the weather, such as temperature and humidity, of the tropical zone through to that of the frigid zone on the earth is reproduced with continuous gradient. In the Gradient Biome, ecosystems (mainly plants) corresponding to each weather are introduced and the possible responses of this ecosystems to the expected global warming are to be observed. Since one of the expected responses is the shift of the ecosystem(s) toward the region of suitable environment, there should be no artificial obstacles, which can prevent the shift, inside the Biome. This requirement is not so easy to be satisfied since the environment tends to be homogeneous. This paper presents the results of the numerical studies conducted to find the ways of how the temperature and humidity in the Gradient Biome could be reproduced. One of the contributed solvers of OpenFOAM, which is an open source physics simulation code, was modified and used for the numerical simulations.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.12A
• /
• pp.1122-1127
• /
• 2010

In this paper, we propose a relay-based DF cooperative communication scheme using repetitive transmission algorithm for wireless LAN environments on D-STBC. Additional transmission diversity gain can be obtained by repetitive transmission algorithm. However, in comparison with conventional schemes, data rate is decreased in half. We consider data modulation constellation twice higher than conventional schemes. Further, system complexity is decreased and performance degradation is minimized because repetitive transmission algorithm is adapted between source and relay node. We show the uncoded BER performance of the proposed algorithm over HiperLAN/2 Rayleigh fading channel.

• Journal of KIISE:Information Networking
• /
• v.41 no.4
• /
• pp.186-191
• /
• 2014

Previous work only focuses on a maximization of network coding opportunity since it can reduce the number of packets in network system. However, it can make congestion in a relay node as each source node may transmit each packet with the maximum transmission rate based on the channel qualities. Therefore, in this paper, we propose CmNC (Congestion minimized Network Coding over unreliable wireless links) performing opportunistic network coding to guarantee the network coding gain with the consideration of the congestion and channel qualities. The relay node selects the best network code set based on the objective function for reducing the packet loss and congestion via a dynamic programming. With Qualnet simulations, we show CmNC is better up to 20% than the previous work.

• Transactions of The Korea Fluid Power Systems Society
• /
• v.8 no.3
• /
• pp.1-7
• /
• 2011

As the technologies of electronic device have advanced these days, most of mechanical systems are designed with electronic control unit to take advantage of control parameter adaption to operating conditions and firmware flexibilities as well. On-board diagnosis, which detects the system malfunction and identifies potential source of error with its own diagnostic criteria, and fail-safe that can switch the mode of operation in view of recognized error characteristics enables easy maintenance and troubleshooting as well as system protection. This paper dealt with the development of diagnosis and fail-safe function for proportional flow control valve. All type of errors related to valve control system components are investigated and assigned to a specific hexadecimal codes. Cumulative error detection algorithm is applied in order for the sensitivity and reliability to be appropriate. Embedded simulator which runs simultaneously with system program provides the virtual error simulation environment for expeditious development of error detection algorithm. The diagnosis function was verified both with solenoid valve and embedded simulator test and it will enhance the valve control system monitoring function.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.8 no.2
• /
• pp.21-29
• /
• 2012

Mobile voting can reduce the costs spent in elections, and it can encourage people to participate in the elections more actively because it allows them to vote anytime at anywhere. The trial of mobile voting in 2012 by Democratic United Party in Korea, showed the possibilities of mobile democracy but it also showed very critical problems such as illegal voting by proxy, source code open, open to nationwide for local parliamentary candidate ballot, privacy and hacking. In this paper, we analyze the result of the mobile ballot trial, and introduce the problems that has been revealed. After that we propose some system requirements for the new mobile voting system to prevent the problems according to the stages of voting: system development, voting stage, and counting and validating stage. At each stage, there are several requirements to be met for reliable mobile voting. Our research contribute to mobile democracy and implementation of mobile voting systems in that we analyzed the real case and raised issues for the real problems.

• International Journal of Contents
• /
• v.15 no.4
• /
• pp.8-15
• /
• 2019

This paper presents a solution of the 'Quick, Draw! Doodle Recognition Challenge' hosted by Google. Doodles are drawings comprised of concrete representational meaning or abstract lines creatively expressed by individuals. In this challenge, a doodle is presented as a sequence of sketches. From the view of at the sketch level, to learn the pattern of strokes representing a doodle, we propose a sequential model stacked with multiple convolution layers and Long Short-Term Memory (LSTM) cells following the attention mechanism [15]. From the view at the image level, we use multiple models pre-trained on ImageNet to recognize the doodle. Finally, an ensemble and a post-processing method using the minimum cost flow algorithm are introduced to combine multiple models in achieving better results. In this challenge, our solutions garnered 11th place among 1,316 teams. Our performance was 0.95037 MAP@3, only 0.4% lower than the winner. It demonstrates that our method is very competitive. The source code for this competition is published at: https://github.com/ngxbac/Kaggle-QuickDraw.