• The KIPS Transactions:PartD
• /
• v.18D no.1
• /
• pp.35-44
• /
• 2011

Memory errors can cause not only program malfunctions but also even unexpected system halt. Though a programmer checks memory errors, some memory errors with low occurrence frequency are missed to detect. In this paper, we propose a method for effectively detecting such memory errors using instruction transition diagrams through analyzing assembly codes obtained by disassembling an executable file. Out of various memory errors, local memory return errors, null pointer access errors and uninitialized pointer access errors are targeted for detection. When applying the proposed method to various programs including well-known open source programs such as Apache web server and PHP script interpreter, some potential memory errors are detected.

• The Bulletin of The Korean Astronomical Society
• /
• v.38 no.1
• /
• pp.32.2-32.2
• /
• 2013

We examine large-scale environmental effects on the formation and the mass growth of dark matter halos. To facilitate this, we constructed dark matter halo merger trees from a cosmological N-body simulation, which enabled us to trace the merger information and the assembly history of individual halos. In fact, since the massive halos are more likely to be distributed in denser regions than in less dense regions (Mo & White, 1996), the large-scale environment dependence of the properties of halos can be partly originated from the halo mass effect. In order to avoid such contamination, caused by the mass dependence of halo properties, we carefully measured the local overdensity as the indicator of large-scale environment, which was calculated to be as independent of halo mass as possible. Small halos (${\sim}10^{11-12}M_{\odot}$), which usually host isolated single galaxies, show a notable difference on the formation time of galaxies depending on their large-scale environments, which reconfirms halo assembly bias (Gao & White, 2007). Furthermore, we investigate how this environmental effect on small halos is correlated with the mass assembly history of galaxies by using our semi-analytic model. We found that assembly bias in small halos does not have significant effects on the formation time or on the star formation history of galaxies residing in those halos except for the individual stellar mass of galaxies at z = 0. On average, isolated galaxies in high-density regions tend to be slightly more massive than those in low-density regions. Although the observational data from the current galaxy surveys is not yet sufficient for testing this prediction, future galaxy surveys will be able to explore these small galaxies more thoroughly.

• Transactions of the Korean hydrogen and new energy society
• /
• v.24 no.4
• /
• pp.311-319
• /
• 2013

A clear understanding on cell voltage-reversal behavior due to local hydrogen starvation in a stack is of paramount importance to operate the fuel cell vehicle (FCV) stably since it affects significantly the cell performance and durability. In the present study, a novel experimental method to simulate the local cell voltage-reversal behavior caused by local hydrogen starvation, which typically occurs only one or several cells out of several hundred cells in a stack of FCV, has been proposed. Contrary to the conventional method of overall fuel starvation, the present method of local hydrogen starvation caused the local cell voltage-reversal behavior in a stack very well. Degradation of both membrane electrode assembly (i.e., pin-hole formation) and gas diffusion layer due to an excessive exothermic heat under voltage-reversal condition was also observed clearly.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2014.10a
• /
• pp.99-101
• /
• 2014

A Comprehensive Vibration Assessment Program (CVAP) for steam generator internals (SGI) of Advanced Power Reactor 1400 (APR1400) is being performed in accordance with the United States Nuclear Regulatory Commission (U.S. NRC) Regulatory Guide 1.20 (RG 1.20) revision 3. This paper studies the vibration characteristics of moisture separator assembly as part of the vibration and stress analysis program for APR1400 SGI CVAP. The natural frequencies, mode shapes, and structural behavior of moisture separator assembly were investigated through modal analysis using finite element method and experimental measurement. Since the moisture separator consists of several items with complicated shape, an idealized shell model was used in the finite element analysis. Group of local modes caused by moisture separators and significant modes of shroud and separator support plate were identified. The results of this paper are to be utilized in the structural response analysis of moisture separator assembly.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.6
• /
• pp.703-714
• /
• 2001

In C language, a local buffer overflow in stack can destroy control information stored near the buffer. In case the buffer overflow is used maliciously to overwrite the stored return address, the system is exposed to serious security vulnerabilities. This paper analyzes the process of buffer overflow hacking and methodologies to avoid the attacks in details. And it proposes a device of static buffer overflow detection by using function summary and tracking information flow of buffer domain at assembly source code level(SASS, Static Assembly Source code Scanner) and then show the feasibility and validity of it by implementing a prototype in Pentium based Linux environment.

• Nuclear Engineering and Technology
• /
• v.40 no.2
• /
• pp.117-126
• /
• 2008

In this paper, a new reactor core design is proposed on the basis of a mixed core concept consisting of a thermal zone and a fast zone. The geometric structure of the fuel assembly of the thermal zone is similar to that of a conventional thermal supercritical water-cooled reactor(SCWR) core with two fuel pin rows between the moderator channels. In spite of the counter-current flow mode, the co-current flow mode is used to simplify the design of the reactor core and the fuel assembly. The water temperature at the exit of the thermal zone is much lower than the water temperature at the outlet of the pressure vessel. This lower temperature reduces the maximum cladding temperature of the thermal zone. Furthermore, due to the high velocity of the fast zone, a wider lattice can be used in the fuel assembly and the nonuniformity of the local heat transfer can be minimized. This mixed core, which combines the merits of some existing thermal SCWR cores and fast SCWR cores, is proposed for further detailed analysis.

• Journal of Engineering Education Research
• /
• v.15 no.5
• /
• pp.25-30
• /
• 2012

"The engineering education program for environmental intention and value creation" has been executed from 2008 to 2010 in Suzuka National College of Technology, which program was promoted as "Good Practice for Education" by Ministry of Education, Culture, Sports, Science and Technology Japan. "Eco-car project" is one of these practical ecology/environment education programs. The project's members have been learning and researching the environmental managements by the process of design, manufacturing, and assembly of solar car, highly effective fuel consumption car (Eco-run car), electric vehicle and fuel-cell car. Also this project was supported by some professional experts of the local industries and community. The students learned the actual industrial technique, the engineering management and the structure of local industries by this project. In this paper, the environmental intention engineering design education with local industry collaboration is introduced.

• Structural Engineering and Mechanics
• /
• v.53 no.1
• /
• pp.147-158
• /
• 2015

Elements used in steel structures may be considered as an assembly of number of thin flat walls. Local buckling of these members can limit the buckling capacity of axial load resistance or flexural strength. We can avoid a premature failure, caused by effects of local buckling, by limiting the value of the wall slenderness which depend on its critical buckling stress. According to Eurocode 3, the buckling stress is calculated for an internal wall assuming that the latter is a simply supported plate on its contour. This assumption considers, without further requirement, that the two orthogonal walls to this wall are sufficiently rigid to constitute fixed supports to it. In this paper, we focus on webs of steel profiles that are internal walls delimited by flanges profiles. The objective is to determine, for a given web, flanges dimensions from which the latter can be considered as simple support for this web.

• Journal of the Korean Society for Precision Engineering
• /
• v.9 no.4
• /
• pp.36-43
• /
• 1992

This paper presents a hierarchical real-time operation control and monitoring scheme of the FMS/CIM center which has been implemented at the Automation and Systems Research Institute of Seoul National University. The hierarchical structure of the whole scheme consists of three lavers. The upper layer is in charge of on-line scheduling, computer network control, shop-floor monitoring and command generation for AGV dispatching, machining, assembly, inspection, set-up, etc. The middle layer has six modules, which are installed in the FMS host computer with the upper layer and run on the multi-tasking basis. Each module is connected to one of six cell controllers distributed in the FMS model plant and transfers operation command down to each cell controller through the Ethernet/TCP-IP local area network. The lower layer is comprised of six cell control software modules for machining cell, assembly cell, inspection cell, set-up stations. AS/RS and AGV. Each cell controller reports the status of the manufacturing facilites to the middle layer as well as ecxecuting the appropriate sequence control of the manufacturing processes.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.3
• /
• pp.173-180
• /
• 2007

In this paper, we have proposed a simple finite element model for separation mode analysis on the roadwheel and track assembly of main battle tank and established a contact stress-based mechanism which could explain the initiation and growth of separation defect occurred during the test of padreplacable track. It was proved that the longitudinal contact shear stress component on the pin hole region of the track shoe body which is parallel to the driving direction is consistent with the crack initiation at the bonding surface between track shoe and wheel-side rubber. The longitudinal shear stress increased locally near the separated region after the separation initiated. So we could assume that the local stress concentration accelerates the separation growth according to the shear mode.